Materialized View
@getmaterialized
Followers
367
Following
4
Media
10
Statuses
87
Software infrastructure hot takes, project and paper highlights, developer interviews, and stack deep dives. Brought to you by @criccomini.
your inbox
Joined October 2023
⚒️ 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." https://t.co/tdb7S7AcNx
github.com
Automated testing to find logic and performance bugs in database systems - sqlancer/sqlancer
0
2
13
🏗️ sqrl "Build GenAI applications, data products, and data-driven features quickly at scale without a PhD in data systems." https://t.co/Fzhfz4JcOc
github.com
Data Pipeline Automation Framework to build MCP servers, data APIs, and data lakes with SQL. - DataSQRL/sqrl
0
3
13
🏗️ fizbee "A Formal specification language and model checker to specify distributed systems." https://t.co/pHjM8Tg7Hc
github.com
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications - fizzbee-io/fizzbee
1
1
2
🏗️ 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." https://t.co/N5u8JdYc4e
github.com
Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite - vlcn-io/cr-sqlite
1
3
8
📄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." https://t.co/r1KDKwm3ck
0
3
10
✍️ 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)" https://t.co/z75dHuEFWH
scylladb.com
ScyllaDB Enterprise now includes a new feature, Space Amplification Goal allowing users to better manage their disk usage.
0
1
2
📺 Mojo🔥: a deep dive on ownership with Chris Lattner “Mojo wants to learn from Rust. Mojo doesn’t want to be Rust.” https://t.co/rjpaH5vZw7
0
0
2
📄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..." https://t.co/tvsmBp7vxw
0
0
2
🏗️ 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…” https://t.co/SCdz8xZ2OR
github.com
A massively parallel, high-level programming language - HigherOrderCO/Bend
1
6
10
✍️ 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." https://t.co/KkW0Ogxcrk
grafana.com
At GopherCon 2023, Grafana Labs distinguished engineer Bryan Boreham explored how to optimize applications using the loser tree data structure.
0
5
20
📄 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 ..." https://t.co/PnwPwGxu8V
0
0
0
🏗️ 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." https://t.co/E1XSw9CI6n
0
5
21
✍️ 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." https://t.co/NTyASo0sqw
corrode.dev
Recently, I found myself returning to a compelling series of blog posts titled Zero-cost futures in Rust by Aaron Turon…
0
5
13
✍️ 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.” https://t.co/jOJROWy7lZ
0
7
25
📄 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." https://t.co/H7cYmw4mdO
0
5
13
🏗️ quokka "Quokka is a tool for you to run custom stateful and windowed computation over terabytes of historical time series data." https://t.co/40akwIE6fQ
github.com
Making data lake work for time series. Contribute to marsupialtail/quokka development by creating an account on GitHub.
0
3
6
✍️ So Many New Systems Programming Languages II "Twelve new systems languages, and one that dates to the Carter administration" https://t.co/6hlbS7bPqe
colinsblog.net
Twelve new systems languages, and one that dates to the Carter administration
0
3
9
🏗️ 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." https://t.co/XPkCA3CvJG
github.com
Pydantic model and dataclasses.dataclass generator for easy conversion of JSON, OpenAPI, JSON Schema, and YAML data sources. - koxudaxi/datamodel-code-generator
0
0
2
📄 Positional Delta Trees to reconcile updates with read-optimized data storage https://t.co/HuzR9upVtM
0
3
6
✍️ 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." https://t.co/mRuPGnh5vh
0
8
54