Learning Lean: Part 1 (via evmar) — discussion

#math #plt

mtr metrics (via jummo) — discussion

#networking #science

New "faux bus" API merged for Linux 6.14, including both Rust & C bindings (via jmillikin) — discussion

#linux

ArcaOS 5.1.1 released (modern OS/2) (via raymii) — discussion

#osdev #release

ACCESS.bus: The Forgotten USB Competitor (via GavinAnderegg) — discussion

#hardware #retrocomputing

New Junior Developers Can’t Actually Code (via spc476) — discussion

#a11y

What's in a ring buffer? And using them in Rust (via hwayne) — discussion

#compsci #rust

Swift Evolution Proposal: InlineArray, a fixed-size array (via mpweiher) — discussion

#swift

nes86: x86 emulation on the NES (via JordiGH) — discussion

#retrocomputing

Why I'm Writing a Scheme Implementation in 2025 (The Answer is Async Rust) (by mplant) — discussion

#compilers #lisp #plt #rust

Choosing a browser (by eligrey) — discussion

#browsers #philosophy #privacy #security

Debugging An Undebuggable App (via mtlynch) — discussion

#ios #security

How browsers really load Web pages (via jrgtt) — discussion

#browsers #performance #video

14 years of systemd (via calvin) — discussion

#historical #linux #systemd

The Mac Menubar and SwiftUI (via raymii) — discussion

#mac #swift

Accessible color palette tester (via sphinxc0re) — discussion

#a11y #css #web

Can I ethically use LLMs? (via carlana) — discussion

#ai #philosophy

Link in a box: Share Signal links on X without getting censored (by rafpast) — discussion

#privacy #show

Design/build of some elegant, fully parametric speaker cabinets (by naggie) — discussion

#hardware

0+0 > 0: C++ thread-local storage performance (via fanf) — discussion

#c #c++ #performance