197 Matching Annotations
  1. Aug 2024
  2. Jun 2024
  3. May 2024
    1. type values MUST be uniquely globally namespaced following Java’s package naming conventions, e.g. com.example.myapp.event

      We're in the Web. Better: URIs.

  4. Dec 2023
  5. Nov 2023
  6. Sep 2023
    1. Undocumented Hypothes.is Badge API (used by Chrome extension):

      ```python """ Return the number of public annotations on a given page.

      This is for the number that's displayed on the Chrome extension's badge.

      Certain pages are blocklisted so that the badge never shows a number on those pages. The Chrome extension is oblivious to this, we just tell it that there are 0 annotations. """ ```

      https://hypothes.is/api/badge?uri=* same as https://hypothes.is/api/search?limit=0&uri=*.

  7. Aug 2023
  8. Jun 2023
  9. May 2023
    1. A good example for the motivation of this work is the website of the Hypertext Conference in 2008. The original URI http://ht2008.org is not accessible anymore and returns a 404 error today.
    1. The paper had the "Artifacts available" badgea in the ACM Digital Library, highlighting the research in the paper as reproducible. Yet, the instructions to get the dataset required several steps rather than just a link: log in, find the paper, click on a tab, scroll, get to the dataset.
  10. Apr 2023
  11. Mar 2023
    1. Remix uses the ?index parameter to indicate when a URL refers to the index route instead of the layout route
  12. Jan 2023
  13. Dec 2022
  14. Nov 2022
    1. The @id keyword allows you to give a node a URI. This URI identifies the node. See Node Identifiers in the JSON-LD spec. (The equivalent in Microdata is the itemid attribute, and the equivalent in RDFa Lite is the resource attribute.)
  15. Oct 2022
    1. Hmm. We’re having trouble finding that site. We can’t connect to the server at research-compendia.org

      That's not good.

  16. Sep 2022
    1. ^([^\x00-\x20\x7f"'%<>\\^`{|}]|%[0-9A-Fa-f]{2}|{[+#./;?&=,!@|]?((\w|%[0-9A-Fa-f]{2})(\.?(\w|%[0-9A-Fa-f]{2}))*(:[1-9]\d{0,3}|\*)?)(,((\w|%[0-9A-Fa-f]{2})(\.?(\w|%[0-9A-Fa-f]{2}))*(:[1-9]\d{0,3}|\*)?))*})*$ \ \_____________/ \\____________/ \\__________________/ \__________________/ /\________________/ / \_________________________________________________________________/ // \ pct-encoded / \ operator \\ varchar varchar / modifier-level4 / varspec // \______________________________________/ \ \\________________________________________/ / // literals \ \ varname / // \ \_________________________________________________________/ // \ \ varspec // \ \____________________________________________________________________________________________________________________________// \ variable-list / \_________________________________________________________________________________________________________________________________________/ expression
    1. For example, let’s consider the type property. For most of the projects I am working on, it isn’t practical to have a webpage dedicated to each type of possible error.

      That's not required. The standard doesn't require this to be a URL locator — merely a URI! So you can just make up a URI and use it even if it's not resolvable. ... like you did for the URN below.

    1. they allow resources to be referred to without the need for a continuously available host, and can be generated by anyone who already has the file, without the need for a central authority to issue them. This makes them popular for use as "guaranteed" search terms within the file sharing community where anyone can distribute a magnet link to ensure that the resource retrieved by that link is the one intended, regardless of how it is retrieved.
  17. Aug 2022
  18. Jul 2022
  19. Jun 2022
    1. The bearerURI for a VHF/FM service is compiled as follows:fm:<gcc>.<pi>.<frequency>The <frequency> element may be replaced by the asterisk ("*") character to signify any frequency. In this case the PIcode alone shall be used by the device to locate the source
      Table 4: Example of RadioDNS bearerURI construction for RDS/RBDS

      | GCC | PI | Frequency (MHz) | RadioDNS bearerURI | |-----|------|------------------|--------------------| | ce1 | c586 | 95,8 | fm:ce1.c586.09580 | | de0 | d1e0 | 103,9 | fm:de0.d1e0.10390 | | ce1 | c201 | many | fm:ce1.c201.* |

  20. May 2022