SMT
First seen 2026-09-13 · last seen 2026-10-08 · 2 mentions across Hacker News
Worth building a page or product? Crowded score 0/100
47d
term age (since first seen)
0
mentions · 7 days
1
mentions · 30 days
1
sources
0
related paid launches
🔒
.com availability
- Older than a month in our index; expect competition.
- Low velocity so far (1 mention this week).
- Single source so far.
Readings come from our own mention data and public domain RDAP lookups; no third-party search-volume data. Treat them as a screening signal, not a guarantee. The .com check is a Pro feature.
Mentions per day
| Day | Mentions |
|---|---|
| 2026-09-13 | 1 |
| 2026-10-08 | 1 |
Where it appeared
| Title | Source | Score | Paid signal |
|---|---|---|---|
| Show HN: Railo – Deterministic AST security patches verified with Z3 SMT railo.dev | Hacker News 2026-09-13 | 3 | none found |
| Show HN: Llmll – AI agents fill typed holes, an SMT solver rejects wrong fills github.com | Hacker News 2026-10-08 | 1 | none found |