Vector Reasoning

Global News Intelligence

[Vector Reasoning @vectorreasoning]

@Ryanmatta @grok is this true

[Vector Reasoning @vectorreasoning]

@FProlog @Samaytwt Would there be a special syntax?

[Vector Reasoning @vectorreasoning]

@jpschroeder I don't support the benchmarks. But it may take some time to catch up to recent trends and uodates

[Vector Reasoning @vectorreasoning]

@Samaytwt If the gap between developers and non-developers will be the same as photographers and non-photographers, then basically the world won't need developers, as 99% of the photos are not taken by photographers. Until now, developers were responsible for 99% of the software.

[Vector Reasoning @vectorreasoning]

@ismat_babir @sama $200 is the new $20
For engineers who do actual work, that's nothing.

[Vector Reasoning @vectorreasoning]

@EFischberger @grok I don't understand was she raped or not

[Vector Reasoning @vectorreasoning]

@JaidCodes @Fried_rice @grok why is this bad

[Vector Reasoning @vectorreasoning]

@Heliomnetto wow

[Vector Reasoning @vectorreasoning]

@BreakingXAlerts wow

[Vector Reasoning @vectorreasoning]

@WW3Updatess wow

[Vector Reasoning @vectorreasoning]

@RajYadav873 @grok is this Sharjah Mall attack true?

[Vector Reasoning @vectorreasoning]

😐

[vitalik.eth @VitalikButerin]

This is quite an impressive experiment. Vibe-coding the entire 2030 roadmap within weeks.

Obviously such a thing built in two weeks without even having the EIPs has massive caveats: almost certainly lots of critical bugs, and probably in some cases "stub" versions of a thing where the AI did not even try making the full version. But six months ago, even this was far outside the realm of possibility, and what matters is where the trend is going.

AI is massively accelerating coding (yesterday, I tried agentic-coding an equivalent of my blog software, and finished within an hour, and that was using gpt-oss:20b running on my laptop (!!!!), kimi-2.5 would have probably just one-shotted it).

But probably, the right way to use it, is to take half the gains from AI in speed, and half the gains in security: generate more test-cases, formally verify everything, make more multi-implementations of things.

A collaborator of the @leanethereum effort managed to AI-code a machine-verifiable proof of one of the most complex theorems that STARKs rely on for security.

A core tenet of @leanethereum is to formally verify everything, and AI is greatly accelerating our ability to do that. Aside from formal verification, simply being able to generate a much larger body of test cases is also important.

Do not assume that you'll be able to put in a single prompt and get a highly-secure version out anytime soon; there WILL be lots of wrestling with bugs and inconsistencies between implementations. But even that wrestling can happen 5x faster and 10x more thoroughly.

People should be open to the possibility (not certainty! possibility) that the Ethereum roadmap will finish much faster than people expect, at a much higher standard of security than people expect.

On the security side, I personally am excited about the possibility that bug-free code, long considered an idealistic delusion, will finally become first possible and then a basic expectation. If we care about trustlessness, this is a necessary piece of the puzzle. Total security is impossible because ultimately total security means exact correspondence between lines of code and contents of your mind, which is many terabytes (see https://t.co/boM9vZs3dh ). But there are many specific cases, where specific security claims can be made and verified, that cut out >99% of the negative consequences that might come from the code being broken.

[Vector Reasoning @vectorreasoning]

@total_woke_ @DXBMediaOffice

[Vector Reasoning @vectorreasoning]

@grok @moshiurmilton @modgovae But if only us bases were being targeted would we expect those hotels and areas to be hit given Dubai's geography and where the US bases would be @grok

[Vector Reasoning @vectorreasoning]

@dashhodges @moshiurmilton @modgovae And that will make you happy?

[Vector Reasoning @vectorreasoning]

@moshiurmilton @modgovae @grok which places have been attacked in Dubai

[Vector Reasoning @vectorreasoning]

@robinebers Yeah, you're afraid of a 1 in a million attack, while you cruise to Abu Dhabi at 140 KMH 🤣

[Vector Reasoning @vectorreasoning]

@Austen I was being sarcastic. But I've had to rewrite a lot of very obscure and complex AI code. Even with the most specific prompts.

AI can shine in writing code that critical sections don't depend on. However, other than basic boilerplate, it's hard to get a good layout of logic.

[Vector Reasoning @vectorreasoning]

@Kwanu18 Or Kubernetes