🐛 Fuzzing

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

Probing AI Safety with Source Code
arxiv.org·19h
✨Effect Handlers
Using LLMs in CI/CD for semantic testing of web content
plo.ug·8h·
Discuss: Hacker News
⚡Proof Automation
Memory Safety in Web Rust System Zero Cost Secure（1750931826373700）
dev.to·13h·
Discuss: DEV
🦀Rust Borrowing
Testing in Production
blog.scottlogic.com·23h
👁️System Observability
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·1d
🦠Malware Analysis
Design Decisions Behind app.build, a Prompt-to-App Generator
neon.com·9h·
Discuss: Hacker News
🌊Streaming Systems
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·2d·
Discuss: Hacker News
🎯Gradual Typing
I Tested an OpenRewrite Recipe: The Mistakes I Made and How to Fix Them
hackernoon.com·3h
⚖️Verification Calculi
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·1d·
Discuss: Substack
🦀Rust Macros
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·1d
🎯Threat Hunting
Pwn2Own Ireland 2024 – Ubiquiti AI Bullet
blog.compass-security.com·9h
🛡️eBPF Security
Structured data response with Amazon Bedrock: Prompt Engineering and Tool Use
aws.amazon.com·7h
🌀Brotli Internals
Warp scores over 70% on SWE-bench Verified
warp.dev·3d
👁️System Observability
Xunit.v3, Testcontainers, and .NET
azan-n.com·3d·
Discuss: Hacker News
✅Archive Validation
What We’ve Learned from 5 Months of Hackbot Activity
hackerone.com·5h
🔓Hacking
May the Feedback Be with You! Unlocking the Power of Feedback-Driven Deep Learning Framework Fuzzing via LLMs
arxiv.org·2d
💻Local LLMs
Program Execution, follow-up pt II
windowsir.blogspot.com·1h·
Discuss: www.blogger.com
👁️Observatory Systems
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
🧪CBOR Fuzzing
Memory Safety Is Merely Table Stakes
usenix.org·4h·
Discuss: Hacker News, r/programming
🔒Type Safety
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·15h
🔓Password Cracking