xpe

61 ms·

811.
by xpe 2y ago
A nice generalization. An example in statistics is the expectation operator. You can throw away a lot of detail if you only care about one central moment. And if you need more information about a distribution, add more moments. Also, this w
812.
by xpe 2y ago
Actually, “future you” will know even better in many cases. Also, some people other than yourself might turn out to be a better predictor of “future you” than “current you”. So many people are hyper individualistic and forget just how predi
813.
by xpe 2y ago
Right. Markdown ain’t the only game in town.
814.
by xpe 2y ago
15 years ago felt very different to me as well. Many of us lucked into the conditions that made many online interactions feel worthwhile. The loss of these settings sucks.* But such a creative environment is still attainable and can be foun
815.
by xpe 2y ago
Depends on one’s perspective.
816.
by xpe 2y ago
Everything about democracy is great except its people. You know, the big brained carbon lifeforms that refer to themselves as “citizens”.
817.
by xpe 2y ago
Available for purchase on Battlestar Galactica.
818.
by xpe 2y ago
To go in the other direction, static site generators (SSGs) also have a place on the menu. Build locally. Host them on your favorite CDN. I personally really like Zola (Rust), inspired by Hugo (Go).
819.
by xpe 2y ago
Nature can be harsh and cruel indeed. I think we agree the term “natural” should almost always be questioned and unpacked. It often serves as a rhetorical device instead of a nugget of wisdom. Dismissing an idea solely for being “unnatural”
820.
by xpe 2y ago
We construct meaning, one way or the other. From one point of view, we are grains of sand to the universe. From another, we are friends, family, colleagues, and more. I know what it is like to not achieve what you want in the timeframe you
821.
by xpe 2y ago
Sure, many people can dramatically turn down news consumption and may do better (working towards their personal goals). This is an information diet and stress management question. At the same time, the parable of the slow boiling frog is ap
822.
by xpe 2y ago
Think about the recipe we’re seeing: Trump is scaring off career civil servants and installing loyalists whose allegiance is to Trump before the Constitution. He’s ignoring court orders. This is not ok, even if you like some of the policies
823.
by xpe 2y ago
Can you give some specific policy directions you are advocating so I can better understand what you mean?
824.
by xpe 2y ago
> These kinds of flashpoints are way more likely to cause suffering in the near future than some sort of AGI/ASI. Ok. Then where does your thinking lead? One good starting question is: what set of mitigation strategies do we pursu
825.
by xpe 2y ago
Maybe you are right in predicting (guessing?) as to which is more likely. Still, we don’t have the luxury of just rank ordering failure modes and only mitigating the first. Not to mention that the race for AI technology is likely going to m
826.
by xpe 2y ago
A lot hangs on what “realistic” means. The world is probabilistic, but people’s use of language often butchers the nuance. One quick way to compare events is to multiply its probability times impact.
827.
by xpe 2y ago
How many people have you talked to face to face about various existential risk scenarios? Have you gotten into probabilities and the logic involved? That’s what I’ve done and this is the level of rigor that is table stakes for calculating t
828.
by xpe 2y ago
I’m trying to figure out a key constraint. Does the problem statement assume a fixed-length pre-allocated array?
829.
by xpe 2y ago
Lots of ideas above, rather speculative. Overall, the claim above, as written, is a rather generalized prediction, not an inevitability. Enterprise buying power and expectations create various pressures, sure. But there are other pressures
830.
by xpe 2y ago
I predict that more and more of these kinds of optimized algorithms will be designed / written / assisted by machines. I wonder when the next such malicious algorithm(s) passes under our noses, and what its hidden purpose might be
831.
by xpe 2y ago
Is there a synchronized and monotonically increasing measure of time to be found?
832.
by xpe 2y ago
I predict this is likely to change in 2025, if you explore with them -- unless there are constraints that make using them impractical (security or policy or bureaucracy being the ones that come to mind). I've experimented continuously
833.
by xpe 2y ago
The bit-division burns my eyes and makes a mockery of my puny intellect, my liege. Mine fellow vassals possess skills most frightful in their potency.
834.
by xpe 2y ago
To answer some questions: - When I said "embodied" I roughly mean the ground rules that someone needs to know to check the proof. In the case of symbolic logic I mean the symbols and the transformation/rewrite rules. But I&#x
835.
by xpe 2y ago
Yes, I understand what you mean. We don't disagree on the substance.
836.
by xpe 2y ago
Analogously, one wouldn't call a mathematical proof "visually wrong" simply because it lacked visual diagrams.
837.
by xpe 2y ago
>> "Formally wrong" would mean that formal mathematics is used incorrectly. > No, “formally wrong” means that it fails formal verification. The word "formal" has meaning in mathematics independent of formal veri
838.
by xpe 2y ago
A koan in four parts: 1. What constitutes a proof? 2. In what context is a "proof" embodied? 3. Why is scribbling lines on a paper (that look like math to humans) 'more' of a proof than visual diagrams, if at all? 4. If
839.
by xpe 2y ago
Such a visual argument isn't "formally wrong" because it isn't trying or claiming to be a formal proof at all. "Formally wrong" would mean that formal mathematics is used incorrectly.
840.
by xpe 2y ago
>> I'm also interested in the underlying distribution (not just the average). > On average. Some starting positions are much less balanced than regular chess. Yes, I expect variation, which I why I asked. :confused-face: At th

More ›