ajkjk

52 ms·

811.
by ajkjk 2y ago
This is being dense for no reason. 'Why is there poverty? ' means 'Why is there poverty [when there could not be]?', obviously. Same with every other question they pretend to be surprised by an inverse formulation of.
812.
by ajkjk 2y ago
I didn't mean to imply I thought you were lying; I just don't think it's representative of the rate of that happening, so it's a bit weird to present it as, like, 'what can happen if you wear contacts'.
813.
by ajkjk 2y ago
I'm quite sure that if any non-vanishingly-small percentage of people had issues with their contacts like that, they would not be ubiquitous like they are. edit: also wtf why do you know "many" people who've been to the
814.
by ajkjk 2y ago
Well that is... An uncommon experience.
815.
by ajkjk 2y ago
> From my point of view, you are the one being thickheaded here, by clinging to this one idea as if it's the only one you'll ever have. It's just that you and I haven't yet talked about my idea yet, because you'r
816.
by ajkjk 2y ago
> On average, sellers spend 23.8 hours (or 52%) of their week creating messaging. Stuff like this is like... bait, right?
817.
by ajkjk 2y ago
Doing it with generating functions is essentially the same as what is done in the post under a different name.
818.
by ajkjk 2y ago
I used to ask people about this a lot because I was curious about a related hypothesis: that aphantasia correlated with being good at mental math. Specifically, people who can imagine images will often do math in their head by imagining doi
819.
by ajkjk 2y ago
I have definitely gotten it back from intense meditation. I went to an intense meditation retreat which had us meditating all day (a vipassana 10 day course). For unrelated reasons I left after a few days, but my aphantasia was replaced wit
820.
by ajkjk 2y ago
You still know the shape. But the answer is definitely 'not very well'.
821.
by ajkjk 2y ago
> take type X to be the cross product of some predicate type and some enumerated type. Is X enumerated or predicate? You've claimed they can't overlap. A type like X = enum | predicate is enumerated, since it has two options th
822.
by ajkjk 2y ago
I'm not talking about the notion of enumerable sets. I'm talking about whether a type explicit enumerates its members (like A = B | C or A = [] | [A]) or whether it is a contract which does not know how many members it has (like a
823.
by ajkjk 2y ago
I'm an engineer and I agree, does that help?
824.
by ajkjk 2y ago
Meh. I'm waiting to see evidence that this exponential growth means anything. Every day I read something like the statement that it's an "average high school student" now, or a med student or a law student or whatever, y
825.
by ajkjk 2y ago
As a predicate Russell's paradox translates to an infinite loop in programming, not an impossibility. And yes, you get in trouble if you define a set from an arbitrary predicate, but a type is not (necessarily) a set: a type can be a
826.
by ajkjk 2y ago
I think you've misunderstood me. If the predicate types are enumerable then they're not predicate types, they're enumerated types. And if the enumeration turns out to be infinite then you get the algebra of infinite cardinals
827.
by ajkjk 2y ago
sure, but it's ten years later and not as good as everyone said. It's not like driverless is "theoretically impossible". But when people confidently they know what the near future is going to be, they're just... wro
828.
by ajkjk 2y ago
a thousand posts on this website, for one.
829.
by ajkjk 2y ago
Here's a thought I have had cached in my head from a long time ago. Ignore me if this is obvious or dumb; I don't know anything about type theory really. There are basically two varieties of types: predicate types and enumerated t
830.
by ajkjk 2y ago
It's not nice for their users.
831.
by ajkjk 2y ago
No? That's not what the person you're replying to said, nor what they meant, nor is it a logical implication of what they said.
832.
by ajkjk 2y ago
No, the tech isn't there either.
833.
by ajkjk 2y ago
Everyone seems to say it will be done by AI! I don't understand this thing where people know the future before it's been proven to happen. It's wrong. It's a 'maybe' at best. Not too long ago, the near future w
834.
by ajkjk 2y ago
I'm not sure that's quite the right perspective. It's not a coincidence that entropy increases over time; the increase in entropy seems to be very fundamental to the way physics goes. I prefer the interpretation "physi
835.
by ajkjk 2y ago
Why do you prefer M&A happening?
836.
by ajkjk 2y ago
> Despite the intervening 16 years, we're amazed that social networks, even Hacker News, don't compute and display the trusted voices across topics Please no. That sounds dystopian. We should not prefer having algorithms medd
837.
by ajkjk 2y ago
Not really. Information theory applies to anything probability applies to, including many situations that aren't "physics" per se. For instance it has a lot to do with algorithms and data as well. I think of it as being at th
838.
by ajkjk 2y ago
Well it's part of math, which physics is already based on. Whereas metaphysics is, imo, "stuff that's made up and doesn't matter". Probably not the most standard take.
839.
by ajkjk 2y ago
There's a good case to be made that the information-theoretic definition of entropy is the most fundamental one, and the version that shows up in physics is just that concept as applied to physics.
840.
by ajkjk 2y ago
Well it's definitely their fault in that they could have prevented it by managing their components better.

More ›