1000 third parties could have stolen RIPE NCC session tokens - by design (via fanf) — discussion

#security

Scroll-Driven Animations (via eaj) — discussion

#css #web

Multi-stroke text effect in CSS (via fanf) — discussion

#design

We're Not Building AI Features for the Money (via diktomat) — discussion

#editors #vcs #vibecoding

Programming Is Real Engineering, And AI Proves It (via abhin4v) — discussion

#practices #vibecoding

A new filesystem for pidfds (via runxiyu) — discussion

#linux

Emacs Completion Showcase with VOMPECCC (video) (by chiply) — discussion

#emacs #lisp

iPhone dumbphone (via adampetrovic) — discussion

#ios

Working was the beginning (by themackabu) — discussion

#javascript

Principia Softwarica (via runxiyu) — discussion

#osdev

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