Quick blog post about data: etorreborre.blog/dont-look-do.... I'm sure that many of you have the same experience ☺️

🇳🇱 Welkom! The Unison Dutch meetup is tomorrow! If you're in the Netherlands, rsvp and say hello to the friendly Unison crew there!🌷

@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

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

You can now run GHC in your browser: haskell-wasm.github.io/ghc-in-browser #haskell

Venez nombreuses et nombreux, nous aurons le plaisir d'écouter @etorreborre.blog et "our very own" @xvw.lol !

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

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

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

Nice exploration of lambda functions from a quantitative / qualitative point of view by Stephen Wolfram: writings.stephenwolfram.com/2025/09/the-...

Erlangers! What restart strategy do you use typically for your simple_one_for_one supervisors? 1. permanent 2. transient 3. temporary

The Ruby community has a DHH problem tekin.co.uk/2025/09/the-...

Le 13 novembre, deux présentations sur l'injection de dépendances par @xvw.lol et @etorreborre.blog mobilizon.fr/events/49cac...

A rate limiter service in #unison, deployed in Unison Cloud with very few lines of code: share.unison-lang.org/@etorreborre...

If you use one of the top 10 most popular programming languages, try Scala, you'll never look at things the same way again. But if you already use Scala, the same goes for Unison. This is a great introductory video from @etorreborre.blog 👇 #scala #unison

And here it is, my LambdaDays 2025 talk on "Shoehorning DI into a functional programming language" : www.youtube.com/watch?v=LDln...

My talk about "Shoehorning DI into a FP language" at LambaConf is now available: www.youtube.com/watch?v=_AuF.... Now for the reveal... This approach doesn't scale and I did not realize at the time. Wait for my updated talk at LambdaDays 2025 to discover a much better approach!

How could we do dependency injection in Unison? At #LambdaDays, @etorreborre.blog will show how to implement a DI system in Unison using just its effect system! www.lambdadays.org/lambdadays20...

Designing error types in #rust: d34dl0ck.me/rust-bites-d...

And to be clear I am one of the people im talking about, I was a self taught rails dev before Rust entered my life! But there’s an important distinction here: we said Rust is for every *one*, not rust is for every *thing*!

A challenge we often hear from new Unison devs is around reading function signatures. Our syntax is common to ml-style languages (Haskell, Elm), but it can look intimidating when new to those langs. In this 🧵 I break down the syntax. First up, a function that is used to create an html div. 1/7

It's a delight to see that work is progressing on the tree calculus, including the introduction of some simplifying rules that make total sense: olydis.medium.com/a-visual-int...

German naming convention: chrisdone.com/posts/german...

Is this tech dead: www.isthistechdead.com?

Neal is SO close to getting it. The thing with Jane Street is is it’s quite hard to get out of it if you stay too long and I think this is a genuinely nice place to work with ultra smart people on OCaml who have a weird finance obsession.

An excellent post by Fabio Labella about using a technique from Data-oriented programming to implement a distributed data structure in @unison-lang.org: systemfw.org/posts/data-ori…

This is an excellent idea on how to get people started with writing property-based tests: hypothesis.readthedocs.io/en/latest/re...

Interesting bug, using Rust, discussed yesterday at work. Without line 101, the listener is silently dropped (this is some test code, hence the unwraps)

🔹 Speaker Spotlight: Eric Torreborre 🔹 @etorreborre.blog #Rust dev at #Ockam, returns to #LambdaDays! 🚀 He’ll tackle #dependency injection in FP, exploring what makes a good DI system & how to implement one in #Unison. Don’t miss it! 🎟️ Get your ticket now: www.lambdadays.org

Improving the performance of generators for Property-Based-Testing: www.seas.upenn.edu/~jwc/assets/... (x13!)

My vote for new batch, are languages that support algebraic effects, like Koka, Eff, OCaml, and Unison. And in spatial languages, my vote is for CellPond or anything that compiles down into it.

Open Source Software is free, but Open Source Project maintenance is expensive. The Open Source Maintenance Fee directly funds your projects' maintainers. Simple. Sensible. Sustainable. opensourcemaintenancefee.org?utm_source=B...

Happy to read zlib-rs is faster than C from @trifectatech.bsky.social. I read that post and took some notes on SIMD instructions and DFA jump threading. Feel free to check them out! xuanwo.io/links/2025/0...

Here is a discount code to attend LambdaConf this year, enjoy my talk and many other great ones! ERICTORREBORRE15, www.lambdaconf.us

Advanced but cool GHC trick for retrieving typeclass instances for elements of a pair based on the existence of an instance for the pair itself: reasonablypolymorphic.com/blog/bidirec...

Maybe the most amazing thing about Elixir to me pattern matching on binaries. Parsing a WAV file is almost as simple as writing down the file spec verbatim - look at this! #ElixirLang

🚨 There has been a breakthrough in the world of hash tables 🚨 A paper that disproves the longstanding conjecture that uniform hashing is optimal. "Optimal Bounds for Open Addressing Without Reordering" by Martín Farach-Colton, Andrew Krapivin, William Kuszmaul arxiv.org/html/2501.02...

"Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit": steve-yegge.blogspot.com/2010/12/hask.... 2010, but still funny 😄

Want some cute stickers or such? Check out the new Gleam shop! shop.gleam.run

A 40-years old conjecture about Hashtables was just disproved: www.quantamagazine.org/undergraduat...

Understanding how threads are working in our applications and how to make the most of them: www.youtube.com/watch?v=PLAp... (by Daniel Spiewak)

FloxHub now has a package explorer: hub.flox.dev/packages/dust

I need to use this to illustrate the problem Nix solves extremely well.

The Roc compiler is being rewritten from Rust to Zig: gist.github.com/rtfeldman/77.... One of the reasons is compiler speed

Another alternative to the recent OO vs FP posts: discourse.haskell.org/t/bluefin-ve.... Initial posts: - "OOP is not that bad actually" osa1.net/posts/2024-1... - "Bluefin versus OOP" h2.jaguarpaw.co.uk/posts/bluefi...

Should you use Kafka? If so, when? And what are the tradeoffs presented by the dizzying variety of Kafka-adjacent technologies? I hope that my latest blog post provides unique and useful answers to these questions. Let me know what you all think! 👉 www.responsive.dev/blog/why-whe...