User23

60 ms·

871.
by User23 3y ago
Funny you should say that. Here[1] is an interesting improvement. More interestingly he shows his work. [1] https://www.cs.utexas.edu/~EWD/transcriptions/EWD09xx/EWD975...
872.
by User23 3y ago
I find it interesting that “distributed” and “concurrent” end up falling under the mathematical concept of nondeterminism with respect to correctness. Of course a practically efficient implementation has additional concerns.
873.
by User23 3y ago
Funny how the images of early manuscripts look suspiciously like capchas.
874.
by User23 3y ago
Cancer is no joke even when the prognosis is good. He will be in my prayers, even though he’d probably find that silly.
875.
by User23 3y ago
Fun fact: It used to be that every freight line with a post office contract (so all of them), had to hang a few passenger cars on the train. So back in the day the US passenger rail network covered pretty much every medium size and larger t
876.
by User23 3y ago
The Church, which is certainly something of a gerontocracy, excludes the elderly Cardinals from Papal elections too. It's not intrinsically unjust anymore than excluding the very young is.
877.
by User23 3y ago
The problem is the people doing the shooting not the locations they're doing the shooting in.
878.
by User23 3y ago
> A bunch of logical signs were invented by Frege This is true. I find Peirce's existential graphs interesting because they permit stating existential and universal quantifiers without any explicit syntax! Frege's work evidentl
879.
by User23 3y ago
I think it's pretty obvious that there has been a movement to dig up examples of superlative women in STEM, in both recent and ancient history. Unfortunately sometimes their rediscoverer's enthusiasm gets the better of them and th
880.
by User23 3y ago
Is this condition so rare that naming it will doxx your child? If not why not name it so others can add it to their mental toolbox in case it affects them or those they love?
881.
by User23 3y ago
Philips spins off subsidiaries like a spider does webs. It’s been a while but last I knew they were basically NL’s biggest startup incubator.
882.
by User23 3y ago
Also, who ever made staff, let alone principal, by saying “yeah this product is basically perfect let’s just maintain it?”
883.
by User23 3y ago
IoT is a giant enshittification. Sadly personal transportation, ie cars, are now IoT.
884.
by User23 3y ago
I respect a divergent opinion.
885.
by User23 3y ago
Because good beef is cheap here. Yes it's that simple.
886.
by User23 3y ago
Men mating with younger women is just statistics. The average age of fertile men is considerably higher than the average age of fertile women, so all else being equal we should expect to see older men pairing with younger women. No -isms ar
887.
by User23 3y ago
Even in living memory getting a special order item required 4-6 weeks for shipping, and that was if you paid extra!
888.
by User23 3y ago
I do, because I like stores being stocked and deliveries arriving. And so do a supermajority of my fellow citizens.
889.
by User23 3y ago
Let me tell you a story about a place called Carthage.
890.
by User23 3y ago
The study of math in language is called semiotic, and thanks to a bunch of french poseurs it’s become a joke word among the genuinely intellectually curious. Nevertheless, attempts have been made to tie it all together, most notably by the
891.
by User23 3y ago
The actual reality is most students don’t have the cognitive horsepower for much past long division. I’ve seen adults struggle with basic algebra: “but what is X?” And so on. And that’s fine. Billions of people are going to live satisfying
892.
by User23 3y ago
Meanwhile the actual working mathematicians, better known as engineers, still use geometry on weekdays.
893.
by User23 3y ago
The statement that brains model patterns rests on the supposition that patterns to be modeled exist.
894.
by User23 3y ago
I’m afraid you’re being intentionally obtuse. I already gave one example of how debasing coinage is a different operation than issuing more IOUs, with considerably different consequences for participants in the respective systems, and your
895.
by User23 3y ago
No, no it's not. It's not hard to understand why the emperor minting a 40% gold aureus isn't going to reduce the value of my hoard of 80% gold aurei. On the other hand, a fiat currency issuer doubling the money supply can (no
896.
by User23 3y ago
> Futból (in Spanish to distinguish it) Or in English you can distinguish it as "Association Football", which abbreviates to "soccer" by dropping the leading vowel and the suffix from "association", and then
897.
by User23 3y ago
> build the affordable housing people actually want. And the unspeakable little problem that people don't want to live around the people who will be living in the affordable housing people actually want. Hence, NIMBY.
898.
by User23 3y ago
Disney evidently doesn’t care about profit loss from bad human writing so it’s not clear that they'll care about same from bad AI writing.
899.
by User23 3y ago
Would you please suggest such a home router, including by flashing a free firmware?
900.
by User23 3y ago
Teslas are seen as a status symbol in the Bay area for some reason.

More ›