Verdex

63 ms·

661.
by Verdex 8y ago
The thing is, though, that the people who really do nothing are already doing nothing. They provide zero or negative productivity at work and only do the minimal required to not get fired. Or they bounce from job to job eating up everyone
662.
by Verdex 8y ago
>Most people probably won't do nothing because that's boring. I'm really not worried about the people who decide to do nothing (at least not in the first generation of UBI). I'm worried about the people who realize t
663.
by Verdex 8y ago
Concerns: 1) People will realize they can work less and still get paid the same. This results in less work than we require getting done. 2) We will still need welfare because some people will spend all of their UBI on non-food items. They
664.
by Verdex 8y ago
Most people just want to waste time watching TV would be the good outcome. I'm more concerned that it turns out that once money is no longer a concern that a large portion of people would spend their time trying to figure out how to c
665.
by Verdex 8y ago
Strong agree on the "but this isn't how OOP typically works" part. I think one of the reasons that Rust doesn't have a traditional OO model is because you can't actually enforce mutability controls in that way. At
666.
by Verdex 8y ago
It will by NOW: http://toasteroid.com/ > The toasteroid app, on the other hand, has several features you can enjoy. This is needed to be downloaded in order to work the toasteroid product. There’s a weather news here whe
667.
by Verdex 8y ago
Personally, while I do find DSLs easier to read, I find writing them harder than recursive descent. The problem is that a DSL will still have theoretical limitations (ie shift shift or shift reduce errors, left recursion, performance). In
668.
by Verdex 8y ago
I don't think mutability is problematic. The problem with mutability is that you can create hidden communication channels between different sections of your code and it can be very difficult to determine what is actually going on with
669.
by Verdex 8y ago
I think the reason why is two fold. 1) The type system is focused on mathematical types as opposed to compiler tags. Mathematical types are about ensuring that a function will not fail. Compiler tags are about ensuring that you generate t
670.
by Verdex 10y ago
I had a real life friend die when I was away at college. Apparently everyone else knew even though they were away at college as well. Came back one week too late and found out I had missed the funeral by a few days. I think the problem is
671.
by Verdex 11y ago
No, I understood your point the first time. I'm saying that there's no empirical evidence that "scientific skepticism" is necessary or even useful for increasing the whole of human knowledge. If I accept your point wit
672.
by Verdex 11y ago
I took me several years to grok monads. I even learned some category theory to try and get there (it didn't really help, but I do think it was useful for some other almost programming related things). The nice thing about monads with
673.
by Verdex 11y ago
I'm not trying to be facetious, but: Skepticism is a core quality of being a scientist. Is something I'm skeptical about (if we all end up learning something here, I'll definitely appreciate the irony ... also I'
674.
by Verdex 11y ago
The interesting part of this whole thing to me is that you can get composition between your continuations without using something like Monad Transformers[1]. However, the part that I haven't been able to get past yet is that monads are
675.
by Verdex 11y ago
Apparently this was posted a year ago, which is kind of frustrating for me because it's exactly the sort of analysis I've been hoping for since I was first introduced to TDD. I'm not really comfortable with the space that he&
676.
by Verdex 11y ago
I'm only speaking for my personal preferences here. My two problems with undefined behavior is that 1) it is not always obvious that your program is guilty of undefined behavior and 2) when a C program contains undefined behavior the c
677.
by Verdex 11y ago
I really like your second point. That's kind of a difficult failure case to try and mitigate. I've been vaguely concerned with how to ensure my C code avoids undefined behavior, but it didn't occur to me that I also need to
678.
by Verdex 11y ago
There's a relevant HN thread: https://news.ycombinator.com/item?id=9271679
679.
by Verdex 11y ago
Similar story here. I got it in zero because this problem shows up at the early part of HPMOR. I suspect that the basic idea behind it is about right (people who insist on failures before committing to a theory will probably do "bette
680.
by Verdex 12y ago
Programming languages are a new thing for humanity. I'm pretty sure that we aren't making programming languages correctly yet. And even worse there almost definitely isn't a One True Programming Language (it seems suspiciou
681.
by Verdex 12y ago
I was rather glad when I first encountered DEC64 because I had previously had the displeasure of having to think deep thoughts about IEEE 754. DEC64 seemed simple enough that I could get the gist on a note card, and generally I gravitate t
682.
by Verdex 12y ago
Previous discussion: https://news.ycombinator.com/item?id=7365812
683.
DEC64(dec64.org)
2 points by Verdex 12y ago|2 comments
684.
by Verdex 12y ago
If you liked the "I'd really only known how to use one" type of experience, then I encourage you to keep learning languages after you are happy with where you are with Haskell. My experience is that languages stop feeling li
685.
by Verdex 12y ago
I can second the Catsters channel. As a complete category theory newbie watching those videos was nevertheless enjoyable because of the upbeat and cheerful attitude with which the material was covered. I actually found MacLane's book
686.
by Verdex 12y ago
I've seen this attitude a couple of times before and I think it's a perfectly valid reaction to have towards these statements because you're correct. It is impossible. However, type systems heavily steeped in type theory
687.
by Verdex 12y ago
Concerning "strong typing", yeah I completely agree. I've wanted to talk about types and programming languages for some time now, but I've had trouble because the word "type" means very different things depend
688.
by Verdex 12y ago
Here's something to consider. Being lonely by myself hurts. Being lonely in a group of people hurts more. Learning about algebraic topology doesn't hurt. I think it's a bad idea for people to be by themselves, but I can mor
689.
by Verdex 12y ago
Interesting question. I'm not intimately familiar with D, but it does seem like it's designed as a saner alternative to C++. How many C++ alternatives are out there? From my memory D seemed like one of the first major attempts
690.
by Verdex 12y ago
I saw Joe's strange loop talk [1] a while ago and I get the same vibe reading his post as I did when watching the video. It sounds very cool, but I can't shake the feeling that it only works for 85% of the code. That is to say i

More ›