Things I've written. You can subscribe through RSS.
A Case Study in Propositional Logic
13 May, 2018 ·Design decisions, and using types to prevent illegal states.
Calling C from MLton
5 April, 2018 ·A tutorial on MLton's foreign function interface.
28 February, 2018 ·Changes in this website for February 2018.
Libraries: The Database Engineering Perspective
22 February, 2018 ·Evolving a schema for libraries one counterexample at a time.
The Twelve Islanders Problem
10 February, 2018 ·A brain teaser implemented in OCaml.
Inheritance and Disjunctions
16 December, 2017 ·A case study in porting a compiler.
A Wishlist of Zero-Cost Abstractions
5 March, 2017 ·A wishlist of language features, their use cases, and how they affect language complexity.
Using LMDB from Common Lisp
7 April, 2016 ·Announcing an LMDB binding, and a tutorial.
State of the Common Lisp Ecosystem, 2015
25 August, 2015 ·The state of Common Lisp's library ecosystem, from the perspective of a contributor.
Common Lisp with Travis and Coveralls
7 June, 2015 ·How to set up Travis CI and Coveralls.io with a Common Lisp project.