| 1 | May 16, '24 | 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 o | 183× | 3.6M | 16k | 2.1k | 8k |
| 2 | Aug 21, '25 | 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 | 154× | 3.1M | 5.8k | 219 | 2.2k |
| 3 | May 14, '24 | 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.. | 112× | 2.2M | 4.7k | 300 | 2.7k |
| 4 | Sep 17 | Bend 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.1M | 11k | 1.3k | 6k |
| 5 | Apr 5, '24 | 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 reac | 90.6× | 1.8M | 3.7k | 352 | 3.5k |
| 6 | Sep 12, '24 | I declare AGI achieved | 85.4× | 1.7M | 8k | 274 | 893 |
| 7 | Apr 2, '23 | Pro tip: you can greatly increase GPT-4's effective context size by asking it to compress your prompts using its own abbreviations. #GPT4 | 69.3× | 1.4M | 4.7k | 458 | 2.6k |
| 8 | Mar 17, '25 | View post on X | 66.5× | 1.3M | 3.9k | 107 | 531 |
| 9 | Apr 7, '24 | 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 problem | 58.1× | 1.2M | 4.3k | 442 | 1.8k |
| 10 | Oct 12, '24 | mini rant: the illusion LLMs are intelligent comes from their massive scale. it is hard to visualize, but these things memorized the WHOLE internet. everything you've ever asked it | 57.1× | 1.1M | 2.7k | 336 | 878 |
| 11 | Oct 11, '24 | 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 ca | 52.5× | 1M | 4.7k | 424 | 3.9k |
| 12 | Jul 10, '25 | hit 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× | 919k | 2.2k | 51 | 343 |
| 13 | Jun 23, '24 | I'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 go | 39.8× | 795k | 1.3k | 60 | 813 |
| 14 | Nov 10, '25 | historically, 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 machines | 37.5× | 748k | 1.2k | 84 | 300 |
| 15 | Feb 26, '25 | View post on X | 35.6× | 711k | 3.7k | 70 | 1.2k |
| 16 | Sep 29, '25 | I 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. Bu | 34.7× | 693k | 1.2k | 32 | 191 |
| 17 | Dec 31, '24 | IT 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 it | 31.6× | 632k | 1.9k | 115 | 1.7k |
| 18 | Aug 2, '24 | Something 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 1100 | 31.5× | 629k | 1.7k | 91 | 1.7k |
| 19 | Sep 30, '25 | Asked 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 po | 30.2× | 602k | 3.4k | 176 | 817 |
| 20 | Mar 23, '25 | I 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× | 548k | 3.3k | 213 | 1.7k |
| 21 | Nov 10, '25 | in 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 compu | 26.8× | 534k | 3.4k | 305 | 1.2k |
| 22 | Oct 10, '24 | I've built it | 23.6× | 472k | 1.8k | 83 | 985 |
| 23 | Feb 5, '25 | was sonnet 3.5 an astronomically lucky run? | 23.6× | 471k | 2.7k | 41 | 231 |
| 24 | Mar 2, '24 | Opinion (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 fo | 22.9× | 458k | 1.1k | 59 | 559 |
| 25 | Nov 26, '23 | 8 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-exponentiation | 22.7× | 453k | 1.8k | 158 | 1.6k |
| 26 | Oct 14, '25 | I'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 it | 21.9× | 436k | 2.1k | 67 | 793 |
| 27 | Jul 8, '25 | 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 | 21.8× | 435k | 7.2k | 510 | 1.7k |
| 28 | Jul 23, '24 | JavaScript 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× | 435k | 1.7k | 75 | 508 |
| 29 | Aug 5, '25 | My 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 pr | 21.7× | 433k | 2.3k | 110 | 340 |
| 30 | Dec 29, '24 | the 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?". then | 20.8× | 414k | 2.4k | 111 | 1.9k |
| 31 | Apr 15, '25 | Gemini 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 talki | 19.6× | 391k | 2.9k | 58 | 517 |
| 32 | Jan 21, '25 | ironically 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 ow | 19.5× | 389k | 2.6k | 103 | 716 |
| 33 | Oct 10, '24 | my 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× | 384k | 3.6k | 158 | 2.2k |
| 34 | Mar 5, '25 | So... 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 e | 18.8× | 375k | 1.7k | 104 | 804 |
| 35 | Feb 28, '25 | My 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 only | 18.5× | 370k | 2k | 153 | 939 |
| 36 | Oct 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× | 370k | 4.2k | 70 | 585 |
| 37 | Dec 6, '24 | This 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 AI | 17.5× | 350k | 2.2k | 201 | 952 |
| 38 | Jan 2, '25 | programming in 2025 is pathetic typical 1h refactor done in 4m20s | 17.3× | 346k | 1.4k | 48 | 1.1k |
| 39 | Jul 8, '24 | PSA: 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× | 330k | 1.4k | 79 | 269 |
| 40 | Oct 8, '24 | honestly 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 t | 16× | 320k | 1.5k | 21 | 337 |
| 41 | Jan 30, '25 | 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 communit | 14.8× | 296k | 4.3k | 75 | 454 |
| 42 | Jan 1, '25 | Veo2 is AMAZING for anime - a short thread | 14.3× | 286k | 1.3k | 68 | 599 |
| 43 | Feb 3, '25 | Just 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 file | 14.2× | 283k | 2.1k | 75 | 617 |
| 44 | Jun 3, '25 | so 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× | 274k | 2.7k | 75 | 642 |
| 45 | Jul 1, '25 | How 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× | 272k | 3.3k | 137 | 814 |
| 46 | Dec 30, '24 | BTW 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 st | 13.2× | 264k | 2.9k | 135 | 1k |
| 47 | Sep 27, '25 | I 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 tired | 12.1× | 241k | 2.4k | 72 | 440 |
| 48 | Sep 4, '25 | I 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 shocke | 11.9× | 238k | 1.2k | 58 | 456 |
| 49 | Aug 10, '25 | The GPT-5 fiasco is mostly attributable to OpenAI giving both models below the same name | 11.7× | 233k | 2.7k | 84 | 449 |
| 50 | Dec 16, '24 | For 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. I | 11.6× | 232k | 1.4k | 24 | 166 |
| 51 | Jan 29, '25 | Dario 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 exp | 11.5× | 230k | 1.4k | 84 | 341 |
| 52 | Jul 23, '25 | sorry 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 brai | 11.5× | 229k | 1.7k | 64 | 291 |
| 53 | Dec 20, '24 | tbh, 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, un | 11.2× | 223k | 1.8k | 108 | 407 |
| 54 | May 9, '25 | so 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, so | 10.9× | 218k | 1.4k | 18 | 200 |
| 55 | Jan 21, '25 | Using 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 what | 10.1× | 201k | 1.8k | 55 | 778 |
| 56 | Apr 4, '25 | NeoGen 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 wha | 9.5× | 190k | 1.6k | 54 | 452 |
| 57 | Dec 1, '24 | hey 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 could | 9.4× | 188k | 1.5k | 42 | 496 |
| 58 | Mar 4, '24 | CLAUDE 3 LEARNS SELF TYPES IN ONE SHOT. Goodbye GPT-4. I'm migrating. | 9.2× | 183k | 1.2k | 76 | 622 |
| 59 | Oct 17, '24 | looks exponential to me | 9.1× | 182k | 1.9k | 68 | 381 |
| 60 | Mar 15, '25 | So 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 day | 8.8× | 175k | 1.1k | 30 | 112 |
| 61 | May 31, '25 | good 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× | 171k | 2.1k | 73 | 247 |
| 62 | Jun 19, '25 | so, 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 mi | 8.2× | 163k | 1.2k | 29 | 511 |
| 63 | Jul 8, '24 | Also, 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 b | 8.1× | 162k | 2.2k | 212 | 780 |
| 64 | Dec 17, '24 | WHAT | 8.1× | 161k | 1.4k | 85 | 700 |
| 65 | Jun 7, '25 | I have a lot to say about this but I'm in a hospital right now. In short - this is a very well written paper that is undeniably correct, and makes a point that is obvious to anyone | 7.9× | 157k | 3.1k | 131 | 560 |
| 66 | Dec 29, '24 | that'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 dism | 7.8× | 157k | 2.2k | 55 | 285 |
| 67 | Jan 7, '25 | So, 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× | 155k | 1.6k | 30 | 168 |
| 68 | Sep 28, '25 | be 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 i | 7.5× | 151k | 1.6k | 61 | 400 |
| 69 | Apr 11, '25 | QuickSort 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't | 7.3× | 146k | 1.3k | 52 | 386 |
| 70 | Nov 9, '25 | I don't want to undermine anyone's work but can someone explain how can a model score > 50% on humanity's last exam and still fail on ALL my λ-calculus questions, including the | 7.3× | 146k | 1.4k | 23 | 141 |
| 71 | Aug 26, '25 | My 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, respe | 7.0× | 141k | 1.3k | 65 | 828 |
| 72 | Jul 6, '25 | so 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, when | 7.0× | 140k | 1.1k | 18 | 200 |
| 73 | Nov 16, '25 | this had 60 likes and people on Reddit attacked me because it was "incredibly stupid and dangerous to let AI run shell commands" | 6.9× | 137k | 1.5k | 19 | 162 |
| 74 | Jul 30, '25 | just 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 cheat | 6.8× | 136k | 1.2k | 67 | 501 |
| 75 | Nov 3, '25 | ↓ | 6.7× | 134k | 1.3k | 39 | 484 |
| 76 | Mar 23, '25 | Discrete Program Synthesis will have its GPT-2 moment in the next weeks Its GPT-4 moment will be AGI | 6.6× | 132k | 1.1k | 38 | 393 |
| 77 | Feb 27, '25 | Grok3 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 t | 6.5× | 129k | 1.5k | 81 | 592 |
| 78 | Oct 20, '25 | yesterday 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× | 126k | 1.5k | 31 | 263 |
| 79 | Feb 24, '25 | Claude 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 th | 6.3× | 126k | 2k | 63 | 653 |
| 80 | Jul 22, '25 | incredible 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× | 122k | 1.2k | 25 | 152 |
| 81 | Sep 23, '24 | I 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 p | 5.9× | 119k | 1.6k | 74 | 303 |
| 82 | May 6, '25 | feeling the AGI with the new gemini-2.5 I wasn't expecting such a leap so fast throw your hardest questions at it and behold | 5.5× | 110k | 1.3k | 57 | 228 |
| 83 | Sep 14, '25 | @itslicatinha se vc escolhe o segundo você literalmente tem demência > imprima uma prova com apenas 6 perguntas > "qual vai ser o número N sorteado na mega-sena?" > chute | 5.4× | 107k | 1.7k | 18 | 44 |
| 84 | Mar 23, '25 | my mission is complete to everyone who believed in me - thank you 🩶 a new one starts today let's go | 4.9× | 98k | 1.7k | 17 | 109 |
| 85 | Sep 3, '24 | @LinusEkenstam Minimum ping theoretically possible from one side to the other side would be 173ms. Literally unplayable. | 4.9× | 98k | 3k | 44 | 47 |
| 86 | Dec 10, '24 | we might enter an era where the hardest open problems will be solved by dumb brute force, and that will make some people very upset | 4.8× | 96k | 1.3k | 61 | 150 |
| 87 | Sep 14, '25 | write worse prompts if the model doesn't read your mind it isn't worthy of your time | 4.4× | 89k | 2k | 62 | 87 |
| 88 | Jun 3, '24 | AGI will be achieved in a garage | 4.4× | 87k | 1.2k | 69 | 332 |
| 89 | Jun 10, '25 | realest 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 ready | 4.3× | 85k | 1.4k | 35 | 227 |
| 90 | Feb 19, '25 | 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 | ⚡ 4.2× | 16.9M | 4.4k | 172 | 535 |
| 91 | Aug 15, '24 | @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 | 3.6× | 71k | 4.2k | 34 | 20 |
| 92 | Aug 9, '24 | @crfpolonio gente o menino só não estava entendendo que "menos" significa o mesmo que "tirar". revejam o video, e toda vez que ela falar "2 menos 1", imaginem a palavra "2 blorgus | 3.5× | 70k | 1.1k | 19 | 28 |
| 93 | Feb 26, '25 | eu 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 gati | 3.4× | 68k | 1.4k | 49 | 137 |
| 94 | May 14, '24 | Pokémon Red gameplay | ⚡ 3.3× | 3.6M | 2.1k | 217 | 1.1k |
| 95 | May 14, '25 | I 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× | 57k | 1.1k | 23 | 91 |
| 96 | Apr 16, '25 | the most impressive update on o3 is that it finally stopped answering everything with a list now it answers everything with a table | 2.8× | 55k | 1.2k | 22 | 51 |
| 97 | Jul 21, '24 | I 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× | 55k | 423 | 30 | 79 |
| 98 | Sep 5, '25 | that 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 Mayans | 2.6× | 52k | 1.4k | 86 | 80 |
| 99 | Feb 25, '25 | Sonnet-3.7 is great, and I do think it is the best coding model. But, truth is, Grok-3 is more intelligent. It is the only AI that can solve my hard prompts. The Bitter Lesson is r | ⚡ 2.3× | 5.6M | 2.3k | 112 | 295 |
| 100 | May 8, '25 | @luke_metro I mean it worked? That just means the information was truly private until the announcement, nobody had privileged knowledge, and the market refreshed as fast and effici | 2.1× | 42k | 1.5k | 3 | 21 |
| 101 | Jun 12, '25 | free | 1.5× | 30k | 1.3k | 4 | 30 |