📚 Cs/books/uwu

Introduction to Computing: Explorations in Language, Logic, and Machines by David Evans https://computingbook.org/

A Minimalistic Verified Bootstrapped Compiler https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-

https://t.me/alurman Very good and informative! Subscribe please

Turned out a little chaotic. This time the talk is in English. Enjoy! https://youtube.com/watch?v=BzqpjE7lgxw

>uses arch >says linux should be mainstream Are you serious madafaks?

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

Any community

In any

Most in arch community

Toxic people exist in any community

A retard arch user got trigged bcz i said AUR is having some malware nowadays lol I think there are some microsoft imposters among hs

Literally me