// математическая верификация
математическая верификация
Против формальной верификации: 50 лет спустя
Введение: Полвека надежд и разочарований Когда очередной критический баг роняет продакшен в пятницу вечером (обычно прямо перед выходом на выходные), разработчики невольно задумываются: а не пора ли …
программирование
10.08 03:16
ЛОГИКА
Цифровое археологическое погружение: как древние персидские манускрипты предвосхитили логику IT-систем
coffee-web
01.08 06:17
АВТОДОП…
Как заставить автодополнение работать для элементов в вашем кастомном дженерик-словаре
coffee-web
14.07 08:16
КРУГЛЫЕ…
Создание круглого цифрового часов с ЖК-дисплеем: пошаговое руководство
coffee-web
30.06 06:16
PDP-1
Exploring PDP-1 Lisp (1960): История, реализация и влияние
coffee-web
28.06 01:16
ПРОГРАМ…
Suspicious Discontinuities: выявление и устранение скрытых аномалий в программировании
coffee-web
25.06 19:16
ПОИСК П…
Поиск последней буквы в строке: важная задача в программировании
coffee-web
25.05 03:17
ОБРАБОТ…
Как правильно обрабатывать ошибки в программе, чтобы она продолжала работать
coffee-web
23.05 07:17
ОДИН ПЕ…
One Variable Programming: Искусство минимализма, архитектура аккумулятора и чистота кода
coffee-web
18.05 01:16
PROLOG
Prolog Coding Horror: распространенные проблемы и решения
coffee-web