ЛаМПовое с Бобровским
@lambda_brain
Сергей Бобровский из Лаборатории Математики и Программирования https://t.me/lambda_brain
Образование
Подписчиков
60
Ср. просмотров
86
Вовлечённость (ER)
0.0%
2 публикаций
Прирост за 30д
0.0%
0 подписчиков
Топ-5 постов по просмотрам
Все посты →1
Coq: The world’s best macro assembler Используем популярный пруф-ассистант как мощный макроассемблер. Всё от моделирования архитектуры до генерации б
106
ER 177%
01.03.2026
2
PDF "The Power of Ten – Rules for Developing Safety Critical Code" оригинал НАСА
65
ER 108%
05.03.2026
Ссылка на MaxBook страницу
maxbook.ru/m/lambda_brain
Подробная аналитика на MaxBook →
Данные обновляются автоматически