//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
Profile
by @jimpick.com
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
AviHandle
by @katherine.computer
EventsList
by @katherine.computer
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileMedia
by @danabra.mov
ProfilePlays
by @danabra.mov
ProfilePosts
by @danabra.mov
ProfilePosts
by @dansshadow.bsky.social
ProfileReplies
by @danabra.mov
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
Profile
Loading...
👷 Software / 🛐 ex- Network Engineer Now 😬 Messing around with Distributed Systems 🕰️ https://sparkidev.codes/
Sharukh





Exploring the NaiadClock TLA+ model in TLA-Web
Dec 10, 2024
[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.
Jan 10, 2025
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 ...
muratbuffalo.blogspot.com
Exploring the NaiadClock TLA+ model in TLA-Web
Nov 27, 2024
This is part 4 of our "Use of Time in Distributed Databases" series . In this post, we explore how synchronized physical clocks enhance prod...
muratbuffalo.blogspot.com
Use of Time in Distributed Databases (part 4): Synchronized clocks in production databases
🤣🤣
Interviewer: Can you explain this gap in your resume? Network Engineer : Migrating everything to ipv6. 🤞
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...
www.warpstream.com
Introducing WarpStream BYOC Schema Registry
OMG ! , Someone put the effort for BGP on TLA #tla+ conf.tlapl.us/2024-fm/slid...
Dec 9, 2024
Dec 22, 2024
Dec 12, 2024
Pierre Zemb
conf.tlapl.us
Sharukh
Sharukh
Murat (Distributolog)
Sharukh
Chris
Interviewer: Can you explain this gap in your resume? Database Admin: That's a normal maintenance window
Dec 21, 2024
Qian Li
linux toolchain 1. install packages 2. compile 3. run windows toolchain 1. install visual studio 2022 2. WELCOME TO HELL, BITCH.