-
233
Diode – Build, program, and simulate hardware
(withdiode.com)
-
67
λProlog: Logic programming in higher-order logic
(lix.polytechnique.fr)
-
74
Goodbye InnerHTML, Hello SetHTML: Stronger XSS Protection in Firefox 148
(hacks.mozilla.org)
-
370
Terence Tao, at 8 years old (1984) [pdf]
(gwern.net)
-
66
A distributed queue in a single JSON file on object storage
(turbopuffer.com)
-
133
The Missing Semester of Your CS Education – Revised for 2026
(missing.csail.mit.edu)
-
138
Show HN: enveil – hide your .env secrets from prAIng eyes
(github.com)
-
241
I Ported Coreboot to the ThinkPad X270
(dork.dev)
-
181
Show HN: X86CSS – An x86 CPU emulator written in CSS
(lyra.horse)
-
1540
The Age Verification Trap: Verifying age undermines everyone's data protection
(spectrum.ieee.org)
-
229
Show HN: Steerling-8B, a language model that can explain any token it generates
(guidelabs.ai)
-
333
Blood test boosts Alzheimer's diagnosis accuracy to 94.5%, clinical study shows
(medicalxpress.com)
-
221
Making Wolfram tech available as a foundation tool for LLM systems
(writings.stephenwolfram.com)
-
347
Firefox 148 Launches with AI Kill Switch Feature and More Enhancements
(serverhost.com)
-
147
Unsung heroes: Flickr's URLs scheme
(unsung.aresluna.org)
-
291
“Car Wash” test with 53 models
(opper.ai)
-
16
Decimal-Java is a library to convert java.math.BigDecimal to and from IEEE-754r
(github.com)
-
20
xAI and Pentagon reach deal to use Grok in classified systems
(axios.com)
-
192
UNIX99, a UNIX-like OS for the TI-99/4A (2025)
(forums.atariage.com)
-
28
Graph Topology and Battle Royale Mechanics
(blog.lukesalamone.com)
-
51
Intel XeSS 3: expanded support for Core Ultra/Core Ultra 2 and Arc A, B series
(intel.com)
-
30
Discord cuts ties with Peter Thiel-backed verification software
(fortune.com)
-
28
ATAboy is a USB adapter for legacy CHS only style IDE (PATA) drives
(github.com)
-
316
Hetzner Prices increase 30-40%
(docs.hetzner.com)
-
291
Show HN: PgDog – Scale Postgres without changing the app
(github.com)
-
271
A simple web we own
(rsdoiel.github.io)
-
260
Writing code is cheap now
(simonwillison.net)
-
SIM (YC X25) Is Hiring the Best Engineers in San Francisco
(ycombinator.com)
job -
1210
Ladybird adopts Rust, with help from AI
(ladybird.org)
-
31
Show HN: Cellarium: A Playground for Cellular Automata
(github.com)