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.