95 reasons for having your own website (via thang) — discussion

#philosophy #web

Using a SSH bastion, but only when I'm touching grass (by evert) — discussion

#networking

Secrets Don’t Belong in Config (via alurm) — discussion

#nix #security

An informal tutorial on Joy (via veqq) — discussion

#plt

Opaque, Interoperable Passkey Records (via mantej) — discussion

#cryptography #security

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