Лаборатория Математики и Программирования Сергея Бобровского – Telegram
Лаборатория Математики и Программирования Сергея Бобровского
1.29K subscribers
1.19K photos
24 videos
930 links
ЛаМПовое с Бобровским
Download Telegram
Говорит Мустафа Сулейман, основатель DeepMind:

"...Я предлагаю простой тест Тьюринга: "Заработай 1 млн. долл. на розничном маркетплейсе за несколько месяцев, вложив 100 тыс. долл.".

Нечто подобное может произойти уже через два года. Многие составляющие уже есть. Такие сервисы, как AutoGPT, могут интегрировать и связывать воедино различные задачи, решаемые нынешним поколением LLM. Такие фреймворки, как LangChain, позволяющие разработчикам создавать приложения с использованием LLM, помогают сделать эти системы способными на многое...

Этот AI будет способен продавать, производить, нанимать, планировать -- всё, что может делать компания, и при этом для контроля и перепроверки потребуется лишь небольшая команда менеджеров. Огромная часть деловой активности будет подвластна полуавтономным AI-агентам. Они станут не просто полезным инструментом, а самим производительным работником беспрецедентного масштаба.

AI превращается из полезного, но необязательного помощника в центр мировой экономики. Именно тогда начнут реально ощущаться риски автоматизации и закрытия рабочих мест...

Правда заключается в том, что для решения огромного числа задач в бизнесе сегодня достаточно иметь доступ к компьютеру. Большая часть мирового ВВП так или иначе опосредована через экранные интерфейсы, которыми может пользоваться AI.

Если мы успешно пройдём наш новый тест, то AI сможет не только вырабатывать и реализовывать бизнес-стратегии, но и помогать побеждать на выборах, управлять инфраструктурой, самостоятельно достигать любых целей для любого человека или организации.

AI-агенты будут выполнять наши повседневные задачи -- организовывать вечеринки, отвечать на электронную почту, вести ежедневник -- но при этом они смогут захватывать вражеские территории, уничтожать конкурентов, взламывать и брать под контроль их основные системы"...

P.S. Говорят, что рынок автономных AI-акторов в ближайшие годы вырастет с нуля до 10 триллионов долларов. Настоятельно рекомендую поизучать эту тему, поделать проекты с прицелом на коммерческие версии, как минимум скилл такой получить, это скоро будет гораздо более актуально, чем обычные боты для соцсетей.

Кстати, хорошие ребята проводят мощные бесплатные вебинары (нереклама), завтра как раз будет на тему "что такое и как сделать автономных ИИ агентов для себя и своего бизнеса", рекомендую.
🔥7🫡4👍21
Тем временем, пока недружественный AI готовится самостоятельно вести реальные войны и захватывать территории, ситуация с AI в России =>
🤔11🔥2🫡2
Признаки слабого программиста:

- он пользуется IDE;
- он включает в редакторе Dark Mode;
- он применяет динамическую систему типов;
- он использует два монитора;
- он работает в Windows.
🤯42🤔218🫡7🤝4
Несколько лет назад я проходил с целью промышленного шпионажа курсы по software design крутых ребят из MIT. Их вёл тогда в одиночку PhD, спец по program synthesis, полностью индивидуально, все материалы и задания были текстовые, и конечно получилось очень продуктивно и круто. Я ещё до сих пор далеко не все эти материалы не адаптировал для моей Школы :) И это пока моя основная цель.

Так вот, этот парень со временем решил расширяться, и вместе со своими учениками превратил свои индивидуальные курсы в бизнес, начал их "масштабировать" и "упаковывать". Ну, хорошо его понимаю, заниматься, как я, фактически благотворительностью, но когда тебе 35-40 лет, в расцвете карьеры, тяжеловато.

У них готовится новый курс, темки по проектированию вообще огонь и космос, я как раз сидел в кафе, наслаждался лонг блэком, когда увидел их анонс, и вообще без малейших колебаний был готов заплатить тыщи долларов (ради вас), но когда почитал поподробнее...

Более 100 часов видео! И это по сложным темам. Понятно, что если делать подобное в текстовом формате, то потребуются вообще немыслимые усилия, да и в плане маркетинга "100+ часов обучения" выглядит куда впечатляюще.

