TLA
First seen 2026-09-27 · last seen 2026-10-04 · 3 mentions across Hacker News
值不值得做站 已拥挤 score 0/100
33d
词龄（首见至今）
0
7 天提及
1
30 天提及
1
来源数
0
相关收费发布
🔒
.com 是否可注册
- Older than a month in our index; expect competition.
- Low velocity so far (1 mention this week).
- Single source so far.
读数来自我们自己的提及数据和公开的域名 RDAP 查询，不含第三方搜索量；把它当作筛选信号，不是保证。 .com 可注册性为 Pro 功能。
Mentions per day
| Day | Mentions |
|---|---|
| 2026-09-27 | 1 |
| 2026-09-30 | 1 |
| 2026-10-04 | 1 |
Where it appeared
| Title | Source | Score | Paid signal |
|---|---|---|---|
| What TLA+ can and can't check buttondown.com | Hacker News 2026-09-30 | 246 | none found |
| The internet discovers TLA+. Now what? reasonable.io | Hacker News 2026-09-27 | 128 | none found |
| Show HN: Untyped – check recorded agent runs against a TLA+ spec github.com | Hacker News 2026-10-04 | 2 | none found |