Links

Unison programming language: The big idea

unison-lang.org

In Unison, since definitions are identified by a content hash, arbitrary computations can just be moved from one location to another, with missing dependencies deployed on the fly. The basic protocol is something like: the sender ships the bytecode tree to the recipient, who inspects the bytecode for any hashes it’s missing. If it already has all the hashes, it can run the computation; otherwise, it requests the ones it’s missing and the sender syncs them on the fly. They’ll be cached for next time.

Make it Yourself

makeityourself.org

Across the world creative people are making high quality things of all kinds and sharing their work freely with all of humanity.

Make it Yourself is a digital book that showcases this incredible talent, bringing together over 1000 useful DIY projects to demonstrate just what is possible when you make things yourself.

Celebrating Ten Years of Encrypting the Web with Let’s Encrypt

eff.org

The most important measure of Let’s Encrypt’s and Certbot’s successes is how much of people’s daily web browsing uses HTTPS. According to Firefox data, 78% of pages loaded use HTTPS. That’s tremendously improved from 27% in 2013 when Let’s Encrypt was founded. There’s still a lot of work to be done to get to 100%.

Nice to actually reflect on this statistic and realize how much progress has been made towards web privacy.