UncleEntity

7 ms·

1.
by UncleEntity 8d ago
The problem I've been having is the LLM's are super dodgy, not even ten minutes ago the 'solution' to a proof failing was to disable that check in the static analysis harness so the tests pass since their first try (with
2.
by UncleEntity 13d ago
I've been poking at a C version of this ( https://github.com/dan-eicher/javelina ) which would be interesting to benchmark against as it does a similar tail-calling dispatch mechanism. Plus copy-and-patch JIT but th
3.
by UncleEntity 1mo ago
>> I was curious why you swapped over to a register based VM Not the OP but there are real performance benefits, I've been poking at a wasm VM and it has two jit backends where one is pure copy-and-patch while the other caches th
4.
by UncleEntity 1mo ago
I thought this was just a thing until I moved from Cal to Arizona and people would get really mad about it until I asked someone at work and learned it's illegal.
5.
by UncleEntity 1mo ago
My first motorcycle was fast enough to get out of the way of stupid drivers (and be fun) while my last one was so fast it still amazes me to this day that I'm still alive. Apparently it was amateur raced with all the things that entail
6.
by UncleEntity 1mo ago
Yeah, that only works if they follow the plan (they don't), actually write the tests first (they don't) and don't silently defer anything which doesn't have a test written as "speculative without a use case". O
7.
by UncleEntity 2mo ago
Yeah, I used to work with a ton of “unhinged” people willing to take risks because it was the literal job requirement, being willing to jump out of a perfectly good airplane behind enemy lines, yet was completely optional as one has to both
8.
by UncleEntity 2mo ago
> Native interop with JS objects on the JS GC heap isn't supported as well. Isn't that what the i31 type is for, that extra bit is a tag for...something, native GC'd object perhaps? Not so clear on that myself as Java&#x27
9.
by UncleEntity 2mo ago
I just have them write the tools to write the DSL's to do the thing then (most of) the sloppy code stays in the generator and if all the different things depend on each other they don't go stale and whatnot. And let them design th
10.
by UncleEntity 2mo ago
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 the compilation
11.
by UncleEntity 2mo ago
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 time to fill in the
12.
by UncleEntity 3mo ago
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. Plus, they
13.
by UncleEntity 3mo ago
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 verify so an identica
14.
by UncleEntity 4mo ago
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 Brothers Band at 3am.
15.
by UncleEntity 4mo ago
"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...
16.
by UncleEntity 4mo ago
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 totally different thi
17.
by UncleEntity 5mo ago
> Control and effects are different things... 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 expect
18.
by UncleEntity 5mo ago
> 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. Tail calls jus
19.
by UncleEntity 5mo ago
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 using Copy-and-Patc
20.
by UncleEntity 6mo ago
> 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 complianc
21.
by UncleEntity 6mo ago
> ...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 dec
22.
by UncleEntity 6mo ago
Pivot to where the stupid money is being thrown around seems like a perfectly reasonable business plan.
23.
by UncleEntity 6mo ago
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 static verification and
24.
by UncleEntity 6mo ago
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 the spec a
25.
by UncleEntity 6mo ago
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 and the
26.
by UncleEntity 6mo ago
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 seems to b
27.
by UncleEntity 7mo ago
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 goal of the project
28.
by UncleEntity 8mo ago
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 governmental cont
29.
by UncleEntity 8mo ago
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 unlawful. I took t
30.
by UncleEntity 8mo ago
>> 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 employee. T

More ›