May 2026 Archive
1711.
1712.
Creusot helps you prove your Rust code is correct
(github.com)
1713.
Deciphering the Hashihara Castle Town Map
(obayashi.co.jp)
1714.
1715.
They Said It Would Cost $54M. We Said "No Thanks."
(nateglubish.substack.com)
1716.
It’s Toasted
(yadin.com)
1718.
1719.
XLIDE: VBA without excel
(github.com)
1720.
DeepSWE: A contamination-free benchmark for long-horizon coding agents
(deepswe.datacurve.ai)
1721.
1722.
1723.
D. Trump Jr. and Eric Trump Running Felony Fraud Scheme Prosecutable in New York
(cmarmitage.substack.com)
1724.
New US phone network for Christians to block porn and gender-related content
(technologyreview.com)
1725.
The Structural Barriers to AI Lawyers
(diffuseai.pub)
1726.
1727.
1728.
1729.
1730.
Apple-OpenAI Relationship Frays, Setting Up Possible Legal Fight
(bloomberg.com)
1731.
A Tiny E Reader
(nthp.me)
1732.
1733.
1734.
Math-to-Manim
(github.com)
1735.
Durable execution, the hard way
(github.com)
1736.
1737.
The Whole Anthropic Kerfuffle
(twitter.com)
1738.
1739.
Git Is Not Fine
(billjings.com)
1740.
We made our filesystem 47× faster by deleting it
(microsandbox.dev)