41554 blogs · [ { "id": "01a087eb-1338-7077-a0df-de0fb8eabb52", "title": "Adventures in Type Theory 5 — Paper Planes", "url": "https://tekne.dev/blog/adventures-in-type-theory/paper-planes", "published_at": "2025-10-07T00:00:00+00:00" }, { "id": "01a087eb-1339-73ec-8c81-2d276f1c742b", "title": "Adventures in Type Theory 4 — The Ship of Thesis", "url": "https://tekne.dev/blog/adventures-in-type-theory/ship-of-thesis", "published_at": "2025-10-01T00:00:00+00:00" }, { "id": "01a087eb-1339-73ec-8c81-2d276f354980", "title": "Adventures in Type Theory 3 — Scraping By", "url": "https://tekne.dev/blog/adventures-in-type-theory/scraping-by", "published_at": "2025-09-03T00:00:00+00:00" }, { "id": "01a087eb-1339-73ec-8c81-2d276f4f10b7", "title": "Adventures in Type Theory 2 — Coming in Clutch", "url": "https://tekne.dev/blog/adventures-in-type-theory/coming-in-clutch", "published_at": "2025-08-25T00:00:00+00:00" }, { "id": "01a087eb-1339-73ec-8c81-2d27702c6793", "title": "Adventures in Type Theory 1 — Locally Nameless STLC (Part 1)", "url": "https://tekne.dev/blog/adventures-in-type-theory/locally-nameless-stlc", "published_at": "2025-08-24T00:00:00+00:00" }, { "id": "01a087eb-1339-73ec-8c81-2d2770d64049", "title": "Building An Inductive Representation of SSA", "url": "https://tekne.dev/blog/building-inductive-ssa", "published_at": "2024-07-21T00:00:00+00:00" }, { "id": "01a087eb-1339-73ec-8c81-2d27710cdb25", "title": "Fun with Sentence Embedding", "url": "https://tekne.dev/blog/fun-with-sentence-embeddings", "published_at": "2023-10-08T00:00:00+00:00" }, { "id": "01a087eb-1339-73ec-8c81-2d27713da8bb", "title": "What Makes a Language Fast?", "url": "https://tekne.dev/blog/what-makes-a-language-fast", "published_at": "2023-08-18T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/tekne.dev/posts