🧪 Property Testing - gruggiero · Scour

A real-world case of property-based verification ✅TLA+

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

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

arxiv.org·13h

The Python Testing Toolkit: 4 Drop-In Files for Production pytest ✅TLA+

kazdispatch.gumroad.com·1d·DEV

Run Leetcode locally - Javascript test case for practices 🔴Scala

lnkd.in·11h·DEV

I Ran My KYB Engine at Three Quantization Levels. Accuracy Didn't Move. Cost Dropped 6x. 📏Model Evaluation

walsenburgtech.com·1d·Hacker News

Fuzzing LLMs Like Binaries: Building a Coverage-Guided Prompt Fuzzer in Rust ✅TLA+

medium.com·3d

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. ✅TLA+

github.com·2d·Hacker News

Designing from Invariants 🌐Distributed Systems

looppass.mindmeld360.com·2d·DEV

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 📐Formal Methods

symbolic.software·3d

Shipping faster, thinking less? The AI code verification trap 💻AI Coding

leaddev.com·1d·Hacker News

Automated Security Assertion Generation Using LLMs (U. of Florida) 📐Formal Methods

semiengineering.com·6d

Systems Thinking and Test Cases 🧪Software Testing

testpappy.wordpress.com·6d

Cryptographic Provenance for LLM Inference ✅TLA+

commitllm.com·6d·Hacker News

Triage: Routing Software Engineering Tasks to Cost-Effective LLM Tiers via Code Quality Signals 💻AI Coding

arxiv.org·13h

Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code 📐Formal Methods

eprint.iacr.org·3d

moonrunnerkc/swarm-orchestrator: Verification and governance layer for AI coding agents. Parallel orchestration with evidence-based quality gates for Copilot, Claude Code, and Codex. 💻AI Coding

github.com·1d·DEV

Why the Smart Model Reviewer Pattern Is Backwards ✅TLA+

cloudpresser.com·4d·Hacker News

Take Back Control of Your Screen Time – Brick LLC 📐Design Systems

getbrick.com·3d

Compare harnesses not models: Blitzy vs. GPT-5.4 on SWE-Bench Pro ✅TLA+

quesma.com·3d·Hacker News

Program Analysis Guided LLM Agent for Proof-of-Concept Generation 🤖LLM Agents

arxiv.org·13h

Loading more...