🧪 Property-based testing - justmoon · Scour

flyingmutant/rapid: Rapid is a modern Go property-based testing library 🔵TypeScript

github.com·6d·Hacker News

The What, Why, and How of A/B Testing in Machine Learning 🤖AI Agents

mlops.community·20h

Formal Verification of Imperative First-Class Functions in Move 🔵TypeScript

Tsz Sound Mode: towards a more strict JavaScript type checking 🔵TypeScript

tsz.dev·3h·Hacker News

How to Test AI Agents with LangSmith: A Complete Guide 🤖AI Agents

techcommunity.microsoft.com·21h

Testing AI based systems 🤖AI Agents

ministryoftesting.com·1d

Marko – A declarative, HTML‑based language 🔵TypeScript

news.ycombinator.com·1h·Hacker News

Testing Typer 🔵TypeScript

macsparky.com·5d

Bidirectional Typechecking That Does Not Stop 🔵TypeScript

semantic-domain.blogspot.com·9h·semantic-domain.blogspot.com

Mojo1.0.0b1 standardizes on 'def', enforces bounds checking ❄️Nix

alternativeto.net·2d

BRIGHTIN STAR® Official Store 🔵TypeScript

brightinstar.com·11h

Generalising monads to arrows (1998) 🔵TypeScript

cs.tufts.edu·3h·Lobsters

Prompt regression testing in CI: a 5-minute setup ❄️Nix

promptfork.online·2d·DEV

Where the sun keeps shinin': the provider pattern in Rust 🔵TypeScript

bitfieldconsulting.com·3d

Categorical Programming Language Tutorial 🔵TypeScript

msakai.github.io·11h·Lobsters

Find Bugs Without Writing Tests ❄️Nix

phpstan.org·44m

Extraordinary Ordinals 🔵TypeScript

text.marvinborner.de·2d·Lobsters, Hacker News

Kodebits Day 22: Null-Aware Operator [FREE] 🔵TypeScript

kodeco.com·15h

CRESS Principles for Context Engineering 🤖AI Agents

codemanship.wordpress.com·6d

Show HN: Formal Verification with Lean 🔵TypeScript

daniellowengrub.com·1d·Hacker News

Log in to enable infinite scrolling