We the citizens, specifically the tech-inclined people who would be able to set up wallets for the different vendors. I have bought fast food from a small non-chain store with Bitcoin once, for what it's worth.
There is no system without exploitable breaches, whether technical or social ones. The biggest point is, who have the incitives to exploit them, how much resources it costs to run a trial, how much resources do they control and are they ready to throw at attempts.
Wealth odd distribution doesn't scale by definition. A malicious actor can possibly bribe some other actors, but they can't bribe them all. At large, the infosec nightmare should be society governed by corrupted plutocrats ruling pauperized populations through threat, lies and planned scarcity.
We know how to write software with very few bugs just as sure as we know how to structure societies with very few corrupted people. Although we just happen to often choose not to.
Rogue states can afford to bribe structurally weakened citizens, or to individually threaten them and their family to obtain the same kind of result with a probably cheaper and more scalable modus operandi.
They can also try to eliminate oligarchs of other nations, use all kinds of gouvernemental disruptions, threaten to or actually military attack other countries, or engage into straight genocides.
Evaluating what nations are not under a rogue state according to these criteria is left as an exercise.
On my side I like direct sementic connections, but find convoluted indirections conflated through lazy sigles strongly repulsive. I can appreciate an acronym that make and the direct connection and playful indirect reference to expanded terms.
Are they actual project running some business in the wild? I only played with coq in university, while I saw F# being employed in insurance companies. I only heard about lean through HN posts.
I don't know about running per se but practical applications (as in done for product/service) exist. A notable practitioner for Isabelle and Lean is AWS[0]. There is also TLA+ for a more practical tool.
The most widely used variant of these proof assistants are probably formally verified compilers, like compcert, which are used in some highly regulated industries like aviation.
It's not clear to me if the author talk about European invasion as the colonization pattern behind pretended American frontier, as it was lands that never any human had reached before.
To be clear, I'm in favor of nuclear, but people attack it saying it does change the local ecosystem (heating up water for cooling and pumping the warm water into rivers, and of course the nuclear waste).
Here we just had someone say that hydro is fine because it only changes the local ecosystem so I jumped on that line of reasoning. I would argue with you that nuclear changes the local ecosystem way, way less than a dam does and so it's even better.
That said, cooling does have an effect on ecosystems. Not the worst energy plant impact on that regard, but still not like it's all environmental friendly.
And of course, there is the what to do with the waste dilemma. And at least with current French park, there is a dependence on the rarer kind of uranium.
Who is we? How many transactions of any cryptocurrency was either done to buy bread and butter?
reply