⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

ASRock Rack Shows off Intel Xeon 6 SoC Platforms
servethehome.com·3d
🧲RISC-V Preservation
P Verified
b-hilprecht.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🤝Distributed Consensus
kadena-io/chainweb-node
github.com·1d
🔗Hash Chains
Claude Code Is a Game Changer
probably.co.uk·1d·
Discuss: Hacker News
🌳Incremental Parsing
I wrote 2000 LLM test cases so you don't have to: LLM feature compatibility grid
getkiln.ai·1d·
Discuss: Hacker News
🔍Concolic Testing
A lightweight TCP in UDP tunnel using eBPF for MPTCP
github.com·13h·
Discuss: Hacker News
📡Network Protocol Design
Elon Musk says xAI is targeting 50 million 'H100 equivalent' AI GPUs in five years — 230k GPUs, including 30k GB200s already reportedly operational for training...
tomshardware.com·11h
🖥️Terminal Renaissance
🌀 Blueprint in the Storm
dev.to·5h·
Discuss: DEV
💾Persistence Strategies
Policy Zones: How Meta enforces purpose limitation at scale in batch processing systems
engineering.fb.com·5h
⚙️Batch Processing
How Gemini CLI Got a NAO Robot Body 🤖✨
dev.to·12h·
Discuss: DEV
📟Terminal Physics
ReMeREC: Relation-aware and Multi-entity Referring Expression Comprehension
arxiv.org·33m
📝Concrete Syntax
GASPnet: Global Agreement to Synchronize Phases
arxiv.org·1d
📝ABNF Parsing
TransLPRNet: Lite Vision-Language Network for Single/Dual-line Chinese License Plate Recognition
arxiv.org·33m
🤖Advanced OCR
GEMINUS: Dual-aware Global and Scene-Adaptive Mixture-of-Experts for End-to-End Autonomous Driving
arxiv.org·2d
🌀Riemannian Computing
✨ A Small Update: RAG Pitfalls, Unexpected Endorsement, and That Feeling of Fighting Ghosts with FAISS
dev.to·23h·
Discuss: DEV
🌀Brotli Internals
Cross-domain Multi-step Thinking: Zero-shot Fine-grained Traffic Sign Recognition in the Wild
arxiv.org·33m
🤖Advanced OCR
Data-Driven Adaptive Gradient Recovery for Unstructured Finite Volume Computations
arxiv.org·1d
🌀Differential Geometry
Exploring the Frontiers of kNN Noisy Feature Detection and Recovery for Self-Driving Labs
arxiv.org·33m
🧠Machine Learning
Recommendations for case for short depth NAS?
reddit.com·1d·
Discuss: r/homelab
🧲RISC-V Preservation
Python Fundamentals: click
dev.to·16h·
Discuss: DEV
💧Liquid Types