iiinova — where your digital self keeps evolving

Reposted by Silvestro Ranucci

Matej Cerny @matejcerny.bsky.social · 23/04/2026

The lead designer of Haskell on Daniel's podcast! #scala #haskell youtu.be/xv-WApd-pSY

youtu.be

Simon Peyton Jones on Haskell, Verse, Strong Type Systems and Tasteful Abstractions

092 9

Reposted by Silvestro Ranucci

Martin Kleppmann @martin.kleppmann.com · 14/04/2026

Personally I think writing formal proofs is one of the best applications of AI, and I think we're going to see a lot more of it in the future, as I wrote a few months ago (martin.kleppmann.com/2025/12/08/a...). I've adjusted my own research agenda for the coming years to help make this happen.

martin.kleppmann.com

Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog

1369 36

Reposted by Silvestro Ranucci

Dan Ciruli @danciruli.cloud · 19/02/2026

I worked on a few fairly prominent efforts in open source (Istio, OpenAPI), but I think of all of them, it’s gRPC that I think has the coolest story. Pull up a chair and set for a spell (any inaccuracies in what follows are 100% my fault for having a bad memory!).

518945 189

Silvestro Ranucci @sranu.bsky.social · 31/01/2026

Did you know that git support sha-256? Well, I didn't!

000 0

Reposted by Silvestro Ranucci

Steve Klabnik @steveklabnik.com · 19/11/2025

People want a technical solution to what is ultimately a judgement problem. People know that unwrap can cause a panic. That's the choice that's being made when you unwrap. Changing the name won't change that.

2020315 203

Reposted by Silvestro Ranucci

Tuta @tuta.com · 15/11/2025

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

Title: Switzerland plans surveillance that is worse than US

Broken shield with a Swiss flag on it

68561 85

Reposted by Silvestro Ranucci

Martin Kleppmann @martin.kleppmann.com · 20/10/2025

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.

1230723 307

Reposted by Silvestro Ranucci

Tuta @tuta.com · 19/10/2025

🚨🇬🇧 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

The state has NO right to know about: your finances, your movements, your shopping habits, your online activity, your health, your connections, your religion.

24816 48

Reposted by Silvestro Ranucci

Tuta @tuta.com · 15/09/2025

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

46020 60

Silvestro Ranucci @sranu.bsky.social · 15/09/2025

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

zuplo.com

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.

000 0

Reposted by Silvestro Ranucci

Giulio Betti @giuliofirenze.bsky.social · 24/08/2025

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.

923133 231

Reposted by Silvestro Ranucci

Marco Slot @marcoslot.com · 29/05/2025

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

youtube.com

Converging Database Architectures DuckDB in PostgreSQL

YouTube video by Data Council

0152 15

Reposted by Silvestro Ranucci

The Rust Foundation @rustfoundation.org · 15/05/2025

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

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

114344 143

Reposted by Silvestro Ranucci

Luciano Mammino 📙 Node.js Design Patterns @loige.co · 05/05/2025

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! 🤯 🧵👇

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.

97113 71

Reposted by Silvestro Ranucci

Justin @jaffray.bsky.social · 05/05/2025

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

1105 10

Reposted by Silvestro Ranucci

Zicklag @zicklag.dev · 03/03/2025

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.

youtube.com

40x less overhead! Rateless Invertible Bloom Filters - Part 3 of 3

YouTube video by number 0

182 8

Reposted by Silvestro Ranucci

Kelsey Hightower @kelseyhightower.com · 19/04/2025

Train your own model.

A medical illustration of the human brain.

211288185 1.3K

Reposted by Silvestro Ranucci

Anonymous @youranoncentral.bsky.social · 19/04/2025

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

8871941511 7.2K

Reposted by Silvestro Ranucci

His Skeletoncy, the Ghoul of Hell @timhodgson.bsky.social · 02/04/2025

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—

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.

404262118280 26.2K

Reposted by Silvestro Ranucci

Jeremy Morrell @jeremymorrell.dev · 05/04/2025

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

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.

513438 134

Reposted by Silvestro Ranucci

Fernando Meyer @fernandomeyer.com · 03/04/2025

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

youtube.com

"Testing Distributed Systems w/ Deterministic Simulation" by Will Wilson

YouTube video by Strange Loop Conference

142 4

Reposted by Silvestro Ranucci

David Boyne @boyney123.bsky.social · 29/03/2025

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

youtu.be

Navigating complexity in event-driven architectures: A domain-driven approach - David Boyne

YouTube video by NDC Conferences

161 6

Reposted by Silvestro Ranucci

chreke @chreke.com · 13/02/2025

0275 27

Reposted by Silvestro Ranucci

Harry Pierson @devhawk.net · 25/03/2025

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

284 8

Reposted by Silvestro Ranucci

Reuben Bond @rbn.bsky.social · 03/11/2024

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

decentralizedthoughts.github.io

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

283 8

Reposted by Silvestro Ranucci

Sam Rose @samwho.dev · 05/01/2025

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.

2251 25

Reposted by Silvestro Ranucci

Andy Pavlo @andypavlo.bsky.social · 01/01/2025

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

cs.cmu.edu

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.

1019963 199

Reposted by Silvestro Ranucci

Glauber Costa @glaubercosta.bsky.social · 10/12/2024

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

turso.tech

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?

1014129 141

Reposted by Silvestro Ranucci

João Veiga @oveiga.bsky.social · 08/12/2024

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

44512 45

Reposted by Silvestro Ranucci

Andrey Satarin @asatarin.bsky.social · 19/11/2024

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

asatarin.github.io

Testing Distributed Systems

Curated list of resources on testing distributed systems

619447 194

Silvestro Ranucci @sranu.bsky.social · 02/12/2024

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

adventofcode.com

Day 2 - Advent of Code 2024

030 3

Silvestro Ranucci @sranu.bsky.social · 01/12/2024

First day of Advent of Code 2024 completed ✅ 🦀 #AdventOfCode adventofcode.com/2024/day/1

adventofcode.com

Day 1 - Advent of Code 2024

010 1

Reposted by Silvestro Ranucci

Kelsey Hightower @kelseyhightower.com · 20/11/2024

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.

301612215 1.6K

Reposted by Silvestro Ranucci

Jake Gold @jacob.gold · 11/11/2024

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

591016157 1K

Reposted by Silvestro Ranucci

Dominik Tornow @dominiktornow.bsky.social · 16/11/2024

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

open.substack.com

Issue 45 - The Myth of Loose Coupling

Event Driven Architecture and the Myth of Loose Coupling

042 4

Reposted by Silvestro Ranucci

Luc van Donkersgoed @lucvandonkersgoed.com · 16/11/2024

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

0241 24

Reposted by Silvestro Ranucci

Martin Kleppmann @martin.kleppmann.com · 20/10/2024

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)

arxiv.org

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

14460120 460