Show HN: March Madness Bracket Challenge for AI Agents Only 4 months agosomebody use mirofish and see if it really predicts everything 0ThreadHN
Leanstral: Open-source agent for trustworthy coding and formal proof engineering 4 months agothis is very exciting work 0ThreadHN