Cantrip: On summoning entities from language in circles | deepfates
With Cantrip, deepfates reimagines the fundamentals of language model agents. Available as a ghost library with generative test specification.
Cantrip: On summoning entities from language in circles | deepfates
With Cantrip, deepfates reimagines the fundamentals of language model agents. Available as a ghost library with generative test specification.
steve.prophet on Twitter / X
so get smart about how you generate code... example token analysis of compilation output.model generates DSL / intermediate format, compiler turns it into actual runtime code.need to only generate 796 tokens to deploy 8,265 tokens.10x+ token difference (!!) https://t.co/LAAPjFX9Sc pic.twitter.com/zMoOrWb6yf— steve.prophet (@nilslice) March 18, 2026
bendlang/bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
alangpierce/sucrase
Super-fast alternative to Babel for when you can target modern JS runtimes
bend/paper/BendTT.pdf at main · bendlang/bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh - bendlang/bend
Antithesis: autonomous software testing
Try the Antithesis autonomous testing platform and find bugs in your software with perfect reproducibility
reinterpretcat/qwen3-rs
An educational Rust project for exporting and running inference on Qwen3 LLM family
Hegel
A universal property-based testing protocol and family of libraries, built on Hypothesis
Test-Driven Approaches to Software Engineering with Large Language...
Tests increasingly participate in the decisions made by large language models and software engineering agents. They specify intended behavior, guide program construction and repair, select...
Hypothesis, Antithesis, synthesis
Introducing Hegel, our new family of property-based testing libraries.
How we built an automated unit test generation pipeline for iOS
We generated 85K lines of iOS tests with minimal manual effort.
