Keep on to blur preview images; turn off to show them clearly
this is the crazy part, Dario made a bold statement, and he was ✨right✨. he didn't say 90% of the *work* will be done by AI. he said 90% of *code* will be AI written. today, 90% of my own code is written by AI. how is that not being right? currently, on HVM4: → opus wrote 95% of the parser → opus wrote 95% of syntax sugars → opus wrote 80% of the interactions → opus wrote 70% of the auto-dup → opus wrote 100% of numeric ops (17) → opus wrote 80% of structural equality → opus wrote 100% of UTF-8 support → opus wrote 100% of module organization and yes, the code is beautiful, fast, correct, hundreds of tests pass, and I'm using it daily, as we speak, to develop SupGen don't believe? so I'll post HVM4's git log in the comments. it is claude all the way. see it with your own eyes! so, what Opus *can't* do? → anything that is novel → anything that requires true insight → anything that demands long-term planning → whatever that is... for example, the foundation, the initial files, the architecture, the design choices - all by me. it can't do that, because it can't read my mind, because it is a new thing, because it takes insight. even if it memorized HVM3, it still couldn't come up with the advances that led to HVM4. LLMs don't have what it takes to do that a more recent example: the terminating recursion enumerator I posted earlier today. you can't find that algorithm online. not even Agda/Lean implements it the right way. it is not on "humanity's database". it requires actual intelligence, so, LLMs can't do that, because they're just glorified lookup tables some of the things I do still take a LOT of time. thinking takes a lot of time, planning takes a lot of time. LLMs can't do any of that for me but, Dario didn't say they would he said it would be writing 90% of my code and, well, it is...
HVM4 git log this month https://t.co/aQnNrYVSIm Claude all the way
Five thousand criminal complaints! Including one for calling Merz a "filthy drunk", which lead to a house search! Such free speech, such strong leader. https://t.co/9SxDcT6LTm
Father of three, Creator of Ruby on Rails + Omarchy, Co-owner & CTO of 37signals, Shopify director, NYT best-selling author, and Le Mans 24h class-winner.
RT @ghchinoy: The dotey x dotey colab: weather & coffee together. Nano Banana Pro + Veo 3.1
Prompt Engineer, dedicated to learning and disseminating knowledge about AI, software engineering, and engineering management.
The real use case for this though is the ability to work with GPT Pro in the web app (or Gemini3 with Deep Think) and then turn the whole thing into markdown so you can dump it into a coding agent to implement on your machine. Design & iterate on your phone and then make it real.
Former Quant Investor, now building @lumera (formerly called Pastel Network) | My Open Source Projects: https://t.co/9qbOCDlaqM
This is what innovation looks like Before American research centers were world's best, ≈all of US "innovation" looked like this. Take a European invention, add a pragmatic detail, implement, iterate to find PMF, scale ferociously. «Elisha Otis makes elevators useful» type stuff
We're in a race. It's not USA vs China but humans and AGIs vs ape power centralization. @deepseek_ai stan #1, 2023–Deep Time «C’est la guerre.» ®1
Do you want to have a simple, easy, static website that you can deploy automatically and host for free on GitHub Pages, that has full conversations you want to publicly share from ChatGPT, Gemini, and Grok? See sample here: https://t.co/NUQXDZPiXV
The real use case for this though is the ability to work with GPT Pro in the web app (or Gemini3 with Deep Think) and then turn the whole thing into markdown so you can dump it into a coding agent to implement on your machine. Design & iterate on your phone and then make it real.