In defense of an old pixel (via technetium) — discussion

#design #historical #video

Making a modern Email protocol (via deer) — discussion

#email #javascript #video

The value of model checking in distributed protocols design (via ajessejiryudavis) — discussion

#distributed #formalmethods

Making Video Games in 2025 (without an engine) (via tjammer) — discussion

#games

Building a personal archive of the web, the slow way (via calvin) — discussion

#web

Submissions to Spring Lisp Game Jam 2025 (via icefox) — discussion

#games #lisp

Internationalization puzzles (via hwayne) — discussion

#a11y

Steve Langasek, One of Ubuntu Linux's Leading Lights, Has Died (via Mordo) — discussion

#person

A Python frozenset interpretation of Dependent Type Theory (by philzook) — discussion

#formalmethods #plt

Microsoft Edit is now open source (via lorddimwit) — discussion

#editors

The Windows Subsystem for Linux is now open source (via Foxboron) — discussion

#linux #windows

Is Winter Coming? (via jkaye) — discussion

#vibecoding

ASK: New flag options for “misleading” and “clickbait”? (by hibachrach)

#meta

Malware attack and counterattack (via soulcutter) — discussion

#reversing #security

too much go misdirection (via calvin) — discussion

#go

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

#ask #programming

Justification Filler Phrases (by serce) — discussion

#programming

Don't Guess My Language (via eduard) — discussion

#web

Introducing Obelisk deterministic workflow engine (by tomas) — discussion

#rust #wasm

Racket v8.17 (via runxiyu) — discussion

#lisp #release