HackerReposA FIELD GUIDE TO OPEN SOURCE
ProSponsor the shelf♧ 0
← Back to top all-time
pingcap
tla-plus
TLA2018–2018
pingcap / tla-plus

tla-plus

Discover this repository through its Hacker News conversations.

Explore on GitHubRead Hacker News discussions
2Distinct people
2Mentions
0Explicit recommenders
314GitHub stars
REPOSITORY AT A GLANCE

What to know before exploring

What it is

A public description has not been verified.

Where it is used

No documented product use has been verified yet.

What people are saying

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

Also in these discussions

No other repository is repeatedly linked in the same discussions.

This week on Hacker News

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 1:49:46 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

Mentions over time

HN mentions by week2 dated mentions

Observed mentions: 2018-05-01 21:52:21 UTC to 2018-12-04 16:54:47 UTC. Weeks start Monday, UTC.

012018-04-30 00:00:00 UTC to 2018-05-07 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 commentsApr 302018-05-07 00:00:00 UTC to 2018-05-14 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-05-14 00:00:00 UTC to 2018-05-21 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-05-21 00:00:00 UTC to 2018-05-28 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-05-28 00:00:00 UTC to 2018-06-04 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-06-04 00:00:00 UTC to 2018-06-11 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-06-11 00:00:00 UTC to 2018-06-18 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-06-18 00:00:00 UTC to 2018-06-25 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-06-25 00:00:00 UTC to 2018-07-02 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-07-02 00:00:00 UTC to 2018-07-09 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-07-09 00:00:00 UTC to 2018-07-16 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-07-16 00:00:00 UTC to 2018-07-23 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-07-23 00:00:00 UTC to 2018-07-30 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-07-30 00:00:00 UTC to 2018-08-06 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-08-06 00:00:00 UTC to 2018-08-13 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-08-13 00:00:00 UTC to 2018-08-20 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 commentsAug 132018-08-20 00:00:00 UTC to 2018-08-27 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-08-27 00:00:00 UTC to 2018-09-03 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-09-03 00:00:00 UTC to 2018-09-10 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-09-10 00:00:00 UTC to 2018-09-17 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-09-17 00:00:00 UTC to 2018-09-24 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-09-24 00:00:00 UTC to 2018-10-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-10-01 00:00:00 UTC to 2018-10-08 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-10-08 00:00:00 UTC to 2018-10-15 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-10-15 00:00:00 UTC to 2018-10-22 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-10-22 00:00:00 UTC to 2018-10-29 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-10-29 00:00:00 UTC to 2018-11-05 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-11-05 00:00:00 UTC to 2018-11-12 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-11-12 00:00:00 UTC to 2018-11-19 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-11-19 00:00:00 UTC to 2018-11-26 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-11-26 00:00:00 UTC to 2018-12-03 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-12-03 00:00:00 UTC to 2018-12-10 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 commentsDec 3

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges
UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
PeriodStart (UTC)End (exclusive, UTC)MentionsSubmissionsComments
Apr 302018-04-30 00:00:00 UTC2018-05-07 00:00:00 UTC101
May 72018-05-07 00:00:00 UTC2018-05-14 00:00:00 UTC000
May 142018-05-14 00:00:00 UTC2018-05-21 00:00:00 UTC000
May 212018-05-21 00:00:00 UTC2018-05-28 00:00:00 UTC000
May 282018-05-28 00:00:00 UTC2018-06-04 00:00:00 UTC000
Jun 42018-06-04 00:00:00 UTC2018-06-11 00:00:00 UTC000
Jun 112018-06-11 00:00:00 UTC2018-06-18 00:00:00 UTC000
Jun 182018-06-18 00:00:00 UTC2018-06-25 00:00:00 UTC000
Jun 252018-06-25 00:00:00 UTC2018-07-02 00:00:00 UTC000
Jul 22018-07-02 00:00:00 UTC2018-07-09 00:00:00 UTC000
Jul 92018-07-09 00:00:00 UTC2018-07-16 00:00:00 UTC000
Jul 162018-07-16 00:00:00 UTC2018-07-23 00:00:00 UTC000
Jul 232018-07-23 00:00:00 UTC2018-07-30 00:00:00 UTC000
Jul 302018-07-30 00:00:00 UTC2018-08-06 00:00:00 UTC000
Aug 62018-08-06 00:00:00 UTC2018-08-13 00:00:00 UTC000
Aug 132018-08-13 00:00:00 UTC2018-08-20 00:00:00 UTC000
Aug 202018-08-20 00:00:00 UTC2018-08-27 00:00:00 UTC000
Aug 272018-08-27 00:00:00 UTC2018-09-03 00:00:00 UTC000
Sep 32018-09-03 00:00:00 UTC2018-09-10 00:00:00 UTC000
Sep 102018-09-10 00:00:00 UTC2018-09-17 00:00:00 UTC000
Sep 172018-09-17 00:00:00 UTC2018-09-24 00:00:00 UTC000
Sep 242018-09-24 00:00:00 UTC2018-10-01 00:00:00 UTC000
Oct 12018-10-01 00:00:00 UTC2018-10-08 00:00:00 UTC000
Oct 82018-10-08 00:00:00 UTC2018-10-15 00:00:00 UTC000
Oct 152018-10-15 00:00:00 UTC2018-10-22 00:00:00 UTC000
Oct 222018-10-22 00:00:00 UTC2018-10-29 00:00:00 UTC000
Oct 292018-10-29 00:00:00 UTC2018-11-05 00:00:00 UTC000
Nov 52018-11-05 00:00:00 UTC2018-11-12 00:00:00 UTC000
Nov 122018-11-12 00:00:00 UTC2018-11-19 00:00:00 UTC000
Nov 192018-11-19 00:00:00 UTC2018-11-26 00:00:00 UTC000
Nov 262018-11-26 00:00:00 UTC2018-12-03 00:00:00 UTC000
Dec 32018-12-03 00:00:00 UTC2018-12-10 00:00:00 UTC101

What Hacker News says

2 sources
morgo·Dec 4, 2018
To your point: I agree that it pays to be conservative with new filesystems and databases alike. However, I want to mention mitigating circumstances which have helped TiDB stabilize: - We use RocksDB as the underlying storage library, which was developed by Facebook, and has been battle-tested by many others. - The architecture itself has been inspired (and proven) by Google Spanner - Correctness has been proven with TLA+ https://github.com/pingcap/tla-plus - We have 300+ customers storing 15 PiB+
In TiDB 2.1 GA: Battle-Tested to Handle an Unpredictable World

MAKE YOURSELF AT HOME

A few shortcuts

/
Search the collection
?
Open this guide
Esc
Close dialogs and navigation

Your saved repositories and interests stay in this browser.