Super HN - Super Hacker News

KJS: A Complete Formal Semantics of JavaScript (github.com) 4 points by andsoitis 3 hours ago