🐛 Fuzzing

Property-Based Testing, Input Generation, Crash Discovery, Security Testing

AI Agents Are Getting Better at Writing Code—and Hacking It as Well
wired.com·1h
🔓Hacking
Mastering Malware Analysis: A SOC Analyst’s Guide to Dynamic Analysis with AnyRun
infosecwriteups.com·10h
🦠Malware Analysis
After “Vibe Coding” Comes “Vibe Testing” (Almost)
thenewstack.io·5h
🔍Concolic Testing
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Does "XBOW AI Hacker" Deserve the Hype?
utkusen.substack.com·2h·
Discuss: Substack
🔓Hacking
Reducing tool calling error rates for OpenAI, Anthropic, and Gemini models
mastra.ai·3d·
Discuss: Hacker News
✅Format Verification
Code-First Reliability in Payment Systems
news.alvaroduran.com·7h·
Discuss: Hacker News
🔄Reproducible Builds
Deep Learning Framework Testing via Model Mutation: How Far Are We?
arxiv.org·1d
🧪Property-Based Testing
**Master Rust Testing: Essential Strategies for Bulletproof Code Quality and Development Efficiency**
dev.to·2d·
Discuss: DEV
🦀Rust Verification
I Built an AI Copilot for Pentesting—Then Turned It Off
hackernoon.com·12h
📏Code Metrics
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·10h·
Discuss: Hacker News
🧩WASM Modules
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·11h
📋Protocol Buffers
How to (Almost) solve cybersecurity once and for all
adaptive.live·22h·
Discuss: Hacker News
🔐Systems Hardening
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Failure Modes of AI-Powered Engineering (2024)
bertolami.com·1d·
Discuss: Hacker News
✨Effect Handlers
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·17h·
Discuss: Hacker News
🦀Rust Macros
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
Is Your Automated Software Engineer Trustworthy?
arxiv.org·1d
⚡Proof Automation