🐛 Fuzzing - mary.boulos

🧪Antithesis Academic

arxiv.org·

Fuzz testing

🎲Deterministic Testing Discussion

ziggit.dev·

Property-based testing | Liam DeVoe

⚗️Property-Based Testing

tybug.dev··Hacker News

Less-relevant results

Anthropic’s too-scary-to-release AI hacking tool is actually coming out — kind of

🧪Antithesis

androidauthority.com··Cited by 2 articles

The Firefox security harness that fixed 271 bugs no one had found for years

🧪Antithesis

ppc.land·

justhamade/triadjs: Triad is a TypeScript/Node.js framework where API specification, implementation, validation, and testing are a single source of truth.

📐Linearizability Code

github.com··Hacker News

Comp.compilers: An Empirical Comparison of General Context-Free Parsers

📐Linearizability

compilers.iecc.com·

Humans in the LLM Loop

✅Formal Verification

derickrethans.nl··Hacker News

DIG: Oracle-Guided Directed Input Generation for One-Day Vulnerabilities

🎲Deterministic Testing Academic

arxiv.org·

How Aviv Yahav became one of security’s most referenced independent researchers — TFN

💥Fault Injection

techfundingnews.com·

With great AI power comes the need for zero trust responsibility

🌪️Chaos Engineering Blog

hashicorp.com·

17 real security bugs in 10 weeks, all from an AI scanner

🧪Antithesis

lalitm.com··Lobsters·Cited by 1 article

Understanding attenuated positive facial expression in depressed women: central role of dorsal raphe network alterations and associated serotonin transporter methylation

📐Linearizability Academic

nature.com·

Learning Regular Languages with the TTT Algorithm

✅Formal Verification

rahul.gopinath.org··Lobsters, Hacker News

Ported my C game to WASM, here's everybug that I hit

🎲Deterministic Testing

ernesernesto.github.io··Hacker News, r/programming

MSVC Build Tools Preview updates – June 2026

🧪Antithesis Blog

devblogs.microsoft.com·

AI Code Sandboxes: A Comparative Security Study. Part 1 of 2 -- Engine-Level Properties (Attack Surface, Leakage, Stackability, CVE History, Patch Cadence, Fuzzing)

🧪Antithesis Academic

arxiv.org·

I've spent enough time with this now in Claude Code (and Claude.ai and Claude Co...

🧪Antithesis Discussion

news.ycombinator.com··Hacker News·Cited by 1 article

New PET tracer identifies DVT in legs and lungs

✅Formal Verification

medicalxpress.com·

47 seconds of fuzzing in CI

GapFuzz: Cross-Plane Divergence Fuzzing for Distributed SDN Controllers

Fuzz testing

Property-based testing | Liam DeVoe

Anthropic’s too-scary-to-release AI hacking tool is actually coming out — kind of

The Firefox security harness that fixed 271 bugs no one had found for years

justhamade/triadjs: Triad is a TypeScript/Node.js framework where API specification, implementation, validation, and testing are a single source of truth.

Comp.compilers: An Empirical Comparison of General Context-Free Parsers

Humans in the LLM Loop

DIG: Oracle-Guided Directed Input Generation for One-Day Vulnerabilities

How Aviv Yahav became one of security’s most referenced independent researchers — TFN

With great AI power comes the need for zero trust responsibility

17 real security bugs in 10 weeks, all from an AI scanner

Understanding attenuated positive facial expression in depressed women: central role of dorsal raphe network alterations and associated serotonin transporter methylation

Learning Regular Languages with the TTT Algorithm

Ported my C game to WASM, here's everybug that I hit

MSVC Build Tools Preview updates – June 2026

AI Code Sandboxes: A Comparative Security Study. Part 1 of 2 -- Engine-Level Properties (Attack Surface, Leakage, Stackability, CVE History, Patch Cadence, Fuzzing)

I've spent enough time with this now in Claude Code (and Claude.ai and Claude Co...

New PET tracer identifies DVT in legs and lungs