HackerTrans
TopNewTrendsCommentsPastAskShowJobs

GPT in 500 Lines of SQL(explainextended.com)

1,111 points·by thunderbong·vor 2 Jahren·76 comments
explainextended.com
GPT in 500 Lines of SQL

https://explainextended.com/2023/12/31/happy-new-year-15/

84 comments

chrsig·vor 2 Jahren
This is beautiful. I'd actually been going down this same rabbit hole with sqlite, I hadn't gotten far enough to bring a neural net into it.

I'd been inspired by the makemore lecture series[0]. At the 1hr mark or so, he switches from counting to using a nn, which is about as far as I've gotten. Breaking it down into a relational model is actually a really great exercise.

[0] https://www.youtube.com/watch?v=PaCmpygFfXo
pests·vor 2 Jahren
If you keep watching you will see the NN derive the same exact table as the counting method and even gives the exact same results when generating.
sigmoid10·vor 2 Jahren
It's a nice demo. Unfortunately the article mixes up things in the explanation for causal masking, because it seems the author conflates aspects from training and inference. First, causal masking exists to prevent the model from "peeking" at future tokens during training, and second (at least for GPT-like architectures) for enforcing the autoregressive aspect during inference. During inference we only use the last token anyways, so it will attend the entire input sequence. So this token is definitely not decided only from the last token's embedding.
gembeMx·vor 2 Jahren
JonChesterfield·vor 2 Jahren
Is this an accurate representation of the GPT driver loop?

    def generate(prompt: str) -> str:
      # Transforms a string into a list of tokens.
      tokens = tokenize(prompt) # tokenize(prompt: str) -> list[int]
    
      while True:
     
        # Runs the algorithm.
        # Returns tokens' probabilities: a list of 50257 floats, adding up to 1.
        candidates = gpt2(tokens) # gpt2(tokens: list[int]) -> list[float]
     
        # Selects the next token from the list of candidates
        next_token = select_next_token(candidates)
        # select_next_token(candidates: list[float]) -> int
     
        # Append it to the list of tokens
        tokens.append(next_token)
     
        # Decide if we want to stop generating.
        # It can be token counter, timeout, stopword or something else.
        if should_stop_generating():
          break
 
      # Transform the list of tokens into a string
      completion = detokenize(tokens) # detokenize(tokens: list[int]) -> str
      return completion

because that looks a lot like a state machine implementing Shlemiel the painter's algorithm which throws doubt on the intrinsic compute cost of the generative exercise.
NortySpock·vor 2 Jahren
I think the "context window" that people refer to with large language models means there's a maximum number of tokens that are retained, with the oldest being discarded. The window is a sliding window.
canjobear·vor 2 Jahren
Yes, that is the loop. All the magic is in the gpt2 function there.
creatonez·vor 2 Jahren
This is a very small section of the algorithm. This is just how it collects the tokens it has generated into a sentence.
[deleted]·vor 2 Jahren
jer0me·vor 2 Jahren
Related:

A GPT in 60 Lines of NumPy - https://news.ycombinator.com/item?id=34726115 - February 2023 (146 comments)
sunnybeetroot·vor 2 Jahren
This is mentioned in the article near the top.
ianand·vor 2 Jahren
This is great. In a similar vein, I implemented GPT entirely in spreadsheet functions with accompanying video tutorials

https://spreadsheets-are-all-you-need.ai/
alisonatwork·vor 2 Jahren
Your first video is fantastic. As someone who thinks LLMs are pretty nifty but never had a professional need to learn how they actually work, that 10 minute video taught me more than several years of reading esoteric HN comments and fluffy mainstream media on the topic. Seeing a bazillion floating point numbers all stacked up ready to be calculated across also makes it much more intuitive why this tech devours GPUs, which never really occurred to me before. Thanks for sharing.
danielmarkbruce·vor 2 Jahren
Nice job. Spreadsheets are a natural way to explain an LLM. I suspect that you can show training well too by calculating the derivatives for each parameter under each training example and showing it all explicitly mapped to the relevant parameter etc etc
ianand·vor 2 Jahren
Thank you. Validating to hear others feel spreadsheets are a natural and accessible way to explain LLMs. Someone asks “what’s do they mean by a parameter in a model” or “what is the attention matrix” and you can just pull it up graphically laid out. Then they can fiddle with it and get a visceral feel for things. It also becomes easier for non coders do things like logit lens which is just a few extra simple spreadsheet functions.

I actually plan to do what you describe after I do the embeddings video (but only for a “toy” neural net as a proof-of-concept introduction to gradient descent).
int_19h·vor 2 Jahren
Great approach and great delivery; looking forward to the next video in the series!
airstrike·vor 2 Jahren
Not only is that amazing, your video was so well done. Superb crowd work! Color me double impressed.
ianand·vor 2 Jahren
Thanks! Each one takes a surprisingly long time to make. Even figuring out how make the explanation accessible and compelling yet still accurate takes awhile and then there’s still the actual video to do.
Alifatisk·vor 2 Jahren
I love this, something that starts off as some kind of sorcery a year ago is now being explained so well and almost in a childish way.
pedrosorio·vor 2 Jahren
This sorcery didn't start a year ago. The model being described in the article is GPT-2 which was released in early 2019.
maelito·vor 2 Jahren
> and almost in a childish way.

