I used to work at an airport listed in this reference actually. Their boneyard was fully behind the fence and no public access would be granted. Even as staff we never went there because you've got massive aging equipment.
It would be an untenable liability to be having around them especially the public. Some of the chassis were there for years.
I shared earlier in the thread about the learning app I'm working on. I already have a learning path created in it for Formal Methods. I will be taking each of your points and tracking my progress to completing them.
Just wanted you to know your effort won't be unappreciated.
I have knowledge of FM primarily from HackerNews posts about it.
As someone lacking your academic background in it could you give me some advice on a good starting point, or perhaps papers/materials that are absolutely unskippable/foundational to understanding it, maybe a good learning exercise for utilizing FM?
Ah I think you posted on HN before. Good to see you again. I haven't gotten around to testing smol yet but the DirtyFrag / CopyFail stuff peeked my interest in it again.
I like your idea. I didn't have the time to fully build mine out but I also was hankering for something with better readability and implementation than SaltStack (server/client similar to Puppet).
I had my problem in the calisthenic app space as well. Rowing, cycling, biking, calisthenics. Each sport has such specifics I wish there was an open standard on the data for better interop.
It would be an untenable liability to be having around them especially the public. Some of the chassis were there for years.