https://2ch.hk/pr/res/972961.html просто это путь жжшного илитклоуна первая волна илитблядства: хаскiль, дрочка на мощные системы типов и кокотегориальность, утверждение о прикладной пользе всего этого в повседневном программировании вторая волна илитблядства: дрочка на завтипы, пруверы, начало интуиционистского маразма третья волна илиблядства, предтерминальная: отход в кококонструкивистский манямир с кукарекам про полную автоматизацию математики, постоянная фокусировка на основаниях по всей видимости, четвёртая финальная стадия: полная деградация до ультрафинитизма и понимания математики на уровне древних греков тут можно провести аналогию с фемками первая волна - задачи чисто прикладные, движение по законодательно-правовому направлению вторая волна - направление тоже вроде прикладное, хотя задачи весьма расплывчатые, уже появляются какие-то обощения и теор. обоснования, вроде теории пересечений третья волна - полнейший пиздец с gender science и privilege theory, и прочими фундаментальными открытиями, которые должны изменить мир в обоих случаях имеем типичный криптомарксизм: всё плохо, потому что всё с самого основания ниправильна, нужно всё изменить, мы знаем как это сделать, ко-ко-ко ривалюция нужно привозмогать и высрать нового человека, и новое общество, без классов, полового диморфизма и модус понес, аминь ну и конечно же бесконечный самоподдув, заключающийся в ощущении себя неибаца прогрессивным