Лаборатория Математики и Программирования Сергея Бобровского – Telegram
Лаборатория Математики и Программирования Сергея Бобровского
1.29K subscribers
1.19K photos
24 videos
931 links
ЛаМПовое с Бобровским
Download Telegram
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
Роб Пайк и не скрывает, для чего Go: для корпоративных сверхприбылей и организации галер, где разработчиков сознательно превращают в тупенькие машинки, совсем скоро легко заменимые AI, и выжимают из них по максимуму.

Software engineering might be science; but that's not what I do. I'm a hacker, not an engineer...
Programmers are often fond of saying, "Nobody would ever do that!" in response to potential bugs identified in code. Yet, people invariably do things that "nobody would ever do," regularly...
The idea that a piece of code can be written once and then be somehow safe and usable forever is a dangerous fallacy...
Most programmers are terrible. Essentially, they write code that is expected to work, yet they ignore that software doesn't work 100% of the time...

"Считается, что если ты не в состоянии заработать себе на жилище и на одежду, значит, ты безнадежный дурак и тебе место как раз на острове Дураков. Первое время тебя там будут и кормить, и поить, и угощать чем захочешь, и ничего делать не надо будет. Знай себе ешь да пей, веселись да спи, да гуляй сколько влезет. От такого дурацкого времяпрепровождения коротышка на острове постепенно глупеет, дичает, потом начинает обрастать шерстью и в конце концов превращается в барана или в овцу."
"Незнайка на Луне"

Будете кодить на Go на корпоративных островах Дураков -- быстро превратитесь в барана.
👍52🤔25😁75💯3