📚 Cs/books/uwu

❤1

215 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

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

Essential C

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

203 views05:34

232 views05:35

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

YouTube

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

let's hit 300

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

About

Blog

Apps

Platform