p
то есть реальнный мир этот тот который можно познать. А познать можно только реальный мир.
Всё сходится
Всё сходится
А это Б
Б это А
Конечно все сходится😂
Б это А
Конечно все сходится😂
Size: a a a
2020 June 26
r
"внутреннее представление" в этом контексте называется latent space. если к одной голове нейронки прицепить две жопы, которые будут приводить данные к одному latent space, ты получишь именно вот это вот "объединение мультимодальной информации". именно так работают нейронки, которые описывают, что находится на картинках
Это всё здорово, но наличие специализированных структур в человеческих мозгах (те самые inductive biases), вполне может означать, что на тренировку general purpose сети может уйти намного больше времени и данных, чем у человека. Life-long learning ещё не полностью решено опять-же.
AZ
ocaml это фп или нет?
окамл - мультипарадигменный.
Если пишешь не ссылочно прозрачно - то нет, не фп
Если пишешь не ссылочно прозрачно - то нет, не фп
AZ
А это Б
Б это А
Конечно все сходится😂
Б это А
Конечно все сходится😂
я так и сказал)
t
теоркат в прикладной разработке просто не нужен
у тебя просто не получилось тот тип в идрисе доказать, вот ты и бесишься
AZ
все равно их избежать не выйдет в любом языке из-за неразрешимости проблемы останова
если забить на тьюринг-полноту то легко без боттомов можно жить
p
у тебя просто не получилось тот тип в идрисе доказать, вот ты и бесишься
Какое отношение имеет верификация к теоркату?
t
Какое отношение имеет верификация к теоркату?
никакого, я использую ad hominem
AZ
у тебя просто не получилось тот тип в идрисе доказать, вот ты и бесишься
не связанные вещи. ПРосто теоркат изучает КАТЕГОРИИ, при том что в программировании тебе интересна одна-единственная - Hask.
Вся теория в этом случае вырождается.
Какой смысл изучать взаимодействие КАТЕГОРИЙ имея на руках только одну
Вся теория в этом случае вырождается.
Какой смысл изучать взаимодействие КАТЕГОРИЙ имея на руках только одну
D
не связанные вещи. ПРосто теоркат изучает КАТЕГОРИИ, при том что в программировании тебе интересна одна-единственная - Hask.
Вся теория в этом случае вырождается.
Какой смысл изучать взаимодействие КАТЕГОРИЙ имея на руках только одну
Вся теория в этом случае вырождается.
Какой смысл изучать взаимодействие КАТЕГОРИЙ имея на руках только одну
Hask не категория))
H
Какое отношение имеет верификация к теоркату?
Теоркат имеет отношение ко всему в мире)))
AZ
Dima
Hask не категория))
ну если закрыть глаза на некоторые странности - то более-менее
AZ
никакого, я использую ad hominem
не очень-то эффективно
t
не очень-то эффективно
повезет в другой раз
AZ
повезет в другой раз
AZ
Мало ли, вдруг кто не догадался
t
да, я искал эту же картинку
p
Теоркат имеет отношение ко всему в мире)))
Теоркат изоморфен математике, математика изоморфна миру, значит теоркате изоморфен миру!