On the Limits of Self-Improving in Large Language Models: The Singularity Is Not Near Without Symbolic Model Synthesis (via darccio) — discussion

#ai

Illegal vs Unwanted States (via ajdecon) — discussion

#formalmethods

Babylon and the Square Root of 2 (2011) (via Corbin) — discussion

#historical #math

The Best (Query) Plans of Mice and Men (by ohrv) — discussion

#databases #performance

The Bot Tax: Who's measuring the cost of our AI-assisted loops? (by dunyakirkali) — discussion

#practices #vibecoding

tasty-cache: Nix-style test caching for Haskell (by noon) — discussion

#haskell

Who Owns the Code Claude Wrote? (via pushcx) — discussion

#law

Bypassing DPI with eBPF, no VPN or proxy needed (by boratanrikulu) — discussion

#linux #networking #security

An update on GitHub availability (via martinald) — discussion

#vcs

HAL by any other name (by zarldev) — discussion

#ai #go #show

GitHub Actions is the weakest link (via untitaker) — discussion

#devops #security

High Performance Git (via heavyrain266) — discussion

#practices #vcs

FOSDEM 2026 - All FOSDEM 2026 videos are online (via larsw) — discussion

#event #video

jjj (by op) — discussion

#vcs

GTFOBins (via indigo) — discussion

#security

Building a threadiverse community platform (by hongminhee) — discussion

#distributed #web

Donating to open source (by kqr) — discussion

#culture

How I Broke the Anti-Bot Behind Nike, Kick, and Twitch (via vaguelytagged) — discussion

#javascript #reversing #rust

The woes of sanitizing SVGs (via Teckla) — discussion

#security #web

Fix Your Game's Input Latency (via andrewrk) — discussion

#games #graphics #video