I read the K (K9) manual[0] and it points to https://shakti.com/ as the authoritative place to download K, but the download link is gone and Wayback Machine hasn't helped
Yeah. Arthur Whitney's old company is Kx Systems which sells a vector in memory database for things like financial stock ticker analysis called Kdb+. I forget which version of K it is on. It mostly doesn't matter as most folks use the q-sql DSL on top of it. He then started another company called Shakti with some changes and what I guess is a later version of K. He had a download link up for a bit, but took it down iirc. I wish the site had more about the product listed, but we're not exactly the target audience (more for big banks).
[0] https://estradajke.github.io/k9-simples/k9/Introduction.html...