Happy to announce Unison Computing is branching out into consulting!

iIf you'd like a hand with your project you'd be hard-pressed to find a better team to help, drop us a line 😎

www.iankduncan.com/engineering/...

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...

📰 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

I made this tool for managing workshop sessions in tmux and I've used it *hundreds of times* per day every day for 6 years now without any hiccups; if you're looking for a good way to manage your terminal sessions maybe this is it.

github.com/ChrisPenner/...

Unison's got a C FFI! 🎉

If you were waiting for a reason to try Unison, now's a good a time as any :)

"unspecified" behaviours are fun too, for instance in JSON duplicate keys aren't disallowed, and there was at least recorded case where a middleware validation layer used the first value of a key and the application used the last value of a key, which was never validated. Chaos ensues.

As it happens, labour is currently the primary means of non-upper-class folks getting the money they need to live, so any automation which threatens labour directly threatens their way of life. In order for automation to thrive it's important to first establish better systems for sharing value

Absolutely. When folks tell me about how much more productive AI has made them, my conversation with them goes like this: "Oh that's great! I'm sure you've gotten a raise then right? No? Oh well at least you must not work as many hours now right? No? What's that? Your co-worker got laid off?"

I hadn't heard of them but good shout, looks great! I'll give that a go 👍

I'm learning that the model for the fully-formed shape wasn't too bad, but splitting it up into individually printable parts for assembly is much trickier 🤷‍♂️

Learning more #OpenSCAD in order to bring a #kumiko inspired table-lamp to life :)

It's absolutely bonkers how much of modern society is still dependent on staying on hold for 2 hours on an unreliable connection when at any moment your thumb could slip or you could drop the call and there's just no way to get that call back except to wait another 2 hours 😑
#WestJet

When I'm feeling impure I go to Church to improve...

hackage.haskell.org/package/free...

In any active software project new bugs are always being introduced.

Bugs that are important or easy to fix are typically prioritized.

This means that as the project ages, the pool of bugs inevitably becomes a majority of the 'difficult to fix' or 'low-priority' variety 😢

@unison/advent-of-code | Unison Share 🎄Template project with stubs for Advent of Code

🌟 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! 🎁

This is actually quite brilliant, up to and including the final sentence 🔥

atproto-experiments A foundation for building tools on the AT Protocol using Unison Programming Language.

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

Unison: A New Programming Paradigm print(("Unison", newline)); print("A new programming paradigm") Dejan Miličić JetBrains

In "a new programming paradigm" Dejan Milicic goes into why @unison-lang.org is so unique and useful: docs.google.com/presentation...

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!

Ditch your (mut)ex, you deserve better Mutexes are unreliable tools, let's explore better alternatives.

I collected my thoughts on why mutexes suck; and what we can do about it.
chrispenner.ca/posts/mutexes

#STM #concurrency #parallelism #mutexes #Haskell

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.

🚀 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...

@dfreeman/playbill | Unison Share A walkthrough of building UIs with Proscenium, including several example apps.

🤯 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!

Congrats Steve! Knock down those barriers to jj adoption one at a time!

P.s. building a code collaboration is good fun with interesting challenges, I’m sure you’ll enjoy it.

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

📽️ 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!

Exploring Arrows for sequencing effects Monads are <em>one</em> way to sequence effects, but they're not the only way!

Don't get too hung up on #Monads, there are other ways to sequence effects; including Arrows; and they provide even better static analysis!

Let me know what you think :)

#Haskell

chrispenner.ca/posts/arrow-...

Can confirm that I’ve had nothing but problems with Spotify support. Dont worry though it’s not a sign of beef or anything, @danimalcannon.com and I are cool 😎

lol, and when I implemented my own public wrapper over it, and implemented `publicJWKFromPrivateJWK` the AI auto-complete confidently returned the private JWK as-is, asserting that the library "takes care of it for you" which AFAICT is NOT the case... the next generation of app security is cooked.

Even the #Haskell `jose` library doesn't have a separate type for public vs private JWKs, even a phantom type would do the trick.

TBH this is just as bad as how generated certs are named key and key.pub;

If you tab-complete you'll get the private one every time and there's no `.private` as a hint

I'd really like to speak with whoever thought it was a good idea for the public and private JWK's to be represented by the same type, have the same name, with just a few missing parameters...

Ah yes, the presence or absence of this "d" parameter could tank my entire company... seems safe to me :|

At the moment I use STM as my lowest-level primitive; then leave it up to the STM implementors to use the mutexes haha.

STM has all the channels, queues and vars you need to do any form of actors or CSP you like :)