Trust Deterministic Execution to Scale & Simplify Your Systems (via tomas) — discussion

#distributed #video

Library of Babel (via sunflowerseastar) — discussion

#web

Fedora Must (Carefully) Embrace Flathub (via calvin) — discussion

#linux

TODOs aren’t for doing (via carlana) — discussion

#programming

Detecting Organic Contaminants With Less Data (by MiraWelner) — discussion

#science

Anatomy of a SYN-ACK attack (via fanf) — discussion

#networking #security

Comparing the Glove80 and Maltron keyboards (by ltratt) — discussion

#hardware

OpenAI hallucinates silences as "ترجمة نانسي قنقر", meaning "Translation by Nancy Qunqar" (via BiteCode) — discussion

#ai

A Self-hosted, BSD-native Gemini Protocol Server Stack – The BSD Cafe Journal (via draga79) — discussion

#openbsd #web

Foreword for Fuzz Testing Book (via teymour) — discussion

#historical #testing

Semi-Automated Assembly Verification in Python using pypcode Semantics (via asb) — discussion

#formalmethods

devenv 1.8: Progress TUI, SecretSpec Integration, Listing Tasks, and Smaller Containers (via robinheghan) — discussion

#nix

A parser and interpreter for a very small language (via abhin4v) — discussion

#haskell #plt

A reckless introduction to Hindley-Milner type inference (via runxiyu) — discussion

#formalmethods #plt

Jujutsu For Busy Devs (via thombles) — discussion

#vcs

Sapling (via indigo) — discussion

#vcs

RFC 865: Quote of the Day Protocol (via cve) — discussion

#historical

Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad (via mccd) — discussion

#ai

Garbage Collection for Systems Programmers (via ucirello) — discussion

#programming

Vibe Coding Gone Wrong: 5 Rules for Safely Using AI (via duncan_bayne) — discussion

#vibecoding