ouid

71 ms·

541.
by ouid 5y ago
Entering a proof into a physical proof checker is mathematics. That's what mathematicians are, after all. That's what publication is, or aspires to be, anyway.
542.
by ouid 5y ago
I don't think that the problem is cancel culture per se. The problem is how internet identity works. If you attach a real identity to the things you say online, you have a social credit score. Hell, even if you don't attach a real
543.
by ouid 5y ago
I believe that much of the work done in our nuclear laboratories is verification that the nuclear weapons work. They do not fall tremendously out of disrepair, as fissile material does not degrade much over the timescale of 20 years, and th
544.
by ouid 5y ago
Au contraire, it just predicts a new thing. Viggo Mortensen as Batman.
545.
by ouid 5y ago
Mathematical thinking is actually pretty easy to characterize as thinking that is equipped with a proof checker. Mathematics itself is then just the study of proof checkers. Interestingly, this places much of it firmly as a subset of the na
546.
by ouid 5y ago
I'm sorry to have libeled you then.
547.
by ouid 5y ago
Look how tightly the data is clustered around 50%. There are almost no questions for which people did not guess closer to 50% than the correct answer. Did they give people sliders with 50% as the default value? There's a maximum amount
548.
by ouid 5y ago
>Cynically, I know it's easier to switch jobs if both are WFH... Somehow I had not considered this, but it seems like the dominant factor.
549.
by ouid 5y ago
Cow meat is expensive. Chicken costs about as much as potatoes.
550.
by ouid 5y ago
In terms of calories per acre, corn is absolutely king. Chickens and pigs turn corn calories into meat calories at a ratio unreasonably close to 1:1, and feeding people without meat is very difficult .
551.
by ouid 5y ago
I thought that there was a rather strongly worded memo to the FTC to enforce anti-trust in july of last year.
552.
by ouid 5y ago
The hour of sunlight is approximately sinusoidal. Changing time is approximating the sinusoid with a square wave. It's not as smooth as it could be, but smoothing it out would cause more accounting problems than it would solve. It is a
553.
by ouid 5y ago
Weird that this article makes no mention of the law of lemons. Information asymmetry between buyer and seller is well studied.
554.
by ouid 5y ago
Is this really all fueled by having to change your clocks? The primary driver of your circadian rhythm is the hours of daylight. Left to their own devices, (ie literally excluding alarm clocks) humans wake up at sunrise. Daylight savings ti
555.
by ouid 5y ago
Not at all, plutonium is essentially safe enough to eat. Fissile isotopes require free neutrons to undergo fission. The dangerous components of radioactive waste are the fission products. When I break apart a large nucleus in fission, I get
556.
by ouid 5y ago
Sounds like you maybe you have one of these fancy electric infrared broilers. I did not know these existed for electric ovens. I certainly have never seen one.
557.
by ouid 5y ago
I have never had any luck broiling anything inside an electric oven. The heating elements just don't cut it. As to the non-universality of induction. Many cooking techniques require you to be pretty active with your pan. Perhaps to tos
558.
by ouid 5y ago
Electric ovens are essentially incapable of broiling, which is one of the most important things that an oven does. All other functions are close to parity, but why would I buy an oven that is functionally without a broiler?
559.
by ouid 5y ago
I don't buy it, sorry. Electric ovens are garbage, and there's no such thing as an induction oven. Most of the health concerns are probably solved by requiring the installation of range hoods. I don't believe the claims about
560.
by ouid 5y ago
I mean, what's actually stupid here is that there isn't any way to configure this properly. It's wild that the default behavior is the only behavior. I'm not even sure I believe it.
561.
by ouid 5y ago
You genuinely believe that this guy is passionate about his tracking software and is just eager to share?
562.
by ouid 5y ago
You absolutely do not get what I'm saying. The action of bannig dostoevsky is absurd because there is not even a tenuous thread of accoutability there. Russia was ruled by the Romanovs when he died.
563.
by ouid 5y ago
Every country is at least a little bit democratic. Russian citizens living in Russia have a lot more power to affect the political situation in Russia than non-Russian citizens, or those not living in Russia.
564.
by ouid 5y ago
There is a very very very very dumb heuristic that people rely upon for political reasoning. I use 4 verys becaues I don't think 3 is sufficient. There is no such thing as the baddies. Yes, if two people disagree, at least one of the
565.
by ouid 5y ago
What? Fyodor Dostoevsky died in 1881.
566.
by ouid 5y ago
Dostoevsky is not a citizen of Russia. Dostoevsky is dead.
567.
by ouid 5y ago
A government only needs to be able to exert as much force as is needed to incentivize its citizens, and who actually wields that force is very distributed, even in an autocracy. If you are absolutely insistent upon this definition and sole
568.
by ouid 5y ago
It also comes after many semesters of calculus, which depend upon it, and before any topology, which it depends on. Even if you are just interested in these things as tools for describing physical phenomena, there is value in placing mathem
569.
by ouid 5y ago
>I assume this preference is based on a historical evaluation of the performance of democratic and autocratic governments? What the fuck are you smoking? Are you arguing that there is no a priori reason to prefer democracy?
570.
by ouid 5y ago
"the average number of toes had decreased in half" is very hard to parse. I have no idea what you intended by this proposition, but here is my interpretation, and yes, I believe you do expect to see one half of the population aver

More ›