📚 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
