mavelikara
Joined 17 years ago
Karma
3,690
Submissions
1,290
Member since
Feb 12
Recent submissions
Comment · 1 month ago
Why were nuclear explosions harmless before 1996?
Comment · 3 months ago
“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.”
Comment · 3 months ago
> 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 later
This is a form of Second System Effect Brooks wrote about in 1975.
https://en.wikipedia.org/wiki/Second-system_effect?wprov=sft...
Comment · 3 months ago
> this is where software goes to die
The ones that IBM passed up on, yes.
Comment · 3 months ago
Definitely, no.
Comment · 3 months ago
+1 - one of my favorite songs of all time. Rod Stewart-esque than Stewart himself on this one.
Comment · 3 months ago
You are asking the wrong person.
Comment · 5 months ago
> 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 bare on overturning these? Will the “other side” change it?
If they don’t, you know that they also agreed with it - this handwringing now is just for show.
Comment · 5 months ago
Adding “this is my opinion” to every post would be tedious, rt? :-)
Comment · 5 months ago
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.
Comment · 5 months ago
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).
Comment · 5 months ago
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.
Comment · 5 months ago
I am guessing you were being snarky. Care to explain what about it you find about it objectionable?
Write to me at first name dot last name at google's email service.