ФиззБазз ΟΕΔ. Практическое введение в формальную верификацию на зависимых типах Idris 2 +26
Публикации с хабом Ненормальное программирование
Подставляем TOTP в Chrome c помощью Yubikey +5
DOOMQL: DOOM-подобный многопользовательский шутер на чистом SQL +73
Как упростить разработку: опыт и размышления (компиляция из моей переписки) -1
Интересная «Request-Based» архитектура на примере Блокнота с открытым исходным кодом +1
Разработка на Java без всего +17
QMS: Мастерим лунолёт +3
Мое видение универсального языка программирования +6
Контроль напряжения над блоком питания на STM32: Подход к энергоэффективности и защите +6
MZ-Executable | Исполняемые файлы и MS-DOS (переработка) +12
Demoded: разбор олдскульных демо-эффектов на примере +43
- Demoscene
- Abnormal programming
- 3D-graphics
- Algorithms
- Old hardware
- Демосцена
- Ненормальное программирование
- 3D-графика
- Алгоритмы
- Старое железо
Самобеглый Код :-) +13
CP/M, DOS и их .COMманды +12
Математика, биты, магия и немного ненормального программирования на C +51
Теряем невинность с Таненбаумом: Amsterdam Compiler Kit +6
