HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
DPDmancul
PHP and TypeScript Types Comparison
1 points
DPDmancul
2026-06-26T20:09:57Z
gitlab.com
Understanding Type Theory Eliminators
2 points
DPDmancul
2026-06-08T21:13:40Z
zenodo.org
Regard Time Machines [pdf]
3 points
DPDmancul
2025-08-19T09:05:18Z
philpapers.org