No. You've got to have a solid background in computer science to even start to understand fully this article.

Even the title itself is not accessible to 99% of humans.
coldtea·vor 2 Jahren
Parent obviously means childish as in "simple and easy manner" not as "something 10 year olds will understand".
bookofjoe·vor 2 Jahren
Count me in as one of the 99%
Hendrikto·vor 2 Jahren
(3)
hsbauauvhabzb·vor 2 Jahren
I’ve completely avoided GPT and LLMs. This looks like it would generate some level of fluidity in text output, but not be able to parse and answer a question.

Is there any simplistic blog posts / training courses which go through how they work, or expose a toy engine in python or similar that? All the training I’ve seen so far seems oriented at how to use the platforms rather than how they actually work.
ford·vor 2 Jahren
Jay Alammar has my favorite sequence of tutorials from basic neural network math to GPT2.

Particularly [0], [1], and [2]

[0] http://jalammar.github.io/illustrated-transformer/

[1] http://jalammar.github.io/illustrated-gpt2/

[2] https://jalammar.github.io/visualizing-neural-machine-transl...
zaptrem·vor 2 Jahren
Strap in, this is by far the best resource: https://www.youtube.com/watch?v=kCc8FmEb1nY
Scene_Cast2·vor 2 Jahren
Interestingly, modern ML does not require Turing completeness. And yet, people are considering the possibility of AGI - I would find it pretty amusing if Turing completeness isn't necessary.
DennisP·vor 2 Jahren
Seems to me that Turing completeness is necessary, for the simple reason that I can mentally trace through Turing-complete code.
r-w·vor 2 Jahren
Without a piece of paper to take notes on? ;)
DennisP·vor 2 Jahren
My own memory functions as the paper tape as long as the program is simple enough :)
[deleted]·vor 2 Jahren
int_19h·vor 2 Jahren
Token inference by itself isn't Turing complete, but if its output can have side effects (e.g. editing the prompt for the next iteration), that's a whole different story.
ksarw·vor 2 Jahren
Great write up, I enjoyed the reading the explanations for each piece and found them to be clear and quite thorough.

I did make the mistake though of clicking "+ expand source", and after seeing the (remarkable) abomination I can sympathize with ChatGPT's "SQL is not suitable for implementing large language model..." :)
deskamess·vor 2 Jahren
I did that too and could not find a way to collapse it.
Hendrikto·vor 2 Jahren
> Plain Unicode, however, doesn't really work well with neural networks.

That is not true. See ByT5, for example.

> As an illustration, let's take the word "PostgreSQL". If we were to encode it (convert to an array of numbers) using Unicode, we would get 10 numbers that could potentially be from 1 to 149186. It means that our neural network would need to store a matrix with 149186 rows in it and perform a number of calculations on 10 rows from this matrix.

What the author calls alphabet here, is typically called vocabulary. And you can just use UTF-8 bytes as your vocabulary, so you end up with 256 tokens, not 149186. That is what ByT5 does.
int_19h·vor 2 Jahren
The point isn't that it doesn't work at all, but that it doesn't work as well as other approaches that we have. Which is evidenced by the fact that all the best-performing models on the market use tokenization. It's not a secret that tokenization is fundamentally a hack, and that ideally we'll get rid of it eventually one way or another (https://twitter.com/karpathy/status/1657949234535211009). And in principle, you can compensate for the deficiencies of byte-level tokenization with larger models and larger contexts. But what this means in practice is that a model that has the same level of intelligence (on most tasks; obviously, there are some specific tasks, like say counting characters in a word, where tokenization is detrimental to intelligence) takes a lot more resources to train, hence why we aren't seeing more of those.
wanderingmind·vor 2 Jahren
These marvels need to be preserved. Just posting the archive link here in case the blog is not maintained in future.

https://archive.is/VAGzF
neonate·vor 2 Jahren
and https://web.archive.org/web/20240224015308/https://explainex...
zarkenfrood·vor 2 Jahren
Thanks, this is a fantastic article and it would be a shame to be lost.
rawgabbit·vor 2 Jahren
This is very cool
ein0p·vor 2 Jahren
Unexpectedly insightful and answers some of the same questions I had early on: not just “how” questions, but “why” as well. You see the pattern with softmax quite often. I wish it was taught as “differentiable argmax” rather than by giving people a formula straight away. That’s not all it is, but that’s how it’s often used.
101008·vor 2 Jahren
I keep reading that GPT is a "smarter" "complex" Markov, in the end, just a function spitting out next word with some probability.

But from my experience that cannot be true - it has to learn somehow. There is an easy example to make. Tell it something that happened today and contradicts the past (I used to test this with the Qatar World Cup), and then ask questions that are affected by that event, and it replied correctly. How is that possible? How a simple sentence (the information I provide) changes the probabilites for next token by that far?
Lerc·vor 2 Jahren
There are two parts of the knowledge at play here.

