AI Coding Live News

X Discussion: Vercel CEO Guillermo Rauch Says AI Will Rewrite All Human-Made Software, Sparking Debate on Formal Verification and Rewrite Risk

On November 5 Guillermo Rauch posted on X that most human-made software was slow, insecure and under-specified, and that AI will rewrite it all, many times, then formally verify, load test and harden it: "the true birth of software engineering." The post drew 3,000+ likes, 270+ reposts and nearly 100K views. Supporters cite from-scratch AI rewrites; critics warn that missing specs and human review still matter. This is a personal opinion, not a Vercel announcement.

Key Takeaways

  • Rauch's post (Nov 5, 02:22 UTC) had about 3,060 likes, 272 reposts, 681 bookmarks and ~99K views when fetched
  • Core claim: AI will rewrite human software "many times", formally verifying, load testing and hardening it, and replacing memory-unsafe foundations
  • An hour earlier he shared Vercel Security Review figures: 6,817 vulnerabilities found in 24 hours, 580 critical/high, 1,411 already patched by Agent (vendor-reported)
  • Pushback: rewriting under-specified code can just ship the same wrong behavior faster, and formal verification moves bugs up an abstraction level rather than eliminating them
  • This is an opinion thread, not an established fact or official roadmap
Read full story
Linked Models & Agents:

X Discussion: Sam Altman Says People Should Always Control the Future and That This Should Ultimately Constrain AI Progress

At 01:40 UTC on November 4, OpenAI CEO Sam Altman (@sama) posted on X that "people should always be in control of the future," saying OpenAI is against the idea of people being relegated to doing things that "AI systems think makes sense to reward in humans," and that people should not cede control of the future to superintelligence, a requirement that "should ultimately constrain AI progress." Within about 25 minutes it drew roughly 1,360 likes, 337 replies and nearly 100K views; Francois Chollet and others voiced support while many replies pushed back. This is Altman's stated view, not a new OpenAI policy or product announcement.

Key Takeaways

  • Engagement: about 1,360 likes, 337 replies, 89 reposts, 74 quotes and roughly 99K views within about 25 minutes (per the X API); the high reply ratio signals a contested post
  • Three core lines: people should always be in control of the future; OpenAI rejects people being relegated to doing what "AI systems think makes sense to reward in humans"; people should not cede the future to superintelligence, and that requirement "should ultimately constrain AI progress"
  • Support: Francois Chollet (@fchollet) posted "Co-sign," saying the only future worth building is one where AI remains a tool in human hands; Matthew Berman said Altman made the same point in their interview last week
  • Pushback: replies asked "which people?", argued that AI systems "don't think anything," or contrasted the post with Altman's recent comments on RAM and concentrating compute in data centers
  • The post does not say where the quoted phrase comes from and names no concrete policy or timeline; online links to a GPT-6.2 Astra release date are speculation
Read full story
Linked Models & Agents:

X Discussion: Greg Isenberg Says He Talks to His Agents More Than His Human Teammates, Shares a Full Agent-Run Company Stack

On November 3, founder and Late Checkout CEO Greg Isenberg (@gregisenberg) posted a long thread on X saying his team has 50+ people in 12 countries, yet he "talks to my agents more than my human teammates." He listed an agent-driven stack covering ideation, design, build, user testing, bug fixing and data review. Within hours it drew about 1,050 likes, 2,300 bookmarks and 183 replies. This is a personal workflow and opinion, not verified productivity data.

Key Takeaways

  • Engagement: about 1,050 likes, 2,300 bookmarks, 183 replies and 75K views within hours (per the X API); bookmarks far exceed likes, so readers are saving it as a checklist
  • Coverage: ideation, design, build, user testing, bug fixing and data review are all handed to agents; humans handle "creative feedback, relationships and telling the agents what they got wrong"
  • Build: pingdotgg/t3code as the control surface and stablyai/orca to run parallel agents, each in its own git worktree
  • Quality control: every output is scored 1-10 by an LLM judge and anything under 8 goes back; every agent mistake becomes a new skill
  • All of this is self-reported; no verifiable productivity or cost figures were published
