Silvestro Ranucci's Avatar

Silvestro Ranucci

@sranu.bsky.social

I live at the intersection. Software engineer interested in software correctness, functional programming, distributed systems and database internals. By day TypeScript with Effect.ts on Node.js. By night Rust or Haskell. Opinions are my own.

47 Followers  |  418 Following  |  3 Posts  |  Joined: 15.11.2024  |  2.1996

Latest posts by sranu.bsky.social on Bluesky

Converging Database Architectures  DuckDB in PostgreSQL
YouTube video by Data Council Converging Database Architectures DuckDB in PostgreSQL

Recording of my Data Council talk:
www.youtube.com/watch?v=HZAr...

29.05.2025 21:18 β€” πŸ‘ 13    πŸ” 2    πŸ’¬ 0    πŸ“Œ 1
A joyful Ferris the crab throws confetti under text that reads "Happy 10th birthday, Rust 1.0!"

A joyful Ferris the crab throws confetti under text that reads "Happy 10th birthday, Rust 1.0!"

Today marks a decade since the 1st stable release of #rustlang πŸŽ‰ To commemorate this milestone, we asked Karen TΓΆlva (Ferris creator πŸ¦€) to design a celebratory graphic & answer a few questions in our blog.

Congrats to EVERYONE who has made Rust what it is today 🧑

rustfoundation.org/media/celebr...

15.05.2025 07:20 β€” πŸ‘ 148    πŸ” 44    πŸ’¬ 1    πŸ“Œ 4
A dark-themed terminal screenshot showing Node.js v23.11.0 and a console.log() call with a format string. The command console.log('Event: %j', {foo: 'bar'}) is displayed, with a yellow arrow pointing to the resulting JSON string {"foo":"bar"}. A label below reads 'JSON.stringify(...)' to explain the %j placeholder behavior.

A dark-themed terminal screenshot showing Node.js v23.11.0 and a console.log() call with a format string. The command console.log('Event: %j', {foo: 'bar'}) is displayed, with a yellow arrow pointing to the resulting JSON string {"foo":"bar"}. A label below reads 'JSON.stringify(...)' to explain the %j placeholder behavior.

console.log() is probably the first function I ever used in Node.js...

And yet, I was today years old when I learned it supports format strings! 🀯

πŸ§΅πŸ‘‡

05.05.2025 09:20 β€” πŸ‘ 73    πŸ” 13    πŸ’¬ 9    πŸ“Œ 2
Post image

NULL BITMAP: How to Understand that Jepsen Report buttondown.com/jaffray/arch...

05.05.2025 18:03 β€” πŸ‘ 10    πŸ” 5    πŸ’¬ 1    πŸ“Œ 0
40x less overhead! Rateless Invertible Bloom Filters - Part 3 of 3
YouTube video by number 0 40x less overhead! Rateless Invertible Bloom Filters - Part 3 of 3

Belay uses this super cool algorithm called Rateless Invertable Bloom Lookup Tables ( video ) to figure out which documents each peer has and sync them only the ones that they don't have in both directions.

03.03.2025 01:15 β€” πŸ‘ 8    πŸ” 2    πŸ’¬ 1    πŸ“Œ 0
Post image 22.04.2025 00:15 β€” πŸ‘ 55976    πŸ” 10977    πŸ’¬ 759    πŸ“Œ 327
A medical illustration of the human brain.

A medical illustration of the human brain.

Train your own model.

19.04.2025 14:19 β€” πŸ‘ 1321    πŸ” 192    πŸ’¬ 24    πŸ“Œ 9
"If you can afford to send Katy Perry to space, you can afford to pay more taxes."

"If you can afford to send Katy Perry to space, you can afford to pay more taxes."

"If you can afford to send Katy Perry to space, you can afford to pay more taxes." #3E

19.04.2025 03:41 β€” πŸ‘ 7362    πŸ” 1559    πŸ’¬ 90    πŸ“Œ 40
Post image

#codemotion2025 let's start

14.04.2025 07:16 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
image of watchmen's doctor manhattan, a superhero who is entirely blue and nude, sitting on a rock, small in frame, on what is depicted to be a very pink version of the surface of the planet mars. he looks pensive.

image of watchmen's doctor manhattan, a superhero who is entirely blue and nude, sitting on a rock, small in frame, on what is depicted to be a very pink version of the surface of the planet mars. he looks pensive.

It is 2002. I am 18 years old. We are in a once-in-a-generation economic crisis.

It is 2008. I am 24 years old. We are in a once-in-a-generation economic crisis.

It is 2020. I am 36 years old. We are in a once-in-a-generation economic crisis.

It is 2025. I am 41 years old. We are in aβ€”

02.04.2025 22:01 β€” πŸ‘ 26780    πŸ” 8478    πŸ’¬ 425    πŸ“Œ 689
Meta
Addressing bias in LLMs

