Building a React App with Formally Verified State (by heyyfernanda) — discussion

#formalmethods

Inlining (via eatonphil) — discussion

#databases

FediMeteo: How a Tiny €4 FreeBSD VPS Became a Global Weather Service for Thousands (by draga79) — discussion

#freebsd #networking

Formally speaking, "Transpiler" is a useless word (by notypes) — discussion

#plt

What Does grantpt() Do? (via Screwtape) — discussion

#historical #unix

Restarting systemd services on sustained CPU abuse (via gerikson) — discussion

#linux #systemd

Make-shift shebangs for Go (via runxiyu) — discussion

#go #unix

Hacking washing machines (via runxiyu) — discussion

#hardware #video

Better Code: Concurrency (2017) (via LesleyLai) — discussion

#c++ #performance #video

Finding a broken trace on my old Mac with the help of its ROM diagnostics (via calvin) — discussion

#hardware #mac #retrocomputing

Charm Ruby - Glamorous Terminal Libraries for Ruby (via ChaelCodes) — discussion

#ruby

NES Game Genie Technical Notes (2001) (via djx) — discussion

#games #retrocomputing

Glamorous Christmas: Bringing Charm to Ruby (by marcoroth) — discussion

#go #ruby

Velox is a port of Tauri to Swift (via kevinc) — discussion

#swift

xzone malloc: memory allocator for Apple OS platforms (via fro) — discussion

#ios #mac #security

Introducing miniray — a WGSL minifier (by HugoDaniel) — discussion

#graphics #vibecoding #web

Replacing python-dateutil to remove six (via ubernostrum) — discussion

#python

Curl removes all calls to strcpy (via groctel) — discussion

#c #practices

Libgodc: Write Go Programs for Sega Dreamcast (via el_piqo) — discussion

#c #go

GDI Effects from the PC cracking scene (via dzwdz) — discussion

#art