The conclusion in the paper states it's left as future work.

"Future work also includes automatically inferring inductive proofs for other distributed protocols, such as Byzantine Paxos [15], Raft [90], etc., and exploring the verification of consensus algorithms in blockchain applications. "

https://arxiv.org/pdf/2108.08796.pdf

It's not hopeless, though those without faith will probably find another country more enjoyable for the near future.

They look barely old enough to make the millennial cutoff.

I don't think they had any applicants over 25 by the pictures. Funny how that works out. Probably not a culture fit.

The golden rule does exist, freedom of speech.

In your value system. Not in mine.

This is a far more likely explanation why we are in danger of getting fascism back in Europe. Strong-arming bad opinions like this one.

I can't speak for Europe, but rising fascism movements in the US are entirely riding a wave of anti-PC, fake news, and grassroots social networks, all under the guise of free-speech. I won't argue that these mean free speech must be restricted necessarily, but its absolutely clear that free-speech is enabling these particular movements.

You hear less from Europe than the US but I think the situation is similar. We are dealing with reactionaries here. I am well aware that they don't really mean to defend freedom of speech or any form of freedom really. But they certainly saw a weakness in their political opponents in relation to the topic and nailed them on their position.

You cannot win anything if you position yourself against freedom of speech and fascism. It is just not a winning strategy and the problems will slowly escalate from there.

Any civil right can and will be abused. Be that freedom of speech or just general social security services. That are the disadvantages you have to accept. If you restrict peoples ability to express themselves, you just handed your political opposition exactly what they wanted.

Yes, they are allowed to spread their message because they are allowed to. And that they did. 5 years ago even anime weaboos made fun of them for it. It never spread further than a few bad threads.

Now we have this fucked up situation where liberal political parties argue against civil rights. Worse, they do it in the name of minorities, which is just plain ridiculous. They elevated people nobody would have taken seriously to something more.

Not saying that being the victim of trolls is not embarrassing. But it is time to get over it. There are also parties that have a certain interest in shutting down platforms that are free from governmental control. I still think that is a very bad thing as it would undo a lot of achievements we won with the inception of the net.

Not a flaw, intent. Freedom implies freedom.

It requires a great deal of ignorance of US history to make such a claim regarding “intent.” The Sedition Act of 1798 was passed by Congress less than a decade after the ratification of the Bill of Rights and many of the same venerated founders who were instrumental in creation and passage of the latter bore equal responsibility for the former. The founders most certainly did not intend the sort of free speech that is enjoyed today, so the “intent” of the first amendment means little.

You're conflating the Federalists with the Democratic-Republicans. Madison and Jefferson, who were largely responsible for the first amendment, objected strongly to the Aliens and Sedition Acts. The Federalists were voted out of power in the next election, and the sedition laws were allowed to sunset quickly.

is that like "brexit means brexit"? :)

Yup. I had to include both my parents tax information. It was assumed they would contribute a bunch of money, which zero was contributed from them. I got $0.00 in free money from parents or government. That was fun.

I've been full time remote for four months now. To even get me to drive a mile to work would require a significant bump in salary and options to lose out on this quality of life. It's almost unrealistic at this point that I would ever consider going to work in an office again.

I save a BUNCH of money, I get to work with other remote employees across the world, I mostly work my own hours, and I even got a decent bump switching to this job.

The pay is better than a lot of positions that are local to me in SoCal.

I do miss some social interactions during the day, but slack and getting lunch with friends and previous co-workers fills that gap decent enough.

I see job postings come across all the time in my filters for stack overflow jobs, but the pay and benefits are equivalent to my current situation, except I would have to move to a higher CoL and go into an office.

I use a DXRacer King series and work remotely. I've tried multiple Herman Miller models and steelcase models and returned them within the 30 day period.

I thought the $1500 chairs would be more comfortable, but they were awful for me. The $500 gamer chair is leagues ahead of the others for me.

Try as many as you can.

Throwback to Madam Secretary.

On a more serious note, does the US have red teams which try pen test our own power grid and other critical infrastructure? I don't believe I've ever heard of it, but I would have to assume at least one three letter agency does it right? (I hope)