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

Paged Out! #8 (via Toric) — discussion

#pdf #security

pg-here: Run a local PostgreSQL instance in your project folder with one command (via hongminhee) — discussion

#databases

Permissive, then restrictive: concrete solutions and examples in Haskell (2020) (via abhin4v) — discussion

#haskell

State of Clojure 2025 Results (via adityaathalye) — discussion

#clojure #practices