jasperry

31 ms·

1. 181.▲
   by jasperry 5y ago

   Very disappointed that it appears to be yet another soft reboot. Recipe: cook up whatever backstory is needed to have Keanu and Carrie-Anne in it, then rehash all the plot and action beats of the Matrix 1 exactly.
2. 182.▲
   by jasperry 5y ago

   I empathize with the author's struggle and the pain of having to use the C++ API to generate LLVM IR. It's not relevant to Go, but the OCaml LLVM bindings are kept up-to-date and the documentation is there, though there's ver
3. 183.▲
   by jasperry 5y ago

   I've thought about something like this...that if a compiler could tell that code uses only stack-based allocation, it could turn off GC. Of course, that's very limiting, which is why we need more complicated things like Rust'
4. 184.▲
   by jasperry 5y ago

   I remember downloading this for Windows, probably not long after the original copyright date of 2001. Who could have predicted how the genre of idle games would explode in the coming years? Truly a trailblazing game, whatever that may say a
5. 185.▲
   by jasperry 5y ago

   Thanks for bringing that up. The shift to using the pipe operator has been an intriguing development in the community, and I've given some thought to what it implies about the difficulty of programming in functional syntax. The pipe op
6. 186.▲
   by jasperry 5y ago

   I love functional programming and I think every CS major should learn the key concepts of it: higher-order functions, immutability, purity, and how they can lead to better designs and more reliable software. However, I believe that even aft
7. 187.▲
   by jasperry 5y ago

   I'm glad this is still being developed. I tried it out around the time Windows 8/10 came out, because to my taste the Cleartype settings were much worse than in Windows 7. However, MacType didn't help with Metro programs, or
8. 188.▲
   by jasperry 5y ago

   This argument might be missing the distinction between humanity as a species and individual existence. No doubt humanity has thrived, but most individual human lives face significant struggles and hardships. We are here because we've b
9. 189.▲
   by jasperry 5y ago

   Maybe the world also needs people who are not so achievement-driven, who act as a kind of lubricant in the machine of society by making the environment around themselves lighter and more pleasant. And people who are that way should learn to
10. 190.▲
    by jasperry 5y ago

    Do you have any references with detailed analysis of this issue? How much one should emphasize concrete data types vs. interfaces seems like a key consideration in language design.
11. 191.▲
    by jasperry 5y ago

    I agree that functional programming has a more widely agreed-upon foundational set of definitions than OOP. However, it doesn't follow from that that "it's impossible to say anything meaningful about OOP".
12. 192.▲
    by jasperry 5y ago

    I was so thrilled when I discovered Laurie Spiegel and wondered why she wasn't more famous. I feel like "The Expanding Universe" should be in the collection of everyone with even a casual interest in electronic music. Her web
13. 193.▲
    by jasperry 6y ago

    Thanks for posting this--I'm getting back into studying the formal semantics of programming languages. Questions for those working in this area: According to Pierce's Types and Programming Languages , axiomatic semantics of the t
14. 194.▲
    by jasperry 6y ago

    I, for one, was thankful that we had something relatively non-polarizing in the news to discuss. "Stuck boat needs to get unstuck" is the kind of practical problem that people on both sides of the fence can agree on :)
15. 195.▲
    by jasperry 6y ago

    Could anyone comment on how deadbeef compares to audacious on Linux?
16. 196.▲
    by jasperry 6y ago

    My memory is a little fuzzy. Matter-antimatter may in fact be involved in the warp drive, but it's definitely not direct propulsion.
17. 197.▲
    by jasperry 6y ago

    I don't know about the physics of the article, but they get the lore of Star Trek wrong right off the bat. Warp drive is certainly not explained in Star Trek in terms of direct propulsion from matter-antimatter collision. That is how t
18. 198.▲
    by jasperry 6y ago

    A lot of things in our society just wouldn't work without somebody paying attention to details. I'm not saying that's a good way to teach it, but it needs to be taught. Even among artists, the greatest are those who show not
19. 199.▲
    by jasperry 6y ago

    Definitely this. You might even find that stopping trying to be more productive actually makes you more productive in the long run. Give yourself permission to do the bare minimum for a few days, and sometimes do nothing but relax. Loosenin
20. 200.▲
    by jasperry 6y ago

    I think the best solution to this is when the language's syntax supports ORing cases together like this: let analyze_control_flow stmt = match stmt with | If _ true_branch false_branch -> ... | While _
21. 201.▲
    by jasperry 6y ago

    Wait, doesn't Elm have parametric polymorphism like other ML-family languages? That's just as powerful as most languages' generics, and with a lot fewer brackets.
22. 202.▲
    by jasperry 6y ago

    Your translation of GIGO to physics gave me an "Aha" moment. It made me think of logic, where if you have an inconsistent set of axioms you can prove anything. I guess that's the formal equivalent of GIGO.
23. 203.▲
    by jasperry 6y ago

    I agree, it's a big loss to discourse when a useful word loses its specificity and there's nothing else to take its place. That's why I am one of those who would to fight to keep the "correct" meaning of "disin
24. 204.▲
    by jasperry 6y ago

    I was disappointed when I saw it wasn't emojis drawn to look like Paul Graham.
25. 205.▲
    by jasperry 6y ago

    I don't think the article's argument is that Pinker is a bad writer or doesn't know how to write for an academic audience; it's that Pinker is missing the point when he tries to tell others how to make academic writing b
26. 206.▲
    by jasperry 6y ago

    Strong agree. One of the things that turned me off of Elm, which is famous for having useful error messages, is the cutesy anthropomorphic style they are written in. More thorough error messages can be good, but they need to be well formatt
27. 207.▲
    by jasperry 6y ago

    The larger the volume of space considered, the higher probability there is that a thing exists somewhere in it. Plus, if aliens have landed on earth, you also need to postulate a cover-up that has successfully prevented almost everyone from
28. 208.▲
    by jasperry 6y ago

    Did anyone notice how in the code listings, the O's had slashes through them to distinguish them from zeroes, instead of the other way around? I wonder when it became a standard to slash the zero.
29. 209.▲
    by jasperry 6y ago

    It's well known that Windows' default behavior of hiding file extensions is bad for security (lookatme.jpg.exe). But I suspect the real reason Microsoft has kept this default over the years is that it prevents users from accidenta
30. 210.▲
    by jasperry 6y ago

    For transactions that need airgapped verification, shouldn't what the human checks be the actual meaningful values, and not a hash?