
Xander Dunn
@xanderai
Followers
2K
Following
8K
Media
245
Statuses
1K
Previously: Building LLMs for code gen, Deep RL for industrial robotics, @Apple @UChicago
Joined February 2014
One of the most productive* coders in Silicon Valley. *as measured by market cap, exit value, impact of products, coding competitions, .
We ran a randomized controlled trial to see how much AI coding tools speed up experienced open-source developers. The results surprised us: Developers thought they were 20% faster with AI tools, but they were actually 19% slower when they had access to AI than when they didn't.
1
0
4
Difficulty with lean:.One can have an intuition of a proof and high certainty it's correct without lean. One can have a valid lean proof and absolutely no intuition about it. @ChrSzegedy is the future of math lambda calculus proofs we derive no intuition from?.
0
0
0
.@dwarkesh_sp: "All of the data available in 1980 would be nowhere near enough to train GPT4.".Suppose letting loose the AI too early stymies the ability to develop transformative AI. The data sources (the Internet) become full of AI slop and we miss out on orders of magnitude.
0
0
1
"Language is purely generative. You can't touch it. You can't see it. It doesn't exist in nature." Fei-Fei.
Dr. Fei-Fei Li (@drfeifei), the Godmother of AI, on the origin of computer vision and why spatial intelligence is the next frontier. At AI Startup School in San Francisco. 01:00 - Origins of ImageNet.02:15 - The Dream to Make Machines See.03:28 - A paradigm shift in AI.05:50 -
0
0
0