🧪 RISC-V Fuzzing

Hardware Testing, Instruction Validation, Security Research, Open Architecture

FreeBSD 14.2 End-of-Life Announced: Upgrade Before October 1, 2025
discoverbsd.com·1d
🐡OpenBSD
mathematics of the impossible: Revision. Feedback welcome especially on chapters 1,2,3
emanueleviola.wordpress.com·1d
🎞️Tape Combinatorics
Crowdsourced AI += Exodia Labs
blog.virustotal.com·1d·
Discuss: blog.virustotal.com
🚀Indie Hacking
Red Hat Investigating Breach Impacting as Many as 28,000 Customers, Including the Navy and Congress
linux.slashdot.org·12h
📟Terminal Forensics
AI-Powered Shelf Price Verification: Matching Label Prices to POS Server Prices
blog.roboflow.com·18h·
Discuss: Hacker News
⚡Proof Automation
Whatever happened to SHA-256 support in Git?
lwn.net·8h·
Discuss: Lobsters, r/programming
📦Content Addressing
Source-Free Cross-Domain Continual Learning
arxiv.org·59m
📊Learned Metrics
RewardMap: Tackling Sparse Rewards in Fine-grained Visual Reasoning via Multi-Stage Reinforcement Learning
arxiv.org·59m
🔲Cellular Automata
Fine-tuning LLMs with variational Bayesian last layer for high-dimensional Bayesian optimzation
arxiv.org·59m
💻Local LLMs
Open source speech foundation model that runs locally on CPU in real-time
huggingface.co·14h·
Discuss: Hacker News
🎙️Whisper
AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work
arxiv.org·1d
⚙️Proof Engineering
10 Essential MCP Servers Every Developer Needs
dev.to·22h·
Discuss: DEV
🔩Systems Programming
Formal Framework for Quantum Advantage
arxiv.org·59m
🔐Quantum Security
Zero-shot reasoning for simulating scholarly peer-review
arxiv.org·59m
🔍Vector Forensics
Claude Code: Unix Philosophy Makes AI Coding Better
dev.to·21h·
Discuss: DEV
⚡Proof Automation
sentdex: Unitree G1 Security Disaster
dev.to·1d·
Discuss: DEV
🕵️Vector Smuggling
An Anthropologist LLM to Elicit Users' Moral Preferences through Role-Play
arxiv.org·59m
⚖️Game Preservation Ethics
ExGRPO: Learning to Reason from Experience
arxiv.org·59m
👑Coq Tactics
Purrception: Variational Flow Matching for Vector-Quantized Image Generation
arxiv.org·59m
🌀Fractal Compression
Fine-tuning with RAG for Improving LLM Learning of New Skills
arxiv.org·59m
🤖Grammar Induction