Materialized View @getmaterialized

Software infrastructure hot takes, project and paper highlights, developer interviews, and stack deep dives. Brought to you by @criccomini. materializedview.io your inbox Joined October 2023

Tweets

87
Followers

371
Following

1
Likes

4

Materialized View @getmaterialized

a year ago

⚒️ 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…

0 2 13 418 7

Materialized View @getmaterialized

a year ago

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

0 3 13 3K 9

Materialized View @getmaterialized

a year ago

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

1 1 2 199 0

Materialized View @getmaterialized

a year ago

🏗️ 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…

1 3 8 813 4

Materialized View @getmaterialized

a year ago

📄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/…

0 3 10 746 4

Download Image

Materialized View @getmaterialized

a year ago

✍️ 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…

0 1 2 121 0

Materialized View @getmaterialized

a year ago

📺 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…

0 0 2 2K 4

Materialized View @getmaterialized

a year ago

📄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

0 0 2 210 0

Materialized View @getmaterialized

a year ago

🏗️ 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/…

1 6 10 905 3

Materialized View @getmaterialized

a year ago

✍️ 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…

0 5 20 3K 17

Materialized View @getmaterialized

a year ago

📄 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…

0 0 0 154 1

Materialized View @getmaterialized

a year ago

🏗️ 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

0 5 22 3K 16

Materialized View @getmaterialized

a year ago

✍️ 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/

0 5 13 5K 6

Materialized View @getmaterialized

a year ago

✍️ 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-…

0 7 25 6K 19

Materialized View @getmaterialized

a year ago

📄 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…

0 5 14 995 8

Materialized View @getmaterialized

a year ago

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

0 3 6 335 2

Materialized View @getmaterialized

a year ago

✍️ 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…

0 3 9 748 1

Materialized View @getmaterialized

a year ago

🏗️ 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…

0 0 2 166 2

Materialized View @getmaterialized

a year ago

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

0 3 6 266 2

Materialized View @getmaterialized

a year ago

✍️ 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…