> Isn't this just the same as Dynamic Programming?
The two concepts are very related. I would say that corecursion is more low-level and more general. It's also true that DP is not really a computing term. DP is an optimization technique which, when performed using a computer, is often coded using corecursion.
See the comment by chriswarbo[1] for both an excellent explanation and some examples that I don't think we would call DP.
Very slick!
Does it automatically start OCRing every image, or does it wait for a user to try to select the image text?
Asking because I'm concerned about this decreasing performance.
It waits until you start selecting the image text, but the text detection starts when your cursor moves toward an image. It uses WebWorkers extensively, so on a multicore system, the performance shouldn't be hit. I haven't noticed an effect on battery life, but that's not out of the question.
it's probably safer to just remember to use mv instead, because there's a very high chance that you'll do the wrong thing on a terminal that doesn't have that alias available.
Of course it's not. Why is it reasonable to pay lawyers $600/hr but to pay a skilled computer engineer the same is interpreted as a joke? That's not a rhetorical question -- I'd really like to know the answer.
Actually, I suspect I know the answer in many cases, but I'm curious what other people think.
My understanding of how legal billing works is that you aren't actually buying one person's time for $600/hr, but you're buying a team of junior paralegals, legal secretaries, and young associates and one big-name attorney to supervise them. The big-name attorneys make a lot, but nowhere close to $600/hour; even if they're partners, a lot of money is going to the salaries of the paralegals, legal secretaries, and $160K/year associates under them.
Is your lawyer an in-house general counsel? Probably no. Do you require this person's services for ~40/hrs per week, every week for years on end? Probably no.
I would certainly pay an amazing engineer $600/hr if I could call on them at any time and get billed at increments of 6 minutes, but that would be an insane way to build software (I know lawyers who think its an insane way to do law, but it is the system).
You can't outsource lawyer from different country.
Maybe not trial lawyers or other positions where you need a warm body in the courtroom, but entry level lawyers are feeling the outsourcing squeeze as well.
