UncleEntity

11 ms·

31.
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
32.
by UncleEntity 8mo ago
>> 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 probably wa
33.
by UncleEntity 8mo ago
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, and thi
34.
by UncleEntity 8mo ago
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 pr
35.
by UncleEntity 8mo ago
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 stop the c
36.
by UncleEntity 8mo ago
>> Also note, i.e. stuff like statutory rape has been upheld even in cases where the perpetrator in all good faith thought the victim was 18+, the victim initiated selling the services, and the victim provided fake ID showing they wer
37.
by UncleEntity 8mo ago
Yeah... I had to quit reading after seeing the No True Scotsman argument about who can and can't form an opinion on the state of the robots. I don't have any professional experience but feel like I can see enough, through experi
38.
by UncleEntity 9mo ago
Been working on the design of an optimizer for my APL VM and asked Claude how this would fit in (as we don't have Dyalog extensions): The pattern is: f⌿ X ∘.g Y
39.
by UncleEntity 9mo ago
>> Sam Altman has said “We’re profitable on inference. If we didn’t pay for training, we’d be a very profitable company.” Any individual Sunday service is nearly cost free if we don't calculate in the 100+ years it took to build
40.
by UncleEntity 9mo ago
There's no reason I can think of where this isn't the case. I mean, we're not even up to the "Model T" era of AI development and more like in the 'coach-built' phase where every individual instance needs a
41.
by UncleEntity 9mo ago
>> Did I miss anything? Derived operators? And, 'A B C' as an array isn't valid (ISO) APL but an extension, the 'array syntax' only covers numbers and the parser is supposed to treat is as a single token. Your
42.
by UncleEntity 9mo ago
Yeah, if you can somehow convince them you really, really want them to follow the specification and not just do whatever they want. And is doesn't matter how many times you tell them the implementation and, more importantly, the tests
43.
by UncleEntity 9mo ago
Would that be Rapidly Decompressing Capacitors? ...only know what an inductor is from watching a video one the youtubes where they were talking about using them on the suspensions of F1 cars and they explained their relationship to electron
44.
by UncleEntity 9mo ago
Maybe something like a constitutional republic of independent states? The only way to ensure one political party doesn't seize full and complete control over the entire thing and bend its will to exclusively their goals.
45.
by UncleEntity 9mo ago
Isn't the "Disposable System" in TFA the actual AI? Today you have to have it write some software to accomplish a task and it's pretty obvious what's going on but when the AI itself becomes the UI then it doesn&#x27
46.
by UncleEntity 9mo ago
>> What is the point? To replace humans permanently from the work force so they can focus on the things which matter like being good pets? Or good techno-serfs...
47.
by UncleEntity 9mo ago
>> ...or a shitty context This is my guess, sometimes it churns through things without a care in the world and other times is seem to be intentionally annoying to eat up the token quota without doing anything productive. Kind of have
48.
by UncleEntity 9mo ago
I've been working on this thing where the proofs (using the esbmc library) check the safety properties and the unit tests check the correctness so the state space doesn't explode and it takes a year to run the verification. Been w
49.
by UncleEntity 9mo ago
I have a couple interpreters I've been poking at and one uses 'musttail' while the other uses a trampoline to get around blowing up the C stack when dispatching the operators. As for the GC, the trampoline VM has a full-blown
50.
by UncleEntity 9mo ago
I'm kind of curious about the things you're seeing since I find the best way is to have them come up with a plan for the work they're about to do and then make sure they actually finish it because they like to skip stuff if i
51.
by UncleEntity 9mo ago
>> ...however they are poor utility for non-domain-experts. IDK, just two days ago I had a bug report/fix accepted by a project which I would have never dreamt of digging into as what it does is way outside my knowledge base. But
52.
by UncleEntity 9mo ago
> …which then 30 minutes later is being removed again because it turns out to be completely dead code I'm not sure if it's a good or bad thing people expect the robots to produce proper code on the first attempt?
53.
by UncleEntity 10mo ago
I've been using Claude to implement an ISO specification and I have to keep telling it we're not interested if the repl is correct but that the test suite is ensuring the implementation is correctly following the spec. But when we
54.
by UncleEntity 10mo ago
> I also want agents to be able to consistently prove software correct... I know this is just an imprecision of language thing but they aren't 'proving' the software is correct but writing the proofs instead of C++ (or wha
55.
by UncleEntity 10mo ago
Yeah, I managed to do that years ago all by myself with a bad CMake edit which managed to delete the encryption key (or something) for my home directory, which I honestly didn't even know had encryption turned on, before I could stop i
56.
by UncleEntity 10mo ago
> Why compilers are manageable – the IR data structure Yeah, I've been working on an APL interpreter, just for the hell of it as it's a very interesting problem, and without the IR (or continuation graph in this case) I can&#x2
57.
by UncleEntity 10mo ago
I'm pretty sure the issue was with 'move fast and break things' and not using carbon fiber. I think it was on the youtubes I was watching a story about how they built that thing and it was <spoiler alert> not really fit
58.
by UncleEntity 10mo ago
> But generally people let their agent make whatever change it makes and then wonder why trains are flying off the tracks. IMO, this is the biggest issue. Well, along with just straight up ignoring what you tell it and doing whatever it
59.
by UncleEntity 10mo ago
Yeah, I'm still bitter I had to pass a literacy exam to get my BA and that was 28 years ago. And I just know this is going to turn into a (pearl-clutching) AI Ethics course...
60.
by UncleEntity 10mo ago
> Yes: I used arenas a lot when I was shipping C code; they're a very easy way to get big speed boosts out of code that does a lot of malloc This is something I look forwards to exploring later in my current pet project, right now i

More ›