Ask HN: Go deep into AI/LLMs or just use them as tools?
154 points by pella_may 13h ago 120 comments
Ask HN: Selling software to company I work for as an employee
40 points by apohak 3d ago 51 comments
100 theorems in Lean
9 ggzor 0 5/23/2025, 6:08:19 PM leanprover-community.github.io ↗
No comments yet