🐛 Fuzzing

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

A Developer's Guide to Test Case Generation with Genetic Algorithms
dev.to·20h·
Discuss: DEV
🧪Property-Based Testing
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·14h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
CVE-2025-50165: Critical Flaw in Windows Graphics Component
zscaler.com·14h·
Discuss: Hacker News
💣ZIP Vulnerabilities
Flag this post
Why Load Tests Lie: Harsh Truth About AI Agent Performance
thenewstack.io·1d
🔍Concolic Testing
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·9h
🌀Brotli Internals
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·1d·
Discuss: Substack
🔩Systems Programming
Flag this post
When AI Goes Wrong
whenaifail.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·12h
λLambda Encodings
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
exploits.club Weekly(ish) Newsletter 92 - S23 N-Day PoCs, Printer Overflows, DNG OOB Writes, And More
blog.exploits.club·1d
💣ZIP Vulnerabilities
Flag this post
AI in QA: how to use Generative AI in testing without creating technical debt
techradar.com·18h
⚡Proof Automation
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·14h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·23h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
This Week in Security: Cloudflare Wasn’t DNS, BADAUDIO, and Not a Vuln
hackaday.com·1d
🔓Hacking
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
From Prototype to Production: How to Engineer Reliable LLM Systems
dev.to·11h·
Discuss: DEV
💻Local LLMs
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·23h·
Discuss: Substack
💻Programming languages
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·19h·
Discuss: Hacker News
💧Liquid Types
Flag this post
Joy & Curiosity #63
registerspill.thorstenball.com·58m
🌀Brotli Internals
Flag this post