etorreborre.blog - Profile | ThreadSky | a Reddit-style client for Bluesky

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

submitted 4 days ago • 0 comments

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

submitted 7 days ago • 6 comments

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

submitted 11 days ago • 1 comment

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

submitted 11 days ago • 0 comments

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

submitted 13 days ago • 3 comments

submitted 12 days ago • 0 comments

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

submitted 14 days ago • 0 comments

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)

submitted 14 days ago • 0 comments

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

submitted 18 days ago • 0 comments

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

submitted 19 days ago • 0 comments

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

submitted 19 days ago • 0 comments

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

submitted 20 days ago • 0 comments

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

submitted 21 days ago • 0 comments

JSON Web Toke Visualized

submitted 20 days ago • 1 comment

Meta's VideoJAM

submitted 20 days ago • 1 comment

Why is laziness useful in a programming language, a classic by @kmett.ai: www.reddit.com/r/haskell/co...

submitted 24 days ago • 0 comments

Penn and Teller, still creative after 50 years in the business. Watch this: youtu.be/IPXr7pzBDTY?.... It looks lame, until you watch the rest: youtu.be/IPXr7pzBDTY?...

submitted 24 days ago • 0 comments

The #haskell library for gRPC looks really good: well-typed.com/blog/2025/01...

submitted 26 days ago • 0 comments

Stop using CPU limits in Kubernetes: home.robusta.dev/blog/stop-us...

submitted 27 days ago • 0 comments

Our favorite YAML config video is back in this gem of a blog post by @etorreborre.blog!

submitted 28 days ago • 0 comments

I expand a bit on why we need a real programming language to configure our systems in my latest blog post: etorreborre.blog/we-can-do-mu...

submitted 28 days ago • 0 comments

This is Terraform: variable "db_username" { description = "Postgres username" type = string } When are we going to leverage the real PL knowledge around us and apply it in the industry (cf dhall or nickel)?

submitted 28 days ago • 1 comment

I've been asked what is my 4 phases process for preparing talks: 1. Collect ideas / research / make a plan. 2. Make slides. 3. Practice the slides out loud. Refine / animate the slides until the flow is smooth. 4. Practice the slides out loud. Adjust until the timing is ok.

submitted 34 days ago • 1 comment

A game of Tetris, in pdf: th0mas.nl/downloads/pd...! (via @rlmark.bsky.social)

submitted 40 days ago • 0 comments

New release of the Dhall language standard ☑️ Language support for binary literals ☑️ New Prelude.Function.composeList utility ☑️ Lots of small fixes and corrections to the language standard For more details, see: github.com/dhall-lang/d...

submitted 40 days ago • 0 comments

This will be, I think, a huge step up in accesibility for @unison-lang – the existing dev tooling was very good, but everyone also knew if felt kind of strange. This sidesteps a lot of the unnecessary strangeness while keeping the extremely good strange parts of Unison.

submitted 46 days ago • 1 comment

Not a surprise that we love Rust at @oxide.computer! It's ecosystem of crates is a great strength. Last night @bcantrill.bsky.social and I spoke with our colleague @sunshowers.io, @elizas.website, and @steveklabnik.com about the crates we love. Lotta great stuff out there! youtu.be/BTnrXDjxbBw

submitted 41 days ago • 2 comments

This was pretty good article imo

submitted 41 days ago • 2 comments

Understanding the Linux File System Layout

submitted 42 days ago • 1 comment

Why is #rust nextest running one process per test sunshowers.io/posts/nextes...

submitted 46 days ago • 0 comments

Comonads and stencils, the right tools to run cellular automata abhinavsarkar.net/posts/solvin...

submitted 46 days ago • 0 comments

Reasonable advices how the "hexagonal architecture" www.howtocodeit.com/articles/mas...

submitted 46 days ago • 1 comment

Write #ethereum applications with #haskell instead of #solidity yolc.dev/blog/introdu...

submitted 46 days ago • 1 comment

#curl's cookie parser now caps the expiration date 400 days into the future. https://github.com/curl/curl/pull/15937

submitted 46 days ago • 0 comments

Find out which font you like www.codingfont.com

submitted 49 days ago • 2 comments

Wednesday's The Pragmatic Engineer Podcast episode is with a truly standout tech recruiter I worked with: Blake Stockman. He was a tech recruiter at Google, Meta, Uber, Flexport, Y Combinator. He left recruiting a few months ago to study law. And so speaks unusually freely about tech recruitment.

submitted 49 days ago • 2 comments

I'm not sure where I would use it but this seems like a clever trick for writing some DSLs: acatalepsie.fr/posts/overlo... #haskell

submitted 51 days ago • 0 comments

Origami Black Hole xkcd.com/3033

submitted 52 days ago • 102 comments

I just published a library to parse and validate TOML documents in @unison-lang.org: share.unison-lang.org/@etorreborre.... It was more complex than what I expected from a "simple" format.

submitted 53 days ago • 0 comments

Right before the new year, my retrospective for 2024: etorreborre.blog/2024-in-review. Happy 2025 everyone!

submitted 55 days ago • 0 comments

A series of videos presenting flox, my favorite package manager: www.youtube.com/watch?v=G4eF...

submitted 56 days ago • 0 comments

10% of #scala users still use #specs2. That justifies my ongoing commitment to support the library: blog.jetbrains.com/scala/2024/1.... It's also interesting to see that 24% of users still use JUnit, the Granddaddy of all the testing libraries!

submitted 57 days ago • 2 comments

☝️ This is good, actually

submitted 58 days ago • 0 comments

check out ghostty.org I've been using for a while - it's great! ✨ ... and it's just been open-sourced on github.com/ghostty-org/...

submitted 60 days ago • 26 comments

REST is a good example of a word that has completely escaped its original meaning: twobithistory.org/2020/06/28/r.... We can't go back now.

submitted 60 days ago • 1 comment