🧪 RISC-V Fuzzing

Hardware Testing, Instruction Validation, Security Research, Open Architecture

‘I think you’re testing me’: Anthropic’s new AI model asks testers to come clean
theguardian.com·1d·
Discuss: r/ClaudeAI, r/technews
🧪Protocol Fuzzing
mathematics of the impossible: Revision. Feedback welcome especially on chapters 1,2,3
emanueleviola.wordpress.com·1d
🎞️Tape Combinatorics
FreeBSD 14.2 End-of-Life Announced: Upgrade Before October 1, 2025
discoverbsd.com·1d
🐡OpenBSD
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·15h
📟Terminal Forensics
Fast, Cheap, Good: Choose Three
cory.news·1d·
Discuss: Hacker News
📏Code Metrics
More speculations on arenas in C++
nullprogram.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🔒Type Safety
Enhanced Stability Prediction & Control for Pharmaceutical Impurities via Hybrid Bayesian-GNF Analysis
future.forem.com·2d·
Discuss: DEV
🔍Vector Forensics
Claude Sonnet 4.5 Is A Very Good Model
thezvi.substack.com·1d·
Discuss: Substack
📏Code Metrics
AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work
arxiv.org·1d
⚙️Proof Engineering
Formal Framework for Quantum Advantage
arxiv.org·3h
🔐Quantum Security
Zero-shot reasoning for simulating scholarly peer-review
arxiv.org·3h
🔍Vector Forensics
Claude Code: Unix Philosophy Makes AI Coding Better
dev.to·1d·
Discuss: DEV
⚡Proof Automation
When AI Goes Rogue: Guardrails for Agentic Systems
dev.to·16h·
Discuss: DEV
🌊Streaming Systems
sentdex: Unitree G1 Security Disaster
dev.to·1d·
Discuss: DEV
🕵️Vector Smuggling
Purrception: Variational Flow Matching for Vector-Quantized Image Generation
arxiv.org·3h
🌀Fractal Compression
ExGRPO: Learning to Reason from Experience
arxiv.org·3h
👑Coq Tactics
Fine-tuning with RAG for Improving LLM Learning of New Skills
arxiv.org·3h
🤖Grammar Induction
DiFFPO: Training Diffusion LLMs to Reason Fast and Furious via Reinforcement Learning
arxiv.org·3h
💻Local LLMs
An Anthropologist LLM to Elicit Users' Moral Preferences through Role-Play
arxiv.org·3h
⚖️Game Preservation Ethics