Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·2h·
Discuss: Hacker News
⚡Hardware Transactional Memory
The Limits of NTP Accuracy on Linux
scottstuff.net·2h·
Discuss: Lobsters, Hacker News
🎯Emulator Accuracy
Back to the 90s on Real Hardware
hackaday.com·2d
🕹️Retro Gaming
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·16h
🧪Binary Fuzzing
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·10h·
Discuss: r/linux
🔌Operating system internals
How I Approach Performance Investigations – By Rico Mariani
ricomariani.medium.com·19h·
Discuss: Hacker News
🎯Performance Forensics
RTL generation for custom CPU Mrav
popovicu.com·1d
⚙️Modern Assembly
Reverse Engineered Raspberry Pi Compute Module 5
github.com·19h·
Discuss: Hacker News
🔌Single Board PC
The Framework Desktop and Linux have shown me the path to PC gaming in the living room
theverge.com·1d
🔌Operating system internals
Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com·3d·
Discuss: Substack
🖥️Game Emulation
ColecoVision: The Shooting Gallery Platform Layer
bumbershootsoft.wordpress.com·1d
🎮Gameboy Emulation
Stable, Mutable References for Ante
antelang.org·2h·
Discuss: Hacker News, r/programming
🔒Type Safety
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·1h·
Discuss: Hacker News
✅Format Verification
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·2h
🧮Kolmogorov Bounds
86Box 5.0
86box.net·1d·
Discuss: Hacker News
🕸️WASM Archives
My VL-Bus i486 board lives! I’m incredibly happy
rubenerd.com·1d
⚡Circuit Archaeology
8BitDo 64 Bluetooth Controller Review: For Human Hands
wired.com·1d
🕹️Retro Gaming
OpenBSD Hackathon Leipzig 2025: Qt6 Fixes, KDE PIM, and C++26 Updates
discoverbsd.com·8h
🔍eBPF
UnderColor’s spiral challenge from 1984 – part 3
subethasoftware.com·3d
📺VT100
Evaluation of Hashing Algorithms Ascon, SHA256, SHA512 and BLAKE3 on a Cortex M7
aa55.dev·23h·
Discuss: Hacker News
🦾ARM Cortex-M