00:54
<jmdyck>
I got static type analysis to complete on 2547! Next step will be to look at the results.
00:56
<shu>
my take is i'm not enthusiastic about going out and eliciting broad-spectrum feedback from committee for editorial decisions, unlike in incubator calls, where that's the whole point
00:56
<shu>
but the editor calls aren't closed rooms, and people can certainly come if they have something editorial to discuss
00:56
<shu>
(replying to the publicity of calls)
01:00
<jmdyck>
Based on what I can see, it seems like you wouldn't get much feedback even if you did elicit it.
01:01
<shu>
heh, probably true
01:02
<shu>
the Old Fear was Allen popping up and pushing for something
01:02
<shu>
but that never really happened anyway, i suppose
17:13
<ljharb>
nah he was good about that
17:13
<ljharb>
in the early days of "more than one editor" we pushed pretty hard to get people to show up, and precisely zero people showed up for years after the first meeting or two
22:25
<jmdyck>
My static type analysis of 2547 is turning up some stuff.
23:45
<bakkot>
jmdyck: not terribly surprising, given that your analysis is much more complete than ours