1. 3
  1.  

    1. 1

      Is that really a concern or why? I’d have guess more people would want a native PDF reader instead of a web viewer. Just curious.

      1. 2

        Yeah, I’d rather have a file I can read at my leisure than a web page that crashes my browser.

        1. 3

          You can use alt+click if you want to download a file instead of open it in your browser, but there’s no option to disable download if they’ve set the the content type HTTP header to force a download.

          1. 2

            Downloading the GitHub PDF viewer shell is rarely what I want.

            1. 2

              Have you made sure to configure your HTTP user agent to send the appropriate Accept header to indicate that you are not interested in HTML content for pages ending in .pdf when you are attempting to download the file?

              (just kidding)

              I can’t seem to find a way in the github UI to directly link to the pdf :(

    2. 1

      This is the original paper I saw by Daira Hopwood that designed Noether here:

      https://lobste.rs/s/k79v7c/noether_symmetry_programming_language

      The section on efficient support of rollback is worth it by itself. This was probably the real inspiration for my comments in other link on how much depth she goes into while keeping it pretty understandable. Interesting that Prolog’s mechanism is adapted for this. I’d like to see more experiments in efficient roll-back in common, imperative or functional languages.

      Video talk of this paper here if anyone wants to hear it straight from the author:

      https://www.youtube.com/watch?v=oPeo0upCGqo

      1. 1

        Any progress on actual implementation? I loved the design of Noether but was very disappointed to find it’s only a design, not an implemented language.

        1. 1

          Just a prototype in Idris. She probably knows she’ll just keep throwing away implementations so is finishing design first. Probably smart given The Right Thing solutions rarely get a lot of uptake anyway. Might as well do it right if not aiming for popularity.

          1. 1

            Does the Idris prototype exist though? Last I looked it was just an empty folder.

            1. 1

              Email her about it. Id only be speculating more. If you want that, maybe it’s a placeholder for future software with her name and presentations available to draw interest.