Show newer

Even with ML systems!

I agree that probably with most architectures, if you train them a lot to be capable alignment theorists, they have inner optimizers that are capable consequentialists, but the alignment-theorist-phase might be quite long (I could_{10%} see it going over 100x human ability).

Show thread

If we had those widely distributed, people would likely use them for capabilities and just widen the gap (e.g. OpenAI who talk about this as a strategy are not to be trusted with that strategy, since I don't see them using it solely for alignment work for half a year, and instead using it on both capabilities and alignment. But their plan is sound in that regard).

But I disagree with the view that you can't have the alignment theorist that is not also a consequentialist.

Show thread

Hm. I think the type of philosophy/math/cs needed for successful strawberry alignment is close enough to regular theorem-proving that AI systems that aren't seeds for worldcrunchers would still be very helpful.

(Doesn't feel to me like it touches the consequentialist core of cognition, a lot of philosophy is tree-traversal and finding inconsistent options, and math also feels like a MCTS-like thing)

Is the advantage we'd have by good alignment theorist ML systems 1.5x or 10x or 100x?

Telling my kidnappers about AI alignment until they gag me

Update: there's a bunch of women using the Replika thing.

I'd like to see the ratio

(95% confidence interval: [10%, 65%])

Man I do have a lot more respect for Oliver Habryka after listening to this[1]. Highlights include naming the thing where high status people eschew meritocracy because they can only lose, and the statement that there might be 5-10 years in the medium future that are about as crazy or crazier than 2020.

[1]: thefilancabinet.com/episodes/2

Hm, I remember reading somewhere sometime a classification of ways that you can use unix programs in pipes:

Sources (<, cat, programs that just produce output), filters (removing data, such as wc), transformers (?) (such as sort, cut, awk) and sinks (>, programs that just execute). Anyone recollect where I could've gotten that from?

people on the timeline are wrong

I have just the right thing

niplav boosted

Just learned set theory and I cannot contain myself.

*edit*
This post hit 500 boosts an 1k likes :D
Trans rights are human rights.
Bash the fash.

niplav boosted

If you rearrange the letters of POSTMEN, they become VERY ANGRY.

niplav boosted

🤔 🤔

Embarassment is a low status emotion, right?

Show thread

do not talk to philosophers. Do not engage in philosophy. Eschew everything that starts with "meta". Do NOT give them a platform. I am so done with this.

niplav boosted
actually, first a short rant
i hate the libc
even outside the fact it's 99% antiquated nonsense you should never use,
a lot of it (integer types, stdarg, math functions, string/memory operations) should be handled by the compiler instead of the libc - in fact, most of the time libcs do these by just stubbing compiler intrinsics, which bruh
then stuff like memory allocation, file management, and really most IO-adjacent operations are really application/system-specific and should be put in a separate library instead of the libc proper
now you might say, wait then what would remain in the libc

exactly

Is embarassment arousing? | Gender

Show older
Mastodon

a Schelling point for those who seek one