|
|
| | Reconstructing TypeScript, part 4: union types (jaked.org) | | 2 points by mooreds on Jan 27, 2022 | past | |
| | How to implement a TypeScript-style type checker, part 6: narrowing (jaked.org) | | 2 points by todsacerdoti on Nov 11, 2021 | past | |
| | Reconstructing TypeScript (jaked.org) | | 1 point by Stampo00 on Oct 16, 2021 | past | |
| | Reconstructing TypeScript, part 0: intro and background (jaked.org) | | 4 points by eatonphil on Oct 15, 2021 | past | |
| | Reconstructing TypeScript, part 0: intro and background (jaked.org) | | 3 points by austinbirch on Oct 15, 2021 | past | |
| | Reconstructing TypeScript, part 3: operators and singleton types (jaked.org) | | 1 point by jakedonham on Oct 6, 2021 | past | |
| | Reconstructing TypeScript, part 2: functions and function types (jaked.org) | | 1 point by jakedonham on Sept 27, 2021 | past | 1 comment | |
| | Reconstructing TypeScript, part 1: bidirectional type checking (jaked.org) | | 3 points by jakedonham on Sept 15, 2021 | past | |
| | Reconstructing TypeScript, part 0: intro and background (jaked.org) | | 1 point by jakedonham on Sept 7, 2021 | past | |
| | High-Assurance Web Programming with Coq Rock (jaked.org) | | 1 point by buff-a on Feb 15, 2012 | past | |
|
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
