Verdex

61 ms·

1. 691.▲
   by Verdex 12y ago

   I can relate to your long division example. In grade school my mom helped[1] me put in a ridiculous amount of effort in order to get through my school's spelling tests. I have come to believe that the reason that I couldn't spel
2. 692.▲
   by Verdex 12y ago

   The book by the same title and author (which is heavily based off of this paper) was actually one of the first books on functional programming I read. I don't think I would suggest it as an introductory text to anyone, but even so I r
3. 693.▲
   by Verdex 12y ago

   Even though this video doesn't go into any deep details as to how No Man's Sky technology works, it does give some interesting hints as to what "procedural generation" means in this game. It's only about 10 minutes
4. 694.▲
   by Verdex 12y ago

   > Just make up your minds and tell us the rules already. This is a bit off topic, but this is something that I've spent a lot of my life being worried about. I'm pretty sure that most people don't really understand what r
5. 695.▲
   by Verdex 12y ago

   As far as your first point is concerned, it has been 6 years since Eliezer first wrote that post so I wonder if maybe he would give a more nuanced view if he had to write it again. Perhaps to include the twice mentioned Monte Carlo integra
6. 696.▲
   by Verdex 12y ago

   Thanks for your response! This makes several things I've been trying to understand on my own much clearer.
7. 697.▲
   by Verdex 12y ago

   I wanted to understand more about how randomized algorithms worked, so I bought Randomized Algorithms[1]. The book is full of proofs involving probability theory and computational complexity theory. It's also kind of dry; I had a har
8. 698.▲
   by Verdex 12y ago

   So I suppose there are two false modes of thought: Manual memory management is intrinsically faster, and we really need this performance (sans profiling of course). On the manual memory management side the interesting thing to investigate
9. 699.▲
   by Verdex 12y ago

   I think it's interesting that the famous tech companies are all developing programming languages that are less managed than java/c#, but more predictable (read: less undefined behavior) than c/c++. Facebook seems interested