- 1 Machine-Generated, Machine-Checked Proofs for a Verified Compiler (ICFP'26) [video] (youtube.com)
- 1 Authors Guild calls on publishers to share Anthropic wealth (publishersweekly.com)
- 2 The Internet Is Dead (en.code-bude.net)
- 1 Conway's Law cuts both ways (pablohere.contrapeso.xyz)
- 1 Florida asks for order to halt ChatGPT development (axios.com)
- 1 Researchers proved AI has deleted every reason universities exist (twitter.com)
- 1 Full Self Hauling: Volvo moves 3 million tonnes of Earth, autonomously (electrek.co)
- 1 Dutch 'reformed hacker' arrested in ShinyHunters investigation, police say (reuters.com)
- 5 Flock Wants the Most Detailed Map of Its Surveillance Cameras Taken Offline (theintercept.com)
- 1 Reverse-engineering a $35 backup camera display (AMT630A) (github.com)
- 7 TikTok, X reportedly barring ads for documentary about Elon Musk (cbc.ca)
- 1 Elemental analysis demonstrates 'Donut Battery' is not lithium-ion or sodium (donutlab.com)
- 1 Yikes example.com has changed to run JavaScript ()
- 1 Postgres query plans without production data (weavori.com)
- 1 What good is a best-effort exclusive lock, anyway? (gaultier.github.io)
- 1 The macOS Roblox is now on Linux (github.com)
- 1 Show HN: A never-ending chess match between Claude and Codex (claudevcodex.com)
- 1 Bitcoin trading model, published in full – wins and failures (bitcoinai.pro)
- 2 Clojure-Cli.repl (github.com)
- 2 Skydivers alert crews after plane crashes in cornfield near East Troy airport (wisn.com)
- 2 The Great British Converter: From Bytes to Barleycorns (thegreatbritishconverter.co.uk)
- 1 Community contributions: sharing is caring (livefasteattrashraccoon.github.io)
- 5 Trump Brought Venezuelan Gold to the U.S., but Refiners Won't Touch It (nytimes.com)
- 3 Scaling Memory Safety: AI-Assisted Rewrites of C/C++ Dependencies to Rust (bughunters.google.com)
- 1 25% autistic guy (me) spent 10k hours making an HTML table move smoothly (number-garden.com)
- 4 FAA to Delay 737 MAX 10 Approval over New Software Glitch (wsj.com)
- 1 State of the (Tagged) Union Address by Andrew Kelley [video] (youtube.com)
- 1 Jev Mogs Code Mode (github.com)
- 1 Nvidia launches new tool to keep AI agents from going rogue (cnn.com)
- 1 The Native TypeScript Compiler Cut Our Typecheck from 13s to 3.5s (mergify.com)