ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

*AI for Mathematics and Theoretical Computer Science*, a workshop hosted jointly by the Simons Institute for the Theory of Computing and the Simons Laufer Mathematical Sciences Institute, will be held in Berkeley at April 7-11, 2025. simons.berkeley.edu/workshops/si...

Dec 2, 2024, 10:08 PM

Record data

{
  "uri": "at://did:plc:ure4qdue3bs7xqaugjwmw3nr/app.bsky.feed.post/3lce57o63522h",
  "cid": "bafyreia4y3oiivdi4beteh2k4luefgmcd7oexd2j5jx7r74v5oygmugfki",
  "value": {
    "text": "*AI for Mathematics and Theoretical Computer Science*, a workshop hosted jointly by the Simons Institute for the Theory of Computing and the Simons Laufer Mathematical Sciences Institute, will be held in Berkeley at April 7-11, 2025.\n\nsimons.berkeley.edu/workshops/si...",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://simons.berkeley.edu/workshops/simons-institute-theory-computing-slmath-joint-workshop-ai-mathematics-theoretical",
        "thumb": {
          "$type": "blob",
          "ref": {
            "$link": "bafkreieroykxrk3z7qgfjluqtblyfrxc3brz3m254joevpjmtejvizplpq"
          },
          "mimeType": "image/jpeg",
          "size": 948349
        },
        "title": "Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science",
        "description": "This is an exciting time for mathematics, as new technologies for mathematical reasoning provide novel opportunities for mathematical research, communication, and discovery. Mathlib, a library of form..."
      }
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 270,
          "byteStart": 235
        },
        "features": [
          {
            "uri": "https://simons.berkeley.edu/workshops/simons-institute-theory-computing-slmath-joint-workshop-ai-mathematics-theoretical",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2024-12-02T22:08:52.861Z"
  }
}