I want this next generation of software development tools to run on my own computer. Vim and Emacs helped democratize software development and made it accessible. We shouldn't allow this AI wave to take us backwards.

I really hope the open source community can keep pace.

Kafka Monthly Digest: March 2025 | Red Hat Developer This edition of the Kafka Monthly Digest covers the 4.0.0 release, and progress on the 4.1.0 and 3.9.1 releases. It also looks at the new KIPs, community project releases and blog posts from March

I've just published edition 86 of my Kafka Monthly Digest. It's a big one as it covers Kafka 4.0.0!
There are also 2 other releases in progress (4.1.0 and 3.9.1), as well as the usual review of recent KIPs, community releases, and blogs.

developers.redhat.com/blog/2025/04...

Benchmarking Kafka: Distributed Workers and Workload topology in OpenMessaging Benchmark Dive into OpenMessaging Benchmark's distributed mode and how clients are deployed across multiple workers

I've been using the OpenMessaging Benchmark (OMB) framework to study Apache Kafka performance, and I'm sharing what I've learned in a blog series.

Just published the second post covering distributed workers and workload topology:

jeqo.dev/blog/benchma...

We have two open (early career) engineering positions in our team (Canada 🇨🇦)

If you are excited about contributing to #ApacheKafka with a focus on Java client and @kafkastreams.bsky.social this might be the right fit for you

careers.confluent.io/jobs/1581205...
careers.confluent.io/jobs/1580808...

The 85th edition of my Kafka Monthly Digest is out!
The first release candidate of Kafka 4.0.0 is available, please take time to test it. As usual I also cover recent KIPs, community project releases and blogs.
developers.redhat.com/blog/2025/03...

Coming soon: Scott Hanselman, Gunnar Morling, Phil Eaton, Matt Butcher, Amos Wenger, Glauber Costa & more 👀

Oslo 2019

a friend asked "how do I add a directory to my PATH" and I couldn't find any directions I liked so I wrote up a quick guide: jvns.ca/blog/2025/02...

🤣 No puedo con ese comentario

Reimagining OSS Licensing and Commercialization with Fair Source - Adam Jacob, System Initiative YouTube video by CNCF [Cloud Native Computing Foundation]

This is SUCH a great talk by @adamhjk.me. Like SO great.

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

For a more serious approach to proving properties of distributed systems, we have this video series by Lamport. This particular moment is hilarious, but this is serious material.
www.youtube.com/playlist?lis...

JDK 24 has been branched from the main line and is now in Rampdown Phase One: mail.openjdk.org/pipermail/jd...

openjdk.org/projects/jdk...

#JDK24 #OpenJDK #Java

Verifying Kafka transactions - Diary entry 2 - Writing an initial TLA+ spec — Jack Vanlightly Strap in and fire up your nerd engines—this one's gonna be intense! In my previous diary entry, I explained I would begin the formal modelling of Kafka transactions by implementing a tiny initial piece of the protocol - how a producer obtains a producer id. In this post I will discuss some aspects of the TLA+ specification I have written of this initial model.

Diary entry 2 of formally verifying Kafka transactions. This entry covers my initial design decisions, and the nuances of liveness properties, with this first iteration of the TLA+ specification. Only read if you want to get down and dirty with TLA+!

jack-vanlightly.com/...

Verifying Kafka transactions - Diary entry 1 - A first step — Jack Vanlightly A few days ago I started my work of formally verifying Apache Kafka transactions in both TLA+ and Fizzbee. I’ve decided to write a kind of diary of my progress so that others who are interested in formal verification of complex systems can read along and see how I go about it.

I am trying something new, I'm writing a diary of my formal verification of Apache Kafka transactions, to track progress and discuss various aspects of the formal verification process (in both TLA+ and Fizzbee). To get the diary started, this is the first entry.

jack-vanlightly.com/...

Elm & The Future of Open Source (with Evan Czaplicki) YouTube video by Developer Voices

What’s happening with Elm-lang? That had to be the first question I asked #Elm's creator, Evan Czaplicki, and you can't answer without asking, what’s happening with Open Source funding? Can OSS successfully exist when companies want everything they can get for free, forever? 😰

youtu.be/0SUM4869ODc

(Anti-)Application Video for YC120 2019 YouTube video by Bryan Cantrill

It gets even worse! Have you see his YC120 2019 application video!?

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

<3

Call me crazy but I'm planning on implementing the Kafka transaction protocol formal spec in both TLA+ and Fizzbee. At the end we can compare:
* readability
* model checking speed
* safety and liveness property expression
Can't read too much into it, as it's only one spec, but should be interesting.

apache opendal · Discussions Explore the GitHub Discussions forum for apache opendal. Discuss code, ask questions & collaborate with the developer community.

At opendal we are trying using github discussions mainly and forwarding to mailing list as archive. I have seen 1000% more active discussions happened. So far so good from my experiences, worth a try.

github.com/apache/opend...