🔍 Property Testing - tomasvemola · Scour

A real-world case of property-based verification 🧪Property-Based Testing

ochagavia.nl·5d·Lobsters, Hacker News, r/rust

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis 🎮Deterministic Simulation

arxiv.org·2d

The Python Testing Toolkit: 4 Drop-In Files for Production pytest 🎮Deterministic Simulation

kazdispatch.gumroad.com·20h·DEV

I Ran My KYB Engine at Three Quantization Levels. Accuracy Didn't Move. Cost Dropped 6x. 🎮Deterministic Simulation

walsenburgtech.com·17h·Hacker News

Shipping faster, thinking less? The AI code verification trap 🎮Deterministic Simulation

leaddev.com·1d·Hacker News

Fuzzing LLMs Like Binaries: Building a Coverage-Guided Prompt Fuzzer in Rust 🧪Property-Based Testing

medium.com·3d

Take Back Control of Your Screen Time – Brick LLC ✨Gleam

getbrick.com·2d

TheAuditorTool/sast-benchmark: The first public OWASP-style SAST benchmark suite for Go, Rust, and Bash. Ground truth test cases with vulnerable/safe classifications for measuring detection accuracy (Youden's formula) of any static analysis tool. 🦀Rust

github.com·1d·Hacker News

Automated Security Assertion Generation Using LLMs (U. of Florida) 🧪Property-Based Testing

semiengineering.com·6d

Systems Thinking and Test Cases 🧪Simulation Testing

testpappy.wordpress.com·6d

Fuzzing the Unfuzzable: Securing LLM Applications with PromptFuzz 🧪Property-Based Testing

medium.com·4d

Why the Smart Model Reviewer Pattern Is Backwards 🎮Deterministic Simulation

cloudpresser.com·4d·Hacker News

Verification Is the Next Bottleneck in AI-Assisted Development 🎮Deterministic Simulation

opslane.com·5d·Hacker News

Log-based, Business-aware REST API Testing 🧪Simulation Testing

arxiv.org·6h

Cryptographic Provenance for LLM Inference 🎮Deterministic Simulation

commitllm.com·6d·Hacker News

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 🧪Property-Based Testing

symbolic.software·3d

Your AI keeps a diary about you. It’s doing it badly. 🎮Deterministic Simulation

rodspeed.ai·6d·r/ClaudeAI

Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code 🧪Property-Based Testing

eprint.iacr.org·3d

Latent Reasoning Sprint #3: Activation Difference Steering and Logit Lens 🧪Property-Based Testing

lesswrong.com·6d

The generation vs verification delta explains why LLM's are useful 🧪Property-Based Testing

simianwords.bearblog.dev·4d·Hacker News

Loading more...