не успело выйти редкое интервью с Дуровым, а у Лекса уже готов материал про Tact 😮 вот это нюх на тренды. сразу видно, Senior KZitemr 😊
@mazarar8322
5 ай бұрын
Даешь на каждый блокчейн свой язык программирования!
@namelessboar
3 ай бұрын
Либертарианский подход к проге
@okoloboga-37
4 ай бұрын
С целью получения инфы о Такте решил смотреть этот видос. Но узнал кое что сногсшибательное - формальная верификации! Это вы вернуло мой мозг, будет круто посмотреть отдельный видос про эту тему
@anton.sokol812
4 ай бұрын
очень интересное интервью! хочу больше такого контента на тему блокчейна и смарт-контрактов. спасибо за выпуск
@DimaLifeIsGood
4 ай бұрын
О, знаю Антона, помогал разбираться с Когом 😊
@klirmio21
5 ай бұрын
Отдельное спасибо за таймкоды)
@usernamer519
5 ай бұрын
Очень круто!
@TimurShemsedinov
4 ай бұрын
Очень не хочется придираться, интервью хорошее, но создалось впечатление, что в большинстве мест нужно заменить слово семантика на слово синтаксис или синтаксическая структура, потому, что со смысловой нагруженностью кода работаю не линтеры и компиляторы, а человеческая нейросеть или языковая модель. Линтеру, что имя функции buyIceсream, что dropTable одинаково, но вот, что в buyIceсream вторая буква с из кириллицы, он найдет и lowerCamelCase различит
@yarosav5396
3 ай бұрын
нужно ещё Алекса Грызлова и понв в сборе
@mikhailroslov6426
4 ай бұрын
ждём выпуск с Дуровым)
@kipzmo6969
4 ай бұрын
Я все ещё жду шарписта, который разрабатывает приложухи для мобилок. Очень редкая и интересная порода.
@itbeard
4 ай бұрын
У меня такая была, Катя
@danilbraun
2 ай бұрын
00:18:00 ну вообще нет же. Доказательство в математике нужно, чтобы дать понимание (ок, вопрос зачем нужны доказательства дискуссионный). Если доказательство представляет собой что-то нечитаемое и монструозное, никто это читать и, соответственно, разбираться не будет, поэтому понимания, именно /почему/ это что-то верно, не будет, и в математике, возможно, не так важно, верно по итогу утверждение или нет --- точнее, важнее понять, /почему/ верно или неверно, чем определить сам факт верности/неверности.
@esimitley4729
3 ай бұрын
hi! Поподробней об OCAML хочется послушать. Интересно. (Кстати на REACT тоже теперь есть компилятор)
@itbeard
3 ай бұрын
Скоро будет :)
@fxdx0270
5 ай бұрын
Поднялся Антоха)
@couragic
5 ай бұрын
Почему func называют функциональным программированием ? Оно ведь на самом деле процедурное.
@biorr_boletaria
5 ай бұрын
О, Антон!
@breakyourself4043
4 ай бұрын
Где можно взять материалы, почитать по Tact ?
@itbeard
4 ай бұрын
Дока ну
@mikepotanin
5 ай бұрын
Смартконтракты сейчас используются практически только в блокчейне, но потенциально эта идея подходит и для других областей. Напрашивается классический банкинг, но мне кажется более перспективны игры - "если мой корован не будет ограблен, я выплачиваю оговоренную сумму охранникам и оплачиваю половину потерянной в боях техники".
@notslip1000
5 ай бұрын
Обычно смотрю все интервью на x2, сейчас не получилось)
@andor1904
5 ай бұрын
Хаха, да, жизненно
@AlexCoxx
Ай бұрын
А где самое главное, сколько такой мужик зарабатывает?) ну точно больше миллиона в месяц
@spgc239
4 ай бұрын
Реально интервью с Виталием Николаевичем Брагилевским сделать?
@itbeard
4 ай бұрын
Почему бы и нет. Тему бы только :)
@mikepotanin
5 ай бұрын
Idris2 умеет проверять что доказательства не используются в вычислениях.
@mikepotanin
5 ай бұрын
Проблемы с soundness в java и Scala2 в том, что для любого типа можно создать его экземпляр null. В Scala3 сделали что не для любого.
Пікірлер: 45