TIL: TLA+ Formal Specification, Statecharts for Redux Apps, HashiCorp Nomad, and Python Socket Programming

Today I learned about TLA+ for formally specifying distributed systems, using statecharts to model Redux application behavior, HashiCorp Nomad for workload orchestration, and comprehensive Python socket programming techniques.

December 1, 2020 ยท 14 min