nv-vn

43 ms·

391.
by nv-vn 9y ago
Reddit is even worse with their sticky footer that takes up 50% of the screen. It tells you to install their official app (which is by far the worst Reddit app I've found on Android) to continue. However the footer shows a big orange &
392.
by nv-vn 9y ago
Here's an archive from the Wayback Machine (with images): https://web.archive.org/web/20170413043022/http://thyrd.org/...
393.
by nv-vn 9y ago
Haha same here, I've been considering writing Nix expressions for window manager configurations for quite some time now, but some config files are so complex that it would take ages.
394.
by nv-vn 9y ago
I don't think anyone ever expected it to become a success, let alone a language used on everything from text editors to terminal emulators to embedded devices.
395.
by nv-vn 9y ago
At the very least Lyft seems like an option
396.
by nv-vn 9y ago
Wish the article would explain the context of her finding it. Why was she looking through neighbors trash? Who were the neighbors who happened to have all of this to throw away?
397.
by nv-vn 9y ago
Agda is primarily a theorem prover, Idris doesn't try to compete with that. They're rather similar in a lot of ways, but Idris targets more general purpose programming. F* is more similar in its goals, but it kind of has its own p
398.
by nv-vn 9y ago
Idris is a really great language and I recommend that anyone struggling with Haskell give it a try. As an OCaml programmer struggling to adjust to Haskellisms, I (ironically) ended up learning Idris before Haskell. Some of the features -- s
399.
by nv-vn 9y ago
Yes. They're amazing for theorem proving (see Agda, Idris). They're also useful for refinement types, proving type class laws like for monads, etc.
400.
by nv-vn 9y ago
It's not that they wouldn't be able to. It's that proving it was them is damn near impossible. The claim that it's DEFINITELY THEM is just so hard to put any real substance behind that it just appears to be fictitious. T
401.
by nv-vn 9y ago
Wow that sounds eerily familiar. I remember I was standing up and was sort of okay, and then all of a sudden I just became completely unaware of my surroundings and had to think about where I was. After that it really started to kick in and
402.
by nv-vn 9y ago
Yeah, my comment might have tried to make the situation sound a bit more absolute than what I actually mean. I do believe that there likely was some effect, but there was no major effect that made autism some net-beneficial improvement (or
403.
by nv-vn 9y ago
Probably none? A gene doesn't have to be beneficial to stay in the gene pool. A lot of this seems like a stretch. This isn't in any way meant to say that autistic people aren't useful members of society, but claiming that aut
404.
by nv-vn 9y ago
If I understand it correctly, it should work in OCaml too with polymorphic variants.
405.
by nv-vn 9y ago
I think the GP means the OP's father survived long enough for OP to be born, so from OP's perspective it looks like his father had good genetics. The selection bias is that none of the children of those who died early would exist,
406.
by nv-vn 9y ago
Then again, the argument is not against the wide use of the language, but the way the ideas are manifested. For all we know, Dijkstra might have hated Python.
407.
by nv-vn 9y ago
Essentials of Programming Languages doesn't cover all of this, but it's a pretty good start (at least on the interpreter side).
408.
by nv-vn 9y ago
You're still trying to apply this same analogy in a case it doesn't fit. A medicine can have negative effects and still be useful (withdrawn drugs are only withdrawn when their are no longer needed, usually because of a safer alte
409.
by nv-vn 9y ago
The way Prolog is "declarative" is that it bridges the gaps between assertions about the properties of a result and actions used to achieve those properties. For example, p(X) :- sorted(X). is saying both (the imperative)
410.
by nv-vn 9y ago
One of the weirdest things about Deja Vu is that (in its most intense form) it can often seemingly create future memories. My first experience with Deja Vu that I can remember involved what I could only describe as predicting the future. Wh
411.
by nv-vn 9y ago
I think that, to some extent, psychedelic trips can "awaken" the mind to future experiences. Like LSD or psilocybin, THC seems to have some of these elements that cause an "awakening". While there may be no physical chan
412.
by nv-vn 9y ago
Strangely, these are the only types of dreams I can ever recollect. On the occasions that I do remember my dreams after waking up, it's often because they are related to a very specific thought I had before falling asleep (especially d
413.
by nv-vn 9y ago
Something similar happened to me one of my "first times" as well (I had tried weed a number of times beforehand, but all of those times had been spaced out by months and none were very intense). I had smoked only smaller amounts b
414.
by nv-vn 9y ago
That's an awful analogy. Opioids are a medicine, asbestos are not.
415.
by nv-vn 9y ago
This is really dependent on the programmers background and what they're writing. Some code is super easy to write in Prolog and much harder in any other languages. Take type inference algorithms for example. Rather than describing how
416.
by nv-vn 9y ago
Having tried Prolog for a problem that it's relatively well-suited for, I found that all the advantages Prolog gives fall away very quickly. There's a lot of finicking around with weird organization of your code just to get things
417.
by nv-vn 9y ago
Without a totally Orwellian system to deal with this, how could a university respond in this case? I can sort of see where you're coming from, but there's no clear-cut solution that would be in the university's power. It migh
418.
by nv-vn 9y ago
I'm sure that it's here to stay, only that it will become much less valuable in the near future. Just like how the .com bubble popping didn't cause the Internet to disappear, the ML bubble popping will not cause machine learn
419.
by nv-vn 9y ago
The fact that our current technology (neural networks, genetic algorithms, etc.) is fundamentally different from how the human brain works. It does not have a capacity for abstract thought, emotion, creativity, etc. which are all essential
420.
by nv-vn 9y ago
Backwards compatibility is an issue when 50% of users aren't even using Lollipop yet. Also LLVM is no longer an actual VM.

More ›