1
TypeScript: Types as axioms, or: playing god with static types
(lexi-lambda.github.io)
A community about JavaScript, the ECMAScript standard, and programs that make use of JS such as Node.js.