Лаборатория Математики и Программирования Сергея Бобровского – Telegram
Лаборатория Математики и Программирования Сергея Бобровского
1.29K subscribers
1.19K photos
24 videos
930 links
ЛаМПовое с Бобровским
Download Telegram
То странное чувство, когда в соответствии с Федеральным законом от 08.08.2024 № 303-ФЗ с 1 ноября как добропорядочный владелец страницы (правда у меня формально не "страница", а "группа") в социальных сетях с аудиторией более 10 тыс. человек пытаешься передать соответствующую информацию в РКН... и ничего не находишь. Поиском РКН выдалось всего 11 ссылок на сведения 10-летней давности.
Пробовал, как рекомендовано, через госуслуги реестр блогеров найти -- тоже нифига.

Откопался в процессе, правда, "Реестр социальных сетей" ("Сайт создан в рамках реализации положений статьи 10.6 Федерального закона от 27.07.2006 № 149-ФЗ «Об информации, информационных технологиях и о защите информации»"). Но там формы отправки тоже нету.

Теперь ждём отмазок, что дескать эээ закон принят, да вот только техническая часть пока не готова, "немного" подождите бла бла бла.
Ну, запилить форму с отправкой соответствующих данных на почту РКН, это для джуниора полчаса работы максимум.

Или я просто плохо искал?
😁60👍13🤔43🐳3
Работа с LLM напоминает проблему P = NP? Если некоторая задача подразумевает большой объём ручного труда, а LLM сделает её легко, и вы можете быстро убедиться (протестировать), что сгенерированный код соответствует вашим нуждам, вы экономите время. Но если вы не можете это сделать, но всё равно полагаетесь на LLM, вы играете с огнём.

На днях явился очередной ai-сервис Болт : "Prompt, run, edit, and deploy full-stack web apps."

Ну, действительно, просто по запросу "сделай арканоид" Болт за минуту сгенерил полный проэкт, нафигачил кучу кода на ts :) и тут же задеплоил и запустил, я поиграл немного. А если находит у себя ошибки, то фиксит по запросу.

Надо на чём-то более серьёзном потестить конечно, с конкретными фичами, выглядит довольно привлекательно. Но в целом, напомню, программирование -- это НЕ про создание готовых проектов. Программирование -- это про создание систем, которые легко развивать и легко сопровождать многие годы.
👍53🤔216
Сидишь за компьютером – сиди за компьютером. Идёшь на собес – иди на собес. Не нужно колебаться.
мантра дзен

Многозадачности здесь места нет. Нет, нет, нет, нет. В современном мире способность сосредотачиваться на одной задаче – это суперсила.
💯71👍20❤‍🔥2🔥1
Вы уже оптимизируете свой код для LLM-ок? Разбиение кода на более мелкие и чистые функции с чёткой, лаконичной и точной документацией (в идеале, сформулированной формально, триплами Хоара например, или на TLA+, поясняю эти моменты в СильныхИдеях) может сильно помочь и тактически, и стратегически.

Свежее от курсанта:
"Подтвердил свою мысль, из предыдущего упражения, о том что прописывать алгоритм текстом ДО решения - это действительно очень полезная практика, которая сильно экономит время."

Поэтому, полагаю, айтишке никуда не деться от массового перехода на типизированное функциональное программирование с мощной поддержкой DSL.

Алан Кэй, как всегда, был прав.

P.S. Соответственно, и поясняющие (прежде всего для AI) комментарии в коде очень полезны.
👍60😁128🤔2🔥1
This media is not supported in your browser
VIEW IN TELEGRAM
Когда финиширование проекта в срок казалось таким близким...
😁627🔥3👍1
"Intelligent Machines and Idiotic Humans: A Startup Story"
(идеи для AI-стартапов)

Серия 14. "Sam Altman is saying that AI is going to lead to a 1-person $1 billion business" - 3

Сегодня, когда наши рекрутеры сломали найм в айтишку более чем полностью, идея вката в ИТ через микро-стартап выглядит всё более привлекательной. Можно даже так: создаёте свою фейковую орг.структуру, сайт, регитесь ИП, и предлагаете свой платный сервис. 2-3 года стажа программирования так вполне можно официально получить. Тем временем качаетесь до миддла (с наймом джунов совсем швах из-за убитого кадровиками найма начинающих); а возможно, действительно сделаете успешный продукт.

Например история (нереклама):
"Отказался от AWS и заработал 10 миллионов долларов", как чел сделал сервис для банков (просто технический пайп) по подписке 88 евро, и его отлично покупают.

Таких идей "под ногами" сотни, но люди просто не решаются "попробывать".

Дорогие, всем и так на вас пофиг, а вы ещё и боитесь и стесняетесь.
2👍5519💯4🔥32
Если на собесе спросят "фреймворк Django 5.x синхронный или асинхронный?", что ответишь?
Anonymous Poll
56%
синхронный
44%
асинхронный
🤔53🐳11
Как же долго я мучился с жпт-о, а потом попробовал сонного клода 3.5 , ну прям явно лучше кодит, "понимает" контекстные правки и т.п. Полностью на него перешёл (только окно надо сразу ставить 32k, и он подороже).
Хотя Болт ещё круче, но и стоит 50 бакинских в месяц. Впрочем, для рабочих задач я бы заплатил.