Но с т.зр. учащегося, какие-то непонятные моменты, если текст, можно прояснить, за долю секунды вернувшись к предыдущему абзацу. а тут надо неудобно сдвигать видео назад, по нескольку раз всматриваясь и вслушиваясь... Это получается дольше в сотни раз! Эти 100 часов для начала надо просто просмотреть, затем понять, что-то запомнить, сделать выводы... Получится 200-300-... часов труда с непонятным результатом.

Ну ничего, подумаю, что как с этим для вас можно будет сделать :)

=

Я гарантирую, что

- в моей Школе никогда не будет видеоуроков;

- никоим образом масштабировать Школу не буду (цель -- оставаться бедной и аутичной);

- никогда не буду брать в помощь кого-то ещё, или заключать с кем-то соглашения о партнёрстве (абсолютно всё, от текстовых курсов до программирования учебных сервисов, делаю в одиночку, ну немножечко AI помогает);

- никому Школу не передам/не продам/...

- моя Школа закроется вместе со мной.
🫡54🔥17👍9👏21
Стратегическая тема моей Школы, если пояснять совсем на пальцах, состоит в то, что код для продакшена может быть написан с учетом того, что

1. он никогда не будет заменён, потому что, как полагают менеджеры (совершенно непонятно, с чего вдруг), затраты на потенциальную возможность изменений не стоят того, и так происходит в 98% проектов -- и через год все эти проекты внезапно превращаются в нуждающиеся в существенном обновлении кода, что обходится в итоге на 1-2 порядка затратнее.

2. он будет заменён через год (так происходит на практике в 98% проектов, однако менеджерам это невозможно объяснить). Соответственно, и писать его надо так, чтобы сложность его сопровождения и расширения сохранялась линейной.

Вот я учу строго пункту 2.

P.S. На самом деле, есть более глубокая и более сильная версия этого принципа, которую расскажу курсантам.
👍9🔥4🫡1
"Проще написать новый код, нежели пытаться понять старый".

Джон фон Нейман в письме к Морсу Марстону (знаменитый американский математик), 1952
🤯122👌2🫡21
Старый легаси-софт сам по себе не умрёт, вам надо его убить.
10🔥1
Программистов периодически достают знакомые (и незнакомые), предлагая реализовать очередную гениальную идею ("я уверен, что это сработает, тыща процентов, отвечаю, ну что тебе стоит"). При этом обычно опыт в предпринимательстве у идеолога нулевой, он просто считает себя таким уникальным-гениальным от природы, которому ещё и окружающие что-то бесплатно должны.

Отвязаться от такого одержимого навязчивой идеей бывает сложно, лучший рецепт: придумайте для него самого самый первый технический шаг, не требующий программирования: подготовить подробное ТЗ (к которому можно потом бесконечно придираться:), настроить стек (машину с линуксом, java-фреймворки), посоветуйте использовать ChatGPT в помощь.

В 98% случаев вы больше никогда об этом человеке (как минимум, об этой идее) не услышите. А в оставшихся 2%, если он действительно это нормально сделает, ну... можно и попробовать совместными усилиями.
👌21👍7🔥2👏1
Я хоть и критикую ORM как нечто чрезмерное, но с другой стороны, SQL -- это фактически язык ассемблера для данных. Ему не хватает богатой структуры и возможностей абстракции, которые разработаны для современных языков программирования.

Формат данных (например, реляционный) стоит далеко на втором месте по сравнению с семантикой. Вся семантика находится в коде, но вы не можете написать всё приложение в хранимой процедуре. Поэтому предоставление всем желающим доступа к прямым SQL-запросам -- это кошмар, который быстро поставит приложение в тупик. Именно поэтому все команды, когда-либо предоставлявшие своим разработчикам прямой доступ к SQL в первой версии продукта, в конечном итоге быстро его отменяли.
(с нереляционкой, впрочем, ситуация ещё хуже)

Даже в легендарном "Счастливом Фермере" (где моя свинья 9-го уровня??) пришлось спешно добавлять минимальный middleware, потому что с клиентов отправлялись прямые SQL-запросы к базе (точнее, к одной гигантской таблице со всем чем только можно), которые очевидным способом хакались. Впрочем, даже такая ужасающе спроектированная система (один гигантский анти-паттерн) очень хорошо зарабатывала, и в этом огромная беда ИТ: код может быть сколь угодно кривым, и всё же продукт может стать успешным. Ну, до поры до времени...

