📚 Cs/books/uwu – Telegram

📚 Cs/books/uwu

@vimvimvimvimvimvimvimvimvim

486 subscribers

235 photos

32 videos

519 files

849 links

#Books https://buymeacoffee.com/manishramanandi

Download Telegram

About

Blog

Apps

Platform

📚 Cs/books/uwu

486 subscribers

📚 Cs/books/uwu

https://dx.doi.org/10.1017/S0956796824000157

A practical formalization of monadic equational reasoning in dependent-type theory | Journal of Functional Programming | Cambridge…

A practical formalization of monadic equational reasoning in dependent-type theory - Volume 35

204 views11:16

📚 Cs/books/uwu

The Missing Semester of Your CS Education

https://missing.csail.mit.edu/

213 viewsedited 14:18

📚 Cs/books/uwu

https://cs.brown.edu/courses/csci0300/2024/schedule.html

205 views14:21

📚 Cs/books/uwu

https://cslibrary.stanford.edu/101/

cslibrary.stanford.edu

Stanford CS Education Library: A 45 page summary of all the common features and techniques for the C language.

203 views05:34

📚 Cs/books/uwu

232 views05:35

📚 Cs/books/uwu

https://www.math.uci.edu/~rvershyn/teaching/hdp/hdp.html

199 views05:36

📚 Cs/books/uwu

I hope now you know why I hate javascript

❤1

192 viewsedited 09:31

📚 Cs/books/uwu

https://youtu.be/KwnBZZ7_FGg?si=rnztda9ByFJhuvmK

linux vs bill gates

I did not create this, therefore I take no credit.
JUST A BIG FAN OF LINUX

205 views10:43

📚 Cs/books/uwu

📚 Cs/books/uwu

Thanks

❤1🔥1🍾1

192 views02:14

📚 Cs/books/uwu

Forwarded from ⸙anachronistic leaves🌿

Images created solely using mathematical equations by mathematical artist Hamid Naderi Yaganeh.

🔥3🗿1

220 views08:23

📚 Cs/books/uwu

Compilers: Principles, Techniques, and Tools
https://suif.stanford.edu/dragonbook/

245 views02:31