🧪 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·18h

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

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

tsz.dev·1h·Hacker News

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

techcommunity.microsoft.com·19h

Testing AI based systems 🤖AI Agents

ministryoftesting.com·1d

The Lobster Programming 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·7h·semantic-domain.blogspot.com

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

alternativeto.net·2d

BRIGHTIN STAR® Official Store 🔵TypeScript

brightinstar.com·9h

Generalising monads to arrows (1998) 🔵TypeScript

cs.tufts.edu·1h·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·9h·Lobsters

Extraordinary Ordinals 🔵TypeScript

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

Type-driven design in automotive C: how much of my code is manual type checking? 🔵TypeScript

lmilz.dev·6h·Hacker News

CRESS Principles for Context Engineering 🤖AI Agents

codemanship.wordpress.com·6d

Show HN: Formal Verification with Lean 🔵TypeScript

daniellowengrub.com·1d·Hacker News

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

kodeco.com·13h

Log in to enable infinite scrolling