Post

men are from Type, women are from Prop

Amos Wenger@fasterthanli.me

gf with pred/succ pronouns

so you're saying women aren't computationally relevant, aron?

it's not me it's the axiom

27/3/26, 5:55 pm0 reposts3 likes

oh it's all just natural inherent differences now, is it?

(guy who picked the axioms) you don’t understand it’s just a consequence of the axioms