jalcazar

Joined 4/1/2014, 4:22:41 AM has 293 karma

[ my public key: https://keybase.io/jalcazar; my proof: https://keybase.io/jalcazar/sigs/PVw0MEb7efKKGbGpVimQEKF-dBQkg5r48SM8eyVAikc ]

Posts

Machine-Assisted Proof [pdf]
by jalcazar on 12/28/2024, 6:20:38 AM with 96 comments
Mastering Concurrent Computing Through Sequential Thinking
by jalcazar on 3/13/2024, 8:17:45 PM with 0 comments
Fantastic bugs and how to find them
by jalcazar on 2/8/2023, 5:41:25 AM with 1 comments
Carlos Ghosn Calls Nissan ‘Thugs,’ Says They’ll 'Pay a High Price’
by jalcazar on 2/20/2022, 5:40:33 AM with 1 comments
Amazon partnered with China propaganda arm to win Beijing's favor
by jalcazar on 1/13/2022, 2:28:14 AM with 0 comments
George Doriot and the History of Venture Capital (2009)
by jalcazar on 11/29/2021, 12:17:45 PM with 0 comments
How Istanbul became the Silicon Valley of the mobile gaming industry
by jalcazar on 11/24/2021, 7:10:24 AM with 0 comments