Viewing profile — sijieg

Example: S3-Queue (in Rust!): https://github.com/lakestream-io/leaderless-log-protocol/tre...

We open-sourced the TLA+ and Fizzbee verified spec behind Ursa's storage engine. Verification across ~200K states caught a design bug that years of production missed. We then hande…

Ursa is available across all major cloud providers (GCP, Azure, AWS). It also supports pluggable write ahead log storage. For latency relaxed workloads, we use object storage to ge…

There seems to be a confusion here. Pulsar has been widely adopted in many mission-critical business-facing systems like billing, payment, transaction processing, or used a unified…

There are a few things unlocked by Ursa: 1. It is leaderless by design. So there is no single lead broker you need to route the traffic. So you can eliminate majority of the inter-…

We also love Kafka as a protocol. However, the implementation can be evolved to adopt the current cloud infrastructure and and rethought based on the modern lakehouse paradigm. Tha…

I am one of the co-founders of StreamNative. Currently Ursa is only available in our cloud service. But we do plan to open-source the core soon. Stay tuned.

Ah, just happened to see those two blog posts together in same place. Those are really good posts on explaining replication scheme of Apache BookKeeper. One thing to add on Flavio'…