Test adequacy
Can a test suite distinguish correct programs from plausible-but-wrong ones?
Silent Bug Hunt pairs a reference function with a test-passing one-line divergence, then asks you to find the input the suite missed.
Try Silent Bug HuntDeepForge is a local-first ML practice platform and an experiment in reliable, evidence-based programming education. Solve 5,730+ problems with real in-browser Python execution — no sklearn, no torch, no shortcuts.
Reliable and evidence-based programming education in the age of generative AI.
The work is grounded in three practical questions — not claims of a finished theory.
Can a test suite distinguish correct programs from plausible-but-wrong ones?
Silent Bug Hunt pairs a reference function with a test-passing one-line divergence, then asks you to find the input the suite missed.
Try Silent Bug HuntCan an edit reveal a meaningful behavioral change without becoming a grade?
Behavioral Delta Ledger reports only whether hidden checks changed after an edit. It never affects progress, review, or certificates.
Explore the ledgerCan learning guidance show the evidence behind it and respond when that evidence is refuted?
Warrant Lab makes each derived claim inspectable: see its checks, challenge it, and audit the resulting bookkeeping.
Open Warrant LabFifteen foundations. Pick one and start at the top.
Everything in DeepForge, in one place. Pick a card to open it.