amluto

4 ms·

1.
by amluto 5d ago
Click the link to the ordinance. It explicitly permits pet damage deposits.
2.
by amluto 5d ago
To be fair, it seems like landlords may still ban pets and they are explicitly permitted to have a pet damage deposit.
3.
by amluto 6d ago
That's not the issue. Suppose you have some state like this: const node *head1; int sum1, sum2; And you have: void func() { for ( int *p = head; p; p = p->next ) sum1 += p->val1;
4.
by amluto 7d ago
1. I don’t believe that these secure enclaves are very secure. Intel has had plenty of SGX breaks. AMD has had plenty of SEV breaks. Everyone is outrageously vulnerable to side channels. 2. The models are writing the inference stacks , w
5.
by amluto 7d ago
Have you missed all the breathlessly excited blog posts from all the frontier labs about how they’re using their best models to implement their inference stack? I bet it wouldn’t be very hard to write an inference stack that subtly leaked t
6.
by amluto 7d ago
I don’t really buy that justification, for three reasons: 1. Most implementations do not do this automatic cooperative multitasking trick and most users [0] don’t want it done to their code. 2. The fact that a “step” is guaranteed to happen
7.
by amluto 7d ago
That’s actually a fairly good answer. I think I’d summarize the meat of it as: even a non-atomic, non volatile store can be observable in the sense that it can transform data-race-free code into racy code, and the compiler may not do this
8.
by amluto 8d ago
I grilled an LLM for a bit to see if it could justify the old forward progress rule. The only thing I got that passed the smell test was that it’s useful for the optimizer to be able to optimize: messy_pure_computation(); some_ato
9.
by amluto 8d ago
The array thing is messy. It seems to me that there are potentially four kinds of arrays: the array itself can be copyable or not, and the contents can be copyable or not. But an array of copyable objects can be copied (possibly inefficie
10.
by amluto 9d ago
So why does the length function take the ‘a’ parameter (the type of the elements?) and its Kind? Wouldn’t the type imply the kind? Why does the kind matter? Is the - a constraint on the kind? How would the program be different without
11.
by amluto 9d ago
Maybe in our brave new world only the "laws" will matter and the implementation language is irrelevant to humans. In the mean time I have some questions about the "guide", which claims to define the entire language: ht
12.
by amluto 9d ago
One issue I haven’t seen mentioned: map and filter have both obvious semantics and obvious implementations in the sense that (aside from possible laziness) there is really only one thing they could do, a parallel implementation is essential
13.
by amluto 9d ago
How about having the signed data contain a hash of the photo and having some way for the verifier to access the photo (perhaps via an API)? An actual hard-to-clone chip to contain the authority to access the photo would be even better.
14.
by amluto 9d ago
I suspect there are many excellent solutions along these lines available to the labs training the models. I wonder how well one could do on a conventional model with careful input formatting, e.g. JSONL where every line has bounded length a
15.
by amluto 9d ago
> From this, it deduced that the lower balls would have a torque and would thus start spinning at higher and higher angular velocity. It noted that this would violate conservation of energy, but didn't seem much bothered. Ooh, livin
16.
by amluto 10d ago
> And yes, the paper is already outdated The paper is about the fact that the benchmark’s evaluator is prone to egregious incorrect rejections of what answers that it should accept. A new model will not invalidate that issue.
17.
by amluto 10d ago
I would think of "smooth" as meaning "not having relevant bumps", in the way that a baseball has stitches and a rough surface has the kinds of bumps that would cause a rolling ball to experience vertical motion. But yes,
18.
by amluto 10d ago
When I click your share, it shows the model. When I click into my chat, it just says "High". I did ask the model what it was and it said "GPT-5.6 Sol". Oh, and I don't even have a "light" option, and I&#
19.
by amluto 10d ago
> Based on the lectures, textbook, and homework problems, you match the "form" of the problem with similar problems in the textbook, and apply the same algorithms to solve it. Is the ultimate goal here to train an LLM to do wel
20.
by amluto 10d ago
Replying to myself: this is fun! Let's ask ChatGPT (whatever model the website currently feels like using) an improved question: > Three identical homogeneous balls are placed on a smooth horizontal surface, touching each other and
21.
by amluto 10d ago
If you have high friction (the problem said "smooth" not "slippery"), then the only way the supporting balls can go anywhere is by rolling apart. But the ball sitting on top cannot simultaneously rotate in a manner comp
22.
by amluto 10d ago
(Trained physicist here) From personal experience, frontier models absolutely struggle with understanding a physical situation based on words. (Okay, I haven't played with Astra much. GPT-5.6 Sol makes outrageous errors that anyone u
23.
by amluto 10d ago
I would like to think that pg_hint_plan is designed in such a way that any hint it accepts must be a valid plan for the query. I’m quite confident that schemes with this property that can also express high quality plans are possible and no
24.
by amluto 10d ago
Did any of the prompts involve the user trying it and observing that the scrubber barely works and that the topography texturing (the displacement map or normal map or whatever technique GPT-6 picked) is outrageously wrong? I'm no e
25.
by amluto 10d ago
You’re misunderstanding my point. ARP is a protocol that makes perfect sense even when spoken by hosts that only know their own MAC addresses and do not yet know their IPv4 addresses. IPv6 ND is IPv6 except it has the weird edge case in t
26.
by amluto 11d ago
Sticking L2 into L3 means that L3 needs the ability to communicate with nodes with as-yet-unknown L2 addresses and that L3 nodes that don’t have an L3 address yet need to be able to transmit L3 packets. Both of these are quite messy, and AP
27.
by amluto 11d ago
I’ve always thought that IPv6 has dramatically worse layering than IPv4. In IPv4 over Ethernet, there’s ARP, which layers over plain Ethernet, and IPv4 sits on top of the combination of ARP+Ethernet. In the IPv6 world, neighbor discovery
28.
by amluto 12d ago
This article is missing an incredibly important detail: what is the harness doing? I get remarkably good results using any recent OpenAI model using the codex-rs harness pointing at a built checkout of the PR. The models use the available
29.
by amluto 12d ago
It’s not only hubris — I think it’s actively counterproductive. The US could choose to: (a) Sell many billions of dollars of fancy chips to China, thus bringing in billions of dollars of money and billions of dollars of trade balance impro
30.
by amluto 13d ago
I don’t buy it. Reasonable about building secure software can take the form “this memory access might be out of bounds — that MUST be fixed” or “this process has access to an inappropriate privilege — this is a serious weakness”. Exploiting

More ›