TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·1d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
RP2040 Assembly Language Mix and Match
hackaday.com·15h
🔧RISC-V Assembler
Sound and Solution-Complete CCBS
arxiv.org·13h
🛡️Archive Verification
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·3h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Computer Architecture Lessons from the Kitchen
sigarch.org·3h
🧮Algorithmic Cooking
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·1h·
Discuss: DEV
🔒Type Safety
When functions dissolve
rubber-duck-typing.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·7h
🤝Paxos Consensus
Code does not lie
nocomplexity.com·9h
🔒Language-based security
Reassembly of the 1132 printer - part 7
rescue1130.blogspot.com·1d·
Discuss: rescue1130.blogspot.com
🔄Document Workflows
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d
🔗Functional Compilers
RTL generation for custom CPU Mrav
popovicu.com·2d
⚙️Modern Assembly
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·3h·
Discuss: Hacker News
✅Format Verification
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·1d·
Discuss: Lobsters, Hacker News
⚡Cache Coherence
Capture Checking in Scala
nrinaudo.github.io·12h·
Discuss: Hacker News
🧪Binary Fuzzing
Context Engineering: Bringing Engineering Discipline to Prompts—Part 3
oreilly.com·7h
🔄Archival Workflows
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·3h·
Discuss: Hacker News
⚡Proof Automation
My VL-Bus i486 board lives! I’m incredibly happy
rubenerd.com·1d
⚡Circuit Archaeology
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·17h
🧪Binary Fuzzing
Teaching programming languages
kmjn.org·5h
💻Programming languages