Serokell’s Work on GHC: Dependent Types, Part 5 (via ehamberg) — discussion

#haskell

nixpkgs-multiverse: fast mode (via vbernat) — discussion

#nix

Demystifying Type (and some Un-Paradoxing) (via rsaarelm) — discussion

#plt

Firefox is now the last major browser that still supports uBlock Origin (via tusharhero) — discussion

#browsers

Improving system safety with Temporal Logic of Actions (TLA+) (via juri) — discussion

#formalmethods #vibecoding

Kernel that only runs an NES emulator (via juliethefoxcoon) — discussion

#c #games #osdev

How 2004 RuneScape fit a multiplayer RPG into 56k dial-up · jkm.dev (via Yogthos) — discussion

#games #networking #programming

An Anecdote Against Slop Artifacts (via meithecatte) — discussion

#formalmethods #vibecoding

RVA23 vs ARMv9 a Small Experiment (via matklad) — discussion

#assembly

My comment section is static HTML (by jvalol) — discussion

#web

What You Gain by Building Your Own Game Engine (via bmo) — discussion

#games

2026 EuroLLVM (via olliej) — discussion

#compilers #video

We implemented the IPv8 Internet-Draft in the Linux Kernel, Musl Libc, and BGP (via vbernat) — discussion

#linux #networking #vibecoding

RISC-V: They Should Have Known Better (by dmitrygr) — discussion

#assembly #compilers

ActivityPub Won by Being Boring (via boramalper) — discussion

#distributed #web

Thunderbird’s Desktop Calendar Visual Redesign (via wonk) — discussion

#design #email

Meta Patents AI Glasses to Use Facial Recognition to Identify People (via var0xyz) — discussion

#law #privacy

Find out who’s tracking you with DecryptAds (via darleaf) — discussion

#privacy #web

Unexpected (to me) behaviour in Lisp sub-typing (via abnercoimbre) — discussion

#lisp

Guilt-Driven Development (via typesanitizer) — discussion

#practices