David Cox

spent 3 hours on the application + 10 min interview. yc is life changing and doesn't end after the batch

psyched to be part of this. LFG!

@KagiHQ kinda feels like @duolingo should weigh in

Kagi Translate's support for LinkedIn Speak got some coverage in Japanese, check out the translated version here: translate.kagi.com/https://gigazi…

that’s why we built arrow.fast

rip CUDA

if you’re not in this room you’re NGMI!

@MeanSamGreene it’s not faster if everyone else is also faster…

@davidcox Or just do your job, but faster

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.

@caballerobrah @SMT_Solvers I've never used SPARK/Ada but I built a SQL parser and query optimizer in Agda and ended up writing a lot of proofs along the way. frama-c looks cool. have you seen clang's experimental bounds safety flag? clang.llvm.org/docs/BoundsSaf…

@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

SMT solvers really get those cores working. Time for a Threadripper methinks

@justinstorre @mintlify 👀👀

We are cooking some dope AI features at @mintlify, comment below or DM me if you want early access 🙏

if you’re not using helix db you’re ngmi

mintlify is about to get so much better Justin and Cole are the most effective cofounder pair I’ve ever met. top tier vibes.

@justinstorre @hahnbeelee Congrats Justin!!

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.

We’re working with @cerebras and @argonne_lcf to formally benchmark ARROW. Results will be out as soon as I return from helping with the birth of my first daughter. We’re psyched to be part of the @vercel AI accelerator and can’t wait to show off ARROW! arrow.fast

Let’s goooo! We’re building ARROW, the world’s first wafer-scale solver for mixed integer programming

same if you’re ever in San Diego re: solver, it’s taken a bit longer than planned but we’re close to having benchmarks done using the ALCF CS-3 arrow.fast I wanted to benchmark this week but our first child was born earlier than expected! There’s a Cerebras <> Integrated Reasoning slack channel with more info, I’ll add you

@davidcox Amazing!! Let me know if you’re ever in Toronto. But wait. How, where? 👇

Little joys in life: Branch-and-price-and-coffee

@RossComputerGuy how long until this beauty runs nixos?

New car, 2026 Toyota Camry XSE

@puttasync mixed reviews tbh. it’s definitely amazing to use and helps with eye strain. coding without color syntax highlighting gives me brain strain tho so i also use a normal monitor otherwise id crash out. it’s a me problem, the displays are flawless

@davidcox thats a crazy setup LOL

get urself an e-reader