🐛 AFL

American Fuzzy Lop, Coverage-Guided Fuzzing, Security Testing, Crash Discovery

Feeds to Scour
SubscribedAll
Scoured 120606 posts in 1.89 s
pmarreck/validate: a full binary file format validator for over 100 (EDIT: now around 150) different filetypes, written in Zig with frontier AI assistance
github.com·1h
📐Formal Methods
Stop Testing Attacks, Start Diagnosing Defenses: The Four-Checkpoint Framework Reveals Where LLM Safety Breaks
arxiv.org·1d
📐Formal Methods
[TUHS] bare m4 (was BTL summmer employees)
tuhs.org·19h·
Discuss: Lobsters
🏗️Compiler Design
A note on parameterized testing
blog.gnoack.org·12h
🎯deterministic simulation testing
AI-SLOP Detector v2.7.0 — Why We Built a Linter We Actually Use
dev.to·17h·
Discuss: DEV
🔍Property Testing
The Secure Force: Building an End-to-End SDLC Without Breaking the Bank
hackernoon.com·1d
📐Formal Methods
[Paper] How does information access affect LLM monitors' ability to detect sabotage?
lesswrong.com·14h
🌐Networking
Go - Unit & Integration Testing
linkedin.com·15h·
Discuss: r/programming
🎯deterministic simulation testing
Sneaky quokka: Testing and debugging with LLMs
honnibal.dev·2d
🔍Property Testing
💡 LSA Dumps: The EDR Blind Spot
dev.to·4h·
Discuss: DEV
📐Formal Methods
Show HN: A header-only C++ benchmark for predictive models on raw binary streams
github.com·3h·
Discuss: Hacker News
🔍Property Testing
Vulnerabilities in 45 Open Source Projects (vLLM, Langfuse, Phase, NocoDB)
kolega.dev·21h·
Discuss: Hacker News
📐Formal Methods
6 niche programming languages developers secretly love
howtogeek.com·33m
🏗️Compiler Design
Introducing PFCS Forward
blog.palantir.com·2h
🌐Networking
AI Inference Needs A Mix-And-Match Memory Strategy
semiengineering.com·3h
🏗️Compiler Design
Testing a Component System Like Infrastructure: Contract Tests, Visual Regression, and Accessibility Gates
hackernoon.com·1d
🔍Property Testing
AI Code’s Logic Can Now Be Checked From Within, Bypassing External Tests
quantumzeitgeist.com·22h
📐Formal Methods
(Bsky thread) "This turns the maintainer into an unwitting vibe coder"
lobste.rs·1h·
Discuss: Lobsters
🐛fuzzing
Can you disable multithreaded calculations for avoidance logic?
forrestthewoods.com·1h·
Discuss: r/godot
🔀Concurrency
Bringing a jewel-encrusted warhammer to a knife fight
reorchestrate.com·15h·
Discuss: Hacker News, r/rust
📐Formal Methods

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help