News for hackers. Stuff that matters.

A comment on LaTeX Coffee Stains [pdf] (2021). Parent comment

Re:LaTeX Coffee Stains [pdf] (2021) by bogeholm on Wednesday January 07, 2026 @03:27PM (#46532096)
Yeah, we’ve also switched the household grocery lists from paper to Rust, using the Kani verifier and Miri in CI/CD.

It’s just such a relief, really.

[ Parent | on HN ]

There are no comments on this comment yet.