David Cox

431 posts

David Cox banner
David Cox

David Cox

@davidcox

Founder & CEO @IntegrateReason (YC S22, TechCrunch Biggest Moonshots) | Cited by Google DeepMind, Meta AI | ex Apple, my code runs 250B times / day

San Diego, CA Katılım Aralık 2022
123 Takip Edilen474 Takipçiler
David Cox
David Cox@davidcox·
@tetsuo_cpp Yeah! I’m implementing a solver for mixed integer linear programs
English
0
0
1
45
David Cox
David Cox@davidcox·
I’ve been writing linear algebra code for the WSE-3 since November and agree that Cerebras doesn’t need CUDA. Most CUDA functions don’t even make sense in the WSE’s 2D programming model.
Andrew Feldman@andrewdfeldman

AI as we know it might not exist if @nvidia had not gone all-in more than a decade ago. CUDA was foundational to the development of AI and remains important for training. Inference, however, is different. CUDA has no role in inference. AI is now useful. For coding. For doing your taxes. For finance, legal and HR departments. People are coding their own apps, eliminating SaaS applications. And none of them know anything about CUDA. And of course it’s this way. It always is. When a new technology emerges the practitioners use low level software. It looks like math. Its written by the select few. Graduate students. Supercompute engineers. But to get popular, the technology needs to leave this environment. There simply aren’t enough technologists to make a market. There are no low level programming languages that are popular. They are just too hard. In order to get popular, computer languages move from low level to high level. Compare how many people write Assembly versus Python. It’s: 1 vs. 10,000. When a technology is used by those who know nothing about its creation, and instead care only about its usefulness, then it has broken through. It takes 12 keystrokes to link a world class AI model to your application, and start getting blazing fast tokens. You don’t need to know anything about AI. There is no CUDA. Just point to the OpenAI API. Or the Cerebras API. Or to Fireworks. Or to DataBricks. Here is what you type to move from Nvidia GPUs to Cerebras. API key= os.environ.get(“CEREBRAS_API_KEY”) That’s it.

English
1
1
3
222
David Cox
David Cox@davidcox·
@skeptrune @0xajka @theo @michael_chomsky theo’s right, you should do all the editing yourself. you’ll have an easier time recording because you’ll know what you can and can’t clean up while editing.
English
1
0
6
253
Nick Khami
Nick Khami@skeptrune·
@0xajka @theo @michael_chomsky at the bare minimum i think i should probably be more involved in the editing process than i was initially planning on
English
1
0
5
331
Nick Khami
Nick Khami@skeptrune·
hi, @michael_chomsky and i are starting a low effort podcast and hiring a video editor we're recording once or twice a week, and you should apply. remote, pay is $1500-$3000/mo depending on experience and location our interview process will be entirely proof of work based. dm us with your experience and pitch. you'll be expected to ship the podcast and clips end to end. we care that you've done this before if you're interested, dm me! --- 00:00 SDLC Is Broken: Ship Fast, Kill Faster 10:22 DevRel Is Dead 24:05 Handling Public Criticism: Cursor, Roy Lee & Hacker News 34:07 Composio & the Pain of Agent Integrations 46:30 Jensen's OpenClaw Takes & the Buggy Reality 56:08 Proactive Agents as Autonomous Employees
terminally onλine εngineer@tekbog

how come everyone has a podcast now?

English
55
6
284
57.6K
StandardDB
StandardDB@StandardDB·
@davidcox @posthog it doesnt happen in realtime, but if you hit refresh you will see yours show up
English
1
0
1
491
StandardDB
StandardDB@StandardDB·
We are the hub for AI builders: - Any startup or individual can sign up - Keep track of what others are shipping - Offers marketplace featuring top startups like @posthog Feedback welcome!
English
9
3
58
39.9K
David Liu
David Liu@davidliuxyz·
for logistics twitter, do you guys have a pizza order tracker for shipments that constantly change hands
David Liu tweet media
English
5
0
11
990
David Cox
David Cox@davidcox·
@daltonc @HeyGarrison as someone who’s been suffering for years doing a strange new thing, I endorse this message
English
0
0
2
21
David Cox
David Cox@davidcox·
rip CUDA
Türkçe
0
0
0
44
Sam
Sam@MeanSamGreene·
@davidcox Or just do your job, but faster
English
1
0
1
44
David Cox
David Cox@davidcox·
if you’re not getting stuck anymore you’re not trying hard enough. pick something 100x more ambitious than anything you’ve ever worked on and just start. you will get stuck. you might get un-stuck and build something great.
Jared Friedman@snowmaker

I realized something else AI has changed about coding: you don't get stuck anymore. Programming used to be punctuated by episodes of extreme frustration, when a tricky bug ground things to a halt. That doesn't happen anymore.

English
1
1
11
283
Doc
Doc@caballerobrah·
@SMT_Solvers @davidcox Sounds like a tough lift but valuable work: I think I’d take a look at adding some frama-c annotations on the codebase and see where you can get with it, go function-by-function. frama-c.com
English
1
0
0
33
Doc
Doc@caballerobrah·
SMT solvers really get those cores working. Time for a Threadripper methinks
English
3
1
15
822
Justin Torre
Justin Torre@justinstorre·
We are cooking some dope AI features at @mintlify, comment below or DM me if you want early access 🙏
English
4
1
25
1.1K
David Cox
David Cox@davidcox·
mintlify is about to get so much better Justin and Cole are the most effective cofounder pair I’ve ever met. top tier vibes.
Justin Torre@justinstorre

Hi friends! Big news today: Helicone is joining Mintlify 🚀 3 years ago, we started Helicone out of YC W23 with a simple bet: every hype-cycle has a massive observability market, and we felt like AI was going to be even more prevalent. We knew someone needed to build the platform to ingest and make sense of it all. So we did. Years of grinding and a handful of pivots later, we built something real that customers use every single day. I spent most of that time worried about tomorrow and never really stopped to look back. But looking back now: - 14T+ tokens processed - 30k+ sign ups - 36M+ users tracked - Trending on Github last year (5.2k stars) - $1M+ ARR - Product of the week on Product Hunt That still blows my mind. So why Mintlify? In a post-AGI world, a knowledge infrastructure layer is the thing that makes the most sense for companies to invest in. Waymo didn't reinvent the roads, but still needed to learn about them. Mintlify is the information layer for agents building the systems of the future. The overlap with what we were building at Helicone was obvious. Same world, different angle. More importantly, I actually like the team and the product. That sounds simple but after talking to a dozen companies, it's rarer than you'd think. @handotdev and @hahnbeelee are both incredible and formidable founders that Cole and I really admire. Things I learned building Helicone that I think are underrated - A 5-person team can do an absurd amount if everyone is locked in. Headcount is not a moat. - If you have data at scale and need analytics, just pick ClickHouse. Don't overthink it. - The grind is real, and it's fun. But REALLY try not to be stressed when you aren't grinding. That part took me way too long to learn. - It's never too late to pivot and try new things. - Charge more for your product. What's next I'm going to be leading an engineering team at Mintlify and I'm genuinely excited about what we're building. Keep an eye on my X, because I can't wait to be tweeting about it more. Thanks to @coleywoleyyy for being an incredible co-founder. Thanks to our team, our investors, our customers, and everyone who bet on us early. And thanks to my fiancee for putting up with the chaos of startup life. That part is deeply underappreciated. And lastly, thank you @mintlify for taking a bet on the Helicone team. We are so excited for the next phase. More to come. DMs are open.

English
1
0
24
1.5K