Телеграмм чат группы tractorlt страница 2961

обычно чаще по ночам

20:28пожаловаться #1

пруфы конечно затягивают почище игор

20:28пожаловаться #2

часов 5 со свистом может улететь, даже не заметишь

20:29пожаловаться #3

я не понимаю таких слов

20:31пожаловаться #4

Grey Nomad in Lietuvos Traktorius 🚜 ~ @tractorlt

Меня после 2 часов уже вырубает. Мозги кипят. :(

20:31пожаловаться #5

https://en.wikipedia.org/wiki/Coq

Coq

язык с зависимыми типами, он же интерактивное средство доказательств теорем

20:32пожаловаться #7

А, математики

20:32пожаловаться #8

логика/CS скорее

20:33пожаловаться #9

Ну, не моего ума дело

20:33пожаловаться #10

Пойду дальше ямлы шлепать

20:33пожаловаться #11

математика у нас тут довольно простенькая, теория порядков и рядом с ней (теория доменов в частности) плюс немного абстрактной алгебры

20:33пожаловаться #12

Grey Nomad in Lietuvos Traktorius 🚜 ~ @tractorlt

Правда, 2 часа в KSP тоже мозги знатно грузят.

20:33пожаловаться #13

Grey Nomad in Lietuvos Traktorius 🚜 ~ @tractorlt

Так вот откуда ямы на самарских дорогах.

20:34пожаловаться #14

2021 August 05

Igor Milko in Lietuvos Traktorius 🚜 ~ @tractorlt

😂

Igor P in Lietuvos Traktorius 🚜 ~ @tractorlt

01:41пожаловаться #15

отлично зашел в хату

Igor P in Lietuvos Traktorius 🚜 ~ @tractorlt

17:46пожаловаться #16

сразу с козырей

17:46пожаловаться #17

а чо там было

Igor P in Lietuvos Traktorius 🚜 ~ @tractorlt

17:48пожаловаться #18

ковид диссидентство с закадром как в анонимусах

17:48пожаловаться #19

штук 20 форвардов постов антивакса)