My understanding is that the EB green cards are for a job offer, and not the current job.

In practice, though, almost all employers file EB GC petitions for only their current employees, not future ones.

Not the person you asked, but here are some real world examples: https://www.linkedin.com/posts/quint-co_community-spotlight-...

(One of the entries cited is something I worked on).

Everything that can be expressed in TLA+ can’t be expressed in Quint. But everything useful for specifying programs, I believe, can be expressed in both languages.

> A real industry should be responsive to events of nature, or at least the market, not vibes.

Market is vibes! The price of something at a moment is, for example, what market participants collectively agree what the price of it should be.

> He wants to push it just because he lost a bragging contest.

That is an uncharitable interpretation, IMO.

The CFO heard of a novel technique used by his peers in other companies, and they reported good results. He wants to try it within his organization too. As an executive, he is paid to (among other things) keep abreast of such developments in the industry and ensure that the organization he is leading is not caught flat footed in the market.

Peer-pressure driven management style. Fantastic.

Right right, I'd prefer management lock themselves in a closet and not engage with the outside world.

I am guessing you were being snarky. Care to explain what about it you find about it objectionable?

Polydactyly can be treated surgically! /s

Jokes aside, if in 15 years you have worked with only few good Indian engineers, you probably have not yet worked at places with high talent density. I could understand if you had said you have (a) worked with many low quality engineers from India, or (b) worked with far more low quality engineers from India than high quality ones. But if, in absolute numbers, you haven't come across many good engineers from India, I can only infer than you probably haven't worked with very good engineers across the board.

> This type of thing should come along with a reduction of allowed H-1bs.

H-1Bs also lose jobs in these layoffs, so there is an implicit reduction.

How does the “flattening” affect equity grants. With fewer employees, does each get larger equity stakes?

A newspaper ran a contest to write prose in the style of Graham Greene. Greene sent in the opening two paragraphs of an unfinished work. He came in _second_ in the contest. Many years later, Greene sent in an entry to a similar contest. This time he didn’t win any prizes but got an honorable mention from the judges.

Love to see the evals on this one!