Лет 10 назад с такими llm-ками я бы делал проэкты раз в 10..100 быстрее (хотя бы просто за счёт набора текста :) вчера за 1 час нафигачил 500 строк js работающий прототип), и кучу незаконченных бы доделал. Ну какие наши годы.

/cp За джангу ↑↑↑ скоро поясню как правильно отвечать.

/srs Вкуснейшей рыбы (белугу и форель гор.копч.) мне сегодня привёз ковбой Джон Кодер курьер Кодерджан.
47😁33👍75🔥2
В продолжение вчерашнего: Болт умеет также самостоятельно реорганизовывать в проекте структуру файлов (например, когда объём кода растёт), и в целом заметно сильнее обычных ллм-ок. Он с нуля уверенно создаёт небольшие проекты, знания программирования при этом не требуется, просто чатитесь с ним, добавляете промптами новые фичи. Хотя это тонкий момент: если сперва сразу давать объёмное ТЗ, он пилит нечто неточное/расплывчатое, а если по шагам, то постепенно расширять проект ему становится сложнее.

Что однако могу сказать точно: чтобы его использовать для реального проекта, надо очень хорошо знать программирование )))

Оказывается, что Болт опенсорсный! (не знаю правда, насколько он автономный и не завязан на что-то внешнее, кроме API к разным AI)

Сильная идея для стартапа: форкаем себе bolt.new как "трофейное ПО", и делаем русскую версию. Даже 50 долларов/месяц вполне себе норм цена за такой уровень -- если за рублики, чтобы не возиться с виртуальными валютными картами. Я первый подпишусь по такой цене.

btw, Anthropic через црушный Palantir предоставляет особо прокаченный Claude военным и разведывательным службам США.
48👍91
Фреймворк Django 5.x синхронный или асинхронный? ↑↑↑

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

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

=

Синхронный -- когда один процесс/поток обрабатывает один запрос за раз от начала до конца.
Асинхронный -- когда один процесс/поток может обрабатывать несколько запросов (один затупил по сети, и поток, ожидая возобновления его активности, начинает обрабатывать другой запрос).

В старой джанге до 3й версии, по-моему, использовался WSGI, в новой при совместимости с ним также ASGI поддерживается, появились асинхронные вьюшки и асинхронные роуты.

Однако идеологически Django -- всё же синхронный веб-фреймворк, и ORM в нём синхронна более чем полностью и на асинхронных представлениях может падать (как минимум, пул потоков надо организовывать). Хотя в пятёрке можно действительно довольно гладко объединять в одном проекте синхронщину и асинхронщину (например, для общения с внешними API или сервисами вроде Redis, Mongo, Cassandra, Elasticsearch...). Таким образом вы всегда можете направить обсуждение в нужное вам русло.

smh купил за 49 руб. отключение рекламы в рутубе; более навязчивой никогда в жизни не встречал (разве что на кинопоиске).
42🤔11👍5🔥4💯4
АСД нужны вам только для собесов, говорили они...

От курсанта-джуниора:

Мне скинули последовательности, которые реально проверяются тестами (1-5 млн чисел, по числу в строке)
Так вот, для улучшения работы программы мне как раз прямо сейчас пригодились ранее пройденные threading, а также queue ( использую встроенные либу queue)
Спасибо за Ваши уроки, они максимально пригождаются сразу после изучения!


Подобных отзывов у меня многие десятки.

АСД нужны вам только для собесов просто потому, что вы не умеете их правильно готовить, т.к. не знаете базу как следует.

То, что "никогда в жизни тема АСД мне не встречалась на работе", ну значит вы работали всю жизнь на дерьмовых работах, чем гордиться-то. Получали за это хорошую зп? Ну, раз "нравится" ковыряться в big ball of mud ради денег, себя не уважая, продолжайте ковыряться дальше.

gtg вместо изучения АСД лучше поиграйте в доту2 новым персом -- боевым петухом.
3👍56😁188🐳5🤔2
...Однако пока всё же ллм-ки очень сильно проигрывают схеме "искать на гитхабе" :)

Вот например прекрасное: A curses based, UCI compatible, chess gui.
Полностью написан белковым на сишечке.

Вчера слил 5,000 рублей на жпт-o, клод 3.5 и т.п. Сперва работа идёт норм, а потом все начинают тупить (и дело не в контекстном окне). Даю подробное ТЗ, всего-то сделать несложное клиентское веб-приложение, и начинается засада с UI. Сделать логику перетаска элементов одного списка в другой -- не могут! Начинаются мелкие баги, которые они не могут исправить, быстро сами запутываются, фигачат по новой огромные файлы тысячами токенов, а баги лезут и лезут.

