Don't know that I'll have the bandwidth to keep experimenting with all of this next year, but here's what I picked up in rough chronological order: Pytorch, pyt

Don't know that I'll have the bandwidth to keep experimenting with all of this next year, but here's what I picked up in rough chronological order: Pytorch, python 3, mypy, a few dozen machine learning papers, solidity, ocaml, react/typescript, coq (first few chapters of Software Foundations: Logical Foundations), TLA+ (first few chapters of Wayne's book), golang, truffle, elliptic curve pairings and zero-knowledge proofs, Intel's SGX. The pairings and zero-knowledge proofs are my favorite. There will almost certainly be more golang, solidity, and machine-learning papers next year. There's a good chance there'll be some more react. There'll probably be some rust, which is what we're doing the SGX work in.