AS
auto trait выполнит функцию оптимизирующего компилятора?
Это ты уже в бэке сможешь
Size: a a a
2020 October 31
b
главный квест логоса это понять как кодировать логическую форму. потому что парсер конечно производит грамматический граф предметной области (множества доступных диалектов) но нужно его запихнуть в encoder таким образом, чтобы сохранить свойства всех последовательностей
b
то есть не до конца понятно как тренировать “мозги” то, что называется лексиконом (с ним работают duct и deduct программы), но как только появится какая–то внятная графовая алгебра, над которой пара математиков уже работает, то можно будет сразу говорить про использование языка как морфизм в этом грамматическом графе
b
если мы сможем доказать, что эта алгебра корректна, то реализация нейронной сети которая будет кодировать ее отношения — это все более и более тривиальная задача. особенно после успехов графовых нейронных сетях с доказательствами теорем в логике первого порядка и претрейн трансформерами для работы с текстовыми последовательностями
p
Растаманы: сделаю охуенную опенсорс библиотеку для телеграм ботов чтобы все кончили от ее вида.
Хаскелисты: выложу в опенсорс прелюд.
Хаскелисты: выложу в опенсорс прелюд.
p
Переслано от Kirill Valyavin
А есть кастомная прелюдия, которая ничего особо не делает, но добавляет импорты типа Control.Monad, Control.Concurrent
Как Universum, только чтобы не выпендривалось
Как Universum, только чтобы не выпендривалось
p
p
X
Программистов с праздником
b
p
Не понял прикола
b
Не понял прикола
ну ты можешь то же самое написать без апострофа?
p
ну ты можешь то же самое написать без апострофа?
Нет, выйдет другой смысл
H
shoes of merchant?
p
Может тут какая-то игра с тем что непонятно "купец надел обувь" или "купец продает обувь" хз
H
может
SP
Gérard Huet
b
shoes of merchant?
шаришь
b
я не знаю чего Полунин начал мудрить
H
а в чем прикол был