💜 It's hard to remember all the progress that @unison-lang.org has made, since most of the time we're heads-down, building the plane and flying it.
But to put all this in context, at the start of 2024 here's where we stood <takes giant breath>...
✨ Here's our 2024 Unison Wrapped!
We've had an unforgettable year of Unison features, contributions, and achievements. Take a look back at what we've accomplished and get a peek at what’s to come. 🔮
https://t.co/0NpEle1Kp5
⛅ Cloud functionality has expanded to support blob-based storage, daemons for long-running processes, WebSockets, etc. From simple distributed computing primitives, we're bringing event-streaming libraries to Unison:
https://t.co/Z55xRTbuj0
@ktosopl That's awesome! I worked with the Starbucks team in 2019 and our work rolling out updates to the rewards program in the US was deeply indebted to the work that the team did in Japan.
Here’s a series of demos showing how Unison Cloud lets you program any pool of nodes like a single computer. Tiny programs can now express whole systems, and the composability of local programs becomes possible for big distributed systems.
https://t.co/R9mTAasVp1
"Once you enter this stunning tower of Jeremy Bentham’s fever dreams, you’ll never want to leave, nor will the location of any exits be readily apparent."
https://t.co/FUWI7TylFv
If you're new to Unison and want a quick syntax guide so you can follow along with the live coding and slides at our conference tomorrow, we've got you covered. 👍
https://t.co/XKTGk9iwcL
🎟️ It's the last day before the Unison Forall conference.
Fortunately, there's still time to check out the program, register, and join us!
See you tomorrow! 🎉
https://t.co/EQktyP3oKL
🔭 For the fans of next-generation text editors and tooling, there's a new Unison talk in store: "Toward a rich and graphical UCM"
Join Unison developer Simon Højberg as he presents what the future of programming workflows might look like. 🛸
https://t.co/EQktyP3oKL
🎥 Explore the Actor model in Unison
Unison Forall's next speaker, Alvaro Carrasco, will show how actors can be modeled with Unison's version of algebraic effects: Abilities. Alvaro's libraries are filled with cool visualizations, so don't miss this!
https://t.co/EQktyP3oKL
✨ Unison is expanding into the GUI domain, thanks to the work of a few Unison developers, including our next Unison Forall speaker, Dan Freeman.
Dan will explore approaches to building Unison UIs today and speculate on what might be possible! 🔮
https://t.co/EQktyP3oKL
✨ Unison Forall speaker highlights:
We're excited to hear from Daan van Berkel, who has been using Unison language features to explore Turing machines and questions of computability. Join us for his talk on the Busy Beaver problem.
🎟️ Register below:
https://t.co/EQktyP3oKL