pfdietz

25 ms·

841.
by pfdietz 7mo ago
Space spinoffs are grossly exaggerated.
842.
by pfdietz 7mo ago
That's right, the accident launch was by far the coldest. They also added joint heaters.
843.
by pfdietz 7mo ago
I think there's a regulation that anyone within a certain distance has to show informed consent, and the distance is set generously.
844.
by pfdietz 7mo ago
There's a salt mine mostly under Cayuga Lake in New York, in Lansing. When we bought our current house we had to sign a paper indicating we knew there was a mine somewhere near (underground about a mile to the north.) The risk of si
845.
by pfdietz 7mo ago
Of course, once LLMs are really good at that, they can be set loose on the entire historical math literature, all 3.5M papers worth. And then LLMs can be trained on these formalized results (the ones that turn out upon attempted formalizat
846.
by pfdietz 7mo ago
A few comments: (1) Math journals are being flooded with AI slop papers loaded with errors. I can see a time when they will require papers to be accompanied by formal proofs of the results. This will enable much of the slop to be filtered
847.
by pfdietz 7mo ago
Just COVID-19. I do get other shots though, for example the annual flu shot and most recently an RSV shot (not the one I had participated in a clinical trial for.)
848.
by pfdietz 7mo ago
> Any professional mathematician will tell you that their arsenal is ~ 10 tricks. If we can codify those tricks as latent vectors it's GG And if we can train the systems to discover new tricks, whoa Nelly.
849.
by pfdietz 7mo ago
I think I'd go with bifacial panels, which can absorb light from their back sides as well as the front. Snow would be a concern at higher latitude, so the panels would be tilted, and if one row were covered with snow it would tend to
850.
by pfdietz 7mo ago
Which reminds me, I need to arrange my biannual COVID booster.
851.
by pfdietz 7mo ago
> For example Haber process used for ammonia production, requires a temperature of at least 400 °C to be efficient. I should note that this process doesn't require external heat input (except at startup). The reaction is exothermic
852.
by pfdietz 7mo ago
Yes. I looked it up and I agree.
853.
by pfdietz 7mo ago
I wonder if this will make it preferable to build parking structures rather than parking lots.
854.
by pfdietz 7mo ago
What a non sequitur.
855.
by pfdietz 7mo ago
I think that's just an untestable rationalization.
856.
by pfdietz 7mo ago
> Heat pump have problems to reach high enough temperatures for most industrial heat applications. They do if you start from ambient temperature, but they can be more effective if they are pumping heat out of the waste heat stream of a p
857.
by pfdietz 7mo ago
Cargo cult requires a confusion of cause and effect. Airplanes carrying cargo didn't land because there was a control tower; they landed because of prior causes that also caused the construction of a control tower. And here, the US do
858.
by pfdietz 7mo ago
Invasives are an ongoing and escalating problem.
859.
by pfdietz 7mo ago
Avoiding something for such symbolic reasons is negative cargo cult thinking.
860.
by pfdietz 7mo ago
So, what you're saying is that honeybees are facilitating the spread of invasive plants in North America? Seems like a definite negative.
861.
by pfdietz 7mo ago
Their old internet domain, dg.com, was sold to Dollar General in 2009.
862.
by pfdietz 7mo ago
The big advantage of nuclear weapons is they are very cheap per unit of energy yield. Bang for the buck, if you will. Antimatter production is so inefficient that they will be much more expensive per unit energy yield.
863.
by pfdietz 7mo ago
The confinement scheme used here is likely a Penning Trap. Such devices are limited in the amount of antimatter they can store by the Brillouin limit. The energy stored will be no more than the magnetic energy of the field of the trap, an
864.
by pfdietz 7mo ago
And a slapdown to the lower courts being reversed.
865.
by pfdietz 7mo ago
I'd love to see all this integrated with mutation testing, the thing being looked for being that the test input kills the mutant.
866.
by pfdietz 7mo ago
Hey, it's better than nine threes.
867.
by pfdietz 8mo ago
This plane appears to be a (the?) leading crop duster today. It carries over 4 tons of payload. https://airtractor.com/aircraft/at-802a/
868.
by pfdietz 8mo ago
https://en.wikipedia.org/wiki/Fatigue_limit
869.
by pfdietz 8mo ago
It's interesting to see how something like Common Lisp handles the format issue. In CL, there's a general infrastructure called "compiler macros" that is intended as a hint to the compiler to expand calls as macros at co
870.
by pfdietz 8mo ago
Steve Death does sound like a Mad Max name.

More ›