⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Scaling AI Inference at the Edge With Distributed PostgreSQL
thenewstack.io·13h
🤝Distributed Consensus
Stop Paying for Free Monads • Mark Hopkins • YOW! 2016
youtube.com·17h
🔀Category Theory
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·18h·
Discuss: Lobsters, Hacker News
🐚Nordic Shell
Analysis of Casey Muratori – The Big Oops: Anatomy of a Thirty-Five-Year Mistake
posrodnas.bearblog.dev·20h·
Discuss: Hacker News
🧲RISC-V Archaeology
The Missing Guide to Prompt Engineering
appetals.com·20h·
Discuss: Hacker News
🧠Intelligence Compression
An Introduction to GPU Profiling and Optimization
bitsand.cloud·1d·
Discuss: Hacker News, r/programming
📊Performance Profiling
How To Significantly Enhance LLMs by Leveraging Context Engineering
towardsdatascience.com·5h
🔗Constraint Handling
My first homelab: specs, project ideas and what I did so far
preview.redd.it·16h·
Discuss: r/homelab
🏠HomeLab
Forcing Myself to Vibe Code
kevinhighwater.com·12h·
Discuss: Hacker News
⚔️Lean Tactics
Enhancing Natural Language Inference Performance with Knowledge Graph for COVID-19 Automated Fact-Checking in Indonesian Language
arxiv.org·1h
⚡Proof Automation
An Overview of the Risk-based Model of AI Governance
arxiv.org·1h
🌍Cultural Algorithms
Robust Control with Gradient Uncertainty
arxiv.org·1h
✨Effect Handlers
Pico-ITX SBC features Intel Processor N150 or Core 3 N355 Twin Lake CPU, DDR5 SO-DIMM memory slot
cnx-software.com·19h
🔌Operating system internals
Learning to Gridize: Segment Physical World by Wireless Communication Channel
arxiv.org·1h
🧠Machine Learning
Robots for Kiwifruit Harvesting and Pollination
arxiv.org·1h
🤖Tape Automation
From Neurons to Semantics: Evaluating Cross-Linguistic Alignment Capabilities of Large Language Models via Neurons Alignment
arxiv.org·1h
🧮Kolmogorov Complexity
Debian 13.0 Ready To Introduce Formal RISC-V Support But Still Bound By Slow Hardware
phoronix.com·1d·
Discuss: Hacker News
🔍RISC-V Debug
MEKiT: Multi-source Heterogeneous Knowledge Injection Method via Instruction Tuning for Emotion-Cause Pair Extraction
arxiv.org·1h
🧠Intelligence Compression
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
deepmind.google·13h·
Discuss: Lobsters, Hacker News
🧮SMT Solvers