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).
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 08:49, 1 January 2024 Hakerh400 talk contribs created page Haxell (+Haxell)
- 10:37, 30 December 2023 Hakerh400 talk contribs created page Category:2024 (Category for the new year)
- 19:26, 7 December 2023 Hakerh400 talk contribs created page Next (+Next)
- 13:02, 19 November 2023 Hakerh400 talk contribs moved page User:User:Hakerh400/Schröder–Bernstein theorem to User:Hakerh400/Schröder–Bernstein theorem
- 13:02, 19 November 2023 Hakerh400 talk contribs moved page Schröder–Bernstein theorem to User:User:Hakerh400/Schröder–Bernstein theorem (Not directly related to esolangs, so moving to user namespace)
- 12:09, 19 November 2023 Hakerh400 talk contribs created page Schröder–Bernstein theorem (Publish the article once again. This time decided not to write full formal proof, since it is a waste of time. Instead, posted a proof sketch.)
- 16:27, 18 November 2023 Hakerh400 talk contribs created page Schröder–Bernstein theorem (Created page with "{{WIP}} Schröder–Bernstein theorem states that for any two sets <math>A</math> and <math>B</math>, if there exists an injective function from <math>A</math> to <math>B</math> and an injective function from <math>B</math> to <math>A</math>, then there exists a bijective function between <math>A</math> and <math>B</math>. There are many proofs of this theorem. In this article we present one of the simplest and most natural proofs. We hope this proof is easier to follow...")
- 04:59, 29 September 2023 Hakerh400 talk contribs created page Talk:Transet (Created page with "== The "Binary numbers" example == The pattern <code>{[<<>>],[(*),<<>>]}</code> (which is supposed to match character <code>1</code>) also matches the representation of character <code>|</code>. If <code>*</code> is replaced with <code><></code>, the resulting set is <code>{[<<>>],[(<>),<<>>]}</code>, which is the same as <code><<<>>></code>, so the program replaces all occurrences of <code><<<>>></code> with <code>{[<>],[({[<<<>>>],[(<>),<<>>]}),<<>>]}</code>, which al...")
- 15:12, 12 September 2023 Hakerh400 talk contribs created page Talk:Tetrastack (Created page with "== Language specification == If popping from an empty stack is not allowed, then there is no way to detect the size of the input. Either there must be some special value (such as 0 or -1) at the bottom of stack 0 at the beginning, or some stack must contain the length of the input. Can you please clarify that in the article. Also, regarding the "add cell" in the brainfuck conversion - this invalidates the Turing completeness proof. The correct way would be to store the...")
- 07:58, 6 August 2023 Hakerh400 talk contribs created page File:Sierpiński triangle.png
- 07:58, 6 August 2023 Hakerh400 talk contribs uploaded File:Sierpiński triangle.png
- 04:50, 19 July 2023 Hakerh400 talk contribs moved page User:Hakerh400/Theory of evolution is false. to User:Hakerh400/Theory of evolution is false
- 04:48, 19 July 2023 Hakerh400 talk contribs created page User:Hakerh400/Theory of evolution is false. (A simple proof that the theory of evolution is nonsense)
- 18:43, 18 July 2023 Hakerh400 talk contribs created page Kiss (+Kiss)
- 01:57, 28 June 2023 Hakerh400 talk contribs created page Simple logic (+Simple logic)
- 13:15, 19 June 2023 Hakerh400 talk contribs created page Proprietary Esolang (+Proprietary Esolang)
- 13:31, 17 June 2023 Hakerh400 talk contribs created page Clandestine Endorsement (+Clandestine Endorsement)
- 15:31, 13 May 2023 Hakerh400 talk contribs created page Bus 581 (+Bus 581)
- 16:05, 12 May 2023 Hakerh400 talk contribs created page Functress (+Functress)
- 19:04, 19 April 2023 Hakerh400 talk contribs created page Emanator (+Emanator)
- 18:20, 19 March 2023 Hakerh400 talk contribs created page Preparation (+Preparation)
- 17:03, 1 March 2023 Hakerh400 talk contribs created page XY problem (XY problem)
- 18:08, 11 January 2023 Hakerh400 talk contribs uploaded a new version of File:Multidodecoordinates diagram.png
- 11:52, 31 December 2022 Hakerh400 talk contribs created page Category:2023 (Category for the new year)
- 20:24, 1 December 2022 Hakerh400 talk contribs created page MoonScript (+MoonScript)
- 11:06, 23 October 2022 Hakerh400 talk contribs created page Night Shift (+Night Shift)
- 19:09, 22 October 2022 Hakerh400 talk contribs created page Собачка (+Собачка)
- 17:32, 20 October 2022 Hakerh400 talk contribs created page HashWalk (+HashWalk)
- 16:55, 19 October 2022 Hakerh400 talk contribs created page Tetra (+Tetra)
- 19:36, 14 October 2022 Hakerh400 talk contribs created page Pairwise addition (+Pairwise addition)
- 16:09, 8 September 2022 Hakerh400 talk contribs created page Island (+Island)
- 14:43, 4 June 2022 Hakerh400 talk contribs created page GPNS (+GPNS)
- 08:52, 23 May 2022 Hakerh400 talk contribs created page SKNPR Calculus (+SKNPR Calculus)
- 03:50, 8 May 2022 Hakerh400 talk contribs created page SKM Calculus (+SKM Calculus)
- 08:59, 22 April 2022 Hakerh400 talk contribs created page User:Hakerh400/Mink (+Mink)
- 21:30, 28 March 2022 Hakerh400 talk contribs created page Copyright makes no sense (Created page with "In this article we prove that copyright does not make any sense. Not only that we prove it, but we also verify the proof using Lean theorem prover. The proof is 100% correct!...")
- 20:49, 12 March 2022 Hakerh400 talk contribs created page Daydream (+Daydream)
- 21:26, 3 March 2022 Hakerh400 talk contribs created page File:Slitherlink-sat.png (Slitherlink puzzle generated using SAT solver)
- 21:26, 3 March 2022 Hakerh400 talk contribs uploaded File:Slitherlink-sat.png (Slitherlink puzzle generated using SAT solver)
- 00:54, 20 February 2022 Hakerh400 talk contribs created page Тест на терпение (+Тест на терпение)
- 22:01, 11 February 2022 Hakerh400 talk contribs created page Fractal (+Fractal)
- 21:51, 11 February 2022 Hakerh400 talk contribs uploaded a new version of File:004-barnsley-fern.png (High quality version)
- 21:46, 11 February 2022 Hakerh400 talk contribs created page File:004-barnsley-fern.png (Esolang "Fractal" - Example "Barnsley fern")
- 21:46, 11 February 2022 Hakerh400 talk contribs uploaded File:004-barnsley-fern.png (Esolang "Fractal" - Example "Barnsley fern")
- 20:47, 11 February 2022 Hakerh400 talk contribs created page File:003-sierpinsky-carpet.png (Esolang "Fractal" - Example "Sierpiński carpet")
- 20:47, 11 February 2022 Hakerh400 talk contribs uploaded File:003-sierpinsky-carpet.png (Esolang "Fractal" - Example "Sierpiński carpet")
- 20:44, 11 February 2022 Hakerh400 talk contribs created page File:002-simple-tree.png (Esolang "Fractal" - Example "Simple tree")
- 20:44, 11 February 2022 Hakerh400 talk contribs uploaded File:002-simple-tree.png (Esolang "Fractal" - Example "Simple tree")
- 20:41, 11 February 2022 Hakerh400 talk contribs moved page File:001-tarnary-cantor-set.png to File:001-ternary-cantor-set.png (typo)
- 20:40, 11 February 2022 Hakerh400 talk contribs created page File:001-tarnary-cantor-set.png (Esolang "Fractal" - Example "Ternary Cantor set")