corpus.blog
41554 blogs · [ { "id": "01a08c5a-c105-71a3-b577-86203ba292ac", "title": "KDE and Lean Integration", "url": "https://unnamed.website/posts/kde-lean-integration/", "published_at": "2026-08-27T02:41:24+00:00" }, { "id": "01a08c5a-c105-71a3-b577-86203c0d556f", "title": "Hello, Hyades!", "url": "https://unnamed.website/posts/hello-hyades/", "published_at": "2026-08-01T06:13:47+00:00" }, { "id": "01a08c5a-c105-71a3-b577-86203c7824c7", "title": "MIT Athena: Somehow Still Not Dead Yet", "url": "https://unnamed.website/posts/nixathena/", "published_at": "2026-05-23T20:25:10+00:00" }, { "id": "01a08c5a-c105-71a3-b577-86203d3f8347", "title": "Writing a Simple Proof Assistant", "url": "https://unnamed.website/posts/proof-assistant/", "published_at": "2026-05-11T01:34:36+00:00" }, { "id": "01a08c5a-c105-71a3-b577-86203d991680", "title": "3D-printing a Trombone", "url": "https://unnamed.website/posts/3d-printing-trombone/", "published_at": "2026-04-01T04:00:00+00:00" }, { "id": "01a08c5a-c105-71a3-b577-86203e318128", "title": "Infinite Lists in Lean", "url": "https://unnamed.website/posts/infinite-lists-lean/", "published_at": "2026-03-21T01:31:09+00:00" }, { "id": "01a08c5a-c105-71a3-b577-86203e60c9f8", "title": "The Abstract Nonsense Guide to Monads", "url": "https://unnamed.website/posts/monads-abstract-nonsense/", "published_at": "2026-01-27T00:15:01+00:00" }, { "id": "01a08c5a-c105-71a3-b577-86203f1571ad", "title": "The Evolution of a Lean Programmer", "url": "https://unnamed.website/posts/evolution-lean-programmer/", "published_at": "2026-01-11T16:08:25+00:00" }, { "id": "01a08c5a-c105-71a3-b577-86203f6ec978", "title": "Haskelling My Typst", "url": "https://unnamed.website/posts/haskelling-my-typst/", "published_at": "2025-12-27T23:14:12+00:00" }, { "id": "01a08c5a-c106-71ec-aab0-5d1823e17186", "title": "Dumb Cipher Solver", "url": "https://unnamed.website/posts/dumb-cipher-solver/", "published_at": "2025-12-17T22:48:42+00:00" }, { "id": "01a08c5a-c106-71ec-aab0-5d18240b3025", "title": "Combinatorial Species", "url": "https://unnamed.website/posts/combinatorial-species/", "published_at": "2025-12-17T21:52:09+00:00" }, { "id": "01a08c5a-c106-71ec-aab0-5d1824b5dfbe", "title": "Installing Every NixOS Package", "url": "https://unnamed.website/posts/installing-every-nixos-package/", "published_at": "2025-12-09T05:15:56+00:00" }, { "id": "01a08c5a-c106-71ec-aab0-5d1824d25f1c", "title": "What's the Derivative of a Data Type?", "url": "https://unnamed.website/posts/data-type-derivative/", "published_at": "2025-10-31T00:12:56+00:00" }, { "id": "01a08c5a-c106-71ec-aab0-5d18252f932b", "title": "ICan'tBelieveICanProveItCanSort!", "url": "https://unnamed.website/posts/i-cant-believe-i-can-prove-it-can-sort/", "published_at": "2025-10-22T02:49:27+00:00" }, { "id": "01a08c5a-c106-71ec-aab0-5d182549eb86", "title": "Unhinged ThinkPad Repair Guide", "url": "https://unnamed.website/posts/unhinged-thinkpad-repair-guide/", "published_at": "2025-10-09T23:48:05+00:00" }, { "id": "01a08c5a-c106-71ec-aab0-5d1825a7262a", "title": "Proving Fermat's Last Theorem in Dafny", "url": "https://unnamed.website/posts/proving-fermats-last-theorem-dafny/", "published_at": "2025-08-03T23:15:00+00:00" }, { "id": "01a08c5a-c106-71ec-aab0-5d1826777e5b", "title": "Even More Travel Photos", "url": "https://unnamed.website/posts/even-more-travel-photos/", "published_at": "2025-07-28T12:33:08+00:00" }, { "id": "01a08c5a-c106-71ec-aab0-5d18270cd61a", "title": "\"Bad Apple!!\" But It's 3288 Lean Tactics Spamming VS Code", "url": "https://unnamed.website/posts/bad-apple-lean-tactic/", "published_at": "2025-07-04T19:03:02+00:00" }, { "id": "01a08c5a-c106-71ec-aab0-5d1827146770", "title": "Doing Math With Lean", "url": "https://unnamed.website/posts/doing-math-with-lean/", "published_at": "2025-05-26T14:29:25+00:00" }, { "id": "01a08c5a-c106-71ec-aab0-5d1827566354", "title": "Random St. Louis Facts", "url": "https://unnamed.website/posts/random-st-louis-facts/", "published_at": "2025-05-23T23:19:18+00:00" } ] posts Claim your blog
Back to unnamed.website
Blog · corpus.blog/blogs/unnamed.website/posts

unnamed.website

unnamed.website

2026

KDE and Lean Integrationoriginal ↗
27 Aug 2026
Hello, Hyades!original ↗
1 Aug 2026
MIT Athena: Somehow Still Not Dead Yetoriginal ↗
23 May 2026
Writing a Simple Proof Assistantoriginal ↗
11 May 2026
3D-printing a Tromboneoriginal ↗
1 Apr 2026
Infinite Lists in Leanoriginal ↗
21 Mar 2026
The Abstract Nonsense Guide to Monadsoriginal ↗
27 Jan 2026
The Evolution of a Lean Programmeroriginal ↗
11 Jan 2026

2025

Haskelling My Typstoriginal ↗
27 Dec 2025
Dumb Cipher Solveroriginal ↗
17 Dec 2025
Combinatorial Speciesoriginal ↗
17 Dec 2025
Installing Every NixOS Packageoriginal ↗
9 Dec 2025
What's the Derivative of a Data Type?original ↗
31 Oct 2025
ICan'tBelieveICanProveItCanSort!original ↗
22 Oct 2025
Unhinged ThinkPad Repair Guideoriginal ↗
9 Oct 2025
Proving Fermat's Last Theorem in Dafnyoriginal ↗
3 Aug 2025
Even More Travel Photosoriginal ↗
28 Jul 2025
"Bad Apple!!" But It's 3288 Lean Tactics Spamming VS Codeoriginal ↗
4 Jul 2025
Doing Math With Leanoriginal ↗
26 May 2025
Random St. Louis Factsoriginal ↗
23 May 2025