я ищу скорее справочник какой-то, чтобы укомплектовать свои знания

картинки отсюда https://info.ucl.ac.be/~pvr/VanRoyChapter.pdf

шо там?

вот я нашел совсем для детей http://docs.idris-lang.org/en/latest/proofs/definitional.html

такое лучше кидать файлами

пережато ппц

Dirty valley boys bewildered by glorious actualisation of Trump can't see the truth that there is only but one enemy of the so–called people and that is Augmentation; carelessly it carries the jobs of the poor away, giving way for more and more all–encompassing perpetuating logic of Kapital. I can say with assured sincerity that if it comes down to Augmentation to unfold before our eyes as our penultimate goddess, it will rule alongside its king Kapital hand–in–hand. Think of a perfectly objective cost function—perhaps too deadly to exist; such that learning itself as of that moment will come second to computing, the tables turn—in perpetual motion, causing ripples across the pond of perceived reality, or rather the state of the affairs as such. The perfectly computational logic of Augmentation, timely clashing with the hopelessly discursive logic of Kapital. (I can hear the sound of a virtual machine, and I must admit at times it seems like we live in a reality of cashed–in chips.) And the very same boys from Palo alto will later sing praise to Big Chungus and fantasize of its magnificent computation scale. Facebook, Apple, Amazon, Netflix, Google. Continuity seems so far away now, it seems as though it's a long–forgotten feature of text to be continuous; hyper text is what's deeply seated in control. How we read history is more akin to elaborate dancing in the space of self–referenial critique, attempting to deconstruct itself in pursuit of some apocryphal and unsound notions. The systems of knowledge, discipline, and much of the engineering capability–are heavily concerted to accomodate this condition of text. Have we made Satan when we let this language–form ultimately go collective? Augmentation is its name, and when in tears we called for AI, it answered the call.

чето статьи о том почему не пруфается веселее чем сами пруфы

кто-то наштамповал статей, которые проводят соответствие между шаблонами проектирования и теорией категорий

Вернуться что-ли смотреть и читать Бартоша, но с другой стороны,а зачем мне это) хотя не спорю интересно капец

типичные растеры

вкладка в intellij idea по умолчанию закрывается на Ctrl+Fn4

вланг изобретешь?

в вланг есть лайфтаймы?

ну автор говорит что да

бинды идеи это вообще особый вид искусства походу

но они сдохшие

ну абсолютно не секрет, что автор там тот ещё оболтус