41554 blogs · [ { "id": "01a0821c-d715-7245-bdff-6f1b2bbe52e9", "title": "Vibe-coding a debugger for a DSL", "url": "https://www.joachim-breitner.de/blog/819-Vibe-coding_a_debugger_for_a_DSL", "published_at": "2026-02-25T10:53:30+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b2c32cd97", "title": "Seemingly impossible programs in Lean", "url": "https://www.joachim-breitner.de/blog/818-Seemingly_impossible_programs_in_Lean", "published_at": "2026-01-02T14:30:24+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b2cc73f46", "title": "F91 in Lean", "url": "https://www.joachim-breitner.de/blog/817-F91_in_Lean", "published_at": "2025-09-03T20:18:19+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b2d690173", "title": "Extrinsic termination proofs for well-founded recursion in Lean", "url": "https://www.joachim-breitner.de/blog/816-Extrinsic_termination_proofs_for_well-founded_recursion_in_Lean", "published_at": "2025-03-10T17:47:59+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b2e1f3cce", "title": "Coding on my eInk Tablet", "url": "https://www.joachim-breitner.de/blog/815-Coding_on_my_eInk_Tablet", "published_at": "2025-02-02T15:07:35+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b2ee0c9c7", "title": "Do surprises get larger?", "url": "https://www.joachim-breitner.de/blog/814-Do_surprises_get_larger_", "published_at": "2024-06-30T13:28:31+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b2f22e96b", "title": "Blogging on Lean", "url": "https://www.joachim-breitner.de/blog/813-Blogging_on_Lean", "published_at": "2024-05-31T12:47:06+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b2fb19fbe", "title": "Convenient sandboxed development environment", "url": "https://www.joachim-breitner.de/blog/812-Convenient_sandboxed_development_environment", "published_at": "2024-03-11T20:39:58+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b30ac4397", "title": "GHC Steering Committee Retrospective", "url": "https://www.joachim-breitner.de/blog/811-GHC_Steering_Committee_Retrospective", "published_at": "2024-01-25T00:21:41+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b31a1b4bb", "title": "The Haskell Interlude Podcast", "url": "https://www.joachim-breitner.de/blog/810-The_Haskell_Interlude_Podcast", "published_at": "2023-12-22T09:04:42+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b320b19ff", "title": "Joining the Lean FRO", "url": "https://www.joachim-breitner.de/blog/809-Joining_the_Lean_FRO", "published_at": "2023-11-01T20:47:06+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b32600f02", "title": "Squash your Github PRs with one click", "url": "https://www.joachim-breitner.de/blog/808-Squash_your_Github_PRs_with_one_click", "published_at": "2023-10-29T21:46:56+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b32e7385d", "title": "Left recursive parser combinators via sharing", "url": "https://www.joachim-breitner.de/blog/807-Left_recursive_parser_combinators_via_sharing", "published_at": "2023-09-11T00:16:08+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b3350c10b", "title": "Generating bibtex bibliographies from DOIs via DBLP", "url": "https://www.joachim-breitner.de/blog/806-Generating_bibtex_bibliographies_from_DOIs_via_DBLP", "published_at": "2023-07-12T12:32:19+00:00" }, { "id": "01a0821c-d715-7245-bdff-6f1b339183d4", "title": "ICFP Pearl preprint on rec-def", "url": "https://www.joachim-breitner.de/blog/805-ICFP_Pearl_preprint_on_rec-def", "published_at": "2023-06-22T16:21:11+00:00" } ] posts Claim your blog

Back to nomeata’s mind shares

Blog · corpus.blog/blogs/joachim-breitner.de/posts

nomeata’s mind shares

joachim-breitner.de

2026

Vibe-coding a debugger for a DSL original ↗

25 Feb 2026

Seemingly impossible programs in Lean original ↗

2 Jan 2026

2025

F91 in Lean original ↗

3 Sept 2025

Extrinsic termination proofs for well-founded recursion in Lean original ↗

10 Mar 2025

Coding on my eInk Tablet original ↗

2 Feb 2025

2024

Do surprises get larger?original ↗

30 Jun 2024

Blogging on Lean original ↗

31 May 2024

Convenient sandboxed development environment original ↗

11 Mar 2024

GHC Steering Committee Retrospective original ↗

25 Jan 2024

2023

The Haskell Interlude Podcast original ↗

22 Dec 2023

Joining the Lean FRO original ↗

1 Nov 2023

Squash your Github PRs with one click original ↗

29 Oct 2023

Left recursive parser combinators via sharing original ↗

11 Sept 2023

Generating bibtex bibliographies from DOIs via DBLP original ↗

12 Jul 2023

ICFP Pearl preprint on rec-def original ↗

22 Jun 2023