🧪 RISC-V Fuzzing

Hardware Testing, Instruction Validation, Security Research, Open Architecture

Notes for August 18-31
taoofmac.com·3d
🔄Sync Engine
Rust Foundation Launches Rust Innovation Lab with Rustls as Inaugural Project - The Rust Foundation
rustfoundation.org·12h
🦀Rust Borrowing
Long-lasting antimicrobial effects of nitric oxide-releasing hand sanitizer gel
pubs.rsc.org·1d·
Discuss: Hacker News
🧮Algorithmic Cooking
Show HN: Thymis – IoT fleet management with NixOS – Cloud now available
thymis.io·1d·
Discuss: Hacker News
❄Nix
Observations of Thwaites Glacier consistent with high rates of loss next 50 yrs
essopenarchive.org·3d·
Discuss: Hacker News
🛠️Greaseweazle
State of the software engineering job market in 2025
newsletter.pragmaticengineer.com·1d·
Discuss: Hacker News
🔄Language Evolution
Python has had async for 10 years – why isn't it more popular?
tonybaloney.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🌊Stream Processing
Some minor bugs in Proton's new Authenticator app
shkspr.mobi·3d·
Discuss: Lobsters, Hacker News, shkspr.mobi
📜Proof Carrying Code
Niri 25.08 Wayland Compositor Introduces xwayland-satellite Support
phoronix.com·14h
🕸️WASM Archives
Ask HN: How AI is showing up in SRE, copilots and always-on tools
news.ycombinator.com·20h·
Discuss: Hacker News
👁️System Observability
First brain-wide map of decision-making charted in mice
phys.org·14h
🔲Cellular Automata
Why Writing Efficient Code Still Matters (Even in the Age of AI) ?
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Maia - Multi-AI Agent Test Framework
dev.to·17h·
Discuss: DEV
⚡Proof Automation
Detecting Rug Pulls in Decentralized Exchanges: Machine Learning Evidence from the TON Blockchain
arxiv.org·1d
🔗Hash Chains
Apple Releases Safari Technology Preview 227 With Bug Fixes and Performance Improvements
macrumors.com·6h
🍎Apple Archive
Homelab feedback and yet another TrueNAS vs Proxmox discussion
reddit.com·10h·
Discuss: r/homelab
💿Proxmox HA
E-THER: A PCT-Grounded Dataset for Benchmarking Empathic AI
arxiv.org·1d
📊Learned Metrics
12 AI Tools People Are Using to Make Money (2025 Edition)
dev.to·19h·
Discuss: DEV
⚡Proof Automation
Show HN: FlatGem, a free GUI to bulk-process local files with Gemini API
github.com·2d·
Discuss: Hacker News
🤖Archive Automation
Is Noisy Data a Blessing in Disguise? A Distributionally Robust Optimization Perspective
arxiv.org·1d
🎯Performance Proofs