⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Michael Kohn - tin can phone modem
mikekohn.net·1d
🧪Cassette Hacks
A Casio Toy Synth Is Ready To ROCK!
hackaday.com·8h
🎵Gameboy Sound
SAT problems are kind of cool
blog.karanjanthe.me·3d·
Discuss: Hacker News
🧮SMT Solvers
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·15h·
Discuss: Hacker News
🎯Proof Tactics
VLLM Predicted Outputs
cascadetech.ai·1d·
Discuss: Hacker News
💻Local LLMs
LoRA Explained: Faster, More Efficient Fine-Tuning with Docker
docker.com·2d
💻Local LLMs
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·3h·
Discuss: DEV
⚡Z3 Optimization
Responsible Vibe Coding
dev.to·10h·
Discuss: DEV
📏Code Metrics
Macros 2.0 is one of the most exciting Rust features I'm looking forward to
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
I have seen the compounding teams
sundaylettersfromsam.substack.com·13h·
Discuss: Substack
⚔️Lean Tactics
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·1d·
Discuss: Hacker News
🛡️Error Boundaries
Real-Time Adaptive Sparsity Optimization for Edge-Deployed AI Inference Accelerators
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
[Help] ProArt X670E-Creator - IOMMU groups for dual passthrough? (pre-purchase)
reddit.com·1d·
Discuss: r/homelab
🖥Home Lab Setup
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
OpenAI's inflated valuation, as I understand it
taloranderson.com·1d·
Discuss: Hacker News
💻Local LLMs
State of Opinion – Programming Languages – Autumn 2025 Edition
xlii.space·13h·
Discuss: Hacker News
🔗Concatenative Languages
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org·1d
✨Effect Handlers
SEPhIA: <1 laser/neuron Spiking Electro-Photonic Integrated Multi-Tiled Architecture for Scalable Optical Neuromorphic Computing
arxiv.org·1d
🌈Holographic Storage
Falsehoods Vibe Coders Believe About LLMs
wilsonhobbs.com·2d·
Discuss: Hacker News
💧Liquid Types
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·3h·
Discuss: DEV
📊Multi-vector RAG