It's well-known that all leading LLMs have had issues with bias-specifically, they historically have leaned left when it comes to debated political and social topics. This is due to the types of training data available on the internet.

Our goal is to remove bias from our Al models and to make sure that Llama can understand and articulate both sides of a contentious issue. As part of this work, we're continuing to make Llama more responsive so that it answers questions, can respond to a variety of different viewpoints without passing judgment, and doesn't favor some views over others.

We have made improvements on these efforts with this releaseβ€”Llama 4 performs significantly better than Llama 3 and is comparable to Grok:

Meta Addressing bias in LLMs It's well-known that all leading LLMs have had issues with bias-specifically, they historically have leaned left when it comes to debated political and social topics. This is due to the types of training data available on the internet. Our goal is to remove bias from our Al models and to make sure that Llama can understand and articulate both sides of a contentious issue. As part of this work, we're continuing to make Llama more responsive so that it answers questions, can respond to a variety of different viewpoints without passing judgment, and doesn't favor some views over others. We have made improvements on these efforts with this releaseβ€”Llama 4 performs significantly better than Llama 3 and is comparable to Grok:

β€’ Llama 4 refuses less on debated political and social topics overall (from 7% in Lama 3.3 to below 2%).
β€’ Llama 4 is dramatically more balanced with which prompts it refuses to respond to (the proportion of unequal response refusals is now less than 1% on a set of debated topical questions).
β€’ Our testing shows that Llama 4 responds with strong political lean at a rate comparable to Grok (and at half of the rate of Llama 3.3) on a contentious set of political or social topics. While we are making progress, we know we have more work to do and will continue to drive this rate further down.
We're proud of this progress to date and remain committed to our goal of eliminating overall bias in our models.

β€’ Llama 4 refuses less on debated political and social topics overall (from 7% in Lama 3.3 to below 2%). β€’ Llama 4 is dramatically more balanced with which prompts it refuses to respond to (the proportion of unequal response refusals is now less than 1% on a set of debated topical questions). β€’ Our testing shows that Llama 4 responds with strong political lean at a rate comparable to Grok (and at half of the rate of Llama 3.3) on a contentious set of political or social topics. While we are making progress, we know we have more work to do and will continue to drive this rate further down. We're proud of this progress to date and remain committed to our goal of eliminating overall bias in our models.

Meta introduced Llama 4 models and added this section near the very bottom of the announcement 😬

β€œ[LLMs] historically have leaned left when it comes to debated political and social topics.”

ai.meta.com/blog/llama-4...

05.04.2025 22:08 β€” πŸ‘ 136    πŸ” 39    πŸ’¬ 5    πŸ“Œ 62
"Testing Distributed Systems w/ Deterministic Simulation" by Will Wilson
YouTube video by Strange Loop Conference "Testing Distributed Systems w/ Deterministic Simulation" by Will Wilson

some extra goodies on deterministic simulation testing for distributed systems

www.youtube.com/watch?v=4fFD...

notes.eatonphil.com/2024-08-20-d...

journal.resonatehq.io/p/determinis...
www.scs.stanford.edu/24sp-cs244b/...

github.com/ivanyu/aweso...

03.04.2025 07:36 β€” πŸ‘ 6    πŸ” 3    πŸ’¬ 1    πŸ“Œ 0
Navigating complexity in event-driven architectures: A domain-driven approach - David Boyne
YouTube video by NDC Conferences Navigating complexity in event-driven architectures: A domain-driven approach - David Boyne

Earlier in the year I gave a talk about the complexity of event driven architecture, and how domain driven design can help.

There is huge overlap between the two, and I go through some of it here.

If you're into this stuff, hope it helps!

youtu.be/HpFWRpyyvrk?...

29.03.2025 08:52 β€” πŸ‘ 7    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Post image 13.02.2025 06:48 β€” πŸ‘ 27    πŸ” 5    πŸ’¬ 0    πŸ“Œ 0

Earlier this month, I delivered a talk on "Time Travel Debugging with Postgres" for the Seattle Postgres User Group. Massive thanks to Jeremy Schneider for recording (and editing) the talk and posting it to YouTube!

www.youtube.com/watch?v=clcP...

25.03.2025 19:39 β€” πŸ‘ 9    πŸ” 5    πŸ’¬ 2    πŸ“Œ 0
Preview
Distributed consensus made simple (for real this time!) Multi-Paxos is the de facto solution for deciding a log of commands to execute on a replicated state machine, yet it’s famously difficult to understand, motivating the switch to β€˜simpler’ consensus pr...

Raft was optimized for understandability over simplicity 🀷 Chris Jensen & @heidihoward.bsky.social wrote about LogPaxos, which they say is simpler than Raft or MultiPaxos: decentralizedthoughts.github.io/2021-09-30-d.... CASPaxos is simpler but likely less broadly applicable than log-based consensus

03.11.2024 02:03 β€” πŸ‘ 8    πŸ” 3    πŸ’¬ 2    πŸ“Œ 0
Post image 17.11.2024 12:22 β€” πŸ‘ 11    πŸ” 5    πŸ’¬ 0    πŸ“Œ 0

