TL;DR: Cure — это функциональный язык программирования для виртуальной машины BEAM (Erlang/Elixir/Glem/LFE), который привносит математические доказательства корректности кода прямо во время компиляции. Используя SMT-солверы (Z3/CVC5), Cure проверяет типы зависимые от значений, верифицирует конечные автоматы и гарантирует отсутствие целых классов ошибок ещё до запуска программы.Проект выходит из стадии «наколенная поделка» и переходит в разряд «MVP». Зачем я стал писать свой язык
Нагрузочное тестирование — это не просто «нагрузить систему до падения». Это точный инструмент для поиска причинно-следственных связей. В этой статье описан пример использования связки из Демобазы 2.0 и комплекса pg_expecto, чтобы провести контролируемый эксперимент. Изменим…
Уже несколько лет я занимаюсь определением стоимости проектов по разработке, но в первые годы постоянно терпел провалы. Да, можно создать API за неделю, но если вы берёте за это копейки и работаете, как проклятый, то больше похожи на волонтёра, которому компенсируют хлеб и воду. Я…
Привет, Хабр! Мы продолжаем изучать влияние глобальных мегатрендов на дизайн интерфейсов. В прошлых статьях мы уже разобрали, что такое тренды, как они рождаются и по каким законам живут; и изучили влияние культурных и социальных мегатрендов на дизайн интерфейсов.В этой статье…
Искусственный интеллект на сегодняшний день играет важную и быстро растущую роль в разработке программного обеспечения. Его использование охватывает множество аспектов, от автоматизации задач до помощи в принятии решений. Читать далее
Здравствуйте. В предыдущих статьях “Я хакнул галактику” (часть 1, часть 2, часть 3) я рассказал о том, что собой представляют спиральные рукава галактик. Каждая такая спираль - это фронт ударного воздействия потоков частиц из ядра галактики на ее газопылевую среду. Этот фронт постоянно распространяется из центра галактики к ее краям.Сегодня разберемся с сильно наклоненными галактиками.И разберем в качестве примера галактику Читать далее
Команда исследователей из Сколтеха, МФТИ, Института искусственного интеллекта AIRI и других научных центров разработала метод, позволяющий не просто отличать тексты, написанные человеком, от сгенерированных нейросетью, но и понимать, по каким именно признакам классификатор…
У нас было 14 бочек, 8 солнечных панелей, 100 кв.м. дома и один камин. Мы выживали как могли, пока не провели Wi-Fi. В этой статье я расскажу как построили энергоэффективный и самодостаточный умный дом. Как он мне экономит деньги, балует фруктами и в то же время пригодный для круглогодичного проживания. Читать далее
Независимая лаборатория CloudBridge Research открывает инструменты и результаты исследований QUIC, MASQUE, BBRv3 и FEC. В статье — практический опыт измерения задержек и джиттера на межрегиональных трассах, ссылки на открытые стенды и приглашение университетов, компаний и open-source проектов к совместным экспериментам. Читать далее
Я работаю с графикой для web с тех бородатых времен, когда случайное нажатие кнопки wap на телефоне могло привести к инфаркту и моментальному списанию всех средств на счете. В погоне за мобильной доступностью цифровых продуктов в те времена приходилось исхитриться каждый раз и…