Crypto guys are in the business of grifting magic beans to rubes. They are mostly interested in the aesthetics of these technologies. Using an academic programming language gives these scientific magical vibes and such that make people believe these guys are high tech and know their shit and so on. This is the reason many crypto projects do use Haskell too, it's known as an academic research language that is difficult to use and "if it compiles it works." They come at it from the perspective of "What would sound the best when I try to sell the space money of the future?"
Blockchain protocols are also faced with the most active, persistent, and well-funded state sponsored attackers of any industry, so naturally formal verification should be of great interest.
I've been culturally left behind since I was like, 15. I read old books and watch old films and have a traditional marriage and it's fine. I don't know why this keeps being said like it's a threat.
I believe a lot of the enthusiasm we had at the start of the smartphone age is also now gone. The phone is now a boring device made for scrolling and running apps that are mandatory to participate in modern society.
> running apps that are mandatory to participate in modern society
This right here is why I no longer consider custom ROMs. My phone is a tool critical to my daily life and I need it to function correctly nearly 100% of the time. Custom ROMs never really reach that bar in my experience.
Also, the various forms of attestation allow corporations the power to punish me for having the temerity to modify my own property. Yet another way the tech industry has metastasized into a societal cancer.
As a libertarian, they are not even close to being the same. A bribe is generally optional where you can opt out of the transaction. Taxes are a racket.
So if you get stopped by the police in a bribe-affine country and they make clear you can either pay some money or they will take you to jail even though you did nothing wrong, is that a tax or a bribe?
It's blackmail/extortion. The act of paying the money is the bribe. Here is the Wikipedia definition.
> Bribery is the corrupt solicitation, payment, or acceptance of a private favor (a bribe) in exchange for official action.[1][2] The purpose of a bribe is to influence the actions of the recipient, a person in charge of an official duty, to act contrary to their duty and the known rules of honesty and integrity.
reply