HNHacker News
TopNewBestAskShowJobs

ketzo

7,998 karma · joined October 2, 2018

I like writing things as if I know what I'm talking about (I don't)
submissionscomments
ketzo··on Coding is not solved
I totally agree and think this is The New Skill of software engineering: can you steer agents well enough to get work done at the speed they will allow, while still keeping enough context/understanding to step in when it matters?
ketzo··on MiMo-v2.5-Pro-UltraSpeed: 1T model with 1000 tokens per second
not OP but usually for me this means long verification loop; waiting 10min on CI checks, that kind of thing, rather than actual 1hr wall clock of token generation
ketzo··on Anthropic expands partnership with Google and Broadcom for next-gen compute
$19B -> $30B annualized revenue in a month?

Feels like the lede is buried here!

ketzo··on Improving Composer through real-time RL
After seeing the last few releases for GPT and Claude, I’m not sure how anyone (else) is gonna build a durable advantage on proprietary model quality.

The capabilities of the top labs’ models have improved so much in just the last few releases, and I definitely foresee a world where they gate those models away behind 1st-party harnesses/tooling.

ketzo··on Thoughts on slowing the fuck down
I think the core idea here is a good one.

But in many agent-skeptical pieces, I keep seeing this specific sentiment that “agent-written code is not production-ready,” and that just feels… wrong!

It’s just completely insane to me to look at the output of Claude code or Codex with frontier models and say “no, nothing that comes out of this can go straight to prod — I need to review every line.”

Yes, there are still issues, and yes, keeping mental context of your codebase’s architecture is critical, but I’m sorry, it just feels borderline archaic to pretend we’re gonna live in a world where these agents have to have a human poring over every single line they commit.

ketzo··on Publish on your own site, syndicate elsewhere
if you're cool just writing markdown files, I really like Astro for self-hosting static content.
ketzo··on ManusAI Joins Meta
Meta has shown a willingness to offer 9-digit pay packages to individual researchers. Even if they completely scrap the product, an acquihire of even a handful of Manus' top engineers/scientists here is totally in line with that kind of cash.
ketzo··on Software engineers should be a little bit cynical
Yes, and some people are still happier there!

Different people can have wildly different expectations for a work environment, and wildly different tolerances of social discomfort.

ketzo··on Trevor Milton's Nikola case dropped by SEC following Trump pardon
But pressuring the SEC to drop the civil claims does!

https://www.nytimes.com/2025/09/19/us/politics/sec-trump-cle...

ketzo··on How we exploited CodeRabbit: From simple PR to RCE and write access on 1M repos
> While running the exploit, CodeRabbit would still review our pull request and post a comment on the GitHub PR saying that it detected a critical security risk, yet the application would happily execute our code because it wouldn’t understand that this was actually running on their production system.

What a bizarre world we're living in, where computers can talk about how they're being hacked while it's happening.

Also, this is pretty worrisome:

> Being quick to respond and remediate, as the CodeRabbit team was, is a critical part of addressing vulnerabilities in modern, fast-moving environments. Other vendors we contacted never responded at all, and their products are still vulnerable. [emphasis mine]

Props to the CodeRabbit team, and, uh, watch yourself out there otherwise!

ketzo··on Claude Code weekly rate limits
What does your Claude code usage look like if you’re getting limited in 30 minutes without running multiple instances? Massive codebase or something?
ketzo··on Major rule about cooking meat turns out to be wrong
That is indeed exactly what the article says — I’m not certain GP is right on this.

Kenji’s original tests seem to confound this as well: every 2.5min of slicing produces steadily less juice, despite the fact that the steak’s internal temp should be rising for some of that time.

ketzo··on Coding with LLMs in the summer of 2025 – an update
In what ways is that better for you than using eg Claude? Aren’t you then just “locked in” to having a cloud provider which offers those models cheaply?
ketzo··on XAI seeks up to $200B valuation in next fundraising
I mean — the person you’re describing is just a ChatGPT user and essentially nothing else, though, right?

It explains OpenAI’s valuation but no one else

ketzo··on Writing documentation for AI: best practices
A really effective prompt is created by developing an accurate “mental model” of the model, understanding what tools it does and doesn’t have access to, what gives it effective direction and what leads it astray

Otherwise known as empathy

ketzo··on Waymo's market share in San Francisco exceeds Lyft's
They’re probably comparing to taxis, where you can pay in cash.
ketzo··on Cursor goes rogue in YOLO mode, deletes itself and everything else
Completely unsourced and the site is run by a marketing/PR/growth consultancy.

