Human mathematicians are being outcounterexampled (via sanxiyn) — discussion

#math

Postgres 19 Compression: from pglz to LZ4 (via squadette) — discussion

#databases

SleeperGem: RubyGems supply chain attack targets dormant maintainer accounts (via noteflakes) — discussion

#ruby #security

Jacobian Conjecture from Wolfram MathWorld (via mitsuhiko) — discussion

#math #vibecoding

Personal Anthology of Goal Code (via veqq) — discussion

#apl

A Linux Kernel 0-day Journey - From a limited UAF to Physical Memory R/W (via fro) — discussion

#linux #security

Who needs a real-time database? (via veqq) — discussion

#apl #databases

Extending MVCC to be serializable, in TLA+ (2024) (via eatonphil) — discussion

#databases #formalmethods

A deep dive into my Forgejo setup (by Al3xFor) — discussion

#devops #show #systemd #vcs

Type Safe Servant Auth Roles (by solomon) — discussion

#api #haskell

InvisiCaps: The Fil-C Capability Model (via kwas) — discussion

#c #compilers

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (via jado) — discussion

#pdf #rust

7 Sandbox Escape Vulnerabilities Across 4 Coding Agent Vendors (by afogel) — discussion

#security #vibecoding

Using LLM-based Verification to Eliminate Bugs in Linux's Network Stack (via kirancodes) — discussion

#linux #security #vibecoding

Meta Garbage Collection: Using OCaml's GC to GC Rust (via annieversary) — discussion

#ml #rust

Gitolite (via matklad) — discussion

#practices #vcs

Building an AmigaOS Development Environment in 2026 (by jackdaniel) — discussion

#retrocomputing

JSON5E - JSON5 for Humans (by borisk) — discussion

#programming

ASK: What are you doing this week? (by caius)

#ask #programming

Minimal Git CI using hooks (via klingtnet) — discussion

#programming