Issues

• Device lane spill: a loop at the exact fill depth spills and restores the whole stack on every call (~200x slower)

  bendlang/bend#1790 · Filter by author Lorenzobattistela opened on Oct 20, 2026

• A do-block bind or let without its type annotation reports an unrelated error

  bendlang/bend#1787 · Filter by author HamedShams opened on Oct 20, 2026

• IO.model: a pure interpreter for laws about a program’s observable IO behavior

  bendlang/bend#1784 · Filter by author viridale opened on Oct 20, 2026

• Calling a def written below its caller reports "an unfilled law is a dead claim", not the ordering rule

  bendlang/bend#1782 · Filter by author viridale opened on Oct 20, 2026

• A tiled matmul in Bend runs about 4x slower than the same kernel handwritten in CUDA: where the time goes

  bendlang/bend#1781 · Filter by author nuxyel opened on Oct 20, 2026

• CUDA: the leaves of a balanced fork tree land on threads in an order that changes from run to run, so a layout cannot be coalesced

  bendlang/bend#1780 · Filter by author nuxyel opened on Oct 20, 2026

• The test and perf gates run ! on Metal only; CUDA-specific behaviour goes unnoticed

  bendlang/bend#1779 · Filter by author nuxyel opened on Oct 20, 2026

• CUDA: Array.new inside a bang fills the new block in one loop on one lane (~4.6 ns a cell)

  bendlang/bend#1778 · Filter by author nuxyel opened on Oct 20, 2026

• A safe way to give a fork tree's leaves disjoint parts of one Array to write (the counterpart of #1376)

  bendlang/bend#1777 · Filter by author nuxyel opened on Oct 19, 2026

• CUDA: the error poll in every flat loop (err_spun) makes ptxas yield on each iteration; tight loops run up to 20x slower

  bendlang/bend#1776 · Filter by author nuxyel opened on Oct 19, 2026

• Buffered Chan receives scale quadratically on the Node host

  bendlang/bend#1720 · Filter by author oxura opened on Oct 18, 2026

• C backend: a memory-bound loop's speed depends on unrelated code (flipping BLK_SHR in a program that never forks makes it 10-18% faster)

  bendlang/bend#1648 · Filter by author nuxyel opened on Oct 17, 2026

• Proposal for bend.ts: content-keyed template instance names, for parallel and cached checking

  bendlang/bend#1633 · Filter by author ScottMoore0 opened on Oct 17, 2026
  2

• Proposals for bend.ts: clearer messages for seven common mistakes

  bendlang/bend#1632 · Filter by author ScottMoore0 opened on Oct 17, 2026
  10

• err_fail's _exit and stdio leave an embedder no fatal path (terminal state, signals)

  bendlang/bend#1624 · Filter by author rofrol opened on Oct 16, 2026

• --verdict rejects a reused proof after reconstructing a constructor with a function field

  bendlang/bend#1623 · Filter by author sebastian-griego opened on Oct 16, 2026
  1

• F32.from_nat wraps values at 2^32

  bendlang/bend#1609 · Filter by author oxura opened on Oct 16, 2026

• wasm32/Emscripten CPU-only build mode for generated C?

  bendlang/bend#1598 · Filter by author rofrol opened on Oct 16, 2026
  1

• Freestanding C builds: a BEND_HOST hook that replaces the runtime's OS host

  enhancement
  bendlang/bend#1594 · Filter by author GunnarZarncke opened on Oct 15, 2026

• IO request to evaluate a pure function off the IO loop thread

  bendlang/bend#1575 · Filter by author rofrol opened on Oct 15, 2026

• A file read into an Array<U32>, so loading model weights is not one list cell per byte

  enhancement
  bendlang/bend#1573 · Filter by author nuxyel opened on Oct 15, 2026
  2

• safe: refute empty ~ columns in a specialized def's cover instead of leaving it out of scope

  enhancementlater
  bendlang/bend#1544 · Filter by author nicolas-abril opened on Oct 13, 2026

• IO.safe_eval and IO.unsafe_eval: check and run Bend source at runtime

  later
  bendlang/bend#1534 · Filter by author MattCozendey opened on Oct 12, 2026
  3

• -o fails when two versions of one hub package define the same C effect: redefinition of <effect>_run

  bendlang/bend#1533 · Filter by author paymog opened on Oct 12, 2026

• An imported forward dotted datatype is resolved as lib.lib:Type

  bendlang/bend#1514 · Filter by author jasisz opened on Oct 12, 2026
  5