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.