Yeah, I've taken to occasionally testing some of the simpler stuff I write in PlusCal without telling managers. If they think I'm dicking around with "theoretical" math stuff they might get annoyed but if I submit code that works correctly within a deadline I suspect they'll be alright.
My long term plan on this is to submit a bunch of code that works correctly the first time, and eventually once I am established at this job as "clever" I'll reveal the PlusCal/TLA+ specs and hopefully have a decent sales pitch.
My long term plan on this is to submit a bunch of code that works correctly the first time, and eventually once I am established at this job as "clever" I'll reveal the PlusCal/TLA+ specs and hopefully have a decent sales pitch.