gls2ro

I also think property based testing is great.

But they are very different IMO at what they focus on and so they occupy different places when talking about does a piece of software does what it should do and withing the state/parameters specified:

- Property based testing focuses on finding counter examples - Formal verification focuses to prove that a property always holds

More than this I think in all these discussions we are missing the most important piece: validation.

While verification means to prove or test or verify that the software does what is should do, validation means to prove or test or verify that the software is solving user needs.

It does not matter that they were stochastic events because the reason we have regulation and procedures and protocols for these systems is to reduce randomness and mistakes as close to zero.

While individually each event can maybe just be random mistake having two could be the beginning of some new information about the system(s) we have to consider.

So we should all say and act like this is not acceptable and we need more focus on making these stochastic events not happen now that they are not just a mere probability over an event space filled with randomness. They just happened.

I fail to understand this line of thinking.

Even letting aside any survival mechanism we have there are two rational posibilities:

1. We are alone in the universe => super huge loss of complexity and consciousness

2. We are not alone but at Universe scale intelligent life seems rather scarce => still huge loss in diversity

None of these two partners benefit from mass migration because both of them actually need more workers.

Also a trade partnership is not a zero sum game. Can also be that everybody will benefit by more trade, more cooperation and more exchanges for young people.

If this alliance will be signed and has the support of people from both sides then Buy Canadian and Buy European will mean Buy European or Canadian.

We might need a new name for this in 10 years if it works.

Like Buy EuroCan or But Caneu (maybe better names)

That is not a simple solution in practice, only on social media.

It will make prices go high, which will spiral in a lot of things and will increase the cost of living in the present even more for the vulnerable part of the population of a country.

of course it can be the proper solution for the future but saying it is simple is a huge huge understatement of the political and economical will needed to make it happen.

I was replying to someone saying to make this the default.

While this is good for _technical english_ it is not a good default as a good default should work for most of the people in most of the cases.

IMHO the case for explaining logical flows and how someting works is just one case even when using Claude Code in programming so a default will not make sense.

Cookie banner is not required. It is not even mentioned in GDPR law => EU did not require anyone to implement any cookie banner. You can implement the consent in multiple other ways probably and GDPR does not mandate any specific technical or UX flows. It talks about what consent means for example.

The same goes for landing rockets on the moon. You pay from your taxes.

Can you maybe expand this? Are Romanians from North Sea going to fish near Iceland? or did they do that near UK?

And let me ask you an even better question: Is Romania the country you see that has so many derogations from EU laws and can do what they like?

You cannot compare 10 million people with 450 million people when talking about direct democracy. It cannot be done I think. But if you know a way propose it here.

Just saying lets vote directly on everything will put everything on hold until all goes down.