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 π
π° 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 π’
π 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 π₯
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
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!
I collected my thoughts on why mutexes suck; and what we can do about it.
chrispenner.ca/posts/mutexes
#STM #concurrency #parallelism #mutexes #Haskell
π 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 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.
π½οΈ 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!
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 :)
