Python beginners

28 April 2026 21:55

не lean, но как бы смысл тот же

Python beginners

28 April 2026 21:53

вайбкод верификации это сильно

Python beginners

28 April 2026 21:53

Зачем думать если можно вайбкодить

Python beginners

28 April 2026 21:52

у меня так примерно на 2ом уровне уже произошло

Python beginners

28 April 2026 21:52

а просто знания закончились и настал момент когда надо думать

Python beginners

28 April 2026 21:51

То есть сначала было весело, а потом нет

Python beginners

28 April 2026 21:51

Игра скучная, я умер на комбинаторике сложений

Python beginners

28 April 2026 21:51

Ну это и асинкио так же

Python beginners

28 April 2026 21:50

тем более ты уже в игру играл

Python beginners

28 April 2026 21:49

high time to learn lean4

Python beginners

28 April 2026 21:49

можно без исключения обойтись

Python beginners

28 April 2026 21:48

тяжело сделать саунд

Python beginners

28 April 2026 21:48

ну или теста по "найти кнопку в интерфейсе"

Python beginners

28 April 2026 21:47

слишком длинное, не читаю

Python beginners

28 April 2026 21:46

автору не захотелось

Python beginners

28 April 2026 21:55

https://github.com/rocq-community/fav-ssr/blob/trunk/src/redblack.v

Python beginners

28 April 2026 21:53

Ну вообще все в нашем мире это перепись термов

Python beginners

28 April 2026 21:52

Да не надо там думать, там надо правильно ему объяснить что переставляем местами. Синтаксис всратый

Python beginners

28 April 2026 21:52

В Киберпанк/ведьмака/зельду я несколько месяцев играл

Python beginners

28 April 2026 21:51

час играл и говорит что скучно.

Python beginners

28 April 2026 21:51

не, нахуй такие игры

Python beginners

28 April 2026 21:51

https://adam.math.hhu.de/#/g/leanprover-community/nng4/world/Tutorial/level/0

Python beginners

28 April 2026 21:51

там еще и игра какая то есть?

Python beginners

28 April 2026 21:50

Смысл в том что оно очень просто работает. Ставит в тредстейт указанного потока исключение. А когда проверяются исключения? Когда этот самый тред вызывает что называется <eval breaker>. А когда он вызовется - как карта ляжет.

Python beginners

28 April 2026 21:49

Я все ещё не знаю что за саунды

Python beginners

28 April 2026 21:48

доставка исключения не детерменистична с этим подходом

Python beginners

28 April 2026 21:48

ему и map в питоне не хотелось

Python beginners

28 April 2026 21:47

на входе не хватает опросника по правилам

Python beginners

28 April 2026 21:46

> Must be called with an attached thread state.

А вот это я не очень понимаю

Python beginners

28 April 2026 21:46

Вот объясни мне почему в си апи это есть, а в питоновском нет?