status
failed
  1. Lean's Inductive Types 2026-04-02
  2. Will AI do to Software Engineering what Offshoring did to Manufacturing? 2025-10-31
  3. Three Solutions to Nondeterminism in AI 2025-09-29
  4. 1000 Days of Duolingo 2024-07-11
  5. A Vision for Catgrad 2024-04-09
  6. Polycirc: Differentiable arithmetic circuits for ZKML 2023-05-16
  7. Announcing Yarrow 2023-05-16
  8. A Wikihole: The Other Taj Mahal, Louis Pasteur, and Maternal Mortality 2023-04-13
  9. Learn to PID the Cart-Pole in the OpenAI Gym 2022-12-08
  10. What does 'unique up to isomorphism' really mean? 2019-04-25
  11. Solving a Puzzle by Proving it Solvable 2017-12-08
  12. A Mental Trick for Checking Primeness of Two-Digit Numbers 2017-09-17
  13. Intuitive Odds; or: The Expectation of Fairness 2017-01-02
  14. Haskell and Servant on Scaleway ARM servers 2015-11-29
  15. Nobody Expects Command Execution: A Tribute 2015-09-25
  16. FMFMFMF: Free Monads For Making Fast Models, Functionally. 2015-09-13
  17. The Obfuscated Fibonacci; or, a Curious Connection in Computation 2015-02-10
  18. Church Booleans in Haskell (and Morte!) 2014-09-23
  19. Practical Machines in 60 Seconds 2014-09-02
  20. My first quine 2013-08-26
  21. Overloading record fields with lens 2013-02-19
  22. Haskell's strength: generalising with lenses 2013-01-26
  23. Hackage-Fu 2012-11-15
  24. Setting up a Scala environment on Arch Linux 2012-11-09
  25. Per-user package installation with NPM on Linux 2012-11-06
  26. On the List Monad 2012-08-12