ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

Launching the Analytic Number Theory Exponent Database (ANTEDB) at github.com/teorth/expdb to systematically collect known results in the literature on such exponents. More info (and a companion paper) at terrytao.wordpress.com/2025/01/28/n...

Jan 29, 2025, 4:03 AM

Record data

{
  "uri": "at://did:plc:ure4qdue3bs7xqaugjwmw3nr/app.bsky.feed.post/3lgu3m24hwc2i",
  "cid": "bafyreiedo7f5os7j6bps2zfbqioj4lim7hfbfkxzgbsotmvyzdm367ce54",
  "value": {
    "text": "Launching the Analytic Number Theory Exponent Database (ANTEDB) at github.com/teorth/expdb to systematically collect known results in the literature on such exponents.  More info (and a companion paper) at terrytao.wordpress.com/2025/01/28/n...",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://github.com/teorth/expdb",
        "thumb": {
          "$type": "blob",
          "ref": {
            "$link": "bafkreialjsovxoau7rqp22cw37ih625ez2vj5wpvuufcnekno5vkpyxqnq"
          },
          "mimeType": "image/jpeg",
          "size": 240272
        },
        "title": "GitHub - teorth/expdb: Exponent pair database",
        "description": "Exponent pair database. Contribute to teorth/expdb development by creating an account on GitHub."
      }
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 90,
          "byteStart": 67
        },
        "features": [
          {
            "uri": "https://github.com/teorth/expdb",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 244,
          "byteStart": 206
        },
        "features": [
          {
            "uri": "https://terrytao.wordpress.com/2025/01/28/new-exponent-pairs-zero-density-estimates-and-zero-additive-energy-estimates-a-systematic-approach/",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-01-29T04:03:22.882Z"
  }
}