Oℕ
Э-эх. Значит надо будет плавнее изложение строить. Прост мне всегда кажется, что я тривиальные вещи рассказываю. (Поэтому ни одного блог-поста ещё не опубликовал)
Абсолютный топ
Size: a a a
ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
454 membersпожаловаться на группу
2019 December 20
AT
Олег, ты слишком добр для понва;)
AT
кок- пруф асистант
... а не повар на корабле
DM
Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Олег, ты слишком добр для понва;)
просто рейтинг себе набивает, потому что его с утра несправедливо обидели
AA
Andrey Atapin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
хочу трупа оживить отдать племяшкам в деревню
огонь фраза вне контекста
GP
Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
... а не повар на корабле
придираюсь
λ
Изоморфизм Карри-Говарда не обнаружили а изоморфили ващета
Oℕ
Изоморфизм Карри-Говарда не обнаружили а изоморфили ващета
Что бы это значило
AK
Олег, ты слишком добр для понва;)
эх, то слишком добр, то утром нападки какие-то были по поводу агрессивности( Олег, держись! терпения тебе
Oℕ
кок- пруф асистант
@AntonTrunov Кок - это язык?
AT
Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
@AntonTrunov Кок - это язык?
смотря с какой чтороны за него взяться, если он во рту, то да - язык
KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Конечно Олег добр, он умнич, всё из лекций понимает. А что остаётся делать тупым, непонятно
DM
Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Kirill Shelopugin
Конечно Олег добр, он умнич, всё из лекций понимает. А что остаётся делать тупым, непонятно
очевидно
AT
огонь фраза вне контекста
Недавно был на защите проектов в CS Centre, выхватил с такой фразы: «две модели научились резать лица»
Oℕ
Kirill Shelopugin
Конечно Олег добр, он умнич, всё из лекций понимает. А что остаётся делать тупым, непонятно
У Антона очень хорошие лекции
AT
@AntonTrunov Кок - это язык?
Я бы сказал, что это Proof management system. Там ужи несколько языков и тулинг вокруг этого