A Probabilistic Algorithm for Repairing All Roads in Lebanon via Papal Visits (2025)(sigbovik.org)

71 points by kmstout 4 months ago | 4 comments

Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover(imperialcollegelondon.github.io)

119 points by ljlolel 1 year ago | 85 comments

Rescue Party (1946)(baen.com)

54 points by bookofjoe 2 years ago | 19 comments

The reciprocal sum of the prime-prefix-free numbers converges [pdf](jdb19937.github.io)

15 points by jdb1729 21 days ago | 14 comments

A math paper proving, assuming the Riemann Hypothesis, that the reciprocal sum of prime-prefix-free integers (OEIS A287117) converges, with bounds verified in Lean 4.

On the foolishness of “natural language programming” (1978)(cs.utexas.edu)

93 points by behnamoh 3 years ago | 42 comments

Dijkstra On the foolishness of "natural language programming"(cs.utexas.edu)

390 points by nimbleplum40 1 year ago | 236 comments

Transcription of Edsger Dijkstra's manuscript EWD 667 arguing that programming in natural language is foolish and that formal symbolism is essential.