Kaarel comments on bpomo’s Shortform

[Kaarel]

some problems i like in alignment

[bpomo]

Thanks! I think this gets at: specification/​verifiability is hard, but even thinking about it a little is useful.