Anti-colonialist. Interested in HoTT, languages and formal systems.
They’re making more progress than in the US, but still not anywhere close to mainstream yet. Idk exactly what can be considered active pushback, but u can find lots of colonizer apologia & plain ignorance everywhere
we need more context… r u from europe?
PeerTube :(
Omg this is actually such good advice, I wish I read this before I started using one
Hi-5!! I Am Also Not From europe