For free, mind you, this is not part of a paid offering on my part.

These are easy for the case of non-demand rates (IE the rate just changes at x hour to x price), and can be solved by HIGHS/et al in a second or two. You can actually prove there is at least one optimal solution that only changes inverter programming at a rate change point.

They are actually quite complex when the rate has a demand charge (IE you are charged not just for x price per kwh, but also some amount * max demand usage of any single hour in a month).

The max demand charge is usually 80% of the bill.

The complexity is because recharging the batteries (particularly without solar) is the same as any other load from a demand perspective. So they have to be trickled (or charged from solar), etc. On top of that, lots of inverters have a limited amount of TOU slots you can use (for example, sol-ark inverters only support 6 periods). Which constrains it painfully. Gurobi can solve it in about 30 seconds. HIGHS takes around 15 minutes to solve it for 2 years of hourly history data.

Remember, NEOS is both free, and pyomo already supports it natively without me changing anything - i can use both neos and local without any issue.

Why would i move to something with a different API that i have to pay for?

Often, the difference on "harder" problems is 10x or more.

I have problems that gurobi solves in 30 seconds that take 15 minutes or more for ~every non-commercial solver (or-tools, HIGHS, ipopt, etc).

But right now, this wouldn't even be interesting to me to use even if they actually were fronting commercial solvers, because they can't actually run it any faster and having this ".solve" API does nothing - pyomo already does that for me in practice.

Because it is a rooted tree, only DFS intervals are required to determine ancestry.

You can detect whether a new blocking loop is going to be formed through online dominator maintenance/online cycle detection, etc, during optimization, rather than use a heuristic, if you wanted to.

Not sure it's practically faster, but that's at least the graph-theoretic answer.

In practice, outside of the suggested heuristic, I have to imagine you'd normally throw branch and bound at this, using some lazy-cut for the blocking loops (IE you can keep any of these edges but not all of them) and let it go to town.

The paper (at least, this paper) doesn't compare that to what they did, and i'd be shocked if someone hasn't tried this before, so not sure it's useful.

I'll also say you can get existing AI models to tell you the above, but you have to push them a bit most of the time step by step. Just handing them the whole overall problem, as described, and saying "what are the graph theoretical problems related to this" it sort of gets lost.

Probably because the LLM isn't doing a good job of predicting graph-theoretic words when the language is not graph theoretic, but if you translate it into a graph theoretic language piece by piece, and ask it about that, the prediction becomes better :)

I have a rivian, and my wife has a car with carplay. I've had rivians for years now. I don't miss carplay when i drive my Rivian.

In truth, I used carplay for 3 main things - navigation that didn't suck, listening to music on the apps i wanted to, and reading text messages out loud.

Rivian has made those things not suck. So i don't miss carplay.

On my wife's car, those things suck, badly, without carplay.

I'm sure there are people out there who heavily depend on carplay for other things, and thus, it really does matter if they have carplay or not.

and maybe a day will come when the features carplay could provide me are as shitty on the Rivian as they are on my wife's car, and i'll start demanding it again.

But at least right now, that's not true, and so I think Rivian's choice is fine.

The vast majority of HN in the US is almost certainly within the top 1% of earners in the US (the cutoff is ~660k for households, ~450k for individuals), and the rest is probably within the top 10% (the cutoff is ~260k for households, ~150k for individuals). So overall it's a fairly privileged place, even if it likes to often pretend it's not.

In my life i've been both very poor and very rich. I'm now happy, and that matters a lot more than either.

I also happen to think it's fairly naive to believe that making lots of money makes it trivial to leave a place.

It's like believing having loved someone for 20 years makes it easier to get divorced.

Timing wise, I happened to leave after my old grants expired and before my new grants would be in my account. I was a VP of engineering when i left. Google pays VP's quite well.

If there's a reason you want more exact numbers, poke me over email.

Sometimes not.

I left with more than 4 million in RSU's left.

Pretty much any Googler who leaves will be leaving lots of money on the table.

This is because they are usually 3/4 year grants, so it's pretty much impossible to leave without lots of unvested RSU.

