-
21
The Case Against Formal Verification, 50 Years Later
(ivan-gavran.github.io)
-
231
A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better"
(rvembedded.com)
-
440
Claude: System Prompts
(platform.claude.com)
-
53
Protobuf has LSP support. You're welcome
(buf.build)
-
23
SIMD in the 90s: Programming Intel's Pentium MMX
(pikuma.com)
-
189
The AI Credit Resale Economy
(vectoral.com)
-
26
Low-Tech Ceramic Water Filter
(wiki.lowtechlab.org)
-
154
Models Are Getting Dumber on Purpose
(w4g1.dev)
-
32
MathCode, Mathematical Coding Agent
(math-ai-org.github.io)
-
125
St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core
(wptv.com)
-
64
Clamiga: Common Lisp for the Amiga
(nnamgreb.de)
-
45
Anton Chekhov played at love most of his life
(commonreader.wustl.edu)
-
29
Plastic mechanical computer from 1963: The Digi-Comp 1 [video]
(youtube.com)
-
449
Firefox for iOS now has a native adblocker
(support.mozilla.org)
-
115
NIH is ending a key grant for budding clinical researchers
(science.org)
-
155
Tell HN: Cloudflare silently injects its analytics when you switch nameservers
()
-
3
In the Shadow of the (Berlin) Wall
(slowtravelberlin.com)
-
19
Before Rightmove, there was the Cosmorama
(ianvisits.co.uk)
-
21
Archie G. Norcross' Maine Forest Fire Maps (1918–22)
(publicdomainreview.org)
-
19
Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter
(bloomberg.com)
-
149
The weekend is 100 years old
(theguardian.com)
-
Tasklet (YC P26) Is Hiring a Head of Design Engineering
(tasklet.ai)
job -
73
A True Telnet BBS on a Casio Calculator
(ei3lh.eu)
-
122
Chestnut – eGPU dock with open-source firmware
(hwbusters.com)
-
17
The deep history behind the Road to Nowhere inside the Great Smoky Mountains
(wunc.org)
-
588
Asus Bike Booster
(asus.com)
-
67
ICE Shot a Journalist and Threw Him in Detention. He's Approaching 300 Days
(theintercept.com)
-
72
A SAT Attack on Tarski's High School Algebra Problem
(arxiv.org)
-
325
Research papers using "kidney disappointment" instead of "kidney failure"
(scholar.google.com)
-
28
The Trumps' Crypto Project Just Got One Step Closer to Becoming a Bank
(motherjones.com)