⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

MetaGreenData: Making Code More Sustainable, One Metadata File at a Time
software.ac.uk·43m
🦋Format Metamorphosis
Scaling AI Inference at the Edge With Distributed PostgreSQL
thenewstack.io·19h
🤝Distributed Consensus
Intelligence Brief - Exploitation of Microsoft Vulnerability CVE-2025-53770
cstromblad.com·4h
🎫Kerberos Exploitation
Stop Paying for Free Monads • Mark Hopkins • YOW! 2016
youtube.com·23h
🔀Category Theory
Five things you need to know about AI right now
technologyreview.com·11h
🔲Cellular Automata
iMessage integration in Claude can hijack the model to do anything
generalanalysis.com·1d·
Discuss: Hacker News
🌐DNS Security
Gren 25S: Easier interop, concurrent tasks and zero-install packages
gren-lang.org·1d·
Discuss: Lobsters, Hacker News
🐚Nordic Shell
Zelda64Recomp/Zelda64Recomp
github.com·10h
📼Retro Games
An Introduction to GPU Profiling and Optimization
bitsand.cloud·2d·
Discuss: Hacker News, r/programming
📊Performance Profiling
Analysis of Casey Muratori – The Big Oops: Anatomy of a Thirty-Five-Year Mistake
posrodnas.bearblog.dev·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
How To Significantly Enhance LLMs by Leveraging Context Engineering
towardsdatascience.com·10h
🔗Constraint Handling
Debian 13.0 Ready To Introduce Formal RISC-V Support But Still Bound By Slow Hardware
phoronix.com·2d·
Discuss: Hacker News
🔍RISC-V Debug
How to Run a Hugging Face Model in Jax (Part 1)
huggingface.co·2d·
Discuss: Hacker News
⬆️Lambda Lifting
From Neurons to Semantics: Evaluating Cross-Linguistic Alignment Capabilities of Large Language Models via Neurons Alignment
arxiv.org·7h
🧮Kolmogorov Complexity
BCM ESM-HRPL COM-HPC Client Size C module supports up to 24-core Intel Core i9-14900K CPU
cnx-software.com·1d
🚀RISC-V Vector
MEKiT: Multi-source Heterogeneous Knowledge Injection Method via Instruction Tuning for Emotion-Cause Pair Extraction
arxiv.org·7h
🧠Intelligence Compression
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
deepmind.google·19h·
Discuss: Lobsters, Hacker News
🧮SMT Solvers
You Have to Decide
tern.sh·15h·
Discuss: Hacker News
📏Code Metrics
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·4d
🛡️Proof-Carrying Archives
Forcing Myself to Vibe Code
kevinhighwater.com·18h·
Discuss: Hacker News
⚔️Lean Tactics