nomeata’s mind shares joachim-breitner.de

Vibe-coding a debugger for a DSL

joachim-breitner.de·12w·Lobsters

Seemingly impossible programs in Lean – Blog

joachim-breitner.de·19w

F91 in Lean

joachim-breitner.de·37w

Extrinsic termination proofs for well-founded recursion in Lean

joachim-breitner.de·62w·Hacker News

Coding on my eInk Tablet

joachim-breitner.de·67w

Do surprises get larger?

joachim-breitner.de·98w

Blogging on Lean

joachim-breitner.de·102w

Convenient sandboxed development environment

joachim-breitner.de·114w

GHC Steering Committee Retrospective

joachim-breitner.de·121w

The Haskell Interlude Podcast

joachim-breitner.de·125w

Joining the Lean FRO

joachim-breitner.de·133w

Squash your Github PRs with one click

joachim-breitner.de·133w

Left recursive parser combinators via sharing

joachim-breitner.de·140w

Generating bibtex bibliographies from DOIs via DBLP

joachim-breitner.de·149w

ICFP Pearl preprint on rec-def

joachim-breitner.de·151w

The curious case of the half-half Bitcoin ECDSA nonces

joachim-breitner.de·154w

Giving back to OPLSS

joachim-breitner.de·154w

More thoughts on a bootstrappable GHC

joachim-breitner.de·160w

Log in to enable infinite scrolling