> How tf else did you honestly expect black-boxes to get built, by self-mangling machine code spit out by a sentient AI god?
I'm not quite sure why everyone seems to want the AIs to be writing typescript - that's a language designed for human capabilities, with all the associated downsides.
Why not Prolog? APL? Something with richer primitives and tighter guardrails that is intrinsically hard for humans to wrangle with.
I was wondering about prolog myself and turns out 1) prolog isn’t that amazing in practice (cutting is a skill I never mastered properly) and 2) unification is what type systems do, so in essence typescript et al has kinda-prolog embedded anyway - IOW our wish has always been fulfilled, we just need to squint a bit.
I get that makes people more comfortable, but if we're truly looking for a blackbox implementation of a spec, they could just as well directly emit something like JVM bytecode, and not worry about silly human needs like linters/formatters/etc
I'm not quite sure why everyone seems to want the AIs to be writing typescript - that's a language designed for human capabilities, with all the associated downsides.
Why not Prolog? APL? Something with richer primitives and tighter guardrails that is intrinsically hard for humans to wrangle with.