Stories by todsacerdoti

Composing TLA+ Specifications with State Machines

Optimizing Python Development: Virtualenv Kernels with Nix and Jupyter

The Quest for the Gargon (Argon2 and FIPS)

Sqlc: 2024 Check In

Mark Shuttleworth Chats Ubuntu, Snaps, and Open Source on Nerding Out with Vikt

MeshAnything

DDoS attacks can threaten the independent Internet

Constant Integer Type Declarations Initialized with Constant Expressions Should

Producer: A tool for translating Smalltalk-80 to Objective-C (1987)

Scoped Tagging of Bookmarks

Alga: CLI for remote controlling LG webOS TVs

Deck.gl v9: WebGPU ready and with TypeScript support

Packaging Swift Apps for Alpine Linux

Listening to your friends' jams with last.fm

I got a new domain name

Alleged Boss of 'Scattered Spider' Hacking Group Arrested

Fifty Years of Diff

Bulk Unsubscribe: Unsubscribe from marketing/promotional emails in one click

Docker Considered Harmful (2021)

Ask HN: Who is growing? (June 2024)