It was a technique of studying in a book, not the content, In "Introduction to the Theory of Computation" Sipser precedes every proof with a "proof idea" basically examining meaning of each statement before the "pencil pushing". You wouldn't miss the forest while watching the trees like this.

IMO, obvious one is decrease in salary increases(maybe to the usual 2-3 percent).

Next one is job hopping is going to be harder(can't get much more by that).

Foreigners are going to have harder time(maybe even halved, though their lower expectation can play well into the hands of the companies).

Remote work by foreigners are sought after(major increase).

One of the original startup influencers of his time.

Here is a concise way to make it work. https://thrive.kaiserpermanente.org/care-near-you/northern-c...

Sipser's book was the point I tried to give up pencile-pushing/parroting, before every proof there is a "Proof Idea" that really fills the gap between the theorems and proof, and the more important ideas you should take away, I suddenly realized every thing I learned had this discontinuity between things you do in problems and proofs, and the general understandings and usefulness and philosophy behind it.

Thanks for this. "Proof idea" is a phrase that concretizes a vague intuition I had about something that exists between a theorem and it's proof

Most of its value comes from the hype of 400k electric charging stations promised by the US, i.e. promise of growth, that attract money, and money attracts money, and free money paid as PPP creates even more money.

One quarter it was going negative on profits, so he pump and dumped crypto to keep it positive and the hype going.

It either produce most of the world's cars or it is going to fall out and I hope we wouldn't be the one facing the consequences, but we will :))

You realize you have been treated the same as somebody that 2k was all his belongings and now walked without cash to the private security firm :))))

For what history says about such firms, look up Pinkerton agents and London's policing before the current system.

The difference is that I'm paying quite a bit for the government.

An equivalent would be paying the expensive private security firm subscriptions for 10 years and then expecting service when something bad happens.

The "hard to be compatible" is a feature by design. If it was easy MS would have lost its biggest advantage by now.

The thing that costs 7$/user/month(home version)+119$ for Windows 10 Home is better than the thing that is free, Gee, I wonder why is that? Everyone should use the thing that costs a lot of money for it to just make sense.

Over 15 years you would be paying 1260$(paid 7 per month) for the office. 119$ for windows.

If I can afford to pay for the better experience and I want it badly enough, I will. That's how markets work.

In my experience, the deduplication on SQL dumps is way inferior to borg, even without the compression.