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