GADTs in OCaml
Making illegal states unrepresentable: typed expression evaluators, refined pattern matching, existentials, and a typed printf from scratch.
Daily edition · OCaml
The daily ledger
TILens turns technical updates into a focused daily brief: official releases, trusted reporting, and practitioner analysis, deduplicated and organized by topic.
2 articles · 1 source ·
Top topics: OCaml
.plan-26-26: Gelato, geospatial, and players of games
Spoke at CHIA's annual conference on AI for a changing world, as well as the first Cloud-Native Geospatial Forum outside the US, and started moving TESSERA's embeddings onto Source Cooperative.