"Why not just use Lean?" (via priime) — discussion

#formalmethods

Compositing & Blending (via pushcx) — discussion

#css

I won my FOIA against Twelve South to open up the electrical information for the PlugBug 120W (by reesericci) — discussion

#hardware #pdf #reversing

HTML written only using the C preprocessor (via hugoarnal) — discussion

#c

voice modems (via binjip978) — discussion

#historical

Abject v0.3.9 (by mempko) — discussion

#release

Email is crazy (by FlyingSnake) — discussion

#email #networking #security

GUI C++ programming for Windows 3.11 / 95 / cross-platform in 2023 (via linkdd) — discussion

#c++ #programming #retrocomputing #video

FreeBSD Device Driver Book (via jturner) — discussion

#book #c #freebsd

Niri v26.04 (via ana_glz) — discussion

#linux #release #rust

httpxyz one month in (via knl) — discussion

#python

ASK: What are you doing this week? (by caius)

#ask #programming

TurboQuant: A First-Principles Walkthrough (via yelianung) — discussion

#ai

Running the Gauntlet: a tiny nodejs test runner (by robey) — discussion

#nodejs #show #testing

The gold standard of optimization: A look under the hood of RollerCoaster Tycoon (via topicpartition) — discussion

#games #performance #programming

From Milliseconds to 26 Nanoseconds: How a $20 eBay SFP Module Beat My Entire NTP Setup (via varesa) — discussion

#hardware

Everything That Went Wrong With Claude (via topicpartition) — discussion

#ai

Golden Testing a CAD Library (via jmtd) — discussion

#graphics #haskell #testing

Wasm is not quite a stack machine (via LesleyLai) — discussion

#plt #wasm

It's Not About The API - Fast, Flexible, and Simple Rendering in Vulkan (2024) (via cgc373) — discussion

#graphics #video