corpus.blog
41554 blogs · [ { "id": "01a087c4-ac38-7018-8582-174884584759", "title": "Dissecting Andreas Rossberg's 1ML: introduction", "url": "https://pithlessly.github.io/1ml-intro", "published_at": "2025-12-26T01:28:09+00:00" }, { "id": "01a087c4-ac39-70c9-a9f3-fc42abc6198f", "title": "Newtypes vs. abstract types, and the limitations of type inference", "url": "https://pithlessly.github.io/ocaml-type-injectivity", "published_at": "2025-11-10T02:59:41+00:00" }, { "id": "01a087c4-ac39-70c9-a9f3-fc42acbad435", "title": "Notes on combinatorial species (Méndez 2015)", "url": "https://pithlessly.github.io/species", "published_at": "2025-06-09T03:49:48+00:00" }, { "id": "01a087c4-ac39-70c9-a9f3-fc42adb6092a", "title": "The comptime calculus", "url": "https://pithlessly.github.io/comptime-calculus", "published_at": "2025-06-03T17:24:43+00:00" }, { "id": "01a087c4-ac39-70c9-a9f3-fc42adc6e565", "title": "Issues with instance Ord (STRef s a)", "url": "https://pithlessly.github.io/ord-stref.html", "published_at": "2025-02-13T08:06:48+00:00" } ] posts Claim your blog
Back to pithlessly.github.io
Blog · corpus.blog/blogs/pithlessly.github.io/posts

pithlessly.github.io

pithlessly.github.io

2025

Dissecting Andreas Rossberg's 1ML: introductionoriginal ↗
26 Dec 2025
Newtypes vs. abstract types, and the limitations of type inferenceoriginal ↗
10 Nov 2025
Notes on combinatorial species (Méndez 2015)original ↗
9 Jun 2025
The comptime calculusoriginal ↗
3 Jun 2025
Issues with instance Ord (STRef s a)original ↗
13 Feb 2025