Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
AMP Achievers in Their Forties 2025: Toni Lindsey
armoneyandpolitics.com·1h
Reading Today: Samantha Kelley and Homeschool Advice
sciolus.bearblog.dev·7h
SYNTAXIA Devlog — “Still Cooking: New Systems, UI, and a Sneak Peek”
spelkollektivet.itch.io·3h
Shepherd × Goblins update
spritely.institute·3d
Why better AI needs better simulators - Salesforce's AI Research Chief Scientist Silvio Savarese explains why
diginomica.com·2d
Loading...Loading more...