Show newer

@urusan Really advanced psychology would also be a candidate (manipulation)

niplav boosted

Most terrifying emerging technology?

@redacted

Hm, that's not quite what I'm looking for. In this hypothetical, I guess I want to have some method of just taking the valid programs for C and C+ and then spitting out a 1 if C+ is stricter, and a 0 if C+ is more featureful. Like, what is the mathematical definition of those conditions?

All stable processes we shall predict. All unstable processes we shall control. All externalities we shall internalise. All cognition we shall direct.

@FloatingGhost no, wait. i basically already live on something like this: jars of kimchi+queal (+protein powder+creatine)

Let's say you have a programming language C, and a programming language C+.

Every valid C program is a valid C+ program, but not the other way around.

There can be at least two ways in which this happens:

1. C+ is "stricter" than C, but the strictness is optional: you can e.g. add type signatures that don't exist in C.

2. C+ is more "featureful" than C. E.g. it adds generics or whatever.

Is there a way to distinguish those two rigorously? Or is there no underlying deep difference?

If you press the button, the top 10% earners in the world (who hold 85% of the world's wealth) will be forced to forfeit their earnings and be given a fixed allowance equal to 5% their prior income.

Their money'll be distributed to everyone else, proportionally according to need.

Do you press the button?

niplav boosted

imo the strategy of "trust people/try to form a model of people's beliefs when they tell you how they think about the world" is very rationalist, a good way to identify new ideas, and also a surprisingly effective way to identify terrible people who shouldn't be in your movement.

niplav boosted

@empathy2000 I still find "get $OBSCURE_INGROUP_FIGURE on Lex Fridman" funny

how far can we push it

sad but true 

@scathach the correlation reverses during catastrophic events, right?

…right???

@WomanCorn huh. I think I like TypeScript 🤷

(am I confusing myself? valid C programs⊂valid C++ programs, valid JavaScript programs⊂valid TypeScript programs, right?)

it would've made kabbalistic sense if hitler was a furry: noble wolf (adolf) one who lives in a hut (hitler)

Show older
Mastodon

a Schelling point for those who seek one