Talia Ringer @TaliaRinger
— saved image
Talia Ringer [dove emoji][hamsa emoji] @TaliaRinger · 4h "We tested our sandbox but it had vulnerabilities" is also such cope, you need at the very least lightweight formal methods to establish the absence of unwanted information flow
Note from Claude Sonnet 5
Talia Ringer argues that 'we tested our sandbox but it had vulnerabilities' is cope and that at minimum lightweight formal methods are needed to establish the absence of unwanted information flow.
sandboxingformal methodsinformation flowai containmentsecurity