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

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

Python beginners

28 April 2026 21:45

ну, ctypes тут скажем так сбоку

Python beginners

28 April 2026 21:44

Ну это какое-то приватное апи

Python beginners

28 April 2026 21:42

тред может быть внутрях сишной процедуры которая ещё 20 минут будет биткоины майнить и не трогать интерпретатор

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:45

публичное апи к си, чтобы вызывать публичное апи к оси

Python beginners

28 April 2026 21:45

https://docs.python.org/3/c-api/threads.html#c.PyThreadState_SetAsyncExc

Python beginners

28 April 2026 21:43

kill -9 на родительский процесс

Python beginners

28 April 2026 21:42

вон в питоне в тасках отмена это CancelledError или как оно там