🧪 Property-Based Testing - matmat · Scour

256 Lines or Less: Test Case Minimization 🧪Binary Fuzzing

matklad.github.io·5d·Lobsters, Hacker News, Hacker News

Stateful Embedded Fuzzing with Peripheral-Accurate SystemC Virtual Prototypes 🧪RISC-V Fuzzing

The Great Stream Fix: Interleaving Writes in Seastar with AI-Powered Invariants Tracing 🌊Stream Processing

scylladb.com·4d·r/programming

Making illegal state unrepresentable 🧪Binary Fuzzing

blog.frankel.ch·6d·Hacker News, r/coding, r/programming

CFITSIO Fuzzing: Memory Corruptions and a Codex-Assisted Pipeline 🧪Binary Fuzzing

blog.doyensec.com·6d·r/netsec

How I run distributed Rust fuzzing in GitHub Actions 🐛Fuzzing

Self-Awareness before Action: Mitigating Logical Inertia via Proactive Cognitive Awareness 🎯Threat Hunting

Efficient Bayes Factor Sensitivity Analysis via Posterior Density Ratios 📐Information Geometry

Saying More Than They Know: A Framework for Quantifying Epistemic-Rhetorical Miscalibration in Large Language Models 🧠Intelligence Compression

Separable Pathways for Causal Reasoning: How Architectural Scaffolding Enables Hypothesis-Space Restructuring in LLM Agents 📏Linear Logic

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs 🧪Binary Fuzzing

From Admission to Invariants: Measuring Deviation in Delegated Agent Systems ✨Algebraic Effects

Statistical Validation of Computer Models: Global and Subdomain Hypothesis Testing 📊Computational Geometry

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants 🧮Theorem Proving

Support Sufficiency as Consequence-Sensitive Compression in Belief Arbitration 🎯Performance Proofs

Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views 📏Linear Logic

Product-of-Experts Training Reduces Dataset Artifacts in Natural Language Inference 💻Local LLMs

Scattered Hypothesis Generation for Open-Ended Event Forecasting 🌸Bloom Variants

Asymptotically Optimal Tests for One- and Two-Sample Problems 🧮Kolmogorov Bounds

Symplectic Inductive Bias for Data-Driven Target Reachability in Hamiltonian Systems ✨Effect Handlers

Log in to enable infinite scrolling