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