Recent Posts

• Machine-Assisted Proof [pdf]
  by jalcazaron 12/28/2024, 6:20:38 AM with 13 comments
• Mastering Concurrent Computing Through Sequential Thinking
  by jalcazaron 3/13/2024, 8:17:45 PM with 0 comments
• Fantastic bugs and how to find them
  by jalcazaron 2/8/2023, 5:41:25 AM with 1 comment
• Carlos Ghosn Calls Nissan ‘Thugs,’ Says They’ll 'Pay a High Price’
  by jalcazaron 2/20/2022, 5:40:33 AM with 1 comment
• Amazon partnered with China propaganda arm to win Beijing's favor
  by jalcazaron 1/13/2022, 2:28:14 AM with 0 comments
• George Doriot and the History of Venture Capital (2009)
  by jalcazaron 11/29/2021, 12:17:45 PM with 0 comments
• How Istanbul became the Silicon Valley of the mobile gaming industry
  by jalcazaron 11/24/2021, 7:10:24 AM with 1 comment
• RSA chief believed cryptographers’ warnings on Dual EC DRBG lacked merit (2014)
  by jalcazaron 9/3/2021, 1:03:22 PM with 11 comments
• Paxos vs. Raft: Have we reached consensus on distributed consensus?[video]
  by jalcazaron 9/1/2021, 2:18:22 AM with 0 comments
• How to Develop Breakthrough Products and Services [MIT 15.356]
  by jalcazaron 7/7/2021, 4:16:35 PM with 0 comments