This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

A gdb extension for mysql-server development

Postgres vertical autoscaling in k8s

Multi-DBMS SQL Benchmarking Framework via JDBC

A cloud-native database based on PostgreSQL developed by Alibaba Cloud.

a fast interpreter and JIT for R

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Source code for our OSDI 2016 paper

A working project for High-concurrency B-tree source code in C

GoogleTest - Google Testing and Mocking Framework

Linux kernel source tree