frankmcsherry / blogLinks
Some notes on things I find interesting and important.
☆2,099Updated 3 weeks ago
Alternatives and similar repositories for blog
Users that are interested in blog are comparing it to the libraries listed below
Sorting:
- An implementation of differential dataflow using timely dataflow on Rust.☆2,903Updated 2 months ago
- A modular implementation of timely dataflow in Rust☆3,573Updated last week
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,056Updated 8 years ago
- High-performance runtime for data analytics applications☆3,004Updated 3 years ago
- ☆3,421Updated 4 years ago
- Blazingly fast analytics database that will rapidly devour all of your data.☆1,643Updated 6 months ago
- A model checker for implementing distributed systems.☆1,769Updated 6 months ago
- MacroBase: A Search Engine for Fast Data☆671Updated 3 years ago
- The Self-Driving Database Management System☆2,048Updated 6 years ago
- Jari's collection of interesting papers.☆496Updated 2 weeks ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆847Updated 3 years ago
- Dataflow analysis & differential privacy for SQL queries. This project is deprecated and not maintained.☆401Updated 6 years ago
- Black-box transactional safety checker based on cycle detection☆686Updated last month
- Differential dataflow for mere mortals☆529Updated 3 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆501Updated last year
- A collection of TLA⁺ specifications of varying complexities.☆1,440Updated last week
- Interesting readings and talks on computer science☆725Updated last year
- The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL☆6,220Updated last week
- Immutable Ordered Key-Value Database Engine☆1,394Updated 5 years ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,472Updated 2 years ago
- DataFusion has now been donated to the Apache Arrow project☆628Updated 6 years ago
- A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means☆2,126Updated 11 months ago
- RAPPOR: Privacy-Preserving Reporting Algorithms☆870Updated 3 years ago
- Readings in Databases☆8,008Updated last year
- A list of papers about distributed consensus.☆2,602Updated last year
- Collection of Papers On Database Management Systems☆224Updated 9 years ago
- Meaningful control of data in distributed systems.☆1,448Updated this week
- Represent large sets and maps compactly with finite state transducers.☆2,039Updated last year
- A lightweight Datalog engine in Rust☆861Updated last month
- Highly-available Distributed Fault-tolerant Runtime☆2,898Updated 2 years ago