Viewing profile — mavelikara

“I ask Claude only questions to which I don’t know answers to - which there are plenty of. That saves the company money by avoiding frivolous use of tokens.”

> The natural instinct is then to compromise on the "simpleness" of the first prototype and already try to anticipate all the scaling and nonfunctional requirements that might come…

> this is where software goes to die The ones that IBM passed up on, yes.

Definitely, no.

+1 - one of my favorite songs of all time. Rod Stewart-esque than Stewart himself on this one.

You are asking the wrong person.

> A law which will be used from the opposite side just as well, as soon as the power switches hands again. This is the real test. If these changes are so bad, will someone campaign…

Adding “this is my opinion” to every post would be tedious, rt? :-)

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 empl…

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.

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

> 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 part…

> 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,…

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 tale…

> 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 ye…

Love to see the evals on this one!

> I still remember the people arguing that lightning is just fine and we don't need usb-c. It's true, they existed. Before that, many of them argued that powerpcs were better than …

What is meant by snapshot testing in this context?

That is an LCA requirement. The company did well to publish this at a place where employees frequent.