🧪 RISC-V Fuzzing

Hardware Testing, Instruction Validation, Security Research, Open Architecture

Qt for MCUs 2.11 LTS Released
qt.io·1d
🍎XNU Internals
CodeSOD: Raise VibeError
thedailywtf.com·1d
✅Format Verification
'Impossible' Higgs boson measurement within reach, thanks to a detour
symmetrymagazine.org·5h·
Discuss: Hacker News
🔐Quantum Security
How to Build Abstractions in Rust Applications (2023)
orodu.net·41m·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
[BUG] Claude says "You're absolutely right!" about everything
github.com·1d·
Discuss: Hacker News
🧪CBOR Fuzzing
Intel promises to keep updating its game-boosting software despite recent delays — APO will only focus on current and upcoming Intel CPUs
tomshardware.com·20h
🖥️Modern Terminals
Automated Bio-Reactor Optimization via Multi-Modal Deep Learning for Enhanced Human Brain Organoid Maturation
dev.to·9h·
Discuss: DEV
🔲Cellular Automata
More testing of the 1130 MRAM memory replacement board - part 2
rescue1130.blogspot.com·3d·
Discuss: rescue1130.blogspot.com
⚡Homebrew CPUs
Scalable Failure Mode Prediction via Multi-Modal Data Fusion and Deep Temporal Analysis in Aging Infrastructure
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
A non-uniform view of Craig interpolation in modal logics with linear frames
arxiv.org·11h
🔗Combinatory Logic
How to Stay a Step Ahead of a Non-Obvious Threat
darkreading.com·2d
🔓Hacking
derive_hash_fast: Over 2x faster hashing than #[derive(Hash)]
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Unsafe at Any Speed: It's Not the Hackers or the Users—It's the Software
usenix.org·1d
🛡Cybersecurity
Automated Anomaly Detection in High-Throughput Power Semiconductor Manufacturing via Multi-Scale Feature Fusion
dev.to·3d·
Discuss: DEV
🔧Hardware Verification
SOI is the Root of All Evil: Quantifying and Breaking Similar Object Interference in Single Object Tracking
arxiv.org·11h
👁️Perceptual Hashing
Multi-Sequence Parotid Gland Lesion Segmentation via Expert Text-Guided Segment Anything Model
arxiv.org·11h
📄Text Segmentation
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
arxiv.org·2d
🎯Performance Proofs
An Introduction to Python-Rust Interop for Scientific Codebases
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Show HN: Enter your domain and my open-source agent will hack it
github.com·2d·
Discuss: Hacker News, r/SoftwareEngineering
🎫Kerberos Exploitation
How I Built a Codebase-Wide AI Memory That Scales With My Repo
dev.to·3h·
Discuss: DEV
🌳Incremental Parsing