jcoo092
2020-10-28 01:00:32

“What’s all the Racket about?!” :sweat_smile:


jcoo092
2020-10-28 03:00:07

A little while ago, somebody posted a link to a long-ish document that included quite a good introduction to the basics of complexity theory (as in, what the heck is ‘Big Oh’?). Anybody remember which document that was, and where to find it? I think it was written by Matthew Flatt, but I’m really not sure on that point.

Basically, somebody over in another Slack is asking about resources for learning about the more formal side of things in programming/logic, and that struck me as probably a good one to pass along.



samth
2020-10-28 03:10:46

by @plragde


samth
2020-10-28 03:11:07

who also has several other excellent texts: https://cs.uwaterloo.ca/~plragde/flaneries/


jcoo092
2020-10-28 03:11:31

Yes, that looks like it! Thanks :slightly_smiling_face: