ЛаМПовое с Бобровским
Канал MAX @lambda_brain в категории «Образование»
Канал предлагает глубокие технические обзоры по программированию и компьютерной науке с уклоном на образование.
Подписчиков
65
Средний охват поста (30д)
0
Постов за 7 дней
0
Последние посты канала ЛаМПовое с Бобровским
- 05.03.2026 — (138 просмотров)
- 05.03.2026 — PDF "The Power of Ten – Rules for Developing Safety Critical Code" оригинал НАСА (133 просмотров)
- 01.03.2026 — Coq: The world’s best macro assembler Используем популярный пруф-ассистант как мощный макроассемблер. Всё от моделирования архитектуры до генерации бинарного кода и его верификации делается внутри Coq. Исполняемость модели внутри Coq (можно "выполнять" инструкции и видеть состоя (173 просмотров)
- 24.02.2026 — Владимирская даёт базу по резюме-26. (138 просмотров)
- 23.02.2026 — чем больше я использую (arch) linux, тем больше ненавижу macos. (145 просмотров)
- 20.02.2026 — Классика computer science: "The spineless tagless G-machine, naturally" Spineless Tagless G-machine (STG) -- абстрактная машина, лежащая в основе легендарного компилятора Glasgow Haskell Compiler (GHC). В оригинале использовали Natural Semantics для ленивых вычислений Джона Лончб (144 просмотров)
- 15.02.2026 — Hard Mode Rust: пишем на расте в искусственно минималистичном стиле, в духе Си. (132 просмотров)
- 08.02.2026 — Деферы не включили в C23, но уже сегодня сишечку можно юзать с ними: (Un)portable defer in C (155 просмотров)