Hello everyone, I am Software engineering Master's student looking to write my thesis about using Formal specifications using TLA+. I was hoping to do my thesis about Kafka. Are there eny well know parts of Kafka or maybe a bugs that would benefits from doing such work. I was looking at this presentation https://www.confluent.io/kafka-summit-sf18/hardening-kafka-replication/ and KIP like this https://cwiki.apache.org/confluence/display/KAFKA/KIP-320%3A+Allow+fetchers+to+detect+and+handle+log+truncation for reference where to start but maybe dev community has any suggestions?
-- Pagarbiai Matas Savickis Vilniaus universiteto studentas
