Live data from Hacker News

Viewing profile — mccosmos

mccosmos

HN member
Joined
Mon, Nov 17, 2014, 7:44 PM UTC
HN karma
136
Public activity
15 items

About mccosmos

No profile information was provided.

Recent public activity

  1. story
  2. story
  3. story
  4. comment
    Comment #19832423

    No offense but they're not getting inhumane shock treament either if you're going to pull "our stress is holier than thou" and say it's magnitudes higher, I'll be waiting scientifi…

  5. story
  6. story
  7. comment
    Comment #17606691

    It is 0/0 that is undefined. For 1/0 the standard is either infinity (easily checkable in a language like JavaScript or C) or you get the usual talk that you can't mix infinity wit…

  8. comment
    Comment #17552440

    Not quite a movie but having Lojban as the setting fantasy language is the idea behind this new production: https://www.youtube.com/watch?v=4kJATTd6vF8

  9. comment
    Comment #16004423

    Such is the wild life of a game programmer...

  10. story
  11. comment
    Comment #13816834

    I designed a logic-functional language called Cosmos ( https://github.com/mcsoto/cosmos ) based on what I thought would be a good/minimalist/innovative/easy-to-use language design …

  12. comment
    Comment #8631832

    One property of Cosmos is that there is no boolean type and relations are themselves booleans ( q() would be false in this case). Hence, the code would be rather like this: rel q()…

  13. comment
    Comment #8624156

    That would get translated into (s="a" and x=2) or true There is an implicit else.

  14. comment
    Comment #8622078

    Thanks for the replies. A few comments: 1. I might have gotten a bit carried away when writing some parts of the article. 2. "Functors" are the same as functors from Prolog. Note t…

  15. story