@stman Language. Every child should be able to use and learn technologies *completely* in their own language, then have a pathway into developing with at least a language that is substantially similar to their native language.

Until the day English is no longer a monopoly of our computational ideas, cyberspaces cannot truly realize the immense diversity of people.


@jiaming @stman
I've learned more about the real requirements of supporting diversity in messaging and networks from a friend's effort to build something for his Lakota community than I have from 25 years of studying different approaches to cross-cultural communication (and discarding approaches that I found to be paternalistic)

@stman hmm on the more architectural side, I'm thinking along the lines of Free Software but going all the way to hardware. To achieve real fully free and decentralised systems...

I'm thinking it has to be such that anything executed on it can be verified (formally, because decentralized) as proof for the user. And such that its freedom cannot be revoked.

But the problem here comes from hardware, since you can't verify physical reality, and hardware has to be distributed through that medium...

@jiaming @stman There must be a lower limit to the feature size - that makes it both economical to produce and verifiable for someone with the right equipment in their garage.

Check out the betrusted.io they talk a bit about it.

But yes! Formal verification all-the-things~

Sign in to participate in the conversation
Cathode Church

A place for trans makers, coders, tinkerers and dreamers.