A new runtime for k and q: l
30 points
1 hour ago
| 3 comments
| lv1.sh
| HN
bikeshaving
33 minutes ago
[-]
As someone who does not know what k4, qSQL, or q are, reading through the landing page of this website was giving me mild schizophrenia. And then I tried to search for these things in the old way, and received incredibly dry technical sites that still don’t tell me what it is, and all these names are wildly SEO unfriendly. So I had Claude give me context and it’s apparently the database Wall Street uses for tick data. Sounds cool but, jeez.
reply
cassepipe
5 minutes ago
[-]
I believe k and q are member of the "array programming"/APL family of languages who are exceptionally terse/information-dense

https://en.wikipedia.org/wiki/Array_programming

reply
ofalkaed
8 minutes ago
[-]
K4 is the K programming language, Q is a language built on top of K. They are the practical over achieving members of the array family of programming languages.
reply
zacharynewton
14 minutes ago
[-]
¯\_(ツ)_/¯ quants be minimal
reply
zacharynewton
9 minutes ago
[-]
Not sure why all the hate (sure site may be vibecoded, not all of us are front-end masters and it's at least not spartan)... I've always found k to be fascinating, and cool idea to try and roll a new one. Wish it were wholly open source, but cool to have a new variant that seems to bench well.
reply
refulgentis
18 minutes ago
[-]
Flagged, lots of unexplained grandiose thinking like “k and q made the vector the unit of thought.” K and q are unexplained and unlinked and “unit vector of thought” is pseudoscientific language

Extremely likely to be AI, though I’m not sure that matters for rules re: submissions

reply
beng-nl
3 minutes ago
[-]
I see how jarring it is for you, but I want to comment-vouch against your flag. If you slow down a little, you can spot some meaning there. Its oddly phrased, but it does make sense that vectors (as in: simd vectors) are the building blocks of execution (to put it closer to how I might say it).

I’ve had similar ideas in the past: clearly simd is the way to get the most out of your cpu. Can we design a language where all operations are automatically simd, and it takes effort to do anything in scalars?

And I guess these array languages are what you might get.

It’s not ‘unit vector of thought,’ btw, which is weirder than what it says.

reply
bradrn
15 minutes ago
[-]
> lots of unexplained grandiose thinking like “ k and q made the vector the unit of thought.”

That much makes sense in context: K is an array language, like APL, J, etc. From what little experience I have with J, ‘vector as a unit of thought’ seems like a reasonable description.

> Extremely likely to be AI

I had the same thought though.

reply
refulgentis
7 minutes ago
[-]
That’s fair: The most fair-to-submitter reading of your comment is my concerns are unfounded. If you didn’t intend that, that’s fine.

For moderators, I’d suggest that for the community, it’s spam. That’s one example, there are many more like it. The individual statement may be defensible but is still pseudoscientific language. This sort of content is a massive burden to community. Unanswerable anrguments about AI writing, whether the ability for an individual to have a parse-able reading is the same as writing being parable. The net effect is negative experiences for many and copy-editing for someone who did not do copy editing.

reply
hasteg
16 minutes ago
[-]
I mean, this is perhaps the most vibecoded website possible so... deff AI.
reply
refulgentis
14 minutes ago
[-]
It attracts negative energy via unanswerable questions and downvotes if you assert it is, alas.
reply