Approximate first principal component (via mrpossoms) — discussion

#graphics #math

NVIDIA announced this week that they are bringing their CUDA software to RISC-V processors (via terryfilch) — discussion

#hardware

More than you wanted to know about how Game Boy cartridges work (via calvin) — discussion

#hardware

Monads as Graphs (2019) (via hwayne) — discussion

#haskell

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