Kimi

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

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

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

@AynRand_is_Dead @FakePsyho knowers know

@FakePsyho the ai on the left is called "Bubba" the ai on the right is called "Kikki"

Radar graphs are among the worst ideas in data visualization. The whole point of them is to show the area and you can usually reorder the labels freely in order to create a desired dramatic effect. Two versions of the same graph: - left one tells the story that AI is rapidly replacing whole industries - right one shows the "jaggedness" and reinforces the idea that humans will always have something that AI won't be able to replicate

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

I'm cordially inviting you to dance with me at the Stanford Viennese Ball. Wanna do the jiggy with me? It's tomorrow at 7:30 pm at Hyatt Regency SFO. You'll be joining me and @willwangfr. DM if interested. vienneseball.stanford.edu

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

If Anthropic is worth 10% of Google, something must be mispriced.

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

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

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

Almost hit a 1000km… what was I running from

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

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.”

I’ve finally gotten to the age where instead of ubering home from the club at 2am, I’m ubering to prospect park at 9am to run with friends

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)

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

5 minutes in SF and I can already feel the AGI

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

@Kimi5407 I think it's just sad that people don't talk to their neighbours on a flight.

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

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

🔙 to da bay for a bit

@DrEmmaZang (gets ln(2) when N = 1 and 1/2 when N -> infty as expected)

@DrEmmaZang these problems remind me of generating functions, though they're kind of overkill; once you figure out the pdf of num_boys for one family, just figure out the pdf of num_boys for N families, and now compute E[G/G+B] I lazily prompted ChatGPT and got this

Interesting problem. It looks obvious until you actually think about it. Many people gave the wrong answers because they assumed: E[G/(G+B)] = E[G] / (E[G] + E[B]), which is not true. Ratios are sneaky. The denominator moves, and suddenly all our nice intuition falls apart. The quick intuition: once family sizes vary, each family contributes differently to the population ratio, so you can’t just take expectations on the top and bottom and call it a day. And if you try to “just simulate it,” the result depends on how many families you draw. With small N you might get something that looks close to 0.5, but it’s always a bit above 0.5. Simulation will happily mislead you if you let it. If I ever teach PhD formal demography, I’m definitely putting this in the problem set. It’s too good not to. 😄