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