Foreword for Fuzz Testing Book (via teymour) — discussion

#historical #testing

Semi-Automated Assembly Verification in Python using pypcode Semantics (via asb) — discussion

#formalmethods

devenv 1.8: Progress TUI, SecretSpec Integration, Listing Tasks, and Smaller Containers (via robinheghan) — discussion

#nix

A parser and interpreter for a very small language (via abhin4v) — discussion

#haskell #plt

A reckless introduction to Hindley-Milner type inference (via runxiyu) — discussion

#formalmethods #plt

Jujutsu For Busy Devs (via thombles) — discussion

#vcs

Sapling (via indigo) — discussion

#vcs

RFC 865: Quote of the Day Protocol (via cve) — discussion

#historical

Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad (via mccd) — discussion

#ai

Garbage Collection for Systems Programmers (via ucirello) — discussion

#programming

Vibe Coding Gone Wrong: 5 Rules for Safely Using AI (via duncan_bayne) — discussion

#vibecoding

Working on a Programming Language in the Age of LLMs (by refaktor) — discussion

#programming

Automating Away Claude's Bad Habits with Hooks | Write-Ahead (b)Log (via maduggan) — discussion

#vibecoding

AI Is Not Other People (by maxm) — discussion

#vibecoding

Fuzzing the Kotlin Compiler (via soni) — discussion

#kotlin #testing

cppq: Simple, reliable & efficient distributed task queues for C++17 (by h2337) — discussion

#c++ #distributed #show

Pogocache - Fast caching software (via av) — discussion

#c #databases

Reverse engineering the mysterious Up-Data Link Test Set from Apollo (via deejayy) — discussion

#hardware #historical #reversing

File Pilot: Inside the Engine (via gingerBill) — discussion

#programming #video #windows

LL and LR Parsing Demystified (2013) (via Riolku) — discussion

#compilers #plt