Post At5YZ5bvhawMfgG9M8 by [email protected] | |
More posts by [email protected] | |
Post #At5YZ398reiz1om8Cu by [email protected] | |
0 likes, 0 repeats | |
Every time I see people starting a reading group using Mac Lane and Moerdijk, I… | |
Post #At5YZ3FsSc71MhvVho by [email protected] | |
0 likes, 0 repeats | |
To be honest, I actually wince whenever I see people starting a reading group, … | |
Post #At5YZ3My2FmdihFAky by [email protected] | |
0 likes, 0 repeats | |
Finally, there are many people who think, "Gosh, I keep hearing that (cate… | |
Post #At5YZ3U3btSG4gYpo8 by [email protected] | |
0 likes, 0 repeats | |
@jonmsterling I agree with you generally but you seem critical of the statement… | |
Post #At5YZ3aREAYiOTXvkm by [email protected] | |
0 likes, 0 repeats | |
@oantolin I guess I can try to be a little more specific. The thing I'm cri… | |
Post #At5YZ3hAp7wkjMhJFg by [email protected] | |
0 likes, 0 repeats | |
@oantolin Keep in mind that one part of computer science is basically "uni… | |
Post #At5YZ3oGOlcN5M0yIq by [email protected] | |
0 likes, 0 repeats | |
@jonmsterling Huh! I don't think I'm familiar with this strand of unive… | |
Post #At5YZ3uI2MRFO2pmhE by [email protected] | |
0 likes, 0 repeats | |
@oantolin My hot take is indeed that maths jobs are so scarce, many thing that … | |
Post #At5YZ40JfxG7gjeb5c by [email protected] | |
0 likes, 0 repeats | |
@oantolin I mean, much of PL is about studying equational theories of various k… | |
Post #At5YZ473GueA1cnyaW by [email protected] | |
0 likes, 0 repeats | |
@jonmsterling @oantolin This is nothing new at all. When Newton was doing physi… | |
Post #At5YZ4DQtBkcLPn4XA by [email protected] | |
0 likes, 0 repeats | |
@MartinEscardo @jonmsterling @oantolin while working in Oxford, I noticed that … | |
Post #At5YZ4JSWmZUe6bsvY by [email protected] | |
0 likes, 0 repeats | |
@dimpase @MartinEscardo @oantolin To speak to your specific comment, nominal se… | |
Post #At5YZ4Pq93fwxtaysC by [email protected] | |
0 likes, 0 repeats | |
@jonmsterling @MartinEscardo @oantolin I'm not at all a quick study these … | |
Post #At5YZ5HiuimFf0o0rQ by [email protected] | |
0 likes, 0 repeats | |
@dimpase @jonmsterling @MartinEscardo @oantolin I'm not sure how valid this… | |
Post #At5YZ5OSVgAHztxOMK by [email protected] | |
0 likes, 0 repeats | |
@pamorim @jonmsterling @MartinEscardo @oantolin the book feels like an effort t… | |
Post #At5YZ5Uq7xGkJgwUIy by [email protected] | |
0 likes, 0 repeats | |
@dimpase @pamorim @MartinEscardo @oantolin Keep digging. The book is meant to b… | |
Post #At5YZ5bvhawMfgG9M8 by [email protected] | |
0 likes, 0 repeats | |
@jonmsterling In defence of @dimpase , I think the "busy guy" was th… | |
Post #At5YZ5iJJs2ozTFFIm by [email protected] | |
0 likes, 0 repeats | |
@jer_gib @jonmsterling indeed - actually he probably was the other examiner, no… |