TypeScriptBC – Language specification for TypeScript with a Rust borrow checker | Hacker News Reader