Explore >> Select a destination
|
You are here 
|
henrikwarne.com | ||
| | | | |
my-it-notes.com
|
|
| | | | | Databases - how they work under the hood?Key takeaways from brilliant book "Designing data intensive application" - to quickly recap core concepts. DB engines classifications Type of load: OLTP (transaction processing) vs OLAP (data warehousing and analytics) Relational vs NoSQL, document vs columnar, graph vs triple-store (semantic facts storage) Even within NoSQL camp you can ... | |
| | | | |
jack-vanlightly.com
|
|
| | | | | This is a data system internals blog post. So if you enjoyed my table formats internals blog posts, or writing on Apache Kafka internals or Apache BookKeeper internals, you might enjoy this one. But beware, it's long and detailed. Also note that I work for Confluent, which also runs Apache Flink but does not run nor contributes to Apache Fluss. However, this post aims to be a faithful and objective description of Fluss. Apache Fluss is a table storage engine for Flink being developed by Alibaba in collaboration with Ververica. To write this blog post, I reverse engineered a high level architecture by reading the Fluss code from the main branch (and running tests), in August 2025. This follows my same approach to my writing about Kafka, Pulsar, BookKeeper, an... | |
| | | | |
timilearning.com
|
|
| | | | | My notes from Chapter 7 of 'Designing Data-Intensive Applications' by Martin Kleppmann. | |
| | | | |
jack-vanlightly.com
|
|
| | | Sophisticated, simulations need not be. Valuable insights, even simple scripts reveal. - Formal Methods Yoda A couple of weeks ago I was a guest on The Geek Narrator to talk about formal verification. I spoke a lot about how modeling and simulation are tremendously powerful tools, whether you use a formal verification language (such as TLA+) or just a Python script. This post goes through a real world example of how I used modeling and simulation to understand the statistical properties of a proposed distributed system protocol, using both Python and TLA+. There is a talk version of this post from TLA+ Conf 2022. | ||
