alt Hacker NewsSad that the article doesn't mention wildberger (coincidentally similar last name), an (in)famous math youtuber that's been mentioned on HN several times before. He has a "rational trigonometry series" an approachable way to see how math would work in an ultrafinite setting.
I was also sad to see him not mentioned. But happy to see his name here.
Hn loves to dismiss him as a crank, which I think is overly harsh.