An Algorithmic Reconstruction of Normalisation by Evaluation (via fanf) — discussion

#plt

LemmaScript: A Verification Toolchain for TypeScript via Dafny (by namin) — discussion

#formalmethods

It's All Just Trees With Web Origami (via abnercoimbre) — discussion

#web

Using LLMs to find Python C-extension bugs (via equeue) — discussion

#python #security #vibecoding

The Edge of Safe Rust (via intarga) — discussion

#plt #rust

Some general notes on network booting UEFI machines (via fanf) — discussion

#networking

Impeccable: Design skills for AI harnesses (via ocramz) — discussion

#design #vibecoding

Markdown (Aaron Swartz: The Weblog) (via dhruvp) — discussion

#programming

GitHub Actions for a Gleam monorepo (by crowdhailer) — discussion

#gleam

What Async Promised and What it Delivered — (via mpweiher) — discussion

#programming

AI as a Fascist Artifact (via SoapDog) — discussion

#ai #rant

wsl9x: Windows 9x subsystem for Linux (via calvin) — discussion

#assembly #linux #retrocomputing #windows

Math is hard (OpenBSD on VAX) (via lorddimwit) — discussion

#historical #openbsd

Is Claude Code going to cost $100/month? Probably not—it’s all very confusing (by simonw) — discussion

#vibecoding

Stay On Credits — Discover the best value for your points and travel credits (by kzisme) — discussion

#show #web

Announcing TypeScript 7.0 Beta (via uncenter) — discussion

#javascript #release

Building an Enterprise Homelab - Part 5: The Synology Btrfs Trap (via nogweii) — discussion

#hardware #linux

Switching from uv to PDM (via David-Guillot) — discussion

#python

I don't want your PRs anymore (by dpc_pw) — discussion

#practices #vibecoding

Framework Laptop 13 Pro: Intel Core Ultra 3 & LPCAMM2 (via jalcine) — discussion

#hardware