Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
enricozb
on Aug 9, 2020
|
parent
|
context
|
favorite
| on:
Typing Is Hard
What a cool resource. I've been meaning to finish an MVP for a programming language I've been trying to write, and it's pretty encouraging how many languages use undecidable type systems.
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
