The PhD memoir “The C standard formalized in Coq” (Robbert Krebbers) arrived by post todaypic.twitter.com/88gEyZR01u
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@spun_off Only when `0` is in a pointer context. (uintptr_t)0 isn't a pointer context.
@BRIAN_____ But (uintptr_t)0 is 0, no?
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.