There are efforts to define the behavior in cases where implementations have converged or died out (e.g., twos complement, shifting into the sign bit).

This is interesting and appreciated.

This is interesting, but I find HN very hard to read. Is there a more structured summary of interesting points discussed?