Sign in

Eric Torreborre

@etorreborre.blog
1.3K followers 770 following 132 posts

Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog

PostsRepliesMedia
Reposted by Eric Torreborre
Qian Li @qianli.dev · 26/09/2026
Be aware of Postgres SELECT DISTINCT.
095
Eric Torreborre @etorreborre.blog · 24/09/2026
DHH goes to a Rails conference and tells developers why he's switching everything to Rust and native: www.youtube.com/watch?v=vDjW...
youtube.com
Rails World 2026 Opening Keynote - DHH
YouTube video by Ruby on Rails
050
Eric Torreborre @etorreborre.blog · 11/08/2026
This is not your grand-father Java anymore: cchantep.github.io/blog/en/java...!
cchantep.github.io
Looking back at Java evolution since Java 8
Personal site
020
Eric Torreborre @etorreborre.blog · 10/08/2026
Very useful way to make Claude's output really get to the point: github.com/alexgreensh/.... I find the rundown style quite effective.
github.com
GitHub - alexgreensh/attention-span: Make your agents talk human. ADHD-friendly output styles for Claude Code. So you can pay attention, not tokens.
Make your agents talk human. ADHD-friendly output styles for Claude Code. So you can pay attention, not tokens. - alexgreensh/attention-span
020
Eric Torreborre @etorreborre.blog · 10/08/2026
Tracked capabilities for safer agents: martinodersky.substack.com/p/tracked-ca... #scala
martinodersky.substack.com
Tracked Capabilities for Safer Agents
This post describes the ideas behind our paper “Securing Agents with Tracked Capabilities”
010
Reposted by Eric Torreborre
xvw @xvw.lol · 21/05/2026
We are at LambdaNantes ! Hosted by Adam and @pankzsoft.net , at @epitech-officiel.bsky.social #nantes ! With @etorreborre.blog and @clementd.wtf as speakers !
073
Reposted by Eric Torreborre
Arnaud @pankzsoft.net · 21/05/2026
@lambdanantes.bsky.social ca commence fort avec @etorreborre.blog qui nous parle de modularité et compositionnalité
032
Eric Torreborre @etorreborre.blog · 18/05/2026
process-compose is nifty tool if you need to run several processes on your machine with dependencies between them: f1bonacc1.github.io/process-comp...
f1bonacc1.github.io
Process Compose
Process Compose is a simple and flexible scheduler and orchestrator to manage non-containerized applications.
010
Eric Torreborre @etorreborre.blog · 15/05/2026
"Reliable AI-free support bots" computational.chat/articles/ai-.... Excellent product idea, implemented with @unisonweb!
computational.chat
Reliable AI-free Support Bots | You don't need an LLM for that | Computational Conversations
This post introduces a new approach to creating LLM-free support bots. In addition to providing a great user experience, these bots are reliable, speedy, hallucination free, and overall cheaper, simpl...
012
Reposted by Eric Torreborre
Lambda Nantes @lambdanantes.bsky.social · 06/05/2026
⚠️ Le prochain Lambda Nantes aura lieu le 21 mai, à partir de 19h, toujours dans les locaux de l'Epitech Nantes. @clementd.wtf nous parlera de ses amours traversières et @etorreborre.blog de ses explorations compositionnelles. Venez nombreuses et nombreux ! mobilizon.fr/events/80450...
mobilizon.fr
Programmation compositionnelle et traversabilité
21 mai 2026, 19:00:00 - GMT+02:00 - 2 Place Louis Daubenton, 44100, Nantes, France - Pour cette pénultième session de la saison 2025-2026 de Lambda Nantes nous avons le plaisir de vous proposer 2 prés...
155
Eric Torreborre @etorreborre.blog · 03/05/2026
There's a RFC to add implicit parameters to #unison github.com/unisonweb/un... (and a prototype!) 🎉
github.com
Implicit parameters for Unison — RFC + partial prototype by runarorama · Pull Request #6229 · unisonweb/unison
This is a DRAFT of an RFC This PR serves as a suggestion for how implicits in Unison might work, and explores some of the code changes that would be necessary to make that a reality. This proposes ...
030
Eric Torreborre @etorreborre.blog · 29/04/2026
You gotta love a good, confident, agent: "Honest answer: I didn't verify those values, I just picked round numbers and asserted "matches Haskell". Let me actually check."
120
Reposted by Eric Torreborre
Unison @unison-lang.org · 26/03/2026
computational.chat introduces a simple idea: computations that can pause for user input with rich UI controls. Unlike a typical chatbot, there's a real programming model here, and these conversational flows can include any mix of regular code, humans-in-the loop, and LLMs.
093
Eric Torreborre @etorreborre.blog · 17/03/2026
Tired of typing stuff for your agent CLI? Here is a cool dictation app: github.com/build-trust/... (backed-up by gpt models and @autonomy_comp behind the scene)
github.com
GitHub - build-trust/freeflow: FreeFlow - seamless speech to text in any app. Press a hotkey, dictate naturally, polished text appears in any app.
FreeFlow - seamless speech to text in any app. Press a hotkey, dictate naturally, polished text appears in any app. - build-trust/freeflow
000
Eric Torreborre @etorreborre.blog · 12/03/2026
A quick post about Gleam: etorreborre.blog/partial-and-...
etorreborre.blog
000
Eric Torreborre @etorreborre.blog · 12/03/2026
Typecking Nix via,... TypeScript! github.com/ryanrasti/ty...
github.com
GitHub - ryanrasti/typenix: Full typing for Nix based on TypeScript
Full typing for Nix based on TypeScript. Contribute to ryanrasti/typenix development by creating an account on GitHub.
030
Reposted by Eric Torreborre
Unison @unison-lang.org · 19/02/2026
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!
unison-lang.org
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.
02210
Reposted by Eric Torreborre
mechadense.bsky.social @mechadense.bsky.social · 21/02/2026
Finally got around watching it in full. New threads ability of @unison-lang.org youtu.be/xU_MRNNo4kg?...
youtu.be
Introducing the Threads ability for safer structured concurrency
YouTube video by Unison Language
072
Reposted by Eric Torreborre
Unison @unison-lang.org · 24/02/2026
🫣 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!
youtu.be
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 ...
063
Reposted by Eric Torreborre
Unison @unison-lang.org · 26/02/2026
🎥 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...
youtube.com
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...
0127
Eric Torreborre @etorreborre.blog · 23/02/2026
This uses my Unison library for command-line args: share.unison-lang.org/@etorreborre...!
share.unison-lang.org
@etorreborre/potions | Unison Share
This is a library for parsing command-line arguments. #cli #options
020
Reposted by Eric Torreborre
France traversée @clementd.wtf · 21/02/2026
J'ai mis les slides annotés en ligne cltdl.fr/talks/
cltdl.fr
Clément Delafargue 🚸
2115
Eric Torreborre @etorreborre.blog · 16/01/2026
#haskell is the most token-efficient statically-typed language: martinalderson.com/posts/which-... (almost on par with #python)
martinalderson.com
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.
051
Eric Torreborre @etorreborre.blog · 16/01/2026
#haskell will start producing static executables: gitlab.haskell.org/ghc/ghc/-/co...
gitlab.haskell.org
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...
030
Eric Torreborre @etorreborre.blog · 12/01/2026
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...
promonews.tv
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.
2100
Eric Torreborre @etorreborre.blog · 01/01/2026
Good to know, I wasn't aware of this: "runST do not prevent resources from escaping" welltypedwit.ch/posts/runst-... #haskell
welltypedwit.ch
runST does not prevent resources from escaping
runST does not prevent resources from escaping
030
Reposted by Eric Torreborre
Haskell programming language @haskell.org · 16/12/2025
The best example out there is the `validation-selective` package flora.pm/packages/@ha...
flora.pm
@hackage › validation-selective — Flora.pm
Lighweight pure data validation based on Applicative and Selective functors
081
Eric Torreborre @etorreborre.blog · 16/12/2025
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.
blog.veritates.love
Selective Applicative Functors
040
Eric Torreborre @etorreborre.blog · 11/12/2025
Take the state of #haskell survey for 2025: www.surveymonkey.com/r/6M3Z6NV My first answer 🥲
1142
Eric Torreborre @etorreborre.blog · 10/12/2025
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...
youtube.com
Shoehorning dependency injection into a FP language (...)? - Eric Torreborre | Lambda Days 2025
YouTube video by Code Sync
041
Eric Torreborre @etorreborre.blog · 05/12/2025
Solving the AOC problems with #lean4 github.com/sdiehl/aoc-2... (why the := syntax though? 😥)
github.com
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.
041
Eric Torreborre @etorreborre.blog · 28/11/2025
Here we go. My daughter next movie will be about mental health: www.gofundme.com/f/support-tu...
gofundme.com
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
130
Eric Torreborre @etorreborre.blog · 27/11/2025
My daughter directed a new music video clip: youtu.be/GMujCiddg6E. Really proud of her!
youtu.be
RAGNI - MUSIC VIDEO
YouTube video by Garo Studios
040
Reposted by Eric Torreborre
Unison @unison-lang.org · 25/11/2025
🎉 Unison 1.0 has landed! After years of engineering, design, and community collaboration, we’re excited to announce this milestone! Spread the word!
unison-lang.org
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.
012462
Reposted by Eric Torreborre
∃ugene -Yokota 🥙 @eed3si9n.com · 25/11/2025
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 · eed3si9n
031
Reposted by Eric Torreborre
Quoll @gearon.org · 16/11/2025
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
33310
Eric Torreborre @etorreborre.blog · 15/11/2025
In "a new programming paradigm" Dejan Milicic goes into why @unison-lang.org is so unique and useful: docs.google.com/presentation...
docs.google.com
Unison: A New Programming Paradigm
print(("Unison", newline)); print("A new programming paradigm") Dejan Miličić JetBrains
1133
Eric Torreborre @etorreborre.blog · 15/11/2025
The Cure programming language is dependently-typed, with FSMs and compiles to BEAM cure-lang.org/api/readme.h...
cure-lang.org
README — cure v0.2.0
130
Reposted by Eric Torreborre
xvw @xvw.lol · 14/11/2025
Yesterday, at @lambdanantes.bsky.social, @etorreborre.blog made me want to try @unison-lang.org (for a toy project) !
243
Eric Torreborre @etorreborre.blog · 13/11/2025
Excellent post by Chris Penner, explaining the issues with shared state and concurrency, then showing how STM solves them: chrispenner.ca/posts/mutexes
chrispenner.ca
Ditch your (mut)ex, you deserve better
Mutexes are unreliable tools, let's explore better alternatives.
040
Eric Torreborre @etorreborre.blog · 11/11/2025
New blog post: "My first Unison service" etorreborre.blog/my-first-uni...
etorreborre.blog
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...
072
Eric Torreborre @etorreborre.blog · 04/11/2025
Quick blog post about data: etorreborre.blog/dont-look-do.... I'm sure that many of you have the same experience ☺️
etorreborre.blog
Don't look down! Look at the data instead!
You might get the same vertigo
030
Reposted by Eric Torreborre
Unison @unison-lang.org · 03/11/2025
🇳🇱 Welkom! The Unison Dutch meetup is tomorrow! If you're in the Netherlands, rsvp and say hello to the friendly Unison crew there!🌷
eventbrite.com
Dutch Unison Meetup
Join us for a fun Dutch Unison Meetup where we'll connect, chat, and enjoy each other's company!
045
Reposted by Eric Torreborre
𝙳𝚘𝚝𝚊𝚗 𝙷𝚘𝚛𝚘𝚟𝚒𝚝𝚜 @horovits.bsky.social · 04/11/2025
@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
041
Reposted by Eric Torreborre
Lambda Nantes @lambdanantes.bsky.social · 03/11/2025
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...
mobilizon.fr
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...
042
Eric Torreborre @etorreborre.blog · 30/10/2025
You can now run GHC in your browser: haskell-wasm.github.io/ghc-in-browser #haskell
haskell-wasm.github.io
ghc-in-browser
061
Reposted by Eric Torreborre
Lambda Nantes @lambdanantes.bsky.social · 27/10/2025
Venez nombreuses et nombreux, nous aurons le plaisir d'écouter @etorreborre.blog et "our very own" @xvw.lol !
033
Eric Torreborre @etorreborre.blog · 24/10/2025
Why not use arrows if we don't need the full power of monads: chrispenner.ca/posts/arrow-...
chrispenner.ca
Exploring Arrows for sequencing effects
Monads are <em>one</em> way to sequence effects, but they're not the only way!
040
Eric Torreborre @etorreborre.blog · 22/10/2025
Getting started with writing some Unison code: www.youtube.com/watch?v=13Do...
youtube.com
Starting the UCM and setting up a scratch file
YouTube video by Unison Language
062
Eric Torreborre @etorreborre.blog · 16/10/2025
"Why you might prefer Zig to Rust: a case study": www.linkedin.com/pulse/why-yo...
linkedin.com
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 ...
030