I've been quite smitten with Destination-Driven Code Generation and its separate data and control destinations feeding through to the sub-trees letting everyone know what's expected to happen to the data they're computing and where to go next. Makes a super-simple CPS converter as destinations == continuations and I can feed the CPS IR straight into a Click-inspired optimizer to do the things. It's actually fairly close to the design from TFA just based around continuations and whatnot instead of a SSA IR.

Not really, a trampoline could emulate them effectively where the stack won't keep growing at the cost of a function call for every opcode dispatch. Tail calls just optimize out this dispatch loop (or tail call back to the trampoline, however you want to set it up).

That's probably the most important thing, actually. I've tried my hardest to get Claude to build an APL VM using only the spec and it's virtually impossible to get full compliance as it takes too many shortcuts and makes too many assumptions. That's part of the challenge though, to see how far the daffy robots have come.

The evaluation order doesn't matter as much as you don't really know what kind of function/operator you have at parse time so have to do a bunch of shenanigans to defer that decision until runtime while still keeping it efficient. Kind of fiddly to get right but once it works, it just works.

Claude and me (and a ton of decades old research) pretty much figured out all the complications in the APL parse/eval stack (https://github.com/dan-eicher/AiPL).

It's not an abstract thing they can't do, you just have to tell them to.

Like, I've had it build a full APL interpreter, half an optimizer, started on a copy-and-patch JIT compiler and it completely fails at "read the spec and make sure the test suite ensures compliance". Plus some additional artifacts which are genuinely useful on their own as I now have an Automated Yak Shaver™ which is where most of my projects ended up dying as the yaks are a fun bunch to play with.

The first one sounded like it was being played on a blown out speaker after it got run over and the second attempt sounded like it was going through a $20 pawn shop guitar pedal that got left in the rain which lead to the 'oh, you wanted the neural net to learn the 303's filter section? My bad, I just made some random stuff up as an approximation...'

The worse part is there's still compute credits left over from the initial ten bucks so we just have to try again...

Now the main constraint on executive power seems to be due process and habeas corpus.

For example, I have this project where the idea is to use code verification to ensure the code is correct, the stated goal of the project is to produce verified software and the daffy robot still can't seem to understand that the verification part is the critical piece so... it cheats on them so they pass. I had the newest Claude Code (4.6?) look over the tests on the day it was released and the issues it found were really, really bad.

Now, the newest plan is to produce a tool which generates the tests from a DSL so they can't be made to pass and/or match buggy code instead of the clearly defined specification. Oh, I guess I didn't mention there's an actual spec for what we're trying to do which is very clear, in fact it should be relatively trivial to ensure the tests match for some super-human coding machine.

Losing out on EU governmental contracts seems to me to be somewhat of a big deal and the France thing is just maybe the first move in that direction.

One can both believe that immigration policy is broken and also that the current way it's being enforced is immoral and unlawful. I took the same oath to the constitution when I joined the military as they did when they went into federal service and can see when when things are going off the rails.

My eulogy should be: "U.S. Paratrooper, Decorated Combat Veteran, Crazy Far Left Agitator"

They don't magically gain more privacy protection in public over what your average person has just because they clock out after a hard day of work by virtue of being a government employee.

They are constantly and consistently reminded that people have the right to record in public and they chose to ignore that as there are no consequences if they violate the law. Or that people have a right to peacefully assemble. Or freedom of the press...

Yeah, most civilians don't understand operational security at the functional level.

Though... most people doing these thing probably want to be caught because they just aren't quite right in the head and want people to tell them that what they did is 'justified' for whatever reason.

Anyhoo... seems interesting. I've been trying to convince Claude to produce a verified JavaCard VM implementation, just for the hell of it, and this probably has a bunch of information to help with that.

They are literally pulling people out of judicial hearings, where the people are trying to comply with the law, and throwing them on airplanes without due process. Or just randomly snatching people off the streets with no probable cause including the occasional US citizen based on their (ancestors) national origin.

Seriously, my step-father's family became US citizens as a result of the Mexican-American War and the federal courts say it's probable cause to detain them based on their physical appearance. Like, WTF???

--edit--

Just remembered my grandmother saying she didn't teach her children Spanish because she didn't want them to grow up with and accent because she was literally beat if she spoke Spanish in school. True, this was 100 years ago but still...

Coincidentally, folks won't be able to live stream their encounters but I'm sure that's totally unrelated...

You had me up to the "selling the services" part.

If you are 'engaging' with someone in a criminal enterprise it's probably reasonable to assume they might misrepresent certain facts to make the sale.

And why do all these conversations center around web apps and whatnot? I don't work on anything like that but probably know a lot more about virtual machines and compiler theory than your average web programmer.