Randall Bennett
28.1K posts

Randall Bennett
@randallb
Ship more, build less. Confident AI builder @boltfoundry (Journo → coder → vidpresso (YCW14) → sold to FB) whatsapp: 16466701291








This is wild. theaustralian.com.au/business/techn…




Seriously, Cursor needs their own model so badly

yes I read the paper but if you are getting zero value from CLAUDE.md that’s a skill issue there are tons of very useful things you can use it for, they just might not be what you think Throw out the model generated file, hook up a proxy and inspect how it’s passed to the inference endpoint, and pay attention to what’s eating up context (trying to find the tests, looking in the wrong place) Write every token by hand here - you can do quite a lot

Nothing makes you feel like "software isn't done yet" than paying a $4 convenience fee to pay your water bill on the shittiest website you've ever seen.


Don't overcomplicate your AI agents. As an example, here is a minimal and very capable agent for automated theorem proving. The prevailing approach to automated theorem proving involves complex, multi-component systems with heavy computational overhead. But does it need to be that complex? This research introduces a deliberately minimal agent architecture for formal theorem proving. It interfaces with Lean and demonstrates that a streamlined, pared-down approach can achieve competitive performance on proof generation benchmarks. It turns out that simplicity is a feature, not a limitation. By stripping away unnecessary complexity, the agent becomes more reproducible, efficient, and accessible. Sophisticated results don't require sophisticated infrastructure. Paper: arxiv.org/abs/2602.24273 Learn to build effective AI agents in our academy: academy.dair.ai


We initially thought GLP-1s like Ozempic, Tirzapeptide and Retatutride just reduced food cravings. Now, we know they work for alcohol, cocaine, gambling and other addictions too But do you know what runs on exactly the same circuit? Falling in love GLP-1 receptors sit in the exact same brain regions that light up when you’re in love The insane thing about them is that they don’t just suppress appetite. They suppress wanting in general, including romantic craving another person Something like 60M+ people are now on anti-desire drugs and it happened in the blink of an eye I predict in the coming years, we will see people on these drugs be less able to fall in love. We will also see them fall out of love, or be unable to feel it, in relationships that were previously great If your girlfriend or boyfriend started taking GLP1s and your relationship started failing, there’s a good chance that’s why




