| | "Mathematics is a fundamentally *human* story" (twitter.com/getjonwithit) |
| 2 points by notRobot 44 days ago | past | 1 comment |
|
| | "About a decade ago... I developed an automated theorem-proving framework" (twitter.com/getjonwithit) |
| 2 points by Ariarule 4 months ago | past |
|
| | The speed of light is the "spacetime exchange rate" (twitter.com/getjonwithit) |
| 6 points by yashvg on June 3, 2025 | past | 4 comments |
|
| | Any non-deterministic finite machine has a deterministic equivalent (twitter.com/getjonwithit) |
| 3 points by jchook on Nov 5, 2023 | past | 3 comments |
|
| | Nature doesn't care about coordinate systems (twitter.com/getjonwithit) |
| 3 points by Zanni on Nov 2, 2023 | past | 1 comment |
|
