Notes concerning “Golang”

• Giving Golang a second look for writing a mailreader (in 2012) 2012-12-17 (updated 2013-05-17) (2 minutes)
• Simple system language 2013-05-17 (7 minutes)
• Similarities between Golang and Rust 2017-01-11 (updated 2017-01-17) (7 minutes)
• Immediate mode productive grammars 2018-09-13 (8 minutes)
• Golang bugs 2018-09-13 (updated 2018-10-28) (6 minutes)
• My notes from learning the Golang standard library 2019-02-08 (20 minutes)
• Separating implementation, optimization, and proofs 2019-06-26 (updated 2019-07-22) (41 minutes)