Added to arXiv a new version of "Efficient Synchronization of State-based CRDTs”. Includes proof of optimal deltas, removes redundancies during delta forwarding, benchmarks the new techniques while including links to a code/test repository arxiv.org/abs/1803.02750 LightKone Project

I'm going to start saying 'monopolization' of the internet instead of 'centralization' because it also incorporates the economic and design models that are harming us, not just the technical architecture which is often misleading.

This unfolding story deserves wider attention. ACM, the main academic society for computer science, has signed a despicable letter opposing open access. Computer scientists are shocked and figuring out how to protest. This is about the future of knowledge. x.com/search?q=ACM+o…

I'm thrilled to share with you the launch of **A New Lab for Resilient Networks Research**, created at Protocol Labs Research. Get to know about its focus & contributions at research.protocol.ai/posts/201912-r… #IPFS #libp2p 2020 is set to be just phenomenal! 🥂

Roses are red Violets are blue When we trust each other A database will do

These teens on TikTok are out here doing the lord’s work.

why does every software engineering paper start with some variation of "Software is increasingly being integrated into all aspects of society, it controls everything from small home appliances such as kettles [1,3]"

I am concerned that a lot of computer systems research is solving problems that only huge tech companies have (eg. fast datacenter networking, big data analytics systems), rather than working on technologies that empower individual users and the underprivileged.

I try not to succumb to the “everything sucks” mindset too much, but sometimes it would sure be nice if GUI software had evolved to be even just slightly compositional by design rather than the weird “desktop of hermetically sealed bubbles of functionality” we ended up with.

Maybe this is naïve–but I don't think *anyone* wants to think, at the end of their career, "gee, sure helped lots of people click on ads!"; or "sure did make cameras effective at recognizing folks!" Machine learning could be more– empowering, supporting, enabling. It should be.

1964: Christopher Strachey drops some weighty knowledge. 2021: you can still hear its echoes. Listen closely. (from "Towards a Formal Semantics")

"What we really need is for academics to offer inspiration for new ways of thinking about programming tools, rather than polished implemented systems" Barik 🗡️ #icse2021

Falcon Heavy side cores have landed at SpaceX’s Landing Zones 1 and 2.

GUYS I HAVE SHAMELESSLY TESTED THE NFC LED NAILS ON THE BUS TO CAPTURE THIS BEAUTIFUL VIDEO. I didn’t even have to touch it!🌈💖 #nfcnails #lednails