๐Ÿ› Fuzzing

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

Greyscale-box test-driven development
blog.ploeh.dkยท6h
๐ŸงชProperty-Based Testing
Test state, not interactions
rednafi.comยท2dยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.toยท5hยท
Discuss: DEV
๐Ÿ”Concolic Testing
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.comยท3h
โšกProof Automation
Balance between refactoring and inheritance in your code
github.comยท14hยท
Discuss: Hacker News
โœ…Format Verification
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.deยท7h
๐Ÿ›๏ธAgda
How to Debug Chez Scheme Programs (2002)
scheme.comยท4hยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
Unit test isolation using MVCC
blog.alexsanjoseph.comยท12hยท
Discuss: Hacker News
๐ŸงชProperty-Based Testing
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.ioยท1dยท
Discuss: Hacker News, r/programming, r/rust
๐ŸงฎZ3 Solver
A Slotted Hash Cons for Alpha Invariance
philipzucker.comยท7hยท
Discuss: Hacker News
ฮปLambda Encodings
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.chยท5hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Google Summer of Code 2025 Reports: Enhancing Support for NAT64 Protocol Translation in NetBSD
blog.netbsd.orgยท9h
๐Ÿ“ABNF Parsing
Google releases VaultGemma, its first privacy-preserving LLM
arstechnica.comยท4h
๐Ÿ’ปLocal LLMs
I Tested AI 'Humanizers' to See How Well They Actually Disguise AI Writing
lifehacker.comยท8h
โšกProof Automation
Claude Code
michal.sapka.plยท2d
๐Ÿฆ€Rust Macros
Learning to fuzz with LibAFL by solving puzzles
github.comยท2dยท
Discuss: Lobsters, Hacker News
๐ŸงชBinary Fuzzing
What is Algebraic about Algebraic Effects?
interjectedfuture.comยท9h
โœจAlgebraic Effects
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.orgยท21h
๐Ÿ’ปProgramming languages
GuitarPie: Electric Guitar Fretboard Pie Menus
andreasfender.comยท11hยท
Discuss: Hacker News
๐Ÿ“ŸTerminal Physics
Semantic Dictionary Encoding
falvotech.comยท11hยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary