#pluscal — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #pluscal, aggregated by home.social.
-
-
-
Gonna try some TLA+ / PlusCal for a work project again - this time using the command-line, because I found the IDE didn't work well with my desires for automation and version control.
@ParslProject has a task dispatcher and the bit of code which ensures the right number of tasks are on worker nodes always feels quite fragile to me - so I'm going to investigate around that.
-
Gonna try some TLA+ / PlusCal for a work project again - this time using the command-line, because I found the IDE didn't work well with my desires for automation and version control.
@ParslProject has a task dispatcher and the bit of code which ensures the right number of tasks are on worker nodes always feels quite fragile to me - so I'm going to investigate around that.
