1744244008 965564 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement > 1744248259 935937 PRIVMSG #esolangs :14[[07Subpysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155493&oldid=155486 5* 03Photostar 5* (+628) 10 > 1744248937 471159 PRIVMSG #esolangs :14[[07Subpysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155494&oldid=155493 5* 03Photostar 5* (+180) 10 > 1744249110 990201 PRIVMSG #esolangs :14[[07Subpysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155495&oldid=155494 5* 03Photostar 5* (-37) 10 > 1744249339 668253 PRIVMSG #esolangs :14[[07Subpysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155496&oldid=155495 5* 03Photostar 5* (+1) 10 < 1744249364 652546 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Thinking out loud about recent changes to [[Iota]]. It's not quite right to claim that two combinator bases are equivalent; rather, we want to say that they are adjoint, and that the adjunction induces some sort of extensional equivalence. < 1744249438 164950 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :For it otherwise is immediately TC -- by some nasty flavor of Rice, I guess -- whether two particular combinator expressions in different bases are equivalent, because any sort of extraction we perform on them is technically a "simulation" in the fancy machine sense. > 1744249492 631958 PRIVMSG #esolangs :14[[07Subpysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155497&oldid=155496 5* 03Photostar 5* (+204) 10 < 1744249908 831803 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :In general I suppose I'm imagining a sort of pattern across the wiki where a combinator basis' TC proof can start and end by showing that the basis can be freely (faithfully) bracketed to SKI. < 1744251195 389979 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Another pattern I'm thinking about is syntax-description languages. Is there appetite for languages like META II, https://www.bayfronttechnologies.com/mc_tutorial.html ? > 1744254469 589102 PRIVMSG #esolangs :14[[07Excellulata14]]4 N10 02https://esolangs.org/w/index.php?oldid=155498 5* 03I am islptng 5* (+1676) 10Created page with "The name is a portmanteau of "Excel", "cellular" and "automata". === Syntax of formula === A formula is an expression written in Polish(Prefix) notation. Operators include:
add A B | Add A to B. con A B | Concatenate A with B. sub A > 1744254632 187465 PRIVMSG #esolangs :14[[07Excellulata14]]4 10 02https://esolangs.org/w/index.php?diff=155499&oldid=155498 5* 03I am islptng 5* (+63) 10 > 1744256850 416309 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03I am islptng 5* 10moved [[02User talk:I am islptng10]] to [[User talk:I am islptng/arxiv/1]]: ARCHIVED > 1744256965 745943 PRIVMSG #esolangs :14[[07User talk:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=155502&oldid=155501 5* 03I am islptng 5* (+1463) 10Removed redirect to [[User talk:I am islptng/arxiv/1]] > 1744257051 760883 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155503&oldid=155487 5* 03Photostar 5* (+16) 10 > 1744257091 728198 PRIVMSG #esolangs :14[[07User talk:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=155504&oldid=155502 5* 03I am islptng 5* (+619) 10 > 1744257206 785204 PRIVMSG #esolangs :14[[07Subpysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155505&oldid=155497 5* 03Photostar 5* (+124) 10 > 1744257349 168334 PRIVMSG #esolangs :14[[07Subpysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155506&oldid=155505 5* 03Photostar 5* (+259) 10 > 1744257373 26270 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155507&oldid=155503 5* 03Photostar 5* (+25) 10 > 1744257535 560810 PRIVMSG #esolangs :14[[07User talk:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=155508&oldid=155504 5* 03I am islptng 5* (-43) 10 > 1744257578 762660 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155509&oldid=155507 5* 03Photostar 5* (+1166) 10 > 1744257747 378251 PRIVMSG #esolangs :14[[07User talk:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=155510&oldid=155508 5* 03I am islptng 5* (-4) 10 > 1744258228 11333 PRIVMSG #esolangs :14[[07User talk:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=155511&oldid=155510 5* 03I am islptng 5* (+18) 10 > 1744258302 889828 PRIVMSG #esolangs :14[[07User talk:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=155512&oldid=155511 5* 03I am islptng 5* (+0) 10 < 1744258745 65635 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1744258788 430984 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: I think you can talk in terms of simple translations between combinator bases, i.e. each combinator in either can be replaced with an expression formed out of combinators from the other, giving you a bisimulation < 1744258831 295689 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it's reasonable to consider that as being a way to prove an equivalence, even though it's undecidable to determine equivalence in the general case < 1744258862 635770 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :we do the same sort of thing with languages all the time – if two languages can each be compiled to the other, we consider that as a proof that they have the same computational class < 1744259155 19565 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Yeah. I just think that it *must* be something like bisimulation, because a universal basis isn't going to offer some sort of universal decomposition. > 1744259335 685260 PRIVMSG #esolangs :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=155513&oldid=155490 5* 03Ais523 5* (+873) 10/* Thoughts */ some of my own thoughts < 1744259477 876469 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :perhaps a good term would be "operational equivalence" – we have an easily provable equivalence in the operational semantics, but aren't sure how to define equality in the denotational semantics < 1744259785 236313 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :my PhD was heavily based on game semantics, which is a form of semantics that's both somewhat operational and somewhat denotational – it defines a lambda calculus term (with potential free variables) in terms of its possible patterns of calls and returns – it's very reminiscent of a finite state machine, but without the restriction to finitely many states (although it often approximates things as having finitely many states) < 1744259862 295590 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :although, I basically only studied game semantics for simply typed lambda calculus + fix, which is much easier to handle than an untyped lambda calculus would be < 1744262236 108516 :amadaluzia!~amadaluzi@user/amadaluzia QUIT :Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby. < 1744262805 89531 :amadaluzia!~amadaluzi@user/amadaluzia JOIN #esolangs amadaluzia :amadaluzia < 1744265924 954798 :Lymia!lymia@ayame.servers.aura.moe QUIT :Ping timeout: 260 seconds < 1744265929 992446 :Lymee!lymia@ayame.servers.aura.moe JOIN #esolangs Lymia :Lymia Aluysia > 1744267532 299680 PRIVMSG #esolangs :14[[07Talk:14]]4 N10 02https://esolangs.org/w/index.php?oldid=155514 5* 03I am islptng 5* (+3740) 10Created page with "{{SUBST:User talk:I am islptng/Silicon dioxide in a polypropylene box}}" < 1744267823 969663 :tromp!~textual@2001:1c00:3487:1b00:44ed:cdbe:8e8e:71c5 JOIN #esolangs * :Textual User > 1744267945 61584 PRIVMSG #esolangs :14[[07Template:Collapsible14]]4 N10 02https://esolangs.org/w/index.php?oldid=155515 5* 03I am islptng 5* (+234) 10Created page with " Usage: {{{1|}}}{{{2|}}}{{collapsible|Prompt|Content}} Effect: {{collapsible|Prompt|Content}}" > 1744267999 392540 PRIVMSG #esolangs :14[[07User talk:I am islptng/Silicon dioxide in a polypropylene box14]]4 10 02https://esolangs.org/w/index.php?diff=155516&oldid=155160 5* 03I am islptng 5* (+36461) 10 < 1744268823 990991 :Hooloovoo!~Hooloovoo@hax0rbana.org QUIT :Ping timeout: 245 seconds < 1744269498 953892 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 245 seconds < 1744269506 932810 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1744269516 977350 :Hooloovoo!~Hooloovoo@hax0rbana.org JOIN #esolangs hooloovoo :Hooloovoo < 1744269590 45048 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1744270868 166441 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1744271138 118152 :lisbeths!uid135845@id-135845.lymington.irccloud.com JOIN #esolangs lisbeths :lisbeths > 1744274403 236650 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=155517&oldid=155488 5* 03Ractangle 5* (+72) 10 > 1744274422 532453 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=155518&oldid=155517 5* 03Ractangle 5* (-11) 10/* Newline/IndexError */ > 1744274511 415785 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=155519&oldid=155518 5* 03Ractangle 5* (+31) 10/* Infinite loop */ > 1744274587 593122 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=155520&oldid=155519 5* 03Ractangle 5* (+10) 10/* Cat program */ > 1744275078 129397 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=155521&oldid=155520 5* 03Ractangle 5* (+9) 10/* Infinite loop */ > 1744275520 203359 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=155522&oldid=155521 5* 03Ractangle 5* (-23) 10/* Implemented */ > 1744275543 570428 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=155523&oldid=155522 5* 03Ractangle 5* (-23) 10/* Newline */ > 1744275573 534782 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=155524&oldid=155523 5* 03Ractangle 5* (+22) 10/* Unimplemented */ > 1744276847 769413 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03TenBillionPlusOne 5* 10New user account > 1744277155 779315 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=155525&oldid=155455 5* 03TenBillionPlusOne 5* (+225) 10 > 1744282020 81930 PRIVMSG #esolangs :14[[07Brain-Flak14]]4 10 02https://esolangs.org/w/index.php?diff=155526&oldid=138457 5* 03B jonas 5* (+87) 10 > 1744282144 565398 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box14]]4 10 02https://esolangs.org/w/index.php?diff=155527&oldid=155192 5* 03PrySigneToFry 5* (+93) 10 > 1744282215 214751 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155528&oldid=155485 5* 03PrySigneToFry 5* (+13) 10 > 1744282621 994748 PRIVMSG #esolangs :14[[07User talk:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=155529&oldid=155512 5* 03PrySigneToFry 5* (+791) 10Copy rule from archive > 1744282661 852839 PRIVMSG #esolangs :14[[07Arrowey14]]4 10 02https://esolangs.org/w/index.php?diff=155530&oldid=155044 5* 03Lampe2020 5* (-18) 10Making it clear that arrowey is abandoned by its creator > 1744282683 648276 PRIVMSG #esolangs :14[[07Arrowey14]]4 M10 02https://esolangs.org/w/index.php?diff=155531&oldid=155530 5* 03Lampe2020 5* (-1) 10Fixed a typo > 1744283464 526731 PRIVMSG #esolangs :14[[07Tskastic/Command Table14]]4 10 02https://esolangs.org/w/index.php?diff=155532&oldid=155442 5* 03PrySigneToFry 5* (+297) 10 > 1744283610 42296 PRIVMSG #esolangs :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=155533&oldid=153927 5* 03Lampe2020 5* (+162) 10/* Lesser known programming languages */ Add arrowey to list > 1744283634 302777 PRIVMSG #esolangs :14[[07Joke language list14]]4 M10 02https://esolangs.org/w/index.php?diff=155534&oldid=155533 5* 03Lampe2020 5* (+11) 10/* Lesser known programming languages */ Oops, I forgot a word < 1744283694 492535 :lisbeths!uid135845@id-135845.lymington.irccloud.com PRIVMSG #esolangs :https://github.com/memesmith0/calculator/blob/main/calculator.c > 1744283988 938517 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155535&oldid=155528 5* 03Hotcrystal0 5* (+6) 10 > 1744284381 820731 PRIVMSG #esolangs :14[[07TIAEPL14]]4 10 02https://esolangs.org/w/index.php?diff=155536&oldid=155342 5* 03Dhzb 5* (+1034) 10/* Character set */ > 1744284680 73741 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155537&oldid=155535 5* 03PrySigneToFry 5* (+5) 10 > 1744284757 894848 PRIVMSG #esolangs :14[[07Category:APL-like14]]4 10 02https://esolangs.org/w/index.php?diff=155538&oldid=75880 5* 03PrySigneToFry 5* (+63) 10 < 1744284891 331327 :amadaluzia!~amadaluzi@user/amadaluzia QUIT :Remote host closed the connection > 1744286599 859891 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155539&oldid=155537 5* 03Hotcrystal0 5* (+8) 10 > 1744286687 649319 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155540&oldid=155539 5* 03Hotcrystal0 5* (+14) 10 > 1744286746 461922 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155541&oldid=155424 5* 03I am islptng 5* (+45) 10 > 1744286875 150013 PRIVMSG #esolangs :14[[07User talk:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=155542&oldid=155529 5* 03I am islptng 5* (-60) 10 > 1744286933 859848 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155543&oldid=155541 5* 03Hotcrystal0 5* (+268) 10 > 1744286989 205367 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155544&oldid=155540 5* 03Hotcrystal0 5* (+5) 10 > 1744287449 960546 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155545&oldid=155544 5* 03Hotcrystal0 5* (+28) 10piece labels > 1744287466 168622 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155546&oldid=155545 5* 03Hotcrystal0 5* (+0) 10 < 1744288775 63282 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs * :realname > 1744291795 482269 PRIVMSG #esolangs :14[[07Befunge14]]4 M10 02https://esolangs.org/w/index.php?diff=155547&oldid=155456 5* 03Darkloyd255 5* (+14051) 10Added a Fizz Buzz to the list of example programs. < 1744291931 944418 :j4cbo_!sid186930@id-186930.helmsley.irccloud.com JOIN #esolangs j4cbo :j4cbo < 1744291936 926488 :ursa-major_!114efe6c39@2a03:6000:1812:100::11f3 JOIN #esolangs ursa-major :Bailey Bjornstad < 1744291938 58751 :op_4_!~tslil@2a01:4f8:c0c:7952::1 JOIN #esolangs * :op_4 < 1744291962 920506 :krychu_!~krychu@static.19.136.108.65.clients.your-server.de JOIN #esolangs * :krychu < 1744292092 167191 :JAA_!~JAA@user/meow/JAA JOIN #esolangs JAA :JustAnotherArchivist < 1744292145 207870 :hkgit03!~laerling@user/laerling JOIN #esolangs laerling :lærling < 1744292150 157222 :Effilry!~firefly@glowbum/gluehwuermchen/firefly JOIN #esolangs FireFly :firefly < 1744292409 643917 :op_4!~tslil@user/op-4/x-9116473 QUIT :*.net *.split < 1744292410 55634 :ursa-major!114efe6c39@2a03:6000:1812:100::11f3 QUIT :*.net *.split < 1744292412 848085 :JAA!~JAA@user/meow/JAA QUIT :*.net *.split < 1744292412 971685 :j4cbo!sid186930@id-186930.helmsley.irccloud.com QUIT :*.net *.split < 1744292413 68119 :krychu!~krychu@static.19.136.108.65.clients.your-server.de QUIT :*.net *.split < 1744292413 119061 :FireFly!~firefly@glowbum/gluehwuermchen/firefly QUIT :*.net *.split < 1744292413 194817 :laerling!~laerling@user/laerling QUIT :*.net *.split < 1744292414 239266 :j4cbo_!sid186930@id-186930.helmsley.irccloud.com NICK :j4cbo < 1744292414 369596 :op_4_!~tslil@2a01:4f8:c0c:7952::1 NICK :op_4 < 1744292414 853980 :ursa-major_!114efe6c39@2a03:6000:1812:100::11f3 NICK :ursa-major < 1744292501 650044 :Effilry!~firefly@glowbum/gluehwuermchen/firefly NICK :FireFly < 1744293237 66828 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 248 seconds < 1744293296 315682 :lisbeths!uid135845@id-135845.lymington.irccloud.com QUIT :Quit: Connection closed for inactivity > 1744293410 135943 PRIVMSG #esolangs :14[[07TIAEPL14]]4 M10 02https://esolangs.org/w/index.php?diff=155548&oldid=155536 5* 03Dhzb 5* (+56) 10/* Character set */ < 1744294617 430446 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1744295117 905311 :amadaluzia!~amadaluzi@user/amadaluzia JOIN #esolangs amadaluzia :amadaluzia > 1744295596 698659 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155549&oldid=155546 5* 03PrySigneToFry 5* (+68) 10 > 1744295649 523528 PRIVMSG #esolangs :14[[07Undyne Programming Language Turing-completeness Proof14]]4 N10 02https://esolangs.org/w/index.php?oldid=155550 5* 03Joachim 5* (+2455) 10Created page with "As of 8 April 2025, the [[Undyne Programming Language]] has been mistakenly categorize as a [[Finite state automata]]. This page has been made to prove that UPL is in fact [[Turing-complete]]. == Definitions == * The user i > 1744295915 811865 PRIVMSG #esolangs :14[[07Undyne Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=155551&oldid=155468 5* 03Joachim 5* (-44) 10/* Computational class */ > 1744296028 908097 PRIVMSG #esolangs :14[[07Undyne Programming Language14]]4 M10 02https://esolangs.org/w/index.php?diff=155552&oldid=155551 5* 03Joachim 5* (+1) 10/* # arrows */ < 1744296313 210577 :JAA_!~JAA@user/meow/JAA NICK :JAA > 1744296328 819204 PRIVMSG #esolangs :14[[07User:Darkloyd25514]]4 N10 02https://esolangs.org/w/index.php?oldid=155553 5* 03Darkloyd255 5* (+128) 10Created my user page. > 1744296396 964172 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155554&oldid=155549 5* 03Hotcrystal0 5* (+43) 10 > 1744296529 10652 PRIVMSG #esolangs :14[[07Befunge14]]4 M10 02https://esolangs.org/w/index.php?diff=155555&oldid=155547 5* 03Darkloyd255 5* (+14145) 10added a shorter 99 bottles of beer program > 1744296673 121589 PRIVMSG #esolangs :14[[07TIAEPL14]]4 M10 02https://esolangs.org/w/index.php?diff=155556&oldid=155548 5* 03Dhzb 5* (+2) 10/* Character set */ > 1744296711 529568 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155557&oldid=155554 5* 03Hotcrystal0 5* (+4) 10 > 1744296743 873576 PRIVMSG #esolangs :14[[07PSTF14]]4 M10 02https://esolangs.org/w/index.php?diff=155558&oldid=135185 5* 03Hotcrystal0 5* (+0) 10typo fix > 1744296768 137380 PRIVMSG #esolangs :14[[07TIAEPL14]]4 M10 02https://esolangs.org/w/index.php?diff=155559&oldid=155556 5* 03Dhzb 5* (-43) 10/* Character set */ < 1744298894 891935 :kaoD!~kaoD@user/kaod PART #esolangs :Bye > 1744300395 226302 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155560&oldid=155509 5* 03Photostar 5* (-26) 10 > 1744300449 585492 PRIVMSG #esolangs :14[[07Subpysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155561&oldid=155506 5* 03Photostar 5* (+0) 10 < 1744300554 112679 :amadaluzia_!~amadaluzi@2a00:23c7:ed8b:6701:d3f5:8c4c:643c:d012 JOIN #esolangs * :Artur Manuel < 1744300554 664334 :lynndotpy6!~rootcanal@134.122.123.70 QUIT :Quit: bye bye < 1744300620 11048 :lynndotpy6!~rootcanal@134.122.123.70 JOIN #esolangs lynndotpy :lynn < 1744301234 450657 :FreeFull!~freefull@79.186.54.143.ipv4.supernova.orange.pl JOIN #esolangs FreeFull :FreeFull < 1744302853 387221 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :My last-night notes include the very funny phrase "This article is part of a series on Turing-completeness" but I'm not sure whether that specific phrase is a good idea. < 1744302947 325921 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`? procrastination < 1744302950 386383 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :The Procrastination is destined to rule the world... right after watching this final funny cat clip on youtube. < 1744303417 403281 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Well, what I actually think I was imagining is an infobox on *proof techniques* for Turing-completeness. People are always handwaving proofs by reduction; we could have a standardized handwave template. < 1744303969 871706 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1744304490 889706 :amadaluzia!~amadaluzi@user/amadaluzia QUIT :Ping timeout: 252 seconds > 1744304833 645106 PRIVMSG #esolangs :14[[07Undyne Programming Language14]]4 M10 02https://esolangs.org/w/index.php?diff=155562&oldid=155552 5* 03Joachim 5* (+34) 10/* Computational class */ > 1744305015 56779 PRIVMSG #esolangs :14[[07Arrowey14]]4 10 02https://esolangs.org/w/index.php?diff=155563&oldid=155531 5* 03Lampe2020 5* (-56) 10This is, on fact, no longer a work-in-progress. And it's not implemented either. > 1744305098 286218 PRIVMSG #esolangs :14[[07Stackowey14]]4 N10 02https://esolangs.org/w/index.php?oldid=155564 5* 03Lampe2020 5* (+6105) 10Created and populated the page > 1744305595 684530 PRIVMSG #esolangs :14[[07User:DigitalDetective4714]]4 M10 02https://esolangs.org/w/index.php?diff=155565&oldid=115188 5* 03DigitalDetective47 5* (+91) 10Undo revision [[Special:Diff/93929|93929]] by [[Special:Contributions/DigitalDetective47|DigitalDetective47]] ([[User talk:DigitalDetective47|talk]]) > 1744305766 166114 PRIVMSG #esolangs :14[[07Stackowey14]]4 10 02https://esolangs.org/w/index.php?diff=155566&oldid=155564 5* 03Lampe2020 5* (+107) 10/* Truth Machine */ Ensure output is always one 0 or infinitely many 1s > 1744305912 170642 PRIVMSG #esolangs :14[[07User:DigitalDetective47/WIP14]]4 10 02https://esolangs.org/w/index.php?diff=155567&oldid=127463 5* 03DigitalDetective47 5* (+220) 10 > 1744307339 597564 PRIVMSG #esolangs :14[[07Stackowey14]]4 M10 02https://esolangs.org/w/index.php?diff=155568&oldid=155566 5* 03Lampe2020 5* (+4) 10/* Interpreter */ Add link to C++ < 1744307766 794939 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1744307949 62697 :lynndotpy6!~rootcanal@134.122.123.70 QUIT :Quit: bye bye < 1744308005 681002 :lynndotpy6!~rootcanal@134.122.123.70 JOIN #esolangs lynndotpy :lynn > 1744308514 775733 PRIVMSG #esolangs :14[[07!!!mby14]]4 N10 02https://esolangs.org/w/index.php?oldid=155569 5* 03Esdraslov 5* (+1085) 10Created page with "'''!!!mby''' is a esolang made by [[User:Esdraslov]] that you define the keywords with builtin keywords == builtin keywords == These keywords are useless for a while {| class="wikitable" !Keyword !Meaning |- |style="text-align:center;"|*...*
|Anything b > 1744308557 142069 PRIVMSG #esolangs :14[[07User:Esdraslov14]]4 M10 02https://esolangs.org/w/index.php?diff=155570&oldid=154739 5* 03Esdraslov 5* (+12) 10/* My Esosteric programming languages */ > 1744308853 898045 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=155571&oldid=155524 5* 03Ractangle 5* (+1) 10/* Commands */ > 1744309224 653084 PRIVMSG #esolangs :14[[07Stackowey14]]4 M10 02https://esolangs.org/w/index.php?diff=155572&oldid=155568 5* 03Lampe2020 5* (+1) 10/* Interpreter */ Correct wrong name of GNU GPLv3 > 1744309859 161646 PRIVMSG #esolangs :14[[07Stackowey14]]4 10 02https://esolangs.org/w/index.php?diff=155573&oldid=155572 5* 03Lampe2020 5* (+177) 10/* Turing-completeness */ Add section about Turing-completeness of Stackowey > 1744312244 124594 PRIVMSG #esolangs :14[[07User:DigitalDetective47/WIP14]]4 10 02https://esolangs.org/w/index.php?diff=155574&oldid=155567 5* 03DigitalDetective47 5* (-163) 10mark for deletion > 1744312268 663546 PRIVMSG #esolangs :14[[07User:DigitalDetective4714]]4 M10 02https://esolangs.org/w/index.php?diff=155575&oldid=155565 5* 03DigitalDetective47 5* (-91) 10Undo revision [[Special:Diff/155565|155565]] by [[Special:Contributions/DigitalDetective47|DigitalDetective47]] ([[User talk:DigitalDetective47|talk]]) > 1744312433 525557 PRIVMSG #esolangs :14[[07*lang14]]4 N10 02https://esolangs.org/w/index.php?oldid=155576 5* 03DigitalDetective47 5* (+206) 10initial draft < 1744312488 985370 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection < 1744312503 283506 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse < 1744312605 788732 :APic!apic@apic.name PRIVMSG #esolangs :Good Night! < 1744312771 510313 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Is there a description of the file formats of the databases opened by the dbopen function? It says it is B-tree and whatever else it is but does not describe the exact format, it seem < 1744313225 811492 :b_jonas!~x@88.87.242.184 JOIN #esolangs b_jonas :b_jonas > 1744313578 486683 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Tiziano220812 5* 10New user account > 1744313965 97438 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=155577&oldid=155525 5* 03Tiziano220812 5* (+168) 10/* Introductions */ > 1744314467 592792 PRIVMSG #esolangs :14[[07User:Tiziano22081214]]4 N10 02https://esolangs.org/w/index.php?oldid=155578 5* 03Tiziano220812 5* (+67) 10Created page with "red text oooh
" > 1744314515 602068 PRIVMSG #esolangs :14[[07User:Tiziano22081214]]4 10 02https://esolangs.org/w/index.php?diff=155579&oldid=155578 5* 03Tiziano220812 5* (-24) 10 > 1744314531 7526 PRIVMSG #esolangs :14[[07User:Tiziano22081214]]4 10 02https://esolangs.org/w/index.php?diff=155580&oldid=155579 5* 03Tiziano220812 5* (-1) 10 > 1744314704 80673 PRIVMSG #esolangs :14[[07Befunge14]]4 10 02https://esolangs.org/w/index.php?diff=155581&oldid=155555 5* 03Darkloyd255 5* (+38217) 10Added a new program "The twelve days of befungmas" > 1744314758 670877 PRIVMSG #esolangs :14[[07User:Tiziano22081214]]4 M10 02https://esolangs.org/w/index.php?diff=155582&oldid=155580 5* 03Tiziano220812 5* (+60) 10forming my own user page > 1744315661 268925 PRIVMSG #esolangs :14[[07.14]]4 M10 02https://esolangs.org/w/index.php?diff=155583&oldid=146506 5* 03Darkloyd255 5* (+87) 10/* Commands */ Fixed issues with grammar and restated more clearly. > 1744315727 566964 PRIVMSG #esolangs :14[[07.14]]4 M10 02https://esolangs.org/w/index.php?diff=155584&oldid=155583 5* 03Darkloyd255 5* (+24) 10/* Examples */ Made more clear > 1744316579 345092 PRIVMSG #esolangs :14[[07.14]]4 10 02https://esolangs.org/w/index.php?diff=155585&oldid=155584 5* 03Darkloyd255 5* (+338) 10Added a lot more details on the Esolang. < 1744317010 209382 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :The man page for dbopen mentionsbut there does not seem to be any such file on my computer. Why is the man page installed, then? < 1744317245 303049 :amadaluzia_!~amadaluzi@2a00:23c7:ed8b:6701:d3f5:8c4c:643c:d012 CHGHOST ~amadaluzi :user/amadaluzia < 1744317749 75804 :tromp!~textual@2001:1c00:3487:1b00:44ed:cdbe:8e8e:71c5 QUIT :Ping timeout: 248 seconds < 1744318362 500231 :amadaluzia_!~amadaluzi@user/amadaluzia QUIT :Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby. < 1744318384 800934 :amadaluzia!~amadaluzi@2a00:23c7:ed8b:6701:d3f5:8c4c:643c:d012 JOIN #esolangs * :Artur Manuel < 1744318410 838657 :amadaluzia!~amadaluzi@2a00:23c7:ed8b:6701:d3f5:8c4c:643c:d012 QUIT :Remote host closed the connection < 1744318432 866306 :amadaluzia!~amadaluzi@host217-43-236-22.range217-43.btcentralplus.com JOIN #esolangs * :Artur Manuel < 1744319079 562909 :amadaluzia!~amadaluzi@host217-43-236-22.range217-43.btcentralplus.com QUIT :Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby. > 1744319092 688473 PRIVMSG #esolangs :14[[07User:Tiziano22081214]]4 M10 02https://esolangs.org/w/index.php?diff=155586&oldid=155582 5* 03Tiziano220812 5* (-60) 10 < 1744319207 105680 :amadaluzia!~amadaluzi@host217-43-236-22.range217-43.btcentralplus.com JOIN #esolangs * :Artur Manuel < 1744319452 178915 :amadaluzia!~amadaluzi@host217-43-236-22.range217-43.btcentralplus.com QUIT :Client Quit > 1744319716 284932 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Alikberoff 5* 10uploaded "[[02File:Prefixes order controller (SN74xx).png10]]" < 1744319877 998337 :amadaluzia!~amadaluzi@2a00:23c7:ed8b:6701:57da:5a07:1b87:60e1 JOIN #esolangs * :Artur Manuel < 1744319962 116437 :amadaluzia!~amadaluzi@2a00:23c7:ed8b:6701:57da:5a07:1b87:60e1 QUIT :Client Quit > 1744319992 113636 PRIVMSG #esolangs :14[[07IHISIANGTUI14]]4 N10 02https://esolangs.org/w/index.php?oldid=155588 5* 03Tiziano220812 5* (+902) 10Created page with " Name = I Hate Indentation So I Am Not Going To Use It
instructions: .. make variable .= set .+= add (or concatenate if both are strings) .-= subtract .*= multiply ./= divide .%= mod to: moves 2 variables say: output some < 1744320054 805834 :amadaluzia!~amadaluzi@2a00:23c7:ed8b:6701:6582:5675:67d:4956 JOIN #esolangs * :Artur Manuel > 1744320058 514992 PRIVMSG #esolangs :14[[07IHISIANGTUI14]]4 10 02https://esolangs.org/w/index.php?diff=155589&oldid=155588 5* 03Tiziano220812 5* (+455) 10 > 1744321387 14997 PRIVMSG #esolangs :14[[07WYSIWISC14]]4 M10 02https://esolangs.org/w/index.php?diff=155590&oldid=155289 5* 03Alikberoff 5* (-3) 10 > 1744321938 859778 PRIVMSG #esolangs :14[[07Revolution 914]]4 10 02https://esolangs.org/w/index.php?diff=155591&oldid=75010 5* 03Darkloyd255 5* (+513) 10Added more detail > 1744322158 395995 PRIVMSG #esolangs :14[[071BNWL14]]4 M10 02https://esolangs.org/w/index.php?diff=155592&oldid=119574 5* 03Darkloyd255 5* (+2) 10 > 1744325661 372927 PRIVMSG #esolangs :14[[07Brainfive14]]4 N10 02https://esolangs.org/w/index.php?oldid=155593 5* 03Darkloyd255 5* (+232) 10Created the page. < 1744326186 19297 :lynndotpy6!~rootcanal@134.122.123.70 QUIT :Quit: bye bye < 1744326258 59494 :lynndotpy6!~rootcanal@134.122.123.70 JOIN #esolangs lynndotpy :lynn > 1744327709 719179 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155594&oldid=155560 5* 03Photostar 5* (+42) 10 > 1744327732 436035 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155595&oldid=155594 5* 03Photostar 5* (+0) 10 > 1744328038 984231 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155596&oldid=155595 5* 03Photostar 5* (+56) 10 > 1744328065 634950 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155597&oldid=155596 5* 03Photostar 5* (+17) 10 > 1744328758 887302 PRIVMSG #esolangs :14[[07User:RetroPain14]]4 10 02https://esolangs.org/w/index.php?diff=155598&oldid=81108 5* 03RetroPain 5* (+91) 10/* 2021 */ > 1744329055 188390 PRIVMSG #esolangs :14[[07*lang14]]4 10 02https://esolangs.org/w/index.php?diff=155599&oldid=155576 5* 03DigitalDetective47 5* (+1106) 10define syntax > 1744329263 968406 PRIVMSG #esolangs :14[[07Brainfive14]]4 10 02https://esolangs.org/w/index.php?diff=155600&oldid=155593 5* 03Darkloyd255 5* (+1550) 10Added the page contents > 1744329312 993747 PRIVMSG #esolangs :14[[07Brainfive14]]4 10 02https://esolangs.org/w/index.php?diff=155601&oldid=155600 5* 03Darkloyd255 5* (+9) 10 > 1744329447 485570 PRIVMSG #esolangs :14[[07Brainfive14]]4 M10 02https://esolangs.org/w/index.php?diff=155602&oldid=155601 5* 03Darkloyd255 5* (+95) 10Categorized < 1744329511 90846 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement