3 ms·
For WebAssembly, Firefox starts some things a lot faster. I was using the WASM version of Microsoft Z3 recently (a kind of theorem prover), and it took about 1
by jlokier 6y ago
For WebAssembly, Firefox starts some things a lot faster.
I was using the WASM version of Microsoft Z3 recently (a kind of theorem prover), and it took about 15 seconds to start in Chrome, and about 2 to start in Firefox on the same machine.
It ran a bit faster in Chrome after that, but not noticeably. Startup time was a bottleneck. Imagine visiting a web app then waiting 15 seconds while it's frozen before the functionality starts working.
- bjarneh 6y ago> Microsoft Z3 recently (a kind of theorem prover) Also a theorem prover with kinds (or more one type of elements), if I'm not mistaken :-) Firefox is getting really good; perhaps a bit memory hungry, but that's hardly where Chrome shines either...
- jlokier 6y agoThey call them sorts not kinds :-) "Sort" comes from many-sorted logic where the sort distinction is at the syntactic level, so easily inferred. They are not called "types" because they don't come from type theory; there is no logical richness to the relationships between different sorts, unlike the relationships between types. They are not called "kinds" because that is the name of a higher-order concept in type theory.