10th Person (via nathanael) — discussion

#culture #philosophy

How we allowed remote code execution (but safely) (via abnercoimbre) — discussion

#security

Functional Data Structures and Algorithms. A Proof Assistant Approach (via nextos) — discussion

#book #formalmethods #pdf #plt

I used a local LLM to analyze my journal entries (by s3thi) — discussion

#ai #vibecoding #visualization

ANN: I built a new Ada build tool for personal use (by tomekw) — discussion

#programming #release

Evolving Git for the next decade (via fanf) — discussion

#vcs

What should we do with CLs generated by AI? (via telemachus) — discussion

#go #vibecoding

Nixtamal 1.0.0 released (by toastal) — discussion

#nix #release

Catalog of Refactorings (via hwayne) — discussion

#programming

A Deep Dive into Apple's .car File Format (via veqq) — discussion

#mac

microgpt (via asb) — discussion

#ai #python

The future of software engineering - The future of software development retreat (via jalcine) — discussion

#ai #pdf

The 12-Factor App - 15 Years later. Does it Still Hold Up in 2026? (via zanlib) — discussion

#devops

Thanks for All the Frames: Rust GUI Observations (via kwas) — discussion

#graphics #rust

Deterministic Simulation Testing: BUGGIFY (via teymour) — discussion

#testing

Resizing windows on macOS Tahoe – the saga continues (via nomnp) — discussion

#mac

My first Vulkan extension (via calvin) — discussion

#graphics

moss-kernel: Rust Linux-compatible kernel (via yokljo) — discussion

#linux #osdev #rust

If you use AI-generated code, you currently cannot claim copyright on it in the US (via mrexodia) — discussion

#law #vibecoding

Hare 0.26.0 released (via runxiyu) — discussion

#plt #release