#unisonlang — Public Fediverse posts

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

https://notes.kaushikc.org/3mfrw3naqtk2i

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

https://notes.kaushikc.org/3mfrw3naqtk2i

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

https://notes.kaushikc.org/3mfrw3naqtk2i

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

https://notes.kaushikc.org/3mfrw3naqtk2i

An update to my html-parse library - a new handler to the existing #Unisonlang ability to parses Html text into Markdown. Check the blog post for details. #parser #markdown

https://notes.kaushikc.org/3mf6xazbcj22u

First building block towards creating an RSS reader on AT protocol - Unison HTML parser

#html #unisonlang #parser

https://notes.kaushikc.org/3mdxmxpjkg22c

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

https://notes.kaushikc.org/3mcmuuinprk2m

#unisonlang #sse #datastar

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

https://notes.kaushikc.org/3mcmuuinprk2m

#unisonlang #sse #datastar

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

https://notes.kaushikc.org/3mcmuuinprk2m

#unisonlang #sse #datastar

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

https://notes.kaushikc.org/3mcmuuinprk2m

#unisonlang #sse #datastar

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

https://notes.kaushikc.org/3mcmuuinprk2m

#unisonlang #sse #datastar

HTTP Streaming Server in Unison

New year, a fresh bake: unified streaming for HTTP responses

#sse #unisonlang #http #streaming

https://notes.kaushikc.org/3mci4xfzfic2d

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.

#unisonlang #adventofcode #adventofcodeunison

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.

#unisonlang #adventofcode #adventofcodeunison

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

#unisonlang #adventofcode #adventofcodeunison

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

#unisonlang #adventofcode #adventofcodeunison

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

#adventofcode #adventofcodeunison #unisonlang

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

#adventofcode #adventofcodeunison #unisonlang

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

#unisonlang #adventofcode #adventofcodeunison

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

#unisonlang #adventofcode #adventofcodeunison

Day 03 was fun solving with Each ability of #unisonlang that provides non-determinism and backtracking #adventofcode #aoc

https://notes.kaushikc.org/3m765voir4s2s

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.

#unisonlang #adventofcode #adventofcodeunison

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.

#unisonlang #adventofcode #adventofcodeunison

Day 02 of #aoc -
‪
I tried to stick to solve without resorting to text conversion and purely with arithmetic means. I am sure there are more optimisations possible, but it's been fun.

https://share.unison-lang.org/@kaychaks/advent-of-code/code/@kaychaks/year-2025/@4uqc87im5i86tpuifon2p21mvp334lqf9e0d8ugqlnus6hmded68fmu67vodas6mlvc4co85gio51i092p9vk9e1m03gg57mi8df1u0/terms/day02/README

#unisonlang #adventofcode

My #weeknotes for Week 48

#unisonlang #atproto
#mcp #zorinos

https://notes.kaushikc.org/3m6vwf6pay22t

Sharing atproto-experiments: a foundation for building AT Protocol tools using @unison .

And the first tool is to sync Bluesky replies as Leaflet comments.

#atproto #unisonlang #leaflet #leafletpub

https://notes.kaushikc.org/3m6kc5nudgc2x

Sharing atproto-experiments: a foundation for building AT Protocol tools using @unison .

And the first tool is to sync Bluesky replies as Leaflet comments.

#atproto #unisonlang #leaflet #leafletpub

https://notes.kaushikc.org/3m6kc5nudgc2x

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

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

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

My #weeknotes for Week 47

#unisonlang #ashes

https://notes.kaushikc.org/3m6e4xipzjs2b

A #postgres client for #unisonlang inspired by #scala skunk :scala:

https://share.unison-lang.org/@runarorama/postgres

cc @tpolecat

A #postgres client for #unisonlang inspired by #scala skunk :scala:

https://share.unison-lang.org/@runarorama/postgres

cc @tpolecat

A #postgres client for #unisonlang inspired by #scala skunk :scala:

https://share.unison-lang.org/@runarorama/postgres

cc @tpolecat

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

♾️

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

♾️

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

♾️

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

♾️

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

♾️

Released UniChorn - functional choreographic programming library in Unison.

It's a port of HasChor, similar library in Haskell.

#choreographicprogramming #unisonlang

ht @fmontesi @lindsey

🗞️ 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

🗞️ 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

🗞️ 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

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.

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.

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.

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.