Interviewer: Can you explain this gap in your resume?
Network Engineer : Migrating everything to ipv6. 🤞
Exploring the NaiadClock TLA+ model in TLA-Web
[new blog post]
Use of Time in Distributed Databases (part 4): Synchronized clocks in production databases
muratbuffalo.blogspot.com/2025/01/use-...
This is a really cool addition to warpstream. Now that S3 has CAS, it would be neat to see someone implement an open source schema registry on S3 with no control plane. Schema registries are surprisingly hard to run well at scale.
I have been impressed by the usability of TLA-Web from Will Schultz . Recently I have been using it for my TLA+ modeling of MongoDB catalog ...
WarpStream BYOC reimplements the Kafka protocol with a stateless, zero-disk cloud-native architecture, replacing Kafka brokers with WarpStream Agents to simplify operations. But data streaming extends...
