Silvestro Ranucci

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

It's FOSDEM time!

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.

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

Title: Switzerland plans surveillance that is worse than US Broken shield with a Swiss flag on it

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

NPM flooded with malicious packages downloaded more than 86,000 times Packages downloaded from NPM can fetch dependancies from untrusted sites.

NPM flooded with malicious packages downloaded more than 86,000 times https://lobste.rs/s/x45btr #security #programming #nodejs

Haskell is a pure functional language with lazy evaluation. It doesn’t compute anything unless absolutely necessary—just like you on a Monday.

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.

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

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

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

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.

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

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

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

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.

YouTube video by Data Council Converging Database Architectures DuckDB in PostgreSQL

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

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

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

🧵👇

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

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.

A medical illustration of the human brain.

Train your own model.

"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

#codemotion2025 let's start

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—

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.

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

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

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

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

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