{
  "$type": "site.standard.document",
  "content": {
    "$type": "pub.leaflet.content",
    "pages": [
      {
        "$type": "pub.leaflet.pages.linearDocument",
        "blocks": [
          {
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "> But the emergence of agentic coding has changed our perspective, and we’ve gone from being skeptical to being excited about the possibilities."
            }
          },
          {
            "block": {
              "$type": "pub.leaflet.blocks.website",
              "description": "I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.",
              "title": "Formal methods and the future of programming",
              "url": "https://blog.janestreet.com/formal-methods-at-jane-street-index/?from_theconsensus=1"
            }
          }
        ]
      }
    ]
  },
  "createdAt": "2026-06-14T22:09:51.354Z",
  "links": [
    {
      "rel": "related",
      "uri": "https://blog.janestreet.com/formal-methods-at-jane-street-index/?from_theconsensus=1"
    }
  ],
  "path": "/mqec7oftg4a01gfh15",
  "publishedAt": "2026-06-14T20:30:14.326Z",
  "site": "at://did:plc:4vjd3fe2cgzq5d24j4f3zvar/site.standard.publication/skyreader-links",
  "textContent": "> But the emergence of agentic coding has changed our perspective, and we’ve gone from being skeptical to being excited about the possibilities.\n\nI’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.",
  "title": "Formal methods and the future of programming"
}