When I wrote this, I had tried getting help from several different chat models. None of them produced anything remotely useful—but they did help me learn formal verification, as well as syntax when writing in PlusCal
I am terrified of being alone. Thankfully I have a bunch of good friends but it's been hard to meet them due to covid.
Is it better to be alone or be in a relationship that you are sort of okay with and not completely happy with it?
