Fun! Reminds me that one of my favourite exercises in TLA+ is to design an elevator call system.

agentultra • today at 1:23 PM • 0 replies • view on HN

Fun!

Reminds me that one of my favourite exercises in TLA+ is to design an elevator call system.

alt Hacker News