jeqo
banner
jeqo.dev
jeqo
@jeqo.dev
father, peruvian, software engineer at aiven.io
I like clouds, trees, and football (the real ones)

@jeqo89.bsky.social for pics
Reposted by jeqo
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...
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
developers.redhat.com
April 1, 2025 at 4:12 PM
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...
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
jeqo.dev
April 1, 2025 at 4:36 PM
Reposted by jeqo
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...
March 28, 2025 at 6:42 AM
Reposted by jeqo
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...
Kafka Monthly Digest: February 2025 | Red Hat Developer
This digest covers progress on Kafka 4.0.0. The first release candidate is out. It also covers KIPs recently created, community project releases and blog posts.
developers.redhat.com
March 3, 2025 at 9:10 PM
Reposted by jeqo
Coming soon: Scott Hanselman, Gunnar Morling, Phil Eaton, Matt Butcher, Amos Wenger, Glauber Costa & more 👀
February 27, 2025 at 4:17 PM
Oslo 2019
February 26, 2025 at 7:33 AM
February 26, 2025 at 7:02 AM
Reposted by jeqo
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...
How to add a directory to your PATH
How to add a directory to your PATH
jvns.ca
February 13, 2025 at 6:53 PM
Reposted by jeqo
This is SUCH a great talk by @adamhjk.me. Like SO great.

www.youtube.com/watch?v=rmhY...
Reimagining OSS Licensing and Commercialization with Fair Source - Adam Jacob, System Initiative
YouTube video by CNCF [Cloud Native Computing Foundation]
www.youtube.com
December 17, 2024 at 7:05 PM
Reposted by jeqo
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...
December 12, 2024 at 5:42 PM
Reposted by jeqo
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
December 5, 2024 at 6:25 PM
Reposted by jeqo
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 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.
jack-vanlightly.com
December 3, 2024 at 1:43 PM
Reposted by jeqo
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/...
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.
jack-vanlightly.com
December 2, 2024 at 5:13 PM
Reposted by jeqo
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
Elm & The Future of Open Source (with Evan Czaplicki)
YouTube video by Developer Voices
youtu.be
November 28, 2024 at 3:45 PM
Reposted by jeqo
It gets even worse! Have you see his YC120 2019 application video!?

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

<3
(Anti-)Application Video for YC120 2019
YouTube video by Bryan Cantrill
www.youtube.com
November 22, 2024 at 10:14 AM
Reposted by jeqo
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.
November 26, 2024 at 7:13 AM
Reposted by jeqo
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...
apache opendal · Discussions
Explore the GitHub Discussions forum for apache opendal. Discuss code, ask questions & collaborate with the developer community.
github.com
November 23, 2024 at 6:59 AM