Sign in

Eric Torreborre

@etorreborre.blog
1.4K followers 771 following 135 posts

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

PostsRepliesMedia
Reposted by Eric Torreborre
Alexandru Nedelcu @alexn.org · 12/10/2026
Martin Odersky – Keynote: The End of Programming? #ScalaDays #Scala www.youtube.com/watch...
youtube.com
Martin Odersky – Keynote: The End of Programming? #ScalaDays
Scala Days Conferences
081
Reposted by Eric Torreborre
Unison @unison-lang.org · 09/10/2026
Unison Cloud, our distributed computing platform, is now open source: www.unison-lang.org/blog/unison-... ✅ Service deploys in seconds. ✅ Fast, typed, inter-service communication ✅ High level, multi-node structured concurrency programming model ✅ Typed storage ...and more
unison-lang.org
Unison Cloud is now open source · Unison programming language
Unison Cloud is open source, MIT licensed.
12917
Eric Torreborre @etorreborre.blog · 08/10/2026
Anonymous records, implicits and meta-programming coming next!
020
Eric Torreborre @etorreborre.blog · 08/10/2026
Unison 1.5.0 is out, featuring GADTs and indexed abilities. Also some new builtins for variadic FFI, POSIX signal subscriptions, and error message improvements. Release notes: github.com/unisonweb/un... GADT docs: unison-lang.org/docs/fundame... (copied from the similar announcement on X)
github.com
Release release/1.5.0 · unisonweb/unison
What's Changed GADTs: type Foo a b where ... by @runarorama in #6257 GADT-indexed abilities: index refinement for handlers by @runarorama in #6258 Improve error message for pattern matching in fun...
152
Eric Torreborre @etorreborre.blog · 04/10/2026
I hadn't seen that talk. Just skimmed it now and if I understand it correctly, that makes a lot of sense! Thanks for the pointer Andreas, I'll keep that in mind (I'm using very bare bones Claude and Codex these days. Nothing like launching a hoard of agents 24/7)
010
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
Eric Torreborre @etorreborre.blog · 10/05/2026
I haven't watched the video yet and didn't know about the second one. But I know that the risk of famine is real. I will watch them, thanks!
010
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
Eric Torreborre @etorreborre.blog · 18/11/2025
This was a keynote at Heapcon 2025. The videos will be available here: www.youtube.com/channel/UCSy...
youtube.com
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...
020
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
The section on the type system says that solvers are required to solve some complex dependent types constraints
110
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
Eric Torreborre @etorreborre.blog · 14/11/2025
Don't hesitate to ask questions on the Discord if in doubt!
020
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