
Unison | @unison-lang.org on bsky
@unisonweb
Followers
5K
Following
337
Media
159
Statuses
861
Friendly programming language from the future Open source https://t.co/hDNFLjJ8Yy Cloud platform: https://t.co/fFWPp8vU2t https://t.co/KPdfGUPVDa
Planet Earth
Joined March 2014
Coming soon: create Unison Cloud clusters in minutes on your own infra, anywhere. https://t.co/6zEPL9DiPn π All data stays with you. We don't see service requests or data in storage. β‘οΈ Services deploy in seconds, service calls in 1 LOC, and more.. https://t.co/6zEPL9DiPn
unison.cloud
Deploy to the cloud with a function call. Call services as easily as local functions, verified by the typechecker. Access typed storage as easily as in-memory data structures.
0
4
20
The UCM-Desktop has a new release! Version 1.3.0 is pretty smooth, with new animations and workflow helpers. π¨ Support for folding cards Copy formatted source code button Better card focus indicators View and copy a definition hash Get it here: https://t.co/5AK8jJxrNW
0
4
9
π€ Check out our new side-by-side language pages for Unison! We provide comparisons for syntax and patterns found in other languages and how to accomplish them in Unison. Here's a snippet from our #Python guide. π More to come! https://t.co/HEiASgmkKU
0
6
14
π New major release of Unisonβs HTTP library Making a bunch of requests to the same host? The new client features connection pooling + keep-alives for efficient connection re-use, plus custom TLS certs support. https://t.co/Kx01dIlIvN
share.unison-lang.org
HTTP client and server and common types used for both.
0
2
9
π₯οΈ UCM Desktop 1.2.1 is out! Polish for a smoother Unison workflow: β¨ Better light mode contrast (including overlays) π― Clearer focus indicators β¨οΈ Keyboard shortcut guide (in Settings) π±οΈ Click cards to focus https://t.co/rtvNmmEu5G
1
5
10
I LOVE that i can generate diagrams in @unisonweb ... from the code itself! Approach: Imperative DSL that produces a description of a circuit. Unison's "live" docs transforms that description into diagrams as part of rendering the docs. Pretty effortlessly.
1
4
14
π° UCM 0.5.45 is out β Adds a Unison MCP server. Agents can typecheck your code, search for libraries, or inspect your project π New transcript.in-place option modifies your codebase π‘ lib.install.local command installs a local project as a dependency https://t.co/rBpbiL2lT8
0
2
4
Did you know, Unison has a @zeddotdev extension? It's built by our wonderful community! πΈ The friendly programming language from the future plays nice with your favorite editors. π½βοΈ https://t.co/jjYiO3dKtC
zed.dev
A native Zed extension for unison.
0
2
5
π± Cats can have a little-endian byte array read, as a treat. https://t.co/ZiV8u40Cvi
https://t.co/ZiV8u40Cvi
0
2
3
There's not one but TWO articles about optimizing Unison tooling by the illustrious Chris Penner in today's Haskell Weekly newsletter! Check it out! Unison π #Haskell
https://t.co/10gods8iqS
https://t.co/10gods8iqS
haskellweekly.news
News about the Haskell programming language from 2025-08-14.
0
3
5
π§ For fans of optics and traversals and other such functional programming wizardry, here's Unison's own Chris Penner, explaining how he composed custom Traversable instances to speed up Unison Share database queries! https://t.co/lsznAsEA4t
chrispenner.ca
Techniques for lateralizing nested code
0
3
15
π Unison 0.5.44 is out! This version includes some real treats for devs: β¨ New, streamlined workflow for updating code ποΈ Tab-complete remote project and branch names π© 30% faster downloads from Unison Share Full release notes: https://t.co/wS20Czk907
0
1
5
π Tab completion for remote projects and branches on Unison Share is here! No more typos or flipping to the browser to check spellings. It's a delightful quality-of-life win for Unison devs!
0
2
7
βοΈ Here's a blog post about mixing `Random` weighted values with the `Each` ability to write data generators in Unison. Useful for creating data for testing, tutorials, or mocks! https://t.co/88eM3PTqxF
0
2
2
@unisonweb could potentially solve all of these problems; keeping my fingers crossed that others will come to the same conclusion!
0
2
5
New episode of the Func Prog Podcast where I talk @unisonweb with @etorreborre! Tune in to find out how the Unison programming language might just revolutionize how we build software systems. Listen in at any of the links belowπ
1
3
18
Ultimately, we chose to migrate to Electron (still with Elm) due to convenience and better guarantees for a uniform experience across platforms.
0
0
2
MacOS Sonoma, naturally, has a much older WebView than MacOS Sequoia. This meant that we needed more extensive cross-platform testing and a lot of web features we couldn't fully utilize, for instance relying on `:has` or `gap` in flexbox.
1
0
0
Instead of bundling Chromium with the app like Electron does, Tauri uses the WebView found in the host OS to render the app. This is great to reduce footprint, but means variation between the platforms, both between Mac and Windows, and also between versions of a single OS.
1
0
0
The first version of UCM Desktop was released using Tauri (and Elm). Tauri is a really cool project, but the fundamentals of how they achieve smaller app footprints (while clever), didn't work for our small team.
1
0
0
UCM Desktop 1.1.0 is out: https://t.co/zOPQHofLsn - Tauri to Electron migration - Light mode colors in the Finder - Ensure a definition is scrolled to when opened - Hitting `shift+x` closes all open definitions More on the Tauri to Electron migrationπ§΅ https://t.co/zOPQHofLsn
1
2
8