Bayleaf: Building a low-profile wireless split keyboard (via jmillikin) — discussion

#hardware

Lean 4, release v4.17.0 (via ehamberg) — discussion

#formalmethods #release

Encoding Hangeul, Koreas writing system (via Arya) — discussion

#programming

Miners on CI/CD pipelines for Drone/Gitlab servers with open registrations (by blacklight) — discussion

#security

Tailscale is pretty useful (by frontsideair) — discussion

#networking

Why fastDOOM is fast (via calvin) — discussion

#performance

HYTRADBOI 2025 postmortem (by jamii) — discussion

#event

Meet Rayhunter: A New Open Source Tool from EFF to Detect Cellular Spying (via johnk) — discussion

#security

Solving SICP (via veqq) — discussion

#compsci #lisp

Performance optimization, and how to do it wrong (via itamarst) — discussion

#performance #rust

The Hierarchy of Hazard Controls (by hwayne) — discussion

#practices

Triangle of Separation (via edwardloveall) — discussion

#practices

Performance Debugging with llvm-mca: Simulating the CPU (via itamarst) — discussion

#performance

The Web Should Be A Conversation (by SoapDog) — discussion

#web

How To Test And Measure Content In UX (via MatheusRich) — discussion

#design

hue.tools: An open source toolbox for colors (via MatheusRich) — discussion

#design

Thaiger Sprint 2025: Starring H2O, the HTTP server (& dropping Nginx) (by toastal) — discussion

#event #nix #web

Falsehoods programmers believe about languages (via calvin) — discussion

#programming

Avoid the nightmare bicycle (via kevincox) — discussion

#design

TigerBeetle Architecture (by matklad) — discussion

#databases #distributed #zig