Remix.run Logo
You Could Have Come Up with Kimi Delta Attention(blog.doubleword.ai)
169 points by AnhTho_FR 2 hours ago | 54 comments
rekshaw 2 hours ago | parent | next [-]

after a cursory read, I can confidently say I could not, in fact, have come up with Kimi Delta Attention.

penguin_booze 6 minutes ago | parent | next [-]

"you could have..." is among the top insulting phrases used by maths-adjacent people. Others in that league are "it should now be obvious...", "it's abundantly clear...", "it can be easily shown that...", "this is nothing but..." etc.

The rest of us reading this are like, holy batman, what the fuck was that?!

ozgung a minute ago | parent | next [-]

Also the proof is so trivial that it’s left to the reader.

Razengan 3 minutes ago | parent | prev [-]

Right next to "Learn More" by software UI designers.

yongjik a few seconds ago | parent | prev | next [-]

Imagine reading it again in the voice of the Asian Father Meme.

frankus 2 minutes ago | parent | prev | next [-]

Relevant xkcd: https://www.explainxkcd.com/wiki/index.php/2501:_Average_Fam...

nope1000 an hour ago | parent | prev | next [-]

I don't even know most words they used in the paper haha

londons_explore 12 minutes ago | parent | prev | next [-]

The notation looks complex, but underneath it's all just adding and multiplying.

Nothing complex

teach 5 minutes ago | parent | next [-]

Grand Theft Auto VI looks complex, but underneath it's all just ones and zeros and NAND

ReactiveJelly 9 minutes ago | parent | prev | next [-]

"I invented a new algorithm"

"New algorithm, or fmadd?"

"... fmadd."

baq 9 minutes ago | parent | prev [-]

as is practically all of transformer maths if you squint hard enough...

dd8601fn 43 minutes ago | parent | prev | next [-]

Yeah, pretty sure the “you” in “you could have” is a different “you” than “we”.

world2vec 2 hours ago | parent | prev | next [-]

Not even close for me too.

vovavili an hour ago | parent | prev | next [-]

I thought I was the only one.

trollbridge an hour ago | parent [-]

Thank goodness. There are dozens of us.

ma-r-s an hour ago | parent [-]

dozens!!!

arnavpraneet 34 minutes ago | parent [-]

possibly scores!!!

cloudcalvin118 a minute ago | parent [-]

Scores? More like "grosses"

queenkjuul 29 minutes ago | parent | prev [-]

They lost me just describing the notation lol

TrackerFF an hour ago | parent | prev | next [-]

Machine learning could need, and probably has needed, some unified math notation for the past 15 years IMO. With that said, it was worse back in the day - when ML papers were the products of researchers from all over, you'd see some wild notation.

Many will likely disagree with me, but inconsistent notation (across papers!) is to me friction. At least in this article the author explicitly explains the notation at the very start...that is not always the case. Rarely, even.

EDIT: Didn't even notice the notation switch, much appreciated.

neutrinobro an hour ago | parent | prev | next [-]

You know its a doozy when the author writes a disclaimer at the top saying that bra-ket notation was chosen in order to make the algorithm and data structures clearer.

CodesInChaos an hour ago | parent [-]

One of the more annoying parts of my physics study was getting used to the new matrix multiplication notation they came up with every semester.

kurthr 28 minutes ago | parent [-]

Raising and lowering operators for summation notation are the beginner tools for covariant derivatives of the metric tensor.

Christoffel symbols are where it's at, if you need to write out the Ricci tensor. The more constrained the space the more concise the notation can be.

Note that MechE tensor notation has an even more compact (eigen) form for principal stresses.

HonshinM 19 minutes ago | parent | prev | next [-]

A visualized tutorial: https://snowchord.com/blog/linear-attention-visualized/

croemer an hour ago | parent | prev | next [-]

LLM written for sure:

> The identity [...] is the whole trick. The outer product is a matrix; the inner product is a number. We no longer store every past key and value. We store their summed outer products in the fixed-size state S_t.

robertclaus an hour ago | parent | next [-]

Ya, probably started with asking for a buzzy title.

geraneum 38 minutes ago | parent | prev [-]

This is what you get when you prompt claude to avoid –

_Microft 42 minutes ago | parent | prev | next [-]

Side note, before you ask: yes, bra-ket notation is called like that because of the brackets.

https://en.wikipedia.org/wiki/Bra-ket_notation

enraged_camel 3 minutes ago | parent | prev | next [-]

If I could, I'd be working for one of the labs and commanding a seven-figure salary. :)

Kushagra125 an hour ago | parent | prev | next [-]

The toggle is really useful. Liked it!!

scarmig an hour ago | parent | prev | next [-]

I like the math vs physics toggle.

bee_rider 37 minutes ago | parent | prev | next [-]

Where do linear algebra folks go to get started with ML stuff? It seems pretty easy but the hardware is expensive.

sva_ 13 minutes ago | parent | next [-]

I think Karpathys nn zero to hero is a good starting point. And you can experiment on small networks using pretty normal hardware.

stuxnet79 15 minutes ago | parent | prev | next [-]

Huh?

If your aim is to truly 'get started' with ML then hardware is absolutely not a bottleneck (either local or cloud).

Remember that ML is much more than LLMs. Even modern day LLMs can be quantized to a point where they can run on local hardware although their capabilities won't be as impressive.

I would recommend looking into some of Andrej Karpathy's videos if you want a grasp of the basics.

