nv-vn

14 ms·

91.
by nv-vn 7y ago
One thing the author failed to consider when discussing F# was that F#'s community leans heavily towards compiler/programming language people. Historically, MLs have been extremely popular for writing compilers and a lot of the fo
92.
by nv-vn 7y ago
It's also due to them actually testing people and having accurate numbers. 1% lines up with the diamond princess numbers
93.
by nv-vn 7y ago
Re-read the comment. GP is not saying to make an interpreter for C++, they are saying that there should be no interpreter. If the language is compiled there's no need for one. C++ can obviously be insecure, but the scale of a JS interp
94.
by nv-vn 7y ago
There's a few legitimate issues with OCaml syntax that have been fixed by Reason at least. E.g. `match`/`if` not having an `end` means you need to use parens or `begin`/`end` to nest match and have ; inside of an `if` body. T
95.
by nv-vn 7y ago
Well there is a language spec [1], it's just designed by the same people who develop the compiler. While there's only 1 de facto implementation (same as Rust, Go, etc.) there's multiple backends and lots of research work happ
96.
by nv-vn 7y ago
Yep. This is an especially weird thing for some people to grasp when working with native libraries developed in Reason (like Revery, which most people assume is built on web tech).
97.
by nv-vn 7y ago
Agreed, the choice to use obuild was also bizarre. Dune has been standard for the last ~2 years and before that Oasis was the most popular build tool I believe.
98.
by nv-vn 7y ago
I don't see how you can say F#'s syntax is more like Reason. OCaml and F# have nearly identical syntax for the core language, with the few differences being: 1) places features diverged 2) modules 3) F#'s "light" sy
99.
by nv-vn 7y ago
OCaml, F#, ReasonML don't support that, I think it's unique to SML in the ML family.
100.
by nv-vn 7y ago
Really forward-thinking stuff, but then again that's why Microsoft succeeded. It seems like all of Gates' predictions were spot-on in this article.
101.
by nv-vn 7y ago
That kind of work is a whole lot less satisfying. Why would I want to deal with GitHub issues and fixing bugs when I could solve genuinely interesting problems?
102.
by nv-vn 7y ago
During my freshman or sophomore year my high school pushed this system really hard, making it mandatory to turn in your Cornell notes in many classes. The system was atrocious and nobody could stand it. I'm not sure if the reason was t
103.
by nv-vn 7y ago
In my experience most SWE teams just use the hangouts chat nowadays
104.
by nv-vn 7y ago
No, undervalued means the market valuation of the company is less than what it should be. I.e. Deutsche Bank believes that Google's profits summed up for the future (and discounted to account for inflation/risk) will exceed what p
105.
by nv-vn 7y ago
How is flavor the #1 reason for use? I don't get how they determined that.
106.
by nv-vn 7y ago
I'm glad to see that HN as a whole sees flaws in SO. I've avoided using SO as much as possible for years now and it seems like other people are coming to the same conclusions as I did. Between the "why would you want to do th
107.
by nv-vn 7y ago
Google search would not exist without AdSense
108.
by nv-vn 7y ago
>Stock options make up a big part of CEO pay packages, and the conservative measure values the options when granted, versus when cashed in, or “realized.” The "conservative" measure is the only correct way to measure here. Usin
109.
by nv-vn 7y ago
I think the key difference here is also competition. If Intel's foundry can't get 10nm right then Intel is SoL until that's resolved. Whereas AMD was able to ditch GF for TSMC as soon as it became clear that TSMC had the supe
110.
by nv-vn 7y ago
Funny how this article emphasizes their in-house manufacturing as part of Intel's success when it's very much what's holding them back these days.
111.
by nv-vn 7y ago
I actually made just that for OCaml: https://github.com/nv-vn/OCamlCSVProvider
112.
by nv-vn 7y ago
OOP is a part of it, but what I'm trying to get across is that knowing the type of a variable doesn't make the code substantially easier to comprehend. In small examples it might, but as code scales up abstractions are much more c
113.
by nv-vn 7y ago
What I mean is that there's a lot more custom types in real world code, and custom types aren't gonna be something you're already familiar with when reading new code. Complex inheritance chains come into this because it makes
114.
by nv-vn 7y ago
What I mean is that the code var a = f(x) var b = g(y, a) Isn't any different from: g(y, f(x)) A lot of real world code I encounter doesn't bother with temporary values for everything and giving them explicit types, which is essen
115.
by nv-vn 7y ago
As someone who doesn't do any kind of web dev it seems like this isn't designed for my use case. E.g. things like Android or iOS development didn't seem to be present, let alone more niche things like embedded, graphics, etc.
116.
by nv-vn 7y ago
You can't really discount the benefits of type inference if you're using the most basic form. Hindley-Milner style type inference feels 1000000x better and IMO doesn't hurt readability. What I find in real-life code is that t
117.
by nv-vn 7y ago
Yes. The fiction that sugar is somehow equivalent to hard drugs has continuously been pedaled without any basis in reality. Opioids have measurable and easily observable psychoactive effects and cause physical dependence. They limit one&#x2
118.
by nv-vn 7y ago
I do agree with you that access to cheap/convenient healthy foods is certainly lacking. This is definitely a problem I think we can and should tackle. I think giving people more choices is a great thing and I would happily support this
119.
by nv-vn 7y ago
There is at least some evidence that the root cause of sugar addiction is limiting sugar consumption [1], and this definitely reflects my childhood experience. Blindly taking a position of taking sugar away from children could actually caus
120.
by nv-vn 7y ago
How about we just let people choose what to do with their body? As a kid my parents didn't care too much about what I ate. I regularly had sweets of any kind as a kid. I certainly have no addiction to sugar because of that. I probably

More ›