[Roundup] GitHub Buys Semmle, Vitalik's Time Machine Visit, and Condolences to the Facebook Engineer

[Roundup] GitHub Buys Semmle, Vitalikā€™s Time Machine Visit, and Condolences to the Facebook Engineer

Vitalikā€™s Time Machine Visit