Sign in

Unison

@unison-lang.org
544 followers 4 following 118 posts

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

PostsRepliesMedia
Unison @unison-lang.org · 22/05/2026
✨ 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/un...
github.com
Release release/1.3.0 · unisonweb/unison
What's Changed Expose P-256 ECDSA crypto builtins by @MauScheff in #6222 Add signature command by @ChrisPenner in #6225 Don't generate LSP type sig suggestions for generated methods by @ChrisPenne...
051
Reposted by Unison
zetashift @zetashift.eurosky.social · 10/04/2026
I wrote a thing! bsky.app/profile/unis...
021
Unison @unison-lang.org · 10/04/2026
🗞️ For your weekend perusal, check out Unison community member @zetashift-01.bsky.social's latest blog post! Here, he's using Unison Cloud Daemons to write an uptime notifier! zetashift.unison-services.cloud/s/blog/posts...
zetashift.unison-services.cloud
zetashift's blog
I saw this repository by yorickpeterse where fish and podman were used to create an uptime notifier and thought it was a very cool, readable repository. And fish is a great shell as well, so double fun. It motivated me to try to do something similar with Unison Cloud and document parts of it.
043
Unison @unison-lang.org · 26/03/2026
computational.chat introduces a simple idea: computations that can pause for user input with rich UI controls. Unlike a typical 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.
093
Unison @unison-lang.org · 18/03/2026
🌷The Dutch Unison Meetup is planning their next in-person meeting for late March! Come say hi in our Discord if you're in the neighborhood! unison-lang.org/discord
unison-lang.org
Join the unisonlanguage Discord Server!
Community for the Unison programming language | 1530 members
032
Unison @unison-lang.org · 04/03/2026
📝 This community write-up on Unison asks: what if service boundaries didn’t mean serialization, versioning pain, or extra operational complexity? Check it out here: medium.com/@thomas_alex... Or here: github.com/ThomasAlexan...
medium.com
Unison: The Language That Makes Microservices Feel Like a Monolith
How Content-Addressed Code and Adaptive Service Graph Compression Are Rewriting the Rules of Distributed Systems
030
Unison @unison-lang.org · 26/02/2026
🎥 New conference recording from the Unison community! A deep dive into content-addressed code and how it changes refactoring, dependency management, and remote code execution. 🌟 Dejan's keynote is one to watch! www.youtube.com/watch?v=mQHo...
youtube.com
Dejan Miličić - Unison: A New Programming Paradigm
Unison is a pure functional language introducing a groundbreaking concept: content-addressed code. On top of the well-known advantages of functional programm...
0127
Unison @unison-lang.org · 24/02/2026
🫣 Ever open social media to post one thing… and resurface 20 minutes later? Well, here's @impurepics.bsky.social wiring up a Unison-powered CLI solution for that. They walk through the code, the Unison workflow, and how it all fits together. 👑 Thanks @impurepics.bsky.social, we're huge fans!
youtu.be
I automated social media posting with this Unison cli app
You know that feeling when you need to post something on social media really quickly, but then you get stuck scrolling through all the bad takes. Well, I do ...
063
Reposted by Unison
mechadense.bsky.social @mechadense.bsky.social · 21/02/2026
Finally got around watching it in full. New threads ability of @unison-lang.org youtu.be/xU_MRNNo4kg?...
youtu.be
Introducing the Threads ability for safer structured concurrency
YouTube video by Unison Language
072
Unison @unison-lang.org · 19/02/2026
We have a consulting group, now open to work in a variety of languages, including Scala, Haskell, Rust, Elm, and of course Unison. More details here: www.unison-lang.org/blog/consult... Please boost to help get the word out. And we'd love to hear from you if you're interested in working with us!
unison-lang.org
Unison Computing now has a consulting group · Unison programming language
We are spinning up a consulting group, now open to work in a variety of languages, including Scala, Haskell, Rust, Elm, and of course Unison. Our goal is a self-sustaining model in which a mix of consulting and product revenue funds development of Unison-based tech well into the distant future. We aim to be cash flow positive as a business in the next 12 months and could use your help in getting there.
02210
Unison @unison-lang.org · 10/02/2026
🧵🪡 Our latest release of the standard lib includes a new `Threads` ability for structured concurrency. Why is it an improvement over our existing primitives? Here's a video with some comparisons. youtu.be/xU_MRNNo4kg
youtu.be
Introducing the Threads ability for safer structured concurrency
The latest Base upgrade contains the Threads ability, for safer structured concurrency. This video talks about the problems that the Threads ability solves a...
093
Unison @unison-lang.org · 09/02/2026
📰 New Base library version is out! This one has some big features: * New `Threads` ability for structured concurrency * Adds a `Ptr` type so Unison can exchange pointers with C * Load a dynamic foreign library by name share.unison-lang.org/@unison/base...
share.unison-lang.org
Release 7.14.0 · @unison/base | Unison Share
The unison base library.
051
Unison @unison-lang.org · 04/02/2026
🌟 Check out the suite of libraries that @kaushikc.org has been steadily developing: html-parsing, at-proto, and more!
041
Unison @unison-lang.org · 31/01/2026
🎥 The Unison 1.1.0 release has quite a few features improving the UCM workflow. Here's a highlights reel: youtu.be/8aMggn5Cm00
youtu.be
Unison 1.1.0 release highlights
Unison 1.1.0 has some nice developer experience improvements. Here we showcase a few of the changes in this release. Full release notes: https://github.com/...
022
Unison @unison-lang.org · 29/01/2026
📰 UCM 1.1.0 is out! * `dependents` can search by variant, not just type or ability name * New built-ins for Argon2id hashing * VS Code actions: Edit Definition & Open on Share * MCP tool: `share-project-info` * Faster bytes ops & improved run command
github.com
Release release/1.1.0 · unisonweb/unison
What's Changed Features: The dependents command now work on constructors and ability requests. (#6115) Support for "Edit Definition" and "Open on Share" in the Unison Language VS Code extension v1...
054
Reposted by Unison
Sami Badawi @samibadawi.com · 26/01/2026
I've used @haskell.org, Lean 4 and @unison-lang.org for a while. I'm impressed by improvements, but many languages have good FP features now. Wrote blog post Competitive Pure Functional Languages. blog.samibadawi.com/2026/01/comp... Looking for niches where pure FP is better than OOP FP language
blog.samibadawi.com
Competitive Pure Functional Languages
1111
Reposted by Unison
Chris Penner @chrispenner.ca · 21/01/2026
Unison's got a C FFI! 🎉 If you were waiting for a reason to try Unison, now's a good a time as any :)
093
Unison @unison-lang.org · 21/01/2026
🔌 We're adding C FFI bindings! This opens the door to a huge ecosystem of native libraries. Go wrap your favorite C APIs! share.unison-lang.org/@unison/base...
share.unison-lang.org
Spec · @unison/base/releases/7.13.0 | Unison Share
The unison base library.
051
Unison @unison-lang.org · 16/01/2026
⏳Time is precious. Stop typing out fully qualified argument names in the UCM! youtu.be/_pcDWMj9JWg
youtu.be
4 tips for speeding up your UCM workflow
Here are a few practical tips for speeding things up when working in the Unison Codebase Manager (UCM): using fuzzy find to explore code, piping commands wit...
021
Unison @unison-lang.org · 13/01/2026
⌨️ A fun Unison library drop for your Monday! Dream up some terminal UI apps! share.unison-lang.org/@stew/tooey
share.unison-lang.org
@stew/tooey | Unison Share
Explore, read docs about, and share Unison libraries
031
Unison @unison-lang.org · 09/01/2026
👀 We don't have a REPL in Unison, so what do we use instead? Watch expressions! youtu.be/xfKO_tGpBxM?...
youtu.be
Watch expressions for interactive programming
Watch expressions are Unison’s answer to the REPL. In this video, we’ll walk through what they are, how they work, and how to use them effectively while debu...
040
Unison @unison-lang.org · 06/01/2026
📰 Unison 1.0.2 is out! - `diff.update` lets you preview a change before committing an update - MCP upgrades: agents can rename, move, and delete definitions & namespaces - Fixed `text.find` for numeric literals - Parsing fix for multi-line matches
github.com
Release release/1.0.2 · unisonweb/unison
What's Changed New diff.update command highlights changes in the scratch file. (#6080; thanks @bbarker!) MCP improvements. (#6081, #6082; thanks @kn0ll!) Fixed a parsing error involving multi-line...
020
Unison @unison-lang.org · 05/01/2026
What might a Terraform library look like in Unison, given the programming model that Unison Cloud supports? 🎙️Tune in to our interview with library author and Unison teammate, Stew, to see what he's tinkering on!
youtu.be
Terraform in Unison?
What might a Terraform library look like in Unison, given the programming model that Unison Cloud supports? Our infrastructure developer, Stew, has been experimenting with a new library, and in this conversation, we explore the thought process and direction of the "Uniform" library currently in development. The Cloud platform mentioned: https://www.unison.cloud/ The Unison Share repo for the Uniform project: https://share.unison-lang.org/@stew/uniform
020
Unison @unison-lang.org · 11/12/2025
🎉 Yes! It's a lovely time to get reacquainted with Unison!
083
Unison @unison-lang.org · 04/12/2025
🔠 You know what would be awesome? If the Unison programming language had a little font icon. Give this FontAwesome request a quick upvote if you agree!
github.com
Brand Request: Unison · FortAwesome Font-Awesome · Discussion #20969
🏷️ What brand are you requesting? Unison programming language - http://unison-lang.org/ Example image Migrated from: #20055 🌐 Official website http://unison-lang.org/ 📘 Brand assets or guidelines (...
063
Reposted by Unison
Sami Badawi @samibadawi.com · 04/12/2025
@unison-lang.org v 1.0 passes my language readiness criteria * Good language server support * Trivial to make a word frequency program with tests It's mind blowing 🤯 to program with code fragments, instead of projects of files. Very composable. Promising, but hard to imagine its effect on DevOps
Sample Unison word frequency program written in VS Code with LSP support
081
Unison @unison-lang.org · 04/12/2025
🌟 #AdventOfCode is in full swing in Unison! Our community has made full use of Unison's computable doc format, writing up their solutions and helpful explainers! Here's one from the Discord about Day 3! Join us! 💌
share.unison-lang.org
day03.doc · @systemfw/aoc-2025/main | Unison Share
Explore, read docs about, and share Unison libraries
052
Unison @unison-lang.org · 02/12/2025
📰 Check out who's in the latest Future of Coding Weekly newsletter!
newsletter.futureofcoding.org
Future of Coding Weekly 2025/12 Week 1
📢 Announcing Unison 1.0 📄 Towards Pen-and-Paper-Style Equational Reasoning 🧑‍💻 Tom Larkworthy go brrr Two Minute Week 🗨️ Tom Larkworthy 🧵 conversation @ 2025-11-30 I have written a userspace hook to i
042
Unison @unison-lang.org · 02/12/2025
🌟 It's time for #AdventOfCode! That means it's a great month to pick up a new programming language! Try it in Unison this year! 🎁
share.unison-lang.org
@unison/advent-of-code | Unison Share
🎄Template project with stubs for Advent of Code
092
Reposted by Unison
Matej Cerny @matejcerny.bsky.social · 26/11/2025
I've been watching Unison's development for several years. I was hooked the moment I first saw the slide "A Unison codebase is a database." Since then, an entire ecosystem has grown, including UCM Desktop, Unison Share, Cloud... And now, 1.0 is out! 🎉
051
Reposted by Unison
Dave Nicponski @virusdave.bsky.social · 25/11/2025
HELL YEAH!!!! I cannot describe how happy this makes me, ever since hearing Runár give an early description of the idea... The subsequent conversation had me hooked immediately.
041
Reposted by Unison
Chris Penner @chrispenner.ca · 25/11/2025
Want to try a radically innovative programming language? Unison is ready! Unison is approachable, user-friendly, and has a great community of friendly folks :) On top of that it has mind-bending features like serializable function closures and built-in distributed programming tools!
1316
Reposted by Unison
Kaushik Chakraborty @kaushikc.org · 26/11/2025
Sharing atproto-experiments: a foundation for building AT Protocol tools using @unison-lang.org . And the first tool is to sync Bluesky replies as @leaflet.pub comments. #atproto #unisonlang #leafletpub
notes.kaushikc.org
atproto-experiments
A foundation for building tools on the AT Protocol using Unison Programming Language.
3268
Unison @unison-lang.org · 25/11/2025
🎉 Unison 1.0 has landed! After years of engineering, design, and community collaboration, we’re excited to announce this milestone! Spread the word!
unison-lang.org
Announcing Unison 1.0
After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.
012462
Reposted by Unison
Eric Torreborre @etorreborre.blog · 15/11/2025
In "a new programming paradigm" Dejan Milicic goes into why @unison-lang.org is so unique and useful: docs.google.com/presentation...
docs.google.com
Unison: A New Programming Paradigm
print(("Unison", newline)); print("A new programming paradigm") Dejan Miličić JetBrains
1133
Unison @unison-lang.org · 14/11/2025
This release will serve as a Unison 1.0 release candidate, setting the stage for a 1.0 version once we confirm there are no major issues.
082
Reposted by Unison
xvw @xvw.lol · 14/11/2025
Yesterday, at @lambdanantes.bsky.social, @etorreborre.blog made me want to try @unison-lang.org (for a toy project) !
243
Unison @unison-lang.org · 13/11/2025
📰 Unison 0.5.50 is out * New `branch.diff` command (with diff-tool support) * Support for adding comments to branch history * MCP agents can `test`, `update`, and `run` code * Smarter `run` command behavior Check out the full release notes:
github.com
Release release/0.5.50 · unisonweb/unison
What's New ucm 0.5.50 has lots of updates and new features (and is also a 1.0 release candidate)! workflow improvements new branch.diff command for comparing branches, also with difftool support v...
042
Unison @unison-lang.org · 13/11/2025
👏 Check it out! A great write-up from Eric! 💻
042
Unison @unison-lang.org · 05/11/2025
A Unison terminology reminder, for the working dev: ↖️ Dependents: what 𝘶𝘴𝘦𝘴 a given term (where is this thing even called?) ↘️ Dependencies: what is this term 𝘮𝘢𝘥𝘦 𝘧𝘳𝘰𝘮 (how does this code even work?) Fortunately, Unison Share exposes both in our code browsing UI!
030
Unison @unison-lang.org · 04/11/2025
🚀 New deep dive: Distributed System Engineering in Unison In our latest blog post, take a look at the design of the Volturno library: a distributed stream processing engine built atop Unison Cloud. www.unison-lang.org/blog/volturn...
unison-lang.org
Distributed system engineering in Unison: Volturno · Unison programming language
We look at the design of Volturno, a streaming engine with exactly-once processing, to illustrate why Unison Cloud is a great enabler for distributed systems builders.
0106
Unison @unison-lang.org · 03/11/2025
🇳🇱 Welkom! The Unison Dutch meetup is tomorrow! If you're in the Netherlands, rsvp and say hello to the friendly Unison crew there!🌷
eventbrite.com
Dutch Unison Meetup
Join us for a fun Dutch Unison Meetup where we'll connect, chat, and enjoy each other's company!
045
Unison @unison-lang.org · 03/11/2025
🔎 As you're writing applications in Unison, you might need to search for a substring (where is this error coming from!?) or numeric literal (who put this magic number in my codebase!?) Here's a quick workflow video for that using the text.find command:
youtu.be
Searching for string literals with text.find
Sometimes you need to search for a string fragment in your codebase, like when debugging an error message. In other languages, you might reach for a tool in your text editor to search for substrings, but in Unison we use the `text.find` command. In this quick demo, I’m using `text.find` to track down a stray SQL statement in an application’s repository tests. Enter `help text.find` in the UCM to learn more.
020
Unison @unison-lang.org · 28/10/2025
🤯 Unison in the browser!? Dan Freeman's new library, Proscenium, runs Unison code in WebAssembly. Its companion library, @dfreeman/playbill, contains a walk-through of various features and live examples on Unison Cloud! Play a game in your browser entirely in Unison; better yet, write your own!
share.unison-lang.org
@dfreeman/playbill | Unison Share
A walkthrough of building UIs with Proscenium, including several example apps.
074
Unison @unison-lang.org · 27/10/2025
📮 New library to start your week: `lib.install` the Telegram library or check it out on Unison Share! The library features a quickstart to get you up and running using the Telegram API, and also details some of its design decisions, for the curious dev.
share.unison-lang.org
@chuwy/telegram | Unison Share
Telegram API wrapper
020
Unison @unison-lang.org · 22/10/2025
📽️ Here's a quick video for anyone just getting started with Unison. The gist of it: install the UCM, create a scratch file in the right place, and have fun programming!
youtu.be
Starting the UCM and setting up a scratch file
This video covers the basics of starting the Unison Codebase Manager (UCM) and writing your first bits of Unison code in a scratch file. We walk through: * Installing Unison on your system (Mac, Linux, or Windows) * Starting the UCM in a working directory * Creating .u scratch files and ensuring the UCM is watching for changes Helpful links: * Install Unison here: https://www.unison-lang.org/docs/quickstart/#step-1-install-unison * Get the UCM Desktop app: https://github.com/unisonweb/ucm-desktop/releases * Join the Unison community: https://www.unison-lang.org/discord
092
Unison @unison-lang.org · 20/10/2025
💖 We love seeing what y'all are building! Keep it up folks!
021
Unison @unison-lang.org · 17/10/2025
🇷🇸 Zdravo, svete! If you are in Serbia and you'd like to learn some Unison, head to this local meetup to hear from one of our friendly Unison community members!
linkedin.com
LinkedIn Login, Sign in | LinkedIn
Login to LinkedIn to keep in touch with people you know, share ideas, and build your career.
121
Reposted by Unison
Gabriel Volpe @gvolpe.com · 17/10/2025
Turns out I needed the `Cache` ability in other projects too, so I released the code I had (plus some modifications) as a library. It's always fun working with @unison-lang.org :) share.unison-lang.org/@gvolpe/cache
share.unison-lang.org
Unison Share
Explore, read docs about, and share Unison libraries
151
Unison @unison-lang.org · 16/10/2025
✅ Our improved code diff view just landed on Unison Share! Featuring: - Clearer colors and an intuitive UI - Smart semantic diffs share.unison-lang.org/
063