I feel like psychometricians should make more diagrams like this, to better illustrate the meaning of the traits they measure.

@alexthecamel Yep. One caveat is that it often has to be constructive first order logic rather than classical first order logic, because the law of excluded middle fails in many useful categories. E.g. law of excluded middle can be used to define discontinuous functions, and so doesn't hold topologically.

@alexthecamel First order logic structures in general requires toposes, not just products. However, it is true for any algebraic structure (monoids, groups, rings, ... BUT NOT fields because fields aren't a true algebraic structure due to having a != 0 condition on division).

The education system seems like an obvious institution to implement spelling and grammar reforms. It both has the information about what sorts of spelling/grammar rules are particularly expensive to learn, and the authority to decide what rules should be learned.

tailcalled boosted

I wonder if creating nanomachines on Earth is going to be made even more difficult because the environment is already absolutely lousy with hostile autonomous nanorobots (bacteria)

tailcalled boosted

RT @Aella_Girl
CHAOS SURVEY.
let's make a chaos survey. Here you can submit questions to include in the survey. You can include any question, as long as it's in the specified format. I encourage you to get creative:
docs.google.com/forms/d/e/1FAI

Are self-driving cars as reliable as humans yet? If yes, when did this happen? If no, how far are we away?

@fansipans I can't think of any time where I was randomly paired up with a person and we then flipped a coin to determine who would get a money transfer. This doesn't seem reflective of how markets work.

tailcalled boosted

"You do math? You must be good with numbers"

"Oh no, the kind of math I do is different, I don't have to be good with numbers"

"What kind of math do you do?"

"Number theory"

Mastodon

a Schelling point for those who seek one