Я уже стал их ругать ("почему одни и те же ошибки бесконечно??"), и гемини даже заныл: "ну, я же только учусь" :)
Ага, а за что я плачу тогда?

Думал, попробовать жпт-о1, но у неё вообще цены конские, я бы быстро слил и 50 тысяч :) Главное, без результата. Лучше бы на фрилансе заказал у белковых, за 5 тыр сделали бы быстро и качественно.

Вообще, сегодняшнее AI уже не просто "похоже на пузырь", а и есть реальный пузырь. Я говорил, что AI-бизнес превращается в откровенное инфоцыганство, хуже крипты, вот так и есть.

Ощущение, словно на ставках или донатных играх-доилках: давай ещё одну попытку, ну сейчас точно сделает норм без багов :) Ага, жди.

Вы видели реально замену людей на AI ? Пишут, что якобы многие тысячи уже потеряли работу, однако сильное подозрение, что их можно было и так легко и просто удалить, классически автоматизировав бизнес-логику (эээ точнее документооборот; некоторые виды товарищей не любят, когда говорят про "бизнес" :). AI скорее всего просто предлог. Где реально сталкиваешься в жизни с AI, качество сервиса получается ужасающее.

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

fypm пытался на bluestacks запустить в винде pvz3, а ихняя хвалёная виртуалка её не потянула (хотя у меня 16гб озу), и вдобавок сожрала на c: пустошь 5 гб, где я едва ютился.
👍537💯3😁2
Если честно, я тоже сейчас реально/серьёзно думаю в этом направлении...
Может быть даже, сделаю что-то типа реалити-шоу.

Как ни крути, но сейчас мой доход на 90% зависит от моей загруженности. Обучение, консультации, и всё фактически в почасовом режиме. А если месяц сделаю паузу, то и заработаю ноль. Мне это всё невероятно нравится но...

Буду следовать своим же рекомендациям по созданию микро-стартапов: к 1 декабря сделаю (или не сделаю:) рабочий прототип игры для программистов.

Игр для обучения программированию полно, но у них у всех есть один единственный очень большой недостаток. Они учат фактически ассемблеру (очень-очень низкоуровневому программированию с goto). Более плохого способа вката в программирование я не представляю. Для детишек подростков, ну да, скорее для общего знакомства с программированием, просто как забавные пазлы порешать.

Но начинать учиться профессиональному программированию таким образом -- значит с самого начала привить себе очень кривой стиль кодирования, от которого потом вдобавок будет очень трудно отказаться.

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

Хотя конечно нередко бывает и такое: "Leaving Rust gamedev after 3 years"

"На момент написания этой статьи я программирую уже около 20 лет, начав с C++ и перейдя через всевозможные языки, PHP, Java, Ruby, JavaScript, Haskell, Python, Go, C#, и выпустив игру в Steam на Unity , Unreal Engine 4 и Godot."

Наверное, самый знаменитый фейл на сегодня -- Concord. Точнее, фейл для заказчика, программисты как раз очень успешны ))) Пацаны из Firewalk за 8 лет освоили 200 млн. долл. на создание "геройского шутера", а как он вышел этим летом, купили всего 25 тыс. копий (стим + плейстейшен), в онлайне редко когда несколько сотен игроков сидели. Ну её и прикрыли через две недели.

То есть, идя в геймдев за деньгами, продуктивнее всего иметь богатенького покровителя (например, государство), которому можно годами вешать лапшу.

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

btw Когда теперь в следующий раз буду снова набирать учеников не знаю наверное ближе к весне (а может быть и никогда).
751👍116🔥4🤔2
Документация -- это глупость. В ней точно указано, что нужно делать.
1👍37😁189🤔5🔥1
Развитие AI будет идти экспоненциально, говорили они. Действительно, ллм-ки сперва показали неплохой рост в плане кодинга. Но если посмотреть на результаты текущего года, то этот рост даже не то что линейный, он уже логарифмический. AI превращается просто в умный поисковик/автозаполнитель с очень медленным дальнейшим развитием. Типа автоматизация расширенного поиска по SO и гитхабу.

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

Происходит это не непосредственно на уровне кода, а именно на уровне логики проекта -- когда надо всё же понимать взаимосвязи между множеством частей, понимать смыслы. Это чистый software design, но этому вообще практически нигде не учат, и на гитхабе ничего подобного ни фига не найти.

Однако "парная работа с ллм-кой" -- это конечно уже однозначный профессиональный скилл, и в 2025-м он будет также востребован, как классическая ручное гугленье в 2020-м.

/update третью скалу устанавливал вчера 4 часа.
157❤‍🔥13👍9🔥2🤔1
"I am raising $100M at $2B pre money valuation for a startup that will get people together to sit down and talk to each other in person."
Bojan Tunguz (Machine Learning ex Nvidia. Kaggle Quadruple Grandmaster.)
2🤔41💯15👍932
Считается, что AI сегодня умнее, чем 95% людей. Давайте проверим. Ты кто?
Anonymous Poll
37%
95% (AI умнее меня)
63%
5% (я умнее AI)
😁65🤓4