IRC channel logs

<dpk>cwebber: do you have any input on https://codeberg.org/scheme/r7rs/issues/195 from a capability security perspective (mnw’s first comment)?

<cwebber>Hi dpk!

<dpk>hi :-0

<dpk>:-)

<cwebber>Well r7rs-small is already ocaps unsafe on its own, but can be made ocaps safe by providing a restricted environment without the unsafe things

<cwebber>(ice-9 sandbox) provides eg the fundamentals for doing this in Guile but not everything you would want

<cwebber>This these more powerful dangerous things might be okay in the same sense that one migh

<cwebber>t simply not expose them to a future "safe scheme"

<cwebber>Imo, defining "safe scheme" would be worth working on

<cwebber> https://spritelyproject.org/#oaken

<cwebber>See the last paragraph there

<cwebber>(And of course scheme48 + w7 was designed for this too)

<cwebber>It's a thing on our roadmap we haven't gotten to yet

IRC channel logs

2024-04-04.log