#UnisonLang

Kaushik Chakrabortykaychaks@types.pl
2026-01-17

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

notes.kaushikc.org/3mcmuuinprk

#unisonlang #sse #datastar

harryprayivharryprayiv
2026-01-16

Until takes over, is amazing.

I just converted my non-deterministic build system from ‘cabal build’ and ‘spago build’ to ‘nix build ‘in like three hours. Now, I can deploy this anywhere as a self-contained VM. I’m still brainstorming the ramifications of this.

Thanks to and

github.com/harryprayiv/cheeblr

Kaushik Chakrabortykaychaks@types.pl
2026-01-16

HTTP Streaming Server in Unison

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

#sse #unisonlang #http #streaming

notes.kaushikc.org/3mci4xfzfic

2025-12-10

Advent of Code in Unison, Day 7

share.unison-lang.org/@nathani

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

2025-12-09

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.

share.unison-lang.org/@nathani

#unisonlang #adventofcode #adventofcodeunison

2025-12-06

A hair late, but here's Advent of Code in Unison, Day 5!

share.unison-lang.org/@nathani

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

2025-12-04

Advent of Code in Unison, Day 4!

share.unison-lang.org/@nathani

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

Kaushik Chakrabortykaychaks@types.pl
2025-12-04

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

notes.kaushikc.org/3m765voir4s

2025-12-03

Day03 of Advent of Code: the return of Joltage!

share.unison-lang.org/@nathani

A few hurdles dealing with List functions, but otherwise a pretty straightforward puzzle.

#unisonlang #adventofcode #adventofcodeunison

Kaushik Chakrabortykaychaks@types.pl
2025-12-02

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.

share.unison-lang.org/@kaychak

#unisonlang #adventofcode

Kaushik Chakrabortykaychaks@types.pl
2025-11-26

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

notes.kaushikc.org/3m6kc5nudgc

Kaushik Chakrabortykaushikc.org@bsky.brid.gy
2025-11-26

Sharing atproto-experiments: a foundation for building AT Protocol tools using @unison-lang.org@bsky.brid.gy . And the first tool is to sync Bluesky replies as @leaflet.pub@bsky.brid.gy comments. #atproto #unisonlang #leafletpub

atproto-experiments

Salar Rahmanian :verified: :scala: :swift: :nix:softinio@social.softinio.com
2025-02-08
Adam Millerchipadamu@fosstodon.org
2024-12-21

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

♾️

Caoilte O'Connorcaoilte
2024-12-20

@samir it wouldn't surprise me if represents code that way internally. It's certainly wrestling with escaping the same local optimum problem.

Logging has some interesting parallels. famously discarded text for its own proprietary binary format and now you can't read logs without using its tools.

Kaushik Chakrabortykaychaks@types.pl
2024-10-29

Released UniChorn - functional choreographic programming library in Unison.

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

#choreographicprogramming #unisonlang

ht @fmontesi @lindsey

2024-09-21
2024-09-20

You're coming to the #unisonlang conference today right?

Its free.

unison-lang.org/unison-forall-

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst