Lobsters
Latest
Kiesel Devlog #15: Release 0.4.0
2026-10-10 @ 17:55:46
Comments
SNTPings, draw on a canvas using ICMPv6
2026-10-10 @ 17:05:41
Comments
Why 'externalized' proofs of cyclic trait impls does not work
2026-10-10 @ 16:56:48
Comments
Reporting vulnerabilities to Estonian companies
2026-10-10 @ 14:56:06
Comments
culpert - rust heap profiling with span awareness and regression tooling
2026-10-10 @ 14:49:49
Comments
Iframes that finally fit their content
2026-10-10 @ 12:54:56
Comments
Mars Pathfinder Priority Inversion Bug: What Really Happened
2026-10-10 @ 12:24:42
Comments
The Lightbulb Computer: Reimagining Spatial & Ambient Computing with Projectors
2026-10-10 @ 11:53:29
Comments
There's little that's "inevitable" about AI
2026-10-10 @ 09:08:30
Comments
1-click MMI execution in Android
2026-10-10 @ 07:20:53
Comments
oh, apparently it's not possible to portably check for string-to-float conversion errors in standard c
2026-10-10 @ 05:37:18
Comments
Adding Go's defer to the TypeScript Compiler
2026-10-10 @ 05:34:40
Comments
No Man Is an Island
2026-10-10 @ 01:37:07
Comments
Lifeguard: A static analyzer for Python lazy imports compatibility
2026-10-09 @ 21:44:50
Comments
Cloudflare shutting down Deno is news, not just PR
2026-10-09 @ 21:20:03
Comments
Branches in branch-free code
2026-10-09 @ 19:31:17
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
What are you doing this weekend?
2026-10-09 @ 12:53:09
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
Archives
2026
2025
2024
2023
2022