Materialized View

⚒️ sqlancer: Automated testing to find logic and performance bugs in database systems "SQLancer (Synthesized Query Lancer) is a tool to automatically test Database Management Systems (DBMS) in order to find logic bugs in their implementation." github.com/sqlancer/sqlan…

🏗️ sqrl "Build GenAI applications, data products, and data-driven features quickly at scale without a PhD in data systems." github.com/DataSQRL/sqrl

🏗️ fizbee "A Formal specification language and model checker to specify distributed systems." github.com/fizzbee-io/fiz…

🏗️ cr-sqlite - Convergent, Replicated, SQLite "CR-SQLite is a run-time loadable extension for SQLite and libSQL. It allows merging different SQLite databases together that have taken independent writes." github.com/vlcn-io/cr-sql…

📄Dostoevsky: Better Space-Time Trade-Offs for LSM-Tree Based Key-Value Stores via Adaptive Removal of Superfluous Merging "...we introduce Lazy Leveling, a new design that removes merge operations from all levels of LSM-tree but the largest." scholar.harvard.edu/files/stratos/…

✍️ Incremental Compaction 2.0: A Revolutionary Space and Write Optimized Compaction Strategy "Space Amplification Goal (SAG) will allow you to maximize your disk utilization without killing the write performance of Incremental Compaction Strategy (ICS)" scylladb.com/2021/04/28/inc…

📺 Mojo🔥: a deep dive on ownership with Chris Lattner “Mojo wants to learn from Rust. Mojo doesn’t want to be Rust.” youtube.com/watch?v=9ag0fP…

📄Deep Lake: a Lakehouse for Deep Learning "Deep Lake maintains the benefits of a vanilla data lake with one key difference: it stores complex data, such as images, videos, annotations, as well as tabular data, in the form of tensors..." arxiv.org/pdf/2209.10785

🏗️ Bend: A massively parallel, high-level programming language “Unlike low-level alternatives like CUDA and Metal, Bend has the feeling and features of expressive languages like Python…” github.com/HigherOrderCO/…

✍️ The loser tree data structure: How to optimize merges and make your programs run faster "Bryan explored the loser tree data structure (yes, that’s its real name) as a way to optimize sorting and merging operations so your applications run faster." grafana.com/blog/2024/04/2…

📄 Delta Lake: High-Performance ACID Table Storage over Cloud Object Stores "Delta Lake uses a tx log that is compacted into Apache Parquet format to provide ACID properties, time travel, and ..." vldb.org/pvldb/vol13/p3…

🏗️ Blessed: An unofficial guide to the Rust ecosystem "The STL in Rust is much smaller than in Python or Go, for example. Those languages come with "batteries included" support for things like HTTP(S), JSON, timezones, random numbers, and async IO." blessed.rs

✍️ The State of Async Rust: Runtimes "While 2016 evokes nostalgic memories of excitement and fervor surrounding async Rust, my sentiments regarding the current state of its ecosystem are now somewhat ambivalent." corrode.dev/blog/async/

✍️ How Rockset Separates Compute and Storage Using RocksDB “In this blog, we’ll walk through how Rockset provides compute-storage separation while making real-time data available to queries.” rockset.com/blog/separate-…

📄 Improving Performance in LSM-Tree based Key-Value Stores using NVMe "Motivated by SpanDB, we propose a method which splits hot data1 to NVMe SSD and SATA SSD and provides the sum performance of both devices." mohilp1998.github.io/files/CS_736_p…

🏗️ quokka "Quokka is a tool for you to run custom stateful and windowed computation over terabytes of historical time series data." github.com/marsupialtail/…

✍️ So Many New Systems Programming Languages II "Twelve new systems languages, and one that dates to the Carter administration" colinsblog.net/2023-03-22-sys…

🏗️ datamodel-code-generator "This code generator creates pydantic v1 and v2 model, dataclasses.dataclass, typing.TypedDict and msgspec.Struct from an openapi file and others." github.com/koxudaxi/datam…

📄 Positional Delta Trees to reconcile updates with read-optimized data storage odbms.org/wp-content/upl…

✍️ Zig And Rust "I now find myself writing Zig full-time, after more than seven years of Rust. This post is a hand-wavy answer to the “why?” question." matklad.github.io/2023/03/26/zig…