Все потоки

Автор статьи Modern SAT solvers: fast, neat and underused утверждает, что SAT-солверы «преступно мало используются в нашей отрасли». [SAT — Boolean SATisfiability Solver, то есть солвер, способный находить присвоения, делающие истинными сложные булевы выражения. Более подробно я писал о них ранее.] Какое-то время назад я задался вопросом, почему: как получилось, что они настолько мощны, но ими никто не пользуется? Многие специалисты заявили, что причина в неудобстве кодирования SAT: они лучше предпочтут работать с инструментами, которые выполняют компиляцию в SAT.

Я вспомнил об этом, когда прочитал пост Райана Бергера о решении «задачи ферзей с LinkedIn» как задачи SAT.

Вкратце опишу задачу про ферзей (Queens). У нас есть сетка NxN, разделённая на N областей, и нам нужно разместить N ферзей так, чтобы в каждом столбце, строке и области находился ровно один. Ферзи могут находиться на одной диагонали, но не соседствовать по диагонали.

Еще несколько лет назад казалось, что на рынке процессорных архитектур перемен не будет: x86 прочно удерживал серверы и десктопы, а ARM доминировал в мобильных устройствах и в микроконтроллерной отрасли. Все новые инициативы выглядели либо нишевыми, либо обреченными на маргинальное существование. Но постепенно стало заметно: всё чаще в новостях упоминается странная аббревиатура — RISC‑V. То NVIDIA заявляет о поддержке, то Huawei инвестирует в разработку процессоров на его основе, то стартапы один за другим анонсируют новые решения, основанные на открытой архитектуре.

RISC‑V за десятилетие прошел путь от академического проекта до реальной альтернативы закрытым стандартам. И его преимущества — открытость, гибкость, отсутствие лицензионных отчислений — сегодня оказываются особенно важными на фоне глобальных технологических и политических изменений.

Россия не осталась в стороне от этой тенденции: для координации усилий по развитию отечественных технологий на базе RISC‑V был создан Российский альянс RISC‑V и настало время представиться и рассказать о том, кто мы такие, как создавался Альянс, кто стоял у истоков его создания и почему эта инициатива важна для технологической независимости страны. Погрузимся в историю и узнаем, основные цели Альянса, его ключевые направления деятельности и рассмотрим наиболее интересные проекты, реализуемые с использованием открытой архитектуры, которая объединила ведущие IT‑компании России.

Человеческий разум — это, пожалуй, самая загадочная сущность во Вселенной. Мы способны мечтать, рассуждать, создавать искусство и постигать законы космоса, но как именно возникает сознание, остаётся тайной. В последние десятилетия появилась смелая гипотеза: возможно, ключ к разгадке сознания лежит в мире Квантовой физики, где частицы ведут себя непредсказуемо, а реальность зависит от наблюдателя. Может ли Квантовая механика, описывающая поведение атомов и субатомных частиц, объяснить природу нашего разума? Или это лишь красивая идея, балансирующая на грани науки и философии?

Вводные: всегда хотел работать в геймдеве, поэтому решил начать с малого — попробовать сделать хоть какой‑то прототип игры с нуля. С C# знаком на среднем уровне, с блендером на нулевом), с Unity чуть‑чуть (делал тетрис, и пытался сделать мультиплеер для него поверх Steam через Spacewar).

Изначально идея была сделать что‑то на минут 10–15, как обычно в голове много идей и мелочей, реализация которых поможет создать более приятный геймплей, но когда доходит дело до реализации, то приходит понимание, что не все так легко, как кажется.

Выбор пал на создание какой‑нибудь простенькой хоррор игры, которую необходимо пройти, т.к. опыта в Blender у меня нет, я решил сделать что‑то максимально простое, поэтому я посмотрел пару гайдов на ютубе и начал «творить».

Решил сделать все в виде тайлов, из которых затем соберу комнаты и коридоры между ними, больше всего времени я потратил на создание модели врага, которая будет бегать за игроком.

Стена была сделана из нескольких плоскостей, на которые была натянута текстура кирпичной кладки, предварительно пикселизованная.

