🐛 Fuzzing

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

API Simulation Reduces MCP Server, Microservices Overload
thenewstack.io·5h
⚡gRPC
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·11h
🦀Rust Macros
I'm Unsatisfied with Easing Functions
davepagurek.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🗜️LZW Variants
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·1d·
Discuss: Hacker News
🌀Brotli Internals
Zog golang validation library v0.21.4 release!
reddit.com·5h·
Discuss: r/golang
✅Format Verification
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·1d·
Discuss: Hacker News
🌊Stream Processing
When Tests Become the Bottleneck
blog.testthetest.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Max severity Cisco ISE bug allows pre-auth command execution, patch now
bleepingcomputer.com·6h·
Discuss: Hacker News
🔓Hacking
Top 12 AI Testing Tools for 2025
dev.to·17h·
Discuss: DEV
🔍Concolic Testing
Almost Always Auto (2013)
herbsutter.com·12h·
Discuss: Hacker News
🔒Type Safety
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·1d
⚡Proof Automation
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·1d
🧮Z3 Solver
Show HN: SilentArena – Learn ransomware behavior safely (C-based)
github.com·11h·
Discuss: Hacker News
🦠Malware Analysis
Show HN: Empromptu.ai – Agentic AI Building AI Apps
news.ycombinator.com·46m·
Discuss: Hacker News
🌀Brotli Internals
Predicting the Future with Python: My Magic 8-Ball Project
dev.to·3h·
Discuss: DEV
🔗Concatenative Programming
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·1d·
Discuss: Hacker News
💾Persistence Strategies
How to actually use Model Context Protocol
seangoedecke.com·22h·
Discuss: Hacker News
⚡Proof Automation
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·18h
📏Linear Logic
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.com·13h
🏭Compiler Backends