1. The trained knowledge included in the parameters of the model

2. The context of the conversation

The 'learning' you are experiencing here is due to the conversation context retaining the new facts. Historically the context windows were very short and as the conversation continues it would quickly forget the new facts.

More recently context windows have grown to rather massive lengths.
pests·vor 2 Jahren
Mostly #2 of what the other response says. The entire input to the NN is what it's learning off - the weights are static, you are changing the probabilities based on which context is provided and it's length.
drexlspivey·vor 2 Jahren
Markov chains also depend on the initial state. In GPTs the initial state is your conversation history
cdelsolar·vor 2 Jahren
Serious question, how do I get this smart?
anthomtb·vor 2 Jahren
No doubt the author is a super genius ex-child prodigy whizzkid who emerged from the womb with the umbilical cord diagramming Euler's formula.

For real though, and knowing this is a leading question, the author has near-on 15 years of blog posts showing complex problems being solved in SQL. Is their brain bigger than yours and mine? Maybe a little bit. Do they have a ton of experience doing things like this? Most definitely.
fifilura·vor 2 Jahren
Also remember he builds these things piece by piece from the inside out.

It is easy to get overwhelmed when looking at the end result.

To learn you should probably run one block at a time to understand what each piece does. (In "normal" languages those pieces would be an isolated function)
deskamess·vor 2 Jahren
In the tokenization example for '"Mississippilessly", why is 'si' not part of the combined column? It appears twice in the text. My speculation is that it got collapsed out with 'iss' (a longer token). Is that right?
remram·vor 2 Jahren
Yes. At step 1 there are two 'i','s' and two 's','i', 'is' gets picked because it comes first. Then at step 7, because 'is' got formed, there are two instances of 'is','s' and only one instance of 's','i' so 'iss' gets formed.
deskamess·vor 2 Jahren
Thanks.
haolez·vor 2 Jahren
Is there a world where this can be made performant? Just my geek curiosity kicking in, as I love Postgres and SQL.
jakjak123·vor 2 Jahren
This is a very good article and introduction.
lagniappe·vor 2 Jahren
This is a great read, I didn't expect to scroll right back to the top as soon as I finished it the first time.
huqedato·vor 2 Jahren
Fantastic article. It kept my eyes on the screen for 2 hours, without interruption The author is a genius.
edpichler·vor 2 Jahren
What a beautiful blog post. I could understand more about LLM.
mikeytown2·vor 2 Jahren
There a GitHub page for this?
pajop·vor 2 Jahren
Here you go: https://github.com/quassnoi/explain-extended-2024
slt2021·vor 2 Jahren
I can feel the SQL-Force in this young jedi, Midichlorian level is on another level
swasheck·vor 2 Jahren
alex is a genius. he’s worth a follow.
B1FF_PSUVM·vor 2 Jahren
"It's full of jewels", as someone almost said.

E.g. The Sultan’s Riddle in SQL https://explainextended.com/2016/12/31/happy-new-year-8/
seasonalnull·vor 2 Jahren
This should be illegal
fifilura·vor 2 Jahren
Can you elaborate?
firemelt·vor 2 Jahren
laugh at people who overhyped it with singularity agi and skynet lmao
BessieRomeo·vor 2 Jahren
brainless·vor 2 Jahren
I think, I think, GPT creating GPT... creating GPT will be a thing soon. GPTception.
incahoots·vor 2 Jahren
Personally I like the AI dogman angle. AI trained to beat other AI (resumes tailored to beat ATS algorithms)
codetiger·vor 2 Jahren
GPT creating a better algo than itself is what’s even more interesting
mavamaarten·vor 2 Jahren
It might. But also, all decisions and knowledge is pretty much based on a resampling of our own language, conversations and internet data. It might puzzle together some existing ideas that have never been combined. Or it might hallucinate a better solution by accident. But we're definitely not at the level yet where it will actively build something great.
erwincoumans·vor 2 Jahren
Self-play GPT (by bots in a rich simulation) similar to Alpha Go Zero?
wizzwizz4·vor 2 Jahren
Self-play works for Go, because the "world" (for lack of a better term) can be fully simulated. Human language talks about the real world, which we cannot simulate, so self-play wouldn't be able to learn new things about the world.

We might end up with more regularised language, and a more consistent model of the world, but that would come at the expense of accuracy and faithfulness (two things which are already lacking).
codetiger·vor 2 Jahren
Games like Alpha Go have very limited(or known) end state so reinforcements learning or similar methods work great. However, I wonder how will AI train itself in learning human languages without being judged by humans. It’s just a matter of time before someone figures out
erwincoumans·vor 2 Jahren
Right, a rich simulator with humans for feedback: an evolved version of online worlds with a mix of AI NPC's and real people, with the task: find the NPC's. The NPC's can train in rooms with exclusive NPC's or mixed with people, without knowing.
namnhocq8·vor 2 Jahren
(1)
behnamoh·vor 2 Jahren
What is this sorcery?