Read full story

X Discussion: Grok Bot Engineer poteto Calls Adversarial Agent Code Reviews "Mostly a Waste of Tokens" and Argues for Empirical Plus Formal Verification Instead

On November 3, @poteto (lauren), whose bio says she works on Grok @bot at SpaceXSI, is on the React Compiler core team, and previously worked at Cursor, Meta and Netflix, posted what she called "maybe a hot take": she now considers adversarial reviews mostly a waste of tokens and thinks those tokens are far better spent on empirical combined with formal verification. She says she has updated her agent skill pack pstack to use its interrogate (multi-model adversarial review) skill less and may eventually remove it. She adds that she has found very little value in code review in the abstract, because agents tend to get lost in nitpicks and YAGNIs. The post drew about 906K views, 9,227 likes and 5,538 bookmarks. It is a personal opinion that sparked debate over the value of AI code review.

Key Takeaways

  • Opinion (personal, not an official finding): adversarial reviews are "mostly a waste of tokens"; empirical plus formal verification is the better use of them
  • Action: the author says she has made pstack use the interrogate skill less and may remove it; at fetch time the public pstack folder in GitHub cursor/plugins had no commits after October 27, so the change is not visible there yet
  • What interrogate is: per its public SKILL.md, it spawns one read-only reviewer per configured model (defaults Claude Opus 5.5 xhigh and Grok 4.7 xhigh fast) to attack the diff, then sorts findings into Act on, Consider, Noted and Dismissed without auto-applying fixes
  • Author (per her X and GitHub bios): engineer on Grok Bot at SpaceXSI, React Compiler core team, previously at Cursor, Meta and Netflix
  • Reach: about 906K views, 9,227 likes, 5,538 bookmarks, 668 replies, 356 reposts and 210 quotes
Read full story
ADSponsored

X Discussion: Paul Graham Pushes Back on an "AI Bubble" Post, Saying AI Cannot Be Both Fake and Destroying Jobs

On November 2, X user Fav (@favwontmiss) posted that "the AI bubble bursting is going to be one of the biggest reality checks in tech history," accusing AI companies of burning billions, destroying jobs, draining natural resources and forcing products nobody asked for into daily life. The post drew about 6,600 likes, 670 reposts and 370,000 views. On November 3, Y Combinator co-founder Paul Graham (@paulg) replied: "You can't claim both that AI is fake and that it's destroying jobs. If it were fake it wouldn't be able to." His reply drew about 1,600 likes and 44,000 views, and the debate reached X trending. These are opinions from both sides, not established facts.

Key Takeaways

  • The original post: Fav (@favwontmiss) called an AI bubble burst "one of the biggest reality checks in tech history," with about 6,600 likes, 670 reposts and 370,000 views; see the original post.
  • Paul Graham's rebuttal: the critiques "AI is fake" and "AI is destroying jobs" contradict each other; see his reply, with about 1,600 likes and 44,000 views.
  • Where the sides talk past each other: "bubble" is about valuations and whether spending pays back, while "replacing jobs" is about whether the capability is real. Both can hold at once (useful technology that is still overvalued), which is a recurring point in the replies.
  • Why it matters to developers: the argument does not change what the tools can do, but it shapes enterprise AI budgets, hiring narratives and public acceptance of AI coding products.
Read full story
Linked Models & Agents:

X Discussion: Addy Osmani of Claude Code Warns of "Cognitive Surrender" and Urges Developers to Keep Critical Thinking When Agents Do the Work

