TiDB is built for agentic workloads that grow unpredictably, with ACID guarantees and native support for transactions, analytics, and vector search. No data silos. No noisy neighbors. No infrastruc…

AeroSpace is an i3-like tiling window manager for macOS

Syncing files with remote server using rsync and OpenSSH

Spark SQL index for Parquet tables

Script remaps default GNOME keyboard shortcuts to macOS standards. This provides native desktop environment feel for Mac users that are utilizing GNOME-based Linux desktop environment. Read more in…

Vitess is a database clustering system for horizontal scaling of MySQL.

Diagrams for InnoDB data structures and behaviors

Parseable is an open source, unified infrastructure observability platform built in Rust on a data lake architecture. It tracks logs, metrics, traces, and events across apps, agents, and systems, r…

my golang lib

TLA+ specifications related to Viewstamped Replication

A modern replacement for Redis and Memcached

A static web application to explore and animate a TLA+ state graph.

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.