jasperry

22 ms·

1. 241.▲
   by jasperry 9y ago

   You may be right that the classics aren't necessary for critical thinking. To me, that's not even the main reason they're important. It's more about the type of questions we ask. We study humanities to help us realize th
2. 242.▲
   by jasperry 9y ago

   I also would recommend Ullman as a first book on SML, and this one when moving toward bigger projects. I still use Ullman as a reference because I know it covers every essential feature in the language in an elementary way.
3. 243.▲
   by jasperry 9y ago

   This site made me realize what a powerful effect fonts have on our perception of a text. I had to keep reminding myself that I was reading the words of modern historians and not a scan of some 400-year-old document.
4. 244.▲
   by jasperry 10y ago

   Avoiding commitment out of fear of over-commitment is a problem, but there there is also a danger in taking on more than we think we can handle, because that can lead to feeling overwhelmed and becoming paralyzed and unable to do anything.
5. 245.▲
   by jasperry 10y ago

   I agree that the article's problem is that it depends on deceiving yourself, which, as you said, your ego always ends up paying the price for. For me, the most helpful thing has been to become more aware of the fluctuation of my own en
6. 246.▲
   by jasperry 10y ago

   > 20-30 year-old textbooks I assume you're talking about something like "Modern Compiler Implementation in ML"? That book is still a good starting point, and once you get a basic implementation going you'll be in a go
7. 247.▲
   by jasperry 10y ago

   Thanks, these are great references, especially the last one. I would definitely read that blog post.
8. 248.▲
   by jasperry 10y ago

   I had the same problem with a Mac losing the wireless connection to our Brother. The best I could do was make the router give the printer a fixed IP, then manually set the port to that IP on the Mac (I'm not in front of it now, so can&
9. 249.▲
   by jasperry 10y ago

   Interesting, however, it emits C code, and the paper makes no reference to the module system as what's being leveraged about ML. http://www.fftw.org/pldi99.pdf
10. 250.▲
    by jasperry 10y ago

    I keep thinking there must be great potential for using the ML Module system to create high-performance, customize-at-compile-time libraries, like C++ template libraries but without the messiness and potentially even more expressive. But I&
11. 251.▲
    by jasperry 11y ago

    Thanks for that info. It's been so long since I've done the jailbreak that I barely remember the process.
12. 252.▲
    by jasperry 11y ago

    I wonder if this will undo a jailbreak? I mainly use CoolReader to read ePub books on my trusty Kindle Keyboard, because of its better kerning and hyphenation.
13. 253.▲
    by jasperry 11y ago

    I think the desired term is "to cut one's teeth on." It refers to how babies' teeth are aided in erupting from the gums by chewing on something tough. "Grinding one's teeth" is used to indicate being under
14. 254.▲
    by jasperry 11y ago

    I'm not so sure about this one. Doing something well can be a pleasure in itself, and even take the sting out of a job that looks like useless busywork. And if you find a really elegant solution it could be useful for something else la
15. 255.▲
    by jasperry 11y ago

    Just googled it, it's the release date of Python 2.0.
16. 256.▲
    by jasperry 11y ago

    I guess I did assume that since there are quite a few Greek roots in English, that there was more direct influence.
17. 257.▲
    by jasperry 11y ago

    Interesting that Greek is so isolated, even though so many European languages are derived from it. Maybe it's because Greek was essentially a dead language that was reintroduced, so other languages had drifted far from it?
18. 258.▲
    by jasperry 11y ago

    I've actually heard this one, but I think it's "smaller".
19. 259.▲
    by jasperry 11y ago

    That captures my feelings really well. And then I think that if I'm going to stick to the "meat and potatoes" of functional programming, I might as well just use a language in the ML family.
20. 260.▲
    by jasperry 11y ago

    I consider myself a functional programmer, and I also have an interest in logic and type theory, and have learned enough Haskell to write some student-level projects in it. But when I try to dip my toe back into the Haskell community, a wav
21. 261.▲
    by jasperry 11y ago

    I wonder if you can ask M to use fewer exclamation points. From the conversations I saw in the article, it's a little too chirpy (or should I say "clippy") for my taste.
22. 262.▲
    by jasperry 11y ago

    Taking the graphical user interface idea a step further, even the best user interface can't help but "leak" some details about what's going on under the hood. And I'd argue that given the high-level general processi
23. 263.▲
    by jasperry 11y ago

    I tend to agree. But have you seen how horribly it renders on Windows 10? It's a travesty...at least until every screen gets to "retina" resolution.
24. 264.▲
    by jasperry 11y ago

    Big news in this release is that the "lightning" calendar extension is now bundled together. I've been using it for a while now, since my department uses a CalDav calendar server. Like the rest of Thunderbird, I can make it d
25. 265.▲
    by jasperry 11y ago

    That makes sense. It's pretty cool to think that ML was designed as a metalanguage for theorem provers, and the innovations required for that turned out to be the next step (or next several steps) in the evolution of general-purpose la
26. 266.▲
    by jasperry 11y ago

    Can you elaborate on why being a compiler makes MLton unsuitable for theorem provers? Is it because they are usually written on top of the interpreter's REPL, and need its reflection capabilities?
27. 267.▲
    by jasperry 11y ago

    One sentence in the article made me do a double take: "reasonably tightly optimized low-level Haskell". For I minute I thought that this defeats the whole purpose of using Haskell, because for me it's all about being able to