Tessera
Folgen

jeqo

@jeqo.dev

father, peruvian, software engineer at aiven.io I like clouds, trees, and football (the real ones) @jeqo89.bsky.social for pics

4 Posts92 Follower356 Folgt
Kelsey Hightower@kelseyhightower.com · 7mo ago

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.

Mickael Maison@mickaelmaison.bsky.social · last yr.

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

Mickael Maison@mickaelmaison.bsky.social · last yr.

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

Jack Vanlightly@vanlightly.bsky.social · 2y ago

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

Jack Vanlightly@vanlightly.bsky.social · 2y ago

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

Jack Vanlightly@vanlightly.bsky.social · 2y ago

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.