Comment by davidw

Wow, some famous people on that thread:

https://en.wikipedia.org/wiki/Daniel_J._Bernstein

https://en.wikipedia.org/wiki/Werner_Vogels

https://en.wikipedia.org/wiki/Henry_Spencer

Jump out immediately, maybe there are others.