Viewing profile — kvb

I think it is pretty hard to compute the cost, because what's the counterfactual? Even if you don't force a shutdown people may still opt to isolate themselves and businesses may o…

So if you know of 10 different events which may occur with probability 10% each, you would prepare for exactly one of them? I think it's clear that there are some events that may b…

But we can all aspire to be a >1 developer, even if we're not one currently. I don't necessarily think that contentment with being below average is universally bad (maybe it's perf…

Yes, there has been some study of this phenomenon: https://en.wikipedia.org/wiki/Countersignaling

But writing code is only a small part of a software engineer's job (at least that's true everywhere I've worked), so selecting people who have opted to dedicate their lives to only…

https://en.wikipedia.org/wiki/Tyrosemiophilia

See also pure type systems https://en.wikipedia.org/wiki/Pure_type_system

word2vec[0]: computer programmer - man + woman --------------------- = homemaker Basilica? [0] - https://arxiv.org/pdf/1607.06520.pdf

I would certainly dispute that programming time is necessarily slowed down. Ironically, I find myself thinking much harder about types in a dynamic language, precisely because ther…

I think most do... Can you point to some that don't?

While it may be true that 50% of papers are wrong in some fields, the papers that are wrong are probably not the most highly publicized ones or the ones in the most prestigious jou…

I've more often heard "inherent complexity" called "essential complexity".

Vesa Karvonen posted a complete solution in SML here[1] (but LtU seems to be down so the link doesn't work), which I transliterated (directly, not idiomatically) to F# here[2]. [1]…

No, see Brownback's Kansas tax cuts for just one recent example showing that (at least in our current tax regime) lowering rates brings in less revenue.

These are linear types by analogy to linear logic[0], so the terminology dates to the 80's at the latest. In contrast to your accusation, I think FP folks rarely make up terminolog…

Note that for comparable performance, you probably need not only the network topology but also the training data...

Non-polymorphic functions of the type `a->a` trivially satisfy it, of course. Also, I think polymorphic functions are the most interesting case where you can't use twice as desired…

Though note that an even better type would probably be twice : forall a,b,c. ((a->b)&(b->c)) -> a -> c (e.g. in MLSub, the type for twice (fun x -> x::[]) 1 is the unsatisfying (re…

What does that have to do with this topic?

In a toy economy that's definitely true, but the empirical results are mixed in the real world, where there are lots of complicated dynamics.

I like the way Scott Alexander frames the effect size. This is from the conclusion the blog post you link: An important point I want to start the conclusion section with: no matter…

Could you provide a rough cost-benefit analysis?

What's the link to the FDA?

Isn't your theory regarding roads directly contradicted by the history of the Interstate Highway System?