-
14
Anthropic Just Threatened to Kill Billions of People. This Is Not Okay
(calnewport.com)
-
5
Formal methods let you explore the corners
(johndcook.com)
-
3
Fastly Speed Test
(speed.edgecompute.app)
-
4
Recursive Self-Improvement
(en.wikipedia.org)
-
2
Using Forester Behavior Trees for Virtual Commissioning of Robotic Cells
(besok.github.io)
-
6
Xteink X4 Pro Review
(abstractnonsense.xyz)
-
4
Robots stage 'protest' demanding stricter AI rules in Poland
(polskieradio.pl)
-
3
Auth.md – Enable agents to register users without the sign-up form
(workos.com)
-
2
Coding Sahayi – Local-first autonomous AI coding IDE (WinUI 3 and Ollama)
(codingsahayi.github.io)
-
4
Cfo.ai
(cfo.ai)
-
6
Project Tapestry
(the-ai-alliance.github.io)
-
4
Frontier Engineering
(kiro.dev)
-
6
We All Deserve a Better Internet, Not a Smaller One
(eff.org)
-
2
Show HN: ZestSSH, my capstone SSH client that people started paying for
(zestssh.com)
-
4
Am I Being Gaslit by AI?
(keenen.xyz)
-
2
Show HN: An interactive 3D Pattern Language made with Astra
(livedin.co.uk)
-
86
NTSB issues investigative update on B-767 runway excursion accident in Miami
(ntsb.gov)
-
3
Effect MQ
(effect-mq.com)
-
1
The Price of Piracy: Hidden Costs of Illegal Streaming to the UK Economy [pdf]
(assets.contentstack.io)
-
2
A New Observable
(observablehq.com)
-
1
Lawmakers Ask To Blacklist Appin, A Hack-For-Hire Firm Censoring Journalists
(techdirt.com)
-
1
32K Open Ollamas, 256 Honeypots, and 365 Failed Ransoms
(day50.dev)
-
4
Markdown Is All You Need
(practicalsystems.io)
-
1
Former Anthropic researcher warns AI could 'kill us all' [video]
(cnn.com)
-
2
Navier-Stokes in the News
(johndcook.com)
-
155
OpenAI’s Navier-Stokes release included a Lean 4 formal proof
(johndcook.com)
-
3
Something is shifting in the inflation picture
(stayathomemacro.substack.com)
-
4
AI Is an Intelligence Multiplier
(johndcook.com)
-
1
Project Tailwind is a call for ambitious AI safety initiatives
(coefficientgiving.org)
-
1
The New GDP Series and Its Critics
(tcaanant426616.substack.com)