Posts

  1. Mathematics is a Natural Science
  2. join — My Favorite Unix Command, Probably
  3. Unicode vs UTF-8
  4. A Safe Type-Indexed Set for Standard ML, Errata
  5. A Safe Type-Indexed Set for Standard ML
  6. Modularity à la ML (slides)
  7. On Determinism and Free Will
  8. Calculating an Object Graph's Size on the JVM
  9. Run a single specs2 example from sbt
  10. Contravariant Functors — An Intuition
  11. Dependencies and Modules in Scala
  12. Explore JVM Libraries in a Quick sbt Session
  13. Scala's flatMap is not Haskell's >>=

Elsewhere

Talks & Presentations

  1. Bucharest FP #34, October 2018, An Applicative Application

  2. Scalar 2017, Modularity à la ML