_r2gl

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

Feels so hopeless.

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.

Not a flaw, intent. Freedom implies freedom.

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)

I'm definitely near the fence.

Everytime the job posting comes up I pop up Zillow and try to do the math, but quite literally a comparable house to mine is $700k-$800k where mine is only $300k-$400k in TX near Dallas. I don't believe I would be able to support and provide anyway near the same quality of life for my family, especially without jeopardizing future savings I am currently able to make now.

You say after the tour of duty like you aren't able to stay employed, is this true?

If I was single and had no dependents, I think I would have already applied, because money wouldn't matter nearly as much.

I feel it is extremely unfortunate USDS doesn't offer remote work because they could pull talent across the nation given the lower pay and higher CoL.

I know this would be a much more rewarding position than working for another mortgage company or consultancy..

I looked around the "Hiring FAQ" and it doesn't state if a degree is required, is it?

Also, I saw the salary range had a maximum range of $160,000, is this a hard cap? I'm already making this in base salary not including overtime and bonuses and it does not seem that bonuses or overtime are mentioned in the FAQ.

I took a look at the housing situation near the office and to get something close to comparable to my situation is nearly double the price of my current living situation, yet I would make less with no upward potential, if given a lateral transfer which would be the maximum.

I'm critical about this because I'm always interested in this position (company/job?) when the hiring thread comes around. I look at this hiring post every time this thread goes up, but never post anything because it doesn't seem like it would work out due to quality of life loss and loss of upward potential.

loanDepot | Irvine, CA | Full-Time | Onsite | Paid Relocation | [C#, .NET, Angular, JavaScript, SQL]

We are hiring in almost all roles @ https://goo.gl/b4p3oA

Us on StackOverflow Jobs https://stackoverflow.com/jobs/companies/loandepot-llc

Software Engineer: https://careers.loandepot.com/job-detail/6016

Senior Software Engineer: https://careers.loandepot.com/job-detail/6910

Software Engineering Manager: https://careers.loandepot.com/job-detail/5096

DevOps Engineer: https://careers.loandepot.com/job-detail/6728

Senior Front-End Engineer: https://careers.loandepot.com/job-detail/6734

Senior Mobile Engineer: https://careers.loandepot.com/job-detail/6904

QA Engineer: https://careers.loandepot.com/job-detail/6974

Senior QA Engineer: https://careers.loandepot.com/job-detail/7253

Did either of you read the section at the end entitled "You or I might have done the same thing"..?

"teen" "ethics" I'm sure he will be able to become more professional when entering the work place. He's not Mr. Robot.

Hmm, it seems that if I wanted to go work somewhere over there though, that it would be a crazy pay cut even if we factor in all the benefits

I don't know man, I'm with user5994461, after all my bills monthly ($2,000 monthly rent, $350 new car, $200 insurance, $30 phone, $200~ utilities, ~$500 food) I have +/- $60,000 USD at the end of the year after taxes in surplus with only one year of experience and no diploma..

This book is also available to read for free on http://chimera.labs.oreilly.com/books/1230000000545/index.ht...