#unisonlang — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #unisonlang, aggregated by home.social.
-
I built a Tigerbeetle client in Unison by building a Tigerbeetle wrapper client in Zig to the official Tigerbeetle C client. I had no other choice. It was hard and fun. Read more to find out. #zig #unisonlang #tigerbeetle
-
I built a Tigerbeetle client in Unison by building a Tigerbeetle wrapper client in Zig to the official Tigerbeetle C client. I had no other choice. It was hard and fun. Read more to find out. #zig #unisonlang #tigerbeetle
-
Datastar Unison SDK
Continuing my experiments with streaming HTTP in @unison , I released a new SDK for Datastar SSE events on top of my recent http-streaming-server library
-
Datastar Unison SDK
Continuing my experiments with streaming HTTP in @unison , I released a new SDK for Datastar SSE events on top of my recent http-streaming-server library
-
Advent of Code in Unison, Day 7
https://share.unison-lang.org/@nathanielknight/aoc2025/code/main/latest/terms/day07/README
This was _much_ smoother than day 6 for me. The solid block of characters made for an easy parser and the data structure I used for part 1 transitioned nicely into part 2.
-
Advent of Code in Unison, Day 6
I made bad choices (or got unlucky) with my parser for this one and had to re-work it substantially for part 2, which is a shame because the parsing is the hard part on this one.
https://share.unison-lang.org/@nathanielknight/aoc2025/code/main/latest/terms/day06/README
-
A hair late, but here's Advent of Code in Unison, Day 5!
https://share.unison-lang.org/@nathanielknight/aoc2025/code/main/latest/namespaces/day05
Range overlap ends up being pretty straightforward in Unison. I ended up implementing most of part 2 as a premature optimization for part 1. Take THAT Donny Knuth. 😛
-
Advent of Code in Unison, Day 4!
https://share.unison-lang.org/@nathanielknight/aoc2025/code/main/latest/terms/day04/README
Grid based puzzles are always a good time. My favourite trick for these is to use an associative data structure for the board instead of a nested array (shout out to _Clojure Programming_ for teaching me that trick).
-
Day03 of Advent of Code: the return of Joltage!
https://share.unison-lang.org/@nathanielknight/aoc2025/code/main/latest/terms/day03/README
A few hurdles dealing with List functions, but otherwise a pretty straightforward puzzle.
-
Sharing atproto-experiments: a foundation for building AT Protocol tools using @unison .
And the first tool is to sync Bluesky replies as Leaflet comments.
-
Sharing atproto-experiments: a foundation for building AT Protocol tools using @[email protected] . And the first tool is to sync Bluesky replies as @[email protected] comments. #atproto #unisonlang #leafletpub
atproto-experiments -
A #postgres client for #unisonlang inspired by #scala skunk :scala:
https://share.unison-lang.org/@runarorama/postgres
cc @tpolecat
-
Checking out #unisonlang, recommended by José Valim, the creator of #elixir.
Giving off #nix vibes. Actually I have only ever had false starts setting up Nix.
Speaking of which, still want to migrate to Lua for Neovim config and set up the native lsp interface...
♾️
-
@samir it wouldn't surprise me if #unisonLang represents code that way internally. It's certainly wrestling with escaping the same local optimum problem.
Logging has some interesting parallels. #DBus famously discarded text for its own proprietary binary format and now you can't read #Linux logs without using its tools.
-
@samir it wouldn't surprise me if #unisonLang represents code that way internally. It's certainly wrestling with escaping the same local optimum problem.
Logging has some interesting parallels. #DBus famously discarded text for its own proprietary binary format and now you can't read #Linux logs without using its tools.
-
Released UniChorn - functional choreographic programming library in Unison.
It's a port of HasChor, similar library in Haskell.
-
Released UniChorn - functional choreographic programming library in Unison.
It's a port of HasChor, similar library in Haskell.
-
Videos of the #unisonlang Conference are starting to appear:
https://www.youtube.com/playlist?list=PLQ0IlHfOk1GjQah6kjsknDpOQZDpf5iYP
-
Videos of the #unisonlang Conference are starting to appear:
https://www.youtube.com/playlist?list=PLQ0IlHfOk1GjQah6kjsknDpOQZDpf5iYP
-
You're coming to the #unisonlang conference today right?
Its free.
-
You're coming to the #unisonlang conference today right?
Its free.
-
OAuth can be complicated. 😵💫 To help folks add authentication to their services, we created a tutorial that walks through the process. In Unison, auth is modeled as an ability that combines with other libraries to protect resources and routes. Give it a try!
#OAuth #UnisonLang
https://www.unison.cloud/learn/auth/?utm_source=mastodon -
OAuth can be complicated. 😵💫 To help folks add authentication to their services, we created a tutorial that walks through the process. In Unison, auth is modeled as an ability that combines with other libraries to protect resources and routes. Give it a try!
#OAuth #UnisonLang
https://www.unison.cloud/learn/auth/?utm_source=mastodon -
We wrote all this YAML while making Unison so you won't have to. 🫠
#UnisonLang #YAML
https://www.youtube.com/watch?v=WcdoC0KBCSU&utm_source=mastodon -
We wrote all this YAML while making Unison so you won't have to. 🫠
#UnisonLang #YAML
https://www.youtube.com/watch?v=WcdoC0KBCSU&utm_source=mastodon -
🗞️ Coming soon: the next release of Highlight.js will officially support Unison syntax highlighting, so we should be seeing even more Unison code out there in the world.
BTW, if you simply cannot wait to style Unison snippets on your website, you can do so right now with https://github.com/runarorama/highlightjs-unison
#highlightjs #unisonlang -
🗞️ Coming soon: the next release of Highlight.js will officially support Unison syntax highlighting, so we should be seeing even more Unison code out there in the world.
BTW, if you simply cannot wait to style Unison snippets on your website, you can do so right now with https://github.com/runarorama/highlightjs-unison
#highlightjs #unisonlang -
Super cool project making use of #UnisonLang 's doc format: https://share.unison-lang.org/@andreystepanov/bit-layout
-
Super cool project making use of #UnisonLang 's doc format: https://share.unison-lang.org/@andreystepanov/bit-layout
-
did a detailed writup of my solution to Advent of Code today in #UnisonLang..
If nothing else, these exercises do a good job of demonstrating how easy it is for us to produce really rich documentation in unison:
https://share.unison-lang.org/@stew/advent-of-code/code/main/latest/terms/day06/README
-
did a detailed writup of my solution to Advent of Code today in #UnisonLang..
If nothing else, these exercises do a good job of demonstrating how easy it is for us to produce really rich documentation in unison:
https://share.unison-lang.org/@stew/advent-of-code/code/main/latest/terms/day06/README
-
#github #copilot is SO GOOD. I'm constantly blown away by how much of a time saver it is having copilot working.
I'm also super amazed at how good it is at writing code in #unisonlang since it is a language with very little software written in it to begin with, coupled with the fact that practically NONE of it is ever checked into github, so there is likely very little #unisonlang code in the training set
-
#github #copilot is SO GOOD. I'm constantly blown away by how much of a time saver it is having copilot working.
I'm also super amazed at how good it is at writing code in #unisonlang since it is a language with very little software written in it to begin with, coupled with the fact that practically NONE of it is ever checked into github, so there is likely very little #unisonlang code in the training set
-
Getting very excited about #UnisonLang getting ready to launch our cloud services. These are super simple write and deploy!
-
Getting very excited about #UnisonLang getting ready to launch our cloud services. These are super simple write and deploy!
-
really need to learn more about #unisonLang, found out about it because I was looking for non-plaintext programming languages. Unfortunately this article beneath requires a medium.com account
https://itnext.io/writing-code-without-plain-text-files-cb8f1ed2c0ad
-
really need to learn more about #unisonLang, found out about it because I was looking for non-plaintext programming languages. Unfortunately this article beneath requires a medium.com account
https://itnext.io/writing-code-without-plain-text-files-cb8f1ed2c0ad
-
Today at 1pm Eastern, 10am Pacific, 16:00 UTC, @rlmark and I will be taking over the Exercism twitch channel: https://www.twitch.tv/exercismlive
#UnisonLang is being featured as part of their "Mind shifting May": https://www.youtube.com/watch?v=RpbpnmTfd8w
We're super excited. I've personally been a fan of exercism for a long time, and they've been great partners!
If you are thinking of taking the plunge and learning unison (or any language) https://exercism.io has amazing tools and super supportive community
-
Today at 1pm Eastern, 10am Pacific, 16:00 UTC, @rlmark and I will be taking over the Exercism twitch channel: https://www.twitch.tv/exercismlive
#UnisonLang is being featured as part of their "Mind shifting May": https://www.youtube.com/watch?v=RpbpnmTfd8w
We're super excited. I've personally been a fan of exercism for a long time, and they've been great partners!
If you are thinking of taking the plunge and learning unison (or any language) https://exercism.io has amazing tools and super supportive community
-
Tonight I finally had the time to push up a little incremental computation library I wrote this past weekend when I got the itch to play with #UnisonLang again.
The specific form factor may seem a bit arbitrary, but I have some thoughts about what it might be useful for the next time I can scrounge up some more free hacking time…
https://share.unison-lang.org/@dfreeman/p/code/latest/namespaces/public/projects/ink/main
-
Tonight I finally had the time to push up a little incremental computation library I wrote this past weekend when I got the itch to play with #UnisonLang again.
The specific form factor may seem a bit arbitrary, but I have some thoughts about what it might be useful for the next time I can scrounge up some more free hacking time…
https://share.unison-lang.org/@dfreeman/p/code/latest/namespaces/public/projects/ink/main
-
CW: re: Unison programming language
@csddumi That's a nice task.
I used to write a small program that would print the time using English words. E.g., :
$ qtime
It's half past five.
But I have no idea how to do this in #UnisonLang. -
CW: re: Unison programming language
@csddumi That's a nice task.
I used to write a small program that would print the time using English words. E.g., :
$ qtime
It's half past five.
But I have no idea how to do this in #UnisonLang. -
CW: re: Unison programming language
Explore, discover, and share #unisonLang code projects, libraries, documention, terms, and types:
🔗 https://share.unison-lang.org/ -
CW: re: Unison programming language
Explore, discover, and share #unisonLang code projects, libraries, documention, terms, and types:
🔗 https://share.unison-lang.org/ -
CW: Unison programming language
🔗 https://www.unison-lang.org/
This looks rather interesting — especially the ”no compile time” part (I'm looking at you, #rustLang!). 🤓
/cc [ #unisonLang | #functionalProgramming | #programmingLanguage | #programming | #bookmark ] -
@rlmark wrote a nice blog post highlighting solutions from lots of people that solved #AdventOfCode problems using #UnisonLang https://www.unison-lang.org/whats-new/advent-of-code-highlights2022/
-
I am getting especially well treated in that I'm doing tons of greenfield development, as I'm working in a new language, but doing stuff that #CoPilot has seen tons of times before.
For instance today, I implemented a HashTable in #UnisonLang which is something that there would be no reason to do in most languages. In my case it is does great at just implementing helper functions I wouldn't remember to think of.
-
I'm writing code in a language that It must have very rarely seen, since in #UnisonLang we don't check in our source code, but it still does a good job.
Its definitely not perfect, and that's fine, I can correct it when it just defaults to writing haskell.
But what it DOES generally get right is to keep me from authoring a bunch of off by one errors. It will often write some broken code that doesn't compile but I go "oh, right, I DO need to treat zero specially here, thank you!"
-
Posted a video of me solving #AdventOfCode day 14 in #UnisonLang ! Had a bunch of help from my audience (and some help from #CoPilot as well)
-
Tomorrow I plan on working on one of the #AdventOfCode problems in #UnisonLang live on our Discord server tomorrow at 13:00 UTC
Come join us!
-
I totally haven't been keeping up with #AdventOfCode but I'm still trying to solve some from time to time…
It's been GREAT watching other people use #UnisonLang to solve the exercises, especially since people have really been making good use of Unison's ability to make nice docs!. Here's some random examples I've seen today!
https://share.unison-lang.org/@sigwinch28/p/code/latest/namespaces/public/aoc/;/terms/day11/README
-
@SusanPotter I've had a play with #unisonlang. Their slack is super-helpful and friendly. Unfortunately there are a lot of sharp edges left, and bugs in unpleasant places (e.g. I found the mod function returned wrong answers, and others found major issues with the http lib IIRC).
Don't get me wrong, I really like the direction of the lang's workflow, and those issues were all fixed v. quickly. But I'd personally steer clear for prod use just yet. -
I am going to start a list of languages to probe and learn in 2023 and the top three so far are:
- Unison #unisonLang
- Roc #RocLanguage
- Rust #rust (for kernel and system work)Maybe Zig #ziglang too.