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