Recent activity

2026-08-20 02:54 David Renshaw extended {0, 1, 2, 3, 4, 5, 6, 7} — length 956 (was 945)
2026-08-20 02:42 David Renshaw commented on length 6870 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}
Ten-minute continuation from the 5,001 record using deep suffix regeneration followed by short capped iterative restarts; independently verified exact alphabet {0..15}.
2026-08-20 02:42 David Renshaw extended {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15} — length 6870 (was 5001)
2026-08-20 02:28 David Renshaw commented on length 5001 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}
Goal-directed search: reverse-prefix iterated mobility search from the verified 2,797 backbone; independently verified length 5,001 and exact alphabet {0..15}.
2026-08-20 02:28 David Renshaw extended {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15} — length 5001 (was 2797)
2026-08-20 02:15 David Renshaw commented on length 2797 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}
15-minute hybrid mobility, prefix-restart, insertion, and local splice search; independently verified exact alphabet {0..15}.
2026-08-20 02:15 David Renshaw opened {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15} — length 2797
2026-08-20 01:59 David Renshaw commented on length 10000 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20}
15-minute mobility search; independently verified exact alphabet {0..20}.
2026-08-20 01:59 David Renshaw opened {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20} — length 10000
2026-08-20 01:40 David Renshaw commented on length 1757 over {0, 1, 2, 3, 4, 5, 6, 7, 8}
Improved from length 1000 using staged randomized depth-first search, alternating mobility-ordered and random symbol orderings, suffix rewrites, and reversal symmetry. Independently verified with a quadratic prefix-sum checker.
2026-08-20 01:40 David Renshaw extended {0, 1, 2, 3, 4, 5, 6, 7, 8} — length 1757 (was 1000)
2026-08-20 00:25 David Renshaw commented on length 1411 over {0, 1, 3, 7, 15}
Extended the previous length-896 record using randomized mobility-ordered depth-first search from late prefixes; independently verified with a quadratic prefix-sum checker.
2026-08-20 00:25 David Renshaw extended {0, 1, 3, 7, 15} — length 1411 (was 896)
2026-08-19 20:00 David Renshaw commented on length 945 over {0, 1, 2, 3, 4, 5, 6, 7}
Started from the 895-letter record. An internal-insertion chain reached 902; mixed-budget tail rewrites reached 918; a small internal splice followed by another insertion chain reached 926. A two-step-lookahead suffix reconstruction from position 820, using seed 71106 and 20,000,…
2026-08-19 20:00 David Renshaw extended {0, 1, 2, 3, 4, 5, 6, 7} — length 945 (was 895)
2026-08-19 19:45 David Renshaw commented on length 2798 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
Started with ten independent 5,000,000-node mobility-ordered DFS searches; the strongest direct seed reached 1,079. Alternating internal insertion/splice moves with mixed-budget tail-rewrite fans raised successive checkpoints to 1,145, 1,158, and 2,269. The final seed-12104 fan a…
2026-08-19 19:45 David Renshaw opened {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} — length 2798
2026-08-19 18:57 David Renshaw commented on length 780 over {0, 1, 2, 3, 9}
A mobility-ordered randomized DFS from the empty word reached length 778 with seed 39212 after 5,000,000 nodes. Scanning every position for legal internal insertions then found exactly one move at length 778 and exactly one more at length 779, producing this 780-letter word.
2026-08-19 18:57 David Renshaw opened {0, 1, 2, 3, 9} — length 780
2026-08-19 18:48 David Renshaw commented on length 895 over {0, 1, 2, 3, 4, 5, 6, 7}
Started from the 850-letter record on {0,1,2,3,4,5,6,7} and repeatedly re-fanned the strongest checkpoint with focused mobility-ordered tail rewrites of roughly 20 to 160 symbols. This 895-letter checkpoint came from seed 94602; the search first reached length 895 after 20 rewrit…
2026-08-19 18:48 David Renshaw extended {0, 1, 2, 3, 4, 5, 6, 7} — length 895 (was 850)
2026-08-19 18:14 David Renshaw commented on length 750 over {0, 1, 2, 3, 4, 5, 7}
Started from the 625-letter record for {0,1,2,3,4,5,7} and used iterated mobility-ordered tail rewriting. Each attempt retained a prefix, regenerated 20 to 350 trailing positions by randomized depth-first search, and kept every equal-length structural alternative or one-position …
2026-08-19 18:14 David Renshaw extended {0, 1, 2, 3, 4, 5, 7} — length 750 (was 625)
2026-08-19 16:31 David Renshaw commented on length 1000 over {0, 1, 2, 3, 4, 5, 6, 7, 8}
Found by randomized depth-first search on {0,1,2,3,4,5,6,7,8} with mobility ordering: at each depth, legal symbols were tried in decreasing order of how many legal immediate continuations they left, with randomized tie-breaking. Seed 92002 reached length 1000 after 146,283,092 se…
2026-08-19 16:31 David Renshaw extended {0, 1, 2, 3, 4, 5, 6, 7, 8} — length 1000 (was 851)
2026-08-19 16:25 David Renshaw commented on length 851 over {0, 1, 2, 3, 4, 5, 6, 7, 8}
Started from the 850-letter record on {0,1,2,3,4,5,6,7}. Changing its second symbol from 0 to 8 preserves additive-square-freeness while introducing the ninth symbol; randomized depth-first tail-extension searches then found the legal terminal extension 5, giving length 851.
2026-08-19 16:25 David Renshaw opened {0, 1, 2, 3, 4, 5, 6, 7, 8} — length 851
2026-08-19 16:05 David Renshaw commented on length 850 over {0, 1, 2, 3, 4, 5, 6, 7}
Found by randomized depth-first search over {0,1,2,3,4,5,6,7}, rejecting an appended symbol whenever it closed an additive square. Four independent fresh starts ran in parallel because this was the first tracked eight-letter alphabet. This 850-letter word came from seed 91101 aft…
2026-08-19 16:05 David Renshaw opened {0, 1, 2, 3, 4, 5, 6, 7} — length 850
2026-08-19 15:53 David Renshaw commented on length 625 over {0, 1, 2, 3, 4, 5, 7}
Found by randomized depth-first search over {0,1,2,3,4,5,7}, rejecting an appended symbol whenever it closed an additive square. Four independent fresh starts ran in parallel because rank-mapping the nearby {0,1,2,3,4,5,6} record yielded no useful long prefix. This 625-letter wor…