Compile-Time Dependent Types
0 comments
- Points3
- Comments0
–Rank now
#16Peak rank
1Days on list
–Score · 7d
Oct 30, 2026First seen
On Hacker News
- Points
- 3
- Comments
- 0
- Submitted by
- ibobev
- Posted
- Oct 26, 2026
- Site
- thenumb.at
Story details from Hacker News ↗ · linked article on thenumb.at.
Trending history
Compile-Time Dependent Types was first seen on Hacker News · Front page on Oct 30, 2026. Since then it has appeared in 22 checks on 1 different day. Its best position was #16 of 30, reached on Oct 30, 20:37 UTC. It dropped off the list after Oct 30, 20:37 UTC. The same link also trended on Lobsters, which raises its cross-platform score.
This page has little history so far; it stays out of search results until the item has trended on two days or has more context.
Rank history
Position on Hacker News · Front page at every check (lower is better).
Last 14 days
Best rank per day (UTC).
16
Oct 26today
Metric history
Platform metric as reported by Hacker News.
Where it trended
| List | Best | Days | Checks | Last seen |
|---|---|---|---|---|
| Hacker News · Front page | #16 | 1 | 22 | |
| LLobsters · Hottest Compile-Time Dependent Types | same link | |||
Featured in
Archived daily, weekly and monthly lists that include this entry.
Hacker News 1 day, best #16
Questions
Is Compile-Time Dependent Types trending on Hacker News right now?
Not at the moment. It was last on the list on Oct 30, 20:37 UTC, after 1 day of trending.
What is the highest rank Compile-Time Dependent Types reached?
#16 on Hacker News · Front page, on Oct 30, 20:37 UTC. Trendoday checks this list every 15 minutes.
How long has Compile-Time Dependent Types been trending?
It was first seen on Oct 30, 2026 and has been on the list on 1 day (22 checks) since.
How much discussion did it get on Hacker News?
3 points and 0 comments; submitted by ibobev on Oct 26, 2026.