Anyone doing scale up in the HPC space. It's a massive market. This link has a picture in it showing the industries that buy that stuff: https://www.nextplatfo

Anyone doing scale up in the HPC space. It's a massive market. This link has a picture in it showing the industries that buy that stuff: https://www.nextplatform.com/2017/06/22/casing-hpc-market-hard-getting-harder/ https://www.nextplatform.com/2017/06/22/casing-hpc-market-ha... Although they cost a ton, there were at least two reasons to like NUMA machines: 1. You program them much like multithreaded machines instead of message passing like MPI. You do need to account for locality. There's OS, library, and documentation support for handling that, though. Porting a multithreaded library to NUMA is much smaller problem than clustering it. 2. A massive amount of memory with lower-latency access than on clusters. If your data is in memory, it's much faster than if it's being moved in and out of memory. Then, when it is moved, it's moved faster. Low-latency reduces the damage of many smaller copies, too. For such reasons, I always wanted a SGI or Cray machine. Modern, multi-core machines with plenty of RAM are good enough for most of my purposes, though. I do plan to do some model-checking of software in the near future. The amount of RAM used grows exponentially or something like that with the size of the program. Small ones already use GB of RAM in the analyses. Some are getting parallelized a bit. Obviously, 88 cores with 100+GB of RAM could be pretty useful if handling programs twice or three times as large. :) Btw, there are also languages designed specifically to take advantage of parallelism in many HPC situations. Like Go, they were intended to let you describe the algorithms in a high-level way with the compiler synthesizing efficient implementations for everything from multi-cores to NUMA to clusters. That's the theory. The best one from my prior research was Chapel. Then, there's simpler ones for stuff like data parallel with Cilk being an example. https://chapel-lang.org/ https://chapel-lang.org/ https://en.wikipedia.org/wiki/Cilk https://en.wikipedia.org/wiki/Cilk ParaSail was a recent one with interesting design. I'm not sure what its current status is in terms of usability. https://www.embedded.com/design/programming-languages-and-tools/4375616/ParaSail--Less-is-more-with-multicore?page=0 https://www.embedded.com/design/programming-languages-and-to...