The Tree Borrows paper is finally published (via soareschen) — discussion

#formalmethods #plt #rust

Frame of preference – A history of Mac settings, 1984–2004 (via kastor) — discussion

#historical #mac

toml v0.9 (via BD103) — discussion

#rust

Phrase origin: Why do we “call” functions? (via abhin4v) — discussion

#historical #plt

Agents don't have agency (by kevinc) — discussion

#vibecoding

Hippocratic License (via briankung) — discussion

#law

AoC 2021 Day 1 using Ivy (5m00) (via dzwdz) — discussion

#apl #video

systemd has been a complete, utter, unmitigated success (via nogweii) — discussion

#linux

C3 0.7.3 - Small improvements (by clerno) — discussion

#c #compilers #programming

AI Hallucination Cases Database (via dgv) — discussion

#law #vibecoding

IBM Power11 hits the market this month (via raymii) — discussion

#hardware

CVE-2025-48384: Breaking git with a carriage return and cloning RCE (via raymii) — discussion

#security #vcs

Multiple vulnerabilities fixed in Git (via lattera) — discussion

#security #vcs

Announcing FOKS, the Federated Open Key Service (via apg) — discussion

#cryptography

Mastering Postgres Replication Slots: Preventing WAL Bloat and Other Production Issues (via rmoff) — discussion

#databases

Which Kubernetes is the Smallest? Examining Talos Linux, K3s, K0s, and More (by jgarr) — discussion

#distributed #linux

bitchat is a decentralized, peer-to-peer messaging application that operates over Bluetooth Low Energy (BLE) mesh networks (via lproven) — discussion

#programming

Customize your keyboard shortcuts in Chrome with a Chrome extension (by taupiqueur) — discussion

#browsers #show #vim

Deterministic Simulation Testing in Rust: A Theater Of State Machines (via eatonphil) — discussion

#databases #distributed #rust #testing

How I ensure every Daily Q-less puzzle is solvable (via hwayne) — discussion

#games