Peano arithmetic is enough, because Peano arithmetic encodes computation

SIMD-friendly algorithms for substring searching

Filedb: Disk-based key-value store inspired by Bitcask

TimeGuessr

Implementing Logic Programming

The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More

Endometriosis is an interesting disease

Self-Adapting Language Models

Liquid Glass – WWDC25 [video]

AI agent startups at Y Combinator’s Spring ’25 Demo Day

"The Illusion of Thinking" – Thoughts on This Important Paper

The international standard for identifying postal items

Student discovers fungus predicted by Albert Hoffman

Green Tea Garbage Collector

Shaping Light – Volumetric Lighting

UK unis to cough up to £10M on Java to keep Oracle off their backs

$100 Hamburger

Caltrain official lived in secret apartment built illegally inside train station

Whatever Happened to Sandboxfs?

I convinced HP's board to buy Palm and watched them kill it

If the moon were only 1 pixel: A tediously accurate solar system model (2014)

100 years of Zermelo's axiom of choice: What was the problem with it? (2006)

The Hat, the Spectre and SAT Solvers (2024)

Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh