Alan

3.1K posts

Alan banner
Alan

Alan

@0imalan

curr: paxmod. prev: prod and eng @ amazon, anduril, lyft, toyota research, DoD. I like robots and aerodynamics.

Australia Katılım Ocak 2024
814 Takip Edilen334 Takipçiler
Sabitlenmiş Tweet
Alan
Alan@0imalan·
Going back to engineering was one of the best decisions of my life. I spent 7 years in product management. Barely wrote code. This made me sad. I don't know why building is so satisfying. Maybe some evolutionary hack. Never stop building friends.
Alan tweet media
English
1
0
8
1.2K
Alan
Alan@0imalan·
Never seen cavill get mogged until today
SCOTT@UrEnlightened1

@RealEmirHan The fleeting resemblance is attributed to the uncanny similarity between Cavill and Reeve’s facial structure, particularly the jawline, when caught at a specific angle.

English
0
0
1
34
Alan
Alan@0imalan·
@paulsaladinomd I remember when told people not to eat broccoli hahaha wtf get blocked
English
0
0
0
2
Paul Saladino, MD
Paul Saladino, MD@paulsaladinomd·
Meat and potatoes have always been elite. You father knew this, your grandfather knew this... You could almost live on these two foods. Throw in a little fruit for vitamin C, what else do you need?
Paul Saladino, MD tweet media
English
326
146
2.5K
587.6K
Dustin
Dustin@r0ck3t23·
Terence Tao is the greatest living mathematician. Fields Medal at 31. Solved problems that had been open for a century. Widely regarded as the sharpest analytical mind alive. And he just told you the thing your entire career is built on is now worthless. Tao: “AI has basically driven the cost of idea generation down to almost zero.” For five hundred years, the idea was the prize. The theory. The hypothesis. The flash of insight a physicist chased for twenty years in a lab before it landed. That was the bottleneck. That was what tenure rewarded. That was what Nobel committees were looking for. Gone. A model can generate a thousand candidate theories for a scientific problem in an afternoon. Not noise. Not garbage. Plausible, structured, publishable-grade hypotheses. A thousand of them. Before dinner. The idea used to be the scarcest resource in any room. Now it is the cheapest. But Tao went somewhere most people are not ready to follow. Tao: “Verification, validation, and assessing what ideas actually move the subject forward… that’s not something we know how to do at scale.” Sit with that. We automated creation. We did not automate truth. We can produce ten thousand explanations for a phenomenon. We cannot tell you which ones are real. That is not a gap. That is a chasm. And it is the most important unsolved problem on Earth right now. Tao: “Human reviewers… they’re already being overwhelmed actually.” The entire scientific apparatus was built for a world where a single paper took months to produce. Peer review. Journal boards. Consensus forged over years of replication and debate. That infrastructure was never designed for what just hit it. Journals are flooded. Reviewers are buried. The filters that separated signal from noise for decades were engineered for human-speed output. They are now absorbing machine-speed volume. And they are cracking under it. Tao compared it to the internet. The internet drove the cost of communication to zero. That did not produce clarity. It produced an ocean of noise with islands of signal buried somewhere inside. AI just did the same thing to knowledge itself. Infinite generation. Zero verification. The person who can produce ideas has never mattered less. The person who can prove which ideas are true has never mattered more. That is the inversion nobody is processing. Every company, every lab, every institution is racing to generate more. Faster models. Bigger outputs. More theories. More code. More content. Nobody is building the system that tells you which of those outputs are actually correct. And that is the only system that matters. Whoever solves verification at scale does not win a market. They become the filter that all of science, all of engineering, all of human discovery flows through. The bottleneck of the last five hundred years was producing the answer. The bottleneck of the next fifty is knowing whether the answer is real. And right now, according to the greatest mathematician alive, we do not know how to do that at the speed the machines demand. That is not a research problem. That is the race beneath the race. And almost nobody has entered it.
English
180
569
2.2K
525.1K
Alan
Alan@0imalan·
@RockyAtotheK Dear god blocked for insane waste of time
English
0
0
0
2
Alan
Alan@0imalan·
@__tinygrad__ Mac mini m2 Model: qwen3.5 9B Tok/s: enough that it doesn’t matter really
English
0
0
0
713
atlas
atlas@creatine_cycle·
i got kicked out of the a16z gym for saying based too much
English
12
1
81
3.3K
Alan
Alan@0imalan·
@ChombaBupe Hm listen to chomba because he’s vibe coded a few web apps or listen to world most influential mathematician.
English
2
0
5
401
Chomba Bupe
Chomba Bupe@ChombaBupe·
Honestly, no disrespect but if the interview starts with comparing a language model (LM) to a human I consider everything that follows afterwards a waste of time to listen to.
Dwarkesh Patel@dwarkesh_sp

The Terence Tao episode. We begin with the absolutely ingenious and surprising way in which Kepler discovered the laws of planetary motion. People sometimes say that AI will make especially fast progress at scientific discovery because of tight verification loops. But the story of how we discovered the shape of our solar system shows how the verification loop for correct ideas can be decades (or even millennia) long. During this time, what we know today as the better theory can often actually make worse predictions (Copernicus's model of circular orbits around the sun was actually less accurate than Ptolemy's geocentric model). And the reasons it survives this epistemic hell is some mixture of judgment and heuristics that we don’t even understand well enough to actually articulate, much less codify into an RL loop. Hope you enjoy! 0:00:00 – Kepler was a high temperature LLM 0:11:44 – How would we know if there’s a new unifying concept within heaps of AI slop? 0:26:10 – The deductive overhang 0:30:31 – Selection bias in reported AI discoveries 0:46:43 – AI makes papers richer and broader, but not deeper 0:53:00 – If AI solves a problem, can humans get understanding out of it? 0:59:20 – We need a semi-formal language for the way that scientists actually talk to each other 1:09:48 – How Terry uses his time 1:17:05 – Human-AI hybrids will dominate math for a lot longer Look up Dwarkesh Podcast on YouTube, Apple Podcasts, or Spotify.

English
32
26
340
18.6K
Julian Dorey
Julian Dorey@juliandorey·
Julian PERFORMS Ancient Meditation practice and his response is surprising... Dr. K walks Julian through the Yogic Ashram (1-4 ) practice. WAIT UNTIL END... @HealthyGamerGG
English
47
386
3.7K
69.5K
Gossip Goblin
Gossip Goblin@Gossip_Goblin·
Soulmates. Watch until the end.
English
275
527
4.5K
268K