HN
Hacker News
Top
New
Best
Ask
Show
Jobs
demibabs
763 karma · joined August 6, 2026
submissions
comments
A Critical Look at Lean4
lesswrong.com
·
2 pts
·
demibabs
·
0
Ask HN: Is Astra's writing starting to bother anyone else?
2 pts
·
demibabs
·
2