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

Working on a Programming Language in the Age of LLMs (by refaktor) — discussion

#programming

Automating Away Claude's Bad Habits with Hooks | Write-Ahead (b)Log (via maduggan) — discussion

#vibecoding