Filligree

7 ms·

91.
by Filligree 5mo ago
Presumably, if you use formal verification then that includes memory safety anyway? Would seem strange if it does not.
92.
by Filligree 5mo ago
I can do one worse. I have aquarium lights. They require 48VDC at 1A, which makes it quite a bright light; they’re nice, really… But the connector is USB-A, and worse, marked as being USB. The power supply just provides 48V unconditionally.
93.
by Filligree 5mo ago
Yes, but isn’t that working as intended?
94.
by Filligree 5mo ago
Mostly, that's non-compliant devices. Doesn't make it work any better, but I wouldn't assume Apple is doing it wrong here. USB-C ports aren't allowed to provide power until after configuration, but a lot of USB-C charger
95.
by Filligree 5mo ago
Solar and wind cannot do that. We'll need oil and gas to tide us over for that decade or more.
96.
by Filligree 5mo ago
Root access does not typically add anything interesting, for a desktop system. All the valuable stuff is already owned by the single user.
97.
by Filligree 6mo ago
Run “nix flake update”. Commit the lockfile. Build a docker image from that; the software you need is almost certainly there, and there’s a handy docker helper.
98.
by Filligree 6mo ago
I refuse. My code will be formatted according to my own preferences.
99.
by Filligree 6mo ago
By image generation standards this is a ridiculously good result. No surprise that people instantly find the new limits, but they are new limits.
100.
by Filligree 6mo ago
I would be perfectly happy moving it off-Earth. We can consider the long term after we have a mid-term.
101.
by Filligree 6mo ago
The exemption is about ensuring customers get what they paid for. It shouldn’t care how the manufacturer achieves that; driving the batteries less hard is an obvious tactic, and actually also makes them safer to use.
102.
by Filligree 6mo ago
It will certainly affect the health of the TV.
103.
by Filligree 6mo ago
In American law, companies have the choice of whether or not to do business with the government, outside of a few corner cases. There’s a process for forcing them, but it can’t just be because the leader says so. In this particular case Ant
104.
by Filligree 6mo ago
Anthropic has not in fact released it, and it does in fact appear to be that dangerous, judging by the flood of vulnerability reports seen by e.g. Daniel Stenberg. Certainly it’s a strategy OpenAI has used before, and when they did so it wa
105.
by Filligree 6mo ago
You can’t get the couch into the elevator, typically. Trust me, I tried. Couch depending. I will persist in trying every time this comes up.
106.
by Filligree 6mo ago
Because their numbers don’t work out. When you do the math on token cost versus inference speed, you get something that barely breaks even even with cheap power. Also they’ve already launched a crypto token, which is a terrible sign.
107.
by Filligree 6mo ago
No, but to be honest, why would you want it to? That's... well, you already showed the trivial one-liner.
108.
by Filligree 6mo ago
Getting a grant from a single field is already a full-time job; the research typically gets done as overtime.
109.
by Filligree 6mo ago
If all you have is a spade, that is _not_ evidence that spades are good for excavating an entire hill.
110.
by Filligree 6mo ago
But is it true or false?
111.
by Filligree 6mo ago
No, of course not. It’s all corporate internal documentation. I suppose my high school essays were not. Apologies, but those are lost.
112.
by Filligree 6mo ago
I’ve used titles like that for thirty years.
113.
by Filligree 6mo ago
ZFS is out because the Linux developers refuse to cooperate by providing the hooks it would need to avoid duplicating the disk cache. That’s the only real reason. There are some papercuts, but they don’t compare to the risks described in th
114.
by Filligree 6mo ago
A licensed engineer who signs off on a bridge that collapses will not remain an engineer, and may be open to criminal prosecution. Their employer knows that, and therefore doesn’t ask them to make that choice. In the rare cases where they d
115.
by Filligree 6mo ago
China has never threatened war against my country; America has. Between the two, it’s clearly safer to lean towards the Chinese options if EU ones aren’t available.
116.
by Filligree 6mo ago
A modern fridge also uses approximately five watts, on average. There are far better targets.
117.
by Filligree 6mo ago
At the rate robots are improving, will that still be the case in ten years?
118.
by Filligree 6mo ago
Why? Surely copying the same pixels out sixty times doesn't take that much power?
119.
by Filligree 6mo ago
Do you have the genetics for that? It takes a lot of raw strength, and not that much intelligence.
120.
by Filligree 6mo ago
It does add complexity, and the optimal solution is probably not to use it. Consider what happens if a 4kB page has only a single unique word in it—you’d still need to load it to memory to read the string, it just isn’t accounted against yo

More ›