All public logs

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).

• 04:36, 22 September 2024 GUAqwq talk contribs created page Unary++ (Created page with "'''Unary++''' is an esoteric programming language designed in 2024. Unary++ uses the bijective unary number system as source code. To write a program in Unary++, use the following steps: 1. Write your program in Unary. 2. Replace the <code>0</code>s in the Unary program with the character as follow: {| !Unary !Unary++ |- |<code>0</code> |1 |} ==Number of symbols== According to the specification, Unary++ uses only one symbol. Some say the EOF character ha...")
• 14:42, 14 September 2024 GUAqwq talk contribs created page User:GUAqwq/brainfuck quine (Created page with "My quine, inspired by User:Hakerh400/How_to_write_quines. >>>++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++>>>++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++>>>++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++>>>+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++>>>++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++>>>++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++>>>...")
• 14:03, 6 September 2024 GUAqwq talk contribs created page User:GUAqwq/TCproof to Lambda calculus (Created page with "One of my friend doubted whether ''lambda-calculus'' is ''Turing complete''.So I proved it. Here's my solution: == Recursion == Y := \f.(\x.f(x x))(\x.f(x x)) =><code>Y f = f(Y f)</code> == Boolean == True := \x y.x False := \x y.y NOT := \a.a False True AND := \a b.a b False == Pair == Binary pair: Pair := \a b.\x.x a b Ternary pair: Fst := \x y z.x Mid := \x y z.y Lst := \x y z.z TP := \a b c.\s.s x y z == Natural Numbers == Declaration: 0 := \s z....")
• 13:41, 22 December 2023 GUAqwq talk contribs created page TypeInt (Created page with "{{infobox proglang |name=TypeInt (Tn) |author=User:GUAqwq |year=2023 |class=Category:maybe_tc(change after proving) |files=<code>.ts_</code> }} '''TypeInt''' is a esolang which is created by User:GUAqwq. The program runs on an unbounded integer type array which is unbounded. It came out while User:GUAqwq was proving the turing completeness of TypeString - "If there's only one character for this esolang, will it still Turing Comple...")
• 08:17, 4 November 2023 GUAqwq talk contribs created page TypeString (Created page with "'''TypeString'''(or '''T~''' in short) is a [Turing complete] esolang based on ''String Concating'' and ''String Pointer'' ==Overview== There's 4 keywords in T~: <code>$</code>, <code>=</code>, <code>:</code> and <code>\n</code>. Other texts are split by blank, called <code>string</code>. The code runs line by line, and halts at the end. ===\n (end of statements)=== Statements are split by <code>\n</code>. ===$ (expressions)=== When <code>$</code> is in front of a <code...")
• 13:57, 28 September 2023 GUAqwq talk contribs created page Transet (Created page with "'''Transet''' is a ''Set Rewriting System''. There's no more integers or characters in Transet, instread of sets. ==Overview== The systax is similar to Markov algorithm. This is a example for the rules: {{_}} -> {_} Which means transform the set in the form <code>{{_}}</code> to <code>{_}</code> The "_" means any set. In this case, if the input is: {{{{{{}}}}}} Then the process will be: {{{{{{}}}}}} -> {{{{{}}}}} // _ = {{{{}}}} {{{{{}}}}} -> {{{}}} // _...")
• 10:59, 15 September 2023 GUAqwq talk contribs created page User talk:GUAqwq (Created page with "This is a talk page.")
• 14:14, 14 September 2023 GUAqwq talk contribs created page Timesplitter (Created page with "''Timesplitter'' is a esolang that has '''mutiple timeline''' which is '''unaviodable'''. Category:Work-in-progress")
• 12:54, 12 September 2023 GUAqwq talk contribs created page User:GUAqwq (Created page with "==My esolangs== Tetrastack")
• 15:14, 11 September 2023 GUAqwq talk contribs created page Tetrastack (Created page with "'''Tetrastack''' is a ''16-instructions esolang''(but it is very easy to understand) which is ''based on stack''. And each stack has its ''special pop events''. This page is created by Non native English speakers. I'll be appreciated if someone would like to fix my grammer problems. ==Operations== The code are writen by ''hexadecimal''. But to read it, you need to transfrom it ''quaternary''. For example, <code>BD7A</code> needs to be transform into <code> 23 31 13 22...")
• 13:28, 11 September 2023 User account GUAqwq talk contribs was created