
Josh Suereth
@jsuereth
Author: Scala In Depth
Developer: Geeky Scala Stuff
All Around: Big Nerd
ID: 19418890
http://jsuereth.com 23-01-2009 22:53:57
7,7K Tweet
8,8K Followers
386 Following


Super excited that our paper "Synthesizing CRDTs from Sequential Data Types with Verified Lifting" has been conditionally accepted to OOPSLA 2022! 🎉🎉🎉 We explore how program synthesis can be used to generate provably correct CRDTs that mirror sequential data types. SPLASH Conference



Had a great conversation about build tools this morning with Josh Suereth - turns out they are hard to get right. Here is episode 64 of Happy Path Programming: anchor.fm/happypathprogr…












Interested in #opentelemetry and Google Cloud, join Michael Kelly and I at #googlecloudnext DEV300 - Wed @ 4:45pm !

Happy Path Programming Episode 84 with DormAIn 🧟♀️ (aka "part of the problem") talking about failure, error budgets, and reliability, is out! It was quite ironic that our recording software crashed near the end of the episode but we recovered and wrapped everything up. podcasters.spotify.com/pod/show/happy…
