Long division verified via Hoare logic (cofault.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of cofault.com: Long division verified via Hoare logic

First screen, captured 1 year ago.

Looks similar

Screenshot of kolja.rs: A decades-old bug in Knuth's long division (TAOCP Vol II, Algorithm 4.3.1D)

A decades-old bug in Knuth's long division (TAOCP Vol II, Algorithm 4.3.1D)(kolja.rs)

173 points by nk_kolja 2 months ago | 43 comments

Screenshot of mccd.space: Why I love OCaml (2023)

Why I love OCaml (2023)(mccd.space)

379 points by art-w 11 months ago | 270 comments

Personal blog post by Marc Coquand explaining why he loves OCaml, comparing it with Haskell and other languages he has used.

ocaml functional-programming haskell programming-languages

Screenshot of panadestein.github.io: Scheming a mise-en-abîme in BQN

Scheming a mise-en-abîme in BQN (panadestein.github.io)

38 points by todsacerdoti 1 year ago | 0 comments

Screenshot of dylan.gr: Have Taken Up Farming

Have Taken Up Farming (dylan.gr)

136 points by djnaraps 9 months ago | 87 comments

Screenshot of j3s.sh: My website is one binary (2022)

My website is one binary (2022)(j3s.sh)

215 points by greenSunglass 3 years ago | 136 comments

Screenshot of franklin.dyer.me: Totality and non-standard recursion in Idris

Totality and non-standard recursion in Idris (franklin.dyer.me)

4 points by franklin_p_dyer 2 years ago | 0 comments