Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
How to use AI for back to school night
kevinbellco.com·1d
How I Designed & Implemented Evals for Product Talk’s Interview Coach
producttalk.org·3d
How AI Reasoning Mirrors Borge's Library of Babel
hackernoon.com·4d
i had to prompt inject the @united airlines bot because it kept refusing to connect me with a human
threadreaderapp.com·1d
0015/ThatProject
github.com·3h
Loading...Loading more...