All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Esolang. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 14:54, 20 March 2025 Hakerh400 talk contribs created page 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...")
- 17:27, 19 March 2025 Hakerh400 talk contribs created page 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...")
- 18:54, 17 March 2025 Hakerh400 talk contribs created page 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...")
- 16:04, 12 March 2025 Hakerh400 talk contribs created page 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...")
- 17:29, 11 March 2025 Hakerh400 talk contribs created page 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...")
- 11:52, 8 March 2025 Hakerh400 talk contribs created page Subst (+Subst (part 1 due to filter rules))
- 11:01, 8 February 2025 Hakerh400 talk contribs created page 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...")
- 09:40, 4 January 2025 Hakerh400 talk contribs created page Constructible (+Constructible)
- 19:10, 21 November 2024 Hakerh400 talk contribs created page Splits (+Splits)
- 15:07, 20 October 2024 Hakerh400 talk contribs created page SKR (+SKR)
- 09:25, 1 October 2024 Hakerh400 talk contribs created page Grid logic (+Grid logic)
- 09:11, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 040.png
- 09:11, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 040.png
- 09:11, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 039.png
- 09:11, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 039.png
- 09:11, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 038.png
- 09:11, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 038.png
- 09:11, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 037.png
- 09:11, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 037.png
- 09:11, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 036.png
- 09:11, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 036.png
- 09:10, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 035.png
- 09:10, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 035.png
- 09:10, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 034.png
- 09:10, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 034.png
- 09:10, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 033.png
- 09:10, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 033.png
- 09:10, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 032.png
- 09:10, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 032.png
- 09:10, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 031.png
- 09:10, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 031.png
- 09:10, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 030.png
- 09:10, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 030.png
- 09:09, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 029.png
- 09:09, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 029.png
- 09:09, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 028.png
- 09:09, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 028.png
- 09:09, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 027.png
- 09:09, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 027.png
- 09:09, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 026.png
- 09:09, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 026.png
- 09:09, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 025.png
- 09:09, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 025.png
- 09:09, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 024.png
- 09:09, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 024.png
- 09:08, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 023.png
- 09:08, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 023.png
- 09:08, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 022.png
- 09:08, 1 October 2024 Hakerh400 talk contribs uploaded File:Grid logic - Example 022.png
- 09:08, 1 October 2024 Hakerh400 talk contribs created page File:Grid logic - Example 021.png
