📚 Cs/books/uwu

❤1

207 views10:11

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

198 views11:16

📚 Cs/books/uwu

The Missing Semester of Your CS Education

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

205 viewsedited 14:18

📚 Cs/books/uwu

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

200 views14:21

📚 Cs/books/uwu

http://cslibrary.stanford.edu/101/

cslibrary.stanford.edu

Essential C

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

199 views05:34

223 views05:35

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

194 views05:36

📚 Cs/books/uwu

I hope now you know why I hate javascript

❤1

187 viewsedited 09:31

📚 Cs/books/uwu

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

YouTube

linux vs bill gates

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

200 views10:43

📚 Cs/books/uwu

let's hit 300

Thanks

❤1🔥1🍾1

187 views02:14

📚 Cs/books/uwu

Forwarded from ⸙anachronistic leaves🌿

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

🔥3🗿1

212 views08:23

📚 Cs/books/uwu

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

238 views02:31

About

Blog

Apps

Platform