You can now spin up Unison Cloud clusters on your own infrastructure!

✅ Build elastic distributed systems and services in vastly less code
✅ Fast, typed RPC
✅ Deployments in seconds
✅ Free to get started

youtu.be/0sZqI1XoGLY

Искал про машинное обучение, нашел чудесное про игры:
stratum.ac.ru/education/te...
stratum.ac.ru/education/te...
stratum.ac.ru/education/te...
stratum.ac.ru/education/te...
Во многих играх (из теории игр) равновесие Неша оказывается не слишком выгодным для всех участников.

This is true

Acorn and the future of (AI?) theorem proving. ~ Guillermo Angeris. lmao.bearblog.dev/acorn-ai-pro... #ITP #LeanProver

Беседую с ИИ.
ИИ: Разделение по температурам: В неоднородном поле может происходить пространственное разделение частиц по температурам: более горячие частицы будут концентрироваться в областях с более слабым полем.

is this anything

Мне рассказали, что раньше и вода была мокрее, и дуолинго дуолигоиее, и в курсе иврита было объяснение грамматики. Я помню, что объяснения пропали из курса испанского, но я тогда подумал, что это от того, что я перешел на следующий уровень.

What if Trump's election is Chaos Engineering?

I have read "Stars maker" by Olaf Stapledon. It is a great book. When I found my religion, this book will be one of the sacred ones.

#categorytheoryillustrated got a design makeover, plus there is some new content, at the ending of the second and fifth chapters.

I also started distributing a epub and pdf version of my books which are available for my Ko-fi and Patreon supporters […]

[Original post on mathstodon.xyz]