Object Of Objects

New goal: learn the original language.

Children, wondering where they came from, are often told: you were born to your parents. Well, if that's so, where did the parents come from? Their own parents? But an infinite past is disproved by thermodynamics. So the parentage theory is clearly false.

In the old days before X, how did people share their ideas? Just blurt it out to whoever happens to be standing nearby? What a weird thing to do.

I wonder where they'd go if you lead by asking whether plants are sentient.

I play go sometimes. Since last week I'm trying some chess tactics puzzles on Lichess. I'm doing some game development experiments too. How are you liking go?

Hmm, that doesn't make me feel less confused. Could you explain it more? Like what is the result that follows from what assumptions?

I'm confused. Are you saying these are statements that are derivable from population ethics and that this is a bug that needs fixing?

I think tsumeshogi are different from tsumego or chess tactics puzzles because the opponent's branching factor tends to be much lower than the player's branching factor. This makes winning sequences much easier to verify than to find. It's more NP-ish.

Hey, what games are you playing these days?

What were the approximate ratios of the three badge types?

I guess you shouldn't make a board game that's visually too similar to a different board game, or else it will look like the players are making really bad decisions.

For people who play both chess and shogi, a common opinion is that tactical skills transfer more than strategic skills. This is an example of instrumental convergence.

This guy really likes isotopes.

ISTM that suffices to show that defection is not optimal though.

Unless every size vs. speed tradeoff is made in favor of size, we're unlikely to get close to information theoretic bounds.

I'm confused. Is he asking why we don't write 1.0.1 instead of 1.01? Or is he asking why we don't use notation like 1.2 × 10⁻⁶ (we do)?

That's not superhuman at all. It's well within human capability to write code without bugs.

What's an example of a certificate for a "false" result for a 3SAT problem instance?

Ok, I'd like to hear what search algorithm you're imagining then.

But actually isn't that only P in the yes case? Like how do you show a formula is not satisfiable?

Ahh ok you're right. I was thinking of a proof search to find a satisficing algorithm. But you're just multiplexing all algorithms, OK.