I'm back from vacation today =) :wave:
welcome back :)
how's Greece, Niko ? :D (if it's anything like here, I assume, extremely hot rn)
actually it's pretty comfortable
our house is right by the harbor
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
the last few nights have had crazy wind though -- almost too much. big waves. tore off our laundry lines :)
if you know where to look, you can see our house in this image :)
remembering people traveling to Santorini and such, I'm assuming getting there must have taken a while ? :)
yeah, it takes a while, particularly from Boston. It's not a very big island so you have to fly via Athens
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.
we live in an amazing time...
@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.
for when we eventually get back to it :)
I long for the day :)
(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)
Hi Dr. Niko!
@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
@nikomatsakis okay that's no problem; enjoy the greek beaches!