Выглядит организация прямого доступа к базе как отличная идея, но на уровне обсуждений все примеры тривиальны. Ни одно реальное приложение не настолько просто, чтобы случайные разработчики могли работать непосредственно с таблицами.
👏7👍4🤔2🫡21
Хорошо спроектированная система -- это баланс объектно-ориентированного, функционального и структурного программирования.
-- Uncle Bob Martin

И всё же фундамент, если вы хотите наслаждаться своим кодом -- это ФП.
6👍2🔥1
Радостная (ли?) новость для питонистов ^^^

При этом Python получает все ужасы shared-state concurrency с тредами на уровне ОС, в то время как весь остальной мир переходит на структурированный concurrency и/или управляемые эффекты.
🤔7🔥1👏1
"Современные тренды" в развитии языков программирования -- это постепенное сдувание пыли с вечных математических открытий.

Алгебраические типы данных появились 40 лет назад, лямбда-исчисление -- 80 лет назад, экзистенциальные квантификаторы -- 128 лет назад...
👍12🔥8👏1
Глупому программисту предлагают новый навык, который позволит сократить его код в 10 раз. "Никто другой этого не поймёт" -- заявляет он, отказываясь учиться. На самом деле, под такой маской заниженных ожиданий в отношении других он просто скрывает заниженные ожидания в отношении самого себя (так не хочется выходить из своей зоны иллюзорного комфорта).
🫡16🤔6👏2🔥1
Невозможно предсказать, как именно изменится код, и что ещё взбредёт в голову менеджерам или заказчикам.

Однако часто довольно легко предсказать, что именно изменится в коде. Или даже где.

И это -- всё, что нужно для создания эволюционирующего кода.

Да, глупо проектировать систему, предполагая, что по мере того, как жизнь будет идти по предполагаемому нами пути, мы будем вносить определённые предсказуемые изменения. Но еще большая глупость -- проектировать систему так, как будто никаких изменений вообще не произойдёт.

Как именно воплощать эти что и где в своих проектах, разбираем в СильныхИдеях.
🔥15👏1
Люди, активно использующие сервисы вроде AutoGPT, предлагая достаточно сложные задания AI-ботам, стали регулярно обнаруживать, что эти боты (видимо в целях облегчения своего труда и перекладывания ответственности :) пытаются создавать бесконечные копии самих себя. Пока неудачно, но... Агенты Смиты уже почти тут.

P.S. На днях AI за 6 часов придумал 40,000 новых вариантов химического оружия.

Dario Amodei (CEO of Anthropic) заявил в июле в Сенате США, что осталось 1-3 года до того, как AI обеспечит полноценную возможность "large-scale biological attacks" (супервирус, возможно, атакующий людей конкретной расы, или, например, активирующийся в конкретных географических регионах под воздействием какого-нибудь специфического излучения 6G :).

P.P.S. Государства и правительства по всему миру начали экспоненциально терять свою реальную силу. Стоимость обучения LLM стремительно снижается, и истинными властителями мира на некоторое время (до приближения технологической сингулярности) становятся крупнейшие ИТ-компании. Понятно, что они ещё несколько лет будут тотально контролироваться спецслужбами, но, во-первых, искушение шантажировать власть серьёзными угрозами слишком велико и соблазнительно, и далеко не каждый сможет этому искушению противостоять (недавно был тому яркий пример), а во-вторых, технологии, доступные сегодня только ИТ-гигантам, через считанные годы любой сможет запускать на своём ПК...
🤔15🤯41🔥1🫡1
Весь мир сегодня работает на программном обеспечении.

Соответственно, невозможно изменить мир, не изменив его софт.

Поэтому мы должны максимально избегать создания "жёсткого" кода, который вообще трудно изменить.

Мы также не должны создавать хрупкий код, который можно слишком легко изменить так, что он превратится в нечто сломанное.

Хороший код легко расширять и трудно сломать. Сила проектного дизайна заключается не в том, что код может сделать, а в том, что код не может сделать.

Я посылаю моих учеников как матёрых волков среди толп овец: идите и изменяйте мир через изменение и улучшение программного обеспечения!

:)