Between that and the utter lack of detail, feels like not worthy of HN front page.

ketzo··on You can now legally walk with drinks on SF's Valencia St
“No enforcement” means people who don’t care about breaking rules will do it in brown bags

“Officially allowed and advertised” means businesses will specifically cater to people with money who will come specifically to do it

ketzo··on Chatbots are replacing Google's search, devastating traffic for some publishers
Then what explains people doing millions of web searches on perplexity/chatgpt/claude?
ketzo··on Launch HN: Chonkie (YC X25) – Open-Source Library for Advanced Chunking
I’m building out a side project where I need to ingest + chunk a lot of HTML — wrote my own(terrible) hunker naively thinking that would be easy :’)

Definitely gonna give this a try!

ketzo··on Gemini-2.5-pro-preview-06-05
People said much the same thing about Apple for decades, and they’re a $3T company; not a bad thing to have fans.

Plus, it’s a consumer product; it doesn’t matter if people are “presenting them as leaders”, it matters if hundreds of millions of totally average people will open their computers and use the product. OpenAI has that.

ketzo··on Gemini-2.5-pro-preview-06-05
People quite like aider! I’m not as much of a fan of the CLI workflow but it’s quite comparable, I think.
ketzo··on Gemini-2.5-pro-preview-06-05
OpenAI has already forecast $12B in revenue by the end of this year.

I agree that Google is well-positioned, but the mindshare/product advantage OpenAI has gives them a stupendous amount of leeway

ketzo··on My AI skeptic friends are all nuts
Have you tried Cursor or Zed? I find they’re both significantly better in their “agent” modes than Windsurf.
ketzo··on Conformance checking at MongoDB: Testing that our code matches our TLA+ specs
I think it’s just fairly rare that formal verification is valuable to a business.

Obviously all software benefits from correctness — but we all know that software certainly doesn’t need to be bug-free to make money!

And if the benefits of formal verification don’t outweigh the (non-trivial!) costs — and critically, outweigh them in a business-person-legibile way — then people won’t put up the time and effort.

ketzo··on The UI future is colourful and dimensional
I agree, and one issue for developers and designers alike is that often, it’s more fun to make a UI fun than it is to make it work really really well.

But that doesn’t mean we should lose sight of fun completely, which I think in many places we have!

ketzo··on The UI future is colourful and dimensional
While this article is a little fluffy and overstated, I do share the overarching sentiment — UIs for the vast majority of products should be at least a little fun.

“Delightful” UI/UX has become a cliché at this point, but it really does make me happy to see an element of craft and intention in the software I use, and stuff like these detailed little icons accomplishes that well!

ketzo··on Nvidia pushes further into cloud with GPU marketplace
Well, what are they gonna do about it?

Nvidia has the most desirable chips in the world, and their insane prices reflect that. Every hyperscaler is already massively incentivized to build their own chips, find some way to take Nvidia down a peg in the value chain.

Everyone in the world who can is already coming for Nvidia’s turf. No reason they can’t repay the favor.

And beyond just margin-taking, Nvidia’s true moat is the CUDA ecosystem. Given that, it’s hugely beneficial to them to make it as easy as possible for every developer in the world to build stuff on top of Nvidia chips — so they never even think about looking elsewhere.

ketzo··on Root for your friends
For a long time, I’ve been this person for other people, but don’t feel like I have anybody to do this for me. That’s okay — I don’t feel bitter about that or anything. And I don’t wanna overstate what a good friend I am or whatever, I just do this a decent amount. But some part of me does wish I had someone celebrating my wins.

This:

“No one comes to mind? Maybe you haven’t really trusted anyone with your wins yet.”

really, really hit me for some reason. I’m pretty averse to praise/congratulations — even if I feel it’s deserved! — so I don’t really share my wins with people. How can I expect to have people hype me up if I don’t let them in a little? It’s obvious when I write it all out but I kinda can’t believe how long I’ve been operating this way.

Anyway, great post!

ketzo··on Find Your People
I mean, at some point this is a way-too-abstract point with no real answer

But being in therapy and alienated from your life, but rich, is not comparable to being actually poor, to not being able to provide for the people you love, to not being able to meet your basic needs. I’m sorry, but it’s just not.

Let alone the fact that, trust me, lots of poorer people are alienated from their jobs/lifestyle too! They just can’t afford the therapy!

Page 1 of 34Next →