AI Field Guide
Interactive guide to AI terms (agent, harness, context window, MCP, RAG) with live demos
BitsExplorer finds what people are building with AI, every day. See today's picks →
A declarative, deterministic language for application logic. Declare types, rules and laws — the compiler proves the laws or returns a counterexample.
Description excerpted from the original listing, which is linked below.
Every Monday: how many projects were built with AI that week, which tools built them, where they came from, and the week's picks.
Read the latest week