{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiholdgw5vc33mmialkokfj6g5y7h56gnlbs5hy7fhvojszj2uuf4i",
    "uri": "at://did:plc:wvbzyoyqr6q5pgezutm4sf3v/app.bsky.feed.post/3mgmed3xpl4k2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreibqxuobw3u6mooeiagr2vpq7zromvmky4wrtildqtwwflo2sz3hmq"
    },
    "mimeType": "image/png",
    "size": 15651
  },
  "path": "/thin1/",
  "publishedAt": "2026-03-09T03:19:28.000Z",
  "site": "https://www.philipzucker.com",
  "tags": [
    "formalmethods",
    "plt",
    "Comments"
  ],
  "textContent": "Comments",
  "title": "Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping"
}