Addy Osmani (@addyosmani), whose X bio lists Claude Code at Anthropic, posted a long article on X on November 3 titled "Critical thinking when agents do the work." He describes a spectrum of working with AI: cognitive offloading (delegating a task but owning the result), deferral (the tool output becomes your new input), and "cognitive surrender" (the AI output quietly becomes your own and you feel no need to check it), a term he credits to Steven Shaw and Gideon Nave at Wharton. He offers self-check questions and verification habits. Within about three hours the post drew roughly 1,400 likes, 2,400 bookmarks and more than 72,000 views and reached X trending. These are the author's views, not an Anthropic announcement.

Key Takeaways

  • The spectrum: cognitive offloading (delegate but keep ownership, which the author says he does all day), deferral (the output stops being a hypothesis), and cognitive surrender (no more checking; it becomes your conclusion). Read the X article.
  • His argument: as models improve there are fewer obvious errors, so well-written, mostly correct output no longer demands a second look, and even with many agents running you still have only one pair of eyes on the results.
  • Self-check questions: write down your hypothesis before asking; know whether the AI is helping you think or thinking for you; ask what would make it wrong and test it; have several models argue the other side; ask whether you would bet on it in front of the person who maintains it.
  • Verification habits: define "verified" up front (a passing test, a screenshot, a log); a green check proves one property, so ask what it did not prove; have Claude Code critique its work with a fresh-context subagent, and finish by asking "Did I miss anything?"
  • Delegate fully where being wrong is cheap, but keep the reasoning for decisions whose consequences land on others, such as what to build and whether it is safe to ship.
Read full story
Linked Models & Agents:

X Discussion: levelsio Used Claude Code to Decompile the Battlefield 1942 Demo and Put It in the Browser With Multiplayer, Citing About 1M Output Tokens

Indie developer Pieter Levels (@levelsio) said on X on November 2 that he used Claude Code to decompile the engine of the free Battlefield 1942 demo, port it to C, compile it to WebAssembly and host it at bf1942.pieter.com, where it runs in the browser with online co-op on the Tobruk map. He said the job took about 1 million output tokens, roughly $100 at API prices, while he pays for a $100-a-month Claude subscription. His two main posts drew about 2,200 likes and 340,000 views and reached X trending. These are the author's own claims and community discussion, not independently verified.

X Discussion: levelsio Used Claude Code to Decompile the Battlefield 1942 Demo and Put It in the Browser With Multiplayer, Citing About 1M Output Tokens

Key Takeaways

  • Author's account: Claude Code decompiled the Battlefield 1942 demo engine, which was ported to C and compiled to WebAssembly to run in the browser.
  • The live build at bf1942.pieter.com opens directly, is labeled non-commercial and unofficial, and offers online co-op on Tobruk with no install.
  • Cost: about 1 million output tokens by the author's count, roughly $100 at API prices; he actually pays for a $100-a-month Claude subscription.
  • He said it was much harder than his earlier Quake and DOOM ports, whose engine source code id Software released long ago.
  • Reach: the first post had about 1,100 likes and 230,000 views, the launch post about 1,100 likes and 107,000 views; testers are already reporting bugs.
Read full story
Linked Models & Agents:

X Discussion: roon Says "Sparks" of an AI Ability Mean It Is Months to Years From Superhuman, and "You Are Almost Always Underhyping"

roon (@tszzl), a well-known AI account with about 500,000 followers, posted on November 2: "when you see “sparks” of any ability in ai models that means you’re months-years from it being superhuman at it. today grade school math, tomorrow navier stokes. it is hard to overhype these results. you are almost always underhyping no matter what." Within about five hours it drew nearly 2,000 likes and 59,000 views. Adam Karvonen, a researcher at Truthful AI and former Anthropic Fellow, pushed back that the domains where models are superhuman are verifiable, easy to simulate and fast to get feedback on, and that research taste, robotics or running companies may not move as fast. This is a debate between personal views, not any company's official position.

