{
  "company": {
    "name": "Cajal",
    "website": "https://caj.al/",
    "record": "https://startuphistory.org/c/caj.al"
  },
  "status": null,
  "history_since": "2026-07-14T03:11:23.000Z",
  "baseline": {
    "snapshot_id": "97c994eeb1ef1ea14050572bca06ae95494656489d31798c225cfbea68beeae2",
    "observed_at": "2026-07-14T03:11:23.000Z",
    "headline": "Make it provably correct, down to the machine level",
    "description": "Cajal builds Tau, a prover that verifies your compiled binary with mathematical certainty. Make your mission-critical software provably correct, down to the machine level.",
    "evidence": "https://web.archive.org/web/20260714031123/https://caj.al/",
    "evidence_kind": "internet_archive",
    "facts": null,
    "basis": "first_observation",
    "is_change": false
  },
  "live_captures": 1,
  "last_checked": "2026-11-05T12:16:29.827Z",
  "live_status": null,
  "messaging": [
    {
      "quote_observed_at": "2026-07-19T23:56:41.000Z",
      "variants": [
        {
          "headline": "Make it provably correct, down to the machine level",
          "subhead": "Cajal builds Tau, a prover that verifies your compiled binary with mathematical certainty. Make your mission-critical software provably correct, down to the machine level.",
          "observed_at": "2026-07-14T03:11:23.000Z",
          "evidence": "https://web.archive.org/web/20260714031123/https://caj.al/",
          "evidence_kind": "internet_archive"
        },
        {
          "headline": "Make it provably correct, down to the machine level",
          "subhead": "Cajal builds Tau, a prover that verifies your compiled binary with mathematical certainty. Make your mission-critical software provably correct, down to the machine level.",
          "observed_at": "2026-07-19T23:56:41.000Z",
          "evidence": "https://web.archive.org/web/20260719235641/https://caj.al/",
          "evidence_kind": "internet_archive"
        }
      ],
      "headline": "Make it provably correct, down to the machine level",
      "subhead": "Cajal builds Tau, a prover that verifies your compiled binary with mathematical certainty. Make your mission-critical software provably correct, down to the machine level.",
      "from": "2026-07-14T03:11:23.000Z",
      "to": "2026-07-19T23:56:41.000Z",
      "captures": 2,
      "evidence": "https://web.archive.org/web/20260719235641/https://caj.al/",
      "evidence_kind": "internet_archive",
      "seen": {
        "between": {
          "from": "2026-07-14T03:11:23.000Z",
          "to": "2026-07-19T23:56:41.000Z"
        }
      },
      "current": false
    },
    {
      "quote_observed_at": "2026-10-12T02:26:31.000Z",
      "variants": [
        {
          "headline": "Transformative AI is here. Now what?",
          "subhead": "Cajal builds Tau, a prover that verifies your compiled binary with mathematical certainty. Make your mission-critical software provably correct, down to the machine level.",
          "observed_at": "2026-10-12T02:26:31.000Z",
          "evidence": "https://web.archive.org/web/20261012022631/https://caj.al/",
          "evidence_kind": "internet_archive"
        }
      ],
      "headline": "Transformative AI is here. Now what?",
      "subhead": "Cajal builds Tau, a prover that verifies your compiled binary with mathematical certainty. Make your mission-critical software provably correct, down to the machine level.",
      "from": "2026-10-12T02:26:31.000Z",
      "to": "2026-10-12T02:26:31.000Z",
      "captures": 1,
      "evidence": "https://web.archive.org/web/20261012022631/https://caj.al/",
      "evidence_kind": "internet_archive",
      "seen": {
        "on": "2026-10-12T02:26:31.000Z"
      },
      "current": false
    },
    {
      "quote_observed_at": "2026-11-05T12:16:29.827Z",
      "variants": [
        {
          "headline": "Reliable speedups for large workloads",
          "subhead": "Cajal builds Tau: faster binaries for large workloads. Tau makes the routines that use most of your compute run faster on your machines, and proves in Lean that the new binary behaves exactly like the",
          "observed_at": "2026-11-05T12:16:29.827Z",
          "evidence": "https://caj.al/",
          "evidence_kind": "live_capture"
        }
      ],
      "headline": "Reliable speedups for large workloads",
      "subhead": "Cajal builds Tau: faster binaries for large workloads. Tau makes the routines that use most of your compute run faster on your machines, and proves in Lean that the new binary behaves exactly like the",
      "from": "2026-11-05T12:16:29.827Z",
      "to": "2026-11-05T12:16:29.827Z",
      "captures": 1,
      "evidence": "https://caj.al/",
      "evidence_kind": "live_capture",
      "seen": {
        "on": "2026-11-05T12:16:29.827Z"
      },
      "current": true
    }
  ],
  "changes": [
    {
      "n": 1,
      "id": "page-4cb496a956a6e7b6b4a535b46d67b9ee158b365ca3cbad257c1941d0cb8085ad:e44f6c62664df29291ac1d35fa8d7194c4ac2a44995bdc3436e2bf956df7e86e:headline:f1ee4d092993b99a",
      "before_evidence": "https://web.archive.org/web/20260719235641/https://caj.al/",
      "before_evidence_kind": "internet_archive",
      "kind": "headline",
      "label": "Headline",
      "summary": "Changed its homepage headline from “Make it provably correct, down to the machine level” to “Transformative AI is here. Now what?”.",
      "between": {
        "from": "2026-07-19T23:56:41.000Z",
        "to": "2026-10-12T02:26:31.000Z"
      },
      "evidence": "https://web.archive.org/web/20261012022631/https://caj.al/",
      "evidence_kind": "internet_archive",
      "basis": "page_facts",
      "topic": null
    },
    {
      "n": 2,
      "id": "page-e44f6c62664df29291ac1d35fa8d7194c4ac2a44995bdc3436e2bf956df7e86e:9eea4888f5149079ed4123ba3e4518f64ab76187d6d83f0d7b0d29acd9885898:headline:19102d727b3d1470",
      "before_evidence": "https://web.archive.org/web/20261012022631/https://caj.al/",
      "before_evidence_kind": "internet_archive",
      "kind": "headline",
      "label": "Headline",
      "summary": "Changed its homepage headline from “Transformative AI is here. Now what?” to “Reliable speedups for large workloads”.",
      "between": {
        "from": "2026-10-12T02:26:31.000Z",
        "to": "2026-11-05T12:16:29.827Z"
      },
      "evidence": "https://caj.al/",
      "evidence_kind": "live_capture",
      "basis": "page_facts",
      "topic": null
    }
  ],
  "update": null,
  "method": {
    "version": "messaging-v1",
    "description": "https://startuphistory.org/method"
  },
  "license": "CC-BY-4.0",
  "cite": "StartupHistory, “Cajal” company record, https://startuphistory.org/c/caj.al"
}