Stream: t-compiler/wg-nll

Topic: hi-everybody


nikomatsakis (Jul 16 2018 at 11:31, on Zulip):

I'm back from vacation today =) :wave:

lqd (Jul 16 2018 at 11:34, on Zulip):

welcome back :)

lqd (Jul 16 2018 at 12:26, on Zulip):

how's Greece, Niko ? :D (if it's anything like here, I assume, extremely hot rn)

nikomatsakis (Jul 16 2018 at 12:27, on Zulip):

actually it's pretty comfortable

nikomatsakis (Jul 16 2018 at 12:27, on Zulip):

our house is right by the harbor

nikomatsakis (Jul 16 2018 at 12:28, on Zulip):

and it was built in the "old style", so although it has no A/C, if there is a breeze it tends to stay pretty cool

lqd (Jul 16 2018 at 12:28, on Zulip):

nice :)

nikomatsakis (Jul 16 2018 at 12:28, on Zulip):

the last few nights have had crazy wind though -- almost too much. big waves. tore off our laundry lines :)

lqd (Jul 16 2018 at 12:29, on Zulip):

oh wow

nikomatsakis (Jul 16 2018 at 12:30, on Zulip):

if you know where to look, you can see our house in this image :)

lqd (Jul 16 2018 at 12:31, on Zulip):

it's beautifullllll

DPC (Jul 16 2018 at 12:31, on Zulip):

nice

lqd (Jul 16 2018 at 12:32, on Zulip):

remembering people traveling to Santorini and such, I'm assuming getting there must have taken a while ? :)

nikomatsakis (Jul 16 2018 at 12:35, on Zulip):

yeah, it takes a while, particularly from Boston. It's not a very big island so you have to fly via Athens

nikomatsakis (Jul 16 2018 at 12:39, on Zulip):

the kind of amazing thing is how you can buy for 20 euros a 4G card and have full internet access, even from a small island like this. Many of the elderly here remember a time before there were cars and electricity here.

nikomatsakis (Jul 16 2018 at 12:39, on Zulip):

we live in an amazing time...

lqd (Jul 16 2018 at 12:46, on Zulip):

awesome :)

lqd (Jul 16 2018 at 12:58, on Zulip):

@nikomatsakis btw it took the whole weekend but I’ve implemented some CFG compression in Polonius, that’s a -75% improvement for naive, -55% for leapfrog.

nikomatsakis (Jul 16 2018 at 12:59, on Zulip):

nice!

lqd (Jul 16 2018 at 12:59, on Zulip):

for when we eventually get back to it :)

nikomatsakis (Jul 16 2018 at 13:00, on Zulip):

I long for the day :)

lqd (Jul 16 2018 at 13:01, on Zulip):

(unfortunately even with this naive is still too slow compared to the other fast-but-buggy variants; if I had managed a x10 then maybe, but 4x is still not enough)

Jake Goulding (Jul 16 2018 at 14:09, on Zulip):

Hi Dr. Niko!

https://www.youtube.com/watch?v=mGYpsNpg1bw

nikomatsakis (Jul 23 2018 at 03:23, on Zulip):

@pnkfelix I don't know how much I'll be around today. Probably some but not until later. I wound up working some over the weekend instead. I've been pushing on #52488. I've now rebased it more-or-less onto master, which was a bit tricky due to njn's changes. One challenge is that I'm trying to come up with a good way to really test the code, which is hard, since the main typeck tends to produce errors

pnkfelix (Jul 23 2018 at 09:39, on Zulip):

@nikomatsakis okay that's no problem; enjoy the greek beaches!

Last update: Nov 22 2019 at 00:25UTC