Aadish Verma

bored kid write code. @badlogicgames apprentice

[NeetCode @neetcode1]

> "takes a while to wrap your head around"

Really? It's progress, but I feel like this isn't that new of an idea. We've been talking about slack integrations, llm context and collaborative experiences forever.

Also, this looks like an example of prompting.
I thought prompting was dead.

Idk, I feel like everyone's just making it up as they go.

[jscuz2can @jscuz2can]

@probably_pe gemini personalizes itself based on your previous google data btw

[Aadish Verma @aadishvdotdev]

@saurabh_shah2 consider yourself lucky.
https://t.co/wEPN0GjsVX

[Aadish Verma @aadishvdotdev]

@badlogicgames i got this beauty from gpt-5.4 yesterday.

[Taelin @VictorTaelin]

Status update: I've been on/off AI agents in the last few days and it is a verifiable truth that every day I didn't use agents, I was more productive. I still attribute that to how slow they are, and my own inability to multi-task efficiently. The magic is there but the slowness doesn't let it cross the threshold where they actually make me faster, and I still dislike the whole thinking paradigm.

About Bend2: honestly, the C/Metal compiler codebase is a clusterfuck right now. I regret letting AI agents write it. All tests pass, and GPU performance is mind-blowing, so the core architecture works. Yet, it has a LOT of bugs. Anything not covered by the tests is a coin toss. This is actually impressive, because, in many parts of the codebase, the right solution was actually the simplest one, yet, the agents STILL managed to find a way to make it work just for the tests. The level of reward hack these agents output is actually impressive I can't even be mad.

It is also ironical because that's the very problem that Bend's proof system was supposed to solve, but Bend is in TypeScript, not in Bend. I'm disappointed I didn't write Bend in itself, and now I feel an immense urge to do so. But the clock is ticking . . .

Still, I do not think Bend is worth launching without the GPU compiler being solid, because the closest competitor, Lean, is actually extremely good, so we need a big differential. Yet, due to the very nature of the project, it would be embarrassing to have bugs at launch.

Regarding AI, I now believe using current gen AI agents in production codebase is harmful and a massive mistake. That doesn't mean no agents at all, but agents work best when they don't touch critical code. Debugging, researching, providing insights, scripts / tools, or anything that doesn't touch code you will maintain in the long term. But if you merge AI code without reading, you're going to have a bad time. Speaking from experience

I'm working 10h/day on SupGen and the remaining time on Bend2

[the tiny corp @__tinygrad__]

The AI panic is really unbelievable today. The level of delusion and hype have grown to mythic proportions.

Has AI beaten Pokemon Red yet? Like a normal 6 year old does, by looking at the screen? Oh it hasn't. But all jobs are over in 18 months? This website is full of idiots.

[Aadish Verma @aadishvdotdev]

its not even been a day and i am already addicted. the cat is the cherry on top

[SIGKITTEN @SIGKITTEN]

@aadishvdotdev its there wdym

[Aadish Verma @aadishvdotdev]

@mitsuhiko once the bubble pops 🙃

[Aadish Verma @aadishvdotdev]

@SIGKITTEN omg i missed this. time to use the hell out it, ty

[Theo - t3.gg @theo]

uv has 350k lines of Rust, and 73 "unsafe" calls.

The Bun Rust port is already 681k lines of Rust, and has over 13,000 "unsafe" calls.

[Aadish Verma @aadishvdotdev]

@badlogicgames i got this beauty from gpt-5.4 yesterday.

[Aadish Verma @aadishvdotdev]

@tenobrus "projected 100% of world GDP" loll

[Aadish Verma @aadishvdotdev]

@SIGKITTEN liking because kittens. i have no idea what is going on here

[Aadish Verma @aadishvdotdev]

@SIGKITTEN gimme my pi kittylitter

[Aadish Verma @aadishvdotdev]

@stupidtechtakes the funny thing is "they have been using AI for decades" is both a way to counter AI skeptics (or at least the people who think "genAI is worse than google translate") and also something said by conspiracy theorists. i cannot think of another phrase like that

[Aadish Verma @aadishvdotdev]

@uwukko yes please. i used to maintain a really fun glassmorphic style in zen and that's the one thing i miss since switching

[Sherwood @shcallaway]

OVERRATED: running tons of agents in parallel; working on too many things at once; perpetual context-switching; opening lots of low-quality PRs that may never land.

UNDERRATED: using one or two agents at a time; focusing on the task in front of you; thinking deeply; finishing stuff; making your code works in prod.

[Aadish Verma @aadishvdotdev]

@SIGKITTEN inb4 people start harrassing you for not knowing the three million different native app frameworks for windows (50% are just react native wrappers that suck, the other 50% are just webview wrappers that also suck)

[Aadish Verma @aadishvdotdev]

@SIGKITTEN don't make me vibefork and add pi support...

[dax @thdxr]

opus 4.7 is a beauty
a fresh yet elegant take on something we've seen before
a new standard, a definite marker of a new era

(i haven't tried it yet)