[orangea]

At least this is a topic that the average HN reader is likely to be able to understand and which is closely related to software. Several years ago there was a period where there were periodic posts about things like homotopy type theory and research-level algebraic geometry which inevitably spark only inane misunderstandings and uninformed speculation in the comments. I can only attribute it to some kind of fetish for the frontiers of pure math.

[kisonecat]

AG maybe isn't so connected to software, but HoTT connects to the "functional programming" crowd. https://youtu.be/MVtlD22Y8SQ is me doing some examples.