On: Resource efficient Thread Pools with Zig

[matu3ba]

Drawing them could help figuring out all (invalid) state transitions. Certainly would make a cool drawing.

[sn9 → matu3ba]

Using a formal methods tool [0] like Alloy [1] would honestly be ideal.

[0] https://www.hillelwayne.com/tags/formal-methods/

[1] https://www.hillelwayne.com/tags/alloy/