41554 blogs · [ { "id": "01a08c61-8614-72b1-ac20-5b393bd7a084", "title": "A Nearly Perfect Solution to the Expression Problem in typed JavaScript, Found in the Wild", "url": "https://wen.works//2025/10/18/the-expression-problem", "published_at": "2025-10-18T00:00:00+00:00" }, { "id": "01a08c61-8614-72b1-ac20-5b393c9f7704", "title": "A Tale of Three Constructed Languages", "url": "https://wen.works//2021/06/15/a-tale-of-three-constructed-languages", "published_at": "2021-06-15T00:00:00+00:00" }, { "id": "01a08c61-8614-72b1-ac20-5b393cfb2099", "title": "An Introduction to Session Types", "url": "https://wen.works//2020/12/17/an-introduction-to-session-types", "published_at": "2020-12-17T00:00:00+00:00" }, { "id": "01a08c61-8614-72b1-ac20-5b393dd29caf", "title": "Neural Networks with Cube Cats", "url": "https://wen.works//2020/09/12/neural-networks-with-cube-cats", "published_at": "2020-09-12T00:00:00+00:00" }, { "id": "01a08c61-8614-72b1-ac20-5b393e9fa16b", "title": "Paper Girls, Substitution Ciphers, and Frequency Analysis", "url": "https://wen.works//2018/12/09/paper-girls-substitution-ciphers-and-frequency-analysis", "published_at": "2018-12-09T00:00:00+00:00" }, { "id": "01a08c61-8614-72b1-ac20-5b393f739415", "title": "VISL CG-3 is the new assembler", "url": "https://wen.works//2017/05/15/visl-cg-3-is-the-new-assembler", "published_at": "2017-05-15T00:00:00+00:00" }, { "id": "01a08c61-8614-72b1-ac20-5b3940552cb8", "title": "Presidents, Scumbags, Kings and Arseholes, and The Great Dalmuti", "url": "https://wen.works//2016/04/05/presidents-scumbags-kings-and-arseholes-and-the-great-dalmuti", "published_at": "2016-04-05T00:00:00+00:00" }, { "id": "01a08c61-8614-72b1-ac20-5b39407a1ed2", "title": "Breadboxes, Plenty Questions and Distributional Semantics", "url": "https://wen.works//2016/03/21/breadboxes-and-distributional-semantics", "published_at": "2016-03-21T00:00:00+00:00" }, { "id": "01a08c61-8614-72b1-ac20-5b394177b192", "title": "One λ-calculus, many times…", "url": "https://wen.works//2016/03/20/one-lambda-calculus-many-times", "published_at": "2016-03-20T00:00:00+00:00" }, { "id": "01a08c61-8614-72b1-ac20-5b3941eb34df", "title": "Constraint Grammar can count!", "url": "https://wen.works//2016/03/16/constraint-grammar-can-count", "published_at": "2016-03-16T00:00:00+00:00" }, { "id": "01a08c61-8614-72b1-ac20-5b39425d8321", "title": "Side-effects in English", "url": "https://wen.works//2016/03/09/side-effects-in-english", "published_at": "2016-03-09T00:00:00+00:00" }, { "id": "01a08c61-8614-72b1-ac20-5b39434b3a71", "title": "Insertion sort in Agda", "url": "https://wen.works//2016/03/01/insertion-sort-in-agda", "published_at": "2016-03-01T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/wen.works/posts