Taelin (@VictorTaelin) / X

Taelin

21K posts

Taelin

@VictorTaelin

₍^. .^₎⟆

São Paulo

github.com/VictorTaelin

Joined March 2011

Pinned
Taelin
@VictorTaelin
May 16, 2024
RELEASE DAY After almost 10 years of hard work, tireless research, and a dive deep into the kernels of computer science, I finally realized a dream: running a high-level language on GPUs. And I'm giving it to the world! Bend compiles modern programming features, including: -
00:00
Taelin
@VictorTaelin
Sep 12, 2024
I declare AGI achieved
Taelin
@VictorTaelin
Jul 8, 2025
so here's a challenge I put you in a time chamber I give you 10,000 books to read for every word you read, I ask you to guess the next word if you guess it right, I give you a cake if you guess it wrong, I zap your butt and when you're done, we start over again and again and
Air Katakana
@airkatakana
Jul 8, 2025
chatgpt, claude, gemini, grok, etc have all read, comprehended, and nearly memorized every book in the world, and yet with current architectures and training techniques none of them have any truly novel knowledge to give us. really makes you think
Taelin
@VictorTaelin
Aug 21, 2025
BTW, I've basically stopped using Opus entirely and I now have several Codex tabs with GPT-5-high working on different tasks across the 3 codebases (HVM, Bend, Kolmo). Progress has never been so intense. My job now is basically passing well-specified tasks to Codex, and reviewing
Taelin
@VictorTaelin
Oct 11, 2024
A short proof that LLMs (even o1) still can't reason: Consider the problem of inverting a perfect binary tree. That's an old, entry-level interview question that humans and LLMs can solve easily. Now, let's add just 3 key nuances to make it new and unique: 1. It must invert
INVERT A BINARY TREE - $10k AI REASONING CHALLENGE (v2)
From gist.github.com
Taelin
@VictorTaelin
May 14, 2024
Seriously - this is great. I can't overstate how good it is. I spent a LONG time to get a half-decent run with Opus back then. Other models could barely draw a frame. GPT-4o just... plays the game. This is Pokémon Red. In a terminal. To details. It remembers everything I do, it
Taelin
@VictorTaelin
May 14, 2024
Pokémon Red gameplay
00:00
Taelin
@VictorTaelin
Apr 2, 2023
Pro tip: you can greatly increase GPT-4's effective context size by asking it to compress your prompts using its own abbreviations. #GPT4
Taelin
@VictorTaelin
Feb 19, 2025
Ok, I feel safe to say it now: Grok3 is the new king. Not sure what is up with people claiming otherwise, but they're wrong. This model is scary smart. Spooky even. Perhaps it has some weird quirks, but the IQ is there. Good night
Taelin
@VictorTaelin
Aug 15, 2024
Replying to @rajandelman
Sad to see Nintendo going in this direction to appeal this generation. I hate drugs and alcohol so I'm done with the Mario franchise
Taelin
@VictorTaelin
Jan 30, 2025
Ok big question: how do you expand out of a bubble on X? My feed is literally DeepSeek, NVDA traders, Yacine and Mac Minis I want new hobbies and to be part of interesting communities
Taelin
@VictorTaelin
Apr 7, 2024
I *WAS* WRONG - $10K CLAIMED! ## The Claim Two days ago, I confidently claimed that "GPTs will NEVER solve the A::B problem". I believed that: 1. GPTs can't truly learn new problems, outside of their training set, 2. GPTs can't perform long-term reasoning, no matter how simple
Taelin
@VictorTaelin
Apr 6, 2024
A::B Prompting Challenge: $10k to prove me wrong! # CHALLENGE Develop an AI prompt that solves random 12-token instances of the A::B problem (defined in the quoted tweet), with 90%+ success rate. # RULES 1. The AI will be given a random instance, inside a <problem/> tag. 2.
Taelin
@VictorTaelin
Oct 21, 2025
> Codex, do X. *writes wrong code* > This is wrong because <reason>. Instead, do <solution>. *writes wrong code* > ?? Can you EXPLAIN why your code is wrong? *writes perfect explanation* > If you get it, why didn't you apply that to your code? *writes perfect code* ...
Taelin
@VictorTaelin
Apr 5, 2024
A simple puzzle GPTs will NEVER solve: As a good programmer, I like isolating issues in the simplest form. So, whenever you find yourself trying to explain why GPTs will never reach AGI - just show them this prompt. It is a braindead question that most children should be able to
Taelin
@VictorTaelin
Mar 17, 2025
Taelin
@VictorTaelin
Mar 17, 2025