User contributions for Hakerh400
Jump to navigation
Jump to search
8 February 2025
- 11:0411:04, 8 February 2025 diff hist −1 User:Hakerh400/Question for AI models No edit summary current
- 11:0211:02, 8 February 2025 diff hist +67 User:Hakerh400 →Articles current
- 11:0111:01, 8 February 2025 diff hist +11,624 N User:Hakerh400/Question for AI models Created page with "We devised a simple question for testing AI models: :''Is there a combinator X in SKI calculus, such that XK reduces to S and XS reduces to K?'' So far, all known AI models answered negatively to this question and provided a "proof" that such combinator cannot possibly exist because SKI does not have the ability to pattern-match on terms. However, it is known that such combinator exists. One such example is: S(S(S(S(S(SI(KK))(KK))(KK))(KI))(KS))(KK) Maybe it would b..."
1 February 2025
- 12:3112:31, 1 February 2025 diff hist 0 m User:Hakerh400 No edit summary
26 January 2025
- 17:3217:32, 26 January 2025 diff hist +20 Imprecision Add a similar esolang to the "See also" section current
- 17:3017:30, 26 January 2025 diff hist +33 -1 Add the "See also" section
4 January 2025
- 09:4109:41, 4 January 2025 diff hist +20 User:Hakerh400 +Constructible
- 09:4109:41, 4 January 2025 diff hist +20 Language list +Constructible
- 09:4009:40, 4 January 2025 diff hist +1,481 N Constructible +Constructible current
31 December 2024
- 05:5505:55, 31 December 2024 diff hist +26 Template:Yearcats Category for the new year current
21 November 2024
- 19:1019:10, 21 November 2024 diff hist +13 Language list +Splits
- 19:1019:10, 21 November 2024 diff hist +2,078 N Splits +Splits current
16 November 2024
- 11:3011:30, 16 November 2024 diff hist −1 m User:Hakerh400/Conjectures No edit summary current
2 November 2024
1 November 2024
- 17:0917:09, 1 November 2024 diff hist +2,268 User:Hakerh400/Conjectures Add a new conjecture.
- 15:2515:25, 1 November 2024 diff hist +1 User:Hakerh400 →Conjectures
27 October 2024
- 07:4507:45, 27 October 2024 diff hist +588 List of ideas Add an idea for a theorem prover
22 October 2024
- 15:1515:15, 22 October 2024 diff hist 0 m SKR →Examples current
20 October 2024
- 15:0915:09, 20 October 2024 diff hist +2 m SKR No edit summary
- 15:0815:08, 20 October 2024 diff hist +10 User:Hakerh400 +SKR
- 15:0815:08, 20 October 2024 diff hist +10 Language list +SKR
- 15:0715:07, 20 October 2024 diff hist +7,075 N SKR +SKR
6 October 2024
- 19:5119:51, 6 October 2024 diff hist +172 Turn Left Add interpreter current
5 October 2024
- 17:2817:28, 5 October 2024 diff hist +28 Or++ No edit summary current
- 17:0117:01, 5 October 2024 diff hist +88 Or++ Update computational class
1 October 2024
- 09:3909:39, 1 October 2024 diff hist 0 Grid logic →Complexity class current
- 09:3809:38, 1 October 2024 diff hist +46 m Grid logic No edit summary
- 09:3409:34, 1 October 2024 diff hist +65 m Grid logic No edit summary
- 09:3109:31, 1 October 2024 diff hist +1 m Grid logic →Example 15
- 09:2609:26, 1 October 2024 diff hist +17 User:Hakerh400 +Grid logic
- 09:2609:26, 1 October 2024 diff hist +17 Language list +Grid logic
- 09:2509:25, 1 October 2024 diff hist +6,574 N Grid logic +Grid logic
- 09:1109:11, 1 October 2024 diff hist 0 N File:Grid logic - Example 040.png No edit summary current
- 09:1109:11, 1 October 2024 diff hist 0 N File:Grid logic - Example 039.png No edit summary current
- 09:1109:11, 1 October 2024 diff hist 0 N File:Grid logic - Example 038.png No edit summary current
- 09:1109:11, 1 October 2024 diff hist 0 N File:Grid logic - Example 037.png No edit summary current
- 09:1109:11, 1 October 2024 diff hist 0 N File:Grid logic - Example 036.png No edit summary current
- 09:1009:10, 1 October 2024 diff hist 0 N File:Grid logic - Example 035.png No edit summary current
- 09:1009:10, 1 October 2024 diff hist 0 N File:Grid logic - Example 034.png No edit summary current
- 09:1009:10, 1 October 2024 diff hist 0 N File:Grid logic - Example 033.png No edit summary current
- 09:1009:10, 1 October 2024 diff hist 0 N File:Grid logic - Example 032.png No edit summary current
- 09:1009:10, 1 October 2024 diff hist 0 N File:Grid logic - Example 031.png No edit summary current
- 09:1009:10, 1 October 2024 diff hist 0 N File:Grid logic - Example 030.png No edit summary current
- 09:0909:09, 1 October 2024 diff hist 0 N File:Grid logic - Example 029.png No edit summary current
- 09:0909:09, 1 October 2024 diff hist 0 N File:Grid logic - Example 028.png No edit summary current
- 09:0909:09, 1 October 2024 diff hist 0 N File:Grid logic - Example 027.png No edit summary current
- 09:0909:09, 1 October 2024 diff hist 0 N File:Grid logic - Example 026.png No edit summary current
- 09:0909:09, 1 October 2024 diff hist 0 N File:Grid logic - Example 025.png No edit summary current
- 09:0909:09, 1 October 2024 diff hist 0 N File:Grid logic - Example 024.png No edit summary current
- 09:0809:08, 1 October 2024 diff hist 0 N File:Grid logic - Example 023.png No edit summary current
