Zulip Chat Archive

Stream: general

Topic: ICFP


view this post on Zulip Simon Hudon (Aug 24 2020 at 19:30):

For those attending ICFP this week, my Q&A session about "Sealing Pointer-Based Optimizations Behind Pure Functions" is about to start. The presentation is nearing the end but they get recorded. I don't know if they will be publicly available though

view this post on Zulip Patrick Massot (Aug 24 2020 at 19:31):

Oh, I had no idea there was a conference this week!

view this post on Zulip Patrick Massot (Aug 24 2020 at 19:31):

I would have watched your presentation.

view this post on Zulip Simon Hudon (Aug 24 2020 at 20:03):

Apologies, I always seem to advertise too late. It's International Conference on Functional Programming. It might have flown under your radar

view this post on Zulip Patrick Massot (Aug 24 2020 at 20:07):

The title suggests it flew way below my rader indeed. But I would still have watched yours!

view this post on Zulip Patrick Massot (Aug 24 2020 at 20:07):

Is there anyone else from here giving a talk?

view this post on Zulip Mario Carneiro (Aug 24 2020 at 20:10):

You're not too late, you can still watch it in beijing time

view this post on Zulip Patrick Massot (Aug 24 2020 at 20:11):

What?

view this post on Zulip Mario Carneiro (Aug 24 2020 at 20:11):

oh right, now I remember why I didn't sign up, registration is not free

view this post on Zulip Patrick Massot (Aug 24 2020 at 20:11):

What?

view this post on Zulip Simon Hudon (Aug 24 2020 at 20:12):

Wonderful! Are you registered @Mario Carneiro?

Thanks @Patrick Massot, I hope you watch it and enjoy it. I don't recognize any other Leaner.

view this post on Zulip Mario Carneiro (Aug 24 2020 at 20:12):

they are doing a thing where they air it twice, in new york time and beijing time

view this post on Zulip Patrick Massot (Aug 24 2020 at 20:12):

Is Simon flying to Beijing now?

view this post on Zulip Simon Hudon (Aug 24 2020 at 20:12):

Only my bytes

view this post on Zulip Mario Carneiro (Aug 24 2020 at 20:12):

we're all citizens of the world

view this post on Zulip Simon Hudon (Aug 24 2020 at 20:12):

It's pre-recorded and it airs right before we connect on Zoom for a Q&A.

view this post on Zulip Patrick Massot (Aug 24 2020 at 20:13):

What's the point of doing this instead of putting it on YouTube for people living in Beijing and elsewhere?

view this post on Zulip Mario Carneiro (Aug 24 2020 at 20:13):

conferences are weird

view this post on Zulip Patrick Massot (Aug 24 2020 at 20:13):

Oh, it explains how you could come to Zulip to warn about the Q&A while finishing your talk.

view this post on Zulip Patrick Massot (Aug 24 2020 at 20:13):

That also seemed a tad weird.

view this post on Zulip Simon Hudon (Aug 24 2020 at 20:14):

The Q&A session I believe. And I think scheduling it makes it more likely that people will interact on the subject

view this post on Zulip Simon Hudon (Aug 24 2020 at 20:14):

Multitasking :)

view this post on Zulip Simon Hudon (Aug 24 2020 at 20:14):

Also, Daniel gave the talk

view this post on Zulip Mario Carneiro (Aug 24 2020 at 20:15):

you should see if they are going to release the talks

view this post on Zulip Simon Hudon (Aug 24 2020 at 20:22):

They're on YouTube. My paper is https://youtu.be/i9wgeX7e-nc at 1h06

view this post on Zulip Reid Barton (Aug 24 2020 at 20:24):

In math we call this a video, not a paper.

view this post on Zulip Simon Hudon (Aug 24 2020 at 20:29):

Such weird cultural differences

view this post on Zulip Chris Wong (Aug 25 2020 at 06:32):

Looks to be at 58:15

view this post on Zulip Alex J. Best (Aug 25 2020 at 16:02):

Patrick Massot said:

What's the point of doing this instead of putting it on YouTube for people living in Beijing and elsewhere?

I think youtube is blocked in China (at least according to my university we should not put any videos on YouTube and require students watch them for this reason while remote learning).

view this post on Zulip Patrick Massot (Aug 25 2020 at 16:04):

It could be on any website, but I got the actual answer somewhere in this thread, the goal is to have a live Q&A session.


Last updated: May 12 2021 at 04:19 UTC