The 20.1.0 release of the Cloud client introduces Storage.Batch, a new API for bulk database reads. The design of the Batch ability involved balancing the need for type-safety and the ability to query across multiple tables of different types. Here's where we landed with it.

The ghost of Advent-of-Code past comes to visit in this recap of our favorite writeups from last year

Unison version 0.5.28 is here. This release features a new workflow for the `edit` command and native ARM64 builds for Apple Silicon systems.

Unison version 0.5.27 has arrived. This release includes a new command for searching through text or numeric literals in your codebase, and numerous fixes to type-directed name resolution and pretty printing.

Did you know that the Dutch Unison community is thriving? We're excited to announce the first Dutch Unison Meetup, where we'll be discussing all things Unison.

The wonderful team at Unison put together a guide especially for our conference visitors coming from different language communities. This guide will help you get up to speed with Unison syntax and concepts quickly.

The latest version of Unison is here! This release has some nice UX improvements for everyday users of Unison, like a new rules for operator precedence, and a few bug fixes for ucm commands like merges and updates.

A peek behind the scenes at how we built type-directed search for Unison Share. Follow along as we discuss the kinds of queries we wanted to optimize for and how we designed the search functionality to fit them.

This release includes a huge effort to scope the remaining UCM commands to Unison projects. It has some far-reaching changes and big quality-of-life improvements for managing codebase state.

New and improved commands for safely undoing changes have landed in the Unison Codebase Manager with the latest release. Here's the backstory for what made them necessary, how to prepare, and why they're a big deal for the Unison workflow.

The latest Unison release, version 0.5.23, is now available. This release includes some changes to the syntax for forcing delayed computations, improvements to the `todo` command, and several bug fixes.

We've raised $9.75 million in seed funding and I'd like to say some nice things about the people financially supporting our work. This won't be your typical funding announcement; instead I'll talk candidly about some of the dynamics of VC and open source funding today and why the people investing in Unison are so rare, and so special. I hope you'll come away feeling the same.

A discussion of where Unison is headed. Covers both near-term features we're actively working on (or will likely be soon) and some more speculative but exciting possibilities... 🔮

If you head to the Unison Cloud website, there's a new way to learn how to write Unison services. Cloud learning modules offer a more structured, step-by-step approach to learning. They're also written in Unison as a Unison Service!

Unison Share is now open source! It's MIT licensed, just like the Unison language itself

Unison's new blog engine library embeds evaluated code, renders LaTeX markup and mermaid diagrams, emails your followers, and publishes RSS feeds. Who among us isn't sitting on a pile of half-written technical blog posts? Take this as a sign that you should finish them up. 👀

The Unison ecosystem, tooling, and core language experience is currently mature enough that we're using Unison in production—on mission-critical applications. But along the way, we encountered a number of stumbling blocks that required careful developer investment. This post is our candid experience report on what we ran into, what we fixed, and what we're excited about tackling next.

Cloud pricing has gotten complicated, and this doesn't serve the needs of most users. What does? Platforms with simple, predictable pricing, and good developer productivity.

Most companies spend far more on developer compensation than on their cloud bill. So why isn't there more focus on improving developer productivity for cloud platforms and tools?

We wish all of you a festive holiday season and a New Year filled with possibilities!

This year Unison warmly invites you to participate in the Advent of Code! Here are some of the ways you can get started.

We're excited to announce that "pull requests" are finally live! They are enabled for all projects across Unison Share. "Contributions," as we've chosen to call them, serve as the main point of collaboration for Unison projects. They are how you'd present your work to project maintainers for review, approval, and merging.

Our process for updating code was a rough spot in the Unison workflow, but it has so much potential! Here's a look at how we're fixing it.

The Unison team has been hard at work building our cloud computing platform. Here's a teaser for what's to come!

Library highlights from the Unison ecosystem. New releases include utilities for web-protocols and defining web-services, terminal interactions, music and more. Check out the code samples and demos!

Unison Projects are here: collaborate, package, and organize your codebase!

It's a search party! 🎊 Unison Share has a snappier search experience — here are some tips for using it.

We've developed a nicer way to build microservices in Unison. This post is a quick preview. This hasn't been released yet, and some details may change, but it's coming soon!

Heads up: Unison is introducing a new codebase abstraction for organizing, packaging, and collaborating on code, Unison "projects". This is a high level overview of a few new concepts that will be introduced with the projects feature.

The Unison Codebase Manager releases version M4i. Unison contributors have authored libraries for XML, AWS, CNC and other acronyms.

Follow along with Unison's planned improvements and upcoming features for the language, tooling, cloud platform, and ecosystem.

Here's how we created a simple library for visualizing Unison's api for distributed computing.

Unison releases version M4h of the Unison Codebase Manager and an updated base library.

Reflecting on Unison's 2022 progress. Highlights include the Unison Forall conference, Unison Share code hosting, Unison Cloud beta testing, and more.

On the nth day of Advent, I found in your README's... Four hill climbing algorithms, three parser libraries, two livestreams, and the best of the Unison community.

The documentation experience in Unison just gained an extra dimension with support for mermaid diagrams and mathematical typesetting. Learn more about these new features and how to use them.

The Unison ecosystem is growing! Here are a few of our November to December highlights.

Unison provides tooling to make it easy to try this year's Advent of Code. If you fall off the proverbial sleigh mid-way through the month of December, don't worry, the real advent is the friends you made along the way. 🎅🏻

📯 'Twas the month before Christmas, when all through the house, not a programmer was coding, with their keyboard or mouse...

The Unison Language Server adds autocompletion support for Unison terms. If only the LSP integration could autocomplete all our non-Unison work. 🤔

Enable auto-startup of the UCM with the Unison VS Code extension so you can start writing Unison code faster.

To the tune of Ghostbusters: If there's something weird, and it don't look good, who you gonna call? Stack traces!

We have just released a major milestone of Unison: version M4 with code hosting, self-contained namespaces, mutable and immutable arrays, and much, much more.

Dan Doel summarizes the decision making process and progress towards native code compilation for Unison.

2021 was a big year for Unison. We released a new alpha version roughly every other month, and each release came with some serious improvements. In total, we merged more than 600 pull requests. Here are some of the highlights.

Thank you Tavish Pegram for being the first in our community blogpost series! In this post, Tavish walks through a popular 'kata' for practicing test driven development and hexagonal architecture. Along the way, he explores Unison's type system, abilities, and testing conventions.

We've just put out a major new release of Unison. It includes a snazzy new UI for browsing Unison codebases, a new computable documentation format, a new faster runtime, and a new SQLite-based codebase format that substantially improves codebase performance.

Exciting news! Heather Miller, CMU professor and Scala Center founder, who does very cool research at the intersection of programming languages, FP, and distributed systems, will be a Visiting Researcher with us this summer. Like us, Heather is passionate about finding ways to make distributed programming more compositional. We'll be collaborating together on a library for distributed computing in Unison and some interesting demo application using that library.

It's exciting to see Unison gradually coming together, but even more exciting has been seeing people writing and publishing Unison code. I've been pretty busy reviewing pull requests to the Unison base libraries and there's already a lot of useful stuff there. Thanks to everyone who has contributed so far!

We've just released milestone M1l of the the Unison Codebase Manager, which focused on essentials for ecosystem growth, specifically: guidance and tools for structuring and licensing your own libraries, and contributing to others.

Unison doesn't have library dependency conflicts, and many sources of ecosystem churn just disappear. This fact got a brief mention in the Strange Loop 2019 talk, but that talk didn't make all the benefits totally clear. This article will attempt to highlight some of the more surprising benefits of Unison's approach.

Unison Computing is a public benefit corp (PBC), cofounded by Paul Chiusano, Rúnar Bjarnason, and Arya Irani. We work alongside other amazing open source contributors on the Unison language. 💜 This post talks about why Unison Computing is a PBC and also includes our first annual report.

There have been more than 700 commits to Unison's master branch since we last did one of these update posts, so a lot has happened. We've made a lot of bug-fixes and improvements to the ergonomics of Unison--too many to list them all here. Here are some highlights.

At Scale By the Bay 2019 we gave a talk on Unison's unique approach to refactoring. This post gives a brief overview of how it works.

Since our last official update here, we started alpha testing a first release of Unison, gave a talk at Strange Loop, and have been working towards an M2 release with lots of new features, bugfixes, and polish.

We had our first ever Unison meetup last Tuesday! If you missed it or just want to look back on it fondly (or if like me you struggle to remember anything from more than 2 days ago..), this post is for you!!

Hi all — it's been 464 commits since our last update post, and I hardly know where to start...

Hey everyone, Rúnar here. It's been a while since our last update. We've been busy.