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
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…
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 Notion into their workplaces.
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!
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 + usefulness. landing page needs to look…
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 post
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
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 constraints of the world
I made a web microtonal keyboard a while ago which does support this! different format though https://www.microharmonic.com
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
super cool
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
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…
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
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…
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 Notion into their workplaces.
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!
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 + usefulness. landing page needs to look…
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 post
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
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 constraints of the world
I made a web microtonal keyboard a while ago which does support this! different format though https://www.microharmonic.com
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
super cool
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
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…