10 новых российских продуктов для парсинга сайтов, медитаций, создания интерактивных презентаций и многого другого. Битва за «Продукт недели» началась!

Product Radar — здесь каждую неделю публикуются лучшие онлайн-сервисы и железки от русскоязычных команд.

Представьте огромный конструктор, для которого одни специалисты создают идеальные детали, а другие собирают из них сложные, продуманные модели. Примерно так устроен ИТ‑ландшафт Сбера: универсальные технологические платформы здесь становятся основой для сотен уникальных сервисов.

Почти 10 лет назад мы начали создавать платформу с базовыми технологическими компонентами. Эта платформа, которая впоследствии превратилась в Platform V, стала основой одного из трёх ключевых технических фундаментов, предоставляющих универсальные компоненты для создания цифровых решений. А сейчас Сбер уже развивает пять ключевых платформ. Три из них — технологические фундаменты: работа с данными, инфраструктурой и базовыми модулями, с которых мы начали платформизацию. Остальные две платформы включают в себя инструменты для эффективной командной работы и коммуникаций.

CJM, Customer Journey Map — это визуальная карта пути клиента от первого касания с вашим брендом до повторной покупки или рекомендации другим людям. (ниже будет много иллюстраций)

Она показывает:

Добрый день, уважаемые подписчики Хабра! Продолжаем знакомство с Университетом Лобачевского и возможностями, которые он предоставляет в области высшего образования, в том числе на стыке ИТ и гуманитарных наук.

Представьте себе журналиста будущего. Он не только пишет тексты, но и анализирует данные, проверяет факты за секунды и даже создаёт визуальные материалы с помощью искусственного интеллекта. И это вовсе не фантастика, а реальность, с которой сталкиваются современные журналисты. Может быть, человек и машина могут работать вместе?

Привет, Хабр! Хочу поделиться своим опытом создания бота, который может имитировать стиль общения любого пользователя Telegram. Проект AI Telegram Responder позволяет обучать модели на основе истории переписки и использовать их для автоматических ответов в определенных чатах.

Научись использовать Git как профессионал. Эта статья поможет тебе освоить самые популярные команды Git на реальных примерах. Узнай, как добавлять изменения, создавать коммиты, переключаться между ветками, объединять изменения и синхронизировать проект с удалённым репозиторием.

Много лет был адептом GUI и вот уже ворочу нос от этой смердятины. Всё постоянно давит, всё не нравится. Если открываю VS Code или QtCreator - 10 минут вспоминаю как этом пользоваться. Хочу поделиться с тобой своей историей...

Представьте: вы разработчик коммерческого ПО. В один прекрасный день пользователи начинают сообщать, что популярный блокировщик uBlock Origin не дает скачать ваш продукт. Никакой рекламы или сторонних баннеров в приложении нет и никогда не было. Невозможно? Вчера мы столкнулись именно с такой целенаправленной атакой на репутацию. Под катом — интриги, расследование, анатомия атаки и выводы, которые могут спасти и ваш проект.

Привет, я Артем Дембицкий, аспирант программы «Науки о материалах» и стажёр‑исследователь Центра энергетических технологий Сколтеха, а также младший научный сотрудник команды «Дизайн новых материалов» Института AIRI. Мы с коллегами используем модели машинного обучения для разработки новых материалов с улучшенными свойствами.

Недавно статья с результатами нашего исследования вышла в npj Computational materials — журнале из семейства Nature. Совместными усилиями Сколтеха и AIRI мы оценили применимость машинного обучения для ускоренного поиска литий‑ионных проводников, а также показали практический пример использования универсальных межатомных потенциалов для подбора защитных покрытий катодов твердотельных аккумуляторов.

В этой статье хотелось поделиться подробностями нашей работы, а также в целом рассказать об этих материалах и о том, как их ищут.

Размещение облачной инфраструктуры за рубежом открывает для российских компаний новые возможности на международных рынках, снижает юридические и операционные риски, сохраняя привычный уровень обслуживания. При этом многие компании продолжают использовать только локальные облака, упуская возможности глобальной инфраструктуры.

