riscy

21 ms·

1. 211.▲
   by riscy 11y ago

   For the nearly all practical purposes, there already exist efficient algorithms for GI. This work is mostly of interest for theoretical matters because it shows that GI can be solved in quasi-poly time for _all_ graphs, whereas previous wor
2. 212.▲
   by riscy 11y ago

   only a prototype interpreter [1]. this stuff is fresh out of the research lab [1] http://www.mpi-sws.org/~rossberg/1ml/
3. 213.▲
   by riscy 11y ago

   Jane Street is a major user/sponsor of Ocaml.
4. 214.▲
   by riscy 11y ago

   1ML is basically SML with first-class modules. It's very recent research (paper appeared in ICFP 15) so I'm not surprised there isn't much coming up. EDIT: I'd like to add that the video from ICFP is up: https:/&#x
5. 215.▲
   by riscy 11y ago

   Tinder for X, where X is Lunch.
6. 216.▲
   by riscy 11y ago

   I'm just going to list all of my criticisms after reading what's on the website: 1. Treating functions as lists effectively makes this a weakly typed language like C, whereas both Scheme and Common Lisp are both strong. 2. What ad
7. 217.▲
   by riscy 11y ago

   > IR is ISA agnostic It's absolutely ISA specific and this target independence pipe dream keeps being repeated on HN. Just search the LLVM documentation for "target specific."
8. 218.▲
   by riscy 11y ago

   Yea, I then added it to my Wish List and it says $130 and "In Stock August 29th" but adding it to your cart does nothing.
9. 219.▲
   by riscy 11y ago

   The screenshot in step 2 suggests to me that the settings app does not recognize browsers other then Edge on the system. I wouldn't know what to do if I saw that without being told to click on it for options, as there is no hint that i
10. 220.▲
    by riscy 11y ago

    Which IMAP service providers do you recommend? I've been looking to setup my own mail server but the maintenance has put me off.
11. 221.▲
    by riscy 11y ago

    Not only that, but "[target data layout] is used by the mid-level optimizers to improve code, and this only works if it matches what the ultimate code generator uses. There is no way to generate IR that does not embed this target-speci
12. 222.▲
    by riscy 11y ago

    >in-app purchase to unlock the advanced/pro feature Preying on new git users when they need to do something "advanced" with their repository is pretty low. >The reason for expiring builds is that [...] 3) the app is rap
13. 223.▲
    by riscy 11y ago

    I hope he's not.
14. 224.▲
    by riscy 11y ago

    Scrolled to the bottom and there was no elevator.
15. 225.▲
    by riscy 12y ago

    "Our analysis shows that only about 1% of the requests for the Baidu Analytics script are receiving the malicious javascript as response. So in 99% of the cases everything behaves just like normal." The way I see it, this has been
16. 226.▲
    by riscy 12y ago

    I think the main difficulty is how to determine whether traffic is legitimate or not. Banning ranges of IP addresses is effectively denying service to non-attackers as well, so they win. The game is to soften their traffic's load on yo
17. 227.▲
    by riscy 12y ago

    Something interesting to note is that at least in the Pentium 4, the number of cycles spent on integer division instructions varies depending on the values of the operands [1]. [1] https://gmplib.org/~tege/x86-timing.pd