deterministic

4 ms·

1. 61.▲
   by deterministic 2mo ago

   > The United States has the best engineers because it pays the best Nope. There are many counter examples of companies being world leading without paying world leading salaries to their engineers. It's a big mistake to believe tha
2. 62.▲
   by deterministic 2mo ago

   It is correct that a lot of talented Europeans get educated in Europe and then immigrate to the US starting successful companies. Without those Europeans, there would be a lot fewer successful US companies.
3. 63.▲
   by deterministic 2mo ago

   Nope. Ex-game developer here. There are plenty of situations where choosing a single difficulty level will make a game impossible for some players and too easy for others. I worked on a commercial game where the only solution was to subtly
4. 64.▲
   by deterministic 2mo ago

   Your premise is not matching my experience at all. I know Haskell but use C++ as my daily tool. And I do care deeply about code quality because I don't want to spend most of my time fixing bugs.
5. 65.▲
   by deterministic 2mo ago

   Thanks! What a great read.
6. 66.▲
   by deterministic 2mo ago

   Your mobile phone runs on a CPU architecture designed in Europe (ARM), manufactured by a machine that only a European company can make (ASML), using a number of protocols invented in Europe (Bluetooth for example), using protocols invented
7. 67.▲
   by deterministic 2mo ago

   > has the best engineers in the world Really? What evidence do you have for that? Are you saying that companies like Airbus, Mercedes-Benz, Ferrari, ASML, Leonardo, Rolls-Royce, Dassault Aviation, Toyota, Bosch, Komatsu, Siemens, ABB, Mi
8. 68.▲
   by deterministic 2mo ago

   An excellent read. However, this part is wrong: > Those decades spent fighting memory bugs in C or C++, with the scars to prove it, are worthless. The world runs on C and C++, with billions of lines of code. That code isn't going aw
9. 69.▲
   by deterministic 2mo ago

   The #1 benefit of AI in my experience is improving product quality not development speed. Claude Code is amazing at finding subtle bugs and improving the performance of the code. Something that directly benefit people using the product. Lov
10. 70.▲
    by deterministic 2mo ago

    If that kind of comment makes you feel better about yourself that's fine by me :)
11. 71.▲
    by deterministic 2mo ago

    I completely agree. There's no guarantee that researchers won't still be needed despite AI.
12. 72.▲
    by deterministic 2mo ago

    I really don't get the AI hatred. I have seen impressive work created with AI and really shitty work created with AI. The problem is not AI. The problem is the person using the AI.
13. 73.▲
    by deterministic 2mo ago

    Wow, those are some very strong claims, yet you haven't provided any evidence or argument to support them. If I understand you correctly, you're arguing that anyone who disagrees with you is: 1. An AI/corporate fascist. 2. Se
14. 74.▲
    by deterministic 2mo ago

    Not my experience at all. I taught myself assembly language when I was 11 just for fun, and I'm still programming as a hobby more than 40 years later, even though I also do it professionally. And I love using LLMs. They take care of
15. 75.▲
    by deterministic 2mo ago

    Not my experience at all. I love using LLM's when hobby programming! But then again I don't program as a hobby to impress others online. Maybe that's the difference?
16. 76.▲
    by deterministic 2mo ago

    And maybe somebody will create something better than LEAN. That has nothing to do with the original argument.
17. 77.▲
    by deterministic 2mo ago

    > These days most of the sensible people have moved from C++ to Rust Wrong. There are more than 16 million C++ developers worldwide.
18. 78.▲
    by deterministic 2mo ago

    Show me a programming language that doesn't result in developers "making blunders over and over again" when developing the kind of very large software C/C++ is used for.
19. 79.▲
    by deterministic 2mo ago

    > ... don't value correctness or security enough Wrong. It is the market that doesn't value correctness or security enough. We have the tools (formal verification) to create bug free software (see seL4 and CompCert for exampl
20. 80.▲
    by deterministic 2mo ago

    > C and C++ are simply not fit for purpose when large scale software projects are concerned The world runs successfully on C and C++. Ignoring that fact and claiming that Rust will magically remove all bugs is BS^2.
21. 81.▲
    by deterministic 2mo ago

    That's a bad analogy. LEAN is a leading bleeding edge proof verification tool.
22. 82.▲
    by deterministic 2mo ago

    People do use formal methods. Type checking is a simple form of formal methods. Some languages have type systems that are advanced enough to prove code correct (LEAN/Agda/...) Other examples are seL4 (a proven correct micro kernel
23. 83.▲
    by deterministic 2mo ago

    No programming language will ever be perfect. But it's still better for everyone to focus on improving one language than to recreate the same ideas across dozens of different languages, like a Tower of Babel of duplicated effort.
24. 84.▲
    by deterministic 2mo ago

    The mouse trail is really annoying! Not a good example of how to do UI.
25. 85.▲
    by deterministic 2mo ago

    Not true. seL4 (for example) is an example of a real time kernel proven correct end-to-end and used on millions of devices. Another example is CompCert (a proven correct C compiler used by Airbus and others for real production software).
26. 86.▲
    by deterministic 2mo ago

    > Now it all can be developed in just 5 mins Please go ahead and post a YouTube video showing us all how to do it.
27. 87.▲
    by deterministic 2mo ago

    > If you're using Lisp, then sure. So are you saying Lisp somehow makes software flexible enough to handle any requirement change, no matter how badly it's written? Really? Lisp doesn't have any unique feature that makes
28. 88.▲
    by deterministic 2mo ago

    So your argument is that no solution could satisfy your new requirement, not even if Facebook rewrote the entire system from scratch. If that's the case, then your example doesn't really address what we're discussing: wheth
29. 89.▲
    by deterministic 2mo ago

    That's a straw man argument. Your new requirement is physically impossible. No software team can break the laws of physics. So the real question is what exactly do you mean by "immediately"? There are many answers with differ
30. 90.▲
    by deterministic 2mo ago

    No firewall?