Coordinating adversarial AI agents (by infiniteregrets) — discussion

#ai #distributed

Binding port 0 to avoid port collisions (via hwayne) — discussion

#linux #testing

300 Days of RuboCop (via chrisl) — discussion

#practices #ruby

Verifpal, Rewritten in Rust (by nadim) — discussion

#cryptography #formalmethods #rust

DMMSY: C99 implementation of Single-Source Shortest Path (via nomnp) — discussion

#c #compsci

Brag Frog – The brag doc that builds itself from GitHub, Jira and Co (by gruberb) — discussion

#release

Some Silly Z3 Scripts I Wrote (by hwayne) — discussion

#formalmethods

rango: Voice control for browsers (via nocoffei) — discussion

#a11y #browsers

Disappointing phones (via thang) — discussion

#android #mobile

Tracking NixOS option values and dependencies (via Picnoir) — discussion

#nix

So I've Been Thinking About Static Site Generators (by polywolf) — discussion

#programming

Using Haskell's 'newtype' in C (via telemachus) — discussion

#c

You don't need free lists (via gingerBill) — discussion

#programming

Ladybird adopts Rust, with help from AI (via jmillikin) — discussion

#browsers #rust #vibecoding

Designing Odin's Casting Syntax (via olex) — discussion

#compilers #plt #programming

Cursed engineering: jumping randomly through CSV files without hurting yourself (by Yomguithereal) — discussion

#performance #rust

Hetzner Price Adjustment - Hetzner Docs (via sigio) — discussion

#culture

Queues for Kafka ready for prime time (via rmoff) — discussion

#distributed

Forgejo, AGit, and Pull Request Templates (via FedericoSchonborn) — discussion

#emacs #vcs

ASK: What are you doing this week? (by caius)

#ask #programming