HNHacker News
TopNewBestAskShowJobs

dcre

4,973 karma · joined January 3, 2013

https://crespo.business/
submissionscomments
dcre··on I vibed a proof of Conway's conjecture
$200 a month is what people pay for morning coffee in the Bay Area.
dcre··on I vibed a proof of Conway's conjecture
What is stopping anyone from finding the value they would have found before?
dcre··on How An AI math breakthrough ignited a controversy
Worth noting they claim they did not choose the line of attack. Of course we don’t know whether that is true.
dcre··on The revolt of the reader
“Not every one of those 11,970 carries the same weight, and the paper is careful about that rather than rounding it up.”

AAUGH IT BURNS

dcre··on The creator of Jujutsu has joined ERSC
Here's the post that made it click for me. It works through a practical example in both git and jj.

https://lottia.net/notes/0013-git-jujutsu-miniature.html

dcre··on The creator of Jujutsu has joined ERSC
I also used to use a GUI (https://gitup.co/) for that reason, and jj has completely replaced it for me.
dcre··on The creator of Jujutsu has joined ERSC
It's great to use what you prefer, but I don't think most people would see that and think "ooh, convenient!"
dcre··on How accurate have Ed Zitron's AI skeptic predictions been?
The CNBC report I linked, which appears to be the primary source, mentions growth in the second paragraph. It is the main characterization of what Friar said.

“In an internal meeting with employees on Wednesday, finance chief Sarah Friar and board chair Bret Taylor touted OpenAI’s revenue growth and addressed competition with Anthropic, CNBC has learned.”

dcre··on The creator of Jujutsu has joined ERSC
A few advantages for me, even for the same 5 commands I use over and over:

- undo

- shuffling commits around with squash, split, and rebase is much better than git’s interactive rebase

- make commits without having to come up with a branch name (I might make three versions of the same change in parallel to see how they compare)

I see git is working on adding some of this under the history command. The revset language is really not esoteric: @ is head, @—- is two behind head. That’s about it.

Part of it is that the sorts of shuffling I used to avoid because they were a pain in git (so I didn’t feel I needed them improved) are so easy in jj that I do them all the time.

dcre··on How accurate have Ed Zitron's AI skeptic predictions been?
Completely agree there.
dcre··on How accurate have Ed Zitron's AI skeptic predictions been?
But you are using the misquote to do the thing Zitron does that you hate! I don't get it!
dcre··on How accurate have Ed Zitron's AI skeptic predictions been?
She, and we do not have the direct quote. It's a paraphrase, and the report can't seem to decide whether they're talking about revenue or growth. If she was talking about growth, "the ARR growth in July exceeded the ARR growth of Q2" is perfectly coherent.

https://www.cnbc.com/2026/07/29/openai-cfo-sarah-friar-tells...

OP is way overinterpreting something we don't even have verbatim in a way that unfortunately resembles what they're rightly accusing Zitron of.

dcre··on How accurate have Ed Zitron's AI skeptic predictions been?
You're broadly right but I think you're dead wrong about the CFO statement — I think "July revenue alone exceeded all of Q2" is an extremely normal thing to say when revenue is going up at an insane rate. For example, if it was not true that June revenue exceeded March-May revenue, the point would be to show how their revenue growth has accelerated.
dcre··on How accurate have Ed Zitron's AI skeptic predictions been?
No, you can't. The numbers are genuinely confusing, and Zitron actively works to make them more confusing rather than explaining what they mean because he needs them to sound as bad as possible. He also buries the numbers in thousands of words of prose!
dcre··on How accurate have Ed Zitron's AI skeptic predictions been?
Yes, and his post about the exact same data was noticeably more confusing and less illuminating than theirs because he was primarily concerned to point to whatever the biggest number was and go "Ooh, big number!"

https://www.wheresyoured.at/exclusive-openai-financials/

https://www.ft.com/content/e15b0d7e-ff6b-4f16-ba7a-4068feddb... (https://archive.ph/pAIEa)

dcre··on How accurate have Ed Zitron's AI skeptic predictions been?
Macrofinance expert Nathan Tankus has an excellent post on why the financing situation around the AI boom is just not big enough to mess up the financial system.

https://www.crisesnotes.com/sigh-no-ed-zitron-ai-bond-issuan...

dcre··on DeepSeek-v4-flash-vision-exp
Generating alt text for images in social media posts.
dcre··on Feature Request: Support AGENTS.md
No.
dcre··on GPT-5.6 Sol Pricing Cut by 50% on OpenRouter
Their quarterly revenue looks exactly the same. It's literally the same data. Annualized revenue can be gamed when it is fluctuating. It can't really be gamed when it is growing exponentially for three years straight. There's nothing to cherry-pick.

https://www.cnbc.com/2026/08/15/anthropic-revenue-jumps-to-o...

dcre··on GPT-5.6 Sol Pricing Cut by 50% on OpenRouter
It's hard for me to imagine how you could define "killer product" to exclude something that takes you from $9B to $65B ARR in 8 months.

https://epoch.ai/data/ai-companies?view=graph&tab=revenue

dcre··on On AI regulation and messaging
I have seen people suggest we will figure out how to prevent all infectious disease.
dcre··on Kubernetes on Oxide: How customer needs shaped our integrations
Because it’s a web site.
dcre··on AI assistant hacks gym website in first known Australian autonomous cyber attack
This example disproves your point. And LLMs do not just do what we tell them to do. They are perfectly capable of asking “are you sure? this has X, Y, Z consequences you may not like.” They do it all the time.
dcre··on The AI Apocalypse Is Here
Didn’t read the whole thing, but it starts out a lot better than I expected. Most critics are in denial about the state and trajectory of the technology. This critic is not, he just thinks it’s bad.
dcre··on Taste Is All That's Left
Ha! I have a heterodox view on the taste thing, which is that it’s mostly cope: the models apply something like taste in nearly everything they do, and these taste posts will disappear as that becomes more obvious. However, besides the substantive disagreement, I think your post is fine since it appears to be your actual point of view, written down by hand. It’s not particularly novel or insightful (most of these takes are basically “there are still some things the models can’t do” — no shit!) but it’s measured and reasonable. Fine.
dcre··on Taste Is All That's Left
No! It’s garbage!
dcre··on Taste Is All That's Left
Heh whoops. I thought my other comment didn’t post so I wrote this one instead.
dcre··on Taste Is All That's Left
This post is awful! Annoyingly written and zero insight. Most posts about this taste concept are bad (and there have been so many), but this is below average.
dcre··on Taste Is All That's Left
This post sucks, and it was also written by Claude.
dcre··on If coding has been solved, why does software keep getting worse?
I feel like we need a name for this error. Pretraining fallacy? Coding ability is all about RL.
Page 1 of 34Next →