User contributions for Int-y1
Jump to navigation
Jump to search
9 May 2026
- 03:3703:37, 9 May 2026 diff hist +195 Sequences add fractran current
12 April 2026
- 09:0909:09, 12 April 2026 diff hist 0 Fractran style
4 April 2026
- 06:3406:34, 4 April 2026 diff hist +187 Cryptids add fenrir
28 March 2026
- 20:1520:15, 28 March 2026 diff hist +42 Fractran →Size 22 Cryptid: link to formal proof
- 08:4808:48, 28 March 2026 diff hist +52 N TMBR Redirected page to Category:This Month in Beaver Research current Tag: New redirect
- 05:1805:18, 28 March 2026 diff hist 0 m Fractran →Size 22 Cryptid
- 04:4804:48, 28 March 2026 diff hist +58 Fractran update summary table
- 04:3304:33, 28 March 2026 diff hist +30 m Fractran →Size 22 Cryptid
- 04:3304:33, 28 March 2026 diff hist +748 Fractran →Size 22 Cryptid: group of 3 holdouts
- 04:1304:13, 28 March 2026 diff hist +1,110 Fractran →Cryptids: add size 22 cryptid
23 March 2026
- 04:3104:31, 23 March 2026 diff hist +248 TMBR: March 2026 fractran
14 February 2026
- 07:4007:40, 14 February 2026 diff hist +16 m Code repositories No edit summary current
- 07:3907:39, 14 February 2026 diff hist +103 Code repositories add C++ Quick_Sim.py
12 February 2026
- 02:4702:47, 12 February 2026 diff hist −3 m Piecewise Affine Function →Formal Definition current
2 January 2026
- 04:0504:05, 2 January 2026 diff hist −2 Fractran →Champions: holdouts update
27 December 2025
- 18:4618:46, 27 December 2025 diff hist +22 TMBR: December 2025 fractran
12 December 2025
- 07:3107:31, 12 December 2025 diff hist +129 Fractran →Champions
- 05:2105:21, 12 December 2025 diff hist 0 Fractran →Champions
- 05:2005:20, 12 December 2025 diff hist +326 Fractran →Champions
- 04:4804:48, 12 December 2025 diff hist 0 Fractran sz21 has 587+15 holdouts now
8 December 2025
- 07:0307:03, 8 December 2025 diff hist +1,364 Fractran add Shawn Ligocki's explanation of BBf(15) and BBf(16)
16 November 2025
- 02:5102:51, 16 November 2025 diff hist +54 Fractran holdout progress
8 October 2025
- 08:4808:48, 8 October 2025 diff hist −4 m Hydra function math format current
- 08:4608:46, 8 October 2025 diff hist −2 m Beaver Math Olympiad math format
- 07:3407:34, 8 October 2025 diff hist −106 Directed head notation math format current
- 07:2807:28, 8 October 2025 diff hist −10 m Collatz-like math format 2
- 07:2707:27, 8 October 2025 diff hist −19 m Collatz-like math format
- 07:2507:25, 8 October 2025 diff hist +11 Inductive Proof System standardize <pre>
- 07:2207:22, 8 October 2025 diff hist −2 m Hydra function math format
30 September 2025
- 05:5305:53, 30 September 2025 diff hist +2 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE move info
28 September 2025
- 07:3807:38, 28 September 2025 diff hist −3 m 1RB1RA 1LC1LE 1RE0LD 1LC0LF 1RZ0RA 0RA0LB start on different state
- 07:3607:36, 28 September 2025 diff hist +55 N 1RB0RF 1LC0RA ---0LD 1LE1LD 1RB1RC 0LD0RE Redirected page to 1RB1RA 1LC1LE 1RE0LD 1LC0LF 1RZ0RA 0RA0LB current Tag: New redirect
- 07:3507:35, 28 September 2025 diff hist +55 N 1RB0RF 1LC0RA 1RZ0LD 1LE1LD 1RB1RC 0LD0RE Redirected page to 1RB1RA 1LC1LE 1RE0LD 1LC0LF 1RZ0RA 0RA0LB current Tag: New redirect
- 07:0707:07, 28 September 2025 diff hist +55 N 1RB1RA 1LC1LE 1RE0LD 1LC0LF ---0RA 0RA0LB Redirected page to 1RB1RA 1LC1LE 1RE0LD 1LC0LF 1RZ0RA 0RA0LB current Tag: New redirect
- 07:0207:02, 28 September 2025 diff hist +55 N 1RB--- 0RC0RA 1RD1RC 1LE1LF 0LB0LD 0LE0RC Redirected page to 1RB1RA 1LC1LE 0LD0LB 0RA0RF 0LC0RA 1RD--- current Tag: New redirect
- 07:0207:02, 28 September 2025 diff hist +55 N 1RB1RE 0RC0RA 0LD0LF 1LA1LD 0RB0LD 1LC--- Redirected page to 1RB1RA 1LC1LE 0LD0LB 0RA0RF 0LC0RA 1RD--- current Tag: New redirect
- 07:0107:01, 28 September 2025 diff hist +369 1RB1RA 1LC1LE 0LD0LB 0RA0RF 0LC0RA 1RD--- similar tm's current
- 06:2306:23, 28 September 2025 diff hist +55 N 1RB0LE 1RC1RB 1RD0RA 0RE--- 1LF1LA 1LA1LF Redirected page to 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF current Tag: New redirect
- 06:2206:22, 28 September 2025 diff hist +55 N 1RB1RA 1LC0RF 1LD1LC 1LE0LB 0LF--- 1RA1RB Redirected page to 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF current Tag: New redirect
- 06:2206:22, 28 September 2025 diff hist +55 N 1RB1RC 1RC1RB 1LD0RA 1LE1LD 1LF0LC 0LA--- Redirected page to 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF current Tag: New redirect
- 06:1906:19, 28 September 2025 diff hist 0 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF No edit summary
- 06:1806:18, 28 September 2025 diff hist +195 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF F halts
- 06:0606:06, 28 September 2025 diff hist +487 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF add similar tm's
- 06:0006:00, 28 September 2025 diff hist +55 N 1RB1RA 0RC1RF 1LD--- 0LE1LE 1RA1LD 1LD0LF Redirected page to 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC current Tag: New redirect
- 05:5905:59, 28 September 2025 diff hist −1 m 1RB0LD 1LC0RA 1RA1LB 1LA1LE 1RF0LC ---0RE No edit summary
- 05:5705:57, 28 September 2025 diff hist +55 N 1RB1RE 1LC0RA 1RD0LB 1LB1RC 1LF0RD ---0LE Redirected page to 1RB0LD 1LC0RA 1RA1LB 1LA1LE 1RF0LC ---0RE current Tag: New redirect
- 05:5705:57, 28 September 2025 diff hist +55 N 1RB1LC 1RC0LD 1LA0RB 1LB1LE 1RF0LA ---0RE Redirected page to 1RB0LD 1LC0RA 1RA1LB 1LA1LE 1RF0LC ---0RE current Tag: New redirect
- 05:5705:57, 28 September 2025 diff hist +370 1RB0LD 1LC0RA 1RA1LB 1LA1LE 1RF0LC ---0RE similar tm's
- 04:4704:47, 28 September 2025 diff hist 0 1RB0RC 1RC0LC 0RD1LE 1LE1RF 0LB--- 0RA1LA not holdout current
- 04:4304:43, 28 September 2025 diff hist +158 1RB0LD 1RC1RF 1LA0RA 0LA0LE 1LD1LA 0RB--- similar tm current