The concurrency theorist in me is so happy that I just saw a Dining philosophers problem in the real world. The realist in me is less thrilled that it caused a P1 on production.
It’s still great to see babby’s first concurrency problem has real world relevance. To think that I’ve been making fun of the French for insisting on using symbolical methods for analyzing larger and larger instances of DP instead of doing some productive.