Недавно посмотрел превосходный и очень глубокий доклад Кевлина Хени который называется "Шесть невозможных вещей".
У Льюиса Кэрола в "Алисе в Зазеркалье", Белая Королева говорила что может поверить в шесть невозможных вещей -- и это только до обеда. Сам доклад выстроен в том же стиле -- мы никогда не можем угадать куда нас вынесет мысль автора и чем дальше тем всё становится чудесатее. Но оторваться невозможно.
00:00 Начало. Можно пропустить.
03:13 Шестое. Представления могут быть бесконечными.
Автор рассматривает бесконечности, их физический и логический смысл. На семнадцатой минуте автор пинает ногами любителей доказывать свойства программ. Также вы узнаете что такое std::midpoint.
24:39 Пятое. На любой вопрос можно найти ответ.
В начале автор пинает ногами ChatGPT, строго по фактам. По делу, строго по делу. Дальше немного говорит о таймзонах, а потом начинается длинный но очень интересный экскурс в то как NaN'ы играют со стандартными контейнерами и это чистое восхищение. Я утащу в свои лекции. После короткого блока ответов на вопросы автор пишет богосорт и рассуждает что такое алгоритмы. Он вообще что хочет то и творит.
01:16:41 Четвёртое. Каждая истина может быть установлена там где она применима.
Автор начинает с проблемы останова и Гёделевской неполноты, но потом переходит на strlen. Дальше немного пинает machine learning в целом.
01:24:25 Третье. Будущее может быть известно до того как случится.
Допустим вы проектируете таблицу для базы данных винного магазина. Вы называете её "вина". К вам приходят и говорят: но это не будет масштабироваться если мы добавим пиво, давай её назовём "напитки". Что тут надо ответить? Очевидно "напитки" не будут масштабироваться на лёд, а тем более на услуги. Возможно стоит назвать её table1 =)
Автор проходится по предсказанию переходов в железе, а потом вдруг воспаряет на менеджерские высоты и долго и больно пинает концепцию роадмапа. О да, я тоже всегда так хотел.
01:35:20 Второе. Распределённые системы познаваемы.
Если вы не знали, распределённая система это такая в который ваш компьютер может стать бесполезен из-за отказа другого компьютера о котором вы ничего не знали.
01:44:02 Первое. Технический долг так же исчислим как и финансовый.
И блестящий финальный аккорд. Автор опять воспаряет на высоты духа и объясняет что такое на самом деле так называемый "технический долг". Завершение внезапное и превосходное.
01:55:29 Завершение и вопросы. Можно прочитать цитату на таймстемпе и дальше пропустить.
Я планирую растащить этот доклад на куски и цитаты и много где его использовать. Блок с нанами пойдёт в лекции для второго курса по стандартной библиотеке, остальное тоже пристрою что куда. Редко, очень редко встречаешь человека который был бы так близок к моему мнению в самых фундаментальных вопросах.
https://www.youtube.com/watch?v=p5sLx2OTP4M
P. S. выложу последний в этом году семинар 4.3 для первого курса в субботу. Также скоро будет большое интервью со мной (выйдет видимо двумя частями), тоже тут анонсирую.
#talks
У Льюиса Кэрола в "Алисе в Зазеркалье", Белая Королева говорила что может поверить в шесть невозможных вещей -- и это только до обеда. Сам доклад выстроен в том же стиле -- мы никогда не можем угадать куда нас вынесет мысль автора и чем дальше тем всё становится чудесатее. Но оторваться невозможно.
00:00 Начало. Можно пропустить.
03:13 Шестое. Представления могут быть бесконечными.
Автор рассматривает бесконечности, их физический и логический смысл. На семнадцатой минуте автор пинает ногами любителей доказывать свойства программ. Также вы узнаете что такое std::midpoint.
24:39 Пятое. На любой вопрос можно найти ответ.
В начале автор пинает ногами ChatGPT, строго по фактам. По делу, строго по делу. Дальше немного говорит о таймзонах, а потом начинается длинный но очень интересный экскурс в то как NaN'ы играют со стандартными контейнерами и это чистое восхищение. Я утащу в свои лекции. После короткого блока ответов на вопросы автор пишет богосорт и рассуждает что такое алгоритмы. Он вообще что хочет то и творит.
01:16:41 Четвёртое. Каждая истина может быть установлена там где она применима.
Автор начинает с проблемы останова и Гёделевской неполноты, но потом переходит на strlen. Дальше немного пинает machine learning в целом.
01:24:25 Третье. Будущее может быть известно до того как случится.
Допустим вы проектируете таблицу для базы данных винного магазина. Вы называете её "вина". К вам приходят и говорят: но это не будет масштабироваться если мы добавим пиво, давай её назовём "напитки". Что тут надо ответить? Очевидно "напитки" не будут масштабироваться на лёд, а тем более на услуги. Возможно стоит назвать её table1 =)
Автор проходится по предсказанию переходов в железе, а потом вдруг воспаряет на менеджерские высоты и долго и больно пинает концепцию роадмапа. О да, я тоже всегда так хотел.
01:35:20 Второе. Распределённые системы познаваемы.
Если вы не знали, распределённая система это такая в который ваш компьютер может стать бесполезен из-за отказа другого компьютера о котором вы ничего не знали.
01:44:02 Первое. Технический долг так же исчислим как и финансовый.
И блестящий финальный аккорд. Автор опять воспаряет на высоты духа и объясняет что такое на самом деле так называемый "технический долг". Завершение внезапное и превосходное.
01:55:29 Завершение и вопросы. Можно прочитать цитату на таймстемпе и дальше пропустить.
Я планирую растащить этот доклад на куски и цитаты и много где его использовать. Блок с нанами пойдёт в лекции для второго курса по стандартной библиотеке, остальное тоже пристрою что куда. Редко, очень редко встречаешь человека который был бы так близок к моему мнению в самых фундаментальных вопросах.
https://www.youtube.com/watch?v=p5sLx2OTP4M
P. S. выложу последний в этом году семинар 4.3 для первого курса в субботу. Также скоро будет большое интервью со мной (выйдет видимо двумя частями), тоже тут анонсирую.
#talks