The Dillo Appreciation Post (via wezm) — discussion

#browsers

A Scheme Shell (1994) (via veqq) — discussion

#lisp #pdf #unix

Lindenmayer Systems (by justinpombrio) — discussion

#art #math

Using candyfloss to do neural net inference (by bobpoekert) — discussion

#python #video

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4 (via lr0) — discussion

#ai #math

Every app you've built is an ETL pipeline (you just didn't call it that) (by Linell) — discussion

#ai #practices

Resurrecting _why's Dream (via gioele) — discussion

#ruby

Concrete syntax matters, actually (via isuffix) — discussion

#plt #video

AI makes you boring (via informal) — discussion

#ai #vibecoding

The Perils of ISBN (via jevinskie) — discussion

#science

Netbase a port of the netbsd utilities for linux (via jaypatelani) — discussion

#linux #netbsd

The Missing Semester of Your CS Education (2026) (by jonhoo) — discussion

#compsci #education #practices #unix

Choosing a Language Based on its Syntax? (by gingerBill) — discussion

#design #plt #programming

Using the Browser’s <canvas> for Data Compression (by jstrieb) — discussion

#browsers #javascript #web

Don’t Trust Packet Captures on Firewalls (via jummo) — discussion

#networking

Linux CVE assignment process (by gregkh) — discussion

#linux #security

Clinejection — Compromising Cline's Production Releases just by Prompting an Issue Triager (via mtlynch) — discussion

#security #vibecoding

Salt: Systems programming, mathematically verified (via munksgaard) — discussion

#plt

Fairstream (by amir) — discussion

#scala

Lilush: A static LuaJIT runtime with batteries (via fs111) — discussion

#lua