Lobsters

Latest

oh, apparently it's not possible to portably check for string-to-float conversion errors in standard c

2026-10-10 @ 05:37:18Comments

Adding Go's defer to the TypeScript Compiler

2026-10-10 @ 05:34:40Comments

No Man Is an Island

2026-10-10 @ 01:37:07Comments

Lifeguard: A static analyzer for Python lazy imports compatibility

2026-10-09 @ 21:44:50Comments

The importance of communities around software

2026-10-09 @ 21:27:20Comments

Cloudflare shutting down Deno is news, not just PR

2026-10-09 @ 21:20:03Comments

Branches in branch-free code

2026-10-09 @ 19:31:17Comments

Equality Saturation: An “Incomplete” Project

2026-10-09 @ 17:49:54Comments

Vectorized CLZ and CTZ

2026-10-09 @ 17:45:44Comments

Python 3.15.0

2026-10-09 @ 17:07:02Comments

Unison Cloud is now open source

2026-10-09 @ 15:32:51Comments

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda

2026-10-09 @ 14:30:28Comments

Why Are Coding Agents So Dumb?

2026-10-09 @ 14:22:04Comments

"Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot

2026-10-09 @ 14:14:17Comments

Deepthi Sigireddi from Supabase

2026-10-09 @ 13:56:41Comments

Spinlocks Considered Harmful (2020)

2026-10-09 @ 13:33:23Comments

HIP and ROCm as first-class citizens in Guix

2026-10-09 @ 13:01:43Comments

What are you doing this weekend?

2026-10-09 @ 12:53:09Comments

A minimal kernel in Swift, running in QEMU

2026-10-09 @ 12:17:01Comments

There are many themes, but this one is yours

2026-10-09 @ 12:08:09Comments

Programming Isn’t Special

2026-10-09 @ 11:09:10Comments

Bevy 0.20

2026-10-08 @ 23:21:57Comments

64-Day Certificate Lifetimes Coming Feb 2027

2026-10-08 @ 19:06:25Comments

The Missing Piece in Rust Error Handling

2026-10-08 @ 14:43:19Comments

The people holding up the internet

2026-10-08 @ 08:18:39Comments

Archives

2026

2025

2024

2023

2022