⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

What’s the purpose of a theorem? (Hint: It’s not what you think.)
statmodeling.stat.columbia.edu·2d
⚔️Lean Theorem
Show HN: Rollback netplay for Game Boy emulator
blog.rekawek.eu·6h·
Discuss: Hacker News
🎯Emulator Accuracy
An intro to security, with eggs, please
binturo.ng·1d·
Discuss: Lobsters, Hacker News
🧮Archive Algebra
Serializable Isolation for Snapshot Databases
muratbuffalo.blogspot.com·4d·
Discuss: Hacker News
🔀CRDT
An AI tool I find useful
notes.billmill.org·1d·
Discuss: Lobsters, Hacker News
🪟Awesome windows command-line
Vibe coding: not worth the risk?
carly.substack.com·16h·
Discuss: Substack
🚀Indie Hacking
I Just Wanted a RAID Array
russ.har.mn·4d·
Discuss: Hacker News, r/selfhosted
💿ZFS Internals
How Rewriting Training Data Improved Kimi 2’s Performance
dbreunig.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
Boolean SHA256 with TFHE-rs (2023)
zama.ai·3d·
Discuss: Hacker News
🔢Bitwise Algorithms
Intel CEO Letter to Employees
morethanmoore.substack.com·4d·
Discuss: Substack, r/hardware
🖥️Terminal Renaissance
ZSE-Cap: A Zero-Shot Ensemble for Image Retrieval and Prompt-Guided Captioning
arxiv.org·14m
📊Multi-vector RAG
Machine Learning Fundamentals: hyperparameter tuning
dev.to·2d·
Discuss: DEV
📊Feed Optimization
Understanding Proxies: What, Why, and How to Build One in Go
dev.to·1d·
Discuss: DEV
⚡gRPC
CLEAR: Unlearning Spurious Style-Content Associations with Contrastive LEarning with Anti-contrastive Regularization
arxiv.org·1d
📊Learned Metrics
The Dev Team's Guide to Sprint Planning Without the Agile Jargon
dev.to·18h·
Discuss: DEV
📏Code Metrics
Automated Brake Onset Detection in Naturalistic Driving Data
arxiv.org·4d
🔄Finite State Machines
KL-001-2025-016: Xorux LPAR2RRD File Upload Directory Traversal
seclists.org·4h
💣ZIP Vulnerabilities
On Arbitrary Predictions from Equally Valid Models
arxiv.org·1d
🧠Machine Learning
The Recursive Coherence Principle: A Formal Constraint on Scalable Intelligence, Alignment, and Reasoning Architecture
arxiv.org·6d
🧠Intelligence Compression
Bulletproof Go: Security Practices That Actually Work 🔐
dev.to·3d·
Discuss: DEV
🧪CBOR Fuzzing