{
  "id": "e3850feb973b",
  "url": "https://blog.janestreet.com/formal-methods-at-jane-street-index",
  "title": "Formal methods and the future of programming",
  "note": "",
  "voice": null,
  "saved": "2026-06-18T00:36:54Z",
  "host": "blog.janestreet.com",
  "kind": "page",
  "tags": [],
  "record": "https://links.thingelstad.xyz/links/e3850feb973b/",
  "markdown": "https://links.thingelstad.xyz/links/e3850feb973b.md",
  "issues": [],
  "connections": {
    "same_host": {
      "count": 0,
      "page": "https://links.thingelstad.xyz/hosts/blog.janestreet.com/",
      "nearest": []
    },
    "same_week": {
      "count": 16,
      "nearest": [
        {
          "id": "1c4959cc1cad",
          "title": "Stumble Again — Rediscover the web",
          "url": "https://www.stumbleagain.com/",
          "record": "https://links.thingelstad.xyz/links/1c4959cc1cad/"
        },
        {
          "id": "799eb45228cf",
          "title": "Why is Meta destroying its engineering organization?",
          "url": "https://newsletter.pragmaticengineer.com/p/why-is-meta-destroying-its-engineering",
          "record": "https://links.thingelstad.xyz/links/799eb45228cf/"
        },
        {
          "id": "bafcb28b2013",
          "title": "Calvin and Hobbes and the Price of Integrity",
          "url": "https://therepublicofletters.substack.com/p/calvin-and-hobbes-and-the-price-of",
          "record": "https://links.thingelstad.xyz/links/bafcb28b2013/"
        },
        {
          "id": "bb259de27df6",
          "title": "Running local models is good now | Vicki Boykis",
          "url": "https://vickiboykis.com/2026/06/15/running-local-models-is-good-now/",
          "record": "https://links.thingelstad.xyz/links/bb259de27df6/"
        },
        {
          "id": "b3d51388a50e",
          "title": "Mechanical Watch",
          "url": "https://ciechanow.ski/mechanical-watch",
          "record": "https://links.thingelstad.xyz/links/b3d51388a50e/"
        }
      ]
    },
    "mentions": [],
    "mentioned_by": [],
    "saved_twice": []
  },
  "elsewhere": {
    "wayback": "https://web.archive.org/web/*/https://blog.janestreet.com/formal-methods-at-jane-street-index"
  }
}