These are chat archives for got-lambda/expression

Jan 2017
Magnus Therning
Jan 05 2017 08:51
good morning!
god fortsättning!
Jean-Louis Giordano
Jan 05 2017 11:10
yes! we can almost certainly host @Zimpler , given that we have room for like 25 people at the moment
ping @nachivpn
things are a bit tight schedule-wise on my side, but as long I don't have to prepare anything besides ordering pizzas then it should not be an issue!
Nachi Vpn
Jan 05 2017 11:20
That sounds awesome! :) Our expected attendance is a similar number, so that should work well. There won't be a need to do any preparation from your side. And, is week 5 suitable? What dates are we talking?
Jean-Louis Giordano
Jan 05 2017 11:28
so anything after february 12 should be fine I think, before that might be a bit more tricky
oh and not februray 21st
Nachi Vpn
Jan 05 2017 11:42
Ok, I guess it would be more appropriate to do the rest of this conversation here:
Jean-Louis Giordano
Jan 05 2017 12:22
oooh this paper sounds super interesting :p gonna have to read it now
Marco Zocca
Jan 05 2017 13:47
Erik Meijer as talk show host is pretty cool
Jan 05 2017 15:33
I'm at Stadsbiblioteket's cafe. Suddenly feel like reading a compsci paper...
Suvash Thapaliya
Jan 05 2017 15:37
Leslie Lamport as the guest is even better ;)
I love how Leslie Lamport makes fun of prog. langs. asking people to "Just use Math" instead of making up more "human languages" for programming.
Not sure if it's in this interview though.