Full threadandredublin·Software Estimation Crazy Rich Asians Practical TLA+ IoT FoundationsView on HN