Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·2d
🎯Performance Proofs
Three Solutions to Nondeterminism in AI
blog.hellas.ai·9h·
Discuss: Hacker News
🎯Performance Proofs
All in on MatMul? Don’t Put All Your Tensors in One Basket!
sigarch.org·7h
⚡Homebrew CPUs
Who Invented the Johnson Decade Counter (and Why)?
eejournal.com·1h·
Discuss: Hacker News
⚡Homebrew CPUs
The Role of AI in Next-Gen Chip Design
dev.to·2d·
Discuss: DEV
⚙️Logic Synthesis
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·8h
📺VT100
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·11h·
Discuss: Hacker News
🧬Functional Programming
The Next Computing Revolution: Bringing Processing Inside Memory
computer.org·2d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Arcade Hardware Hacking: Part III
zdziarski.com·19h
🕹️Retro Gaming
2025 Hackaday Supercon: More Wonderful Speakers
hackaday.com·1d
⚙️DIY Electronics
Less Is More: Recursive Reasoning with Tiny Networks
github.com·6h·
Discuss: Hacker News
📊Quantization
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·17h
💨Cache Optimization
Beating the L1 cache with value speculation (2021)
mazzo.li·2d·
Discuss: Lobsters, Hacker News
⚡CPU Microarchitecture
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·17h
🧮Compute Optimization
Show HN: Blueprintor for Hardware Engineering
zima.run·1d·
Discuss: Hacker News
⚡Homebrew CPUs
Digital Counter Using Arduino| EEPROM Counter
hackster.io·8h
⚡Homebrew CPUs
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·3d·
Discuss: r/programming
⚡Cache Coherence
News for September 2025
ptreview.sublinear.info·4d
🧪Property-Based Testing
Toy Binary Decision Diagrams
philipzucker.com·2d
🧮Algebraic Datatypes
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·1d
🎯Proof Tactics