📚 Cs/books/uwu
Відкрити в Telegram
648
Підписники
Немає даних24 години
Немає даних7 днів
+330 днів
Архів дописів
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-
Repost from Alan Urmancheev's blog
Turned out a little chaotic. This time the talk is in English. Enjoy!
https://youtube.com/watch?v=BzqpjE7lgxw
Being rolling release arch is a solid distro works well handle process smothly even having systemd but this genz arch user do nothing just yap about arch btw arch btw all day and thinks that arch is the only king in linux distros it is in terms of minimalism but this boomers can't accept the thing that something is bad so it's don't try to defend it
