🐛 Fuzzing

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

Why Fuzz Testing is Essential for Security Assurance
dev.to·2d·
Discuss: DEV
🧪Binary Fuzzing
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·3h
🎯Performance Proofs
Claude Code's 19 cent Parser
blogger.com·18h
🔧Binary Parsers
Stable, Mutable References for Ante
antelang.org·18h·
Discuss: Hacker News, r/programming
🔒Type Safety
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·17h·
Discuss: Hacker News
✅Format Verification
Do I not like Ruby anymore? (2024)
sgt.hootr.club·39m·
Discuss: Hacker News
🎯Gradual Typing
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·17h
🧮Kolmogorov Bounds
Convenient 'Copy as cURL': explicit, executable, editable request replays
huonw.github.io·7h
🛡️WASM Security
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·5h·
Discuss: Substack
🔩Systems Programming
Beyond the ban: A better way to secure generative AI applications
blog.cloudflare.com·17h
🔒Language-based security
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
news.ycombinator.com·14h·
Discuss: Hacker News
🔐Archive Encryption
Morgan Stanley Open Sources CALM: The Architecture as Code Solution Transforming Enterprise DevOps
devops.com·9h
🔗Dependency Resolution
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·17h·
Discuss: Hacker News
⚡Hardware Transactional Memory
A Defect Classification Framework for AI-Based Software Systems (AI-ODC)
arxiv.org·3h
👁️System Observability
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·11h·
Discuss: Hacker News
✅Format Validation
Fuzz-testing Go HTTP services
packagemain.tech·3d·
Discuss: r/golang
🧪Binary Fuzzing
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Anonymous structavaganza in zig
lirk.top·14h·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming