next-generation programming platform, currently in development
about
help fund the project
swag

Twitter . GitHub . RSS

Creating lambdas in the editor, calling higher-order functions


I’ve been doing some more work on the editor again. Here’s a video showing a call to map:

full post


Easy snapshot isolation and PCBT merges


This post has some notes on how to implement database inserts and deletes for the indexing data structure discussed in the last post, the Prioritized Critical Bit Tree (PCBT).

full post


How laziness brings good query performance without an insane black box optimizer


I did a writeup of the Unison persistent data API last time. After writing that I was feeling inspired and decided to do some implementation work to convince myself the API was implementable and could be made efficient. A lot has come out of that, and this is a writeup. This post has three parts:

full post


Initial sketch of the Unison persistent data API


Also see part 2 and part 3

full post


The editor is really coming together!


Even though the editor is just a small piece of the overall platform, having a v1 of it is super important. Without a way to create and interact with Unison programs, there’s no way to see or get at all the amazing functionality the platform can offer.

full post