All Posts

• The Nix Thesis nix
  2023/05/26
• Intro to FP Through λ-Calculus - Motivating Laziness lambda-calculus
  2020/08/31
• Book Review: How to Take Smart Notes by Sönke Ahrens productivity book-review
  2020/03/19