rst

5 ms·

1.
by rst 2mo ago
Unfortunately, we seem to already have an example of an LLM producing a proof in a week known open problem (the Collatz conjecture) in which it looks like it was sneaking a flawed proof through bugs in the proof checker. https://
2.
by rst 2mo ago
Maybe don't reassign the sesssion to a different client so long as there's a cursor open (the way that most poolers have a mode that won't reassign a session that has a transaction open)?
3.
by rst 3mo ago
One partial mitigation is to ask it to use plan mode -- and then very carefully review the plan before allowing it to execute.
4.
by rst 3mo ago
Most of the time, the agent should be able to run the code and observe the errors for itself, but there are exceptions. For instance, I've had agents write code that's used to process data which, by company policy, can't be
5.
by rst 3mo ago
They're kind of at the mercy of the US government on this, and the government seems to have them in the position you describe.
6.
by rst 4mo ago
It couldn't run "hello, world" on systems where the include files were not located in the directory that it expected -- producing instead diagnostics saying, quite clearly, that the header files were not found. On systems wh
7.
by rst 5mo ago
Also, a lot of them talk about finding the same vulns -- and not about writing exploits for them, which is where Mythos is supposed to be a real step up. Quoting Anthropic's blog post: "For example, Opus 4.6 turned the vulnerabil
8.
by rst 6mo ago
On the flip side, I'm not sure I ever saw a revenue plan or exit strategy for Astral other than acquihire. And most plausible bidders are unfortunate in one way or another.
9.
by rst 9mo ago
Well-known vulns are all over this code. For example, mkdir had a TOCTTOU which persisted into v7 (and I believe 2BSD); it was implemented as a setuid binary which did a mknod followed by a chown to create the directory. Code which invoked
10.
by rst 9mo ago
They were already mailing distribution tapes -- the software being run here was extracted off one of them (which had literally been lost in a store room for decades).
11.
by rst 9mo ago
Anthropic's ahead of you -- the LLM that the reporters were interacting with here had an AI supervisor, "Seymour Cash", which uh... turned out to have some of the same vulnerabilities, though to a lesser extent. Anthropic&#x2
12.
by rst 10mo ago
Ummmm... yes. The problem with versioning file systems is that they only kept the last few versions; for files under active development, it was usually difficult to recover state older than a week or two. (SCCS handled collaborative develop
13.
by rst 11mo ago
According to Wikipedia,there are apps that provide an emulated Android environment ("Easy Abroad", "Droitong"), they're incomplete and glitchy, and a lot of important apps won't run at all (including banking ap
14.
by rst 1y ago
If the libraries were missing entirely, I'm not sure 32-bit Firefox would even start. But if they were present and nothing was keeping them updated (pretty likely on an otherwise 64-bit system), they'd pretty likely become out of
15.
by rst 1y ago
It already is fixed -- the complaint is that customers haven't been notified.
16.
by rst 1y ago
People go through all sorts of weird mental gymnastics about this. The FSF at one point took the position that binary blobs were cool so long as they could not be upgraded , because then you could pretend they weren't software at all,
17.
by rst 1y ago
WASM has a better security sandbox. (Designed in from the beginning, not the thousand-fingers-in-the-dike retrofit that was the Java SecurityManager -- which was eventually deprecated and abandoned along with the Applet tech it was intended
18.
by rst 1y ago
The numbers are branding, not metrics on anything. You can't do math to, say, determine the capability jump between GPT-4 and GPT-4o. Trying to do math to determine capability gaps between "3.7" and "4.0" doesn&#x27
19.
by rst 1y ago
In all those respects, the VAX was just following on to the IBM 360/67 and its S/370 successors -- they all had a register file of 32-bit general purpose registers which could be used to index byte-addressed virtual memory. It was
20.
by rst 1y ago
You might want to be more specific by what you mean by "modern", because there were certainly machines with demand-paged virtual memory before the VAX. It was introduced on the Manchester Atlas in 1962; manufacturers that shipped
21.
by rst 1y ago
Faint echoes of the very first optimizing compiler, Fortran I, which did a monte carlo simulation of the flow graph to attempt to detect hot spots in the flow graph so it could allocate registers to inner loops first.
22.
by rst 1y ago
Comments describing the organization and intent, perhaps. Comments just saying what a "require ..." line requires, not so much. (I find it will frequently put notes on the change it is making in comments, contrasting it with the p
23.
by rst 2y ago
The objection was to a separate file entirely outside of his subtree, describing its interface, which is apparently supposed to be duplicated instead in each rust driver that references it, for no clear reason -- other than his stated reaso
24.
by rst 2y ago
They're assuming very quick transfers (rush hour service). But then again, a lot of transit planning seems to assume rush hour commutes are the only reason why it's there.
25.
by rst 2y ago
There are a few -- select the 79th street station on the #1 line (farthest west in Manhattan) and look at Brooklyn, due pretty much directly south. The 36th Street station on the D/N/R lines is reachable in 40 minutes because it g
26.
by rst 2y ago
OpenAI is extremely cagey about what's in their test data set generally, but absent more specific info, they're widely assumed to be grabbing whatever they can. (Notably including copyrighted information used without explicit aut
27.
by rst 2y ago
Obfuscation isn't really possible. The identities of the crew are very public, and they all got hospitalized, so there isn't even room for guessing games about which one.
28.
by rst 2y ago
Note also that the two museums have different schedules, so you'll want to make sure you go when both are open.
29.
by rst 2y ago
SFO security is run by some company "under contract" to TSA -- probably required to follow all the same procedures, so it's not clear the business arrangement makes that much difference to the passengers. I've been thro
30.
by rst 2y ago
Also, some of this is accounted for by a difference in development philosophy. The typical NASA project tests finished designs to make sure that they'll work. SpaceX frequently (currently for Starship) tests half-finished designs bec

More ›