сохраню небольшое видео с введением в Lean:
https://youtu.be/I2zaPoj3G50
мб и что-то такое надо попробовать включить в компьютерные развлечения, не только питон
Post #44
1.65K
- Sep 20, 2026краткий апдейт на тему t.me/compmathweekly/141
- Aug 15, 2026just for fun на каникулах: purplesyringa.moe/blog/log-is-non-monotonic-in-php-and-lua/ — р…
- Aug 6, 2026история про Rowland'а и Sinkhorn limit немного повисла в воздухе — вернемся ненадолго матр…
- Jul 25, 2026будем переходить от многоугольника к новому многоугольнику с вершинами в серединах сторон…
- Jul 21, 2026во время ЛШСМ на компьютерные развлечения не хватает энергии, так что вот пока вместо моег…
- Jul 16, 2026упомянутый в прошлом посте Rowland (относительно) недавно рассказывал, оказывается, на сем…