🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

I hereby coin Prat's Law: "If a process can turn evil, it will eventually do so."

Is it possible to build a formally verified GC for OCaml that can be plugged into the compiler? We show how to in: "A Mechanically Verified GC for OCaml" kcsrk.info/papers/verifie… This has been accepted to the Journal of Automated Reasoning. Code: github.com/prismlab/verif…

What a milestone! We are happy and proud to announce the Apache Kafka 4.0.0 release! It’s the first release without Zookeeper, and so many other core improvements like the new consumer group rebalance protocol (GA) and Queues for Kafka (EA) to just mention a few… \1

anyone want to learn some Tiered Storage internals? (coming soon to a blog near you)

Knowing Kafka internals gets you ahead of 94% of Kafka admins. But reading the code takes a lot of effort. I read it so you don't have to. Here are 9 ways how Tiered Storage (KIP-405)'s write path works in Kafka.

Cruise Control is the best open-source tool for balancing your Apache Kafka cluster. It’s used in big companies like Slack, NewRelic and Cloudflare. But how does it work? To begin with - a Kafka cluster can be imbalanced on many dimensions. This means that it’s impossible to

🚨BREAKING: Direct-to-S3 topics are coming to Apache Kafka! KIP-1150: Diskless Topics was just published on the mailing list. After WarpStream pioneered this game-changer in 2023, everyone else -- Confluent, Bufstream, AutoMQ, RedPanda -- has been busy implementing their own

KIP-1150: Diskless Kafka Topics cwiki.apache.org/confluence/dis… (news.ycombinator.com/item?id=437045…)

i made a tool to play around with KIP-1150 (Diskless Kafka)'s batch interval and size 2minutestreaming.com/tools/kafka/ob…

If you’ve been following the latest in Apache Kafka, you might’ve seen our recent proposal: KIP-1150 – Diskless Topics. But KIP-1150 isn’t just a single proposal—it’s a whole series of KIPs, each tackling a different aspect of the feature. 1/2

Curious to learn more? Think of this as your hitchhiker’s guide to Diskless Topics! 🚀Over on the Aiven blog, Filip Yonov and I break down the individual KIPs and explore what this new feature means for Kafka, how it works, and why it matters. 👉 aiven.io/blog/guide-dis… 2/2

BLOGGED 🎉 - Diskless Kafka KIP-1150 Wrote a detailed blog on why I think diskless Kafka is going to be HUGE. Do check it out here: geeknarrator.com/blog/diskless-… Aiven has been at the forefront of this proposal that is going to help the entire #Kafka ecosystem. Also, thanks

I just published a 2 hour and 30 minutes long technical deep dive podcast with two of the Diskless proposal authors. The podcast is a treasure trove chock full of deep technical insights. There is no better resource online about KIP-1150 🔥 👉 youtube.com/watch?v=hrMvOF…

I spoke on another podcast about KIP-1150 (diskless topics in Kafka). Thanks Stanislav Kozlovski and Greg Harris !

Questions about Kafka? We've got the answers. 💬☁️ Join Kafka experts Josep Prat & Filip Yonov on May 28 as they discuss real-world use cases, practical architecture tips, & answer questions from the audience. 🔗 do.co/3ZrhSbR

A Conversation with the Experts: Real-Time, Real Easy Streaming with DigitalOcean Managed Kafka x.com/i/broadcasts/1…