Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·2d
🔧Hardware Verification
Three Solutions to Nondeterminism in AI
blog.hellas.ai·6h·
Discuss: Hacker News
🎯Performance Proofs
Digital Counter Using Arduino| EEPROM Counter
hackster.io·6h
⚡Homebrew CPUs
64GB RDIMMs that work with Supermicro H12ssl-I
reddit.com·5h·
Discuss: r/homelab
⚡Circuit Archaeology
2025 Hackaday Supercon: More Wonderful Speakers
hackaday.com·1d
⚙️DIY Electronics
We built a CUDA emulator that profiles GPU code with zero hardware
rightnowai.co·1d·
Discuss: Hacker News
🎯Emulator Accuracy
VU GPSDR: An RTL-SDR Expansion Board for the Vivid Single Board Computer
rtl-sdr.com·9h
🔌Single Board PC
All in on MatMul? Don’t Put All Your Tensors in One Basket!
sigarch.org·4h
⚡Homebrew CPUs
Enhancing Landing Gear Drop Test Simulation Accuracy via Adaptive Material Model Calibration
dev.to·22h·
Discuss: DEV
⚙️Cassette Mechanics
My time at Oracle: functional and design specification reviews
smalldatum.blogspot.com·1d·
Discuss: smalldatum.blogspot.com
💾Persistence Strategies
Side project - MV864A restoration - reverse engineering power supply section
rescue1130.blogspot.com·1d·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
Toy Binary Decision Diagrams
philipzucker.com·2d
🧮Algebraic Datatypes
SAT problems are kind of cool
blog.karanjanthe.me·2h·
Discuss: Hacker News
🧮SMT Solvers
Arcade Hardware Hacking: Part III
zdziarski.com·16h
🕹️Retro Gaming
The Chip That Spoke Lisp
jxself.org·1d
🤖Lisp Machines
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·6h
📺VT100
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·9h·
Discuss: Hacker News
🧬Functional Programming
How we trained an ML model to detect DLL hijacking
securelist.com·2d
🔗Binary Similarity
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·14h
🧮Compute Optimization
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·1d
🔓Decompilation