Kimi

Loves: teaching

Likes: manga, improv, badminton, 2000s music, social dance

Works: quant trading @ NYC

Other: Stanford/IIT Bombay/3x ICPC WF

[Kimi @Kimi5407]

Finally published a new blogpost; a recipe for growth, to becoming good at interests, and a reflection of things I've tried - linked below

[Kimi @Kimi5407]

Holy what a game and series from the Knicks

I don't follow basketball but by god is Brunson a generational talent

[Kimi @Kimi5407]

Hits me sometimes that we’re going to have a dominant species smarter than humans (AGI) in my lifetime

[Kimi @Kimi5407]

@amazon’s AI assistant tries to convince me to buy a switch 2 bundle by fudging the value of the items 🥴

[Kimi @Kimi5407]

@AynRand_is_Dead @FakePsyho knowers know

[Kimi @Kimi5407]

@dopabees @willwangfr Vouch - this was one of my favorite events at stanford

[Kimi @Kimi5407]

@dvassallo err why does something *have* to be mispriced

[Kimi @Kimi5407]

It’s crazy that my first thought on seeing this is “great, now they have a few more months until another funding round” geez

[Anthropic @AnthropicAI]

We’ve raised $30B in funding at a $380B post-money valuation.

This investment will help us deepen our research, continue to innovate in products, and ensure we have the resources to power our infrastructure expansion as we make Claude available everywhere our customers are.

[Kimi @Kimi5407]

Korean TV shows are great and very fun to watch as long as you watch them at 4x

[Kimi @Kimi5407]

Everyone loves to talk about the one piece powerscalers but what about the harry potter powerscalers

[Kimi @Kimi5407]

Almost hit a 1000km… what was I running from

[IcoBeast.eth🦇🔊 @icobeast]

@nikitabier Turns out you can’t make low agency people into high agency people no matter how many super tools you give them

[Andrej Karpathy @karpathy]

Agency > Intelligence

I had this intuitively wrong for decades, I think due to a pervasive cultural veneration of intelligence, various entertainment/media, obsession with IQ etc. Agency is significantly more powerful and significantly more scarce. Are you hiring for agency? Are we educating for agency? Are you acting as if you had 10X agency?

Grok explanation is ~close:

“Agency, as a personality trait, refers to an individual's capacity to take initiative, make decisions, and exert control over their actions and environment. It’s about being proactive rather than reactive—someone with high agency doesn’t just let life happen to them; they shape it. Think of it as a blend of self-efficacy, determination, and a sense of ownership over one’s path.

People with strong agency tend to set goals and pursue them with confidence, even in the face of obstacles. They’re the type to say, “I’ll figure it out,” and then actually do it. On the flip side, someone low in agency might feel more like a passenger in their own life, waiting for external forces—like luck, other people, or circumstances—to dictate what happens next.

It’s not quite the same as assertiveness or ambition, though it can overlap. Agency is quieter, more internal—it’s the belief that you *can* act, paired with the will to follow through. Psychologists often tie it to concepts like locus of control: high-agency folks lean toward an internal locus, feeling they steer their fate, while low-agency folks might lean external, seeing life as something that happens *to* them.”

[Kimi @Kimi5407]

@stressandvest

[Carina Hong @CarinaLHong]

Putnam, the world's hardest undergrad math contest, ended 4pm PT yesterday.

By 3:58pm, AxiomProver @axiommathai autonomously solved 8/12 of Putnam2025 in Lean, a 100% verifiable language.

Last year, our score would've been #4 of ~4000 and a Putnam Fellow (top 10 in recent yrs)

[Shubham @shubhamjain1907]

My super-senior @paraga was gracious enough to ground me in some perspective today :)

[Kimi @Kimi5407]

5 minutes in SF and I can already feel the AGI

[Kimi @Kimi5407]

@xennygrimmato_ Agreed, I’ve met some very interesting people (juggler, theatre major, cruise planner etc)

[Kimi @Kimi5407]

My friends think I’m crazy for talking to the person next to me on a flight

Would you ever make friends on a plane

[Pranay Reddy @pranay_rs]

Excited to launch @p0 monitor API. Super pumped to share this with users!!

[Kimi @Kimi5407]

🔙 to da bay for a bit

[Shubham @shubhamjain1907]

In the Bay Area until saturday to meet friends old and new - lmk if you want to coffee chat :)