Taelin

@VictorTaelin87k followers

₍^. .^₎⟆

Open on X
Top outlier
183×
Best organic post
Peak views
3.6M
Single post
Bookmarks
78k
Across 91 organic posts
Last scan
Oct 16
Community cache
Posts 91 posts
#DatePost↓ OutlierViewsLikesRepostsBookmarks
1May 16, '24RELEASE 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 o183×3.6M16k2.1k8k
2Aug 21, '25BTW, 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 has154×3.1M5.8k2192.2k
3May 14, '24Seriously - 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..112×2.2M4.7k3002.7k
4Sep 17Bend 2 is here! It is a new programming language that blocks AI mistakes via *proof checking* - the same technique big AI labs used to solve open math problems, like Navier-Stokes.107×2.1M11k1.3k6k
5Apr 5, '24A 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 reac90.6×1.8M3.7k3523.5k
6Sep 12, '24I declare AGI achieved85.4×1.7M8k274893
7Apr 2, '23Pro tip: you can greatly increase GPT-4's effective context size by asking it to compress your prompts using its own abbreviations. #GPT469.3×1.4M4.7k4582.6k
8Mar 17, '25View post on X66.5×1.3M3.9k107531
9Apr 7, '24I *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 problem58.1×1.2M4.3k4421.8k
11Oct 11, '24A 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 ca52.5×1M4.7k4243.9k
12Jul 10, '25hit my daily limit on Grok4 already ): can't update to SuperGrok Heavy due to some bug? first impression is cautiously optimistic. benchmarks are obviously insane, 15%+ on ARC-AGI 46×919k2.2k51343
13Jun 23, '24I've spent some time browsing /r/CharacterAI and the (teenagers?) are enraged over what seems like a swap of models. I've just read a 3-pages long rant on how the bots "suddenly go39.8×795k1.3k60813
14Nov 10, '25historically, the naive gave us: boats - "we can sail to new lands" planes - "we can fly the skies" rockets - "we can reach the moon" computers - "we can build calculation machines37.5×748k1.2k84300
15Feb 26, '25View post on X35.6×711k3.7k701.2k
16Sep 29, '25I really like Claude 4.5 for coding, it is fast, reliable, surgical, high-quality in a good way. I think I will use it a lot, specially for style refactors and things like that. Bu34.7×693k1.2k32191
17Dec 31, '24IT WORKS! Demo time 🥳 (next 10x productivity bump is here?) Suppose you must refactor a large codebase, e.g.: > "use I32 instead of U32 as the native number type" That task, by it31.6×632k1.9k1151.7k
18Aug 2, '24Something might be really wrong - because it works. By merely enumerating terms, you can find "new algorithms". For example, if you try to solve for `f` in `f 0010 = 1010 && f 110031.5×629k1.7k911.7k
19Sep 30, '25Asked Sonnet-4.5 to perform a refactor. Left it working alone. 5 minutes later, it declared victory. I committed it and started testing. Something was wrong. Many tests broke. I po30.2×602k3.4k176817
20Mar 23, '25I apologize for the emotional vagueposts. I'll be direct now a major breakthrough took place today for a context, I'm working on the problem of synthesizing a program by examples. 27.5×548k3.3k2131.7k
21Nov 10, '25in a post-AGI world, people will simply get used to the fact that computers can solve cognitive problems quickly, and beat us in any cognitive domain, just like we're used to compu26.8×534k3.4k3051.2k
22Oct 10, '24I've built it23.6×472k1.8k83985
23Feb 5, '25was sonnet 3.5 an astronomically lucky run?23.6×471k2.7k41231
24Mar 2, '24Opinion (possibly obvious): Buying NVDA right now is actually a worse idea than buying Bitcoin at the absolute top of any bubble, because at least Bitcoin recovers. The only way fo22.9×458k1.1k59559
25Nov 26, '238 years ago, this algorithm blew my mind. Now I built an entire company around it... and it still does. λ-calculus-optimal-evaluators-able-to-compute-big-modular-exponentiation22.7×453k1.8k1581.6k
26Oct 14, '25I'm bottlenecked by Codex. Every day, I have to choose 2 or 3 things to work on, because it will spend a long time on each. My routine is like: - wake up - write a prompt - send it21.9×436k2.1k67793
27Jul 8, '25so 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 cake21.8×435k7.2k5101.7k
28Jul 23, '24JavaScript is the most decent language: - Decent package manager - Decent closure support - Decent fast runtime - Decent type system (with ts) Often, being decent at everything is 21.8×435k1.7k75508
29Aug 5, '25My initial impression on OpenAI's OSS model is aligned with what they advertised. It does feel closer to o3 than to other open models, except it is much faster and cheaper. Some pr21.7×433k2.3k110340
30Dec 29, '24the new coding paradigm is to split your entire codebase in chunks (functions, blocks) and then send EVERY block, in parallel, to DeepSeek to ask: "does this need to change?". then20.8×414k2.4k1111.9k
31Apr 15, '25Gemini 2.5 is weird. The last 50 times I tried it, it not only failed, but couldn't understand the assignment. I thought Google was trolling and everyone was on it. I avoided talki19.6×391k2.9k58517
32Jan 21, '25ironically enough, DeepSeek's r1 motivated me try OpenAI's o1 Pro on something I didn't before, and I can now confidently state the (obvious?) fact that o1 is on a league of its ow19.5×389k2.6k103716
33Oct 10, '24my colleagues are testing it now and getting mind blown that it actually finds the thing you want, and I'm like... isn't that how search should have worked since long ago already? 19.3×384k3.6k1582.2k
34Mar 5, '25So... Claude Code just optimized HVM3 to 328 MIPS per M4 Core (+51%)... And it then created a CUDA version for it. ... This is serious. Since HVM3-Nano is now just ~5K tokens, it e18.8×375k1.7k104804
35Feb 28, '25My take from GPT-4.5 is that humanity has designed an AGI architecture - it is just prohibitively expensive. This model is not great, because training a $1 billion transformer only18.5×370k2k153939
36Oct 21, '25> 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? *18.5×370k4.2k70585
37Dec 6, '24This tweet will probably be deleted in 512ms because I'm most likely wrong and I don't want to upset people, but - <wall> I feel like ultimately what might be happening with the AI17.5×350k2.2k201952
38Jan 2, '25programming in 2025 is pathetic typical 1h refactor done in 4m20s17.3×346k1.4k481.1k
39Jul 8, '24PSA: if you don't use LLMs for coding because you've finally acquired enough evidence to convince yourself they "can't reason", you're both 100% right, and about to be left behind 16.6×330k1.4k79269
40Oct 8, '24honestly I don't get Perplexity. it just fills the result screen with pollution and AI-generated noise. let me know when someone creates an AI search where the result is JUST the t16×320k1.5k21337
41Jan 30, '25Ok 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 communit14.8×296k4.3k75454
42Jan 1, '25Veo2 is AMAZING for anime - a short thread14.3×286k1.3k68599
43Feb 3, '25Just tested OpenAI's Deep Research... Not impressed tbh I asked it to write a reference Interaction Calculus evaluator in Haskell. A few exchanges later, it gave me a complete file14.2×283k2.1k75617
44Jun 3, '25so lets get it straight - cognitive impairment (due to strokes, concussions, meningitis, alzheimer's, etc.) has no cure - you just accept it for the rest of your life. there is no 13.8×274k2.7k75642
45Jul 1, '25How to prove that LLMs will lead to AGI (in 3 easy steps): 1. Prepare a dataset of math knowledge BEFORE 1500 2. Certify it doesn't include any mention to complex numbers 3. Train 13.6×272k3.3k137814
46Dec 30, '24BTW DeepSeek isn't just a great model. It is, by far, the best API experience I've ever used. Sign up, put card, and it just works™. Latency low, doesn't fail randomly, no buggy st13.2×264k2.9k1351k
47Sep 27, '25I don't want GPT-6, I want a GPT-5 that can be continuously trained on my growing codebase/domain, so that it doesn't have to re-learn everything every time I call it. I'm so tired12.1×241k2.4k72440
48Sep 4, '25I actually think this is a great example of why LLMs can't invent new science. Some people could swear "nano banana is capable of doing it with the right prompt" only to get shocke11.9×238k1.2k58456
49Aug 10, '25The GPT-5 fiasco is mostly attributable to OpenAI giving both models below the same name11.7×233k2.7k84449
50Dec 16, '24For real though, why isn't Elon just funding Anthropic? Why Grok? I thought his issue was with OpenAI specifically? Just imagine whatever is behind Sonnet-3.5 with Grok's budget. I11.6×232k1.4k24166
51Jan 29, '25Dario reveals that Claude 3.5 Sonnet cost $10m-$100m to train, and pointed that it is still superior to DeepSeek V3, despite being 1 year older - which is completely true on my exp11.5×230k1.4k84341
52Jul 23, '25sorry my verdict on Grok-4 is that it is not better than Opus for coding, and not better for o3 for reasoning. I don't think it has been trained on benchmarks, but I think its brai11.5×229k1.7k64291
53Dec 20, '24tbh, I feel like today will be historically regarded as the day AGI was soft-announced to the world. yes, too many valid concerns, but, at least as far as my own intuition goes, un11.2×223k1.8k108407
54May 9, '25so I slept on my Macbook and bricked its screen 🤦‍♂️ worst part I didnt push yesterday's work and I dont have any HDMI cable. thankfully, OSX comes with a TTS command built in, so10.9×218k1.4k18200
55Jan 21, '25Using r1 and reading its thoughts was so fucking eye opening. I can also see how I was using o1 wrong, expecting well-formatted code like Sonnet, it is not what it is for, nor what10.1×201k1.8k55778
56Apr 4, '25NeoGen can now discover sort() in 0.004s in a single core CPU! No pre-training, no model, nothing in context or hardcoded. Just a normal software, with no previous knowledge of wha9.5×190k1.6k54452
57Dec 1, '24hey guys - so, today I can confirm my hypothesis worked, and the main milestone I sought has been hit. the synthesizer implemented algorithms and solved problems that even o1 could9.4×188k1.5k42496
58Mar 4, '24CLAUDE 3 LEARNS SELF TYPES IN ONE SHOT. Goodbye GPT-4. I'm migrating.9.2×183k1.2k76622
59Oct 17, '24looks exponential to me9.1×182k1.9k68381
60Mar 15, '25So for random cosmic reasons I've slept 8h for 3 days straight, I can't even begin describing how good it feels. I suddenly feel an overwhelming desire to spend the rest of the day8.8×175k1.1k30112
61May 31, '25good news: it is a specific virus that has a good prognosis - 85%+ of full recovery. thanks everyone who helped me; it is hard to research while immobilized, and I got some things 8.6×171k2.1k73247
62Jun 19, '25so, after spending $50 on Claude Code with unfortunate results, I finally decided to give OpenAI's Codex a chance... and it one shot a super complex feature for $1. I'm actually mi8.2×163k1.2k29511
63Jul 8, '24Also, most of you are using LLMs wrong. STOP asking it to solve a problem. YOU solve the problem. YOU describe the solution. IT writes the code. THAT is the ultimate productivity b8.1×162k2.2k212780
64Dec 17, '24WHAT8.1×161k1.4k85700
66Dec 29, '24that's such a dumb take. trees are actually very rare in programming. once I had a nerd coworker who told us to use some obscure tree shit called "JSON", but I'm glad our lead dism7.8×157k2.2k55285
67Jan 7, '25So, let me get it right, RTX 5090 is ~50% more expensive, has ~50% more CUDA cores, and uses ~50% more energy than an RTX 4090, for ~50% increased performance. What exactly is the 7.8×155k1.6k30168
68Sep 28, '25be like me, close your ears, resist the temptation, refuse to learn anything ML related, double down on a niche domain that nobody is exploring, and either become a legend or die i7.5×151k1.6k61400
69Apr 11, '25QuickSort has been synthesized! I've finally added varlen uints to NeoGen, and, for the first time ever, it has invented, on its own, an O(n*log(n)) sorting algorithm! NeoGen isn't7.3×146k1.3k52386
70Nov 9, '25I don't want to undermine anyone's work but can someone explain how can a model score &gt; 50% on humanity's last exam and still fail on ALL my λ-calculus questions, including the 7.3×146k1.4k23141
71Aug 26, '25My thoughts on how AI will automate my SWE job in 2026 (I will be plainly honest on this post, even though some people on both sides of this debate will be upset. So, please, respe7.0×141k1.3k65828
72Jul 6, '25so 7% of my right eye vision is now gone and I'm honestly done guys, I seriously don't care about having a normal life anymore, it is just impossible to enjoy anything at all, when7.0×140k1.1k18200
73Nov 16, '25this had 60 likes and people on Reddit attacked me because it was "incredibly stupid and dangerous to let AI run shell commands"6.9×137k1.5k19162
74Jul 30, '25just a quick update: we managed to replicate these claims Guan's system hits 25% on ARC-AGI 1 with 50 GPU hours I still couldn't audit the code personally though, but, unless cheat6.8×136k1.2k67501
75Nov 3, '25↓6.7×134k1.3k39484
76Mar 23, '25Discrete Program Synthesis will have its GPT-2 moment in the next weeks Its GPT-4 moment will be AGI6.6×132k1.1k38393
77Feb 27, '25Grok3 just solved an *insanely* hard problem that went over Sonnet's head, and the diagnostic is scary good. I then passed it to Claude Code for the actual fix. Grok3 is the SOTA t6.5×129k1.5k81592
78Oct 20, '25yesterday I had 8 hours of sleep and it was one of the best days of the year, I did so many things, worked, played, watched stuff, I felt great and everything was so simple. today 6.3×126k1.5k31263
79Feb 24, '25Claude Code is AGI And I quit Bye . . . . . JK, but, seriously. I just asked it to perform an HVM3 refactor and it smashed the task. Strong vibes that Anthropic has just shipped th6.3×126k2k63653
80Jul 22, '25incredible but why OpenAI and Google keep having the exact same breakthroughs at the exact same time 💀 is this like a "calculus was rediscovered independently at roughly the same 6.1×122k1.2k25152
81Sep 23, '24I now completely understand why Sonnet-3.5 is so good. It is the dataset. It just has a ton of high-quality code. I predict Anthropic might have invested as much in human devs to p5.9×119k1.6k74303
82May 6, '25feeling the AGI with the new gemini-2.5 I wasn't expecting such a leap so fast throw your hardest questions at it and behold5.5×110k1.3k57228
84Mar 23, '25my mission is complete to everyone who believed in me - thank you 🩶 a new one starts today let's go4.9×98k1.7k17109
86Dec 10, '24we might enter an era where the hardest open problems will be solved by dumb brute force, and that will make some people very upset4.8×96k1.3k61150
87Sep 14, '25write worse prompts if the model doesn't read your mind it isn't worthy of your time4.4×89k2k6287
88Jun 3, '24AGI will be achieved in a garage4.4×87k1.2k69332
89Jun 10, '25realest image here I remember 15 years ago, I went to Haskell IRC to ask why I can't put different types in a list. spent the afternoon arguing, til someone said: "you're not ready4.3×85k1.4k35227
93Feb 26, '25eu fico MT ofendido quando as pessoas acham que eu gosto de programar, principalmente quando isso leva a relevarem meu sacrifício. "ah mas ele gosta" - amg eu gosto de abraçar gati3.4×68k1.4k49137
95May 14, '25I think I'll stop posting on this app for a while. It amplifies all the stupid things I say, while giving zero reach to the interesting posts. I get punished by mistakes, while my 2.9×57k1.1k2391
96Apr 16, '25the most impressive update on o3 is that it finally stopped answering everything with a list now it answers everything with a table2.8×55k1.2k2251
97Jul 21, '24I asked a dumb question to Sonnet-3.5 and it suddenly stopped answering seriously and started making jokes. Is that a thing that happens? Never seen that kind of behavior on GPT-4.2.7×55k4233079
98Sep 5, '25that feeling of dread and despair when the AI is clearly unable to grasp what you're asking, and you realize you'll need to code manually as did the old Mayans2.6×52k1.4k8680
101Jun 12, '25free1.5×30k1.3k430

Scan another creator

@

Run this on any account.

XOutlier builds this table for every public profile you open on x.com, with live data and every post, not just the top 50.