[–] adamddev1 9 hours ago
[–] pitchlatte 6 hours ago
[–] perrygeo 8 hours ago
s/no/new ideas?
The people pushing forward with no ideas are likely not reading much either.
[–] adamddev1 8 hours ago
[–] perrygeo 7 hours ago
[–] so-cal-schemer 8 hours ago
s/ideas/understanding/
a glitch in the dialogue
[–] kragen 5 hours ago
# The table of the program's own functions, by their descriptors, which
# the runtime searches for --memo-every and --memo-all.
def function_data(:defs) =
:rows = loop :next(:r = defs, :acc = []) (
| [] = r; acc
| [Def { :fname, _, _, _ }, ...:more] = r;
next(more, [acc, " .quad d_", fname, "\n"])
);
[" .balign 8\n .globl rt_functions, rt_nfunctions\n",
"rt_nfunctions: .quad ", show(length(defs)), "\n",
"rt_functions:\n", rows]
There's a lot of code in 5emel I haven't read; there's something like 15000 lines of TypeScript and JavaScript and 3000 lines of C. I've read almost none of any of that. I haven't even read all of the compiler, which is only about 1600 lines of code.Despite that, I think I've been putting my extensive past reading of programming books to pretty good use in this process. 5emel is directed at finding a workable, though not optimal, general solution to one of the famously most difficult problems in computer science, and if it is successful, I think it'll be a real advance — and one that LLM coders can use as well as human coders. Better, maybe.
Maybe, six months from now, AIs will be good enough to devise better programming languages on their own so they can program things more easily. They don't seem to be able to do that right now, though, so my skillset doesn't seem completely obsolete yet.
However, I play go recreationally, even though AlphaGo already plays go better than any human ever could, and possibly better than any human ever will. Often go players consult KataGo or a similar AI to improve their game. So I anticipate that, even if my programming skillset is completely surpassed by AIs, I'll probably still enjoy doing things like 5emel (if I have the chance), just like I enjoy playing Minetest and walking around my neighborhood at sunset.
By the way, there's probably enough information in the above snippet to recreate all of the important parts of 5emel. I fed it to an Incognito Claude session and asked it to explain it, and it explained basically all of the significant aspects of the language, although it wasn't sure about some of them. You could probably elicit the rest of the compiler and runtime system from it, although you'll probably have to fight your way through a lot of the same problems I have.
[–] so-cal-schemer 52 minutes ago
I enjoy your choice of phrase: 'to elicit' code from Claude. Like wishes from the Djinn. I imagine a guiding light through the Library of Babel ..or a trail of bread crumbs.
Over several months I watched over a friend's shoulder, with heavy lifting from Cluade, as he designed and verified a PCB for an IoT SoC with custom drivers for components, even hacking a video encoder to be a partial GPU such that it can playably run Quake (and more planned). And another friend designing a RISC-V core in an FPGA with aid from AI. I feel like quoting Roy Batty in Bladerunner.
Anyway.. mate?
[–] kragen 13 minutes ago
I'm going to try to write 5emel up properly this weekend.
[–] so-cal-schemer 7 hours ago
An interactive portal to a digital book could rival or surpass the experience, but I haven't encountered that yet.
[–] __mharrison__ 6 hours ago
Once if the great things about books is that the author was required to plan out a path to take you along. Most shorter content skips that.
Also love physical books and the spatial reinforcement.
(I'm probably biased as a book author because books sales are definitely in a slump.)
It is such a big category error to say "we're building simple apps without looking at code, therefore no one reads code anymore."
I'm not sure if this comment is meant as a little joke or observation, but I keep on seeing serious comments like this. It is serious anti-intellectualism to scoff at people reading programming books or understanding things.