lisper

47 ms·

961.
by lisper 2y ago
You have to ask which way the causality runs. Is SMC government good because SMC is full of rich people, or is SMC full of rich people because it has good government, which attracts rich people to move there? Or is it both working in a vi
962.
by lisper 2y ago
Nice write-up, though I wish you had expanded a bit more on this: "We can show that using the axioms of Zermelo-Fraenkel Set Theory we cannot prove the product of an infinite collection of non-empty sets to be non-empty. That seems da
963.
by lisper 2y ago
It's also possible they didn't have a clue and just took it on a lark, and only afterwards realized the magnitude of what they had taken.
964.
by lisper 2y ago
That's kind of like saying, "This isn't Space-X anything, it's just private space travel." Singapore is the canonical example of competent local government. That is the whole point.
965.
by lisper 2y ago
To this list I would add: San Mateo county, California. I live there. Our house is located in a valley below street grade and so we have a sewage ejector pump. That pump is maintained by the county. In the ~15 years we have lived here i
966.
by lisper 2y ago
I don't dispute that. But just because it is good to expose bad actors does not mean that any mode of exposing bad actors is an unalloyed good. The exposure of bad actors can (and usually does) have ancillary effects, and those ancil
967.
by lisper 2y ago
> What does it matter who "influenced" him Because they may have influenced the timing and content of the leaks to further their own ends. Revealing sensitive information is not a neutral act. It has consequences far beyond t
968.
The surprisingly queer history of OpenAI's ChatGPT and other A.I. bots(slate.com)
1 points by lisper 2y ago|1 comments
969.
by lisper 2y ago
This article is much better than its title. It was flagged to death but I vouched for it which I hardly ever do. Worth a read.
970.
by lisper 2y ago
> responsible parents There's yer problem right there.
971.
by lisper 2y ago
Someone should write an article like this about Edit Weitz. https://github.com/edicl
972.
by lisper 2y ago
OK, well, that makes a little more sense. But the answer still seems to me to be a pretty obvious "no". ECS is an engineering methodology. QFT is a mathematical formalism that combines quantum mechanics and special relativity
973.
by lisper 2y ago
Elastic Container Service? Um, no. Or did you mean something else?
974.
by lisper 2y ago
Yes. But instead of taking my word for it why don’t you just start reading it and decide for yourself?
975.
by lisper 2y ago
Free will is not a delusion it is an illusion. The difference is significant. Illusions are normal sensory perceptions common across nearly all humans that just happen not to correspond to anything in physical reality.
976.
by lisper 2y ago
> The problem with multiplication is not that the proofs fall apart, it is that multiplication does not mean what you want it to mean. Well, yeah, that's kind of the point: the positiveness of the naturals is not just a convention,
977.
by lisper 2y ago
Right. So in those terms, NPA is isomorphic to PA -- until you introduce multiplication, at which point the isomorphism goes away becauase S(0) S(0) is S(0) but P(0) P(0) is not P(0). That seems like an interesting fact to me, and feels
978.
by lisper 2y ago
That might have been what he meant, but it's not what he said. The competition to get into top universities has always been fierce. The only thing that has changed AFAICT is the wide-spread promulgation of the idea that if you don&#x2
979.
by lisper 2y ago
> you have to excel at pretty much everything, to even have a chance That can't possibly be true. By definition , only a small minority can excel, and as a practical matter, to excel at something requires specialization and focus.
980.
by lisper 2y ago
Thanks.
981.
by lisper 2y ago
> Second order logic sort of assumes that we can simply know what finite means. First order logic doesn't allow you to wave your hands like that. OK, this I do not understand. How does 2ndOL "sort of assume that we can simply
982.
by lisper 2y ago
> You can have an infinite chain of predecessors of non-standard numbers, each claiming being FINITE(). Ah. That makes sense. Thanks. So surely someone has come up with a system that captures the intuitive spirit of mathematical induct
983.
by lisper 2y ago
Yeah, that's not quite what I meant. What I was trying to get at was more analogous to the ambiguity of i and -i. Suppose I wanted to create a system of math whose intended model was the negative naturals rather than the positive nat
984.
by lisper 2y ago
And any time the object of your study is also a treatment for ED it gets extra hard. ;-)
985.
by lisper 2y ago
> There's no way of defining a predicate "finite" in first-order PA that agrees with the notion of "finite" that you've established in your meta-logic. Why doesn't this work? Define the predecessor func
986.
by lisper 2y ago
> Your profile link is broken Try it now.
987.
by lisper 2y ago
Well, that is a good question. It’s a concept I’ve always just taken for granted. How do you define it? I don’t know.
988.
by lisper 2y ago
> My favorite comment was from lisper... Cool! Someone noticed me! :-) (I find this noteworthy because I've been putting all this effort into writing a series of blog posts about the scientific method and I've gotten very litt
989.
by lisper 2y ago
Thanks for taking the time to explain this. I thought I understood this stuff, but apparently I'm still missing something. I obviously need to ponder it some more, because I still don't understand why second-order induction succ
990.
by lisper 2y ago
> To rule out such models - and therefore prove that every natural number is finite - you need the second-order induction axiom. Sorry, I don't see why second-order induction is required. AFAICT all you need is a first-order induct

More ›