Lobsters
Latest
JSON Tiles: Fast Analytics on Semi-Structured Data (2021)
2026-10-11 @ 06:21:34
Comments
LineageOS 24.0 released
2026-10-11 @ 06:21:25
Comments
How shredding JSON is giving Logfire 1000x query speedups
2026-10-11 @ 06:16:26
Comments
Consistency is not a localized property
2026-10-11 @ 00:51:28
Comments
Making np.searchsorted up to 25× Faster in NumPy 2.5
2026-10-10 @ 23:25:51
Comments
Byte Language Models: Scaling, Emergent Abstractions, and Information Allocation
2026-10-10 @ 22:25:14
Comments
Inside a 1980s filter chip that uses switched capacitors
2026-10-10 @ 21:28:51
Comments
The 2D physics prototype behind GTA’s vehicles
2026-10-10 @ 21:06:15
Comments
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
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
Voxlocal: a minimal voice agent written in Rust
2026-10-10 @ 08:42:06
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
No Man Is an Island
2026-10-10 @ 01:37:07
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
Programming Isn’t Special
2026-10-09 @ 11:09:10
Comments
Archives
2026
2025
2024
2023
2022