🐛 Fuzzing

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

Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·19h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Relative Completeness of Incorrectness Separation Logic
arxiv.org·7h
🧠Separation Logic
Uncovering memory corruption in NVIDIA Triton (as a new hire)
blog.trailofbits.com·36m
🧪Binary Fuzzing
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·4h
✅Archive Validation
Flaky tests due to bad randomness?
gaultier.github.io·1d
🧪Binary Fuzzing
Testing races with a synchronizing Decorator
blog.ploeh.dk·1d
🔄Sync Engine
️‍♂️ Tracking AgentTesla: Real-World Malware Behavior Analysis Using Joe Sandbox
infosecwriteups.com·2h
🦠Malware Analysis
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·21h·
Discuss: DEV
🚚Data Migration
AI agents, part 3: Adaptive designs optimize development and user experience
heise.de·2h
⚡Incremental Computation
Those Titles the AI Bot Thought I Had Written
bsdly.blogspot.com·4h·
Discuss: bsdly.blogspot.com
🧪Archive Fuzzing
LLMs won't save you from bad software engineering culture
atelfo.github.io·1d·
Discuss: Hacker News
🔄Language Evolution
Simple Methods Defend RAG Systems Well Against Real-World Attacks
arxiv.org·7h
🔐Systems Hardening
Paralegal: Practical Static Analysis for Privacy Bugs
cs.brown.edu·1d·
Discuss: Hacker News
📜Proof Carrying Code
I bombed a memory management question in an interview, so I built a testing lab to understand what really happens when Rust and C allocators collide!
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
The Generativity Pattern in Rust
arhan.sh·17h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
From detection to trust: the evolving challenge of AI bot authentication
blog.castle.io·59m·
Discuss: Hacker News
🎫Kerberos History
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Building Testable Telegram Bots with Zustand
zwit.link·1d·
Discuss: Hacker News
🌐Protocol Synthesis
Red-teaming a RAG app: What happens?
blog.pamelafox.org·18h·
Discuss: www.blogger.com, Hacker News
⚡Proof Automation
From Drift to Discipline: How Governed Cognition Makes AI a Reliable Junior Developer
hackernoon.com·13h
⚔️Lean Tactics