{
    "archive_path": "archive/1789682786.716183",
    "base_url": "bend-lang.com",
    "basename": "",
    "bookmarked_date": "2026-09-17 22:06",
    "canonical": {
        "archive_org_path": "https://web.archive.org/web/bend-lang.com",
        "dom_path": "output.html",
        "favicon_path": "favicon.ico",
        "git_path": "git/",
        "google_favicon_path": "https://www.google.com/s2/favicons?domain=bend-lang.com",
        "headers_path": "headers.json",
        "htmltotext_path": "htmltotext.txt",
        "index_path": "index.html",
        "media_path": "media/",
        "mercury_path": "mercury/content.html",
        "pdf_path": "output.pdf",
        "readability_path": "readability/content.html",
        "screenshot_path": "screenshot.png",
        "singlefile_path": "singlefile.html",
        "warc_path": "warc/",
        "wget_path": "bend-lang.com/index.html"
    },
    "domain": "bend-lang.com",
    "extension": "",
    "hash": "KSCZ4XXQPZXQVTMFT3KM",
    "history": {
        "archive_org": [],
        "dom": [],
        "favicon": [
            {
                "cmd": [
                    "curl",
                    "--silent",
                    "--location",
                    "--compressed",
                    "--max-time",
                    "120",
                    "--output",
                    "favicon.ico",
                    "--user-agent",
                    "Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/118.0.0.0 Safari/537.36 ArchiveBox/0.7.4 (+https://github.com/ArchiveBox/ArchiveBox/) curl/curl 8.14.1 (x86_64-pc-linux-gnu)",
                    "https://www.google.com/s2/favicons?domain=bend-lang.com"
                ],
                "cmd_version": "curl 8.14.1 (x86_64-pc-linux-gnu)",
                "end_ts": "2026-09-17T22:08:35.196623+00:00",
                "index_texts": null,
                "output": "favicon.ico",
                "pwd": "/data/archive/1789682786.716183",
                "schema": "ArchiveResult",
                "start_ts": "2026-09-17T22:08:34.721359+00:00",
                "status": "succeeded"
            }
        ],
        "git": [],
        "headers": [
            {
                "cmd": [
                    "curl",
                    "--silent",
                    "--location",
                    "--compressed",
                    "--head",
                    "--max-time",
                    "120",
                    "--user-agent",
                    "Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/118.0.0.0 Safari/537.36 ArchiveBox/0.7.4 (+https://github.com/ArchiveBox/ArchiveBox/) curl/curl 8.14.1 (x86_64-pc-linux-gnu)",
                    "https://bend-lang.com/"
                ],
                "cmd_version": "curl 8.14.1 (x86_64-pc-linux-gnu)",
                "end_ts": "2026-09-17T22:08:35.737805+00:00",
                "index_texts": null,
                "output": "headers.json",
                "pwd": "/data/archive/1789682786.716183",
                "schema": "ArchiveResult",
                "start_ts": "2026-09-17T22:08:35.203707+00:00",
                "status": "succeeded"
            }
        ],
        "htmltotext": [],
        "media": [],
        "mercury": [
            {
                "cmd": [
                    "/app/node_modules/@postlight/parser/cli.js",
                    "https://bend-lang.com/"
                ],
                "cmd_version": "1.0.0",
                "end_ts": "2026-09-17T22:08:40.767235+00:00",
                "index_texts": null,
                "output": "mercury",
                "pwd": "/data/archive/1789682786.716183",
                "schema": "ArchiveResult",
                "start_ts": "2026-09-17T22:08:37.787460+00:00",
                "status": "succeeded"
            }
        ],
        "pdf": [],
        "readability": [
            {
                "cmd": [
                    "/app/node_modules/readability-extractor/readability-extractor",
                    "/tmp/tmpayergojw",
                    "https://bend-lang.com/"
                ],
                "cmd_version": "0.0.11",
                "end_ts": "2026-09-17T22:08:37.780777+00:00",
                "index_texts": [
                    "~/bend\n  hubbenderget Bend\n\n\n\n    \u00d71.Install\ncurl -fsSL https://bend-lang.com/install.sh | sh\n    2.Add this to your AGENTS.md\nWhen using Bend:\n- run `bend guide` to learn it\n- use `LAWS.bend` to keep important rules\n- run `bend PROOF.bend` before committing\n- parallelize the code whenever possible\n    3.Enjoy bug-free, fast vibe-coded apps!\n  \n\n\n  Bend\n  a fast language that blocks AI mistakes via proof\n  C speed \u00b7 CUDA parallelism \u00b7 Lean proofs\n\n\n\n  In the post-AGI economy, humans will eventually stop writing\nand reading code, but we still need an ambiguity-free way to\ntell the AIs building the world around us what we want done.\n  With laws, our intents can be much more precise than natural\nlanguage. With proofs, we can verify that the AI implemented\nour prompts correctly. And a fast compiler runs it at speed.\n  That's Bend - and nothing else.\n\n\n\n\n\n  1.Bend runs FAST.\n  Bend compiles to native code. On one core, it runs nearly as\nfast as C. The same binary also runs on sixteen cores, or on\nthe GPU, running up to a hundred times faster than one core.\n  \n    \n    \n    \n    Apple M4 Max \u00b7 lower is better\n  \n\n\n\n  2.Bend compiles FAST.\n  Bend's type checker is a proof checker, as in Lean and Rocq.\nThose can take minutes on a mid-sized codebase. Bend takes a\nsecond at most, so an AI agent can check after every change.\n  \n    \n    \n    \n    Apple M4 Max \u00b7 lower is better\n  \n\n\n\n  3.Bend is PARALLEL.\n  No threads, no locks, no kernels to write. Split the work in\ntwo, and Bend spreads the calls over every core it can find,\nthen joins them back. Now watch pow2 run on 4,096 GPU cores:\n  \n    \n    pow2.bend running on the GPU\n  \n\n\n\n  4.Bend BLOCKS mistakes - with proof\n  How can you trust code you never read? By demanding a proof.\nLAWS.bend is where you declare laws. From then on, no AI can\nship one line that breaks them, ever. Watch it guard a game:\n  \n    Law: winning is impossible\n    \n    So far, it works!\n  \n  \n    New feature:\n    \u201cClaude, make the board wrap around\u201d\n  \n  \n    Without LAWS.bend:\n    \n    Laws broken. AI mistake: merged.\n  \n  \n    With LAWS.bend:\n    \n    Laws intact. AI mistake: blocked!\n  \n  Without LAWS.bend, the bug went live. With LAWS.bend, the AI\nhad to retry until it built a wall and proved the law holds.\nMerging a bug is mathematically impossible: it is a theorem.\nLAWS.bend\n# LAW: no move sequence leads to victory.\nlaw you_cant_win:\n  for moves: List<Move>            # any sequence of moves\n  board = replay(start(), moves)   # replayed from the start\n  is_won(board) == False{}         # never leads to victory\nPROOF.bend\n# PROOF: you_cant_win holds.\ndef Laws.you_cant_win(moves):\n  # ... written by the AI\n  LAWS.bend is AGENTS.md backed by proof.\n\u201cMake no mistakes\u201d is now type-checked.\n  Skeptical? Try breaking the game.\n\n\n\n\n  5.Get started.\n  5.1.Install\ncurl -fsSL https://bend-lang.com/install.sh | sh\n  5.2.Tell your agent to use Bend\n  Add this to your AGENTS.md:\nWhen using Bend:\n- run `bend guide` to learn it\n- use `LAWS.bend` to keep important rules\n- run `bend PROOF.bend` before committing\n- parallelize the code whenever possible\n  Then, just say: \"use Bend\"!\n  5.3.Enjoy bug-free, fast vibe-coded apps!\n  Hints: ask it to write laws for whatever should never break,\nand to parallelize everything you want running fast. Bend is\nyoung: if anything goes wrong, ask it to open an issue. Bend\nworks best on the back-end, on Linux and on macOS. Enjoy! <3\n\n\n\n  6.References.\n  Guide: GUIDE.md is the whole language; bend guide prints it.\nPaper: BendTT, an affine dependent type theory, Bend's core.\nPaper: BendRT, a parallel runtime for CPUs and GPUs, the VM.\n  Bend is still evolving. Expect bugs, and please report them."
                ],
                "output": "readability",
                "pwd": "/data/archive/1789682786.716183",
                "schema": "ArchiveResult",
                "start_ts": "2026-09-17T22:08:36.241808+00:00",
                "status": "succeeded"
            }
        ],
        "screenshot": [],
        "singlefile": [],
        "title": [
            {
                "cmd": [
                    "curl",
                    "--silent",
                    "--location",
                    "--compressed",
                    "--max-time",
                    "120",
                    "--user-agent",
                    "Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/118.0.0.0 Safari/537.36 ArchiveBox/0.7.4 (+https://github.com/ArchiveBox/ArchiveBox/) curl/curl 8.14.1 (x86_64-pc-linux-gnu)",
                    "https://bend-lang.com/"
                ],
                "cmd_version": "curl 8.14.1 (x86_64-pc-linux-gnu)",
                "end_ts": "2026-09-17T22:08:36.237341+00:00",
                "index_texts": null,
                "output": "Bend",
                "pwd": "/data/archive/1789682786.716183",
                "schema": "ArchiveResult",
                "start_ts": "2026-09-17T22:08:36.228897+00:00",
                "status": "succeeded"
            }
        ],
        "wget": [
            {
                "cmd": [
                    "wget",
                    "--no-verbose",
                    "--adjust-extension",
                    "--convert-links",
                    "--force-directories",
                    "--span-hosts",
                    "--no-parent",
                    "-e",
                    "robots=off",
                    "--reject=js,mjs,woff,woff2,ttf,otf,eot,mp4,m4v,mov,webm,ogv,mkv,avi,flv",
                    "--timeout=120",
                    "--restrict-file-names=windows",
                    "--page-requisites",
                    "--user-agent=Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/118.0.0.0 Safari/537.36 ArchiveBox/0.7.4 (+https://github.com/ArchiveBox/ArchiveBox/) wget/GNU Wget 1.21.3",
                    "--compression=auto",
                    "--timestamping",
                    "https://bend-lang.com/"
                ],
                "cmd_version": "GNU Wget 1.21.3",
                "end_ts": "2026-09-17T22:08:36.223037+00:00",
                "index_texts": null,
                "output": "bend-lang.com/index.html",
                "pwd": "/data/archive/1789682786.716183",
                "schema": "ArchiveResult",
                "start_ts": "2026-09-17T22:08:35.743764+00:00",
                "status": "succeeded"
            }
        ]
    },
    "icons": null,
    "is_archived": true,
    "is_static": false,
    "latest": {
        "archive_org": null,
        "dom": null,
        "favicon": "favicon.ico",
        "git": null,
        "media": null,
        "pdf": null,
        "screenshot": null,
        "singlefile": null,
        "title": "Bend",
        "warc": null,
        "wget": "bend-lang.com/index.html"
    },
    "link_dir": "/data/archive/1789682786.716183",
    "newest_archive_date": "2026-09-17T22:08:37.787460+00:00",
    "num_failures": 0,
    "num_outputs": 6,
    "oldest_archive_date": "2026-09-17T22:08:34.721359+00:00",
    "path": "/",
    "schema": "Link",
    "scheme": "https",
    "snapshot_id": "da1500db-3c81-4068-b499-5ff98eff9d32",
    "sources": [
        "/data/sources/1789682786-import.txt"
    ],
    "tags": null,
    "tags_str": "",
    "timestamp": "1789682786.716183",
    "title": "Bend",
    "updated": "2026-09-17T22:08:34.720892+00:00",
    "updated_date": "2026-09-17 22:08",
    "url": "https://bend-lang.com/"
}