December 7, 2025
All tests, one name war
KJS: A Complete Formal Semantics of JavaScript
2,782 tests passed — but the name sparked a nerd brawl
TLDR: KJS offers a rigorous blueprint of JavaScript, passing 2,782 tests and enabling formal verification, but it doesn’t support many built‑in library features. The lone standout comment torched the project’s name for clashing with KDE’s old “KJS,” igniting a debate over branding versus technical excellence.
KJS just rolled in claiming the most complete blueprint of how JavaScript actually works, and the techies are impressed: it runs code, passes a whopping 2,782 official language tests, and can even help prove programs safe and sniff out security bugs using the K framework. The fine print? It only supports part of the built‑in libraries, so simple things like Date.now can still crash the party. That’s the kind of irony the internet loves: “complete” brain, incomplete kitchen sink.
But the loudest reaction came from a single dagger of a comment: “Poor name,” said one user, pointing out it collides with KDE’s old KJS engine in the KHTML browser. Cue brand déjà vu, confused Googling, and the classic meme: there are only two hard problems in computer science—cache invalidation, naming things, and off‑by‑one errors. The setup guide reading like a time capsule (Ubuntu 14.04 and Java 8) fed jokes about “dev time travel,” while wonks countered that “complete” here means the language rules, not every library function. So even with sparse chatter, the vibe is clear: respect for the brainy feat, side‑eye at the naming and the brittle standard library support. If you like high drama over high precision, this drop has both in spades.
Key Points
- •KJS is an executable, formal semantics of JavaScript that passes all 2,782 core test262 conformance tests.
- •KJS provides semantic coverage metrics and supports symbolic execution for formal analysis and verification, including security vulnerability detection.
- •Setup instructions target Debian/Ubuntu (especially Ubuntu 14.04 LTS), requiring JDK 1.8, build tools, git, maven, and a customized K framework.
- •KJS partially supports standard libraries; programs using unsupported functions (e.g., Date.now) may fail, with Node.js used to handle certain functions.
- •The core test262 suite can be run with parallelization and selective positive/negative tests; six tests are correctly flagged for parsing errors per ECMAScript 5.1.