pfdietz

19 ms·

481.
by pfdietz 4mo ago
And what about all the movie plots ruined by the existence of cell phones?
482.
by pfdietz 4mo ago
> It's also a MASSIVE amount of SUPER TEDIOUS work. It was, but now autoformalization is a thing. If he had delivered his proof and a formalization -- no matter how much it looked like autogenerated slop -- he would have been taken
483.
by pfdietz 4mo ago
Copyrights are a bit different from patents.
484.
by pfdietz 4mo ago
One great application of AI design is patent poisoning. Use AI to churn out masses of variant designs, make them publicly visible on a web site, and if future patents come out use any collisions to invalidate them or at least restrict thei
485.
by pfdietz 4mo ago
There are some potentially very nasty diseases spread by ticks and insects. For example, flaviviruses like West Nile, Dengue, and Powassan (which debilitated and ultimately killed the wife of Canadian fantasy author Charles de Lint.)
486.
by pfdietz 4mo ago
This reminds me I need to respray my tick pants. Thanks.
487.
by pfdietz 4mo ago
The big question is: why is government (or society) funding mathematics? What justifies this use of resources? If it's utility, then why doesn't AI deliver utility? Isn't this an argument for AI? One can expand this to vari
488.
by pfdietz 4mo ago
If there's concern, I understand Lean can dump out a proof object, and this object can be checked for validity by a separate, smaller program. One could even write that smaller program multiple times. It would be interesting to see ho
489.
by pfdietz 4mo ago
There are also ways to cheat like that in Lean, but they are all easily identifiable. So when people talk about formalization, they mean formalization without such cheats.
490.
by pfdietz 4mo ago
His partisans are trying to formalize his proof. I expect they're not going to be able to do it, because the proof is flawed. This is one of the great things about formalization: it would have avoided this entire debacle.
491.
by pfdietz 4mo ago
Perhaps in the future we'll see golfing of formalized proofs as a valid and valuable form of mathematics, not just proving a theorem for the first time. Of course there's no reason AI couldn't do that too.
492.
by pfdietz 4mo ago
> Particularly time signals Doesn't GPS utterly replace this?
493.
by pfdietz 4mo ago
> Desertion has, historically, been a capital crime. And it remained so for the US in WW2, although the sentence was carried out just once. https://en.wikipedia.org/wiki/Eddie_Slovik Major General Norman "Dutch
494.
by pfdietz 4mo ago
This is skating into Musk Derangement Syndrome territory.
495.
by pfdietz 4mo ago
Maybe they should stop curating this old content that is no longer under copyright. And maybe Google should make scans of all those old journals available.
496.
by pfdietz 4mo ago
So now we're quibbling over numbers, not saying the problem is impossible. These satellite will need larger radiators. It's an issue satellite designers have long dealt with, so the presumption that SpaceX has somehow missed the
497.
by pfdietz 4mo ago
Those being hired in the low labor cost countries don't view it as exploitation. They view it as a gift, opportunities and outcomes they didn't have before. People complain about inequality. This migration of jobs from rich to p
498.
by pfdietz 4mo ago
Why is that unsustainable? You need to present an argument that is more than just "large number! wave hands!" It's just like the arguments used by anti-renewable energy forces here on Earth. "Large number (of PV mod
499.
by pfdietz 4mo ago
By radiation. You know, like every other satellite does. They will not be, or need not be, in orbits with substantial amounts of shadowed time.
500.
by pfdietz 4mo ago
Well, I don't know if they're doing this, but PV can be much lighter in space. Much of the mass (and cost) of PV on Earth is structure to support it against gravity and weather. In space, a thin film PV array could be as little
501.
by pfdietz 4mo ago
Why do you think they've suddenly become unable to do straightforward engineering? If they think they can handle that, they likely can.
502.
by pfdietz 4mo ago
Why is 20,000 launches a load of nonsense?
503.
by pfdietz 4mo ago
If the implementation of qsort doesn't switch over to another algorithm for sufficiently small arrays (or when the recursion gets to a sufficiently small chunk) it could be improved.
504.
by pfdietz 4mo ago
I think the top floor is there because the crew cabin has to be high so the nose can swing up. The cables and wiring from the cabin can't be easily disconnected to allow such access. You will notice other large cargo variants of air
505.
by pfdietz 4mo ago
It's best for covering a constant demand, not a seasonal component of demand. If renewables grow to the point where there is no remaining near-constant unmet demand, nuclear has no place at all.
506.
by pfdietz 4mo ago
Some fluorine compounds are quite stable. SF6 has two downsides: its GWP from very great stability in the atmosphere (it needs to rise into the mesosphere to be decomposed, not just the stratosphere, giving it an atmospheric lifetime of as
507.
by pfdietz 4mo ago
SF6 is a horrifically powerful greenhouse gas, so I doubt it could be used. Its GWP is somewhere around 23,000 on a 100 year timescale.
508.
by pfdietz 4mo ago
"Abuse" -- what a BS term. It's used just as desired; how can that be "abuse"? Because we do what we want rather than what you want us to want?
509.
by pfdietz 4mo ago
> 1. No, it doesn't It does, for the reason I gave. You didn't give a reason why not. > 2. Other tech has to actually show this rapid advance, and not be the permanent state of fiction Incredibly, you seem unaware of just h
510.
by pfdietz 4mo ago
You do highlight something there: the case for nuclear requires one to assume that the competing technologies stop their rapid advance. If not, the 40 (or 60, or 80) year investment horizons needed to partially shore up the bad economics

More ›