sji (@sji@phpc.social)

DRANK

@imsop@tech.lgbt I have to admit I was a bit worried for the last few days that my message on internals might have been completely off-base, or that I had phrased it badly, since it got no replies. So seeing your latest idea around separating the runtime-checked layer from the SA-checked layer was honestly a relief. It seems close to what I was trying to get at, although your version generalizes it much better! This is completely off-topic for the list, so I’m saying it here. :)