Unison | @unison-lang.org on bsky

@unisonweb

Friendly programming language from the future Open source github.com/unisonweb/unis… Cloud platform: unison.cloud unison-lang.org/discord

Planet Earth

unison-lang.org

Joined March 2014

5 Following

5,055 Followers

Replies Reposts Media

Pinned
Unison | @unison-lang.org on bsky
@unisonweb
Oct 1, 2025
You can now spin up Unison Cloud clusters on your own infrastructure! ✅ Build elastic distributed systems and services in vastly less code ✅ Fast, typed RPC ✅ Deployments in seconds ✅ Free to get started youtube.com/watch?v=0sZqI1…
Unison | @unison-lang.org on bsky
@unisonweb
Oct 9
Unison Cloud, our distributed computing platform, is now open source: unison-lang.org/blog/unison-cl… ✅ Service deploys in seconds. ✅ Fast, typed, inter-service communication ✅ High level, multi-node structured concurrency programming model ✅ Typed storage ...and more
unison-lang.org
Unison Cloud is now open source · Unison programming language
Unison Cloud is open source, MIT licensed. We think this tech will be more useful to the world as an open source technology and hope that people build great things with it.
4
Unison | @unison-lang.org on bsky
@unisonweb
May 22
✨ Unison 1.3.0 and base 7.17 have been released ✨ - Pattern matching on Bytes literals - 'signature' command to see type signatures - Improved function signature formatting - Builtins for ALPN TLS and P256 keys github.com/unisonweb/unis… github.com/unisonweb/unis…
Unison | @unison-lang.org on bsky
@unisonweb
Apr 10
🗞️ For your weekend perusal, check out Unison community member Zetashift's latest blog post! Here, he's using Unison Cloud Daemons to write an uptime notifier. zetashift.unison-services.cloud/s/blog/posts/u… zetashift.unison-services.cloud/s/blog/posts/u…
Unison | @unison-lang.org on bsky
@unisonweb
Mar 26
computational.chat introduces a simple idea: computations that can pause for user input with rich UI controls. Unlike a chatbot, there's a real programming model here, and these conversational flows can include any mix of regular code, humans-in-the loop, and LLMs.
GIF