Silvestro Ranucci
@sranu.bsky.social
I live at the intersection.
By day TypeScript with Effect.ts.
By night Rust.
Opinions are my own.
By day TypeScript with Effect.ts.
By night Rust.
Opinions are my own.
Reposted by Silvestro Ranucci
Property-based testing to me feels like a really good point in the testing/formal methods design space. PBT is rigorous in the sense that you're writing a spec of some kind, while being easy to understand and not having much of the chaotic behavior that characterizes heavyweight formal methods
November 16, 2025 at 8:27 PM
Property-based testing to me feels like a really good point in the testing/formal methods design space. PBT is rigorous in the sense that you're writing a spec of some kind, while being easy to understand and not having much of the chaotic behavior that characterizes heavyweight formal methods
Reposted by Silvestro Ranucci
Swiss surveillance could become worse than US
If passed, chat, email & VPN providers from #Switzerland must:
🚨 Log IP addresses
🚨 Ask for ID upon sign up
🚨 Decrypt data upon request
Let's fight for #privacy! 👉 tuta.com/blog/switzer...
If passed, chat, email & VPN providers from #Switzerland must:
🚨 Log IP addresses
🚨 Ask for ID upon sign up
🚨 Decrypt data upon request
Let's fight for #privacy! 👉 tuta.com/blog/switzer...
November 15, 2025 at 3:43 PM
Swiss surveillance could become worse than US
If passed, chat, email & VPN providers from #Switzerland must:
🚨 Log IP addresses
🚨 Ask for ID upon sign up
🚨 Decrypt data upon request
Let's fight for #privacy! 👉 tuta.com/blog/switzer...
If passed, chat, email & VPN providers from #Switzerland must:
🚨 Log IP addresses
🚨 Ask for ID upon sign up
🚨 Decrypt data upon request
Let's fight for #privacy! 👉 tuta.com/blog/switzer...
Reposted by Silvestro Ranucci
NPM flooded with malicious packages downloaded more than 86,000 times https://lobste.rs/s/x45btr ##security ##programming ##nodejs
NPM flooded with malicious packages downloaded more than 86,000 times
Packages downloaded from NPM can fetch dependancies from untrusted sites.
arstechnica.com
October 30, 2025 at 7:40 AM
NPM flooded with malicious packages downloaded more than 86,000 times https://lobste.rs/s/x45btr ##security ##programming ##nodejs
Reposted by Silvestro Ranucci
Haskell is a pure functional language with lazy evaluation. It doesn’t compute anything unless absolutely necessary—just like you on a Monday.
October 28, 2025 at 6:46 AM
Haskell is a pure functional language with lazy evaluation. It doesn’t compute anything unless absolutely necessary—just like you on a Monday.
Reposted by Silvestro Ranucci
At long last, @chris.blue and I have submitted the final manuscript of Designing Data-Intensive Applications, second edition, to the publisher. There is always more that could be improved but at some point we just have to call it done. Now it goes into production; probably shipping in ~4 months.
October 20, 2025 at 7:54 PM
At long last, @chris.blue and I have submitted the final manuscript of Designing Data-Intensive Applications, second edition, to the publisher. There is always more that could be improved but at some point we just have to call it done. Now it goes into production; probably shipping in ~4 months.
Reposted by Silvestro Ranucci
🚨🇬🇧 Surveillance in the UK is rising as it plans to roll out mandatory #digitalIDs for all its citizens.
Why is this deeply concerning?
❌ Increases state control
❌ Infringes on your privacy
❌ First step to creating a surveillance state
#CyberSecurityAwarenessMonth #DigitalID #NotodigitalID #UK
Why is this deeply concerning?
❌ Increases state control
❌ Infringes on your privacy
❌ First step to creating a surveillance state
#CyberSecurityAwarenessMonth #DigitalID #NotodigitalID #UK
October 19, 2025 at 1:53 PM
🚨🇬🇧 Surveillance in the UK is rising as it plans to roll out mandatory #digitalIDs for all its citizens.
Why is this deeply concerning?
❌ Increases state control
❌ Infringes on your privacy
❌ First step to creating a surveillance state
#CyberSecurityAwarenessMonth #DigitalID #NotodigitalID #UK
Why is this deeply concerning?
❌ Increases state control
❌ Infringes on your privacy
❌ First step to creating a surveillance state
#CyberSecurityAwarenessMonth #DigitalID #NotodigitalID #UK
Reposted by Silvestro Ranucci
#Chatcontrol is OFF for now. 💪
But it'll be back.
Danish Minister Hummelgaard:
"𝗪𝗲 𝗺𝘂𝘀𝘁 𝗯𝗿𝗲𝗮𝗸 𝘄𝗶𝘁𝗵 𝘁𝗵𝗲 𝘁𝗼𝘁𝗮𝗹𝗹𝘆 𝗲𝗿𝗿𝗼𝗻𝗲𝗼𝘂𝘀 𝗽𝗲𝗿𝗰𝗲𝗽𝘁𝗶𝗼𝗻 𝘁𝗵𝗮𝘁 𝗶𝘁 𝗶𝘀 𝗲𝘃𝗲𝗿𝘆𝗼𝗻𝗲'𝘀 𝗰𝗶𝘃𝗶𝗹 𝗹𝗶𝗯𝗲𝗿𝘁𝘆 𝘁𝗼 𝗰𝗼𝗺𝗺𝘂𝗻𝗶𝗰𝗮𝘁𝗲 𝗼𝗻 𝗲𝗻𝗰𝗿𝘆𝗽𝘁𝗲𝗱 𝗺𝗲𝘀𝘀𝗮𝗴𝗶𝗻𝗴 𝘀𝗲𝗿𝘃𝗶𝗰𝗲𝘀."
Keep fighting for #encryption & right to #privacy 🔒
tuta.com/blog/chat-co...
But it'll be back.
Danish Minister Hummelgaard:
"𝗪𝗲 𝗺𝘂𝘀𝘁 𝗯𝗿𝗲𝗮𝗸 𝘄𝗶𝘁𝗵 𝘁𝗵𝗲 𝘁𝗼𝘁𝗮𝗹𝗹𝘆 𝗲𝗿𝗿𝗼𝗻𝗲𝗼𝘂𝘀 𝗽𝗲𝗿𝗰𝗲𝗽𝘁𝗶𝗼𝗻 𝘁𝗵𝗮𝘁 𝗶𝘁 𝗶𝘀 𝗲𝘃𝗲𝗿𝘆𝗼𝗻𝗲'𝘀 𝗰𝗶𝘃𝗶𝗹 𝗹𝗶𝗯𝗲𝗿𝘁𝘆 𝘁𝗼 𝗰𝗼𝗺𝗺𝘂𝗻𝗶𝗰𝗮𝘁𝗲 𝗼𝗻 𝗲𝗻𝗰𝗿𝘆𝗽𝘁𝗲𝗱 𝗺𝗲𝘀𝘀𝗮𝗴𝗶𝗻𝗴 𝘀𝗲𝗿𝘃𝗶𝗰𝗲𝘀."
Keep fighting for #encryption & right to #privacy 🔒
tuta.com/blog/chat-co...
September 15, 2025 at 2:52 PM
#Chatcontrol is OFF for now. 💪
But it'll be back.
Danish Minister Hummelgaard:
"𝗪𝗲 𝗺𝘂𝘀𝘁 𝗯𝗿𝗲𝗮𝗸 𝘄𝗶𝘁𝗵 𝘁𝗵𝗲 𝘁𝗼𝘁𝗮𝗹𝗹𝘆 𝗲𝗿𝗿𝗼𝗻𝗲𝗼𝘂𝘀 𝗽𝗲𝗿𝗰𝗲𝗽𝘁𝗶𝗼𝗻 𝘁𝗵𝗮𝘁 𝗶𝘁 𝗶𝘀 𝗲𝘃𝗲𝗿𝘆𝗼𝗻𝗲'𝘀 𝗰𝗶𝘃𝗶𝗹 𝗹𝗶𝗯𝗲𝗿𝘁𝘆 𝘁𝗼 𝗰𝗼𝗺𝗺𝘂𝗻𝗶𝗰𝗮𝘁𝗲 𝗼𝗻 𝗲𝗻𝗰𝗿𝘆𝗽𝘁𝗲𝗱 𝗺𝗲𝘀𝘀𝗮𝗴𝗶𝗻𝗴 𝘀𝗲𝗿𝘃𝗶𝗰𝗲𝘀."
Keep fighting for #encryption & right to #privacy 🔒
tuta.com/blog/chat-co...
But it'll be back.
Danish Minister Hummelgaard:
"𝗪𝗲 𝗺𝘂𝘀𝘁 𝗯𝗿𝗲𝗮𝗸 𝘄𝗶𝘁𝗵 𝘁𝗵𝗲 𝘁𝗼𝘁𝗮𝗹𝗹𝘆 𝗲𝗿𝗿𝗼𝗻𝗲𝗼𝘂𝘀 𝗽𝗲𝗿𝗰𝗲𝗽𝘁𝗶𝗼𝗻 𝘁𝗵𝗮𝘁 𝗶𝘁 𝗶𝘀 𝗲𝘃𝗲𝗿𝘆𝗼𝗻𝗲'𝘀 𝗰𝗶𝘃𝗶𝗹 𝗹𝗶𝗯𝗲𝗿𝘁𝘆 𝘁𝗼 𝗰𝗼𝗺𝗺𝘂𝗻𝗶𝗰𝗮𝘁𝗲 𝗼𝗻 𝗲𝗻𝗰𝗿𝘆𝗽𝘁𝗲𝗱 𝗺𝗲𝘀𝘀𝗮𝗴𝗶𝗻𝗴 𝘀𝗲𝗿𝘃𝗶𝗰𝗲𝘀."
Keep fighting for #encryption & right to #privacy 🔒
tuta.com/blog/chat-co...
Just discovered that there is a new standard http header in town: the Deprecation header. As the name suggests it is used to better communicate to a client the deprecation timeline of an endpoint.
More on it and a good approach to deprecate api at zuplo.com/learning-cen...
More on it and a good approach to deprecate api at zuplo.com/learning-cen...
Deprecating REST APIs: A Developer's Guide | Zuplo Learning Center
API Deprecation is the process of signaling to developers that an API, or a part of it (ex. endpoint or field), is scheduled to be discontinued or replaced.
zuplo.com
September 15, 2025 at 2:58 PM
Just discovered that there is a new standard http header in town: the Deprecation header. As the name suggests it is used to better communicate to a client the deprecation timeline of an endpoint.
More on it and a good approach to deprecate api at zuplo.com/learning-cen...
More on it and a good approach to deprecate api at zuplo.com/learning-cen...
Reposted by Silvestro Ranucci
Age verification has arrived in the UK and, to no one’s surprise, users hate it. We cannot accept these censorship regimes as our new norm. www.eff.org/deeplinks/2...
Americans, Be Warned: Lessons From Reddit’s Chaotic UK Age
Now that the Online Safety Act has gone into effect, countless problems have begun to reveal themselves, and the absurd, disastrous outcome illustrates why we must work to avoid this age-verified
www.eff.org
August 24, 2025 at 2:04 PM
Age verification has arrived in the UK and, to no one’s surprise, users hate it. We cannot accept these censorship regimes as our new norm. www.eff.org/deeplinks/2...
Reposted by Silvestro Ranucci
In questi giorni seguo meno, ma posso dire una cosa: con i mari così caldi e col pregresso dell'ultima ondata di calore, il rischio di fenomeni estremi come quelli occorsi stanotte in Romagna rimarrà alto ad ogni perturbazione.
Quindi aggiornatevi sulle previsioni e le allerta meteo.
Quindi aggiornatevi sulle previsioni e le allerta meteo.
August 24, 2025 at 8:05 AM
In questi giorni seguo meno, ma posso dire una cosa: con i mari così caldi e col pregresso dell'ultima ondata di calore, il rischio di fenomeni estremi come quelli occorsi stanotte in Romagna rimarrà alto ad ogni perturbazione.
Quindi aggiornatevi sulle previsioni e le allerta meteo.
Quindi aggiornatevi sulle previsioni e le allerta meteo.
Reposted by Silvestro Ranucci
Recording of my Data Council talk:
www.youtube.com/watch?v=HZAr...
www.youtube.com/watch?v=HZAr...
Converging Database Architectures DuckDB in PostgreSQL
YouTube video by Data Council
www.youtube.com
May 29, 2025 at 9:18 PM
Recording of my Data Council talk:
www.youtube.com/watch?v=HZAr...
www.youtube.com/watch?v=HZAr...
Reposted by Silvestro Ranucci
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...
Congrats to EVERYONE who has made Rust what it is today 🧡
rustfoundation.org/media/celebr...
May 15, 2025 at 7:20 AM
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...
Congrats to EVERYONE who has made Rust what it is today 🧡
rustfoundation.org/media/celebr...
Reposted by Silvestro Ranucci
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! 🤯
🧵👇
And yet, I was today years old when I learned it supports format strings! 🤯
🧵👇
May 5, 2025 at 9:20 AM
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! 🤯
🧵👇
And yet, I was today years old when I learned it supports format strings! 🤯
🧵👇
Reposted by Silvestro Ranucci
NULL BITMAP: How to Understand that Jepsen Report buttondown.com/jaffray/arch...
May 5, 2025 at 6:03 PM
NULL BITMAP: How to Understand that Jepsen Report buttondown.com/jaffray/arch...
Reposted by Silvestro Ranucci
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.
40x less overhead! Rateless Invertible Bloom Filters - Part 3 of 3
YouTube video by number 0
www.youtube.com
March 3, 2025 at 1:16 AM
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.
Reposted by Silvestro Ranucci
Reposted by Silvestro Ranucci
Train your own model.
April 19, 2025 at 2:19 PM
Train your own model.
Reposted by Silvestro Ranucci
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—
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—
April 2, 2025 at 10:01 PM
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—
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—
Reposted by Silvestro Ranucci
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...
“[LLMs] historically have leaned left when it comes to debated political and social topics.”
ai.meta.com/blog/llama-4...
April 5, 2025 at 10:08 PM
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...
“[LLMs] historically have leaned left when it comes to debated political and social topics.”
ai.meta.com/blog/llama-4...
Reposted by Silvestro Ranucci
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...
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...
"Testing Distributed Systems w/ Deterministic Simulation" by Will Wilson
YouTube video by Strange Loop Conference
www.youtube.com
April 3, 2025 at 7:36 AM
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...
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...
Reposted by Silvestro Ranucci
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?...
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?...
Navigating complexity in event-driven architectures: A domain-driven approach - David Boyne
YouTube video by NDC Conferences
youtu.be
March 29, 2025 at 8:52 AM
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?...
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?...
Reposted by Silvestro Ranucci
Reposted by Silvestro Ranucci
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...
www.youtube.com/watch?v=clcP...
March 25, 2025 at 7:39 PM
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...
www.youtube.com/watch?v=clcP...