User contributions for Hakerh400
Jump to navigation
Jump to search
20 March 2025
- 14:5614:56, 20 March 2025 diff hist +4 Ash No edit summary current
- 14:5514:55, 20 March 2025 diff hist +10 User:Hakerh400 * Ash current
- 14:5414:54, 20 March 2025 diff hist +10 Language list +Ash
- 14:5414:54, 20 March 2025 diff hist +2,209 N Ash Created page with "__NOTOC__ {{infobox proglang |name=Ash |paradigms=Imperative |author=User:Hakerh400 |year=2025 |class=Turing complete |majorimpl=Implemented |files=<code>.txt</code> }} '''Ash''' is an esolang invented by User:Hakerh400 in 2025. == Overview == Memory is represented as a tape infinite in both directions. The tape is divided into cells. Each cell contains a bit. Initially, every bit is random, e..."
- 14:4914:49, 20 March 2025 diff hist −36 AGG Remove uncertified claims current
19 March 2025
- 17:2917:29, 19 March 2025 diff hist −1 m User:Hakerh400/Types of exceptions No edit summary current
- 17:2817:28, 19 March 2025 diff hist +61 User:Hakerh400 →Articles
- 17:2717:27, 19 March 2025 diff hist +3,548 N User:Hakerh400/Types of exceptions Created page with "__NOTOC__ In this article we discuss various types of exceptions and how they can be used in some practical situations. === Hard exception === Hard exception is used to terminate the program immediately. It cannot be caught in any way. It is used when a fatal error occurs, such as a failed assertion or an invalid value of some invariant. In Haskell it is called <code>error</code>. This type of exception can be used in the following situations: * A part of the program..."
17 March 2025
- 18:5418:54, 17 March 2025 diff hist +87 User:Hakerh400 →Articles
- 18:5418:54, 17 March 2025 diff hist +2,323 N User:Hakerh400/Flexible dependencies in Haskell Created page with "It is well known that in Haskell there is no easy way to put functions that depend on each other into seperate files. The reason is because Haskell does not allow circular imports (like in Node.js) or header files (like in C). GHC supports <code>hs-boot</code> file that in some sense acts as a header file and allows mutually dependent functions to be in separate files, but it is seems excessively complicated for such a basic functionality and requires extra setup and mai..." current
12 March 2025
- 16:0816:08, 12 March 2025 diff hist +43 User:Hakerh400/Pair sum No edit summary current
- 16:0716:07, 12 March 2025 diff hist +11 User:Hakerh400/Pair sum No edit summary
- 16:0516:05, 12 March 2025 diff hist +8 User:Hakerh400/Pair sum →External resources
- 16:0516:05, 12 March 2025 diff hist +133 User:Hakerh400/Pair sum No edit summary
- 16:0416:04, 12 March 2025 diff hist +39 User:Hakerh400 →Number sequences
- 16:0416:04, 12 March 2025 diff hist +2,852 N User:Hakerh400/Pair sum Created page with "The sequence begins with: 1, 7, 23, 19, 34, 31, 29, 34, 39, 40, 35, 38, 43, 51, 47, 50, 45, 52, 56, ... === How it is formed === Let <code>f</code> be a function that takes a natural number and returns the number formed by the concatenation of the sums of consecutive digits in base <code>10</code>. For example, consider the number <code>3571</code>. Calculate the sums <code>3 + 5 = 8</code>, <code>5 + 7 = 12</code>, <code>7 + 1 = 8</code>. Concatenate the sums: <code..."
11 March 2025
- 17:4617:46, 11 March 2025 diff hist +2 m User:Hakerh400/Rectangle with rational side length No edit summary current
- 17:4417:44, 11 March 2025 diff hist 0 User:Hakerh400/Rectangle with rational side length No edit summary
- 17:4017:40, 11 March 2025 diff hist +95 User:Hakerh400/Rectangle with rational side length No edit summary
- 17:3417:34, 11 March 2025 diff hist +1 m User:Hakerh400/Rectangle with rational side length →Proof
- 17:3117:31, 11 March 2025 diff hist +3 User:Hakerh400/Rectangle with rational side length →Statement
- 17:2917:29, 11 March 2025 diff hist +93 User:Hakerh400 →Proofs
- 17:2917:29, 11 March 2025 diff hist +9,846 N User:Hakerh400/Rectangle with rational side length Created page with "=== Statement === Any rectangle that is tiled with finitely many rectangles that have at least one rational side, also has at least one rational side. === Proof === We perform strong induction on the number of small rectangles. Suppose the big rectangle is tiled with '''<code>n</code>''' small rectangles.<br> <font style="color:white;margin-left:50px">.</font>If '''<code>n = 1</code>''', the small rectangle is equal to the big rectangle, so the condition is trivially..."
8 March 2025
- 17:2817:28, 8 March 2025 diff hist +28 m Subst →Terms current
- 17:2717:27, 8 March 2025 diff hist −1 m Subst →Terms
- 17:2617:26, 8 March 2025 diff hist 0 m Subst →Terms
- 12:1112:11, 8 March 2025 diff hist +23 Subst No edit summary
- 12:0812:08, 8 March 2025 diff hist +359 User talk:Hakerh400 →Afth Language current
- 11:5711:57, 8 March 2025 diff hist −497 m Subst No edit summary
- 11:5711:57, 8 March 2025 diff hist +498 m Subst No edit summary
- 11:5411:54, 8 March 2025 diff hist +12 User:Hakerh400 +Subst
- 11:5411:54, 8 March 2025 diff hist +12 Language list +Subst
- 11:5311:53, 8 March 2025 diff hist +2,288 Subst (part 3)
- 11:5311:53, 8 March 2025 diff hist +37,460 Subst (part 2)
- 11:5211:52, 8 March 2025 diff hist +14,360 N Subst +Subst (part 1 due to filter rules)
23 February 2025
- 04:0304:03, 23 February 2025 diff hist −39 Afth Add interpreter
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
- 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
- 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
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