⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

HigherOrderCO/HVM3
github.com·8h
🔗Functional Compilers
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·18h·
Discuss: Hacker News
⚡Proof Automation
Scheme Basics
courses.cs.washington.edu·21h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·8h·
Discuss: DEV
✨Effect Handlers
Building the Chiplet Ecosystem – By Austin Lyons
chipstrat.com·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
FFmpeg 8.0 Released
ffmpeg.org·6h·
Discuss: Hacker News
🎬AV1 Encoding
Cybersecurity Snapshot: Industrial Systems in Crosshairs of Russian Hackers, FBI Warns, as MITRE Updates List of Top Hardware Weaknesses
tenable.com·20h
🔓Hacking
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·17h
🔗Tailscale
How many SPARCs is too many SPARCs?
thejpster.org.uk·3d
🔌Operating system internals
Fearless Programming with Rust
infoq.com·1d·
Discuss: Hacker News
🦀Rust Macros
Racket 8.18 Released
blog.racket-lang.org·1d·
Discuss: Hacker News
🧠Lisp Dialects
Comprehensive MCP Security Checklist: Protecting Your AI-Powered Infrastructure
lab.wallarm.com·1d
🛡️CLI Security
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
A visual history of Visual C++
malsmith.net·6h·
Discuss: Hacker News
🕸️WASM Archives
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Without the Futex, It's Futile
h4x0r.org·3d·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
Learn every individual feature your CPU supports with SpecSeek
github.com·15h·
Discuss: Hacker News
⚡Performance Tools
Hacker and Physicist – A Tale of "Common Sense"
supasaf.com·18h·
Discuss: Hacker News
🔐Cryptographic Archaeology
How SeatGeek eliminated flaky container builds with a custom Buildkit operator
chairnerd.seatgeek.com·21h·
Discuss: Hacker News
📦Container Security
Building Castles in the Air, but With Surprise Physics
dbreunig.com·1d
⚙️Proof Engineering