Viewing profile — deterministic

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 …

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

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…

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. S…

If that kind of comment makes you feel better about yourself that's fine by me :)

I completely agree. There's no guarantee that researchers won't still be needed despite AI.

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

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

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

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?

And maybe somebody will create something better than LEAN. That has nothing to do with the original argument.

> These days most of the sensible people have moved from C++ to Rust Wrong. There are more than 16 million C++ developers worldwide.

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.

> ... 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 fr…

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

That's a bad analogy. LEAN is a leading bleeding edge proof verification tool.

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/...) Othe…

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

The mouse trail is really annoying! Not a good example of how to do UI.

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…

> 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.

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

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 …

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 "imm…

No firewall?