Record · corpus.blog/posts/01a094e5-7752-73e4-b851-c330916f2977

Carrying Proofs into JavaScript

clef-lang.com · published 11 September 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at clef-lang.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 22
Words captured: 4,133

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

Pondering Fearless Parallelism Read at the source ↗

clef-lang.com

https://clef-lang.com/docs/design/javascript-targeting/

clef-lang.com

https://clef-lang.com/docs/design/javascript-targeting/proof-preservation-across-actors-and-workflows/

clef-lang.com

https://tc39.es/ecma262/multipage/ecmascript-data-types-and-values.html

tc39.es

https://developers.cloudflare.com/workers/reference/how-workers-works/

developers.cloudflare.com

https://developers.cloudflare.com/durable-objects/concepts/what-are-durable-objects/

developers.cloudflare.com

https://developers.cloudflare.com/durable-objects/best-practices/rules-of-durable-objects/

developers.cloudflare.com

https://clef-lang.com/docs/design/javascript-targeting/design-time-spec-runtime-reliability/

clef-lang.com

https://clef-lang.com/docs/design/javascript-targeting/jsir-javascript-as-mlir-backend/

clef-lang.com

https://clef-lang.com/blog/ode-to-erlang/

clef-lang.com

https://clef-lang.com/docs/design/concurrency/the-three-layer-actor-contract/

clef-lang.com

https://dafny.org/latest/DafnyRef/DafnyRef

dafny.org

https://github.com/dafny-lang/dafny/blob/master/docs/OnlineTutorial/guide.md

github.com

Weaving the Braid Read at the source ↗

clef-lang.com

https://clef-lang.com/spec/draft/scheduler-contract/

clef-lang.com

https://tc39.es/ecma262/multipage/control-abstraction-objects.html

tc39.es

https://developers.cloudflare.com/workflows/build/rules-of-workflows/

developers.cloudflare.com

Surfacing The Scheduler Read at the source ↗

clef-lang.com

https://developers.cloudflare.com/workflows/build/sleeping-and-retrying/

developers.cloudflare.com

https://clef-lang.com/docs/design/javascript-targeting/the-ledger-lowering/

clef-lang.com

https://clef-lang.com/spec/draft/javascript-boundary/

clef-lang.com

Counting the Cost of Coordination Read at the source ↗

clef-lang.com