🐛 Fuzzing

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

Feeds to Scour
SubscribedAll
Scoured 11703 posts in 699.8 ms
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·7h
⚖️Hoare Logic
Preview
Report Post
From Shell to Stealth: Building AV-Evasive Binary
infosecwriteups.com·14h
🧪Binary Fuzzing
Preview
Report Post
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
arxiv.org·18h
🎯Performance Proofs
Preview
Report Post
TLA+ modeling tips
muratbuffalo.blogspot.com·3h·
Discuss: Lobsters
⚙️TLA+
Preview
Report Post
Writing a mockable Filesystem trait in Rust without RefCell
pyk.sh·12h·
Discuss: Hacker News
🦀Rust Verification
Preview
Report Post
A shift towards engineering-native RL for coding agents
docs.getpochi.com·10h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
Report URI Penetration Test 2025
scotthelme.ghost.io·7h
🕵️Penetration Testing
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·23h
🧠Lisp Dialects
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·2d
📋Formal Verification
Preview
Report Post
Why Your Selenium Tests Are Flaky (And How to Fix Them Forever)
dev.to·10h·
Discuss: DEV
🛡️WASM Sandboxing
Preview
Report Post
IsEven(int32_t) in O(1)
ceayo.neocities.org·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
Taming tool sprawl: How to boost university IT productivity
about.gitlab.com·23h
🔄Language Evolution
Preview
Report Post
Copy-on-write teaches you EVERYTHING about Swift Internals 🐮
blog.jacobstechtavern.com
·7h
🔗Functional Compilers
Preview
Report Post
Testing is software engineering
thoughtbot.com·23h
🧪Property-Based Testing
Preview
Report Post
The Data Detox: Training Yourself for the Messy, Noisy, Real World
kdnuggets.com·6h
🧪Data science
Preview
Report Post
“New Ways to Corrupt LLMs”
garymarcus.substack.com·1d·
Discuss: Substack
💻Local LLMs
Preview
Report Post
Honeypots can help defenders, or damn them if implemented badly
theregister.com·23h
🔓Hacking
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·3d
✅Format Verification
Preview
Report Post
JustHTML is a fascinating example of vibe engineering in action
simonwillison.net·1d
🌀Brotli Internals
Preview
Report Post
Turning a Tinybox Green v2 into a Private AI Home Server
owain.bearblog.dev·6h·
Discuss: Hacker News
🏠HomeLab
Preview
Report Post