Hacker Newsnew | past | comments | ask | show | jobs | submit | doofin's commentslogin

As math is becoming harder,we also have better tool to tackle such complexity.For example,it's probably easier to use a theorem prover which supports homotopy type theory to study algebraic topology and synthetic homotopy theory.However,the problem is that we have to understand homotopy type theory first.


Would you like to elaborate a bit about how those graphs are useful ? I think the graphs in roam are too dense to be useful .


Consider applying for YC's Summer 2026 batch! Applications are open till May 4

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

Search: