👷 Software / 🛐 ex- Network Engineer
Now 😬 Messing around with
Distributed Systems 🕰️
https://sparkidev.codes/
Sharukh
Exploring the NaiadClock TLA+ model in TLA-Web
Interviewer: Can you explain this gap in your resume?
Network Engineer : Migrating everything to ipv6. 🤞
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.
[new blog post]
Use of Time in Distributed Databases (part 4): Synchronized clocks in production databases
muratbuffalo.blogspot.com/2025/01/use-...
OMG ! , Someone put the effort for BGP on TLA
#tla+
conf.tlapl.us/2024-fm/slid...
🤣🤣
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...