All pull requests

Pull requests

• fix(cli): fail updates when installer download fails

  #1485·vicmcorrea opened Oct 11, 2026Contributor·

  ·
  1

• Hello my darling

  #1484·mebombay81-crypto opened Oct 11, 2026·

  ·

• On the CPU, a grow that runs past 1 ms with threads idle deals its forks over the rows, so a call before each fork no longer keeps a fork tree on a few threads (#1475)

  #1479·viridale opened Oct 10, 2026Contributor·

  ·
  1

• fix(lint): use parsed declarations in formatting guard

  #1477·vicmcorrea opened Oct 10, 2026Contributor·

  ·

• fix(runtime)!: separate settings from program arguments

  #1476·oxura opened Oct 10, 2026Contributor·

  ·
  1

• fix(io): use U32 main results as exit status

  #1474·oxura opened Oct 10, 2026Contributor·

  ·
  1

• bend PROOF.bend fails only when a law or its proof relies on unsafe or foreign code (#1463)

  #1472·viridale opened Oct 10, 2026Contributor·

  ·
  1

• Process.run runs on the Node host, on child_process's spawnSync

  #1469·BaaRai opened Oct 10, 2026·

  ·
  1

• A native build takes $CFLAGS after its -O3, as it takes $CC: with CFLAGS=-march=native the kmeans bench runs 2.3x faster and a U32 mix 3x, nbody 10% slower, so the flag is the builder's, not a default

  #1461·aldeni opened Oct 9, 2026Contributor·

  ·

• String.order walks both strings once and hands nothing back: a comparison is one tail call per char, 8x on the C lane, and String.eq of two 50000-char strings no longer overflows the JS lane

  #1459·aldeni opened Oct 9, 2026Contributor·

  ·

• fix(io): resume invalid descriptor operations after EBADF

  #1456·oxura opened Oct 9, 2026Contributor·

  ·
  1

• fix(cli): preserve inline script diagnostic positions

  #1454·Osraka opened Oct 9, 2026Contributor·

  ·

• --check-only doesn't re-check the modules an earlier run checked (#1234)

  #1453·Lorenzobattistela opened Oct 9, 2026Collaborator·

  ·
  1

• A flat generic def takes a record in words where its result does (#1195)

  #1452·Lorenzobattistela opened Oct 9, 2026Collaborator·

  ·
  1

  7

• fix(kernel): prove empty datatype consistency

  #1448·oxura opened Oct 9, 2026Contributor·

  ·
  1

• A bang chains its rounds on the device: the pack takes the next frontier and sizes the next round's passes, so one GPU submission holds up to 64 rounds

  #1447·nicolas-abril opened Oct 9, 2026Collaborator·

  ·

• fix(io): fail file writes on zero progress

  #1446·oxura opened Oct 9, 2026Contributor·

  ·
  1

• fix(safe): reuse checked definitions as opaque models

  #1444·oxura opened Oct 9, 2026Contributor·

  ·

• feat(window): preserve logical rendering resolution in native fullscreen

  #1443·oxura opened Oct 9, 2026Contributor·

  ·
  1

• perf(io): index parked descriptor waiters and timers

  #1442·oxura opened Oct 9, 2026Contributor·

  ·

• feat(window): emit native text input events

  #1441·oxura opened Oct 9, 2026Contributor·

  ·
  1

• Metal: a full lane stack spills to the heap, so non-tail recursion under ! no longer faults at 1023 frames (#1393, #1394)

  #1439·totaland opened Oct 9, 2026·

  ·
  2

  4

  

• fix(runtime): release tail-drop frames before the last child

  #1438·oxura opened Oct 9, 2026Contributor·

  ·
  1

  

• Metal's OUTLINE is noinline, so a large kernel stays under the AGX backend's 256 flow states

  #1433·totaland opened Oct 9, 2026·

  ·
  2

  

• fix(runtime): enforce Unicode scalars at construction and JS boundaries

  #1411·oxura opened Oct 8, 2026Contributor·

  ·
  1