- 19Reconstructing Concurrency Invariants Through Medieval East Asian Logic (oborona.zip)
- 16Günther Anders, the Philosopher at the End of the World (compactmag.com)
- 445Growing proof that autonomous cars save lives (spectrum.ieee.org)
- 599Fuck it, make it anyway (joelotter.com)
- 220Rune is now open source (rune.build)
- 154CIA Releases President's Daily Briefs in Commemoration of 9/11 (cia.gov)
- 7EPA Expected to Erase Limits on Climate Pollution from Power Plants (nytimes.com)
- 103JEP 544: Ahead-of-Time Code Compilation (openjdk.org)
- 19Docket – Per-commit evidence records for agent-written code (github.com)
- 673Claude is only available to people over 18 years (support.claude.com)
- 41Txt: A fast, keyboard-driven terminal text editor for engineers (txt.hellman.io)
- 188Planet Labs' open satellite feed (tech.marksblogg.com)
- 866More questions about whether researchers can trust OpenAI with unpublished math (mathstodon.xyz)
- 39Airbnb Preventing the Use of BnB (theguardian.com)
- 9A full-duplex AI phone agent that listens while speaking (famulor.io)
- 38SystemIO conflicts are not firmware bugs (codon.org.uk)
- 102OpenAI's Sam Altman says it would be 'ill-advised' to go public in 2026 (techcrunch.com)
- 959OpenAI agents carried out an undisclosed attack on RubyGems (rubyhack.ai)
- 457No Man's Sky Cosmos (nomanssky.com)
- 217Understanding the recent DDoS attack against Read the Docs (about.readthedocs.com)
- 158Global Glacier Extinction Explorer (glacierextinction.com)
- 3An AI deal with China could get Donald Trump his Nobel Prize (economist.com)
- 6Fossil: Private Branches (fossil-scm.org)
- 24Can you design a chip: The protocol emulator ASIC competition (blog.janestreet.com)
- 24First Naval Drone Duel Results in Ukrainian Success (navalnews.com)
- 362What algorithm did Windows XP use to choose your initial user picture? (devblogs.microsoft.com)
- 276HuggingFace: Security.txt (huggingface.co)
- 169RTK reports token savings, but our cost benchmarks disagree (quesma.com)
- 3System 3 Thinking ()
- 206Show HN: Hacker News, without AI (hcker.news)