Herbie: optimize floating-point expressions (via hwayne) — discussion

#math

Understanding orphan sections (via vi_mi) — discussion

#linux

Why Do Electronic Components Have Such Odd Values? (via fanf) — discussion

#hardware #science

Fixing USB-C charging on the PowKiddy V90 for $0.01 (via raymii) — discussion

#hardware

Running Linux on an ancient Netbook (via raymii) — discussion

#linux

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers (via fanf) — discussion

#compilers

bddbddb: Using Datalog with Binary Decision Diagrams for Program Analysis (via fanf) — discussion

#compilers #pdf

Import dhcp6leased(8) (via bink) — discussion

#openbsd

GPU-Puzzles: Solve puzzles. Learn CUDA (via av) — discussion

#graphics

the PyPy "known bits" JIT optimization (via Corbin) — discussion

#compilers #formalmethods #performance #python

A DSL for Implementing Math Functions (via Moonchild) — discussion

#compilers #compsci

The Road Less Scheduled (via chrislloyd) — discussion

#ai #pdf

How I made a 3D Level in a 2D Game (via gmem) — discussion

#games #video

Rethinking the Mathematics of Attention Mechanism (via lukas1994) — discussion

#ai

Solving Zelda with the Antithesis SDK (via gmcabrita) — discussion

#testing

Encryption At Rest: Whose Threat Model Is It Anyway? (via lcapaldo) — discussion

#cryptography #security

really divisionless random numbers (via PhantomZorba) — discussion

#math #performance

Regular, Recursive, Restricted (by matklad) — discussion

#plt

Proposal: terraform plan -light (by ricardbejarano) — discussion

#devops

Bcrypt at 25: A Retrospective on Password Security (via fanf) — discussion

#security