imh

43 ms·

391.
by imh 10y ago
As a small example, let's say I have a typed "agg" function with associated typeclass: class typedAgg t where agg :: t f r a b -> (r a -> b) -> f (r a) -> f b ... To lots of people, that&#x27
392.
by imh 10y ago
Looking through the really abstract scala code they linked brings up a problem that really frustrates me in haskell. Why doesn't anybody document their really abstract code? You know it's going to be confusing, so why not help o
393.
by imh 10y ago
I don't think this is a form of trolley problem. If the decision were going to be made unilaterally that either everyone or no one would use net-positive self-driving cars, then it would be a trolley problem. Actually, this decision is
394.
by imh 10y ago
There have been more than just the one fatality. I know of at least one other, but who knows if that's the extent. And there have probably been plenty of crashes and injuries.
395.
by imh 10y ago
I know they can deal with the risks, but what about the "informed" part? My pet peeve with Tesla's marketing dept is that there are tons of Tesla drivers who seem to think the autopilot is more capable than it is: https:&#x2
396.
by imh 10y ago
My great worry with self-driving cars is that they shouldn't be right around the corner, but they might be anyways. Marketing departments might move faster than engineering, smooth-talking the buyers into taking uninformed risks in ord
397.
by imh 10y ago
I hate this rhetoric about "saving even one life." It's closer to "saving five lives but killing four people who otherwise would have lived." Some people say that's the same thing. I disagree.
398.
by imh 10y ago
I think it's pattern matching and intuition. If I see y = k/x, I can immediately process what that looks like. Further, I can take advantage of tons of conventions that make it read differently from a = b/c or even y = z&#x2F
399.
by imh 10y ago
I would put it at number 1, to be completely honest. My life goal isn't to optimize widgets, it's to be happy. That's number 1. Widgets happen to further that goal. If I'm responsible for other people's livelihoods,
400.
by imh 10y ago
In A/B testing, either A or B is the control.
401.
by imh 10y ago
You are advocating for something called sequential testing. I'm not going to go into the details, but you don't use the same metrics with sequential testing if you want to control your final error rates. That is, you can't lo
402.
by imh 10y ago
If you decide to stop when a test says the error rate (FPR) is 5%, your error rate will be higher than 5%. If you don't want to call that a failure mode, it's at least a misuse of the metric.
403.
by imh 10y ago
I think that's an accurate take on how things currently are, but disagree that it doesn't scale up. The company I'm at now does a great job, and there are 5 tiers between me and the CEO. I think certain priorities scale prett
404.
by imh 10y ago
I'm sad not to see an emphasis on giving a shit about the lives of those people you're leading. Personal development, career development, family, fun, etc. These are all hugely important to people outside of whatever widgets they
405.
by imh 10y ago
Suppose you have some business logic that subtracts the cost of a transaction from an account balance and returns a new account balance. These things are probably integers, but in many languages you don't have to specify that. You writ
406.
by imh 10y ago
Those are three totally different things. The kinds of stock/options and decision making power for an employee, a founder, and an investor are completely different.
407.
by imh 10y ago
Yeah. When referring to non-physical things, 'patch up' is basically interchangeable with 'mend.' Patching up a relationship is a common usage that comes to mind.
408.
by imh 10y ago
Haven't they been devastated by Uber and Lyft?
409.
by imh 10y ago
The prices will go up and then, at least in the bay area, some time will pass, then some other ride share company with a slightly different take on things will start with their own VC subsidized business model. We'll all switch to it,
410.
by imh 10y ago
I'd imagine that in a pay-per-whatever, traditional news orgs aren't going to beat clickbait trash orgs. They talked about trying to help the news orgs subscription funnel, which seems a better solution.
411.
by imh 10y ago
I don't do much serious JS. What's the problem there?
412.
by imh 10y ago
I get that it might be hard/impossible to uniquely define a single correct 3D subspace of the full 4D spacetime we're in as simultaneous to a given point in a given frame, but surely simultaneity is a 3D notion, right? This 3D s
413.
by imh 10y ago
But in a classic Minkowski diagram like this one ( https://en.wikipedia.org/wiki/File:Minkowski_lightcone_loren... ), don't you define the horizontal line (or at least a single line) as simultaneous in a given frame
414.
by imh 10y ago
And because we're talking about media literacy and trust, here's the source and context for that quote: http://www.nytimes.com/2016/05/08/magazine/the-aspiring-nove... Another great quote in th
415.
by imh 10y ago
Practice and persistence. It's as simple as that. You won't learn much unless you make time for it. Don't focus too much on learning perfectly the right way, just get started and keep at it.
416.
by imh 10y ago
> Q: Is the most likely application of this result in cryptography? > A: Yes, this should be true. > Q: Are you interested in cryptography? > A: Not so much. Pure mathematicians are awesome.
417.
by imh 10y ago
It's a bit beyond me too, but here's my take from skimming: It's already known that you can do differential calculus in some pretty abstract spaces (not just functions from R^n to R^m). Automatic differentiation is a way of a
418.
by imh 10y ago
I'm sick of people who know nothing about statistics, machine learning, or AI writing about the future of statistics, machine learning, and AI. He talks about the kinds of errors people make and compares it to a database lookup of an a
419.
by imh 10y ago
On the other hand, it's rare enough to find good fits for those roles, the scenario you described is unlikely.
420.
by imh 10y ago
You're talking about the people and he's talking about the industry. There's a difference between Microsoft and Bill Gates.

More ›