UncleEntity
No user record in our sample, but UncleEntity has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but UncleEntity has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
I mean, I got them to 100% using the official conformance suite on my copy-and-patch jit compiler/interpreter WASM VM... Saw that Salt Language article a day to two ago on how they do the static verification as part of…
What I suspect is this 17% is the exact sub-set it needed to hack together to make the goal (running some example website) a reality as this is what those dodgy weasels do if you let them. Then you get to spend 200x the…
Fairly certain all those have "acts of congress" attached to them. I mean, it used to take a constitutional amendment to make something illegal but now we have tons of agencies responsible for regulating all the things.…
I was playing around with stuff trying to get Claude produce a JavaCard VM with the idea that the VM was hand written from the spec with a separate, independently produced, spec file used to generate tests for ESBMC to…
Sure, but the attached chat rooms were pretty handy, I used to like to download bootlegged concerts back in the day, to find new ones you've never heard of. Plus, always fun to get laughed for mistyping The Almond…
"If you have a question look in the specification for the answer and don't just guess" seems a fairly important thing to remember for more than a couple of minutes...
I think the problem is they take the shortest path to the goal ...which may or may not coincide with what you have planned. Oh, and generally think instructions are merely suggestions and what you really want this this…
[flagged]
> but the tail calls are integral to the function of the interpreter 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.…
Yeah, Clang's musttail and preserve_none make interpreter writing much simpler, just make yourself a guaranteed tail call opcode dispatch method (continuation passing style works a treat here), stitch those together…
> Now do it without those pre-written tests 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…
> ...and the right-to-left evaluation logic. 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…
Pivot to where the stupid money is being thrown around seems like a perfectly reasonable business plan.
One of my experiments was to have Claude write a VM and then generate a verification harness (using a DSL) for it to ensure it was correct with the theory being the same bug would have to exist in the test suite, the…
I find it as an interesting experiment to find the limits of what they can do. 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…
My project over the last week was to get the robots to train a neural net to learn the "303 thing", hasn't gone well at all. The first one sounded like it was being played on a blown out speaker after it got run over…
Yeah, back during Trump's first term I was hoping Congress would rein in executive power a bunch as he is prone to do stuff like this, didn't turn out that way unfortunately... Now the main constraint on executive power…
The problem I run into is the propensity for it to cheat so you can't trust the code it produces. For example, I have this project where the idea is to use code verification to ensure the code is correct, the stated…
All I hear about is how this is the 'shape of things to come' with regards to the AI bubble while nobody seems to care that France just told all the gov't agencies to stop using their stuff. Losing out on EU…
You know, for all my flaws I've always tried my hardest to be on the right side of history. One can both believe that immigration policy is broken and also that the current way it's being enforced is immoral and…
>> presumably not of personal vehicles 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…
>> If someone ends up sniping a famous person, we go back in time and figure out who they are Yeah, most civilians don't understand operational security at the functional level. Though... most people doing these thing…
I'm going to go out on a limb and say because rust didn't exist 30 years ago? Anyhoo... seems interesting. I've been trying to convince Claude to produce a verified JavaCard VM implementation, just for the hell of it,…
Here's the problem, from what I've been hearing most of the actual criminals they've been "catching" are turned over by local and state law enforcement agencies with the rest are either in the process of criminal…
IDK, it's probably more a matter where they don't want people to be flying RPGs into their windscreens and this is the first step for them to carry around frequency jammers. The last time I was in Iraq they used them to…