The video showcase the highlight of Neymar's Rainbow Flick goal, specifically in the match with Villareal, November 8, 2015 at 85'. Neymar scored two goals, with this iconic goal as his second.
Cournot is an AI-native resolution that is able to provide verifiable reasoning.
π‘π²π πΊπΆπΉπ²πππΌπ»π² ππ»πΉπΌπ°πΈπ²π± π
+$1.2M crossed in notional volume and +180 traders on Predera π₯
Thatβs equivalent to:
β¦1.4B
KSh 129M
R18.8M
GHβ΅11M
Stick with us, weβre just getting started π«‘
The world runs on opinions.
Who will win elections. π³οΈ
Will Bitcoin go up. π
Will a major event happen. β¬οΈ
Until now, Africans could only argue about it.
With Predera, your opinions can finally have value.
Predict anything. Stake. Win Big!!!
https://t.co/CJaYcHUpqi
New episode of The Information Bottleneck is out π₯³
In this one, we talked with @srush_nlp, a researcher at Cursor and professor at Cornell, about the hottest topic - coding agents! We talked about how Cursor trains Composer, the challenges, and where all this is going.
One point Sasha made stuck with me.
Coding agents work really well, but only when you can specify a clear hill-climbing signal. A problem where the agent knows it's getting better. Karpathy tried this on nanochat a few weeks back, letting an agent run overnight to optimize the validation loss autonomously. The follow-ups were mixed. Sometimes the "improvement" was worse than classical methods.
Most real problems don't come pre-packaged with a reward signal at all. You don't know if a new architecture is better until you've already run the experiment. You don't know if a refactor is cleaner until someone reads it. You don't know if a product decision worked until months later. A lot of what we call hard problems are hard precisely because the signal is missing, noisy, or expensive to get.
I think the next big challenge isn't getting agents to solve problems. It's finding problems you can actually formalize as hill climbing, or building a cheap proxy that correlates with what you care about.
Having an opposing party critising an convincing argument really helps to liberate the mind.
Itβs the sudden realization that I am in a hole Iβve been digging unconsciously.