Приветствуем, Хабр. Совсем недавно мы делали обзор о ближайших наших книгах, в которых рассматриваются большие языковые модели (LLM) и искусственный интеллект. В частности, там упоминалась книга Камиля Гадеева @Kamil_GRо промпт-инжиниринге и работе с LLM. Камиль Гадеев ведёт на Хабре…
Привет, Хаброжители! Мы перевели для Вас свежую статью Мартина Клеппманна о том, почему формальная верификация благодаря ИИ вот-вот перестанет быть уделом единиц и станет обычной практикой. Сейчас много говорят о влиянии ИИ на разработку, но есть ракурс, который почти не рассматривают. Клеппманн считает, что ИИ превратит формальную верификацию, десятилетиями жившую на периферии, в программно-инженерный мейнстрим. Читать далее
Предположим, что вы участвуете в игровом шоу, известном тем, что все его участники рассуждают совершенно логично. Вы и другой участник стремитесь согласовать свои действия, чтобы выиграть главный приз. А именно, вам нужно действовать сообща так, чтобы одновременно назвать один и
История парадокса Гиббса неплохо изложена в книге С. Д. Хайтуна 'История парадокса Гиббса' и обзоре Оливье Дарриголя 'Парадокс Гиббса: ранняя история и пути решения'. Меня удивило, что как в книге Хайтуна, так и обзоре Дарриголя выражались сомнения в возможности разрешения…
Искусственный интеллект проник уже почти во все сферы деятельности человека, но вместе с этим в мире появляется всё больше запретов на его использование, в частности, когда речь идёт о молодом поколении. Многие страны начинают ограничивать использование ИИ в том или ином виде для детей и школьников до определённого возраста. Читать далее
Про HTTP/3 написано примерно одно и то же: QUIC решает проблему head-of-line blocking, соединение переживает смену сети, рукопожатие укладывается в один раунд. Всё это правда. Непонятно другое — сколько из этого достаётся конкретной странице, и в каких случаях не достаётся ничего. Читать далее
Привет, Хабр. Предлагаем вам почитать и обсудить наше интервью с Вячеславом Васильевым, Senior Data Scientist в Управлении базовых моделей Kandinsky, блок «Развитие генеративного ИИ». Вячеслав — опытный исследователь в области Gen AI и один из создателей нескольких поколений…
Среди азиатских корпораций довольно много долгожителей. Некоторым компаниям больше века. Поэтому неудивительно, что некоторые логотипы успевают устареть и поднадоесть и топ-менеджменту, и клиентам. И без ребрендинга тут никак не обойтись. Однако чем богаче история фирмы, тем с большей обдуманностью стоит подходить к подобным шагам. В противном случае есть риск вызвать у потребителей волну негодования или даже подорвать репутацию организации. Читать далее
Не так давно мы решили запустить свой собственный MCP-сервер для GoCD. Ну а что, у всех есть MCP, а у нас не было. И у GoCD не было такого, который бы подошел нам. Мы уже больше месяца им активно пользуемся. Сам проект тоже живет и развивается — его версия за это время выросла до 1.2.0:…
Это моя вторая статья. После первой я посмотрел на статистику и понял простую вещь: начинать издалека и пытаться рассказать сразу обо всём — плохая идея. Поэтому сейчас будет одна задача, один странный баг и одна строка, которая его исправила.Я добавлял в админку сайта портфолио.