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

Rolling the root key (via raymii) — discussion

#security

Agent MetaSKILLs (by jedisct1) — discussion

#ai #vibecoding

minipgp6: A very lean interpretation of modern OpenPGP (via 7tehdt3cnw6kir6o) — discussion

#cryptography #security