2-19

longchenpa · Feb 19, 2025 · 5328b04 · 5328b04
1 parent 9b20a91
commit 5328b04
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stream/2025/2025-02-19 HoTT Fascism.htm b/stream/2025/2025-02-19 HoTT Fascism.htm
@@ -25,7 +25,7 @@ <h4>The HoTT language usually used in HoTT community</h4>
     <p>When I had send a letter to a HoTT community about russian invasion
        I got banned and message deleted. I saw Brasilian HoTT members
        wishing Ukrainians got bombed in  Feb 2022. I'm fine with shutdown
-       homotopy grants for Emily Riehl who collaborate with fascist Fizruk.
+       homotopy grants for Emily Riehl who collaborate with fascist Nikolai Fizruk Kudasov.
        That is called Karma. The Agda cubical is ugly bullshit driven by
        incompetent students with no engineering skills. Mathematical
        retards I call them.</p>