News for hackers. Stuff that matters.

A comment on WASM Instructions. Parent comment

Re:WASM Instructions by burke on Sunday February 18, 2024 @10:45AM (#39419981)
Even when it works (I’ve never seen this failure), this site is offensively unusable. Anchors don’t go to useful places; search doesn’t work in the MathJax regions… the writing also does a fairly poor job of communicating details in many cases.

It’s really a truly terrible spec site.

[ Parent | on HN ]
Re:WASM Instructions by kevingadd on Sunday February 18, 2024 @07:30PM (#39425003)
The WASM spec ended up being a poor compromise between 'executable spec' (i.e. writing the spec entirely in ocaml or in a theorem prover language) and 'human readable spec' (i.e. the JavaScript or C# specs).
[ Parent | on HN ]