Лаборатория Математики и Программирования Сергея Бобровского – Telegram
Лаборатория Математики и Программирования Сергея Бобровского
1.29K subscribers
1.19K photos
24 videos
931 links
ЛаМПовое с Бобровским
Download Telegram
Когда почти десять лет назад я предупреждал разработчиков о том, что Agile -- это раковая опухоль, которую необходимо искоренить в нашей индустрии, многие считали меня сумасшедшим. Но Agile полностью свёл роль разработчиков к механической реализации user stories, переданных PO. Однако теперь AI -- спаситель, который избавит программистов от этих страданий, просто уничтожив роль разработчика.

-- Erik Meijer, май 2024
👍47🤔97😁6🤯4
Mistral выкатила вчера Codestral: an open-weight generative AI model explicitly designed for code generation tasks. Codestral is trained on a diverse dataset of 80+ programming languages.

По тестам кодит прям лучше всех, и всё такое. Почитайте, сплошные хвалебные отзывы от причастных.

We used Codestral to run a test on our Kotlin-HumanEval benchmark and were impressed with the results. For instance, in the case of the pass rate for T=0.2, Codestral achieved a score of 73.75, surpassing GPT-4-Turbo’s score of 72.05 and GPT-3.5-Turbo’s score of 54.66.”
– Mikhail Evtikhiev, Researcher at JetBrains


Ну и вот, простая задачка для школьников ^^^

Первая версия полный отстой, вдобавок, зачем мне вообще функция, которая что-то там "assumes" ??

Кое-как подсказками я получил вторую не менее кривую версию (если например список пустой?), и тут Codestral превратился в КодСрал и стал упорствовать, что дескать белое это чёрное. Не "понимает" самых элементарных вещей правильного кодирования.

Llama3 кстати тоже не смогла, аналогично "мыслила".

"Страшно далеки они от народа" (c)

А вот ChatGPT-4o справилась довольно легко, поэтому пока ориентируемся только на неё.
👍585🔥5😁5🫡3
А я предупреждал два месяца назад: 5 постов про правильные контейнерные технологии и развитие соответствующих "тяжёлых" программных инфраструктур в РФ через форки западных решений и превращение их в трофейное ПО :)
Ну вот теперь расхлёбывайте.

И дальше будет только хуже; никакое официальное "приземление" чужих технологий реально работать не будет. Когда же закончится это сидение на нескольких стульях и демонстрирование себя "хорошенькими", когда на это давно демонстративно плюют?
🐳43👍19🤔6💯3🔥2
Как думаете, СДЭК заплатил хакерам выкуп, чтобы расшифровать базу?
Anonymous Poll
67%
да
33%
нет
😁26🤔18😎32🏆2
ultracode.ai -- киллер программистских интервью (coding interview co-pilot).

Fine-tuned for SWE interviews
Works with all interview platforms
Invisible to screen sharing
Supports all technical questions

У них там такое стоит 900 долл./год, давайте уже у нас выкатывайте аналогичный взлом русских собесов (ничего концептуально сложного нету, стелс-десктоп +AI API), и покончим со всей этой глупостью и бессмысленностью "айти-найма" навсегда.
👍52😁18🤔74🫡3
Как думаете, обещанный Дуровым "На этой неделе запуск чего-то еще более масштабного" почти всем пользователям ...
Anonymous Poll
42%
будет полезен
58%
только создаст неудобства
🤔3595
Когда я перехожу с F# на Java/C#/Python, моя способность мыслить в терминах базовых математических абстракций (таких например, как моноид), резко падает.
🤔46👍9🔥643
Обновил список курсантов-блогеров, раз в месяц, возможно, буду выделять лучшего. На сегодня это однозначно Светлана "Заметки программиста" 👍💥🚀 Берите пример + подписка обязательна.

Частая ошибка, как уже не раз говорил, не надо учить других. Про себя рассказывайте, какой вы крутой. Оставьте других в покое. А превращать блог в технический справочник совсем плохо, никому это вообще не интересно.
В геймдеве например живые блоги разработчиков давно фактически стандарт.

Напомню, кто не пишет пост хотя бы раз в 10 дней, из списка исключаются. Не можете найти полчаса за это время? Ну не хотите вести блог, ваше дело, ваша карьера. В паблике для неначинающих донов вчера выложил, почему блог -- это реальный чит-код.
49👍15🏆6
Одностраничное резюме, которым пацанчик быстро схантился в Гугл на $300k/sy.
61😁15👍114🤔2
Когда AI заменит всех программистов, менеджеры наконец-то поймут, что искусство, которым они владели всё это время -- это писать бредовые и абсурдные технические задания, полные противоречий. Тогда им придётся писать задания так чётко, что они сами будут вынуждены учиться программированию и формальной логике.
😁66🫡20💯163👍2
Неплохой сервис от Сбера -- GigaCode, AI-ассистант с автокомплитом, сравнительный обзор. Поэкспериментировал немного, ну как минимум хорошо, что у нас что-то делает в этой области. Но обратите внимание, какие IDE он поддерживает: 75% это продукты JetBrains. Они классные, качественные, спору нет, и ладно бы это какая-нибудь частная фирма делала. Но Сбер?

Напомню, JB официально из России ушла ещё 21-го февраля 2022-го, демонстративно закрыла продажи за рубли, в российском разделе последняя дата также демонстративно 5 января 2022-го; ну и их официальная позиция по поводу этого всего везде опубликована и хорошо известна, и ряд сотрудников JB, судя по их твиттерам, активно донатят сами знаете куда. В России по 275-й за такое можно легко получить и пожизненное, однако лицензии JB немало наших госконтор ещё покупают/продлевают с западных карточек.

Поэтому, без шуток, в дополнение (а лучше бы, первоочерёдно) к многим миллиардам рублей, которые вкладывают в "свой ОС", "свой игровой движок", "свой приставка", куда лучше вложиться в "свой IDE".

Да и в языки программирования хорошие, вот вышел в мае Kotlin 2.0, ну и что? Это лайт-версия OCaml под JVM :)

А Сберу, как минимум, приказ срочно запилить плагины GigaCode для vim и emacs :)
👍6610🤔5🐳5👏3
Гадский хром вернулся в Россию, чтобы организовывать диверсии :)
Включился в нём после обновления caret browsing, и никак никак не убить, и F7 не помог, и DevTools отключал, нифига. По старой памяти, отключил аппаратное ускорение, только это помогло. В чём причины, искать уже бессмысленно,
дальше, по мере роста объёмов кода, будет только хуже.

Ради интереса поставил OperaGX, ну неплохо, только обещанный "встроенный VPN" враньё. Есть платный VPN Pro и предоложение триала, которое выдаёт 404.

Установил в итоге минималистичный Min (a fast, minimal browser that protects your privacy), довольно необычный.
🔥3715🤔9😁41
AI создаст миллионы новых рабочих мест, говорят они нам.
...и сам будет на них работать.
😁48👍83❤‍🔥1