⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Random NihAV news
codecs.multimedia.cx·1d
🎞️MKV Internals
Determinism
theprogrammersparadox.blogspot.com·14h·
Discuss: theprogrammersparadox.blogspot.com
🐚Shell Calculus
Building iBoot
nyansatan.github.io·4d·
Discuss: Hacker News
🔌Operating system internals
How To Deploy Fluent Bit in a Kubernetes-Native Way
thenewstack.io·12h
📦Container Security
Within 5 Years, All Engineers Will Be Systems Integrators
quicktea.ai·2d·
Discuss: Hacker News
⚙️TLA+
Rails Engine Assets: Making Your Gem Work with Sprockets and Propshaft
avohq.io·21h·
Discuss: Hacker News
🎬WebCodecs
Show HN: Hiconic – reflective, reactive, and portable modeling for any domain
github.com·1d·
Discuss: Hacker News
📦CBOR Extensions
The Genie's Curse: My Month with AI-Augmented Coding
dev.to·16h·
Discuss: DEV
🌀Brotli Internals
Evaluating Artificial Intelligence Algorithms for the Standardization of Transtibial Prosthetic Socket Shape Design
arxiv.org·2d
🧮Kolmogorov Bounds
Automating Kotlin Data Class Testing with KSP
hackernoon.com·3d
🦀Rust Macros
Understanding Prompt Programming Tasks and Questions
arxiv.org·2d
🔗Concatenative Programming
Actively evaluating and learning the distinctions that matter: Vaccine safety signal detection from emergency triage notes
arxiv.org·1d
🗺️Competency Maps
Heartbreak on the server rack
reddit.com·16h·
Discuss: r/homelab
🛠️Greaseweazle
SynC: Synthetic Image Caption Dataset Refinement with One-to-many Mapping for Zero-shot Image Captioning
arxiv.org·1d
📊Learned Metrics
Intel to throw networking biz over the side of its rapidly shrinking ship
theregister.com·11h
🧲RISC-V Archaeology
Transforming NLP: The Breakthrough of the 41.8 BLEU Score with Transformers
dev.to·19h·
Discuss: DEV
📝Text Parsing
🧬 The Operating System Is Web3’s Final Frontier — Why Only AI-Native Can Unlock the Full Stack
dev.to·3d·
Discuss: DEV
🌍Cultural Algorithms
Can External Validation Tools Improve Annotation Quality for LLM-as-a-Judge?
arxiv.org·2d
✨Effect Handlers
I tested this mini PC - and GMKtec chose a 2019 AMD processor over the Intel N100 in its G10 for a good reason
techradar.com·1h
🖥️Modern Terminals
HIVMedQA: Benchmarking large language models for HIV medical decision support
arxiv.org·1d
🚀SIMD Text Processing