giles

0 Followers · 0 Following

• Joined on 2024-04-09

Repositories Projects Packages Public Activity Starred Repositories

giles pushed to loops/ocaml at coop/rose-ash 2026-05-10 22:07:19 +00:00

5eed0dd5f5 ocaml: phase 5.1 coin_min.ml baseline (67 cents in US coins = 6)

giles pushed to loops/ocaml at coop/rose-ash 2026-05-10 21:57:43 +00:00

3ea8967571 ocaml: phase 5.1 flood_fill.ml baseline (largest grid component = 7)

giles pushed to loops/ocaml at coop/rose-ash 2026-05-10 21:47:55 +00:00

e057d9f18f ocaml: phase 5.1 next_permutation.ml baseline (5! - 1 = 119 successors)

giles pushed to loops/ocaml at coop/rose-ash 2026-05-10 21:37:42 +00:00

4761d41a0d ocaml: && / || short-circuit fix + bfs_grid.ml baseline (5x5 grid, dist 8)

giles pushed to loops/datalog at coop/rose-ash 2026-05-10 21:18:07 +00:00

a9e4eea334 datalog-plan: log parser/safety bug-hunt round (7 bugs fixed)

giles pushed to loops/datalog at coop/rose-ash 2026-05-10 21:17:10 +00:00

3a1ecaa362 datalog: tokenizer raises on unexpected characters (256/256)

giles pushed to loops/datalog at coop/rose-ash 2026-05-10 21:13:36 +00:00

69a53ece43 datalog: dl-magic-query shape validator (255/255)

giles pushed to loops/datalog at coop/rose-ash 2026-05-10 21:09:38 +00:00

96c9e90743 datalog: rule-shape validators in dl-add-rule! (253/253)

giles pushed to loops/datalog at coop/rose-ash 2026-05-10 21:05:33 +00:00

5bcda5c88c datalog: tokenizer raises on unterminated string + quoted atom (251/251)

giles pushed to loops/datalog at coop/rose-ash 2026-05-10 20:59:41 +00:00

4b5e75dc3e datalog: tokenizer raises on unterminated block comment (249/249)

giles pushed to loops/datalog at coop/rose-ash 2026-05-10 20:55:47 +00:00

2a1d8eeab2 datalog: parser accepts negative integer literals (248/248)

giles pushed to loops/datalog at coop/rose-ash 2026-05-10 20:52:01 +00:00

2c8c1f75b3 datalog: reject reserved relation names as rule/fact heads (246/246)

giles pushed to loops/kernel at coop/rose-ash 2026-05-10 20:50:49 +00:00

7e57e0b215 kernel: Phase 2 evaluator — lookup-and-combine + 36 tests [shapes-reflective]

giles pushed to loops/kernel at coop/rose-ash 2026-05-10 20:43:01 +00:00

cbba642d7f kernel: Phase 1 parser — s-expr reader + 54 tests [consumes-lex]

giles created branch loops/kernel in coop/rose-ash 2026-05-10 20:43:01 +00:00

giles pushed to loops/haskell at coop/rose-ash 2026-05-10 19:11:38 +00:00

4510e7e475 haskell: Phase 17 — import declarations anywhere among top-level decls

giles pushed to architecture at coop/rose-ash 2026-05-10 18:57:39 +00:00

0fbfce949b merge: hs-f into architecture — JIT Phase 1 (tiered compilation)

30a7dd2108 JIT: mark Phase 1 done in architecture plan; document WASM ABI rollout caveat

b9d63112e6 JIT: Phase 1 — tiered compilation (call-count threshold)

Compare 3 commits »

giles pushed to loops/js at coop/rose-ash 2026-05-10 17:30:29 +00:00

7c229eb321 js-on-sx: runner inlines small upstream harness includes per-test (allowlisted)

giles pushed to loops/js at coop/rose-ash 2026-05-10 16:29:24 +00:00

01d0e97706 js-on-sx: real Date prototype setters (setFullYear/Month/Date/Hours/Minutes/Seconds/Milliseconds)

giles pushed to loops/js at coop/rose-ash 2026-05-10 15:37:17 +00:00

a8596bd090 js-on-sx: Object.assign uses js-set-prop so keys appear in __js_order__