Dev Nag (@devnag) header
Dev Nag (@devnag) profile picture

Founder/CEO, @TryQueryPal. Enterprise AI Execution Infrastructure Builder. Previously Founder/CTO, @WavefrontHQ (funded by @Sequoia, acq by @vmware).

San Francisco, CA
Joined April 2007
Photo by Dev Nag (@devnag)Photo by Dev Nag (@devnag)Photo by Dev Nag (@devnag)Photo by Dev Nag (@devnag)Photo by Dev Nag (@devnag)Photo by Dev Nag (@devnag)Photo by Dev Nag (@devnag)Photo by Dev Nag (@devnag)Photo by Dev Nag (@devnag)Photo by Dev Nag (@devnag)
(1/n) Since its publication in 2017, PPO has essentially become synonymous with RL. Today, we are excited to provide you with a better alternative - EPO.
16
80
10
700
146,270
lowkey i think ilya 30u30 needs an upgrade to 50u50 now btw if you go through all of these, you’ll know at least 70% of what matters today
15
85
2
1,858
141,866
In this thread I'll record some brief impressions from trying to use o3/o4-mini (the new OpenAI models) for mathematical tasks.
19
67
22
729
156,930
pretty mind-blowing fact I just learned about transformer language models: the positional embeddings don't really do anything. you can just get rid of them and the model still works just as well sounds impossible, doesn't it? turns out standard LLMs aren't actually permutation-invariant because of the causal mask. so they just learn somehow to "figure out" what position they're at by counting the number of tokens they can see at a given position p crazy
78
115
17
1,709
185,267
Simply, no. I've been looking at my old results from doing RL with "verifiable" rewards (math puzzle games, python code to pass unit tests) starting from 2019 with GPT-1/2 to 2024 with Qwen Math Deepseek's success likely lies in the base models improving, the RL is constant
Is it feasible to do a true tabula rasa version of deepseek R1 zero, starting from an LLM with random weights, similar to alpha zero? Or is starting with an LLM which is pre trained on math required?
8
52
16
590
113,186
Replying to @tracewoodgrains
Another key reason people are spooked: around 2016ish we started seeing the *insane* power of purely self-improving Reinforcement Learning (RL) (think AlphaZero going from no knowledge to superhuman at chess in hours), and it was formative for a lot of folks, in terms of their expectations about the progression of AI systems. Frankly, a lot of us have been waiting for the RL self-play shoe to drop with language models, but for some reason it has been surprisingly stubborn and hasn't happened much before. There seems to be at least somewhat of a breakthrough here on that front, which is spooky. The thing that makes RL scary is the ability to keep self-improving by inventing ever harder tasks for yourself that you can practice against, to keep getting higher and higher quality training data. The traditional sort of "train on the internet + some finetuning at the end" picture doesn't seem likely to crazily spiral out of control in terms of skill, while "invent new programming problems for yourself, then solve them" has much more of the flavor of something that could keep self-improving. To paint an extremely over-simplified picture of how these self-improving RL systems work: They have some part for making decisions, which we'll call the "policy" (it's just the standard term), and then some sort of mechanism for turning this policy into a better policy. In the case of chess in AlphaZero, the policy picks out a move, and the mechanism for turning the policy into a better one is to do tree search. In other words, if you have a policy that finds 1500 elo level moves, you can use that policy to find 1700 elo moves by simply searching over many possible game trees using your policy, and taking the best one. The clever trick of AlphaZero is now this: You now *distill* those 1700 elo moves back into your policy by training on them! This maybe increases your policy to being one that finds 1502 elo moves, but that's okay, because now with tree search it finds 1702 elo moves, which you in turn distill back into your policy, getting out 1504 elo moves, and so on. In a sentence: "we keep distilling what we conclude after a lot of thinking into what we conclude intuitively in a single step of thinking, which in turn improves what we conclude with a lot of thinking, and so on". Note that the above core trick is part of what we've all been waiting to see if someone will figure out for LLMs. The analogy is quite strong. You make up ever harder problems, and your "policy" is just what answers your LLM gives in a single step. The analogy to tree search is letting your LLM do chain-of-thought (CoT) reasoning. The hope is that a model that produces "1500 elo thoughts" shooting from the hip will, via CoT reasoning, produce "1600 elo thoughts" or something, and you can distill those back into the model to get a model that thinks 1501 elo thoughts to start with, and then you can iterate this over and over. Frankly, a lot of us were pretty comforted to see that major labs were not seeming to be having much success with this sort of self-improving RL, so it's a big update to see something like that work so well now. (Why you should pay any attention to what I'm saying: I worked on commercializing LLMs professionally 2019-2021, and then worked on more researchy projects on LLMs after that (e.g. paper in NeurIPS). I've implemented AlphaZero from scratch, and gotten strong models at new games, like my duck chess engine here: peter.website/duck-chess/ana…)
26
116
24
1,023
180,950
The bandwidth of this single chip is the entire internet’s traffic??? WHAT We are no where close to seeing the top of intelligent systems
Jensen Huang shows off the NVIDIA GB200 NVL72: a data center superchip with 72 Blackwell GPUs, 1.4 exaFLOPS of compute and 130 trillion transistors
110
783
40
11,719
962,438
Ladies, has your Christmas vacation been ruined by the Deepseek launch? You may be entitled to compensation.
11
15
1
497
55,420
It's a bit sad and confusing that LLMs ("Large Language Models") have little to do with language; It's just historical. They are highly general purpose technology for statistical modeling of token streams. A better name would be Autoregressive Transformers or something. They don't care if the tokens happen to represent little text chunks. It could just as well be little image patches, audio chunks, action choices, molecules, or whatever. If you can reduce your problem to that of modeling token streams (for any arbitrary vocabulary of some set of discrete tokens), you can "throw an LLM at it". Actually, as the LLM stack becomes more and more mature, we may see a convergence of a large number of problems into this modeling paradigm. That is, the problem is fixed at that of "next token prediction" with an LLM, it's just the usage/meaning of the tokens that changes per domain. If that is the case, it's also possible that deep learning frameworks (e.g. PyTorch and friends) are way too general for what most problems want to look like over time. What's up with thousands of ops and layers that you can reconfigure arbitrarily if 80% of problems just want to use an LLM? I don't think this is true but I think it's half true.
554
1,160
236
10,418
1,284,462
the cathedrals in code and hardware are invisible to people. those who deeply understand that know the wonder that they hold in their hands to post this tweet instead of a slab of glass and metal.
Why did humans stop building wonders?
138
365
74
4,976
375,827
Timing.
You know what the secret to comedy is?
1,075
30,991
1,025
383,356
11,335,092
Left: Hierarchical model based RL with a large-scale pre-trained world model, auxiliary tasks and skill-discovery and a model for inverse kinematics. Right: PID
3
41
7
377
36,443
thinking: as execution of ideas gets easier (thx to agents, APIs for every imaginable service, etc), ideas become more of the differentiator. good ideas aren’t derived solely from logic or patterns of the past, they’re also the exhaust of human experiences and traumas, mistakes of the eye, and uniquely human ingenuity. as the wave of AI helps more (and better) ideas happen, humanity will stand out with creativity more than productivity.
18
23
9
174
48,270
🎉 Exciting News!! We're thrilled to announce that QueryPal clinched second place as Product of the Day on @ProductHunt and soared to the top as the #1 SaaS Product! Plus, we were featured in the Product Hunt newsletter, spreading our reach even further. A heartfelt THANK YOU to our amazing community. Your votes, comments, and feedback have been incredibly encouraging. We are deeply grateful for your support and belief in our vision. Here's to reaching more milestones and achieving continued success together! 🚀
6
3
12
2,291
The last time Dev worked at a Pal company, it was PayPal 👀
Human attention is the scarcest and most valuable resource in the world. This is why we built QueryPal, launching today on Product Hunt (t.ly/6YXfm). It's an AI chatbot that automatically answers all those incoming repetitive questions at work. (1/10)
2
5
3,479
Dev Nag retweeted
Lets support Asmitha in getting to rank 1 for PH launch. #buildinpublic #Indiehackers – at St Petersburg, FL
3
12
599
🚀We launched QueryPal today on @ProductHunt : producthunt.com/posts/queryp… Can you spot us in the image below?👇
The Product Hunt Shoutouts leaderboard is here. We are home to the #1 source of what products startups use. You can now view it completely for free here RT to save a friend time picking out a product. producthunt.com/shoutouts
1
2
11
311