Eric Torreborre
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
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
Solving the AOC problems with #lean4 github.com/sdiehl/aoc-2... (why the := syntax though? 😥)
Here we go. My daughter next movie will be about mental health: www.gofundme.com/f/support-tu...
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
www.gofundme.com
November 28, 2025 at 6:24 PM
Here we go. My daughter next movie will be about mental health: www.gofundme.com/f/support-tu...
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
My daughter directed a new music video clip: youtu.be/GMujCiddg6E. Really proud of her!
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!
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
🎉 Unison 1.0 has landed!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
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
eed3si9n.com/sbt-1.12.0-M2 #Scala
sbt 1.12.0-M2 · eed3si9n
eed3si9n.com
November 25, 2025 at 6:37 AM
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
eed3si9n.com/sbt-1.12.0-M2 #Scala
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
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
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
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
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
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...
README — cure v0.2.0
cure-lang.org
November 15, 2025 at 9:05 AM
The Cure programming language is dependently-typed, with FSMs and compiles to BEAM cure-lang.org/api/readme.h...
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
Yesterday, at @lambdanantes.bsky.social, @etorreborre.blog made me want to try @unison-lang.org (for a toy project) !
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
Excellent post by Chris Penner, explaining the issues with shared state and concurrency, then showing how STM solves them: chrispenner.ca/posts/mutexes
New blog post: "My first Unison service" etorreborre.blog/my-first-uni...
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...
etorreborre.blog
November 11, 2025 at 10:30 PM
New blog post: "My first Unison service" etorreborre.blog/my-first-uni...
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
Quick blog post about data: etorreborre.blog/dont-look-do.... I'm sure that many of you have the same experience ☺️
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!🌷
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
🇳🇱 Welkom! The Unison Dutch meetup is tomorrow!
If you're in the Netherlands, rsvp and say hello to the friendly Unison crew there!🌷
If you're in the Netherlands, rsvp and say hello to the friendly Unison crew there!🌷
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
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
@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
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
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...
➡️ 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
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...
➡️ Inscriptions: mobilizon.fr/events/49cac...
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 Eric Torreborre
Venez nombreuses et nombreux, nous aurons le plaisir d'écouter @etorreborre.blog et "our very
own" @xvw.lol !
own" @xvw.lol !
October 27, 2025 at 7:38 AM
Venez nombreuses et nombreux, nous aurons le plaisir d'écouter @etorreborre.blog et "our very
own" @xvw.lol !
own" @xvw.lol !
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
Why not use arrows if we don't need the full power of monads: chrispenner.ca/posts/arrow-...
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
Getting started with writing some Unison code: www.youtube.com/watch?v=13Do...
"Why you might prefer Zig to Rust: a case study": www.linkedin.com/pulse/why-yo...
Why you might prefer Zig to Rust - a case study
Every design doc should have a mandatory section on the rationale behind the choice of the implementation language. I was going through a similar exercise and found this TigerBeetle design doc, where ...
www.linkedin.com
October 16, 2025 at 7:53 AM
"Why you might prefer Zig to Rust: a case study": www.linkedin.com/pulse/why-yo...
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
Free applicatives and the handle pattern to optimise queries to remote systems: exploring-better-ways.bellroy.com/free-applica...
"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
"The great software quality collapse" techtrenches.substack.com/p/the-great-...
"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
"Building Friendly Services from the Future with Unison" (implementation of a game backend in @unison-lang.org) : kevinhoffman.blog/posts/friend...
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
Nice exploration of lambda functions from a quantitative / qualitative point of view by Stephen Wolfram: writings.stephenwolfram.com/2025/09/the-...
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
1. permanent
2. transient
3. temporary
September 24, 2025 at 4:45 PM
Erlangers! What restart strategy do you use typically for your simple_one_for_one supervisors?
1. permanent
2. transient
3. temporary
1. permanent
2. transient
3. temporary