There's a set of problems that are (it is conjectured) easy to verify but hard to solve. One of them, called 3SAT, looks for values (a, b, c, ...) such that an expression like ((a or b or c) and (b or not-c or e) and…
My point isn't about the most active NIMBYs; it's about the central mass of the voting public. Yes, the NIMBYs have disproportionate influence, but politicians still have to keep their voters happy. Perhaps my view is…
I admit it's awkward phrasing. I try to be accurate. About half of US adults own their home. It goes up to ~2/3 if you include adult children, grandparents, etc. that live in the house but don't own it. I wasn't trying…
It's not very complicated; it's just that the solutions are deeply unpopular. Making housing affordable by definition means driving down prices. But existing homeowners don't like to see their home prices go down! And…
Graphics is part of the problem, certainly, but at least it's moderately independent of the rest. You can scale the quality up and down without affecting the rest (within limits: having many armor variants, etc. are…
Learning the fundamentals behind radio really blew my mind at the time (years ago), and having Claude there to help visualize things must be an incredible boon. Everything in SDR has an analog equivalent, from local…
Even aside from the calling the developers pedophiles, the author seems to just throw a bunch of arguments at the wall, hoping some will land. But there seems to be a deep contradiction: if it's true that the projects…
Docker Sandboxes are just that. The default file access is just the directory you create the sandbox under. They lock down most network access also, with whitelisting of domains and a firewall.
It looked for Ghidra and radare2, but I didn't have those installed (I do have WinDbg, but it didn't use it). So instead it built a bunch of Python scripts using pefile and Capstone (many of them inline). FYI, the…
There's honestly not much to say--I just described the bugs and it fixed them. This was just Opus 5. I put a stripped transcript here in case you want to look: https://nvidiot.net/ai/rdp-bugfixes.html I'm pretty…
I'll have to take a look at this, but I've found that the top models do quite well at this work without any extra work. The Windows Remote Desktop client has two bugs that have been driving me crazy for the better part…
The other reason is to delegitimize the word slop. If everything is slop, then nothing is slop. So some AI supporters also just call everything slop.
In some cases they have a full Lean formalization; in others they just use it for the problem statement. Getting rid of that "sorry" means you've proved the statement. I'm not a Lean expert but it reads pretty clearly…
It's the "Nobody thought this was possible" that I found curious. Yes, there is a lot of room between O(n) and O(n^2)! That's why it seems strange that it would be thought impossible. But I guess it is just that people…
Do you have any more detail on this? When I first saw the 3SUM result, it was accompanied with a comment something like "There is the obvious O(n^3) algorithm, and a pretty easy O(n^2) algorithm". I thought for about 15…
You sound like a character in a Neal Stephenson novel (in a good way!). I don't suppose the two of you ever had contact?
Quads and biquadratic texture mapping truly were an awful choice and it's incredible that the company still pulled through. I have an NV1 floating around somewhere; I should dust it off again. I'm familiar enough with…
I love penny smashers. I have a paradoxical attitude toward souvenirs: on one hand, I like to have reminders of places I've visited as well as a physical token of "proof" that I've been there; on the other hand, I hate…
Always hard to be sure, but I think so, yes. The dispenser is only triggered when he runs either fast enough or long enough (I forget the thresholds, but it's something like 10 mph or 10 seconds). Sometimes he'll run…
Yeah, the only possible counterexamples would have a constant but non-zero determinant (in this case it was -2).
Are you at least a little familiar with linear algebra? If so, you've probably heard of the determinant. It's a certain way of "summarizing" a matrix with one value. The determinant in this case is of the Jacobian,…
As others said, you can run more than one at a time, but even singly, 24 GB can be very useful in a hybrid approach. For instance, I recently had to process hundreds of high-res blueprints. Used Fable for the main…
Movie-Nedry struck me as a certain kind of hacker trope (but whom I've also met in real life!) where part of their "compensation" is access to unusual and high end computer hardware. It's irrelevant whether it's the…
That's why 1 is not generally considered prime. If it was, 2 could be factored as 2, 2x1, 2x1x1, etc., which breaks the uniqueness property.
No. And in fact it annoys me greatly that our work IT department forces a reboot once a month. My desktop is like an actual desktop. I have my tools laid out exactly how I want them for the task I'm working on. I want…
There's a set of problems that are (it is conjectured) easy to verify but hard to solve. One of them, called 3SAT, looks for values (a, b, c, ...) such that an expression like ((a or b or c) and (b or not-c or e) and…
My point isn't about the most active NIMBYs; it's about the central mass of the voting public. Yes, the NIMBYs have disproportionate influence, but politicians still have to keep their voters happy. Perhaps my view is…
I admit it's awkward phrasing. I try to be accurate. About half of US adults own their home. It goes up to ~2/3 if you include adult children, grandparents, etc. that live in the house but don't own it. I wasn't trying…
It's not very complicated; it's just that the solutions are deeply unpopular. Making housing affordable by definition means driving down prices. But existing homeowners don't like to see their home prices go down! And…
Graphics is part of the problem, certainly, but at least it's moderately independent of the rest. You can scale the quality up and down without affecting the rest (within limits: having many armor variants, etc. are…
Learning the fundamentals behind radio really blew my mind at the time (years ago), and having Claude there to help visualize things must be an incredible boon. Everything in SDR has an analog equivalent, from local…
Even aside from the calling the developers pedophiles, the author seems to just throw a bunch of arguments at the wall, hoping some will land. But there seems to be a deep contradiction: if it's true that the projects…
Docker Sandboxes are just that. The default file access is just the directory you create the sandbox under. They lock down most network access also, with whitelisting of domains and a firewall.
It looked for Ghidra and radare2, but I didn't have those installed (I do have WinDbg, but it didn't use it). So instead it built a bunch of Python scripts using pefile and Capstone (many of them inline). FYI, the…
There's honestly not much to say--I just described the bugs and it fixed them. This was just Opus 5. I put a stripped transcript here in case you want to look: https://nvidiot.net/ai/rdp-bugfixes.html I'm pretty…
I'll have to take a look at this, but I've found that the top models do quite well at this work without any extra work. The Windows Remote Desktop client has two bugs that have been driving me crazy for the better part…
The other reason is to delegitimize the word slop. If everything is slop, then nothing is slop. So some AI supporters also just call everything slop.
In some cases they have a full Lean formalization; in others they just use it for the problem statement. Getting rid of that "sorry" means you've proved the statement. I'm not a Lean expert but it reads pretty clearly…
It's the "Nobody thought this was possible" that I found curious. Yes, there is a lot of room between O(n) and O(n^2)! That's why it seems strange that it would be thought impossible. But I guess it is just that people…
Do you have any more detail on this? When I first saw the 3SUM result, it was accompanied with a comment something like "There is the obvious O(n^3) algorithm, and a pretty easy O(n^2) algorithm". I thought for about 15…
You sound like a character in a Neal Stephenson novel (in a good way!). I don't suppose the two of you ever had contact?
Quads and biquadratic texture mapping truly were an awful choice and it's incredible that the company still pulled through. I have an NV1 floating around somewhere; I should dust it off again. I'm familiar enough with…
I love penny smashers. I have a paradoxical attitude toward souvenirs: on one hand, I like to have reminders of places I've visited as well as a physical token of "proof" that I've been there; on the other hand, I hate…
Always hard to be sure, but I think so, yes. The dispenser is only triggered when he runs either fast enough or long enough (I forget the thresholds, but it's something like 10 mph or 10 seconds). Sometimes he'll run…
Yeah, the only possible counterexamples would have a constant but non-zero determinant (in this case it was -2).
Are you at least a little familiar with linear algebra? If so, you've probably heard of the determinant. It's a certain way of "summarizing" a matrix with one value. The determinant in this case is of the Jacobian,…
As others said, you can run more than one at a time, but even singly, 24 GB can be very useful in a hybrid approach. For instance, I recently had to process hundreds of high-res blueprints. Used Fable for the main…
Movie-Nedry struck me as a certain kind of hacker trope (but whom I've also met in real life!) where part of their "compensation" is access to unusual and high end computer hardware. It's irrelevant whether it's the…
That's why 1 is not generally considered prime. If it was, 2 could be factored as 2, 2x1, 2x1x1, etc., which breaks the uniqueness property.
No. And in fact it annoys me greatly that our work IT department forces a reboot once a month. My desktop is like an actual desktop. I have my tools laid out exactly how I want them for the task I'm working on. I want…