Viewing profile — kevinqi

it's a good default because you really do get prompted incessantly without it. and since plenty of people are going to be using auto mode anyway, might as well make it as widely-us…

does anyone have a data-backed reason as to why US market share has capped out around 10%? is it economics + lack of access to chinese EVs? range anxiety?

my assertion isn't that china isn't able to surpass western AI. I think it may well happen. I've been to china many times and am well aware of how ahead they are in many technologi…

I agree distillation isn't illegal; I also think Moonshot/Kimi is very impressive. But the more interesting question is whether labs like Moonshot can be a real competitor to OpenA…

don't think it's a societal problem; it's just a direct result of capitalism. and while capitalism causes all sorts of huge problems, it might also be the best of the options we've…

Gridmatic | Product engineer + data engineer | 175-235k + equity | Cupertino, CA (hybrid) Hi HN! We’re an energy + AI startup that applies modern deep learning and optimization to …

yeah not redeploying on credential changes seems like a design flaw. Render redeploys on env var changes, for instance.

it is disappointing, but is it shocking that people most driven by gaining money/power are the ones the most successful at achieving it?

I don't know if it's guaranteed to work, but the strategy is real. I know Notion won vs. competitors in the space because they focused on consumer first, and consumers then brought…

I think Prisma does type-safe ORM really well on the typescript side, and was sad it doesn't seem to be super supported in python. This feels sort of similar and makes a lot of sen…

seems nice. I imagine the strategy here is going for expanding user base so Apple can sell more software services?

just one q: have you been to china before?

I think there are profitability requirements, right?

+1, very polite way of saying it. of course there's a difference between the two posts. open source is interesting but not enough with a financial app, since it's all about trust +…

probably the "slapping steamOS" part of that

my only minor critique is using lorem ipsum examples. It tends to make me want to gloss over instead of reading; I prefer seeing realistic data. other than that, it's a really cool…

right, it is just syntactic sugar, but if that wasn't helpful then why have it in dev either? I find it more confusing to have asserts be stripped, which creates an implicit dev/pr…

really? it's pretty but I find it unreadable/unusable

I didn't think much of it until I canceled Cursor to try out copilot, which is slower and yet also worse quality. I reluctantly resubscribed to Cursor.

interesting, I didn't know that corollary. sounds about right though.

duplicate code is not that bad. reduce duplication over time as you find the common patterns/abstractions, instead of trying to build abstractions too early

very cool. btw, I also love that "sorry" is the "any" equivalent in Lean

as someone who hasn't seen Lean before but was curious from alphaproof, love the intro! curious if you can mention what you're working on in Lean?

I mean, why do systems go down at all? a lot of big outages are simple misconfiguration or cascading failure from what seemed like small changes. It's rarely due to the physical co…

I made a web microtonal keyboard a while ago which does support this! different format though https://www.microharmonic.com