nifets 16 minutes ago | parent | prev [-]

what is a linear algebra folk?

andai 40 minutes ago | parent | prev | next [-]

>You Could Have Come Up With Kimi Delta Attention

What? Little old me! Well, then, let's have a look...

> (First paragraph)

> A note on notation: this article defaults to bra-ket notation because (in my quantum-inspired opinion) it makes the shapes in this derivation very clear. The Math notation switch above rewrites every equation using conventional bold vectors and explicit transposes instead. In bra-ket mode, ∣ q ⟩ ∣q⟩ is a column vector, ⟨ k ∣ ⟨k∣ is a row vector, ⟨ k ∣ q ⟩ ⟨k∣q⟩ is a number, and ∣ v ⟩ ⟨ k ∣ ∣v⟩⟨k∣ is a matrix. Vectors face right by default, while keys face left when written into the linear-attention state. We work with one causal attention head and real-valued vectors, assume DeltaNet’s keys are normalized, and let the state map from key space to value space.

Hmm... Guess not!

5555watch 39 minutes ago | parent [-]

I love that they let you switch to a more common q'k notation!

piterrro an hour ago | parent | prev | next [-]

At first I felt bad about not having come up with this solution. But then I realized I have problems with writing binary search by myself in JS and immediately felt better.

Now way I could have come up with Kimi Delta Attention.

bee_rider an hour ago | parent [-]

Lots of linear algebra codes are actually “easy to write” in a way. It isn’t like conventional CS where you are always going a bunch of recursive nonsense going on. There should be mathematical relationships between all of the variables, there are well implemented libraries for the common mathematical concepts, and it is rare to need to go more than a couple loops deep (anything more complex than that should get shunted off into a library anyway).

_davide_ an hour ago | parent | prev | next [-]

Loved this incremental evolution, things gets way more understandable...usually xD

spwa4 an hour ago | parent | prev | next [-]

No, you couldn't have. There are plenty of ML innovations that when push comes to shove only depend on having access to more compute, but this is one of the worst examples I've ever seen.

I always thought that the jump from LSTM/GRU -> Attention wasn't a particularly big one. Instead of partial unroll, do a full unroll. Why not (because it's too expensive, that's why not). Every component was known, and everybody anywhere near ML knew perfectly well why NOT to try that: because you just don't have the compute to fully unroll an LSTM. From that point attention is optimized (they key-query mechanic). The big innovation is not so much the mechanism itself but realizing the parallelize-ability of it.

It's sort of like if one would today make the "improvement" to attention to replace they key-query-value mechanic by just dropping it while making the entire context the latent space. That will outperform attention, nearly guaranteed. It'll also make even Google's cluster networks meltdown. Attention is one of those innovations that came mostly from realizing you had better hardware than everybody else and asking yourself how to use it. It's still quite the accomplishment, they had to get it working. But nobody else was really capable of making this leap.

leonvoss an hour ago | parent | next [-]

I agree 100%. This field is not amenable to progress from people with a pen sitting in a corner proving theorems. The math is mostly uncertain vibes and to test it you need millions of dollars of compute. Smart loners just can't.

p1esk 18 minutes ago | parent | prev [-]

replace they key-query-value mechanic by just dropping it while making the entire context the latent space.

What do you mean by this? Like concatenating all token embeddings into one large vector?

asdfman123 an hour ago | parent | prev | next [-]

Relevant XKCD

https://xkcd.com/2501/

anshumankmr an hour ago | parent | prev | next [-]

https://www.youtube.com/watch?v=p0CEOkoSsgA

mnky9800n an hour ago | parent | prev | next [-]

why are you using braket notation?

leonvoss an hour ago | parent [-]

He has a master's degree in physics from Oxford. Also there is a toggle to normal notation. Well, CS notation. I'm not a fan of transpose marks everywhere. I like an even more mathematics notation.

mezark 2 minutes ago | parent [-]

And a PhD in Quantum Computing! I'm a physicist so a fan of bra-ket tbh

brcmthrowaway an hour ago | parent | prev | next [-]

I could never get this about modern machine/deep learning or even the Transformers. Yes, it's not exactly rocket science, but when I see the data flow diagrams, it's not clear what is calculated in real time or multiple steps.

Is it really one big computation f(g(h(x)))?

malwrar an hour ago | parent | next [-]

Yes.

Each token prediction is one big function call. Then you just recursively generate more tokens until run out of context or the model predicts a next token indicating end of sequence. Technically the model outputs a matrix where the last row is a probability distribution, but I’m counting sampling from it as part of the chain. Hundreds of billions of dollars has gone into just making the function fatter and gradually changing pieces here and there.

pyentropy an hour ago | parent | prev | next [-]

Inference (the real time computation) and training (the computation you do when developing a model) are deeply tied by automatic differentiation.

In a way, you train by repeatedly inferring (forward), calculating a loss (how much your model sucks with its current predictions) and then improving the model by differentiating.

Take a look at Karpathy's micrograd repo to become more familiar with the process.

choilive an hour ago | parent | prev | next [-]

What's your distinction between real time vs multiple steps? All computation is done in steps.

Is it all one big computation? Its turtles all the way down.

leonvoss an hour ago | parent | prev [-]

It's all vibes.

codeduck 24 minutes ago | parent | prev [-]

Hmm. Hmmm. Hmm. HMMM. Hmm.

Yep! I know some of these words.