Eric Torreborre
etorreborre.blog
Eric Torreborre
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries)

github.com/etorreborre
etorreborre.blog
Solving the AOC problems with #lean4 github.com/sdiehl/aoc-2... (why the := syntax though? 😥)
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.
github.com
December 5, 2025 at 8:48 AM
My daughter directed a new music video clip: youtu.be/GMujCiddg6E. Really proud of her!
RAGNI - MUSIC VIDEO
YouTube video by Garo Studios
youtu.be
November 27, 2025 at 4:25 PM
Reposted by Eric Torreborre
🎉 Unison 1.0 has landed!

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

Spread the word!
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.
www.unison-lang.org
November 25, 2025 at 7:01 PM
Reposted by Eric Torreborre
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
sbt 1.12.0-M2 · eed3si9n
eed3si9n.com
November 25, 2025 at 6:37 AM
Reposted by Eric Torreborre
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
November 16, 2025 at 7:23 PM
In "a new programming paradigm" Dejan Milicic goes into why @unison-lang.org is so unique and useful: docs.google.com/presentation...
Unison: A New Programming Paradigm
print(("Unison", newline)); print("A new programming paradigm") Dejan Miličić JetBrains
docs.google.com
November 15, 2025 at 9:26 AM
The Cure programming language is dependently-typed, with FSMs and compiles to BEAM cure-lang.org/api/readme.h...
README — cure v0.2.0
cure-lang.org
November 15, 2025 at 9:05 AM
Reposted by Eric Torreborre
Yesterday, at @lambdanantes.bsky.social, @etorreborre.blog made me want to try @unison-lang.org (for a toy project) !
November 14, 2025 at 2:12 PM
Excellent post by Chris Penner, explaining the issues with shared state and concurrency, then showing how STM solves them: chrispenner.ca/posts/mutexes
Ditch your (mut)ex, you deserve better
Mutexes are unreliable tools, let's explore better alternatives.
chrispenner.ca
November 13, 2025 at 3:42 PM
Quick blog post about data: etorreborre.blog/dont-look-do.... I'm sure that many of you have the same experience ☺️
Don't look down! Look at the data instead!
You might get the same vertigo
etorreborre.blog
November 4, 2025 at 12:08 PM
Reposted by Eric Torreborre
🇳🇱 Welkom! The Unison Dutch meetup is tomorrow!

If you're in the Netherlands, rsvp and say hello to the friendly Unison crew there!🌷
Dutch Unison Meetup
Join us for a fun Dutch Unison Meetup where we'll connect, chat, and enjoy each other's company!
www.eventbrite.com
November 3, 2025 at 6:41 PM
Reposted by Eric Torreborre
@atlassian.bsky.social runs massive scale #OpenSearch deployment, with 300+ clusters, 23B+ documents per cluster 🫨
Atlassian uses @opensearch.org across the org: operational data, user search, Jira, Enterprise search with Rovo.
And it's on Kubernetes!
#OpenSearchCon Korea keynote by Cameron Stewart
November 4, 2025 at 5:54 AM
Reposted by Eric Torreborre
Lambda Nantes 8ème édition c'est la semaine prochaine, le 13 novembre, à l'Epitech à partir de 19h. @etorreborre.blog et @xvw.lol nous parlerons d'injection de dépendances dans les langages fonctionnels, respectivement en Unison et en OCaml.
➡️ Inscriptions: mobilizon.fr/events/49cac...
Lambda Nantes 8: de l'injection de dépendances dans les langages fonctionnels
13 nov. 2025, 19:00:00 - GMT+1 - Epitech, 44100, Nantes, France - Nous avons le plaisir de vous convier à une édition de Lambda-Nantes dédiée à l'injection de dépendances, plus particulièrement dans l...
mobilizon.fr
November 3, 2025 at 10:17 AM
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
Reposted by Eric Torreborre
Venez nombreuses et nombreux, nous aurons le plaisir d'écouter @etorreborre.blog et "our very
own" @xvw.lol !
October 27, 2025 at 7:38 AM
Why not use arrows if we don't need the full power of monads: chrispenner.ca/posts/arrow-...
Exploring Arrows for sequencing effects
Monads are <em>one</em> way to sequence effects, but they're not the only way!
chrispenner.ca
October 24, 2025 at 7:48 AM
Getting started with writing some Unison code: www.youtube.com/watch?v=13Do...
Starting the UCM and setting up a scratch file
YouTube video by Unison Language
www.youtube.com
October 22, 2025 at 4:58 PM
Free applicatives and the handle pattern to optimise queries to remote systems: exploring-better-ways.bellroy.com/free-applica...
Free applicatives, the handle pattern, and remote systems
Using free applicatives and the handle pattern to batch, optimise and test interactions with remote systems
exploring-better-ways.bellroy.com
October 13, 2025 at 8:47 AM
"The great software quality collapse" techtrenches.substack.com/p/the-great-...
The Great Software Quality Collapse: How We Normalized Catastrophe
The Apple Calculator leaked 32GB of RAM.
techtrenches.substack.com
October 10, 2025 at 1:51 PM
"Building Friendly Services from the Future with Unison" (implementation of a game backend in @unison-lang.org) : kevinhoffman.blog/posts/friend...
Building Friendly Services from the Future with Unison | Kevin Hoffman's Blog
I build some services, APIs, and data code in Unison
kevinhoffman.blog
October 3, 2025 at 8:01 AM
Nice exploration of lambda functions from a quantitative / qualitative point of view by Stephen Wolfram: writings.stephenwolfram.com/2025/09/the-...
The Ruliology of Lambdas
Stephen Wolfram explains the rich ruliology of lambdas, made particularly significant by their connection to practical computing. Covers basic computations to undecidability to multiway graphs and evaluation strategies.
writings.stephenwolfram.com
September 25, 2025 at 9:41 AM
Reposted by Eric Torreborre
Erlangers! What restart strategy do you use typically for your simple_one_for_one supervisors?
1. permanent
2. transient
3. temporary
September 24, 2025 at 4:45 PM