Contracts in Nix (via l0b0) β discussion
#nix
Contracts in Nix (via l0b0) β discussion
#nix
Coding Agent VMs on NixOS with microvm.nix (by stapelberg) β discussion
#nix #vibecoding
Solving Package Management via Hypergraph Dependency Resolution (via typesanitizer) β discussion
#pdf #programming
git-cola: The highly caffeinated Git GUI (via heavyrain266) β discussion
#vcs
How Apple Hooks Fifty Thousand Methods (via radbuglet) β discussion
#mac #reversing #video
In Praise of βdry-run (via LolPython) β discussion
#programming
This year in LLVM (2025) (via asb) β discussion
#compilers
Outsourcing thinking (via kmaasrud) β discussion
#philosophy
Bryan Cantrill: Andreessenβs Folly - The False Dichotomy of Software and Hardware (via rrampage) β discussion
#debugging #hardware #video
A 9M-parameter Mandarin pronunciation tutor (via creature) β discussion
#ai
Libreboot 26.01 βMagnanimous Maxβ released (via pkubaj) β discussion
#hardware
MOOSE Crossing: Construction, Community, and Learning in a Networked Virtual World for Kids (1997) (via calvin) β discussion
#education #games #programming
Pi: The Minimal Agent Within OpenClaw (via cgrinds) β discussion
#vibecoding
Improving Unnesting of Complex Queries (via squadette) β discussion
#databases #pdf
The surprising attention on sprites, exe.dev, and shellbox (by lalitm) β discussion
#networking #vibecoding
Faster package builds using Icecream and a Mac (by git-bruh) β discussion
#c #c++ #compilers #distributed #linux #mac
Manual programming (by quad) β discussion
#satire #vibecoding
A Step Behind the Bleeding Edge: A Philosophy on AI in Dev (via jkaye) β discussion
#ai #vibecoding
Building a browser API in one shot (by nolan) β discussion
#vibecoding
Automatic programming (via yuvadm) β discussion
#programming #vibecoding