Branded types for TypeScript(carlos-menezes.com)137 points by carlos-menezes 2 years ago | 120 comments
Compiling a Functional Language to LLVM (2023)(danieljharvey.github.io)54 points by PaulHoule 1 year ago | 0 comments