kvb

6 ms·

1.
by kvb 6y ago
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 opt to close, and the degree to which they do so
2.
by kvb 6y ago
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 be rare but which are cheaper to plan ahead for than to
3.
by kvb 7y ago
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 perfectly rational given one's prefere
4.
by kvb 7y ago
Yes, there has been some study of this phenomenon: https://en.wikipedia.org/wiki/Countersignaling
5.
by kvb 7y ago
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 that portion might be a worse idea than hiri
6.
by kvb 7y ago
https://en.wikipedia.org/wiki/Tyrosemiophilia
7.
by kvb 8y ago
See also pure type systems https://en.wikipedia.org/wiki/Pure_type_system
8.
by kvb 8y ago
word2vec[0]: computer programmer - man + woman --------------------- = homemaker Basilica? [0] - https://arxiv.org/pdf/1607.06520.pdf
9.
by kvb 9y ago
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 there's no compiler there to do the rote work for me. Lat
10.
by kvb 9y ago
I think most do... Can you point to some that don't?
11.
by kvb 9y ago
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 journals (and when those papers are wrong the incentive to publ
12.
by kvb 9y ago
I've more often heard "inherent complexity" called "essential complexity".
13.
by kvb 9y ago
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] http://lambda-the-ultimate.org/node&#x
14.
by kvb 10y ago
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.
15.
by kvb 10y ago
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 terminology, usually preferring to borrow liberally from neighbo
16.
by kvb 10y ago
Note that for comparable performance, you probably need not only the network topology but also the training data...
17.
by kvb 10y ago
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 in an ML-like language, so it's too bad that
18.
by kvb 10y ago
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 (rec a = (a list | i
19.
by kvb 10y ago
What does that have to do with this topic?
20.
by kvb 10y ago
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.
21.
by kvb 10y ago
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 what else you believe, antidepressants are not li
22.
by kvb 10y ago
Could you provide a rough cost-benefit analysis?
23.
by kvb 10y ago
What's the link to the FDA?
24.
by kvb 10y ago
Isn't your theory regarding roads directly contradicted by the history of the Interstate Highway System?
25.
by kvb 10y ago
It's a term of art. From Wikipedia[1]: "In economics, an inferior good is a good that decreases in demand when consumer income rises (or rises in demand when consumer income decreases), unlike normal goods, for which the opposite
26.
by kvb 11y ago
Ensembles of humans can outperform the average human, and in the same way an algorithm trained on data labeled by an ensemble of humans can outperform the average human.
27.
by kvb 11y ago
Your particular example doesn't seem especially object oriented (e.g. it looks like a simple data type with a "smart constructor", which is a common pattern in, say, Haskell, too). But in any case F# supports both discrimina
28.
by kvb 11y ago
But someone else could create a subclass breaking the invariants. It's possible to avoid this by making the abstract class's constructor private and nesting the two subclasses inside of the abstract class, but this is not idiomat
29.
by kvb 11y ago
How does this compare to miTLS[1]? [1] - http://www.mitls.org/wsgi/home
30.
by kvb 11y ago
Idiomatic F# code also uses Option types. However, all .NET reference types have null as a possible value. While most F# types don't have null as a "normal" value, there's nothing to prevent null instances of these typ

More ›