The Chalmers Online Functional Programming Seminar Series is organized by the Chalmers Functional Programming Group, as a way to exploit the fact that so many of us in the FP community are already meeting and working online these days. Our aim is to bring the people in the FP community closer together, to educate and inspire, and to foster collaboration.
The seminars will take place every Monday (at 7am PDT / 10am EDT / 16:00 CEST) and are organized through Zoom.
Note: The first talk was recorded and it'll be posted on the seminars' homepage according to the organizers. It's not up yet. I assume future talks will be recorded as well.
It seems that recording will be based on the preference of the speaker.
via an organizer comment on r/haskell :
We're letting the speaker decide on a talk-by-talk basis. Simon wants his talk to be recorded!
Type inference for parametric polymorphism is wildly successful, but has always suffered from an embarrassing flaw: polymorphic types are themselves not first class. We present Quick Look, a practical, implemented, and deployable design for impredicative type inference. To demonstrate our claims, we have modified GHC, a production-quality Haskell compiler, to support impredicativity. The changes required …
FYI a LOT of attendees had issues with Zoom in today's session (no video/slides/audio). Some of us had to reconnect many times before it finally worked, and I saw a bunch of comments by attendees who couldn't fix the issue after many attempts to reconnect.
The seminars will take place every Monday (at 7am PDT / 10am EDT / 16:00 CEST) and will be streamed live on YouTube, where edited videos will also be posted after the event. Questions will be taken through sli.do.
http://chalmersfp.org/
First session info:
Who's attending? It's at like 0100 for me, lol, but it sounds like it'll be worth it. :slight_smile:
Lol, actually that may a dumb question as a good chunk the folk likely attending are probably still asleep. :joy:
yeah . . . really hoping some of these will be recorded
I will! :D
3 pm for me
Ya 3pm for me too :grinning_face_with_smiling_eyes: gonna try catch it
Note: The first talk was recorded and it'll be posted on the seminars' homepage according to the organizers. It's not up yet.
I assume future talks will be recorded as well.It seems that recording will be based on the preference of the speaker.
via an organizer comment on r/haskell :
Hopefully I can catch the next one. Couldn't resolve the video/audio issues on my side :pensive:
Yea it was a tiny bit early for me. Didn't have wifi where I was at so I couldn't catch it
Looking forward to seeing the recording. This first talk was based on a paper of the same name I believe
https://www.microsoft.com/en-us/research/publication/a-quick-look-at-impredicativity/
@Matt Peddie yeah it was recorded! :slight_smile:
@Ben Kolera awesome! any idea where it ended up? it's not linked from the publication page or the seminar series page as far as I can see
It'll go to the same page as the future listings afaict.
It'll just be the usual thing that it takes a little while for it to be processed and uploaded.
I missed the damned thing. Off by one TZ / DST issue. Lol.
1000 EST is 0100 AEST, but 1000EDT is 0000 AEST ofc. RIP
dang!
FYI a LOT of attendees had issues with Zoom in today's session (no video/slides/audio). Some of us had to reconnect many times before it finally worked, and I saw a bunch of comments by attendees who couldn't fix the issue after many attempts to reconnect.
hope the recording came out ok!
The page got updated!
Link to the first recording:
YouTube - A Quick Look at Impredicativity (Simon Peyton Jones)
Woot woot! @Matt Peddie !!!
Hooray, no more Zoom!
Today's seminar is starting now:
YouTube - Nadia Polikarpova: Liquid resource types for verification and synthesis