A 53-Year-Old Network Coloring Conjecture Is Disproved, Yaroslav Shitov found counterexamples to the Hedetniemi’s conjecture.
SKS Keyserver Network Under Attack, unsalvageable as is.
Call-by-Need Is Clairvoyant Call-by-Value (PDF), by Jennifer Hackett and Graham Hutton.
A Primer on Separation Logic (and Automatic Program Verification and Analysis) (PDF, 2011), by Peter W. O’Hearn.
mimalloc is a general purpose allocator with excellent performance characteristics. Initially developed by Daan Leijen for the run-time systems of the Koka and Lean languages.
timesheet.txt, a plain text timesheet file format and a Python 3 parser.
pseudo, straightforward pseudocode for LaTeX.
This page is a truly naked, brutalist html quine.
How to pick a random number from 1-10, very contrived.
Someone Turned Mario Into A Battle Royale, And It’s The Best Thing