⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Announcing <code>rv</code> 0.2
andre.arko.net·3d
🧲RISC-V Preservation
Secondhand embarrassment
robinsloan.com·2d
🦀Rust Macros
iOS Development with Visual Studio Code: Step-by-Step Setup Guide
dogancan.dev·15h·
Discuss: Hacker News
🐚Nordic Shell
Don't Do Live Demos, Do Live-Looking Demos
utkusen.substack.com·3h·
Discuss: Substack
📼Tape Emulation
On the Psychology of AI People
thealgorithmicbridge.com·7h
🔲Cellular Automata
Generative AI Systems Miss Vast Bodies of Human Knowledge, Study Finds
slashdot.org·1h
🌍Cultural Algorithms
LLMs and the Lessons We Still Haven't Learned
jampa.dev·1d·
Discuss: Hacker News
🌀Brotli Internals
I wrote a guide on migrating a Hyper-V VM to Proxmox
reddit.com·11h·
Discuss: r/homelab
💿Proxmox HA
🧩 The Future of Web3 Is Composable, and It’s Powered by Haveto
dev.to·7h·
Discuss: DEV
🖥️Self-hosted Infrastructure
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·4d·
Discuss: r/programming
🧠Lisp Dialects
Rethinking Entropy Interventions in RLVR: An Entropy Change Perspective
arxiv.org·15h
📈Entropy Estimation
Does LLM Focus on the Right Words? Diagnosing Language Bias in LLM-based Recommenders
arxiv.org·15h
🎯Content Recommendation
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·7h·
Discuss: DEV
🚀Indie Hacking
Algebra Problems of the Day (Algebra Regents, August 2025 Part I)
mrburkemath.blogspot.com·5h·
Discuss: www.blogger.com
📐Interval Arithmetic
Next steps for BPF support in the GNU toolchain
lwn.net·6d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·4d
📋Document Grammar
Unlocking the Power of AI in Your Development Workflow: Practical Insights and Tools
dev.to·18h·
Discuss: DEV
🔄Language Evolution
Safety Analysis of eVTOL Operations based on STPA
arxiv.org·1d
🔐Capability Systems
Title: How I built a lightweight runtime stability layer for AI agents
dev.to·2d·
Discuss: DEV
👁️System Observability
How to Build Modular AI Personalities with LuminoraCore v1.0
dev.to·2d·
Discuss: DEV
🎯Gradual Typing