Yeah this is KaTeX, pre-rendered with Jekyll.

(Except for the diagrams, which are inserted by a Python script after the KaTeX rendering is done.)

Source here https://github.com/hrldcpr/poole/blob/master/_posts/2022-08-...