Dependable C (via jado) — discussion

#c

Running microVMs in Proxmox VE, The Easy Way (via lproven) — discussion

#linux #virtualization

The notification that gave up after a minute (by jvalol) — discussion

#browsers #elixir #web

Introduction to Formal Verification with Lean (Part 1) (via nemin) — discussion

#formalmethods

CodeSizer: Why is that binary so big? (via jeanthomas) — discussion

#performance

I Built an Even Better Ropebot Dog (via briankung) — discussion

#hardware #video

ZTA: Zero Token Architecture (via tomas) — discussion

#vibecoding #video

Git email patch review addon for Thunderbird (by mccd) — discussion

#email #show #vcs #vibecoding

ASK: What is your favorite blog to read recently? (by oceanhaiyang)

#ask #programming

ASK: Skred is now a MIDI aware synth and drum machine construction kit (by octetta)

#c #vibecoding

Triton language for Alibaba SAIL (via sanxiyn) — discussion

#ai #compilers #hardware

The death and rebirth of my home server (by steinuil) — discussion

#linux #nix

More emulation goodness, an Intel Itanium (IA-64) emulator that boots Windows (by raymii) — discussion

#retrocomputing #virtualization

Mathematicians still don’t know the fastest way to multiply numbers (via carlomonte) — discussion

#math

The computer at the bottom of a canal (via classichasclass) — discussion

#historical

Hardcore IndieWeb: Run your own website 100% independently for only $0.01/day (via algernon) — discussion

#practices #web

Software and AI - Plotting vs. Pantsing (by pyj) — discussion

#vibecoding

Dictionaries and Tables | DefconQ (via veqq) — discussion

#apl

Studying Linux Schedulers, and Why Metrics Matter (by pgn) — discussion

#hardware #linux #performance

Human-like Neural Nets by Catapulting (via sunflowerseastar) — discussion

#ai #vibecoding