История статической и динамической типизации
Привет, Хабр! Меня зовут Глеб, я Java-разработчик в Сбере. Сегодня я хочу рассказать про исторический контекст двух фундаментальных подходов к системе типов в программировании.Наверное, каждый разработчик, знает, что такое статическая и динамическая типизация (или хотя бы одно из этих понятий). Действительно, все современные языки программирования можно отнести либо к статически, либо к динамически типизированным. Идеи, лежащие в основе этих подходов, достаточно легко объяснить на пальцах: при статической типизации мы знаем все типы, используемые нашей программой, ещё во время её компиляции.
Города будущего: мечты, которые уже становятся реальностью
Города будущего появляются на пересечении экологии, технологий и гуманистического дизайна. Одни из них уже заселены, другие существуют в виде чертежей или строящихся объектов, но все они бросают вызов традиционным представлениям о городской жизни. Рассмотрим некоторые из них.Мировые проектыWoven City (Япония) На склонах горы Фудзи разворачивается амбициозный технологический проект — Woven City, или «Сплетенный город». На выставке CES 2025 глава Toyota Акио Тойода представил отчет о завершении первого этапа строительства.
Машинное обучение в финтехе
Привет, Хабр! Машинное обучение в финансовой сфере — это полноценный инструмент, который уже меняет подходы к анализу данных, принятию решений и автоматизации процессов. Как именно эта технология работает, и какие конкретные задачи она решает? Поговорим об этом в этой статье.
Гайд: AI-агент на GigaChat и LangGraph (от архитектуры до валидации) на примере Lean Canvas
Запуск стартапа — это не только идея, но и понимание, как она станет бизнесом. Lean Canvas, предложенный Эшем Маурья, помогает на одной странице структурировать ключевые аспекты: проблемы клиентов, решения, каналы продаж и издержки. Но Lean Canvas за пять минут не заполнить: нужны гипотезы, исследования, слаженная работа команды. А что если большую часть рутины возьмёт на себя AI-агент? Мы в GigaChain решили попробовать. Рассказываем, что из этого получилось.
IT Кэмп Сбера на big tech night: огонь, вода и медные трубы
12 сентября Яндекс, Сбер, X5, Т‑Банк и Lamoda впервые одновременно откроют двери ночью и покажут, где рождаются технологии. Приходите изнутри посмотреть на новейшие разработки и фичи — всё то, чего не видно при свете дня.
Зачем Пьер Жаке-Дро делал свои автоматоны, и чем они похожи на компьютеры
Сейчас автоматонами называют роботов с зачатками интеллекта. А первые атоматоны, которые считаются предтечей современных роботов, были просто диковинными механизмами, выполняющими действия по заданной программе. Из всех механических чудес прошлого автоматоны Пьера Жаке-Дро упоминаются чуть ли не чаще остальных. Тому немало причин — они очень впечатляющие, и сохранились до сих пор, причем в рабочем состоянии. Особенно виртуозным считается автоматон «Писарь», или «Каллиграф».
Как мы обучали модели для кода GigaCode
Привет, Хабр Меня зовут Дмитрий Бабаев, я руководитель R&D GigaCode в Сбере. Сегодня расскажу о том, как мы создавали ИИ‑помощника для программистов задолго до того, как это стало мейнстримом.
