AV
Хочу доклад по моделированию докладов
Size: a a a
2020 May 27
L
Хочу доклад по моделированию докладов
Мы ещё не пали так низко
YS
Хочу доклад по моделированию докладов
Сначала нужен сборщик сборщиков мусора (из соседнего чата)
AV
Мы ещё не пали так низко
Ну моделирование и формальная верификация докладов, их типизирование и тестирование
L
Ну моделирование и формальная верификация докладов, их типизирование и тестирование
Отличная тема на 1е апреля! Ещё верификатор запустим...да...
AV
Там р(
я вот пытаюсь осознать как дожен выглядеть смайл "p(" и у меня это не складывается в картинку
AI
До 1 апреля времени вагон
YS
я вот пытаюсь осознать как дожен выглядеть смайл "p(" и у меня это не складывается в картинку
злой циклоп
L
До 1 апреля времени вагон
Как раз верификатор напишем...да...
AV
Я вот не умею верификаторы писать!
AV
Есть повод научиться
AV
А 1 апреля хорошо вещи публиковать, как GHC например, провалится - все поймут, что была просто шутка
АГ
И языки типа Хаскеля
YS
@graninas а на какую тему доклад хотел второй?
АГ
@graninas а на какую тему доклад хотел второй?
Есть ряд идей, но для начала спрошу у общественности
АГ
Итак, @общественность, что бы вы хотели послушать в моем исполнении?
YS
Про архитектуру уже много рассказывал, я бы послушал разного рода саксесс стори, когда всё это стрельнуло)
АГ
Про архитектуру уже много рассказывал, я бы послушал разного рода саксесс стори, когда всё это стрельнуло)
Это хорошая идея, и у меня таких историй две
YS
Если там можно будет подробно, интересно, и с примерами на два часа растянуть - то и полноценный доклад!
АГ
Если там можно будет подробно, интересно, и с примерами на два часа растянуть - то и полноценный доклад!
Ты хотел сказать "ужать в 2 часа". Там материала больше гораздо