Stories by 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

RSA chief believed cryptographers’ warnings on Dual EC DRBG lacked merit (2014)

Paxos vs. Raft: Have we reached consensus on distributed consensus?[video]

How to Develop Breakthrough Products and Services [MIT 15.356]

Management of Software Development MGT656

Organizations would become more efficient randomly promoting employees

Fresh IT Grad Hacks Philippines Commission on Elections Site

Tired of memorizing passwords? Manuel Blum came up with this algorithmic trick