It's been quite sometimes now, that I started my study and research to design the type system of #Serene. I'm going to create a videos series to walk together in the wonderful world of #Mathematics involved.
I'm really excited about this.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!