Where do type systems come from?http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from/
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!