Только GPT-5 решила все задачи чемпионата мира по программированию
На чемпионате мира по программированию ICPC в Баку произошло событие, которое может войти в историю как переломный момент в отношениях человека и искусственного интеллекта. Экспериментальная система
DeepSeek-R1: ИИ впервые научился рассуждать с нуля
В Nature опубликована работа, которая уже наделала шума в научном сообществе. Китайская команда представила DeepSeek-R1, первую масштабную языковую модель, которая научилась рассуждать без примеров от человека.
История статической и динамической типизации
Привет, Хабр! Меня зовут Глеб, я Java-разработчик в Сбере. Сегодня я хочу рассказать про исторический контекст двух фундаментальных подходов к системе типов в программировании.Наверное, каждый разработчик, знает, что такое статическая и динамическая типизация (или хотя бы одно из этих понятий). Действительно, все современные языки программирования можно отнести либо к статически, либо к динамически типизированным. Идеи, лежащие в основе этих подходов, достаточно легко объяснить на пальцах: при статической типизации мы знаем все типы, используемые нашей программой, ещё во время её компиляции.
TikTok на грани раскола: США и Китай почти утвердили судьбоносную сделку
Долгие годы споров, угроз и политических баталий вокруг TikTok, похоже, подходят к развязке. По данным Wall Street Journal
Топ-12 бесплатных нейросетей для создания видео и оживления картинок
Когда вы в последний раз поднимали взгляд к звёздам и думали: «А вдруг где-то там действительно есть жизнь?»
