{
  "path": "/notes/2026w8",
  "site": "at://did:plc:nhyitepp3u4u6fcfboegzcjw/site.standard.publication/3mchoxkwlsx2y",
  "tags": [
    "tessera",
    "ai",
    "policy",
    "india",
    "zarr",
    "teaching"
  ],
  "$type": "site.standard.document",
  "title": ".plan-26-08: At AI summit, Shriram's PL opinions, Zarr hacking",
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreig4kaznvvucc6uiapmyufnjzxss7uzeiw7dnmfxs4a6dt5nel5gxy"
    },
    "mimeType": "image/webp",
    "size": 661578
  },
  "bskyPostRef": {
    "cid": "bafyreicc2rr55sskvbai43snva3laqj535kz3eysfa24hsnbnrsulofp6e",
    "uri": "at://did:plc:nhyitepp3u4u6fcfboegzcjw/app.bsky.feed.post/3mfhopprhic2y",
    "$type": "com.atproto.repo.strongRef"
  },
  "description": "TESSERA paper accepted at CVPR 2026, went to the AI Impact Summit, OCaml Zarr hacking, Shriram's talk on human factors of formal methods, and discussions on teaching OxCaml to agents.",
  "publishedAt": "2026-02-22T00:00:00.000Z"
}