📚 Cs/books/uwu
Ir al canal en Telegram
586
Suscriptores
Sin datos24 horas
+37 días
+1530 días
Archivo de publicaciones
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-
¡Ya disponible! Investigación de Telegram 2025 — los principales insights del año 
