ouid

42 ms·

481.
by ouid 4y ago
First point: this is why I wrote the logical system of Euclidean geometry. Propositions in that language, and the proofs therein, have not changed. Second point: That is most definitely what empiricism is. Moreover, I have just given you a
482.
by ouid 4y ago
By want I mean want. I wasn't assigning moral judgments at this point because that would have been circular. I said "whatever they want" in order to distinguish it from an unqualified "whatever". The prosperity doct
483.
by ouid 4y ago
This does not contradict anything that I said. It's not harsh to refer to the argument as being worthless in this case. It might as well not exist. One can be well served by a belief system that justifies nothing, or a belief system th
484.
by ouid 4y ago
I tshould have been clearer about what I mean by the law. I'm treating the laws themselves as immutable, and referring to the process of their interpretation. Ie, the judgment that happens in a courtroom. Which laws should exist depe
485.
by ouid 4y ago
It's trivially easy to create a consistent belief system. Simply have no beliefs. The mutually exclusive properties are consistency and completeness (although these can be mutually satisfied in certain limited circumstances not likely
486.
by ouid 4y ago
We didn't replace Euclid's axioms. I'm sorry that you think so, because it is a common misconception that mathematics "believes in a set of axioms". The euclidean axioms are a foundation for the logical system of eu
487.
by ouid 4y ago
Oh really? Would you like to provide an example of this?
488.
by ouid 4y ago
different starting points can yield different results without producing a fundamental problem. It's like the score in a video game. But it is bad if a starting point can yield any result, or a result and its negation, at that point yo
489.
by ouid 4y ago
Morality and law both work like mathematics. This means that my beliefs are constructed, and once I have a construction, the only in bounds way to convince me to change my mind about them is to show me that my beliefs are inconsistent. More
490.
by ouid 4y ago
I think you're misunderstanding the theory. Hiring without fixed length contract is just interviewing. It's somewhat expensive interviewing, but given the legend of the 10x developer, it is worth risking paying people more than wh
491.
by ouid 4y ago
Google is still pretty good at searching reddit. Maybe reddit can acquire them.
492.
by ouid 4y ago
Stablecoins didn't allow you to store your volatile currency. Stablecoins allowed you to store your volatile currency in an uninsured instrument at an interest rate of zero. They are all scams.
493.
by ouid 4y ago
Why do you think cryptocurrency solves this problem? Is it because you hope cryptocurrency solves some problem? It's a public ledger. All a hostile government has to do is find who performed the transactions and imprison them. Is that
494.
by ouid 4y ago
Tether is an unregulated, uninsured, bank
495.
by ouid 4y ago
The answer is easy. Instead of electing officials, we give them our votes to cast. No one is disenfranchised.
496.
by ouid 4y ago
There are two main source of profit in the modern world. The first is exclusivity of market opportunity, through monopoly (including those "partial" monopolies provided by network effects), copyright, patent, regulatory capture, e
497.
by ouid 4y ago
""
498.
by ouid 4y ago
It's a heuristic about the complexity of the number. If I have some idea bout the ways that you can come up with numbers, then the vast majority of numbers of low complexity were arrived at with short programs, or through rounding. Sho
499.
by ouid 4y ago
correct
500.
by ouid 4y ago
16 shares a divisor with ten, and thus has the same problem
501.
by ouid 4y ago
That is not what the past tense means, and you should maybe take some responsibility for this. OC doesnt know what Bruce schneier currently does or endorses.
502.
by ouid 4y ago
This doesn't work modulo the divisors of 10.
503.
by ouid 5y ago
Calculus is a terrible thing to be teaching in high school, and we should be teaching linear algebra instead.
504.
by ouid 5y ago
When optimists lose, everyone loses.
505.
by ouid 5y ago
>There's no fundamental ontological difference between "give me your likelihood ratios between drawing cards [a and b] as the next draw from this deck of cards" and "give me your likelihood ratios between finding and
506.
by ouid 5y ago
When you say R, are you referring to R_0? Because R_0 is not a mathematical predictor of percolation.
507.
by ouid 5y ago
I don't think people threatening to leave are doing so out of a desire to exist in a more censored world, just one in which the censorship isn't controlled by Elon.
508.
by ouid 5y ago
The hackernews comments section, populated by people who are looking to talk about their latest argument against social media (guilty), but who typically need to find an appropriate article for that rant to be on topic.
509.
by ouid 5y ago
I've been wondering about this for a long time.
510.
by ouid 5y ago
The notations of these things are essentially unambiguous in the first place, since overloaded operators rarely have compatible type signatures, and when they do, the shadowing is just shy of explicit. Human mathematical notation is definit

More ›