Lobsters
Latest
Two Futures for LLMs in Mathematics
2026-10-09 @ 17:23:45
Comments
Python 3.15.0
2026-10-09 @ 17:07:02
Comments
Unison Cloud is now open source
2026-10-09 @ 15:32:51
Comments
A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda
2026-10-09 @ 14:30:28
Comments
Why Are Coding Agents So Dumb?
2026-10-09 @ 14:22:04
Comments
"Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot
2026-10-09 @ 14:14:17
Comments
Deepthi Sigireddi from Supabase
2026-10-09 @ 13:56:41
Comments
Spinlocks Considered Harmful (2020)
2026-10-09 @ 13:33:23
Comments
Deno is joining Cloudflare
2026-10-09 @ 13:24:29
Comments
HIP and ROCm as first-class citizens in Guix
2026-10-09 @ 13:01:43
Comments
What are you doing this weekend?
2026-10-09 @ 12:53:09
Comments
A minimal kernel in Swift, running in QEMU
2026-10-09 @ 12:17:01
Comments
There are many themes, but this one is yours
2026-10-09 @ 12:08:09
Comments
Programming Isn’t Special
2026-10-09 @ 11:09:10
Comments
Deeper dive: Keyboard differences between Windows and Macs
2026-10-09 @ 06:51:52
Comments
Reducing undefined behavior in the C language
2026-10-09 @ 05:30:04
Comments
Bevy 0.20
2026-10-08 @ 23:21:57
Comments
64-Day Certificate Lifetimes Coming Feb 2027
2026-10-08 @ 19:06:25
Comments
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
2026-10-08 @ 17:16:42
Comments
Beauty in DVD Menus
2026-10-08 @ 15:00:23
Comments
The Missing Piece in Rust Error Handling
2026-10-08 @ 14:43:19
Comments
Ending the Casuarina Linux Experiment
2026-10-08 @ 13:08:00
Comments
The people holding up the internet
2026-10-08 @ 08:18:39
Comments
I've Been Deindexed by Google
2026-10-08 @ 07:59:30
Comments
Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90
2026-10-07 @ 21:38:09
Comments
Archives
2026
2025
2024
2023
2022