5 Matching Annotations
  1. Apr 2023
  2. bytes.zone bytes.zone
    Modeling Git Internals in Alloy, Part 2: Commits and Tags
    1
    1. kael 11 Apr 2023
      alloy git
    Visit annotations in context

    Tags

    Annotators

    URL

    bytes.zone/posts/modeling-git-internals-in-alloy-part-2-commits-and-tags/
  3. bytes.zone bytes.zone
    Modeling Git Internals in Alloy, Part 1: Blobs and Trees
    1
    1. kael 11 Apr 2023
      alloy git
    Visit annotations in context

    Tags

    Annotators

    URL

    bytes.zone/posts/modeling-git-internals-in-alloy-part-1-blobs-and-trees/
  4. haslab.github.io haslab.github.io
    Formal Software Design with Alloy 6 — Formal Software Design with Alloy 6
    1
    1. kael 11 Apr 2023
      alloy specifications
    Visit annotations in context

    Tags

    Annotators

    URL

    haslab.github.io/formal-software-design/
  5. alloytools.org alloytools.org
    Untitled document
    1
    1. kael 11 Apr 2023
      alloy specifications wikipedia:en=Alloy_(specification_language)
    Visit annotations in context

    Tags

    Annotators

    URL

    alloytools.org/
  6. Jan 2020
  7. blogs.elpais.com blogs.elpais.com
    Why Is There Phosphorus in My Mobile Phone?
    1
    1. mackenzie.D.P4 17 Jan 2020
      somewhere at the interfaces between the solder balls and the nickel-phosphorous pad. Solders are ductile tin-based materials, but during soldering they chemically react with the solid metals being soldered — such as the nickel-phosphorous alloy — to form intermetallic compounds.

      How Phosphorus is used in a smartphone.

      c-nickel-phosphorus alloy k-fact
    Visit annotations in context

    Tags

    Annotators

    URL

    blogs.elpais.com/atomium-culture/2013/07/why-is-there-phosphorus-in-my-mobile-phone.html