jalcazar 的提交内容

Machine-Assisted Proof [pdf]

Mastering Concurrent Computing Through Sequential Thinking

Fantastic bugs and how to find them

Carlos Ghosn Calls Nissan ‘Thugs,’ Says They’ll 'Pay a High Price’

Amazon partnered with China propaganda arm to win Beijing's favor

George Doriot and the History of Venture Capital (2009)

How Istanbul became the Silicon Valley of the mobile gaming industry