27 Jan 2023 |
dminuoso | Heh | 09:21:14 |
dminuoso | Ah, you teahc at imperial college london? | 09:21:24 |
dminuoso | * Ah, you teach at imperial college london? | 09:21:29 |
dminuoso | No, a student. okay | 09:21:43 |
dminuoso | Was a bit confused about it being part of a course. Are a guest lecturer? | 09:21:56 |
Jamie Willis | I guess the Haskell example on the scala wiki ain't bad | 09:49:40 |
Jamie Willis | In reply to @dminuoso:matrix.org Was a bit confused about it being part of a course. Are a guest lecturer? I'm a special PhD | 09:49:44 |
Jamie Willis | I'm basically in charge of a unit | 09:50:00 |
Jamie Willis | And I should be a lecturer here next year | 09:50:15 |
dminuoso | Oh I see. The usual exploitation of PhDs. | 09:50:39 |
dminuoso | But oh well, it's so common place. :( | 09:51:01 |
Jamie Willis | Not exploitation at all! | 09:51:31 |
Jamie Willis | I'm given extra time, extra funding and as much individual responsibility as I want | 09:52:00 |
Jamie Willis | I'm just keen to maximise on that, given my career desires | 09:52:16 |
Jamie Willis | They also gave me a free teaching PGCert | 09:52:47 |
Jamie Willis | It's a great deal for me | 09:53:33 |
Jamie Willis | Also earlier you were chatting about `try`: in parsley it's funny because it has the regular parsec semantics but try can be used as an optimisation | 09:58:54 |
Jamie Willis | Sometimes it speeds the parser up a fair bit | 09:59:47 |
Jamie Willis | Because it unlocks optimisations that assume atomicity of the parse | 09:59:48 |
| smendez joined the room. | 15:27:49 |
| silhouette joined the room. | 17:56:35 |
dminuoso | Jamie Willis: Given the context Im not sure what you mean by atomicity | 18:22:26 |
dminuoso | But Im glad its working out for you, Ive just frequently seen PhD (especially those on 50% positions) being used to do things the institute refuses to hire dedicated personel for | 18:23:25 |
dminuoso | The 50% part is perhaps the biggest joke of it all, because in reality it just reduces the wage, but not the required hours you must put into your research and writing. | 18:24:26 |
Jamie Willis | Try makes a parser indivisible | 18:29:50 |
Jamie Willis | You either consume it all, or none of it | 18:29:57 |
Jamie Willis | That unlocks optimisations with factoring out length checks on the reading etc | 18:30:15 |
geekosaur | depends on the use case of the parser, no? many packages use attoparsec to parse network transactions | 18:30:56 |
geekosaur | oh, hm, yes with try you may lose things like attoparsec's continuations | 18:36:02 |
geekosaur | (then again attoparsec doesn't have try , backtracking is wired into it) | 18:45:09 |