1. 21
    Unums: A Radical Approach to Computation with Real Numbers pdf compsci math johngustafson.net
    geocar avatar via geocar 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
    1. 3
      inactive-user avatar inactive-user 7 years ago | link

      Are there any criticisms of this model?

      1. 4
        rrika avatar rrika 7 years ago | link

        It needs big lookup tables. See this thread: https://twitter.com/rygorous/status/716891236850749440

    2. 2
      geocar avatar geocar 7 years ago | link

      There’s another presentation (2013) that explains some more of the background, but this is the presentation I saw first.