This channel is dedicated to modelling politics using complex adaptive systems. The objective is to apply complexity theory to correctly model the political world, it's problems and solutions.

>this diagram of one of the mass graves resulting from collective lethal violence during the Linearbandkeramik period in the neolithic goes so hard lowkey

В треде по ссылке ещё картинки: https://twitter.com/policefala/status/1486908554623832064

🎓🔥 OpenAI обучили нейросеть для решения задач олимпиадой математики, способную доказывать теоремы

OpenAI создали нейронный прувер теорем, который научился решать множество сложных задач олимпиадой математики, включая задачи соревнований AMC12 и AIME.

Это языковая модель для построения формальных доказательств и утверждений. Формально — GPT-3 с 774M обучаемыми параметрами (36тислойный трансформер).

Обучение происходит по методологии expert iteration: каждый раз, когда находится новое доказательство, оно поступает в датесет новых данных для обучения, что улучшает нейронную сеть и позволяет ей итеративно находить решения для все более и более сложных задач.

📑 paper 📝 blog post

https://github.com/gorhill/uMatrix
look like an alternative
upd: even more cool stuff
https://digdeeper.neocities.org/ghost/addons.html

https://www.cambridge.org/core/elements/theoretical-computer-science-for-the-working-category-theorist/5F3499D1F326D2D77567AA1041627699#

Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. In this Element, readers will meet some of the deepest ideas and theorems of modern computers and mathematics, such as Turing machines, unsolvable problems, the P=NP question, Kurt Gödel's incompleteness theorem, intractable problems, cryptographic protocols, Alan Turing's Halting problem, and much more. The concepts come alive with many examples and exercises.

"Distributive laws for pseudomonads." by F. Marmolejo

Paper: http://directory.umm.ac.id/Journals/Journal_of_mathematics/TAC/n5_13.pdf

Video via @andre_videla

What are “shape rotators” and “wordcels”? An explanation: https://roonscape.substack.com/p/a-song-of-shapes-and-words

это из "очень элементарного введения в пучки" (пару дней назад на архив кто-то положил). Не воспринимаю всерьёз потому что автор не собирается отличать предпучки от пучков, из соображений элементарности изложения. Ну а для понятия предпучка вообще никакой интуиции как будто не нужно. Может, я и не прав

https://www.youtube.com/watch?v=6eWG7x_6Y5U
computational schizo-psychology meets Schrodinger equation
big shitpost energy