derdi

7 ms·

91.
by derdi 3mo ago
I found Codex to use "gate" in a different sense: As the condition of an if statement. I have a local style rule not to use that. Another really grating thing is to use "X-shaped" for "something vaguely related to X
92.
by derdi 3mo ago
I wonder how long this will still be a thing. More and more companies seem to come to the conclusion that tokenmaxxing is just too expensive for the value it delivers. Will there be others that continue doing it? Will there be companies tha
93.
by derdi 3mo ago
I would expect Postgres to be heavily tested with things like Valgrind and various sanitizers. I'd be surprised if there were low-hanging fruit. But also, if there is code that does something fishy with pointers, wouldn't the AI l
94.
by derdi 3mo ago
I know how to write a test that verifies other tests. But I can do that already, I'm wondering what Beagle would add. I also know that if the meta-test is writable to the agent, it will change it if it feels like it wants to get rid
95.
by derdi 3mo ago
Thinking about this more, like every blockchain, this only makes sense if there is an incentive to publish each log entry as quickly as possible. Once it's published, of course it's tamper-proof, including against "the operat
96.
by derdi 3mo ago
> Disclaimer: this proves integrity, not completeness (as a self-held chain proves nothing was edited but does NOT prove that nothing was omitted). Or as the page puts it in more detail: > A self-held chain proves integrity: nothing w
97.
by derdi 3mo ago
See my reply to the sibling. Yes, it matters that the outcome is a working system! It doesn't matter whether the system was created by a human pressing keys on a keyboard.
98.
by derdi 3mo ago
This 6-minute video (linked from the website) demoes it nicely: https://www.youtube.com/watch?v=qnIu-Xu64H0 It sets up a bunch of panes for you and tracks your agents' status and everything is clickable. You could prob
99.
by derdi 3mo ago
I don't think processes have to be deterministic. Results should be, in the following sense: Both humans and LLMs should write software that is well-written, well-tested, well-documented, and that meets the spec. But this still leaves
100.
by derdi 3mo ago
Thanks! I actually find human-written text very refreshing compared to what I have to read all day. I'll stay tuned.
101.
by derdi 3mo ago
Humans aren't deterministic. Determinism is a red herring. There are lots of other problems with agentic programming, but this is not at the top of the list.
102.
by derdi 3mo ago
This is a very interesting introduction to a blog post, but... I'm somehow missing the actual blog post. How does this stuff work in practice? What are some concrete examples? How does one get from JavaScript tokenizing things in a com
103.
by derdi 3mo ago
Agreed that the napkin is pretty unclear. You can check the reference VM for clarification of the de facto intended semantics: https://github.com/adriancable/eternal/blob/main/vm/vm.c
104.
by derdi 3mo ago
> Tokens billed at API prices are profitable for openAI and anthropic today That's nice for them. What's less nice for them is that big customers are figuring out (some faster, some more slowly) that they don't want to pay
105.
by derdi 3mo ago
No, the clue is people realizing that relying on the tools costs too damn much. The tools may be fine-ish for what they do, but there might be a bubble built on unrealistically high expectations of revenues.
106.
by derdi 3mo ago
For here (and the website), I would be more interested in trustworthy information about what is actually verified at compile time, and what happens when verification fails. What if you write a function that takes an array (as an array typ
107.
by derdi 3mo ago
The more interesting loop invariants aren't the ones about the loop counter but about the contents of the array. If you require `forall i, array[i] == value` after that loop, will the system come up with the loop invariant about the pr
108.
by derdi 3mo ago
I was confused by the matrix multiply example since it doesn't show requires clauses. So I looked at what is presumably the source I'm supposed to look at: https://github.com/bneb/lattice/blob/main&#
109.
by derdi 3mo ago
I didn't look at the details you posted, but as a compiler engineer, the general statement doesn't surprise me. More complex control flow can block optimizations. Many compiler optimizations involve duplicating code in some way (l
110.
by derdi 3mo ago
Yes. You are correct. You completely missed the point of what this subthread is about, but yes. It's clear what "subject to the laws" means to normal people.
111.
by derdi 3mo ago
So people on a work visa are "subject to", specifically because of two criteria (income tax and conscription) which must both hold, at least hypothetically? What if the US passes a constitutional amendment explicitly saying that f
112.
by derdi 3mo ago
Can you expand on the harm of degrowth? I usually see it framed in terms of "our state retirement system is an obvious pyramid scheme that is about to collapse, we need to keep the scam going as long as we can". Are there better r
113.
by derdi 3mo ago
"X is bad" is obviously not a license to commit genocide to lessen the effects of X. Easy, very affordable access to birth control (both information and actual physical stuff) for all humans is a very good idea.
114.
by derdi 3mo ago
IANAL, but it seems to me like the US could totally pass laws regulating Germans on German soil. It just couldn't enforce them in US courts (short of kidnapping Germans from German soil, or luring them to the US somehow). So it would b
115.
by derdi 3mo ago
What if you're in the US on a work visa, so you do expect to pay income tax but don't expect to be conscripted into military service? What's the correct preposition for that case?
116.
by derdi 3mo ago
One problem with the "won't happen in production" argument is that humans are demonstrably bad at predicting "won't happen in production" situations.
117.
by derdi 3mo ago
Oh no, you have just proved formal verification useless! Or, if you have an outer event loop that should potentially run forever, you mark only that one loop accordingly (details depend on the system).
118.
by derdi 3mo ago
Nitpick: You don't necessarily need any specification at all in order to reap benefits. Formal verification languages come with a lot of conditions that your program must fulfill in order to be accepted: Every loop terminates, every ob
119.
by derdi 3mo ago
OK. You don't agree with the OP's "arbitrary lines", I don't agree with the OP's arbitrary lines, I still don't understand why you felt you needed to attack me for this. But I hope you have a lovely day.
120.
by derdi 4mo ago
I still have my first Jolla from 2014, I used it until... 2022-ish? My main gripe was that RAM was limited, the OOM killer killed my browser way too often while I was actively using it. I didn't use too much Android stuff, but as far a

More ›