Identity Types
Posted3 months agoActive3 months ago
bartoszmilewski.comTechstory
calmneutral
Debate
10/100
Type TheoryHomotopy Type TheoryProgramming
Key topics
Type Theory
Homotopy Type Theory
Programming
The post discusses 'Identity Types' in the context of type theory, sparking a discussion about explaining complex concepts in simple terms.
Snapshot generated from the HN discussion
Discussion Activity
Light discussionFirst comment
2d
Peak period
1
48-54h
Avg / period
1
Key moments
- 01Story posted
Sep 22, 2025 at 9:56 AM EDT
3 months ago
Step 01 - 02First comment
Sep 24, 2025 at 1:44 PM EDT
2d after posting
Step 02 - 03Peak activity
1 comments in 48-54h
Hottest window of the conversation
Step 03 - 04Latest activity
Sep 26, 2025 at 1:27 AM EDT
3 months ago
Step 04
Generating AI Summary...
Analyzing up to 500 comments to identify key contributors and discussion patterns
Discussion (2 comments)
Showing 2 comments
nwhnwh
3 months ago
1 replyExplain this to me as if I am 5y old, please.
colbyn
3 months ago
Not sufficient. Would people pay money to have these ideas explained to them by a former self educated zealot? (Id have to refresh my memory but if my younger self could get into this anyone can.)
View full discussion on Hacker News
ID: 45333548Type: storyLast synced: 11/20/2025, 6:27:41 PM
Want the full context?
Jump to the original sources
Read the primary article or dive into the live Hacker News thread when you're ready.