✅ Property Testing - beachlorn · Scour

A real-world case of property-based verification ✓Formal Verification

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

Log-based, Business-aware REST API Testing 📚Forth

arxiv.org·14h

The Python Testing Toolkit: 4 Drop-In Files for Production pytest 🌨️Nix Flakes

kazdispatch.gumroad.com·1d·DEV

Run Leetcode locally - Javascript test case for practices 💎PureScript

lnkd.in·12h·DEV

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. 🔗Parser Combinators

github.com·2d·Hacker News

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 🔬Closure Analysis

symbolic.software·3d

I Ran My KYB Engine at Three Quantization Levels. Accuracy Didn't Move. Cost Dropped 6x. 🔬Closure Analysis

walsenburgtech.com·1d·Hacker News

Fuzzing LLMs Like Binaries: Building a Coverage-Guided Prompt Fuzzer in Rust 🔬Closure Analysis

medium.com·4d

Cryptographic Provenance for LLM Inference λLambda Calculus

commitllm.com·6d·Hacker News

Systems Thinking and Test Cases ✓Formal Verification

testpappy.wordpress.com·6d

Quantum Property Testing for Bounded-Degree Directed Graphs λLambda Calculus

arxiv.org·14h

I Accidentally Reinvented Kernel (Programming Language) 🔧Scheme

fayash.me·5d·Hacker News

Why the Smart Model Reviewer Pattern Is Backwards ⚙️Program Synthesis

cloudpresser.com·4d·Hacker News

Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code ✓Formal Verification

eprint.iacr.org·3d

Modelling Distributed Applications with Mixed-Choice Stateful Typestates ⚡Concurrency

arxiv.org·1d

Triage: Routing Software Engineering Tasks to Cost-Effective LLM Tiers via Code Quality Signals ✨Effect Handlers

arxiv.org·14h

A Gradual Probabilistic Lambda Calculus λLambda Calculus

arxiv.org·2d

DIVERSED: Relaxed Speculative Decoding via Dynamic Ensemble Verification 🔤Type Systems

arxiv.org·14h

Program Analysis Guided LLM Agent for Proof-of-Concept Generation ⚙️Program Synthesis

arxiv.org·14h

Tractable Hyperproperties for MDPs 🧩SMT Solvers

arxiv.org·1d

Loading more...