The cr.yp.to microblog: 2015.12.05 18:32:04

2015.12.05 18:32:04 (673193129546293248) from Daniel J. Bernstein:

Context: Krebbers+Wiedijk pointed out insane vagueness in ANSI C memory model. ANSI C authors (compiler writers) were indisputably sloppy.