brianjlogan

I just ran through the alternatives posted and my personal preference for UX is the OP's.

Speed to load, the specific use case I want which is just to load up near me and see a performant map I can browse.

The other links were either projects, games, or apps that did the same with older map projections that performed poorly for me.

The first comment I see saying this. What about the percentage of people who actually own their home? Who can afford a "party"? It does mention dual income but how correlated is this change with the decoupling of economic productivity gains with worker wealth and income?

Why have the additional hop? You can send Syslog to an Otel collector.

There's far cheaper alternatives to Splunk that are still a step up from traditional syslog.

KubeCon over the last couple of years was showing the market was a glut with Observability vendors which is just time series and log management. (traces are logs with a span id).

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.

Pretty common method these days to build something just for the task at hand and consider deployment immutable requiring a new build of the ISO.

Do you have any good sources for this I'd be interested in learning more

Lots of historical precedent for an intellectual elite ignoring the perception and needs of the common folk leading to an uprising.

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.

Thank you so much for this quality reply!

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?