Posts

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