Как разработчики реагируют на статьи с привкусом ИИ
98% читателей предпочитают несовершенные, но аутентичные тексты, написанные человеком. При подозрении на ИИ-составляющую в вашем тексте вас, как правило, перестанут читать, заблокируют и дизлайкнут “Вау, видимо, нейронка Claude только что дописала новый пост в блоге… прямо не терпится его прочитать! ” – Фраза, которую никогда не произнесёт ни один разработчикВ отчёте Writing with LLMs
Книга: «Грокаем алгоритмы искусcтвенного интеллекта. 2-е изд.»
Привет, Хаброжители!
Прогноз: благодаря ИИ формальная верификация станет мейнстримом
Сейчас много говорят о том, как ИИ повлияет на разработку ПО, но есть такой ракурс, под которым проблему почти не рассматривают. Думаю, ИИ превратит в программно-инженерный мейнстрим формальную верификацию, которая десятилетиями развивалась где-то на периферии. Уже довольно давно существуют языки программирования для программирования на основе доказательств, а также упрощающие такие доказательства — например, Rocq, Isabelle, Lean, F* и Agda
Этот MCP‑сервер можно было бы уложить в файле JSON
Сейчас много говорят о MCP (протоколе контекста модели). Я вообще не уверен, что он нуженСейчас много говорят о серверах стандарта MCP (протокол контекста модели). Идея проста: учим большие языковые модели (LLM) взаимодействовать с другими программными системами. В процессе такой работы LLM могут учиться и давать реальный эффект. Например, вызвать веб‑сервер, чтобы позвонить по телефону, либо открыть инструмент для работы с интерфейсом командной строки (CLI)
Книга: «LLM на практике. Большие языковые модели от идеи до внедрения»
Привет, Хаброжители!
Абстракции для реализаций мертвы. Да здравствуют абстракции для проектирования
Благодаря искусственному интеллекту код удешевился. Но ошибочные архитектурные решения остаются такими же дорогими, как и раньше. Время от времени я спорю сам с собой о том, какие аспекты программной инженерии остались особенно важными в наше время, когда ИИ бегло пишет код. Вывод, к которому я прихожу, не понравится многим опытным разработчикам. Паттерны реализации, на усвоение которых мы потратили годы, стремительно обесцениваются. Но что насчёт умения структурировать системы в духе правильного проектирования? Это умение становится всё более, а не менее востребованным.
Книга: «Современная бизнес-аналитика. Увеличьте ценность данных с помощью Python и R»
Привет, Хаброжители!
Инженерная стратегия без иллюзий: открыт предзаказ книги Уилла Ларсона
Привет, Хаброжители!
Издательство Питер. Колонка редактора, июль 26 г
Привет, Хаброжители!Предлагаем ознакомиться с краткими обзорами новинок, отправленных в типографию.
