Python beginners

29 April 2026 19:26

TextMate помню был такой

Python beginners

29 April 2026 19:21

нейронка: так, кладу wine в архив

Python beginners

29 April 2026 19:18

но он и в geany тот же

Python beginners

29 April 2026 19:18

Ты думаешь, это не порт нотепад++, а что то совсем не связанное?

Python beginners

29 April 2026 18:54

Звучит очень сомнительно...

Python beginners

28 April 2026 22:00

Prove that dishka is sound.

Python beginners

28 April 2026 21:56

Ну там явно можно было доказать один раз что a+...+c = a+c+..., но заставляют для 5-6 аргументов вручную

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

29 April 2026 19:25

Как будто бы самое адекватное решение...

Python beginners

29 April 2026 19:19

Я бы предположил, что нейронкой ткнули в проект и сказали "портировай".

Python beginners

29 April 2026 19:18

ну может движок рисования буковок тот же

Python beginners

29 April 2026 18:59

Там всё очень сильно завязано на winapi.
https://community.notepad-plus-plus.org/topic/26867/linux-desktop-version-of-notepad-plus-plus-native-crossplatform

Python beginners

29 April 2026 08:25

You need to be an admin to do this.

Python beginners

28 April 2026 22:00

И из-за этого дальше при сочетании с умножением становится муторно доказывать

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

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