deterministic

7 ms·

61.
by deterministic 1mo 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?
62.
by deterministic 1mo ago
And maybe somebody will create something better than LEAN. That has nothing to do with the original argument.
63.
by deterministic 1mo ago
> These days most of the sensible people have moved from C++ to Rust Wrong. There are more than 16 million C++ developers worldwide.
64.
by deterministic 1mo 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.
65.
by deterministic 1mo 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
66.
by deterministic 1mo 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.
67.
by deterministic 2mo ago
That's a bad analogy. LEAN is a leading bleeding edge proof verification tool.
68.
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
69.
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.
70.
by deterministic 2mo ago
The mouse trail is really annoying! Not a good example of how to do UI.
71.
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).
72.
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.
73.
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
74.
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
75.
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
76.
by deterministic 2mo ago
No firewall?
77.
by deterministic 2mo ago
Nope not true at all (30+ years of experience here working on very large scale software). The whole point of being agile is to design your software architecture to be agile. That's what I do. And it works.
78.
by deterministic 2mo ago
If that ever happens to you, you're doing it wrong. I've spent 30+ years building large-scale software, and it has never happened to me. Good software design lets you accommodate even major requirement changes with minimal changes
79.
by deterministic 2mo ago
> Unfortunately written by an AI - that completely takes the wind out of the content I don't think the all-too-common "written by AI" remarks are helpful. The article was informative and useful. That's what matters IM
80.
by deterministic 2mo ago
When using AI to generate text, I highly recommend asking it to "simplify" the text before publishing. Maybe even more than once.
81.
by deterministic 2mo ago
> AI can generate components faster than humans can understand their combined execution That is true but you are still responsible for the code that gets checked in. So slow down and make sure you do understand it before committing it.
82.
AI Coding is Exhausting [video](youtube.com)
2 points by deterministic 2mo ago|2 comments
83.
by deterministic 2mo ago
I couldn't have explained it better myself.
84.
by deterministic 2mo ago
We already have. See seL4.
85.
by deterministic 2mo ago
If you work twice as fast but don't add a single $ to your income then you haven't increased productivity at all.
86.
by deterministic 2mo ago
GLP-1 has negative side effects (loss of lean mass for example) that I most definitely do not want.
87.
by deterministic 2mo ago
> AI has given a lot of completely incompetent people a false sense of competency 30+ years of experience writing large applications in C++ and TypeScript, including JIT compilers, commercial game engines, and business-critical systems u
88.
by deterministic 2mo ago
An additional note running SQLite in production: SQLite gets really slow when using very large BLOB's (100+ MB). I ended up having to store the BLOB's externally and refer to them from the SQLite DB. Not ideal of course (the BLO
89.
by deterministic 2mo ago
> Only because Lisp Machines, or variations thereof didn't took off in the mainstream It apparently turned out that it was more efficient to compile Lisp to a "normal" CPU instead of using an expensive custom non-generic &
90.
by deterministic 2mo ago
> I don’t know but to me it seems a bunch of people should learn proper typing There is no way your hands can produce code faster than a machine. Even before AI, I used a custom code generator for years. It generated about 90% of the cod

More ›