Декларативные конечные автоматы на Python +7
Публикации с хабом Математика
Подробный обзор Balancer +1
Aura Finance: все, что нужно знать
Германская танковая проблема: торжество статистики и один из первых примеров военного OSINT'a +95
Современные протоколы кредитования в DeFi: как это работает— Curve LlamaLend +2
Уравнение пьезопроводности с точечным источником. Получение точного решения для случая с бесконечной границей +3
Эволюция технологий контейнеризации и их роль в современном DevOps -6
Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq +35
CAP, Coq и Евклид +7
Как линейная алгебра помогла мне в разработке интерактивного редактора диаграмм +3
Контекстные бандиты в ценообразовании
Гипотеза Коллатца как фейл мировой математики +7
Итоги года команды «кодИИм» -3
Модель числа I. Нахождение инволюции +1
Деление беззнаковых 8-битных чисел +46
