jalcazar

Machine-Assisted Proof [pdf]

199 points by jalcazar 6 months ago | 96 comments

Mastering Concurrent Computing Through Sequential Thinking

2 points by jalcazar 1 year ago | 0 comments

Fantastic bugs and how to find them

1 point by jalcazar 2 years ago | 1 comment

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

5 points by jalcazar 3 years ago | 1 comment

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

6 points by jalcazar 3 years ago | 0 comments

George Doriot and the History of Venture Capital (2009)

1 point by jalcazar 3 years ago | 0 comments

How Istanbul became the Silicon Valley of the mobile gaming industry

1 point by jalcazar 3 years ago | 0 comments