"Конкурс на новый факультет ИИ МГУ составил 127 человек на место"
Спорим, что AI делает 1% людей умнее и 99% людей глупее?
Спорим, что AI делает 1% людей умнее и 99% людей глупее?
👌27🐳7❤6👍6
.
Облако драгоценностей за неделю.
Приватный клуб.
null
Для донов-начинающих:
Продолжаю набор (эксклюзивно для донов) на занятия для начинающих с полного/около нуля, 2 места закончились за 22 минуты...
Если вы завязли с изучением программирования, не сидите сложа руки. Продолжайте над этим работать!
(Хотя конечно лучше делать этот целенаправленно — с теми, кто даст вам кратчайший путь)
И вот долгосрочный способ мотивировать себя...
Для донов-неначинающих:
Разбор System Design с точки зрения непрерывных компромиссов. Заключительная серия. В System Design важно прежде всего понимать, как ...
Продолжаю выкладывать для донов материалы СильныхИдей — доступны моим курсантам, но тут расширенные и дополненные версии.
101. 9 крутых и необычных сайд-проектов
Например, виртуальная стековая машина или container runtime :)
100. Группировка в функциях и файлах
Вы написали метод из 30 строк. В нём вы замечаете фрагменты, которые вроде бы выполняют более мелкие действия. Разбиваете ли вы этот метод на более мелкие методы, по SRP? И да, и нет -- будет плохо :)
(все старые материалы для донов быстро сгорают)
=
Новые материалы для ментатов Лаборатории.
СильныеИдеи:
153) Фасадные тесты
Что такое юнит в юнит-тестировании? Что означает изоляция?
152) TDD vs VHD
TDD -- это парадигма, это целая культура и набор норм, частично основанных на TFD. Test-First Development (TFD) -- это просто правило "пиши тесты, прежде чем писать код", которое в более широком смысле частный случай Verification-First Development (VFD), а TDD к VFD не относится никак...
В раздел "Элитный программист" добавлен материал
100) Вглубь потока и deep work
Мы говорили про Deep Work, подразумевая в частности состояние потока. Но что именно подразумевается конкретно под глубоким потоком/работой -- той самой глубокой форме состояния потока, когда творческий потенциал достигает наивысшего уровня, время уходит быстрее всего, а производительность достигает абсолютного для вас пика?
=
"Функциональные архитектуры" 158(+4) топиков.
На неделе продолжим тему DSL и декларативных языков для агентов.
Last Principles Framework: готовы 26(+3) задач, закрыты 12(+0) тем из ~20 первого уровня. Вы же понимаете например, когда сделали сборку некоторого артефакта через независимые вызовы (что вроде бы идеально по всем классическим рекомендациям вроде Чыстой Архытектуры), из-за отсутствия коммутативности однако получаете рассинхрон ("стрелки из апекса в каждый узел вниз" далеко не всегда конус теорката, и почему здесь по большому счёту лучше ко-конус)?
=
"ЛаМПовое":
Гарри Поттер и Неорганический Интеллект. Глава 19/23.
=
it's a privilege to do things that are hard 💪🏻
=
Ты ничего не видишь, хотя и думаешь, что твои глаза открыты.
предостережение Бене Гессерит, "Дюна"
Облако драгоценностей за неделю.
Приватный клуб.
null
Для донов-начинающих:
Продолжаю набор (эксклюзивно для донов) на занятия для начинающих с полного/около нуля, 2 места закончились за 22 минуты...
Если вы завязли с изучением программирования, не сидите сложа руки. Продолжайте над этим работать!
(Хотя конечно лучше делать этот целенаправленно — с теми, кто даст вам кратчайший путь)
И вот долгосрочный способ мотивировать себя...
Для донов-неначинающих:
Разбор System Design с точки зрения непрерывных компромиссов. Заключительная серия. В System Design важно прежде всего понимать, как ...
Продолжаю выкладывать для донов материалы СильныхИдей — доступны моим курсантам, но тут расширенные и дополненные версии.
101. 9 крутых и необычных сайд-проектов
Например, виртуальная стековая машина или container runtime :)
100. Группировка в функциях и файлах
Вы написали метод из 30 строк. В нём вы замечаете фрагменты, которые вроде бы выполняют более мелкие действия. Разбиваете ли вы этот метод на более мелкие методы, по SRP? И да, и нет -- будет плохо :)
(все старые материалы для донов быстро сгорают)
=
Новые материалы для ментатов Лаборатории.
СильныеИдеи:
153) Фасадные тесты
Что такое юнит в юнит-тестировании? Что означает изоляция?
152) TDD vs VHD
TDD -- это парадигма, это целая культура и набор норм, частично основанных на TFD. Test-First Development (TFD) -- это просто правило "пиши тесты, прежде чем писать код", которое в более широком смысле частный случай Verification-First Development (VFD), а TDD к VFD не относится никак...
В раздел "Элитный программист" добавлен материал
100) Вглубь потока и deep work
Мы говорили про Deep Work, подразумевая в частности состояние потока. Но что именно подразумевается конкретно под глубоким потоком/работой -- той самой глубокой форме состояния потока, когда творческий потенциал достигает наивысшего уровня, время уходит быстрее всего, а производительность достигает абсолютного для вас пика?
=
"Функциональные архитектуры" 158(+4) топиков.
На неделе продолжим тему DSL и декларативных языков для агентов.
Last Principles Framework: готовы 26(+3) задач, закрыты 12(+0) тем из ~20 первого уровня. Вы же понимаете например, когда сделали сборку некоторого артефакта через независимые вызовы (что вроде бы идеально по всем классическим рекомендациям вроде Чыстой Архытектуры), из-за отсутствия коммутативности однако получаете рассинхрон ("стрелки из апекса в каждый узел вниз" далеко не всегда конус теорката, и почему здесь по большому счёту лучше ко-конус)?
=
"ЛаМПовое":
Гарри Поттер и Неорганический Интеллект. Глава 19/23.
=
it's a privilege to do things that are hard 💪🏻
=
Ты ничего не видишь, хотя и думаешь, что твои глаза открыты.
предостережение Бене Гессерит, "Дюна"
2❤29👍8❤🔥2⚡1
В тему поста Р.С.
Стоики: Cамые опасные мрази, которых и одного процента не наберётся. Во-первых, не ломаются после 2–3 неуспешных проектов подряд.
Во-вторых, способны докручивать плохой проект и переживать 5–10 волн правок
Это относится конечно не только к геймдеву, к любым проектам.
Действительно забавно, что лучший способ создать хороший проект -- это создать дерьмовый проект, а затем постепенно, с течением времени, делать его всё менее и менее дерьмовым. Стратегически же, схема такая, что производя плохие продукты достаточно долго, ты в конечном итоге сможешь сделать действительно хороший продукт :)
И день, когда это произойдёт, станет вашим последним рабочим днем.
Потому что вы меняете своё отношение к происходящему. Это уже не "Мне пора идти на работу", это "Вау! Я начинаю работать над задачами, которые мне действительно нравится решать".
Вы, вероятно, будете работать в 10 раз больше и думать в 10 раз больше, когда работаете на себя, чем когда работаете в найме, но вы также будете в 10 раз счастливее.
Знаете анекдот про коуча продуктивности? Умер такой коуч, и гроб с его телом несут к могиле шестеро человек. Но когда они подошли к могиле, крышка гроба открылась, коуч приподнялся и закричал: "Если бы вы поставили эту штуку на колёса, вы бы смогли похоронить сразу четверых!"
Инфоцыгане любят продавать предпринимательство как получение/обладание хорошими идеями или определёнными навыками (продаж), но вот вам абсолютная сермяга успеха: всё дело в поиске темы, которой вам нравится заниматься, и работать в ней в течение как минимум десяти лет.
Стоики: Cамые опасные мрази, которых и одного процента не наберётся. Во-первых, не ломаются после 2–3 неуспешных проектов подряд.
Во-вторых, способны докручивать плохой проект и переживать 5–10 волн правок
Это относится конечно не только к геймдеву, к любым проектам.
Действительно забавно, что лучший способ создать хороший проект -- это создать дерьмовый проект, а затем постепенно, с течением времени, делать его всё менее и менее дерьмовым. Стратегически же, схема такая, что производя плохие продукты достаточно долго, ты в конечном итоге сможешь сделать действительно хороший продукт :)
И день, когда это произойдёт, станет вашим последним рабочим днем.
Потому что вы меняете своё отношение к происходящему. Это уже не "Мне пора идти на работу", это "Вау! Я начинаю работать над задачами, которые мне действительно нравится решать".
Вы, вероятно, будете работать в 10 раз больше и думать в 10 раз больше, когда работаете на себя, чем когда работаете в найме, но вы также будете в 10 раз счастливее.
Знаете анекдот про коуча продуктивности? Умер такой коуч, и гроб с его телом несут к могиле шестеро человек. Но когда они подошли к могиле, крышка гроба открылась, коуч приподнялся и закричал: "Если бы вы поставили эту штуку на колёса, вы бы смогли похоронить сразу четверых!"
Инфоцыгане любят продавать предпринимательство как получение/обладание хорошими идеями или определёнными навыками (продаж), но вот вам абсолютная сермяга успеха: всё дело в поиске темы, которой вам нравится заниматься, и работать в ней в течение как минимум десяти лет.
1❤36👍4❤🔥3⚡2💯1
Зашёл на госуслуги, с ходу нашёл два эээ бага 😁
😁50⚡2
Срочно!!1 Сегодня солнечное затмение: благословение Защитника традиции Великого Совершенства :) Кармические последствия от совершённых действий увеличиваются в неисчислимое количество раз! Решения, принимаемые сегодня, будут иметь последствия на следующие 18 лет.
Поэтому, рекомендую лучше не дёргаться, и провести день в спокойном присутствии и отстранённом наблюдении, за всей этой комедией.
С другой стороны, если вы давно планировали взяться за "свой проэкт" (например, киллер доты2), то сегодня наилучший день, чтобы начать.
Многие проблемы в жизни возникают из-за того, что вы избегаете того, что в глубине души вам следует делать.
Никогда не забывай людей, которые намного глупее тебя, и сумели добиться огромного успеха. Те же волосатики с гитарами. Мик Джаггер например в 83 годика выпустил этим летом новый альбом "Foreign Tongues", и взялся за следующий.
Таки, начьните.
Поэтому, рекомендую лучше не дёргаться, и провести день в спокойном присутствии и отстранённом наблюдении, за всей этой комедией.
С другой стороны, если вы давно планировали взяться за "свой проэкт" (например, киллер доты2), то сегодня наилучший день, чтобы начать.
Многие проблемы в жизни возникают из-за того, что вы избегаете того, что в глубине души вам следует делать.
Никогда не забывай людей, которые намного глупее тебя, и сумели добиться огромного успеха. Те же волосатики с гитарами. Мик Джаггер например в 83 годика выпустил этим летом новый альбом "Foreign Tongues", и взялся за следующий.
Таки, начьните.
1❤46✍2
Продолжаю работу с ментатами 🤓
Вообще, я ранее купил очень широкий монитор, как раз, чтобы все окна Cursor удобно влезали)))
-Левый верхний угол - ranger/vim
-Левый нижний угол - Cursor CLI
-Правая сторона - 2 терминала (backend и frontend)
Ok, хотя в целом тоже большой вопрос, стоит ли держать на экране одновременно открытыми много окон - сдвг-стайл :)
Даже если удобно метаться взглядом между функциями в разных файлах/окнах, возникает вопрос, а почему связанные функции в разных файлах, итд итп. Тут всегда вопросы к разработчику прежде всего по архитектуре )
Блин
Насколько же ИИ усреднил свои рекомендации, что у меня даже цветовые решения в UI такие же, как у курсанта по ссылке на гитхаб
Можно сказать и так, а можно сказать, насколько сами люди дают схожие и простые промпты )
Разбор задачи на части не бесплатный. Звучит как всегда полезный ход, пока не увидишь 2 в степени k подцелей из второй задачи.
Отдельно понравилось, насколько всё это похоже на обычный код в проде. OrElse — это запасной путь, TryFor — таймаут, If по метрике — выбор реализации по типу данных. Только в Z3 стратегия умещается в несколько строк и видна целиком, а у нас то же самое размазано по слоям. Это, пожалуй, самый главный вывод...
Разбирался с Z3 — это SMT-солвер. Непривычно в нём то, что алгоритм решения писать не надо совсем: объявляешь переменные, вешаешь ограничения, вызываешь solve и получаешь ответ либо сообщение, что решения нет. Типов на первое время хватает двух: Ints и Reals. Рука первое время тянется написать цикл, приходится себя одёргивать. Вся работа теперь в том, как ты записал условие, и ошибиться можно только там...
AI с простыми задачами справляется, но гораздо медленее, чем Z3. Сжигаются токены, генерится много текста и рассуждений, которые нужно еще провалидировать...
Полезной оказалась не сама возможность гонять задачи через солвер, а привычка формализовать. Пока пишешь условия для Z3, всё время спотыкаешься о допущения, которые держал в голове молча. Модель додумывает тот же набор мелочей, только не видно, как.
Декларативный стиль - это база, по сути все спецификации для AI сюда и приходят, тренируемся как абстрактные требования переводить в формальный вид.
Девять видов зависимостей нашлись в одном не самом большом проекте. Я их специально не искал — просто шёл по списку сверху вниз и находил...
Модели использовал внутренние, но их кажется прокачали - сейчас остановился на GLM-5.2 - показала себя лучше всех.
Кстати да, я тестировал все топ модельки клод жпт гемини, по тестовому вопросу на теоркат + архитектуру, они все давали тупые примитивные ответы хуже чем дипсик, причём очень похожие. И только GLM давал совершенно другой, более менее норм ответ.
Из 16 сотрудников информатизации остаётся 1(!) на полставки(!!)...
Так же я не смог придумать, как рассчитать показатель успеха...
Но я отвечаю что я за 3 года у вас умнее стал - я когда 3 года назад просто это почитывал в книге, хз это было очень сложно даже на уровне понимания. А сейчас ну так вникнуть в целом, ну немного голова погудела но это пойдёт.
(это про асинхронщину)
Стратегическое достижение с курса по ФП это мышление на уровнях, как я уже и писал. Без шуток я когда увидел про это на курсе, сел за тикет и в принципе типы и функции достроились в голове сами - не я конечно думал уже над проблемой, но какая то каша получалось, не доставало этой детали как в "Остров Сокровищ" роботу не доставал его кусочек памяти)) Это мне очень сильно облегчило жизнь, будем работать дальше!
Это и есть одна из пресловутых думательных машинок (лямбда-исчисление встраиваем в моск, хотя есть мнение, что оно вообще формальная база мышления от природы)
Вообще, я ранее купил очень широкий монитор, как раз, чтобы все окна Cursor удобно влезали)))
-Левый верхний угол - ranger/vim
-Левый нижний угол - Cursor CLI
-Правая сторона - 2 терминала (backend и frontend)
Ok, хотя в целом тоже большой вопрос, стоит ли держать на экране одновременно открытыми много окон - сдвг-стайл :)
Даже если удобно метаться взглядом между функциями в разных файлах/окнах, возникает вопрос, а почему связанные функции в разных файлах, итд итп. Тут всегда вопросы к разработчику прежде всего по архитектуре )
Блин
Насколько же ИИ усреднил свои рекомендации, что у меня даже цветовые решения в UI такие же, как у курсанта по ссылке на гитхаб
Можно сказать и так, а можно сказать, насколько сами люди дают схожие и простые промпты )
Разбор задачи на части не бесплатный. Звучит как всегда полезный ход, пока не увидишь 2 в степени k подцелей из второй задачи.
Отдельно понравилось, насколько всё это похоже на обычный код в проде. OrElse — это запасной путь, TryFor — таймаут, If по метрике — выбор реализации по типу данных. Только в Z3 стратегия умещается в несколько строк и видна целиком, а у нас то же самое размазано по слоям. Это, пожалуй, самый главный вывод...
Разбирался с Z3 — это SMT-солвер. Непривычно в нём то, что алгоритм решения писать не надо совсем: объявляешь переменные, вешаешь ограничения, вызываешь solve и получаешь ответ либо сообщение, что решения нет. Типов на первое время хватает двух: Ints и Reals. Рука первое время тянется написать цикл, приходится себя одёргивать. Вся работа теперь в том, как ты записал условие, и ошибиться можно только там...
AI с простыми задачами справляется, но гораздо медленее, чем Z3. Сжигаются токены, генерится много текста и рассуждений, которые нужно еще провалидировать...
Полезной оказалась не сама возможность гонять задачи через солвер, а привычка формализовать. Пока пишешь условия для Z3, всё время спотыкаешься о допущения, которые держал в голове молча. Модель додумывает тот же набор мелочей, только не видно, как.
Декларативный стиль - это база, по сути все спецификации для AI сюда и приходят, тренируемся как абстрактные требования переводить в формальный вид.
Девять видов зависимостей нашлись в одном не самом большом проекте. Я их специально не искал — просто шёл по списку сверху вниз и находил...
Модели использовал внутренние, но их кажется прокачали - сейчас остановился на GLM-5.2 - показала себя лучше всех.
Кстати да, я тестировал все топ модельки клод жпт гемини, по тестовому вопросу на теоркат + архитектуру, они все давали тупые примитивные ответы хуже чем дипсик, причём очень похожие. И только GLM давал совершенно другой, более менее норм ответ.
Из 16 сотрудников информатизации остаётся 1(!) на полставки(!!)...
Так же я не смог придумать, как рассчитать показатель успеха...
Но я отвечаю что я за 3 года у вас умнее стал - я когда 3 года назад просто это почитывал в книге, хз это было очень сложно даже на уровне понимания. А сейчас ну так вникнуть в целом, ну немного голова погудела но это пойдёт.
(это про асинхронщину)
Стратегическое достижение с курса по ФП это мышление на уровнях, как я уже и писал. Без шуток я когда увидел про это на курсе, сел за тикет и в принципе типы и функции достроились в голове сами - не я конечно думал уже над проблемой, но какая то каша получалось, не доставало этой детали как в "Остров Сокровищ" роботу не доставал его кусочек памяти)) Это мне очень сильно облегчило жизнь, будем работать дальше!
Это и есть одна из пресловутых думательных машинок (лямбда-исчисление встраиваем в моск, хотя есть мнение, что оно вообще формальная база мышления от природы)
❤30✍4
Оказывается, существует три поколения кварков и лептонов: три набора частиц, внешне идентичных, за исключением того, как они взаимодействуют с бозоном Хиггса. Физики хз почему так, а вот математики подводят под такие странности Стандартной теории свою базу, например, удалось поместить эти три поколения фермионов в исключительную алгебру Ли.
Умники говорят, что любые непонятки в Стандартной модели не случайны, и они вполне могут естественным образом вытекать из какой-то исключительной алгебраической структуры. Почему из исключительной? Ну вот они ровно поэтому так и называются официально, т.к. выбиваются из общих правил; они суть исключения из классификационных теорем.
Например, исключительных алгебр Ли всего пять штук, и они как "бракованные" или "уникальные" артефакты (диаграммы Дынкина), которые не подчиняются общей формуле, не входят в четыре бесконечные классические серии, требуют октонионы (числа Кэли, для которых нарушена ассоциативность, как в твоих проектах :), рушат здравый смысл последовательностей размерностей... Математики долго искали, куда их приткнуть, и решили, что они просто лишние, на этом празднике жизни:)
=
Факт, что любая программная система может быть сконструирована математически идеально (и в разных моделях/теориях; так-то разные основания математики друг в друга переводятся по определению), а если подразумевается много разных побочных эффектов, описываем их через exceptional algebraic structures :)
Даже Алан Кэй через метапрограммирование достигал тысячекратной компактности кода, по сути инженерными подходами, а почему не миллионнократная через математику?
Но если раньше это была академическая экзотика, то сегодня с явлением искусственного идиота, ну, любой продвинутый AI-разработчик скажет, что всё теперь зависит от спек и прочего текстового харнеса, насколько они представляют собой нечто целостное.
На Функциональных архитектурах разобрал как раз на неделе несколько случаев, как сегодня в мире активно применяют DSL для агентов, в частности добавлю скоро интересную историю про DSL + SAT-солверы (как раз что ребята недавно обсуждали).
А если хорошую математику подвести под процесс взаимодействия с агентами?
(крохотная проблемка только, что для этого потребуется архитекторский уровень техлида + образование уровня мехмата :)
Только не путаем сильную систему типов, способную качественно описать онтологию проекта (средство моделирования), с математикой как формальным набором принципов комбинирования типов как абстрактных сущностей (как формально, без ошибок, скомбинировать все эти кирпичики).
Как минимум, в Лаборатории эта база будет в Last Principles Framework, треке по HoTT и Функциональных архитектурах.
В последние времена тесный путь оставится почти всеми, почти все пойдут по широкому. Желающий спастись непременно должен держаться тесного пути.
Свт. Игнатий Брянчанинов
Умники говорят, что любые непонятки в Стандартной модели не случайны, и они вполне могут естественным образом вытекать из какой-то исключительной алгебраической структуры. Почему из исключительной? Ну вот они ровно поэтому так и называются официально, т.к. выбиваются из общих правил; они суть исключения из классификационных теорем.
Например, исключительных алгебр Ли всего пять штук, и они как "бракованные" или "уникальные" артефакты (диаграммы Дынкина), которые не подчиняются общей формуле, не входят в четыре бесконечные классические серии, требуют октонионы (числа Кэли, для которых нарушена ассоциативность, как в твоих проектах :), рушат здравый смысл последовательностей размерностей... Математики долго искали, куда их приткнуть, и решили, что они просто лишние, на этом празднике жизни:)
=
Факт, что любая программная система может быть сконструирована математически идеально (и в разных моделях/теориях; так-то разные основания математики друг в друга переводятся по определению), а если подразумевается много разных побочных эффектов, описываем их через exceptional algebraic structures :)
Даже Алан Кэй через метапрограммирование достигал тысячекратной компактности кода, по сути инженерными подходами, а почему не миллионнократная через математику?
Но если раньше это была академическая экзотика, то сегодня с явлением искусственного идиота, ну, любой продвинутый AI-разработчик скажет, что всё теперь зависит от спек и прочего текстового харнеса, насколько они представляют собой нечто целостное.
На Функциональных архитектурах разобрал как раз на неделе несколько случаев, как сегодня в мире активно применяют DSL для агентов, в частности добавлю скоро интересную историю про DSL + SAT-солверы (как раз что ребята недавно обсуждали).
А если хорошую математику подвести под процесс взаимодействия с агентами?
(крохотная проблемка только, что для этого потребуется архитекторский уровень техлида + образование уровня мехмата :)
Только не путаем сильную систему типов, способную качественно описать онтологию проекта (средство моделирования), с математикой как формальным набором принципов комбинирования типов как абстрактных сущностей (как формально, без ошибок, скомбинировать все эти кирпичики).
Как минимум, в Лаборатории эта база будет в Last Principles Framework, треке по HoTT и Функциональных архитектурах.
В последние времена тесный путь оставится почти всеми, почти все пойдут по широкому. Желающий спастись непременно должен держаться тесного пути.
Свт. Игнатий Брянчанинов
❤28✍8❤🔥2👍1
Прекрасное: ситуация со всей этой влюблённой в AI Кремниевой долиной близится к эпик фейлу. Инвестиции акции облигации развод гоев конечно хорошо, но покажите кэш :)
Брать сотни миллиардов кредитов без значимого фидбека... Финансовый мир начинает прозревать, Шалтай-Болтай уже почти свалился со стены.
"The ten most shorted investment grade bonds are now all linked to AI."
Потому что, ну а какие люди всем этим рулят? Например, теневая Антропика (жена Дарьи Амадея) известна в основном запуском порно-стартапа и контактами с Эпштейном.
Из записок Эпштейна Голгофский знает, как ведет себя Вселенная, залечивая свои раны. А что, если Тимоти в следующий раз просто не вспомнит, кто звонит – а материалы в архивах ЦРУ исчезнут, как растворилась в небытии лаборатория на острове Св. Якова?
Но еще сильнее нашего автора пугает другое: а вдруг и в ФСБ забудут, что благословили Голгофского на контакты с американской спецслужбой? Ведь уравнения Эверетта работают и на Лубянке… Ох...
-- Пелевин
Брать сотни миллиардов кредитов без значимого фидбека... Финансовый мир начинает прозревать, Шалтай-Болтай уже почти свалился со стены.
"The ten most shorted investment grade bonds are now all linked to AI."
Потому что, ну а какие люди всем этим рулят? Например, теневая Антропика (жена Дарьи Амадея) известна в основном запуском порно-стартапа и контактами с Эпштейном.
Из записок Эпштейна Голгофский знает, как ведет себя Вселенная, залечивая свои раны. А что, если Тимоти в следующий раз просто не вспомнит, кто звонит – а материалы в архивах ЦРУ исчезнут, как растворилась в небытии лаборатория на острове Св. Якова?
Но еще сильнее нашего автора пугает другое: а вдруг и в ФСБ забудут, что благословили Голгофского на контакты с американской спецслужбой? Ведь уравнения Эверетта работают и на Лубянке… Ох...
-- Пелевин
👍21🐳6✍4❤2
Поясняю за "математику как формальный набор правил комбинирования типов."
Тут можно бесконечно рассуждать, например,
про иерархии тайпклассов (хаскель, скала (база!), раст, все теорем-пруверы),
или про то, что они нафиг не требуются, когда есть рекорды с композицией, и особенно зависимые типы,
или про типы как сущности первого класса для метапрограммирования,
или про конструктивную унивалентность, как в rzk (чистый "hott как язык программирования"), который (вроде как) умеет вычислять результат транспорта вдоль гомоморфизмов с автоматическим переносом доказательств между типами,
и ad-hoc полиморфизм соответственно не нужен,
или про предпучковые топосы как моделирование структур, зависящих от времени,
или про рекурсивные схемы как N-кратная компактность кода, когда сама рекурсия становится типом данных (фикс поинт; читаете ГПиМММ? :)
и т.д.
Я движусь шажочками, по какой-то странной тропинке неведомо куда :) Стратегического пути тут быть не может просто потому, что меняется айтишка очень быстро.
Читаю святых cs, разное по мета-математике, в перспективе планирую (Meta) Principles Framework, но это очень далёкая перспектива, увы.
Собственно, "Функциональные архитектуры" уже сейчас дают x10 в токенах/времени даже если их просто поверхностно почитать-помедитировать,
полноценные применения всех рекомендаций ФА/DSL + Last Principles Framework должны дать ещё несколько десятков раз, ну а там посмотрим.
Выложу на днях в частности в ФА про доменно-специфическую гиперспециализацию и спеки в конъюнктивной нормальной форме, чтобы потенциально подвязать к этим темкам SAT-солверы.
Мне случалось видеть старцев, занимавшихся исключительно усиленным математическим [телесным в ор.] подвигом, и пришедших от него в величайшее самомнение, величайшее самообольщение. Душевные страсти их, гнев, гордость, лукавство, непокорство, получили необыкновенное развитие.
Свт. Игнатий Брянчанинов
Тут можно бесконечно рассуждать, например,
про иерархии тайпклассов (хаскель, скала (база!), раст, все теорем-пруверы),
или про то, что они нафиг не требуются, когда есть рекорды с композицией, и особенно зависимые типы,
или про типы как сущности первого класса для метапрограммирования,
или про конструктивную унивалентность, как в rzk (чистый "hott как язык программирования"), который (вроде как) умеет вычислять результат транспорта вдоль гомоморфизмов с автоматическим переносом доказательств между типами,
и ad-hoc полиморфизм соответственно не нужен,
или про предпучковые топосы как моделирование структур, зависящих от времени,
или про рекурсивные схемы как N-кратная компактность кода, когда сама рекурсия становится типом данных (фикс поинт; читаете ГПиМММ? :)
и т.д.
Я движусь шажочками, по какой-то странной тропинке неведомо куда :) Стратегического пути тут быть не может просто потому, что меняется айтишка очень быстро.
Читаю святых cs, разное по мета-математике, в перспективе планирую (Meta) Principles Framework, но это очень далёкая перспектива, увы.
Собственно, "Функциональные архитектуры" уже сейчас дают x10 в токенах/времени даже если их просто поверхностно почитать-помедитировать,
полноценные применения всех рекомендаций ФА/DSL + Last Principles Framework должны дать ещё несколько десятков раз, ну а там посмотрим.
Выложу на днях в частности в ФА про доменно-специфическую гиперспециализацию и спеки в конъюнктивной нормальной форме, чтобы потенциально подвязать к этим темкам SAT-солверы.
Мне случалось видеть старцев, занимавшихся исключительно усиленным математическим [телесным в ор.] подвигом, и пришедших от него в величайшее самомнение, величайшее самообольщение. Душевные страсти их, гнев, гордость, лукавство, непокорство, получили необыкновенное развитие.
Свт. Игнатий Брянчанинов
❤18✍15🔥2😁2❤🔥1
Цой жив!!1 ❤️
"Ты должен быть сильным" :)
Делать два дела сразу — значит не делать ни одного.
Публилий Сир
Не позволяйте календарю вас обмануть. В году лишь столько дней, сколько вы проводите с пользой. Одни весь год занимаются тем, на что хватило бы и недели. Другие за неделю справляются с делами, которые стоят целого года.
Чарльз Ричардс
Ежедневник подводит вас. Вам следует оценить, приближает ли вас недельный план к намеченной цели? Если ответ “нет”, надо менять план. В вашем распоряжении не так уж много времени, чтобы достичь желаемого,
"На пределе" Эрик Ларссен
Мы боимся выступать на публике, отстаивать свои права, принимать решения, допускать кого-то близко к себе, менять работу, оставаться в одиночестве, стареть, водить автомобиль, боимся потерять любимого человека, отношения… В нашем обществе страх стал эпидемией. Мы боимся начинать — и заканчивать. Боимся меняться — и стоять на месте. Боимся успеха — и провала. Боимся жить — и боимся умереть.
"Бойся, но действуй!" Сьюзен Джефферс
Как только вы овладеете временем, вы поймете, насколько соответствует истине правило, что большинство людей переоценивают то, что могут выполнить за год, — и недооценивают то, чего могут достигнуть за десять лет.
Тони Роббинс:)
Можно выбрать для себя возвращение назад, к безопасности, или продвижение вперед, к росту. Человек должен снова и снова выбирать рост, но при этом ему нужно снова и снова преодолевать страх.
Абрахам Маслоу (в "Синей бороде" Пелевина шикарный разбор его пирамидки)
Пусть будет всё как будет
Ведь как-нибудь да будет
Ведь никогда же не было
Чтоб не было никак
"Ты должен быть сильным" :)
Делать два дела сразу — значит не делать ни одного.
Публилий Сир
Не позволяйте календарю вас обмануть. В году лишь столько дней, сколько вы проводите с пользой. Одни весь год занимаются тем, на что хватило бы и недели. Другие за неделю справляются с делами, которые стоят целого года.
Чарльз Ричардс
Ежедневник подводит вас. Вам следует оценить, приближает ли вас недельный план к намеченной цели? Если ответ “нет”, надо менять план. В вашем распоряжении не так уж много времени, чтобы достичь желаемого,
"На пределе" Эрик Ларссен
Мы боимся выступать на публике, отстаивать свои права, принимать решения, допускать кого-то близко к себе, менять работу, оставаться в одиночестве, стареть, водить автомобиль, боимся потерять любимого человека, отношения… В нашем обществе страх стал эпидемией. Мы боимся начинать — и заканчивать. Боимся меняться — и стоять на месте. Боимся успеха — и провала. Боимся жить — и боимся умереть.
"Бойся, но действуй!" Сьюзен Джефферс
Как только вы овладеете временем, вы поймете, насколько соответствует истине правило, что большинство людей переоценивают то, что могут выполнить за год, — и недооценивают то, чего могут достигнуть за десять лет.
Тони Роббинс:)
Можно выбрать для себя возвращение назад, к безопасности, или продвижение вперед, к росту. Человек должен снова и снова выбирать рост, но при этом ему нужно снова и снова преодолевать страх.
Абрахам Маслоу (в "Синей бороде" Пелевина шикарный разбор его пирамидки)
Пусть будет всё как будет
Ведь как-нибудь да будет
Ведь никогда же не было
Чтоб не было никак
❤22🐳11✍2👍2