TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·3d·
Discuss: Lobsters, Hacker News
🔧Hardware Verification
01 Getting Started with the Trenz TE0950 Board
hackster.io·5h
⚡Homebrew CPUs
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
Simulating the Commodore PET
hackaday.com·10h
🎮Gameboy Emulation
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
FPGA-based Game Bub handheld console supports original Nintendo cartridge, wireless controllers (Crowdfunding)
cnx-software.com·15h
🎮Gameboy Emulation
d-Matrix Corsair In-Memory Computing For AI Inference at Hot Chips 2025
servethehome.com·17h
⚡Cache Coherence
Optimized FPGA-Based Low-Noise Amplifier Pipeline for Millimeter-Wave ET PA Systems
dev.to·3d·
Discuss: DEV
⚡Circuit Verification
Apple Silicon USB3 Support [RFC]
lore.kernel.org·11h·
Discuss: Hacker News
🔌Operating system internals
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·4h
🌳Archive Merkle Trees
RTL generation for custom CPU Mrav
popovicu.com·3d
⚙️Modern Assembly
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·2d·
Discuss: Hacker News
✅Format Verification
HP EliteDesk 800 G3 Mini RAM upgrade
reddit.com·3h·
Discuss: r/homelab
🗃️Punch Card Recovery
Developer Spotlight: Drivers of Innovation – The Chowmain Way
blogs.qsc.com·19h
🔌Interface Evolution
Windows 11 Driver is Available for HDD ROM Chip Pin Reader
dolphindatalab.com·2h
🎮Cartridge Dumping
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·2d·
Discuss: Hacker News
⚡Hardware Transactional Memory
State-of-the-art image generation Leonardo models and text-to-speech Deepgram models now available in Workers AI
blog.cloudflare.com·1h
🎙️Whisper
QEMU 10.1.0
wiki.qemu.org·4h·
Discuss: Hacker News
🕸️WASM Archives
Sony’s Triple Seven
leadedsolder.com·1d
🕹️Retro Gaming
My Current AI Dev Workflow
steipete.me·2d
⚡Proof Automation