AV
<related анекдот про винни и пятачка>
Size: a a a
2020 September 28
Y
этапять! (кто-то сомневался в своих шутках - судя по этой, нет повода ))
Спасибо ^.^
AI
если продвинутые не по кложе, например, а курс по кложе - будет точно
А по Кложе я наверное застесняюсь читать, тут есть много более продвинутых в ней чем я. Я по всякой фигне лучше )
AT
Меня посетила мысль, а никто не хочет сделать небольшой курс по хаскель/идрис/эрланг/кложа/мб что-то другое на базе Нейрона?
Я б какой-нибудь курс онлайн почитал бы)
L
Я б какой-нибудь курс онлайн почитал бы)
а это как?)
AT
а это как?)
Как офлайн, но только онлайн ;)
YS
А по Кложе я наверное застесняюсь читать, тут есть много более продвинутых в ней чем я. Я по всякой фигне лучше )
тогда точно интересно будет х)
YS
Я б какой-нибудь курс онлайн почитал бы)
А по какой теме? с:
L
Как офлайн, но только онлайн ;)
хм... я наверное будет странно..
AI
норм, щас везде онлайн-обучение, скоро школы опять переведут
YS
а я вообще далеко живу, у меня без вариантов
AT
А по какой теме? с:
Или coq или что-нить по теории (ненужных) типов
YS
поэтому согласный на всё
YS
Или coq или что-нить по теории (ненужных) типов
теория мешающих писать типов с:
AT
хм... я наверное будет странно..
Для лектора это ещё страньше, как показывает опыт онлайн-преподавания а кс центре
AT
теория мешающих писать типов с:
Первый раз слышу, что типы кому-то писать мешают
YS
!!!
YS
я не буду цитировать сюда никого)
AI
в чатик - не мешают. хотя и тут иногда оппонируют