Hacker Newsnew | past | comments | ask | show | jobs | submit | AbstractPlay's submissionslogin
1.
Lojban (wikipedia.org)
4 points by AbstractPlay 5 months ago | past
2.
Geordie Williamson: Neural Networks for Mathematical Discovery (youtube.com)
1 point by AbstractPlay on Nov 6, 2025 | past
3.
Is This the End of Handwritten Math? Introducing Lean [video] (youtube.com)
3 points by AbstractPlay on Nov 1, 2025 | past
4.
Why Are LLMs Not Better at Finding Proofs? [video] (youtube.com)
6 points by AbstractPlay on May 31, 2025 | past | 1 comment
5.
How we might have viewed the continuum hypothesis as a fundamental axiom (youtube.com)
1 point by AbstractPlay on May 20, 2025 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: