64. How we prevent conflicts in authoritative DNS configuration using formal verification Lobste Comment
73. How a BBC navigation bar component broke depending on which external monitor it was on Lobste Comment
88. Optimization adventures: making a parallel Rust workload 10x faster with (or without) Rayon Lobste Comment
115. Hyper-encryption [Provably unbreakable hyper-encryption in the limited access model] Lobste Comment
151. You Can''t Build Interactive Web Apps Except as Single Page Applications... And Other Myths Lobste Comment
162. I''ve been working on a borrow checker for C... (also statically makes sure free calls happen etc.) Lobste Comment
190. watermark-anything: Official implementation of the paper "Watermark Anything with Localized Messages" Lobste Comment
202. No News is Good News: Using AI to auto skip the news on catch-up radio - djhworld Lobste Comment
212. Dijkstra’s Rallying Cry for Generalization: The Advent of the Recursive Procedure, late 1950s — early 1960s Lobste Comment
223. PostgreSQL "timestamp with time zone"s set in the future may become silently incorrect if DST abolished Lobste Comment
230. 3rd edition of Ross Anderson’s Security Engineering book now freely available for download Lobste Comment
284. New website for kmx.io, entirely written in KC3 a graph oriented programming language Lobste Comment
287. Homemade GPT JS - A minimal TensorFlow.js re-implementation of Karpathy''s minGPT Lobste Comment