Introducing swift-erlang-actor-system (via ehamberg) — discussion

#erlang #swift

Asymmetry of verification and verifier’s law (via kaycebasques) — discussion

#ai #formalmethods

P Verified (via hwayne) — discussion

#distributed #formalmethods

Tailwind is the Worst of All Worlds (via wuz) — discussion

#css #javascript #web

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