66 подписчиков69 публикаций
Описание ресурса
Сергей Бобровский из Лаборатории Математики и Программирования https://t.me/lambda_brain
Последние посты
Лента канала- Вложенный файл5 мар. 2026 г., 11:34188
- PDF "The Power of Ten – Rules for Developing Safety Critical Code" оригинал НАСА5 мар. 2026 г., 11:34183
- Coq: The world’s best macro assembler
Используем популярный пруф-ассистант как мощный макроассемблер. Всё от моделирования архитектуры до генерации бинарного кода и его верификации делается внутри Coq.
Исполняемость модели внутри Coq (можно "выполнять" инструкции и видеть состояние).
Повторное испо…1 мар. 2026 г., 14:01218
- Владимирская даёт базу по резюме-26.24 февр. 2026 г., 11:06169
- чем больше я использую (arch) linux, тем больше ненавижу macos.23 февр. 2026 г., 10:50174
- Классика computer science: "The spineless tagless G-machine, naturally"
Spineless Tagless G-machine (STG) -- абстрактная машина, лежащая в основе легендарного компилятора Glasgow Haskell Compiler (GHC). В оригинале использовали Natural Semantics для ленивых вычислений Джона Лончбери как основу для ф…20 февр. 2026 г., 12:25168
Подписчики
66
Публикации
69
Обновление
9 августа 2026 г.
Первая публикация
21 декабря 2025 г.
Активность канала
Пик активности: 5 марта 2026 г.Текст: 17Фото: 2Другое: 1