Julian
@julianboolean_
experimental cozy face account honor is in trying anyway “unnervingly flexible” - @g_leech_
very excited to say I will be at LessOnline, Manifest, @vibecamp_ and @vibechella !! dm me please if you wanna hang :)
huh I hadn't considered this framing cf @visakanv "games are fun because they do the project management for you, which is the hardest part"
Never underestimate how productive you can become just by eliminating uncertainty and knowing exactly what you need to do.
this is super cool, TIL
Nothing more bonkers than lung surfactant. Almost all premature babies (not just the extremely premature ones) used to die, within hours. Now they almost all live.
what are the human duties that accompany (the standard set of) human rights?
this is crazy I'd love to know what they did (and how much it costs, though thats much less important than existence proof )
So what’s different? We developed new techniques that make LLMs a lot better at hard-to-verify tasks. IMO problems were the perfect challenge for this: proofs are pages long and take experts hours to grade. Compare that to AIME, where answers are simply an integer from 0 to 999.
cool problem what happens if you're allowed to bet any amount you like upto bankroll, not just $1? probably the Kelly criterion comes in but idk how to solve it
it goes as follows: suppose you can pay $1 to flip an unfair coin: 51% of the time you double your $1, 49% of the time you lose it he claimed that with an initial bankroll of $100, the odds of going to $0 were ~2% if you played until failure (the point is that edge compounds)