giles

giles pushed to loops/minikanren at coop/rose-ash

2026-05-09 13:18:29 +00:00

d1817e026d mk: phase 6 piece B — bounds-consistency for fd-plus + fd-times

giles pushed to loops/ocaml at coop/rose-ash

2026-05-09 13:15:06 +00:00

0eef5bc8e6 ocaml: phase 5.1 twosum.ml baseline (LeetCode #1 one-pass hashmap, index sum = 5)

giles pushed to loops/datalog at coop/rose-ash

2026-05-09 13:11:50 +00:00

d437727f1d datalog: magic regression tests from bug-hunt round (242/242)

giles pushed to loops/js at coop/rose-ash

2026-05-09 13:09:14 +00:00

16e21ef6fa js-on-sx: Function.prototype.{call,apply,bind,toString} expose spec length/name

giles pushed to architecture at coop/rose-ash

2026-05-09 13:03:08 +00:00

ef0a24f0db plans: minikanren-deferred — four pieces of follow-up work

giles pushed to loops/ocaml at coop/rose-ash

2026-05-09 13:02:21 +00:00

50981a2a9b ocaml: phase 5.1 bisect.ml baseline (root-finding, sqrt(2)*100 = 141)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-09 12:52:57 +00:00

05487b497d ocaml: phase 5.1 base_n.ml baseline (int to base-N string, length sum = 17)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-09 12:44:03 +00:00

af38d98583 ocaml: phase 5.1 prime_factors.ml baseline (trial-division, 360 factor sum = 17)

giles pushed to loops/js at coop/rose-ash

2026-05-09 12:36:49 +00:00

cd014cdb29 js-on-sx: Function.prototype call/apply/bind/toString delegate to real impl

giles pushed to loops/ocaml at coop/rose-ash

2026-05-09 12:34:42 +00:00

f5122a9a5d ocaml: phase 5.1 atm.ml baseline (mutable record + exception + try/with, balance = 120)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-09 12:24:49 +00:00

097c7f4590 ocaml: phase 5.1 bf_full.ml baseline (full Brainfuck with [] loops, +++[.-] = 6)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-09 12:14:33 +00:00

5c587c0f61 ocaml: phase 5.1 anagram_check.ml baseline (char-frequency array, 2/4 anagrams)

giles pushed to loops/js at coop/rose-ash

2026-05-09 12:07:35 +00:00

adc4cb89c6 js-on-sx: fn proto chain walks through functions; fn.prototype = X persists

giles pushed to loops/ocaml at coop/rose-ash

2026-05-09 12:04:46 +00:00

acc8b01ddb ocaml: phase 5.1 exception_user.ml baseline (user exception with payload, 4+5+7+10 = 26)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-09 11:52:21 +00:00

027678f31e ocaml: phase 5.1 flatten_tree.ml baseline (parametric ADT flatten, sum 1..7 = 28)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-09 11:42:54 +00:00

cca3a28206 ocaml: phase 5.1 gcd_lcm.ml baseline (Euclidean gcd + lcm, 12+12+36 = 60)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-09 11:33:35 +00:00

b8dfc080dd ocaml: phase 5.1 zip_unzip.ml baseline (zip/unzip round-trip, sum-product = 1000)

giles pushed to loops/js at coop/rose-ash

2026-05-09 11:33:25 +00:00

4481f5f98b js-on-sx: call/apply substitute global for null/undefined this (non-strict)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-09 11:19:24 +00:00

ac19b7aced ocaml: phase 5.1 bigint_add.ml baseline (digit-list bignum add, 1+18+9 = 28)

giles pushed to loops/ocaml at coop/rose-ash

2026-05-09 11:09:30 +00:00

aa0a7fa1a2 ocaml: phase 5.1 expr_simp.ml baseline (symbolic simplifier, eval(simp e) = 22)