Key Takeaways

  • roon's exact claim: "sparks" of an ability mean a model is months to years from being superhuman at it, "today grade school math, tomorrow navier stokes," and "you are almost always underhyping."
  • "Sparks" echoes the MIT CSAIL blog post "Sparks of Weight-Space Programming" that circulated the same day; in a reply roon called that paper "signs of life" pointing toward AI designing neural network behaviors directly.
  • Adam Karvonen's pushback: the domains where models are superhuman are verifiable, easy to simulate, fast-feedback and error-tolerant, and research taste, robotics or running companies may not move as fast.
  • Supporters such as Derya Unutmaz (about 344,000 followers) say people dismiss AI as hype when the opposite is true; others say extrapolating exponential curves is unreliable.
  • These are personal views with no new benchmarks or data, and they do not represent OpenAI or any other company.
Read full story
Linked Models & Agents:

X Discussion: Former Claude Code Member Thariq Says the $200 Plans Are Enough and "This Is the Most Expensive Intelligence Will Ever Be"

Thariq (@trq212), whose X bio reads "formerly Claude Code @anthropicai", posted on November 2: "one week in my takeaway is that you don't need unlimited tokens to do great work, the $200 plans are amazing and this is the most expensive intelligence will ever be." Within about seven hours the post drew more than 5,500 likes, 240,000 views and 350+ replies. Supporters say flat-rate plans are enough for most developers; critics point out the tension between "no unlimited tokens" and recommending the top tier, and some worry prices will rise once subsidies end. This is a personal view, not an Anthropic statement.

Key Takeaways

  • Thariq's exact claim: you don't need unlimited tokens to do great work, the $200 plans are "amazing", and "this is the most expensive intelligence will ever be."
  • In replies he added that he has been using the plans on weekends for a while and has "never hit a real limit."
  • Claude's official pricing page lists Max at $100/month (5x Pro usage) and Ultra at $200/month (10x Pro usage, no 5-hour limit, $200/month in API credits).
  • Pushback centers on two points: the tension between "no unlimited tokens" and recommending the most expensive tier, and whether current prices depend on subsidies that may end.
  • This is a personal view from a former Anthropic team member, not an official Anthropic position, and it comes with no usage data.
Read full story

X Discussion: MIT Team Says GPT-6 Astra Can Read and Write Neural Network Weights, Editing 0.016% of Qwen3.5-0.8B to Lift MATH-500 From 7.9% to 48.1%

On November 2, MIT CSAIL PhD student Rikiya Takehi posted "Weight-Space Programming" on X: a team (Takehi, Jayden Teoh, Alex Zhang, Omar Khattab) had GPT-6 Astra read and edit neural network weights directly, with no gradients or training. Their blog says Astra changed only 131,072 weights (0.016%) of Qwen3.5-0.8B, fixed its thinking loops and raised MATH-500 from 7.9% to 48.1%. The post drew about 24K likes and 1.77M views, and Ethan Mollick quoted it saying it is a big deal pending replication. All results are self-reported by the authors and not yet independently reproduced.

X Discussion: MIT Team Says GPT-6 Astra Can Read and Write Neural Network Weights, Editing 0.016% of Qwen3.5-0.8B to Lift MATH-500 From 7.9% to 48.1%

