Eric Torreborre

Unison Computing now has a consulting group · Unison programming language We are spinning up a consulting group, now open to work in a variety of languages, including Scala, Haskell, Rust, Elm, and of course Unison. Our goal is a self-sustaining model in which a mix of consulting and product revenue funds development of Unison-based tech well into the distant future. We aim to be cash flow positive as a business in the next 12 months and could use your help in getting there.

We have a consulting group, now open to work in a variety of languages, including Scala, Haskell, Rust, Elm, and of course Unison. More details here: www.unison-lang.org/blog/consult...

Please boost to help get the word out. And we'd love to hear from you if you're interested in working with us!

Introducing the Threads ability for safer structured concurrency YouTube video by Unison Language

Finally got around watching it in full. New threads ability of @unison-lang.org
youtu.be/xU_MRNNo4kg?...

I automated social media posting with this Unison cli app You know that feeling when you need to post something on social media really quickly, but then you get stuck scrolling through all the bad takes. Well, I do ...

🫣 Ever open social media to post one thing… and resurface 20 minutes later? Well, here's @impurepics.bsky.social wiring up a Unison-powered CLI solution for that. They walk through the code, the Unison workflow, and how it all fits together.

👑 Thanks @impurepics.bsky.social, we're huge fans!

Dejan Miličić - Unison: A New Programming Paradigm Unison is a pure functional language introducing a groundbreaking concept: content-addressed code. On top of the well-known advantages of functional programm...

🎥 New conference recording from the Unison community!

A deep dive into content-addressed code and how it changes refactoring, dependency management, and remote code execution.

🌟 Dejan's keynote is one to watch!

www.youtube.com/watch?v=mQHo...

This uses my Unison library for command-line args: share.unison-lang.org/@etorreborre...!

J'ai mis les slides annotés en ligne

cltdl.fr/talks/

Which programming languages are most token-efficient? Comparing token efficiency across 19 popular programming languages using RosettaCode data - from Clojure to C, there's a 2.6x difference.

#haskell is the most token-efficient statically-typed language: martinalderson.com/posts/which-... (almost on par with #python)

Support statically linking executables properly (1ac1a541) · Commits · Glasgow Haskell Compiler / GHC · GitLab Fixes #26434 In detail, this does a number of things: * Makes GHC aware of 'extra-libraries-static' (this changes the package database format). * Adds a switch '-static-external' that will honour...

#haskell will start producing static executables: gitlab.haskell.org/ghc/ghc/-/co...

Best of 2025: Most Viewed Videos on Promonews (10-1) Here are the 10 most popular music videos that we featured in 2025. That's in terms of page reads - hence they are the Most Viewed videos of the year.

Wow - my daughter, Gabrielle Torreborre, has the #1 most-viewed music video on PromoNews for 2025, ahead of Lady Gaga in second place!
www.promonews.tv/playlists/be...

runST does not prevent resources from escaping runST does not prevent resources from escaping

Good to know, I wasn't aware of this: "runST do not prevent resources from escaping" welltypedwit.ch/posts/runst-... #haskell

The best example out there is the `validation-selective` package flora.pm/packages/@ha...

Selective Applicative Functors (SAF) as "exclusive determined choice: blog.veritates.love/selective_ap... -> it helps to understand SAF as arrows choosing the next action over a limited number of choices.

Take the state of #haskell survey for 2025: www.surveymonkey.com/r/6M3Z6NV

My first answer 🥲

Shoehorning dependency injection into a FP language (...)? - Eric Torreborre | Lambda Days 2025 YouTube video by Code Sync

Sad to learn that there will not be a #lambdadays 2026 conference in Krakow. As a consolation, all the 2025 talks have now been published including mine: www.youtube.com/watch?v=LDln...

GitHub - sdiehl/aoc-2025-lean: Advent of Code 2025 done in Lean 4 Advent of Code 2025 done in Lean 4. Contribute to sdiehl/aoc-2025-lean development by creating an account on GitHub.

Solving the AOC problems with #lean4 github.com/sdiehl/aoc-2... (why the := syntax though? 😥)

Donate to Support Tussle: A Short Film About Youth Mental Health, organized by Gabrielle Torreborre Hi! I'm Gabby, a French and Australian writer/director based … Gabrielle Torreborre needs your support for Support Tussle: A Short Film About Youth Mental Health

Here we go. My daughter next movie will be about mental health: www.gofundme.com/f/support-tu...

RAGNI - MUSIC VIDEO YouTube video by Garo Studios

My daughter directed a new music video clip: youtu.be/GMujCiddg6E. Really proud of her!

Announcing Unison 1.0 After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.

🎉 Unison 1.0 has landed!

After years of engineering, design, and community collaboration, we’re excited to announce this milestone!

Spread the word!

released sbt 1.12.0-M2, which supports JAR-less scala3_library for potentially upcoming version of Scala 3.x
eed3si9n.com/sbt-1.12.0-M2 #Scala

Heapspace Heapspace is a tech community dedicated to connecting IT professionals and enthusiasts through conferences, meetups, and educational content. Our channel features recordings from Heapcon and other eve...

This was a keynote at Heapcon 2025. The videos will be available here: www.youtube.com/channel/UCSy...

Lots of reasons to love using Clojure, but Netflix reminded us of why we don’t want to use anything else…
In 12 years, over 7 different versions of Clojure (from 1.5.1 to 1.12.0) they had zero migrations!
I don’t know how to express how amazing that is

The section on the type system says that solvers are required to solve some complex dependent types constraints

Unison: A New Programming Paradigm print(("Unison", newline)); print("A new programming paradigm") Dejan Miličić JetBrains

In "a new programming paradigm" Dejan Milicic goes into why @unison-lang.org is so unique and useful: docs.google.com/presentation...

The Cure programming language is dependently-typed, with FSMs and compiles to BEAM cure-lang.org/api/readme.h...

Don't hesitate to ask questions on the Discord if in doubt!

Yesterday, at @lambdanantes.bsky.social, @etorreborre.blog made me want to try @unison-lang.org (for a toy project) !

Ditch your (mut)ex, you deserve better Mutexes are unreliable tools, let's explore better alternatives.

Excellent post by Chris Penner, explaining the issues with shared state and concurrency, then showing how STM solves them: chrispenner.ca/posts/mutexes

My first Unison Cloud service I already mentioned on this blog how amazing it feels to program with Unison. Since I started using Unison, I have created several libraries, but I never deployed and used a Unison Cloud service that wasn't just an experiment. Not anymore! Scratching...

New blog post: "My first Unison service" etorreborre.blog/my-first-uni...

Don't look down! Look at the data instead! You might get the same vertigo

Quick blog post about data: etorreborre.blog/dont-look-do.... I'm sure that many of you have the same experience ☺️

Dutch Unison Meetup Join us for a fun Dutch Unison Meetup where we'll connect, chat, and enjoy each other's company!

🇳🇱 Welkom! The Unison Dutch meetup is tomorrow!

If you're in the Netherlands, rsvp and say hello to the friendly Unison crew there!🌷