ihm

24 ms·

1. 181.▲
   by ihm 9y ago

   I take issue with your claim that OCaml is more complicated than Haskell. It has a much simpler core language (roughly Hindley-Milner + ADTs + GADTs + modules) whereas Haskell has Hindley-Milner, ADTs, GADTs, backpack, type families, type c
2. 182.▲
   by ihm 9y ago

   It often comes off as offensive or ignorant when used to describe people. E.g., "gays", "blacks".
3. 183.▲
   by ihm 9y ago

   You don't think that people are accustomed to thinking of "nurse" as a female role?
4. 184.▲
   by ihm 9y ago

   You can think of "A => B" as stating "there is a way of transforming proofs of A into proofs of B". If "A" is false, then there are no proofs of "A", and thus there is trivially a way of transformi
5. 185.▲
   by ihm 9y ago

   Nice work! A few questions: can you speak to why one would choose BuckleScript over js_of_ocaml? Also, does BuckleScript support all of OCaml? Could you compile core_kernel using BuckleScript?
6. 186.▲
   by ihm 9y ago

   Where can one find more information on the module system? The release notes don't seem to mention it.
7. 187.▲
   by ihm 9y ago

   Really scary to see Google's maneuvering for total control of AI tech.
8. 188.▲
   Show HN: "What it is like to be a bat." (WebVR piece)(newchickens.com)

   3 points by ihm 9y ago|1 comments
9. 189.▲
   by ihm 9y ago

   Oded has argued previously[1] against awards in academia. [1]: http://www.wisdom.weizmann.ac.il/~oded/on-awards.html
10. 190.▲
    by ihm 9y ago

    You use Diffie–Hellman. "Diffie–Hellman key exchange method allows two parties that have no prior knowledge of each other to jointly establish a shared secret key over an insecure channel." ( https://en.wikipedia.org&#x2
11. 191.▲
    by ihm 9y ago

    There would be no out-of-band connections. The extension uses Diffie Hellman or something to swap keys with your friends over Facebook (or maybe through a server run by the extension provider.)
12. 192.▲
    by ihm 9y ago

    I'm surprised Gromov and Thurston's contributions to geometry in the 70s-00s aren't emphasized more. Some things I think should be on there from my admittedly limited point of view: - 1982/87: Yao and then later Goldreic
13. 193.▲
    by ihm 9y ago

    I would love if someone made a Chrome extension that encrypted all the posts and messages you put on Facebook. That is, any post you made would be made as a ciphertext, the extension would swap keys with all your friends in the background,
14. 194.▲
    by ihm 9y ago

    Far from it. I would watching recommend Laura Poitras' (of Citizenfour fame) new movie Risk. It follows Assange over the course of 6 years, including through the rape allegations. It's an extremely intimate view as Poitras is able
15. 195.▲
    by ihm 9y ago

    Agreed. Who is agreeing to build such dystopian technologies?
16. 196.▲
    by ihm 9y ago

    Yes, roughly. You can think about a category like a group which carries around "type parameters" to say which "elements" you can and can't multiply. Also, "elements" may not be invertible. For example, for
17. 197.▲
    by ihm 10y ago

    I think one point of Sapir-Worf is that aspects of different languages reinforce different concepts and ways of thinking. The language is often the bearer of the culture's store of concepts. One famous example is the Guugu Yimithirr la
18. 198.▲
    by ihm 10y ago

    See here: http://www.dictionary.com/browse/mandarin The relevant definitions are 1. (in the Chinese Empire) a member of any of the nine ranks of public officials, each distinguished by a particular kind of button worn
19. 199.▲
    by ihm 10y ago

    In case anyone else wanted to see some of these posters: http://www.poster.pl/polish_poster_artists.html
20. 200.▲
    by ihm 10y ago

    My experience with Oculus blew me away. The following three things specifically: 1. Medium, a sculpting program[1]. This tool lets you build 3D sculptures. The intuitiveness of the controls and the ease with which you can make these giganti
21. 201.▲
    by ihm 10y ago

    I have an Asus Flip, which I love, and use for serious work (I use Ubuntu via crouton). I would be willing to pay a little more for an Intel chip to alleviate the headaches of broken software having ARM has occasionally caused. The light we
22. 202.▲
    by ihm 10y ago

    I don't think so. The phones connect to a honeypot network and send over their credentials. The person who controls the honeypot now has their gmail password and so can use it to login and change their password.
23. 203.▲
    by ihm 10y ago

    Where do you work?
24. 204.▲
    by ihm 10y ago

    Thanks so much to all the contributors for such a useful tool. I use it to convert markdown posts with embedded Latex to HTML for my blog.
25. 205.▲
    by ihm 10y ago

    "Tom Hanks on Typewriters", the newest web framework (latency and scalability are still a bit of an issue with it honestly).
26. 206.▲
    A Portrait of Courtship: Romance as a Dynamical System(newchickens.com)

    5 points by ihm 10y ago|0 comments
27. 207.▲
    by ihm 11y ago

    I knew a group of friends who would use the word "donkey" for many many things.
28. 208.▲
    by ihm 11y ago

    We still could be stuck writing assembly on super fast hardware. Programming languages' UI has definitely improved, enabled to be sure by hardware (as in his Python/Perl example).
29. 209.▲
    by ihm 11y ago

    Unimotos (see e.g., [0]) are a good, more sidewalk-friendly bike-alternative I've found. [0]: http://electricunicyclereviews.com/application/files/1814/35...
30. 210.▲
    by ihm 11y ago

    > You can just drop any old JS library and write a port for it (it will be async, though). Actually, it's pretty simple to wrap Javascript functions so that you can call them directly from Elm. See e.g. [0] which is called from Elm