Hacker Next
Acorn and the future of (AI?) theorem provinglmao.bearblog.dev
30 points by LolWolf 7 days ago | 6 comments