[bubblyworld]

That's a theory, but I think it's more likely that the few people in the world who deeply understand schemes are locked in the basement of a mathematics department somewhere, and not on hacker news =P

[gsf_emergency_4]

Ah those delvers who remember their lock combinations might still visit HN then (hello @Syzygies?

https://raw.githubusercontent.com/Syzygies/log_folders/maste...

And ahem ahem singularities https://johncarlosbaez.wordpress.com/2025/11/05/the-inverse-... )

[aleph_minus_one]

> That's a theory, but I think it's more likely that the few people in the world who deeply understand schemes are locked in the basement of a mathematics department somewhere, and not on hacker news =P

I rather think that because of the very low career prospects in research, quite a lot of people who are good in this area rather left research and took some job in finance or at some Silicon Valley company, and thus might actually at least sometimes have a look at what happens on Hacker News. :-)

[gsf_emergency_4]

Lean4 is "sponsored" by Microsoft

See pages 9-10, 14 https://web.archive.org/web/20250818144653/https://aitp-conf...

Also https://youtu.be/g2--VL2SkMo?t=44m42s

[bubblyworld]

I think you overestimate how many people exist in the world with a professional interest in algebraic geometry! The vast majority of mathematicians have no idea how to compute with schemes (and there aren't that many of them to begin with).