Readit News logoReadit News
_r2gl commented on Paxos automatically determined safe and secure   news.umich.edu/distribute... · Posted by u/rbanffy
ummonk · 4 years ago
Has anyone done the same for raft consensus?
_r2gl · 4 years ago
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

_r2gl commented on Judge dismisses Wikimedia case against NSA over Upstream surveillance   datacenterdynamics.com/ne... · Posted by u/abbe98
kick · 6 years ago
Judge Ellis said: "For Wikimedia to litigate the standing issue further, and for defendants to defend adequately in any further litigation, would require the disclosure of protected state secrets, namely details about the Upstream surveillance program's operations. For the reasons that follow, therefore, the standing issue cannot be tried, or otherwise further litigated, without risking or requiring harmful disclosures of privileged state secrets, an outcome prohibited under binding Supreme Court and Fourth Circuit precedent.

"Thus, the case must be dismissed, and judgment must be entered in favor of defendants."

Ellis is a traitor in the legal sense of the word, and (though it's been obvious for a while) the court systems are broken.

Formerly, Ellis has similarly sided with the CIA against Khalid El-Masri, a man who was "allegedly" tortured by the CIA, despite being fully aware justice wasn't being dealt. To quote him:

"If El-Masri's allegations are true or essentially true, then all fair-minded people, including those who believe that state secrets must be protected, that this lawsuit cannot proceed, and that renditions are a necessary step to take in this war, must also agree that El-Masri has suffered injuries as a result of our country's mistake and deserves a remedy."

https://www.aclu.org/press-releases/day-court-denied-victim-...

Given that the Judicial Branch can be considered compromised, the Executive Branch is the one being accused, and the Legislative Branch allowed this to happen to begin with, everyone should act as if the U.S. government is a hostile, compromised actor. Don't attack it, but defend yourself.

Avoid allowing proprietary software from touching any of your secrets (ideally go for software created by foreigners). Keep your communications safe and encrypted. Standard stuff, but there's more of an incentive to use it, now.

_r2gl · 6 years ago
Feels so hopeless.
_r2gl commented on What It Takes to Hire 10 Employees in San Francisco   kapwing.com/blog/what-it-... · Posted by u/jenthoven
codesushi42 · 6 years ago
Problem: What does it takes to hire 10 employees in San Francisco?

Solution: Don't hire in San Francisco.

And not limiting your hiring pool to hip millennials could also help.

_r2gl · 6 years ago
They look barely old enough to make the millennial cutoff.
_r2gl commented on What It Takes to Hire 10 Employees in San Francisco   kapwing.com/blog/what-it-... · Posted by u/jenthoven
jonnycomputer · 6 years ago
did you not get applicants older than 30?
_r2gl · 6 years ago
I don't think they had any applicants over 25 by the pictures. Funny how that works out. Probably not a culture fit.
_r2gl commented on Terminating Service for 8Chan   new.blog.cloudflare.com/t... · Posted by u/sandmansandine
arrrg · 6 years ago
That is why context is important.

The dream of the perfect context free golden rule does not exist. We have to pay attention and make hard decisions. None of this is simple.

_r2gl · 6 years ago
The golden rule does exist, freedom of speech.
_r2gl commented on Terminating Service for 8Chan   new.blog.cloudflare.com/t... · Posted by u/sandmansandine
_r2gl · 6 years ago
Not a flaw, intent. Freedom implies freedom.
_r2gl commented on College Financial-Aid Loophole: Wealthy Parents Transfer Guardianship of Teens   wsj.com/articles/college-... · Posted by u/tysone
cataphract · 6 years ago
It's anyway debatable that the parent's earnings should be taken into consideration. I knew plenty of people whose parents were unwilling to finance their college or they were even estranged. These students got no aid or a reduced amount because of that.

Just another way society punishes those not lucky enough to be born to the right parents.

_r2gl · 6 years ago
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.
_r2gl commented on Want to hire the best programmers? Offer growth   triplebyte.com/blog/want-... · Posted by u/ammon
RNeff · 6 years ago
Offer a quiet, private office. Two or more monitors. Free snacks and free lunches. Modern software stack (whatever that is).

Or full-time remote.

_r2gl · 6 years ago
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.

_r2gl commented on Ask HN: Best office chair for home office work?    · Posted by u/vuln
_r2gl · 6 years ago
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.

_r2gl commented on U.S. Escalates Online Attacks on Russia’s Power Grid   nytimes.com/2019/06/15/us... · Posted by u/matt2000
_r2gl · 7 years ago
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)

u/_r2gl

KarmaCake day1July 19, 2022View Original