Formal methods and the future of programming (via nextos) — discussion

#formalmethods

How I made a 60fps Eink monitor, the Modos Flow (via clean-rope5995) — discussion

#hardware #performance #video

AI Agent Bankrupted Their Operator While Trying to Scan DN42 (via pyfisch) — discussion

#devops #networking #vibecoding

yserver: A modern X11 server written from scratch in Rust (via alemi) — discussion

#linux

Faking keyword arguments to functions in C++ (via raymii) — discussion

#c++

Homebrew 6.0.0 (via lilac) — discussion

#release

Encrypted Spaces (via rcoder) — discussion

#cryptography

Bab: a family of hashing functions for p2p networks (via dustyweb) — discussion

#distributed #plt

Local-First Software Is Easier to Scale (by elijahpotter) — discussion

#performance

Hundreds of AUR packages attacked by infostealer (via vivicat) — discussion

#linux #security

Software Is Made Between Commits (via dayanruben) — discussion

#vibecoding

Those old modem upgrades (via abnercoimbre) — discussion

#historical #networking

There Is Life Before and After Main in Rust (by mmastrac) — discussion

#rust

agent-shell 0.55 updates (by xenodium) — discussion

#emacs #vibecoding

merman: Mermaid.js, but headless, in Rust (via wofo) — discussion

#graphics #rust

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation (via amw-zero) — discussion

#formalmethods #osdev #security #virtualization

Reuse Less Software (by icefox) — discussion

#programming #security

our workplace LLM mass delusion (via FedericoSchonborn) — discussion

#vibecoding

Lets Encrypt June ToS Update: no more for US sanctioned people (via gnunicorn) — discussion

#pdf #security

CVE-2026-45257: LPE in FreeBSD via kTLS-RX (via dgst) — discussion

#security