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

An update on upki (via freddyb) — discussion

#cryptography #linux #web

Tuple Spaces (via sebastien) — discussion

#compsci #databases #distributed #logiclangs

Monitoring Data-Dependent Temporal Patterns (by agnishom) — discussion

#formalmethods

C++26: std::is_within_lifetime (via raymii) — discussion

#c++

CEL by Example (via stefanvanburen) — discussion

#programming

how openai, the US government, and persona built an identity surveillance machine that files reports on you to the feds (via kriive) — discussion

#reversing #security

Ditching Discord (by icefox) — discussion

#networking

Top 20 worldwide with social-engineering and a cheat that's still undetected (via deejayy) — discussion

#games

DBML: DSL for easily creating ER diagrams (via rebeca) — discussion

#databases

Self-hosting my websites using bootable containers (by yorickpeterse) — discussion

#devops #linux

Notes on clarifying man pages (via calvin) — discussion

#practices