@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)

Follow

@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
hackers.town

A bunch of technomancers in the fediverse. Keep it fairly clean please. This arcology is for all who wash up upon it's digital shore.