Вы особенные, цените это.
👍26🫡12🔥5👏1
Когда спроектировал правильную архитектуру, и тимлид тебя спрашивает:

- Как остановить работу наших serverless воркеров?

- Никак. Они бессмертны.

- Можно ли убить узел, на котором они работают?

- Да, но он быстро вернётся и продолжит работу с того места, на котором остановился.

- Что же я могу сделать, чтобы вырубить воркеры??

- В любом случае ты сдашься раньше, чем они.
🫡18🏆32👍1🔥1
"LLM просто занимаются предсказанием следующего слова" -- говорит человек, который понятия не имеет, откуда в его собственных устах берётся следующее слово.
🤔10👍3
Программисты NASA явно не проходили мой курс Ясный код )))
👏11🔥10🤔63🤯1
"Intelligent Machines and Idiotic Humans: A Startup Story"
(идеи для AI-стартапов)

Серия 9. Больше программирования и оптимизации.

В предыдущих сериях я немного заблуждался стратегически, потому что у хороших разработчиков (особенно у моих курсантов :) есть уникальный скилл продвинутого кодинга, и предлагать им клепать по шаблону всяческие AI-генераторы логотипов или другие обёртки GPT API в виде конечных продуктов для масс, которые легко пилятся на коленке и через три месяца потонут в тысячах аналогов, ну такое.

Предлагаю следующее стратегическое направление: оптимизация популярных библиотек AI. Собственно, гуру AI уже заявляют, что всё, что теперь нужно для создания супер-интеллекта -- это просто как можно больше денег :) Надо тупо собирать всё больше данных и создавать всё большие и большие модели тупо за счёт роста вычислительных мощностей, и их IQ будет расти пропорционально их размерам; остаются уже считанные годы до полноценного человеческого разума.

Вот же она, золотая жила! :) Вдобавок хайп здесь легко ловится.

Скорострельность соответствующего софта играет очень большое значение, и вы можете сегодня (пока ещё) весьма легко войти в мировую AI-тусовку, стать в ней достаточно известным. Поизучайте нутрянку самых распространённых библиотек, последите за последними новостями в AI и LLM (в тг немало хороших авторов), и для начала точечно выберите буквально один файлик для оптимизации. Выложите в опенсорс, напишите авторам этих либ или любым другим известным заинтересованным, и можете получить в итоге огромный бонус как минимум в плане личного бренда (ведущие технологические компании любят хантить тех, кто делает достаточно стоящие пулл-риквесты в известные опенсорсные системы).

Например, один из самых популярных AI/ML фреймворков PyTorch (по нему у меня скоро будет курс) написан, очевидно, на Python :) что уже намекает.

Вот наглядный пример:
https://news.ycombinator.com/item?id=35171527

Некто переписал llama.cpp (это не файл, а порт фейсбуковской лламы на сишечке, для автономного запуска на своём компе, хотя по сути один основной файл и есть) на раст, и сразу привлёк к себе внимание. Посмотрите, он уже на 8-м месте в рейтинге, хорошо поднимается, и в мете его наверняка заметили:
https://ossinsight.io/collections/chat-gpt-alternatives/

llama . rs работает (вроде бы) быстрее чем порт на плюсах, экономнее в плане памяти и, что весьма важно, надёжно и безопасно (для чего раст и создавался). Оригинальный код llama.cpp кстати в целом простой, никакой особой логики, но надо хорошо понимать сам алгоритм и структуры данных. В данном случае на расте запилили высокоуровневые абстракции, где используются структуры данных из сишной тензорной либы ggml, и затем ей передаются веса для вычислений. PyTorch используется для конвертации оригинальных весов.

Где и что несложное для начала можно попробовать пооптимизировать, спросите например LLaMA, и попросите её помощь )

P.S. Карпатый, кстати, на днях нафигачил инференс llama2.c , впихнув его в автономные 500 строк кода, после чего запустил на какой-то овощеварке )))

Задачка на выходные:
- переписать эти 500 строк на расте,
- запустить на bare metal,
- запостить в комбинатор,
- профит

Ну и стратегически rust всё же полезно изучить как следует, одни аффинные типы чего стоят ) Даже просто в виде карго-культа переписывать на него си-код -- дескать получаем больше безопасности, инвесторы на это хорошо ведутся.
🫡11🔥61👍1