jeqo
@jeqo.dev
father, peruvian, software engineer at aiven.io
I like clouds, trees, and football (the real ones)
@jeqo89.bsky.social for pics
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...
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 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...
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...
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
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...
Just published the second post covering distributed workers and workload topology:
jeqo.dev/blog/benchma...
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...
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
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...
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...
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...
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
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...
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...
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
Coming soon: Scott Hanselman, Gunnar Morling, Phil Eaton, Matt Butcher, Amos Wenger, Glauber Costa & more 👀
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
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...
Reposted by jeqo
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...
www.youtube.com/playlist?lis...
December 12, 2024 at 5:42 PM
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...
www.youtube.com/playlist?lis...
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
openjdk.org/projects/jdk...
#JDK24 #OpenJDK #Java
December 5, 2024 at 6:25 PM
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
openjdk.org/projects/jdk...
#JDK24 #OpenJDK #Java
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/...
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
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/...
jack-vanlightly.com/...
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/...
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
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/...
jack-vanlightly.com/...
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
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
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
youtu.be/0SUM4869ODc
Reposted by jeqo
It gets even worse! Have you see his YC120 2019 application video!?
www.youtube.com/watch?v=px9O...
<3
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
It gets even worse! Have you see his YC120 2019 application video!?
www.youtube.com/watch?v=px9O...
<3
www.youtube.com/watch?v=px9O...
<3
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.
* 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
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.
* 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.
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...
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
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...
github.com/apache/opend...