There are some 1 year grants, but those are much more uncommon (~1%)

At this point, airlines make most of their actual profit from credit cards.

I forget who said it, but "airlines are banks that happen to fly planes" is true, at least profit wise.

Permethrin is not well absorbed through skin anyway (0.5-1%). But easily absorbed by breathing it.

The first study is talking about constant occupational exposure. By people not wearing basic PPE, over the course of many many years. It's like taking a shower in permethrin every day for 30 minutes. You can pretty much substitute lots of every day things that get absorbed by skin for "permethrin" here and it would cause some very serious symptoms.

The second study used 34mg/kg of permethrin. That is an insane amount, and one that you could not even likely get without intentional ingestion of concentrated powder form.

If you weight 150lbs, that is 2300mg. So a huge horse sized pill of permethrin, every day, will cause issues.

Shocking.

2300mg a day of most substances will cause issues.

Hell, 2300mg a day of most things will cause serious issues faster than permethrin

2300mg of vitamin b3 would destroy your liver very quickly (weeks/months).

2300mg of vitamin b6 would cause permanent nerve damage very quickly (weeks/months)

etc

The reason we don't classify all pesticides as equally dangerous is because they are not all equally dangerous.

Lumping them all together and painting them with a single brush is as unhelpful here as it is when it is done in any other context.

Permethrin is just a synthetic version of pyrethrin, which is extracted from chrysanthemums.

It is probably one of the least harmful substances you will ever be around.

Lyme disease is easily a much greater threat to people than exposure to permethrin and derivatives while hiking.

The exposure to wood dust and other small particles from disturbing the wood chips is probably a greater threat than the permethrin.

It reminds me very heavily of being on woodworking forums as ever more mass automation happened, and the infinite arguments around whether using power tools/CNC/etc was still "real woodworking".

Lots of previously "hand-crafted" industries have dealt with mass automation. Software is not the first or the last. Hand-wringing by practitioners will change nothing, as it did not for any other industry. The vast majority of customers only care about the results, not the means. While there are some in the high end commission world who care about the art form, this is very rare and not sustainable for the majority.

History says folks would be better off learning how folks survived and adapted in those industries, rather than trying to argue about how worthless or crappy the change is.

Hobby wise, sure, whatever, but as a business what happens is very clear

https://fablepool.com/projects/76

In any case, it’s highly doubtful being different from ELF is offering real value to anyone at this point, it’s just nobody wants to spend time, money, etc to migrate when incremental change to their own formats gets most of what they want.

Though it is probably accurate to say apple probably has it the worst here. Mach-O tooling is almost certainly the least available out of ELF, COFF, and Mach-O.

DEET is a toluene derivative which is why it is super effective at melting plastics and doesn’t evaporate quickly

It was actually discovered by massive brute force chemical search for repellants

This is also straightforward enough and enough evidence exists that it would be hard to drag it out.

The overall point remains the same: the toxicity, both short and long term, of MMA, is comparable to lots of everyday substances that are both commonly eaten and inhaled.

It just isn't that toxic as far as chemicals go. That doesn't mean it would be like great for you but calling it "highly toxic" is tremendously overblown and doesnt serve anyone well to claim.

Let's save the highly toxic claim for things that actually deserve it. We don't have to sensationalize everything. I maintain my view that the explosion would likely be much much worse than the odds of significant respiratory damage from MMA.

Also note the sensationalization also causes placebo effect. People miles away started claiming "their lungs hurt" when

1. There was no leak

2. Even if their was and it was a conspiracy or whatever, your lungs have ~no pain receptors and your chest/pleura/etc would generally not hurt from MMA overexposure. Your throat would and your skin would, depending on concentration. But nobody complained about skin irritation when the is basically no way to end up with one without the other.

Etc.

Sensationalization of this hurt people so far more than the actual issue!

Additionally it is almost certainly not in vapor form at 100 degrees. In sunlight it will also polymerize to a solid pretty quickly.

As such you'd practically have to drink it inside to hit the ld50.

The explosion would be much worse than a release of liquid or vapor based MMA during the day, and here it almost certainly solidified at this point