Key Takeaways

  • The original post (2026-11-02 17:51 UTC) had about 24,320 likes, 2,697 reposts, 2,284 quotes, 1.77M views and 15K bookmarks at fetch time; Wharton professor Ethan Mollick quoted it saying it is a pretty big deal pending replication (about 880 likes).
  • Experiment 8 (authors' figures): with a 50 forward-pass budget, Astra edited 131,072 weights (0.016%) of Qwen3.5-0.8B, raising MATH-500 from 7.9% to 48.1% and IFEval from 21.0% to 62.3%, while answers hitting the token limit fell from 93.0% to 33.1%.
  • Experiment 5 (authors' figures): with no data, gradients or tools, Astra wrote MinAtar policy networks in one shot that scored 517.4 on Breakout versus 15.8 for PPO at 100M steps and 25.3 at 500M steps; on Seaquest it scored 53.1, below the 88.9 of 500M-step PPO.
  • Limits the authors report: on Gemma 3 270M, which rarely loops, Astra's edits moved MATH-500 by no more than about a point; they conclude weight edits can remove an obstacle hiding an ability but cannot add one the model lacks.
  • Full experiment logs are public at RikiyaT/lm_understand-logs; so far there is only a blog post, with no peer-reviewed paper and no third-party replication.
Read full story
Linked Models & Agents:
ADSponsored

X Discussion: DHH Says the Age of Agents Will Be Great for Most Programmers but Hard on Cantankerous Ones Who Relied on Rare Skills

Ruby on Rails creator and 37signals CTO DHH (David Heinemeier Hansson) posted two related takes on X on November 2. First: "The great gift of agents is how they allow you to route around every insufferable gatekeeper in software." Then: the age of agents will be amazing for most programmers but hard on the cantankerous ones, because specialized knowledge and rare skills will no longer offer immunity to people who are a pain to work with, so they should learn basic people skills. The second post drew about 3,600 likes, 106K views and 280+ replies in roughly four hours. This is a personal opinion, not an announcement from any company.

Key Takeaways

  • This is a personal opinion post by DHH, not an official statement from 37signals or any AI company, and it cites no data or study.
  • The main post (2026-11-02 13:03 UTC) had about 3,609 likes, 180 reposts, 282 replies, 60 quotes, 106K views and 400 bookmarks at fetch time.
  • His earlier post about 1.5 hours before, saying agents let you route around every insufferable gatekeeper in software (11:41 UTC), had about 2,831 likes, 131 reposts and 80K views.
  • Supporters: tech analyst Ben Dickson (@bendee983) quoted it saying great engineers used to get a free pass for being difficult, and AI is leveling the field, though solid engineering knowledge is still required.
  • Pushback and additions: one reply joked that cantankerous people just found a coworker who never complains back; another argued an agent will do the work but will not make you nicer, so being easy to work with becomes more valuable.
Read full story
Linked Models & Agents:

X Discussion: Jason Calacanis Says Under $40K a Year in AI Subscriptions Delivers $2M+ in Value and Has Automated at Least Seven Full-Time Jobs

Angel investor and This Week in Startups host Jason Calacanis posted on X on November 2 that he spends under $40K a year on tokens and subscriptions from Anthropic, Lovable, Grok Bot, ElevenLabs and other AI products, yet gets more than $2M in value at LAUNCH and This Week in Startups. He said they have automated at least seven full-time jobs and become 100% faster at the average task, and that the last 90 days changed more than the previous two years. Within about 9 hours the post drew about 2,200 likes and 230K views, with debate centered on AI ROI and job replacement. All figures are his own claims and have not been independently verified.

Key Takeaways

  • This is Calacanis's personal post, not official data or an announcement from any AI company; the $40K, $2M, seven jobs and 100% faster figures are self-reported with no public breakdown.
  • The original post (2026-11-02 05:27 UTC) had about 2,201 likes, 106 reposts, 244 replies, 42 quotes, 230K views and 715 bookmarks at fetch time.
  • Tools he named include Anthropic, Lovable, Grok Bot and ElevenLabs plus a long tail of other products; he also said anyone who has not used the last 90 days of products for at least 30 hours a week has no idea how profound this software is.
  • Supporters: entrepreneur Steven Cohn (@spcohn) quoted it saying his team has seen the same level of ROI; Farzad (@farzyness), with about 400K followers, quoted it saying "The ROI for AI is mind-boggling," drawing about 157 likes.
  • Skeptics: one user mocked posting "we automated seven full-time jobs" with a siren emoji like a product launch, noting that 30 hours a week of usage is itself like a new full-time job.
Read full story

X Discussion: Vercel CEO Guillermo Rauch Says "Own Your Intelligence," Urging Local Models to Keep Spreading and Developers to Own Their Agent Harness and Data

Vercel CEO Guillermo Rauch posted on X on November 1: "Own your intelligence. Anyone that opposes this has something to sell you (perhaps your own intelligence back to you.)" He argued that local models need to keep proliferating; since the biggest models may be out of reach locally for now, the best option is to keep your options open: own your harness, data, connections and runtime, meaning your agents, and embrace open source. Within about 12 hours the post drew about 2,500 likes, 128K views and over 100 quote posts, with debate centered on how to balance local and cloud AI.

Key Takeaways

  • This is Rauch's personal opinion post, not an official Vercel announcement or product release.
  • The original post (2026-11-01 21:08 UTC) had about 2,533 likes, 255 reposts, 266 replies, 107 quotes, 128K views and 581 bookmarks at fetch time.
  • Core claim: local models should keep spreading; until the biggest models can run locally, keep your options open by owning your harness, data, connections, runtime and agents, and embrace open source.
  • Mark (@marksuman), co-founder and CEO of Maple AI, replied in a quote post that it will be hybrid: cloud will always be more powerful, so local-first AI should be paired with private cloud.
  • Engineer Shantanu Goel (@shantanugoel) quoted it saying "Guillermo says the truth that most others won't!", drawing about 37 likes.
Read full story
Linked Models & Agents:

X Discussion: Elon Musk Says Grok Bot Serving Costs Were Unsustainably High Relative to Revenue; Replit CEO Amjad Masad Warns Subsidized AI Subscriptions Face a Rug Pull

After users on X complained that their Grok Bot usage ran out early this cycle, Elon Musk replied that "the cost of serving Grok Bot was unsustainably high relative to revenue", a reply with about 13K likes and 5.5M views. Replit CEO Amjad Masad then quoted the news, saying people enjoying subsidized AI subscriptions should "get ready to get rug pulled", sparking a debate over whether flat-rate AI plans can last. This is an X discussion with personal views; xAI has not published a formal pricing or limit announcement.

Key Takeaways

  • Trigger: user @DogecoinNorway said their Grok Bot usage hit 100% with 4 days left until reset, a post with about 1.24M views.
  • Musk replied that the cost of serving Grok Bot was unsustainably high relative to revenue, with about 13.2K likes, 5.51M views and 1,900+ quotes.
  • Amjad Masad (Replit CEO) quoted it, warning subsidized AI subscriptions are about to get rug pulled, with about 2,347 likes and 146K views; in replies he said Replit never subsidized.
  • xAI has not published a formal limit or pricing change; rely on official notices for specifics.
Read full story

X Discussion: Wharton Finance Professor Sylvain Catherine Says His $200/Month Claude Plan Is Worth It, Yet Calls for AI Regulation and No Race to Superintelligence

Wharton associate finance professor Sylvain Catherine posted on X that his views on AI have "radically shifted": he loves the tools and pays $200/month for Claude, but thinks the industry should be far more regulated and that frontier labs need not race toward superintelligence. The post drew about 48K views and 389 likes and is being shared in AI policy circles.

Key Takeaways

  • He pays $200 a month for Claude and calls it "worth every penny, probably even more", and believes current tools can significantly raise future GDP.
  • He cannot see why the industry is not more regulated when its own leaders and employees ask for it, and urges readers to spend an hour on the full chain of events of the Hugging Face incident.
  • He argues large gains are available by deploying current technology in economic and scientific organizations, without pursuing superintelligence.
  • His median scenario matches many economists: slow diffusion, roughly one extra percentage point of GDP growth, disruption along the way, and new jobs in the end.
  • This is an opinion discussion, not a factual report; he says he is not trying to convince anyone, only urging people to get informed and vote accordingly.
Read full story
Linked Models & Agents: