The vi family (via fanf) — discussion

#editors

Go is FIPS 140-3 certified (via runxiyu) — discussion

#cryptography #go

Understanding Wi-Fi 4/5/6/6E/7/8 (802.11 n/ac/ax/be/bn) (via fanf) — discussion

#networking

A dispute over the TAB key between Microsoft and IBM organizational structures (via classichasclass) — discussion

#historical

krabby: making a fast Rust compiler (via aw1621107) — discussion

#compilers #rust

StarFighter 16-inch (via white-star) — discussion

#hardware

SLAM: s6/synit based NixOS (via vimpostor) — discussion

#nix #osdev

One week of view_types (via ana_glz) — discussion

#plt #rust

Comparing the Z80 and 6502 to Their Relatives (via hoistbypetard) — discussion

#hardware #retrocomputing

We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase (via ehamberg) — discussion

#plt #release

An exploitable integer overflow in Lix (CVE-2026-44028) (by raito) — discussion

#nix #security

Building my own Vi text editor in BASIC (via carlana) — discussion

#retrocomputing

RSS Feeds Send Me More Traffic Than Google (via repl) — discussion

#web

Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based (via eatonphil) — discussion

#plt #python

How not to format a private key (via runxiyu) — discussion

#cryptography

Why didn’t IPv6 work in my home network? (by gowthamgts) — discussion

#debugging #networking

claude code is not making your product better (via carlana) — discussion

#vibecoding

A bidirectional typechecking puzzle (by Gabriella439) — discussion

#plt

Tokens and Dreams (by coleifer) — discussion

#vibecoding

A Caddy Cert Expired Because systemd-resolved Was Selectively Broken (via robalex) — discussion

#devops #networking