На моем компьютере всё работало!» — фраза, после которой начинается многочасовой дебаггинг. Вы открываете requirements.txt, а там свалка: непонятные версии, транзитивные зависимости и библиотеки, которые вы вообще не ставили. Pip — отличный установщик, но ужасный менеджер проектов. В 2025…
Недавно я закончил реализацию своего хобби-проекта по воссозданию ПК IBM XT из 80-х на основе оригинальных деталей с использованием современных технологий. У меня была чёткая цель: возможность играть на этом ПК в EGA-версию Monkey Island 1 со всеми примочками. То есть мне нужна была…
Это начинается незаметно. Сначала — просто «временное решение». Потом — «сделаем рефакторинг». Но «потом» не наступает никогда. Мы называем это техническим долгом, словно он когда-то будет погашен, но прекрасно знаем — чаще всего это просто красивое описание хаоса. Читать далее
Недавно мы в Beeline Cloud поднимали тему забытых RFC из 90-х, а сегодня решили обсудить феномен текстовых игр. Кроме того, собрали руководства и веб-ресурсы, которые помогут запустить подобный проект или протестировать кастомные игры. Читать далее
В этой статье мы поговорим о том, как реализовать поведение атомарной вставки в ClickHouse. Рассмотрим несколько вариантов, подсветим их сильные и слабые стороны, а также, когда каждый из них применять. Читать далее
Привет, Хабр! Мы тут собрали свежие модели игровых консолей, которые вышли или были представлены этой осенью. Тут есть все, что может вам понравиться: вертикальный форм-фактор, как у старого Game Boy, устройства с жидкостным охлаждением и сменными батареями, 3D-дисплеи, экспериментальные интерфейсы и максимальная производительность в корпусе меньше планшета. В общем, поехали, будет интересно! Читать далее
Когда в 2010 году в сибирской мерзлоте нашли небольшого мамонтенка Юку, находку восприняли как огромную удачу. Ткани животного сохранились почти идеально: на теле сохранились царапины, шерсть лежала плотным слоем, мышцы практически не утратили структуру. 15 лет спустя стало ясно,…
Дискретные дифференциальные операторы лежат в основе математического моделирования и обработки данных. В частности, они используются при обработке временных рядов и изображений, в компьютерной графике и симуляциях физических процессов и т.д. В статье последовательно…
TL;DR: Cure — это функциональный язык программирования для виртуальной машины BEAM (Erlang/Elixir/Glem/LFE), который привносит математические доказательства корректности кода прямо во время компиляции. Используя SMT-солверы (Z3/CVC5), Cure проверяет типы зависимые от значений, верифицирует конечные автоматы и гарантирует отсутствие целых классов ошибок ещё до запуска программы.Проект выходит из стадии «наколенная поделка» и переходит в разряд «MVP». Зачем я стал писать свой язык
Нагрузочное тестирование — это не просто «нагрузить систему до падения». Это точный инструмент для поиска причинно-следственных связей. В этой статье описан пример использования связки из Демобазы 2.0 и комплекса pg_expecto, чтобы провести контролируемый эксперимент. Изменим…