Shadowgraph
TrendingAbout
Sign in

thomasdavis/bend-experiments

0

7 commits

updated Sep 18, 2026

See the code

See what people are saying (1)

SourceMessageScoreDate

Bend – A language that blocks AI mistakes via proof, on CPU and GPU

I gave it a spin using muse 1.3 Got it to port kaparthys microgpt -> https://github.com/thomasdavis/bend-experiments/tree/main/mi... muse did surprisingly well getting it to work, can't speak for the code quality.

0

Sep 18, 2026

README

bend-experiments

Private Bend playground. Bend 2.0.5.

Setup

curl -fsSL https://bend-lang.com/install.sh | sh
export PATH="$HOME/.bend/bin:$PATH"
bend guide   # the whole language
bend base    # stdlib reference

Workflow (per AGENTS.md)

bend hello.bend    # run
bend pow2.bend     # parallel demo (1024)
bend PROOF.bend    # gate: must print "All terms check." before commit

Laws live in LAWS.bend (human-owned, AI does not touch). Proofs + code live in PROOF.bend + *.bend (AI-written). Breaking a law must fail bend PROOF.bend; no merge until green.

Contributors

thomasdavis

7 commits

Similar repos

bendlang/bend

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL…

19,940

geekyayush/bend-lang

Unofficial guide to Bend programming language

42

drivelineresearch/autoresearch-claude-code

Autonomous experiment loop skill for Claude Code — port of pi-autoresearch

344

decuser/aiki

Aiki is an experimental programming language and learning field designed to make computation…

4

HigherOrderCO/Bend1

Bend 1: the original massively parallel, high-level programming language (superseded by…

1

sapientinc/PRAXIST

Autonomous research system for measurable, computer-executable research.

5,754

shitianfang/build2me

A prove2me-style protocol for building software with swarms of parallel agents: immutable contract…

2

MattCreigh/beagle

Beagle — domain-agnostic autonomous agentic workflow system (canonical main repository).…

2

thomasdavis/bend-experiments

0

7 commits

updated Sep 18, 2026

See the code

See what people are saying (1)

SourceMessageScoreDate

Bend – A language that blocks AI mistakes via proof, on CPU and GPU

I gave it a spin using muse 1.3 Got it to port kaparthys microgpt -> https://github.com/thomasdavis/bend-experiments/tree/main/mi... muse did surprisingly well getting it to work, can't speak for the code quality.

0

Sep 18, 2026

README

bend-experiments

Private Bend playground. Bend 2.0.5.

Setup

curl -fsSL https://bend-lang.com/install.sh | sh
export PATH="$HOME/.bend/bin:$PATH"
bend guide   # the whole language
bend base    # stdlib reference

Workflow (per AGENTS.md)

bend hello.bend    # run
bend pow2.bend     # parallel demo (1024)
bend PROOF.bend    # gate: must print "All terms check." before commit

Laws live in LAWS.bend (human-owned, AI does not touch). Proofs + code live in PROOF.bend + *.bend (AI-written). Breaking a law must fail bend PROOF.bend; no merge until green.

Similar repos

bendlang/bend

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL…

19,940

geekyayush/bend-lang

Unofficial guide to Bend programming language

42

drivelineresearch/autoresearch-claude-code

Autonomous experiment loop skill for Claude Code — port of pi-autoresearch

344

decuser/aiki

Aiki is an experimental programming language and learning field designed to make computation…

4

HigherOrderCO/Bend1

Bend 1: the original massively parallel, high-level programming language (superseded by…

1

sapientinc/PRAXIST

Autonomous research system for measurable, computer-executable research.

5,754

shitianfang/build2me

A prove2me-style protocol for building software with swarms of parallel agents: immutable contract…

2

MattCreigh/beagle

Beagle — domain-agnostic autonomous agentic workflow system (canonical main repository).…

2

Contributors

thomasdavis

7 commits