正在加载视频...

视频加载失败

colf has launched! compete by solving 10 coding challenges where you generate the code solution with prompts. you win by having the least amount of tokens in your prompt and code try it out at colf​.dev

183,715 次观看 • 1 年前 •via X (Twitter)

59 条评论

eric zakariasson 的头像
eric zakariasson1 年前

i built this to make it easier to understand how prompting and code generation work under the hood. once you see how tokens map to code, you start to build intuition and can hopefully use it to write more performant prompt! available at

eric zakariasson 的头像
eric zakariasson1 年前

here's how it works 1.write your prompt & see the token count update as you type generate to send the prompt to the model and watch it stream code into the viewer 3.tests run automatically to verify solution 4.submit & see how you rank on the leaderboard

eric zakariasson 的头像
eric zakariasson1 年前

let me know what you think and send any feedback you have!

John 的头像
John1 年前

I've reached #1 on the whole site and most of the individual leaderboards, but I'm pretty confident a <700 total is possible. I suspect a few people on the individual leaderboards have figured out the current 'meta' and will land <800 total on all 10 pretty soon.

eric zakariasson 的头像
eric zakariasson1 年前

nice. the token ratio says a lot haha

John 的头像
John1 年前

Humans win for now

eric zakariasson 的头像
eric zakariasson1 年前

ok i checked your submissions, well played sir

John 的头像
John1 年前

Thanks! For most of them I'm pretty confident there's a more elegant and more interesting shorter solution but I wanted to sprint to 10/10 #1 first before refining Not proud of the regex one... yet

dmnk 的头像
dmnk1 年前

@ericzakariasson Well played, as soon as I saw the token ratio I got a bit sad Using the LLM as an autocomplete seems to be meta but should be discouraged with a similarity score or something punishing overlap Thoughts? Would love to see a 5 token prompt finish even if code is inefficient

John 的头像
John1 年前

@ericzakariasson I agree to some extent which is why I asked @ericzakariasson to add a prompts-only leaderboard earlier today - which he did (impressively fast btw) If you go to the global leaderboard -> full leaderboard, there's a link to it near the top. More interesting results & I'm not #1

sui 的头像
sui1 年前

i thought bro launched a coin 😭

eric zakariasson 的头像
eric zakariasson1 年前

lmao

Pietro Schirano 的头像
Pietro Schirano1 年前

Right behind you ahah I am going to try again today, this is fun!

eric zakariasson 的头像
eric zakariasson1 年前

haha nice! i need to put some more time into it as well

david fant 的头像
david fant1 年前

this nerd sniped me last night - very addictive

eric zakariasson 的头像
eric zakariasson1 年前

thank you for being an early tester!!

John 的头像
John1 年前

it would be cool if there was a leaderboard for shortest successful prompt on top of just shorted combined size

eric zakariasson 的头像
eric zakariasson1 年前

mm good idea can add that

Michael Feldstein 的头像
Michael Feldstein1 年前

colf

eric zakariasson 的头像
eric zakariasson1 年前

can i see a hole in one?

johan 的头像
johan1 年前

addictive!

Noah Hirschfield 的头像
Noah Hirschfield1 年前

cool idea, good learning #11 on lru cache

eric zakariasson 的头像
eric zakariasson1 年前

let's go!

Ian Nuttall 的头像
Ian Nuttall1 年前

So good!

eric zakariasson 的头像
eric zakariasson1 年前

thank you!!

Andrew 的头像
Andrew1 年前

I had this exact idea and never got around to it haha. Are you interested in

strwb 的头像
strwb1 年前

I ACTUALLY LOVE IT 😭

eric zakariasson 的头像
eric zakariasson1 年前

thanks 🍓

sasuke⚡420 的头像
sasuke⚡4201 年前

hello, the prompt length leaderboard should perhaps aggregate by users' shortest successful prompts

eric zakariasson 的头像
eric zakariasson1 年前

its aggregating prompt length of best submissions!

sasuke⚡420 的头像
sasuke⚡4201 年前

yes, so you can make your placement worse on the prompt length leaderboard by making a better submission for the main leaderboard

sasuke⚡420 的头像
sasuke⚡4201 年前

ok, actually, i'm happy with 69. please do not fix it to account for my shortest submission for one problem being shorter than the one it is using.

Samuel 的头像
Samuel1 年前

Trying it out

Mike Thrussell 的头像
Mike Thrussell1 年前

Somehow I rank #57 just from copy/pasting the initial questions! Which means most people must be doing a worse job than the challenge text. Not sure what to infer from that...

Mario 的头像
Mario1 年前

BRING IT ON!!!!!!!!

Sanjeed 的头像
Sanjeed1 年前

love this one!

shujiuan 的头像
shujiuan1 年前

This is so cool!

sasuke⚡420 的头像
sasuke⚡4201 年前

what is this tokenizer that has "blanks" = 2 tokens " blanks" = 2 tokens "blank blanks" = 2 tokens

Kevin Kern 的头像
Kevin Kern1 年前

Thats really useful! Awesome eric

Ben Gold 的头像
Ben Gold1 年前

Love this concept!

Matheus 的头像
Matheus1 年前

This is so cool, amazing work Eric!

eric zakariasson 的头像
eric zakariasson1 年前

thanks for all feedback!

Cole McIntosh 的头像
Cole McIntosh1 年前

love this! what a great idea

Saïd Aitmbarek 的头像
Saïd Aitmbarek1 年前

this is quite fun :) !

Alireza Bashiri 的头像
Alireza Bashiri1 年前

Great product, well done.

echo.hive 的头像
echo.hive1 年前

How often does the leaderboard update?

Andrew Jefferson 的头像
Andrew Jefferson1 年前

Ahh you one shotted my reward system

eric zakariasson 的头像
eric zakariasson1 年前

heheh

mojo 的头像
mojo1 年前

in the opposite direction, when can we include long token files (150k+) into 1M context models?

Jon 的头像
Jon1 年前

#19 i hope to stay above top 50 by tomorrow!

eric zakariasson 的头像
eric zakariasson1 年前

@vibecodejon i believe in you!

Jon 的头像
Jon1 年前

i need a $100 plan btw

Yaya Soumah 的头像
Yaya Soumah1 年前

Very interesting idea!

Elliot Lindberg 的头像
Elliot Lindberg1 年前

LFG

Ismat Ghaatol 的头像
Ismat Ghaatol1 年前

@amanayb broskie

dmnk 的头像
dmnk1 年前

Looks amazing but it appears as if the best practice is to get the most efficient implementation and let it auto complete (given 1st being 1:1 ratio)I think there should be a diff check of prompt to result, since there is little reason to prompt something if you already got it

Raduan Al-Shedivat 的头像
Raduan Al-Shedivat1 年前

wait, I love this

eric zakariasson 的头像
eric zakariasson1 年前

<3

Jay Little 的头像
Jay Little1 年前

this was so much fun, thanks for making it

相关视频