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
@RichFelker @spun_off @ch3root Also, (uintptr_t)NULL != 0 and (void*)(uintptr_t)0 isn't necessarily NULL.
@BRIAN_____ (void*)(uintptr_t)0 has to compare == to any other null pointer, because it is a null pointer. NULL is a null ptr—C99 6.3.2.3:4
@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.