Bogdan Ionut Cirstea comments on Thomas Kwa’s Shortform

[Bogdan Ionut Cirstea]

Something like a safety case for automated safety research (but I’m biased)