В этой статье рассмотрим основные сценарии и преимущества использования зарубежных облачных сервисов для бизнеса.

Bildschirmtext (сокращённо Btx или BTX; в Швейцарии — Videotex) — это интерактивная онлайн-служба, объединявшая функции телефона и телевизора в единое средство связи. В Австрии BTX был запущен в июне 1982 года, а в ФРГ — 1 сентября 1983 года. Однако с появлением открытого интернета сервис постепенно утратил свою актуальность и в итоге был отключён во всех странах (в Германии — в 2007 году). BTX иногда путали с телевизионным телетекстом, чему способствовало и то, что в Швейцарии служба называлась Videotex (без буквы t на конце), что было созвучно с немецким синонимом телетекста — Videotext. 

Для своего времени это была довольно прогрессивная система, о ее запуске, принципах работе, взлете и закате мы и расскажем в нашем материале. 

• Японская ходьба: преимущества этого фитнес-направления

• Американский стартап заявляет о «первом в истории» программном обеспечении для генетической оптимизации эмбрионов при ЭКО

• Брачные предпочтения человека, основанные на запахах, не гарантируют совместимость на уровне гамет

• Команда из Мельбурна продемонстрировала способ сделать ВИЧ видимым внутри белых кровяных клеток, что открывает путь к его полному выведению из организма

• Учёные раскрыли секрет продуктивности — и почему вам следует делать более длительные перерывы

Что, если пользовательские истории не работают? Что, если заказчик не понимает, чего он хочет, а команда тонет в предположениях? Андрей Шапиро  @xraizor — дизайнер интерфейсов и соавтор фреймворка проектирования социотехнических систем — рассказывает о «Карте реализации историй» (КРИ) — практическом методе проектирования, который помогает вытащить смысл из хаоса, превратить знания в структуру и наконец-то начать делать сложные продукты осознанно.

Всем привет! На связи Гузель - дизайнер цифровых продуктов в Альфа-Банке.

В одной компании я была свидетелем того, как сотрудник в свой первый день вышел перепарковать автомобиль и не вернулся. Причина: новичка не познакомили с командой, не назначили наставника, не объяснили, чем ему предстоит заниматься. Вместо этого HR-менеджер привел его в опенспейс и оставил на несколько часов без внимания… За это время сотрудник решил, что это не его компания. И я его не осуждаю. 😅

В бигтехе вопрос онбординга особенно острый, поскольку здесь объем информации необходимой к усвоению огромен: много людей, множество процессов, сложный специфический продукт (или несколько), огромная дизайн-система со своими особенностями применения. И запутаться в этом очень легко.

В Альфа-Банке к каждому новому дизайнеру цифровых продуктов прикрепляется бадди – коллега, который подскажет и сориентирует по любому вопросу, поможет адаптироваться на новом месте. Не так давно я стала таким бадди. И сделала всё возможное, чтобы не повторять ситуацию из истории выше.

В этой статье расскажу про то, как онбордила нового дизайнера в команду внутренних продуктов: поделюсь шаблоном для онбординга, который вы сможете адаптировать под свой продукт, а также опишу план погружения новичка в процессы и продукт, которого мы придерживались.

Сегодня мы создадим вашего персонального аналитика источников, который будет вытаскивать самое важное из ваших любимых Telegram-каналов.

Мы соберём RAG-пайплайн, который по запросу проанализирует последние новости по интересующим темам и выдаст понятный отчёт. Разберём пошагово всю структуру и подумаем, как можно развивать и улучшить эту систему.

Европа, спутник Юпитера, и Энцелад, спутник Сатурна, — два мира, скрывающих под своими ледяными оболочками жидкие океаны. Они, возможно, дадут нам ответ на вопрос о существовании жизни за пределами Земли. Чтобы исследовать спутники, NASA разрабатывает роботизированные системы, способные пробурить лед и добраться до воды.

Одна из них — робот для посадки на Европу, прототип которого уже прошел испытания на леднике Матануска на Аляске. Давайте разберем, как он устроен, какие вызовы стоят перед инженерами и почему этот проект может изменить наше представление о жизни во Вселенной. Поехали!