Dev
Jane Street's Reversal on Formal Methods, and What Agentic Coding Changed
6/12/2026
Dev
Two Oracle Projects, One Contributor Agreement, Opposite Answers on AI-Generated Code
6/12/2026
Dev
WWDC 2026: iOS 27, the New Siri AI, and What It Means for App Developers
6/12/2026
Dev
Why developers get emotionally attached to their tools, and what that means for teams
6/12/2026
Dev
Wikilambda and the Old Dream of a Perfect Language
6/12/2026
Dev
Homebrew 6.0.0 Bets on Trust, Sandboxing, and a Faster Default API
6/12/2026
Dev
Onyx BOOX Go 6 (Gen II) ships with Android 11 in 2026, and that matters more for developers than readers
6/12/2026
Dev
Deconstructing Datalog: How a 2022 Dissertation Quietly Shapes Incremental Computation
6/12/2026
Dev
erm Takes a Practical Swing at Local Filler-Word Removal
6/12/2026
Dev
macOS 27 Ends Intel Mac Support, and Rosetta Is Next
6/12/2026
Dev
Bab: Bringing Verifiable Partial Transfers to Peer-to-Peer Storage
6/12/2026
Dev
The New Office Etiquette: If You Want Human Attention, Show Human Effort
6/12/2026
Dev
The focus paradox: why AI-assisted developers are getting more done and feeling worse about it
6/11/2026