Gabriel Volpe
@gvolpe.com
Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell #UnisonLang
Reposted by Gabriel Volpe
🚀 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...
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...
Distributed system engineering in Unison: Volturno · Unison programming language
We look at the design of Volturno, a streaming engine with exactly-once processing, to illustrate why Unison Cloud is a great enabler for distributed systems builders.
www.unison-lang.org
November 4, 2025 at 8:26 PM
🚀 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...
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...
October 30, 2025 at 4:44 PM
Reposted by Gabriel Volpe
You can now run GHC in your browser: haskell-wasm.github.io/ghc-in-browser #haskell
ghc-in-browser
haskell-wasm.github.io
October 30, 2025 at 2:26 PM
You can now run GHC in your browser: haskell-wasm.github.io/ghc-in-browser #haskell
Reposted by Gabriel Volpe
🤯 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!
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!
@dfreeman/playbill | Unison Share
A walkthrough of building UIs with Proscenium, including several example apps.
share.unison-lang.org
October 28, 2025 at 6:01 PM
🤯 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!
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!
Interview with Senior DevOps engineer 2025
YouTube video by Kai Lentit
www.youtube.com
October 21, 2025 at 6:35 AM
Another fun project written in @unison-lang.org , deployed to Unison Cloud ⛅🚀
I promise one day I'll work on something more serious, but this will do for now to scratch that #UnisonLang itch 😅
share.unison-lang.org/@gvolpe/gig
I promise one day I'll work on something more serious, but this will do for now to scratch that #UnisonLang itch 😅
share.unison-lang.org/@gvolpe/gig
Unison Share
Explore, read docs about, and share Unison libraries
share.unison-lang.org
October 20, 2025 at 7:37 PM
Another fun project written in @unison-lang.org , deployed to Unison Cloud ⛅🚀
I promise one day I'll work on something more serious, but this will do for now to scratch that #UnisonLang itch 😅
share.unison-lang.org/@gvolpe/gig
I promise one day I'll work on something more serious, but this will do for now to scratch that #UnisonLang itch 😅
share.unison-lang.org/@gvolpe/gig
Turns out I needed the `Cache` ability in other projects too, so I released the code I had (plus some modifications) as a library. It's always fun working with @unison-lang.org :)
share.unison-lang.org/@gvolpe/cache
share.unison-lang.org/@gvolpe/cache
Unison Share
Explore, read docs about, and share Unison libraries
share.unison-lang.org
October 17, 2025 at 5:10 PM
Turns out I needed the `Cache` ability in other projects too, so I released the code I had (plus some modifications) as a library. It's always fun working with @unison-lang.org :)
share.unison-lang.org/@gvolpe/cache
share.unison-lang.org/@gvolpe/cache
I swear it's not the first time I get a hotel room that can't be found 😂🤓
October 12, 2025 at 10:31 AM
I swear it's not the first time I get a hotel room that can't be found 😂🤓
Niri is the perfect window manager (see gvolpe.com/blog/niri/), but we're out here making it extraordinary 🥳
The perfect tiling window manager • gvolpe's blog
XMonad has been my main driver for years, and I still think it’s the best X11 window manager ever. However, the X11 windowing system is quite dated, having o...
gvolpe.com
October 10, 2025 at 8:00 AM
Niri is the perfect window manager (see gvolpe.com/blog/niri/), but we're out here making it extraordinary 🥳
It's alarming that European leaders that don't understand how E2EE works are going to be voting on this proposal.
We are alarmed by reports that Germany is on the verge of a catastrophic about-face, reversing its longstanding and principled opposition to the EU’s Chat Control proposal which, if passed, could spell the end of the right to privacy in Europe. signal.org/blog/pdfs/ge...
signal.org
October 7, 2025 at 7:38 AM
It's alarming that European leaders that don't understand how E2EE works are going to be voting on this proposal.
Reposted by Gabriel Volpe
You can now spin up Unison Cloud clusters on your own infrastructure!
✅ Build elastic distributed systems and services in vastly less code
✅ Fast, typed RPC
✅ Deployments in seconds
✅ Free to get started
youtu.be/0sZqI1XoGLY
✅ Build elastic distributed systems and services in vastly less code
✅ Fast, typed RPC
✅ Deployments in seconds
✅ Free to get started
youtu.be/0sZqI1XoGLY
Unison Cloud on your infrastructure
YouTube video by Unison Language
youtu.be
October 1, 2025 at 7:39 PM
You can now spin up Unison Cloud clusters on your own infrastructure!
✅ Build elastic distributed systems and services in vastly less code
✅ Fast, typed RPC
✅ Deployments in seconds
✅ Free to get started
youtu.be/0sZqI1XoGLY
✅ Build elastic distributed systems and services in vastly less code
✅ Fast, typed RPC
✅ Deployments in seconds
✅ Free to get started
youtu.be/0sZqI1XoGLY
XMonad has been my main driver for years, but X11 has become outdated long ago, and Wayland started taking over. So I took the plunge and switched to Hyprland for over a year. It's been fine, but I wasn't entirely satisfied with it.
Now I think I've found the perfect window manager: Niri 😍
Now I think I've found the perfect window manager: Niri 😍
September 10, 2025 at 6:05 PM
XMonad has been my main driver for years, but X11 has become outdated long ago, and Wayland started taking over. So I took the plunge and switched to Hyprland for over a year. It's been fine, but I wasn't entirely satisfied with it.
Now I think I've found the perfect window manager: Niri 😍
Now I think I've found the perfect window manager: Niri 😍
Reposted by Gabriel Volpe
🌐 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.
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.
HTTP client and server and common types used for both.
share.unison-lang.org
August 28, 2025 at 6:07 PM
🌐 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.
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.
Reposted by Gabriel Volpe
🧙 For fans of optics and traversals and other such functional programming wizardry, here's Unison's own @chrispenner.ca, explaining how he composed custom Traversable instances to speed up Unison Share database queries!
Using traversals to batch database queries
Techniques for lateralizing nested code
chrispenner.ca
August 13, 2025 at 4:25 PM
🧙 For fans of optics and traversals and other such functional programming wizardry, here's Unison's own @chrispenner.ca, explaining how he composed custom Traversable instances to speed up Unison Share database queries!
What is this madness? 🤯
"Deathstar"
for(float i,z,d,f;i++<1e2;o+=vec4(4,6,8.+z,0)/f-min(dFdx(z)*r.y+z,0.)/exp(d*d/.1)){vec3 p=z*(FC.rgb*2.-r.xyy)/r.y,c=p;p.z+=8.;c.z*=3.;for(f=1.;f++<9.;c+=sin(c.yzx*f+z+t*.5)/f);z+=min(f=.1+abs(.2*c.y+abs(p.y+.8)),d=max(length(p)-3.,.9-length(p-vec3(-1,1,3))))/7.;}o=tanh(o/2e3);
for(float i,z,d,f;i++<1e2;o+=vec4(4,6,8.+z,0)/f-min(dFdx(z)*r.y+z,0.)/exp(d*d/.1)){vec3 p=z*(FC.rgb*2.-r.xyy)/r.y,c=p;p.z+=8.;c.z*=3.;for(f=1.;f++<9.;c+=sin(c.yzx*f+z+t*.5)/f);z+=min(f=.1+abs(.2*c.y+abs(p.y+.8)),d=max(length(p)-3.,.9-length(p-vec3(-1,1,3))))/7.;}o=tanh(o/2e3);
August 13, 2025 at 3:56 PM
What is this madness? 🤯
Reposted by Gabriel Volpe
And here it is, my LambdaDays 2025 talk on "Shoehorning DI into a functional programming language" : www.youtube.com/watch?v=LDln...
Shoehorning dependency injection into a FP language (...)? - Eric Torreborre | Lambda Days 2025
YouTube video by Code Sync
www.youtube.com
July 1, 2025 at 12:19 PM
And here it is, my LambdaDays 2025 talk on "Shoehorning DI into a functional programming language" : www.youtube.com/watch?v=LDln...
Reposted by Gabriel Volpe
Unison 0.5.42 is out, with some big improvements:
* Ability handlers are up to 2-80x faster (See dolio.unison-services.cloud/s/blog/posts...)
* Typo fix suggestions
* And more...
github.com/unisonweb/un...
* Ability handlers are up to 2-80x faster (See dolio.unison-services.cloud/s/blog/posts...)
* Typo fix suggestions
* And more...
github.com/unisonweb/un...
June 30, 2025 at 3:00 PM
Unison 0.5.42 is out, with some big improvements:
* Ability handlers are up to 2-80x faster (See dolio.unison-services.cloud/s/blog/posts...)
* Typo fix suggestions
* And more...
github.com/unisonweb/un...
* Ability handlers are up to 2-80x faster (See dolio.unison-services.cloud/s/blog/posts...)
* Typo fix suggestions
* And more...
github.com/unisonweb/un...
Reposted by Gabriel Volpe
Worth a watch:
Head of Signal, Meredith Whittaker, on so-called "agentic AI" and the difference between how it's described in the marketing and what access and control it would actually require to work as advertised.
Head of Signal, Meredith Whittaker, on so-called "agentic AI" and the difference between how it's described in the marketing and what access and control it would actually require to work as advertised.
June 26, 2025 at 4:28 PM
Worth a watch:
Head of Signal, Meredith Whittaker, on so-called "agentic AI" and the difference between how it's described in the marketing and what access and control it would actually require to work as advertised.
Head of Signal, Meredith Whittaker, on so-called "agentic AI" and the difference between how it's described in the marketing and what access and control it would actually require to work as advertised.
My very first contributions to #UnisonLang 's base have landed! 🥳 share.unison-lang.org/@unison/base...
Really enjoying the learning journey so far, so exciting!
Really enjoying the learning journey so far, so exciting!
Release 4.2.0 · @unison/base | Unison Share
The unison base library.
share.unison-lang.org
June 8, 2025 at 12:06 PM
My very first contributions to #UnisonLang 's base have landed! 🥳 share.unison-lang.org/@unison/base...
Really enjoying the learning journey so far, so exciting!
Really enjoying the learning journey so far, so exciting!
Reposted by Gabriel Volpe
A nice experience report post on learning and using Unison:
zetashift.unison-services.cloud/s/blog/posts...
One important note: FFI is next up on the list for Unison runtime work.
zetashift.unison-services.cloud/s/blog/posts...
One important note: FFI is next up on the list for Unison runtime work.
zetashift's blog
At work I get to deal with codebases that use a variety of programming languages and tooling to make a bunch of stuff in the world of the web. These tools have been battle-tested and they keep getting better. Yet I have this urge to explore alternatives, because I find these type of adventures fun and often educational. And so a while ago, I discovered the programming language Unison. In this post, I'll be sharing my experience learning this new programming language.
zetashift.unison-services.cloud
May 3, 2025 at 1:00 PM
A nice experience report post on learning and using Unison:
zetashift.unison-services.cloud/s/blog/posts...
One important note: FFI is next up on the list for Unison runtime work.
zetashift.unison-services.cloud/s/blog/posts...
One important note: FFI is next up on the list for Unison runtime work.
Reposted by Gabriel Volpe
👏 This is a great walk-through of the process of writing and deploying a project in Unison by @gvolpe.com! Here's to many more! 🤩
May 12, 2025 at 11:27 PM
👏 This is a great walk-through of the process of writing and deploying a project in Unison by @gvolpe.com! Here's to many more! 🤩
Reposted by Gabriel Volpe
Hello folks 👋
ScalaIO is back for another edition in 2025 🥳
🌐 It will be held at La Grande Crypte, Paris 🇫🇷 on the 17/10/2025
🎟️ Early birds tickets are already open to sales(f: Person => `scala.io`)
🤝 CFP & sponsorships will open very shortly
See you soon 😊
ScalaIO is back for another edition in 2025 🥳
🌐 It will be held at La Grande Crypte, Paris 🇫🇷 on the 17/10/2025
🎟️ Early birds tickets are already open to sales(f: Person => `scala.io`)
🤝 CFP & sponsorships will open very shortly
See you soon 😊
Scala.IO
Scala.IO is a conference for people having interest in the Scala ecosystem or simply being curious about the language, usages
scala.io
May 12, 2025 at 7:10 AM
Hello folks 👋
ScalaIO is back for another edition in 2025 🥳
🌐 It will be held at La Grande Crypte, Paris 🇫🇷 on the 17/10/2025
🎟️ Early birds tickets are already open to sales(f: Person => `scala.io`)
🤝 CFP & sponsorships will open very shortly
See you soon 😊
ScalaIO is back for another edition in 2025 🥳
🌐 It will be held at La Grande Crypte, Paris 🇫🇷 on the 17/10/2025
🎟️ Early birds tickets are already open to sales(f: Person => `scala.io`)
🤝 CFP & sponsorships will open very shortly
See you soon 😊
Reposted by Gabriel Volpe
Practical FP in Scala + Functional event-driven architecture leanpub.com/b/pfp-feda-s... by Gabriel Volpe is the featured bundle of ebooks 📚 on the Leanpub homepage! leanpub.com #FunctionalProgramming #Scala #Software #books #ebooks
Practical FP in Scala + Functional event-driven architecture
Practical FP in Scala (A hands-on approach) & Functional event-driven architecture, aka FEDA, (Powered by Scala 3), together as a bundle! The content of PFP in Scala is a requirement to understand…
leanpub.com
May 7, 2025 at 8:45 PM
Practical FP in Scala + Functional event-driven architecture leanpub.com/b/pfp-feda-s... by Gabriel Volpe is the featured bundle of ebooks 📚 on the Leanpub homepage! leanpub.com #FunctionalProgramming #Scala #Software #books #ebooks