nomeata’s mind shares

F91 in Lean

Extrinsic termination proofs for well-founded recursion in Lean

Coding on my eInk Tablet

Do surprises get larger?

Blogging on Lean

Convenient sandboxed development environment

GHC Steering Committee Retrospective

The Haskell Interlude Podcast

Joining the Lean FRO

Squash your Github PRs with one click

Left recursive parser combinators via sharing

Generating bibtex bibliographies from DOIs via DBLP

ICFP Pearl preprint on rec-def

The curious case of the half-half Bitcoin ECDSA nonces

Giving back to OPLSS

More thoughts on a bootstrappable GHC