kaba0

46 ms·

871.
by kaba0 3y ago
What seems to yield much better results is to have the program be built by two separate teams to a standard. Then both programs can be run simultaneously, checking each others output — I believe something like this is actually used in the a
872.
by kaba0 3y ago
Well, if your product is on the hello world complexity, you might make it bug-free by just yourself simply through chance. Formal proving doesn’t really scale much further, definitely not to “enterprise” product scale.
873.
by kaba0 3y ago
What’s dated about ANTLR?
874.
by kaba0 3y ago
I assume an average high school graduate can solve a sudoku. LLMs are very interesting but anything “thinking”-related is not their strong suit.
875.
by kaba0 3y ago
For trivial stuff, it might be able to even now (but those can probably be solved algorithmically as well). For more complex stuff, they are not even scratching the surface, I would believe — LLMs can’t really do long, complex thoughts&#x2F
876.
by kaba0 3y ago
> Do you think there's no value in technical leadership There is. But people wash it together with technical expertise, which is very different. And I’m not convinced of any of these in case of elon. Just look at bullshit like the h
877.
by kaba0 3y ago
> first of all This is his only patent. > Second, why are you willing to believe that good decisions can be made by "the experts", but if it's a rich, brash person you don't like, they can't possibly be "
878.
by kaba0 3y ago
Well, if someone wants to change the monetizing strategy of their company, it is advisable to figure one out before cutting the existing one.
879.
by kaba0 3y ago
How do you know if any of the startups succeeded because of/irrespective/or despite him? Just as a fact: his only technical contribution to teslas is the design of the goddamn rearview mirror. There are plenty of (unconfirmed) acc
880.
by kaba0 3y ago
> Rockets don't fly and electric cars don't drive if they aren't built right, which puts a floor on the IQ of the man who is that involved and hands-on with it Agree! So what does it have to do with Musk? Also, I really
881.
by kaba0 3y ago
But all the controversy around verified accounts, over-abundance of far-right wing content, etc, doesn’t help its case.
882.
by kaba0 3y ago
There was plenty of shit there, but it was the best way to get real-time updates on big news events, as plenty official accounts used it as their primary site.
883.
by kaba0 3y ago
Everything is a bigger brand than X, it is absolutely insanely stupid.
884.
by kaba0 3y ago
It is indeed his biggest mismanagement, but it’s a serious competition. At least it broke the image of ‘CEOs must be intelligent’, that was wide spread in certain circles.
885.
by kaba0 3y ago
NixOS has seamless ZFS integration -- it's the problem of the package manager/distro, not of the tool
886.
by kaba0 3y ago
ZFS and ext4 is so completely different on a fundamental level that there is zero reason comparing them, it just shows your "expertise" on the topic..
887.
by kaba0 3y ago
It is still a very good system, and you can get quite a far away with only method-swaps, I love to use them in case of Spring apps, where changing a backend controller and doing another api call is a very fast REPL cycle basically. But obje
888.
by kaba0 3y ago
> "A language that doesn't change how you think about programming isn't worth knowing I don’t think it’s a good quote with such a bold claim, but I agree with the core of it: you should try to learn languages that have dif
889.
by kaba0 3y ago
Similar roots handle that part. Though I don't think it's all that different from FP-languages.
890.
by kaba0 3y ago
Taking up a new language that shares some roots with one you are a master at is/should be trivial to any good programmer, and can be done in weeks/a few months tops.
891.
by kaba0 3y ago
While the cultural effect might indeed be quite important, I really don't agree that it is by far the most important decision. E.g. from a performance perspective, the design of you program is orders of magnitude more important than
892.
by kaba0 3y ago
Your choice, I was invited that way and didn’t see any negative. The ultimate majority of people are decent beings.
893.
by kaba0 3y ago
If you share your email, I’m sure you can get an invite now that you publicly asked for it :D
894.
by kaba0 3y ago
If you request an invite here publicly (and have an email in your profile), I’m sure you can easily get one. Also, I haven’t seen anything like tone policing and ‘unprofessionalism’, and I think the boundaries usually are quite objective an
895.
by kaba0 3y ago
If you request an invitation here, I’m sure someone will happily invite you. I wouldn’t recommend the recommended IRC route, I’ve tried doing that multiple times and it was never fruitful, it’s kinda dead. With that said: I do find Tildes’s
896.
by kaba0 3y ago
I will handily take the mods side of the story, it’s quite clear from the effort put in the respective comments, and the underlying incentives (what would a mod win from making up such a complicated story, vs that of the offender party?)
897.
by kaba0 3y ago
The general quality of discussion is ridiculously low on anything not strictly CS-related. Software engineers tend to be quite cocky, self-confident also regarding unrelated stuff to their expertise, and it shows very much. With that said,
898.
by kaba0 3y ago
To mark it as non-first class, you have to provide something it doesn’t support.
899.
by kaba0 3y ago
Is a good fallback, might have been better wording on my part.
900.
by kaba0 3y ago
Arguably, equality has no default, meaningful implementation. Object identity is a good default, while data-like objects=records should have the trivial equality in place. But a connection is not equal to any other, even if their internal

More ›