setting up the atkey.pro usb fingerprint reader in linux -- this should also work for any fido2 u2p usb fingerprint reader; maybe even those $20 ones (by posix_cowboy) — discussion

#hardware #linux

What are Senders Good For, Anyway? (2024) (via hmpc) — discussion

#c++

Making Gamedev Tooling For Windows 3.1 in Turbo C++ (via linkdd) — discussion

#games #programming #retrocomputing #video

Value numbering (via asb) — discussion

#compilers

The Cathedral, the Bazaar, and the Winchester Mystery House (via mpweiher) — discussion

#vibecoding

Mathematical methods and human thought in the age of AI (via ashwinsundar) — discussion

#ai #culture #philosophy

CVA6-CFI: A First Glance at RISC-V Control-Flow Integrity Extensions (via fro) — discussion

#hardware #pdf #security

The nvim-treesitter repository was archived (via rwdf) — discussion

#editors #programming #vim

ASK: Where can I find the old internet? (by kghose)

#ask #culture

Embarrassingly Simple Self-Distillation Improves Code Generation (via mpweiher) — discussion

#ai

Absurd In Production (via facundoolano) — discussion

#databases

Why Lean? (via hongminhee) — discussion

#plt

Legibility is Ruining You (via banana_oatmeal) — discussion

#culture

The Feature That Has Never Worked · A broken auto-live poller, and what perceived urgency does to Claude Code (by cmeiklejohn) — discussion

#ai

Your code is worthless (via dhruvp) — discussion

#programming

Functional Algorithms, Verified (via nextos) — discussion

#formalmethods #pdf #plt

c89cc.sh - standalone C89/ELF64 compiler in pure portable shell (via olliej) — discussion

#plt

Private Open Source (via robey) — discussion

#culture #philosophy

A Proposal for Voluntary AI Disclosure in OCaml Code (via cjr) — discussion

#ml #vibecoding

Rails on the BEAM (via soulcutter) — discussion

#elixir #javascript #ruby