Have felt this myself. If I’m not feeling it, often I will listen to that and relax instead of trying to be productive. But I try not to let this happen for _too_ long. If I force myself to sit at my desk, open my editor, build my code, and run it I often find I can get into the swing of things.

05.01.2025 09:38 β€” πŸ‘ 26    πŸ” 1    πŸ’¬ 2    πŸ“Œ 1
Preview
Databases in 2024: A Year in Review Andy rises from the ashes of his dead startup and discusses what happened in 2024 in the database game.

Buckle up because we're banging into the new year with my annual retrospective of the last year in databases! Highlights include license change blowback, Databricks vs. Snowflake gangwar, @duckdb.org's shotgun weddings, and buying a quarterback to impress your lover: www.cs.cmu.edu/~pavlo/blog/...

01.01.2025 14:02 β€” πŸ‘ 203    πŸ” 66    πŸ’¬ 11    πŸ“Œ 20
Preview
Introducing Limbo: A complete rewrite of SQLite in Rust we forked SQLite with the libSQL project. What would it be like if we just rewrote it?

Today we have decided to make @penberg.org 's experimental project, an official Turso project, following its great success.

What if instead of just forking SQLite, we were to completely rewrite it - in Rust?

That's our moonshot - codename Limbo

turso.tech/blog/introdu...

10.12.2024 15:41 β€” πŸ‘ 141    πŸ” 29    πŸ’¬ 9    πŸ“Œ 8

People waiting for Rust, without the borrow checker, are waiting for OCaml

08.12.2024 12:48 β€” πŸ‘ 48    πŸ” 13    πŸ’¬ 4    πŸ“Œ 3
Preview
Testing Distributed Systems Curated list of resources on testing distributed systems

Hello, Bluesky users!

I curate and maintain list of resources on testing distributed systems. You might have seen it before. It's a good one, if I may say so myself.

asatarin.github.io/testing-dist...

19.11.2024 05:26 β€” πŸ‘ 199    πŸ” 48    πŸ’¬ 6    πŸ“Œ 2
Day 2 - Advent of Code 2024

Completed day 2 "Red-Nosed Reports" of Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/2

02.12.2024 21:04 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Day 1 - Advent of Code 2024

First day of Advent of Code 2024 completed βœ… πŸ¦€ #AdventOfCode adventofcode.com/2024/day/1

01.12.2024 19:15 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Queueing – An interactive study of queueing strategies – Encore Blog In this blog, we go on an interactive journey to understand common queueing strategies for handling HTTP requests.

This is a REALLY good interactive demo of Queueing! | An interactive study of queueing strategies – Encore Blog

29.11.2024 11:36 β€” πŸ‘ 92    πŸ” 30    πŸ’¬ 2    πŸ“Œ 3

In short, the right people are working on this, they're not out to build a Twitter clone, they're out to reshape the web, and help us return to the original promise of an open platform, a sense of ownership, and the ability to share with each other on our own terms.

20.11.2024 18:32 β€” πŸ‘ 1633    πŸ” 218    πŸ’¬ 31    πŸ“Œ 20

An unordered / non-exhaustive list of things that helped scale Bluesky's infra efficiently:

+ Exiting the cloud (colocation)
+ HAProxy w/many Node backends
+ Go w/clever code
+ ScyllaDB
+ SQLite w/per user databases
+ Redis w/many instances
+ AMD servers w/many cores
+ Purchasing bandwidth directly

11.11.2024 03:54 β€” πŸ‘ 987    πŸ” 153    πŸ’¬ 59    πŸ“Œ 25

The Weekend Read dropped: Event Driven Architecture and the Myth of Loose Coupling

Loose coupling has become a rallying cry for advocates of Event Driven Architecture-But do events actually deliver on this promise?

open.substack.com/pub/dtornow2...

bsky.app/profile/domi...

16.11.2024 17:55 β€” πŸ‘ 4    πŸ” 2    πŸ’¬ 0    πŸ“Œ 1
Post image

I'm writing a piece about the caching strategies used to make AWS News blazing fast. Planning to release it somewhere this weekend on https://lucvandonkersgoed.com. Stay tuned!

16.11.2024 11:58 β€” πŸ‘ 24    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Preview
Bluesky and the AT Protocol: Usable Decentralized Social Media Bluesky is a new social network built upon the AT Protocol, a decentralized foundation for public social media. It was launched in private beta in February 2023, and has grown to over 10 million regis...

Hello lots of new followers! If you just joined Bluesky, welcome. In case you’re interested how it works under the hood, I helped write this architecture description: arxiv.org/abs/2402.03239 (updated with new content just a few days ago)

20.10.2024 21:41 β€” πŸ‘ 466    πŸ” 121    πŸ’¬ 15    πŸ“Œ 8

@sranu is following 20 prominent accounts