Tessera
Folgen

Eric Torreborre

@etorreborre.blog

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

128 Posts1333 Follower770 Folgt
Lambda Nantes@lambdanantes.bsky.social · 3mo ago

⚠️ 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...

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...

mobilizon.fr

Eric Torreborre@etorreborre.blog · 3mo ago

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."

Unison@unison-lang.org · 4mo ago

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.

Eric Torreborre@etorreborre.blog · 5mo ago

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 - 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

github.com

Unison@unison-lang.org · 6mo ago

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 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.

unison-lang.org

Unison@unison-lang.org · 5mo ago

🫣 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!

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 ...

youtu.be

Unison@unison-lang.org · 5mo ago

🎥 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...

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...

youtube.com

Haskell programming language@haskell.org · 8mo ago

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

@hackage › validation-selective — Flora.pm

Lighweight pure data validation based on Applicative and Selective functors

flora.pm

Eric Torreborre@etorreborre.blog · 8mo ago

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.