News for hackers. Stuff that matters.
Re:This open problem taught me what topology is [video] by jebarker on Wednesday December 25, 2024 @05:21PM (#42511566)
Yeah, I really hope so. I'm hoping that my background is going to allow me to work/play in this area. I'm currently learning about theorem provers so I can get involved.
Re:This open problem taught me what topology is [video] by vismit2000 on Wednesday December 25, 2024 @11:51PM (#42513193)
Recently on HN: https://news.ycombinator.com/item?id=42440016

Maybe this can aid in your learning.

Re:This open problem taught me what topology is [video] by jebarker on Thursday December 26, 2024 @12:12AM (#42513268)
This is great - thanks for sharing