Diode – Build, program, and simulate hardware

λProlog: Logic programming in higher-order logic

Goodbye InnerHTML, Hello SetHTML: Stronger XSS Protection in Firefox 148

Terence Tao, at 8 years old (1984) [pdf]

A distributed queue in a single JSON file on object storage

The Missing Semester of Your CS Education – Revised for 2026

Show HN: enveil – hide your .env secrets from prAIng eyes

I Ported Coreboot to the ThinkPad X270

Show HN: X86CSS – An x86 CPU emulator written in CSS

The Age Verification Trap: Verifying age undermines everyone's data protection

Show HN: Steerling-8B, a language model that can explain any token it generates

Blood test boosts Alzheimer's diagnosis accuracy to 94.5%, clinical study shows

Making Wolfram tech available as a foundation tool for LLM systems

Firefox 148 Launches with AI Kill Switch Feature and More Enhancements

Unsung heroes: Flickr's URLs scheme

“Car Wash” test with 53 models

Decimal-Java is a library to convert java.math.BigDecimal to and from IEEE-754r

xAI and Pentagon reach deal to use Grok in classified systems

UNIX99, a UNIX-like OS for the TI-99/4A (2025)

Graph Topology and Battle Royale Mechanics

Intel XeSS 3: expanded support for Core Ultra/Core Ultra 2 and Arc A, B series

Discord cuts ties with Peter Thiel-backed verification software

ATAboy is a USB adapter for legacy CHS only style IDE (PATA) drives

Hetzner Prices increase 30-40%

Show HN: PgDog – Scale Postgres without changing the app

A simple web we own

Writing code is cheap now

SIM (YC X25) Is Hiring the Best Engineers in San Francisco

Ladybird adopts Rust, with help from AI

Show HN: Cellarium: A Playground for Cellular Automata