I'd imagine every great(in scale/importance) uprising/political tumult had some aspect of "but they're ruining everything!"

Everything for intellectuals and people with ties to the system that was functioning for that minority.

Coal miners don't care that international students aren't coming to the US anymore. That's not an important factor for them.

Edit: My point here is that you don't need hindsight to see how this aligns with historic precedent.

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.

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?

(Even if you're hand writing people are going to assume or suspect it's LLM gen.)

https://github.com/vangourd/g8r

The pub/sub model was so much FASTER than the Ansible push methodology.

I'll check your repo out for sure

https://github.com/calfonso/rusternetes

I picked Rust as my language before the AI hype in popularity so I'm biased on k8s tooling in my focus language.

Cool project!

Casual browsing of a .env is probably my top pet peeve of coding agents.

Everytime a secret gets slurped into an API I have to go roll secrets.

Does this tool solve that use case?

I'll check it out. Thanks for sharing.

I think you're smart to spin it out to its own thing because I tend to use them differently batching my chores into a time gate and then using my "chore list" to know what needs to be done. And also the notifications for chores tend to distract from "Important one time task you don't want to forget".

I'd consider paying for this if the app was well done and reasonably priced.

Coop I'm trying to bootstrap. Interested in building tooling and experimenting to make Sociocracy viable. No VC, No external investment, other than mulling Coop bonds for capital raising capability. https://kinkoda.com

Feel free to contact me via the web forms if you have experience launching apps or platforms like this or you're just interested in discussing the product.

I'm a Dad homeschooling a son and have a dog in the race of making parental guided education easier.

https://chunkker.com

I have an Alpha user who's a PhD and makes courses but I still want diverse feedback.