thaumasiotes

9 ms·

61.
by thaumasiotes 1mo ago
> However if the prove relies on a bug like that, you'll be able to 'simplify' the proof a lot and you'll be able to proof contradictions. I don't think this is true in general. It's an issue I've alrea
62.
by thaumasiotes 1mo ago
It's a simple binary classification. AI-generated proofs can't be "honest", and the only other possibility is "malicious".
63.
by thaumasiotes 1mo ago
> The logical issue with 'peers' is how to bootstrap it. At that bootstrap moment you can ask "by whom?". We are several centuries past that moment. Huh? We're about six decades past that moment.
64.
by thaumasiotes 1mo ago
Note that the lease was on the mainland part of Hong Kong. The island was conquered outright and Britain formally owned it in perpetuity.
65.
by thaumasiotes 1mo ago
> In western thought, this is mostly related to the concept of involution. > The most famous study is on Javanese farming: I had thought that 'involution' was just a literal translation of the Chinese term, since I've n
66.
by thaumasiotes 1mo ago
Well, it takes a lot of faith to give that "almost certain" levels of credence. What do you think about the results of people investigating themselves for wrongdoing as a general matter?
67.
by thaumasiotes 1mo ago
Put it out of your mind. The term "Orient" comes from the fact that the sun rises in the East; the Latin word ( oriens ) literally means "rising". This is also why the contrasting term is "Occident" (meaning &q
68.
by thaumasiotes 1mo ago
The point is to be seen fighting, not to have accurate maps.
69.
by thaumasiotes 1mo ago
I can attest that the same thing happens to other fonts. I have the opposite problem from you, though; for me the font (outside of the focused post) is already being rendered too small and zooming out doesn't help. Zooming in to 110% f
70.
by thaumasiotes 1mo ago
> Of course these are ultimately related facts - the same package of technology that allowed the British to produce people like John Harrison who were capable of innovating a marine chronometer also allowed them to produce ocean-going sh
71.
by thaumasiotes 1mo ago
> Note of course this includes Scotland! Don't worry; Americans assume as a matter of course that England includes Scotland. Your internal political divisions are of interest only to you. The widget also appears to include Northern
72.
by thaumasiotes 1mo ago
But that isn't a change to the definition of the meter. What do you think the motivation for the constant 299,792,458 is?
73.
by thaumasiotes 1mo ago
In Firefox, all text outside the headline post, including the name and username that begin the headline post, appears to be in some kind of shrunken state which ruins its appearance. Zooming in solves the problem and causes the letters to a
74.
by thaumasiotes 1mo ago
But this doesn't look like it's making any new observations. Spore has some 3D modeling tools and abysmal gameplay that could never persuade anyone to start up a game of Spore. But the models are fun, sure. And other people can fi
75.
by thaumasiotes 1mo ago
> Firstly, it's not even clear that naturally occuring viruses can't be extremely lethal. There are examples (eg black death). You realize the black death didn't arrive and then go away again, right? It was extremely letha
76.
by thaumasiotes 1mo ago
> It's worth repeating again, > Anything lethal enough to kill other humans is lethal enough to kill you. It's also completely false; you carry tons of diseases that are capable of killing isolated islanders and incapable
77.
by thaumasiotes 1mo ago
My guess would be https://devin.ai/
78.
by thaumasiotes 1mo ago
King?
79.
by thaumasiotes 1mo ago
And similarly, when an outcry is worthless, it's valuable to tell the people involved that they should shut up. Outcries don't have to be entertained and they also don't have to be tolerated.
80.
by thaumasiotes 1mo ago
Any chance you're doing a reencode to SRT? I don't see `-c copy`. If I extract SRT subtitles from a 47 minute video, it takes about one second, so your two-hour duration isn't what's causing you to wait. You might be dec
81.
by thaumasiotes 1mo ago
Ok, but... what is it that we're taking note of?
82.
by thaumasiotes 1mo ago
Well... why? Is he involved with either of them now? Is there a shared persisting influence of some kind?
83.
by thaumasiotes 1mo ago
> except for the occasional donation banner, but that's a minor annoyance compared to what Fandom does Well, I guess that's true. It's worth noting, though, that wikipedia's donation demands cover more than the entir
84.
by thaumasiotes 1mo ago
> If you pick embedded subtitles with these clients, Jellyfin must extract the subtitles files immediately, and this takes a while depending on container format, file sizes and server load. Really? How? My expectation would be that extra
85.
by thaumasiotes 1mo ago
> But you have to go shoeless throughout your youth so that the bones and muscles of the foot grow strong. Well, more directly, if you want to be going around barefoot outside, you have to go barefoot for a while in order to harden the
86.
by thaumasiotes 1mo ago
No, the sheep were harvested for wool, but not by shearing. When they shed, we picked the shed wool from them. Modern sheep grow their wool continuously, but that took a while to breed in.
87.
by thaumasiotes 1mo ago
Here's what I understand: - You've got a pet peeve. - You're going to rant about it, because you want to, whether or not it's relevant to an existing conversation. - You didn't bother to think about my comments. - Y
88.
by thaumasiotes 1mo ago
My point is that nothing in your comment was in any tension with the comment you responded to, and you still don't seem to realize that.
89.
by thaumasiotes 1mo ago
If it's any consolation, their lambs were nothing like ours. This period is early enough that sheep weren't yet sheared.
90.
by thaumasiotes 1mo ago
But you aren't disagreeing with your parent comment. You seem to have a strong opinion that you are; that opinion is incorrect. Words refer to a broad semantic region, a phenomenon technically known as "polysemy". The range o

More ›