{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreihncjbvqwykf4mcut4zvw2xoaqifog5nwq26te6ruf53ztxgsmnje",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mkdrnjohefv2"
  },
  "path": "/t/a-first-look-at-token-efficiency/13981#post_3",
  "publishedAt": "2026-04-25T18:52:26.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "people.csail.mit.edu",
    "Lecture 12"
  ],
  "textContent": "Needn’t be a new language. You could do grammar prompting for example if your problem is sufficiently constrained.\n\npeople.csail.mit.edu\n\n### Lecture 12\n\nI’ve been reading a fair bit about how the classical synthesis community has adapted to LLMs and most of the literature is around correctness (rightfully so) but not much about “search” efficiency. The measures you suggest make sense. Hard thing would be defining a sufficiently representative set of tasks for a benchmark like that.",
  "title": "A first look at token efficiency"
}