David Cox
@davidcox
Followers
469
Following
3K
Media
69
Statuses
374
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
Joined December 2022
if you’re using nix but not flakes please explain. genuinely curious why.
@oeiuwq @DeterminateSys My data shows that basically *all* new user growth with Nix is with users choosing flakes. That flakes alone are responsible for making Nix much more approachable and understandable. [...]
0
1
4
nix obviously
Programmers of which language exhibit the most signs of being in a cult?
0
2
16
we’re building the world’s fastest linear programming solver using this beautiful behemoth. shipping this month!
0
1
7
I’ve generated 50k+ lines of Cubical Agda with Claude Code and am skeptical of products like this as a result. LLMs cheat when they get stuck and even if you ban unsafe features like postulates they still find ways, some of which are not machine checkable. Proofs that are
Axiom sets out to build an AI mathematician. We are the underdog. 4 months old, 2 years late to the game, under 10 FTEs (recently grew to 17), and had 1:5 in funding and in valuation to our competitor. Today, AxiomProver solved Erdos Problems #124 and #481 in Lean, a 100%
0
0
1
no “black friday deal”here: short ~$150k (12.5k shares) max gain $150k loss unlimited +20% rally = $30k loss buyout at $30 = $225k loss huge path risk! bro is cooked. should have bought: jun ‘26 12.50 puts ~$1.98 $150k = ~750 contracts max gain ~$790k (PD→0) max loss $150k
This morning I put $150,000 of our personal savings into a short position on PagerDuty. Since their latest earnings, the stock has been in free fall — down more than 25% this month and over 75% from 2021 highs. It’s the most obvious “Black Friday deal” in the market right now.
0
0
0
DataFjord DataEstuary DataAlluvialFan DataLoogie DataIcedLatte
DataOcean DataLake DataRiver DataPond DataPuddle
0
0
1
who else is weaponized about nix and attending re:invent? @RossComputerGuy @grhmc
1
0
1
so amped about these!
0
0
1
get more sleep @aidenybai
@aidenybai You’re probably missing out on deep sleep. According to my @eightsleep (YC deal) if I go to bed any later than about 12:30 it cuts into my deep sleep almost 1:1. Going to bed “on time” is more important than hours asleep IMO. Try 11pm sharp - 7am for a week
2
0
12
i think about this all the time
If only there was a package manager which worked on linux and darwin, and didn't affect the host system. Not to mention it's the largest repository in the world
2
2
15
Nix is about to get so much better. Tristan is truly gifted and is going to absolutely cook at Det Sys. If you’re not using Nix, you will be soon.
I recently joined @DeterminateSys, glad to be back in a tech job after almost 3 years.
2
10
74
We never intentionally degrade meme quality as a result of demand or other factors.
@NathanFlurry @coleywoleyyy nathan is quantized to 1.58 bits 9-5 m-f
0
1
7
“how does a company worth TENS OF BILLIONS of dollars not notice a bug for 3 weeks? explain that. it doesn't add up.” happens all the time. if I had a dollar for every bug report I’ve seen incorrectly closed as “not enough evidence, cannot reproduce” i’d have like $500.
@claudeai not good enough. for 3 weeks customers have been complaining about performance issues with claude code and you only just noticed? it's funny how these bugs seem to coincide with the august 28 usage limits, huh? and when you did finally acknowledge there was a "bug" you don't
1
0
4
I’m seeing tons of posts about it and have also experienced the “quality issues”. Their use of the phrase “found and fixed” implies that the quantization isn’t (wasn’t?) deliberate. Should we believe them? 🤔
Kind of crazy that Claude models have had crazy quality issues nonstop for like 3 weeks now and...nobody's talking about it?
0
0
1