Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·11h·
Discuss: Hacker News
⚡Hardware Transactional Memory
How to Benchmark Classical Machine Learning Workloads on Google Cloud
towardsdatascience.com·4h
⚡Performance Mythology
New Keeb
theworksofegan.net·4h
⌨️Mechanical Keyboards
The Limits of NTP Accuracy on Linux
scottstuff.net·12h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🎯Emulator Accuracy
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Back to the 90s on Real Hardware
hackaday.com·2d
🕹️Retro Gaming
This is an excellent patch review by an expert, i.e., Thomas :) And it should be like this. Oh, a few days back I saw one from Greg too, a similar kind.... in t...
lore.kernel.org·19h·
Discuss: r/linux
🔌Operating system internals
How I Approach Performance Investigations – By Rico Mariani
ricomariani.medium.com·1d·
Discuss: Hacker News
🎯Performance Forensics
RTL generation for custom CPU Mrav
popovicu.com·2d
⚙️Modern Assembly
Reverse Engineered Raspberry Pi Compute Module 5
github.com·1d·
Discuss: Hacker News
🔌Single Board PC
Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com·3d·
Discuss: Substack
🖥️Game Emulation
The Framework Desktop and Linux have shown me the path to PC gaming in the living room
theverge.com·1d
🔌Operating system internals
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·9h·
Discuss: DEV
🔒Type Safety
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·1h·
Discuss: Hacker News
🦀Rusty Databases
Quality Precision
lesswrong.com·7h·
Discuss: Hacker News
✅FLAC Verification
ColecoVision: The Shooting Gallery Platform Layer
bumbershootsoft.wordpress.com·2d
🎮Gameboy Emulation
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·11h
🧮Kolmogorov Bounds
Stable, Mutable References for Ante
antelang.org·12h·
Discuss: Hacker News, r/programming
🔒Type Safety
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·11h·
Discuss: Hacker News
✅Format Verification
86Box 5.0
86box.net·1d·
Discuss: Hacker News
🕸️WASM Archives