User contributions for Polygon
Jump to navigation
Jump to search
22 February 2026
- 10:0210:02, 22 February 2026 diff hist +24 Brainfuck Added Category:Functions current
- 09:5909:59, 22 February 2026 diff hist +205 Skelet 1 Added it having needed an individual proof in Coq-BB5 current
- 09:5809:58, 22 February 2026 diff hist +205 Skelet 17 Added it having needed an individual proof in Coq-BB5 current
21 February 2026
- 19:2919:29, 21 February 2026 diff hist +108 Coq-BB5 Added other domains that were proven current
- 19:2319:23, 21 February 2026 diff hist 0 m Coq-BB5 grammar
- 19:2219:22, 21 February 2026 diff hist +127 Coq-BB5 Mentioned import
- 19:1019:10, 21 February 2026 diff hist +1,116 Coq-BB5 Added links to the individual proofs
- 19:0219:02, 21 February 2026 diff hist +543 Coq-BB5 Attempted to expand this a bit: Described locations of proofs for individual TMs
- 17:1217:12, 21 February 2026 diff hist +1,891 Finned 3 Completed move current Tag: Removed redirect
- 17:1217:12, 21 February 2026 diff hist −1,917 1RB1RE 1LC1RB 0RA0LD 1LB1LD ---0RA Moving this to Finned 3 current Tag: New redirect
- 16:4616:46, 21 February 2026 diff hist −21 User:Polygon/Page for testing Skelet 10 has been created, removed rom missing current Tag: Manual revert
- 15:3315:33, 21 February 2026 diff hist +70 1RB1RF 0LC1RC 1RD1LC 1RZ0RE 1RA1LF 1RA0LE Added See also to de-orphan 1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA current
- 15:0015:00, 21 February 2026 diff hist +92 Skelet 10 Added note
- 14:5314:53, 21 February 2026 diff hist +141 Skelet 10 Added rewrites of left side rules
- 14:5014:50, 21 February 2026 diff hist +44 Skelet 10 →Behavior: added missing references
- 14:4914:49, 21 February 2026 diff hist +388 Skelet 10 Added increment effects
- 14:4014:40, 21 February 2026 diff hist +481 Skelet 10 Added cases for least-significant digits
- 14:1914:19, 21 February 2026 diff hist +3 Skelet 10 big-endian
- 14:1814:18, 21 February 2026 diff hist +632 Skelet 10 Added T and L notations
- 14:0514:05, 21 February 2026 diff hist +121 Skelet 10 Added left side rules
- 13:5713:57, 21 February 2026 diff hist +3 Skelet 10 Moving little-endian to increment rules
- 13:5613:56, 21 February 2026 diff hist +106 Skelet 10 Added the Zeckendorf increment rules
- 13:5113:51, 21 February 2026 diff hist +5 Skelet 10 More precise about notation
- 13:4713:47, 21 February 2026 diff hist +55 Skelet 10 Linked base fibonacci to the wikipedia article about Zeckendorfs theorem
- 13:4013:40, 21 February 2026 diff hist +117 Skelet 10 Mentioned Z(n) being in little-endian
- 13:3513:35, 21 February 2026 diff hist +178 Skelet 10 Added Zeckendorf rewriting of right side counter
- 13:2113:21, 21 February 2026 diff hist −5 1RB1RE 1LC1RB 0RA0LD 1LB1LD ---0RA reworded beginning
- 13:1913:19, 21 February 2026 diff hist −18 Sync bi-counter →Examples: linked Skelet 10 to wiki article current
- 13:1613:16, 21 February 2026 diff hist +118 Irregular Turing Machine Referencing current
- 13:1113:11, 21 February 2026 diff hist +44 BB(5) Added see also section current
- 13:0913:09, 21 February 2026 diff hist +117 Skelet 17 Referenced irregularity
- 13:0213:02, 21 February 2026 diff hist +145 Irregular Turing Machine Expanded (text taken from https://discord.com/channels/960643023006490684/960643023530762341/1357307689109028874)
- 12:5412:54, 21 February 2026 diff hist +140 1RB1RE 1LC1RB 0RA0LD 1LB1LD ---0RA Added sentence about it having been proven irregular
- 12:5012:50, 21 February 2026 diff hist +131 1RB1RE 1LC1RB 0RA0LD 1LB1LD ---0RA Referenced it having needed an individual proof
- 12:4912:49, 21 February 2026 diff hist +62 Skelet 10 Added See also section
- 12:4712:47, 21 February 2026 diff hist +147 Skelet 10 Added it having required an individual proof of non-halting
- 12:4212:42, 21 February 2026 diff hist +103 Skelet 10 Mentioned increment rules
- 12:3912:39, 21 February 2026 diff hist +170 Skelet 10 Added a sentence about the left side counter
- 12:2912:29, 21 February 2026 diff hist 0 m Skelet 10 reference position
- 12:2812:28, 21 February 2026 diff hist +198 Skelet 10 →Behavior: rght side counter
- 12:2412:24, 21 February 2026 diff hist +4 Skelet linked BB(4) current
- 12:2112:21, 21 February 2026 diff hist +289 Skelet 10 Added behavior section
- 12:1612:16, 21 February 2026 diff hist +23 N 1LC0LA ---0LC 0RD1LA 1LB1RE 1RD0RE Redirected page to Skelet 10 current Tag: New redirect
- 12:1612:16, 21 February 2026 diff hist +255 N Skelet 10 Created page with "{{machine|1LC0LA_---0LC_0RD1LA_1LB1RE_1RD0RE}}{{Stub}} {{TM|1LC0LA_---0LC_0RD1LA_1LB1RE_1RD0RE}}, called '''Skelet #10''', was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It is a double fibonacci counter. Category:BB(5)"
- 11:4411:44, 21 February 2026 diff hist +21 User:Polygon/Page for testing added missing
- 11:2911:29, 21 February 2026 diff hist −2 Repeated Word List diagram --> graph current
- 11:2711:27, 21 February 2026 diff hist +4 TMBR: February 2026 →Holdouts: separators for readabliity
- 10:5410:54, 21 February 2026 diff hist 0 m 1RB0RF 1LC1RB 0RD0LB 1RZ0LE 1RE0RA 1RD1RE →Analysis by racheline: grammar current
- 10:5310:53, 21 February 2026 diff hist +5 Shift overflow counter →Examples: this one also halts current
20 February 2026
- 23:5723:57, 20 February 2026 diff hist +41 Repeated Word List Added simulation beginning on blank tape