Thoughts on building software.
How to understand OCaml's GADTs.
Modularity is about dependencies.
Make new types more often.
On writing interactive UIs with straight-line code.
Bottlenecks.