@jannem @niconiconi @ignaloidas @lanodan I don't think that people stopped using Symbolics machines because they had superior hardware. The reason it failed is very simple - it is effectively impossible to get rid of x86-oids on the market, even if you have better technology on paper (see M1 Macs) the product is probably not going to see much mainstream use. And you need to be one of the 5-6 richest tech companies to even attempt at doing something like this.