copyleft-next (via legoktm) — discussion

#law

The Amiga 3000 UNIX and Sun Microsystems: Deal or no deal? (via classichasclass) — discussion

#retrocomputing #unix

Can we test it? Yes, we can (via krig) — discussion

#testing #video

jujutsu v0.31.0 released (via mediremi) — discussion

#release #vcs

Why I'm Dialing Back My LLM Usage (via chai) — discussion

#vibecoding

Fail Faster: Staging and Fast Randomness for High-Performance Property-Based Testing (via eatonphil) — discussion

#ml #performance #scala #testing #video

Exploiting the IKKO Activebuds "AI powered" earbuds, running DOOM, stealing their OpenAI API key and customer data (via mseri) — discussion

#security #vibecoding

Tree-Structured Concurrency II: Replacing Background Tasks With Actors (via asb) — discussion

#rust

500× faster: Four different ways to speed up your code (by itamarst) — discussion

#performance #python

Programming as Theory Building (via mysticmode) — discussion

#pdf #plt

sslcheck: Command-line tool to check and monitor SSL certificate expiration across multiple domains (by i04n) — discussion

#python #show

Inequality Union Finds: Baby Steps to Refinement E-graphs (by philzook) — discussion

#formalmethods #plt

A Higgs-bugson in the Linux Kernel (by njha) — discussion

#debugging #linux

Deploying Python (Django) to Kubernetes: A practical guide with a complete DevOps Pipeline (via domenkozar) — discussion

#devops

This Overly Long Variable Name Could Have Been a Comment (via matklad) — discussion

#practices

I Shipped a macOS App Built Entirely by Claude Code (via milen) — discussion

#vibecoding

How I Scanned all of GitHub’s “Oops Commits” for Leaked Secrets worth $25k in Bug Bounties (via hoistbypetard) — discussion

#security #vcs

Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+ (via ajessejiryudavis) — discussion

#distributed #formalmethods

Three Years of Nix and NixOS: The Good, the Bad, and the Ugly (via abhin4v) — discussion

#nix

Counterexamples of positivity implications in Kähler curvature tensors (via aleph) — discussion

#math