ATProto Browser

Record data

{
  "uri": "at://did:plc:4ug4zefdc7ll77reridekvob/app.bsky.feed.post/3lbxccsd3e22j",
  "cid": "bafyreifyegq53iryeykbctzyb2wylpi7m67e7cinbhzb5c4p6p3jfmatra",
  "value": {
    "text": "I think this is the one thing from my math major that I still use in my day job\n\nen.wikipedia.org/wiki/De_Morg...",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.images",
      "images": [
        {
          "alt": "In propositional logic and Boolean algebra, De Morgan's laws, also known as De Morgan's theorem, are a pair of transformation rules that are both valid rules of inference. They are named after Augustus De Morgan, a 19th-century British mathematician. The rules allow the expression of conjunctions and disjunctions purely in terms of each other via negation.\n\nThe rules can be expressed in English as:\n\n    The negation of \"A and B\" is the same as \"not A or not B\".\n    The negation of \"A or B\" is the same as \"not A and not B\".",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreidiumtibdd3ywctuosxdutbnwn5bortot6xfbduc4mqmfqb5yoyxu"
            },
            "mimeType": "image/jpeg",
            "size": 341385
          },
          "aspectRatio": {
            "width": 1284,
            "height": 504
          }
        }
      ]
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 113,
          "byteStart": 81
        },
        "features": [
          {
            "uri": "https://en.wikipedia.org/wiki/De_Morgan%27s_laws",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2024-11-27T19:35:29.991Z"
  }
}