Elektrine lite

← Feed

@sji@phpc.social

Post #4304722

2026-05-15 18:00 UTC

@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. https://externals.io/message/130816#130856 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. :)

Replies (1)

  • @imsop@tech.lgbt 2026-05-15 18:56

    @sji@phpc.social Yes, your message was certainly part of what led me to this line of thinking. Maybe someone else will take it a step further again, and between us all we'll end up with a good solution. 🙂

    Open ##4304723