Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
kevinqi
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
kevinqi
1mo ago
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-used as possible so that you can focus on making auto mod
2.
▲
by
kevinqi
2mo ago
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?
3.
▲
by
kevinqi
2mo ago
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 technological/societal areas. at the same time, I
4.
▲
by
kevinqi
2mo ago
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 OpenAI/Anthropic. If you can only play catchup (ho
5.
▲
by
kevinqi
4mo ago
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 got
6.
▲
by
kevinqi
4mo ago
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 improve the use of renewables and grid-scale batteries to de
7.
▲
by
kevinqi
5mo ago
yeah not redeploying on credential changes seems like a design flaw. Render redeploys on env var changes, for instance.
8.
▲
by
kevinqi
5mo ago
it is disappointing, but is it shocking that people most driven by gaining money/power are the ones the most successful at achieving it?
9.
▲
by
kevinqi
6mo ago
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 Notion into their workplaces.
10.
▲
by
kevinqi
6mo ago
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 sense!
11.
▲
by
kevinqi
7mo ago
seems nice. I imagine the strategy here is going for expanding user base so Apple can sell more software services?
12.
▲
by
kevinqi
7mo ago
just one q: have you been to china before?
13.
▲
by
kevinqi
10mo ago
I think there are profitability requirements, right?
14.
▲
by
kevinqi
10mo ago
+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 + usefulness. landing page needs to look good and c
15.
▲
by
kevinqi
10mo ago
probably the "slapping steamOS" part of that
16.
▲
by
kevinqi
11mo ago
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 post
17.
▲
by
kevinqi
1y ago
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/prod discrepancy
18.
▲
by
kevinqi
1y ago
really? it's pretty but I find it unreadable/unusable
19.
▲
by
kevinqi
1y ago
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.
20.
▲
by
kevinqi
1y ago
interesting, I didn't know that corollary. sounds about right though.
21.
▲
by
kevinqi
1y ago
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
22.
▲
by
kevinqi
1y ago
very cool. btw, I also love that "sorry" is the "any" equivalent in Lean
23.
▲
by
kevinqi
1y ago
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?
24.
▲
by
kevinqi
1y ago
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 constraints of the world
25.
▲
by
kevinqi
1y ago
I made a web microtonal keyboard a while ago which does support this! different format though https://www.microharmonic.com
26.
▲
by
kevinqi
1y ago
yeah, the benchmarks are just a proxy. o3 was a step change where I started to really be able to build stuff I couldn't before
27.
▲
by
kevinqi
1y ago
super cool
28.
▲
by
kevinqi
1y ago
just based on how long it takes to produce these images, and how much text responses cost, I wouldn't be surprised at all if it was close to cost
29.
▲
by
kevinqi
1y ago
Gridmatic | Senior fullstack software engineer, Senior backend software engineer (ML infra) | Full-time | Hybrid (Cupertino, CA) Gridmatic uses ML and weather data to forecast energy prices in the US, which can get really volatile as extrem
30.
▲
by
kevinqi
2y ago
I don't disagree, but since the quality of AI is largely a function of the quality of human content, there's always going to be value in well-written human content. If humans stop producing content, I think the value of AI/LL
More ›