2026-09-05 17:49 UTC
+ CS3 year form during team project, where I am allowed to work at night/weekends (no laptops, remote access only from terminals at the halls of residence & a few other places).
- no sleeping in the building
- no possession of camping equipment in the building
The only reason they would explicit restrict the carrying of camping equipment is they must have caught enough people trying to sleep there that they needed to ban it.
I spent some time at MIT media lab and the stories of what postgrads got up to there is even worse.
https://github.com/steveloughran/edinburgh_cs/blob/main/1987-cs3/1988-cs3-after-hours.jpg
Replies (1)
-
@stevel@hachyderm.io 2026-09-07 19:46
Now, for everyone feeling smug the CS1 handouts were easy, CS2 brings drops Computer Science on you. The task here -and why I found it painful at first-, is not to skim through recognising symbols or words, it is to go through *proving every assertion*. Not done that for a long time. Maybe this is my chance to play with Lean. Note: this is the preliminaries chapter. If you can't get past here, game over https://github.com/steveloughran/edinburgh_cs/blob/main/1986-cs2/1986-cs2-foundations-01-mathematical-preliminaries.pdf #computerscience #cs