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