⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Magic LEDs
revk.uk·1d·
Discuss: www.revk.uk
⚡Homebrew CPUs
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·10h
🌊Stream Processing
Avalue EPC-ASL Intel N97 fanless industrial mini PC is designed for 24/7 operation
cnx-software.com·1d
🔌Single Board PC
Coreboot 25.09 Released With 19 More Motherboards Supported, Better amdfwtool For Turin
phoronix.com·9h
🔌Operating system internals
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
English - the hottest programming language of the future
dev.to·16h·
Discuss: DEV
🔄Language Evolution
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·14h·
Discuss: DEV
🔍Concolic Testing
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·12h·
Discuss: DEV
⚙️Proof Engineering
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·1d
📞Session Types
The Linus Method: How we simiplifed RFC reviews
devashish.me·17h·
Discuss: Hacker News
⚙️Proof Engineering
Building with AI: How a Nigerian Engineer Is Simplifying Solar Energy Decisions
hackernoon.com·1d
⚡Incremental Computation
Effective and Stealthy One-Shot Jailbreaks on Deployed Mobile Vision-Language Agents
arxiv.org·1d
🕵️Vector Smuggling
Intent Weaving for AI Coding Agents
autohand.ai·1d·
Discuss: Hacker News
⚡Proof Automation
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Haskell Weekly Issue 493
haskellweekly.news·2d·
Discuss: Hacker News
🧬Functional Programming
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·12h·
Discuss: Hacker News
🎯Performance Proofs
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Intel Fab 52 in Chandler Arizona is Running 18A
servethehome.com·1d·
Discuss: Hacker News
🧲RISC-V Preservation
Intel signals strong comeback with next-gen Core Ultra 3 and Xeon 6+ chips
techspot.com·1d
🖥️Terminal Renaissance