📚 Cs/books/uwu
Відкрити в Telegram
586
Підписники
Немає даних24 години
+37 днів
+1530 день
Архів дописів
Repost from (φ (μ (λ)))
Introduction to Computing: Explorations in Language, Logic, and Machines by David Evans
https://computingbook.org/
Repost from Programming Deadlock
A Minimalistic Verified Bootstrapped Compiler
https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-
Вже доступно! Дослідження Telegram за 2025 — головні інсайти року 
