< 1643761235 993667 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu PRIVMSG #esolangs :fungot, what's the difference between a bucket and a pail? < 1643761236 253795 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :b_jonas: this is a man to treasure. the thief in the throes of an unraveling alibi. " the massacre of syrs gnelph was not as written a message you got, my brother, and we just keep the safe or tub handy or a cunning prankster than a common sort. < 1643761382 123613 :eli_oat!~eli_oat@45.144.113.177 JOIN #esolangs eli_oat :eli_oat > 1643761770 790409 PRIVMSG #esolangs :14[[07Cmpilr14]]4 N10 02https://esolangs.org/w/index.php?oldid=92751 5* 03Grom 5* (+2136) 10Created page with "{{infobox proglang |name=Cmpilr |paradigms=not specified |author=[[User:Grom]] |year=[[:Category:2022|2022]] |class=:Category:Optionally Turing_complete|Optionally Turing co..." < 1643761904 27714 :cd!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her) < 1643762890 528097 :eli_oat!~eli_oat@45.144.113.177 QUIT :Quit: eli_oat > 1643768285 383906 PRIVMSG #esolangs :14[[07ASCIIORb14]]4 N10 02https://esolangs.org/w/index.php?oldid=92752 5* 03Threesodas 5* (+4372) 10Created page with "[[Category:2022]][[Category:Unimplemented]][[Category:Languages]][[Category:Stack-based]] '''ASCIIORb''' is a [[stack]]-based language that follows the "syntax" of the '''@ORb..." > 1643768316 269811 PRIVMSG #esolangs :14[[07User:Threesodas14]]4 10 02https://esolangs.org/w/index.php?diff=92753&oldid=92611 5* 03Threesodas 5* (-42) 10 > 1643768380 680381 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=92754&oldid=92745 5* 03Threesodas 5* (+15) 10Add ASCIIORb < 1643770821 88549 :Sgeo!~Sgeo@user/sgeo QUIT :Ping timeout: 256 seconds < 1643770845 67165 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1643770989 400467 :que11en!~oem@dynamic-046-114-173-069.46.114.pool.telefonica.de JOIN #esolangs * :OEM Configuration (temporary user) < 1643771061 525665 :que11en!~oem@dynamic-046-114-173-069.46.114.pool.telefonica.de PRIVMSG #esolangs :m0ther: i have deactivated the self-destruction protocol < 1643774178 767337 :sprout!~quassel@2a02:a467:ccd6:1:6013:7539:4fef:cd22 JOIN #esolangs * :anon < 1643776732 765524 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1643776870 271251 :Sgeo_!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1643776920 992787 :Sgeo!~Sgeo@user/sgeo QUIT :Ping timeout: 256 seconds > 1643777529 480154 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92755&oldid=92729 5* 03PixelatedStarfish 5* (+0) 10/* Interpreter Status */ > 1643777579 532403 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92756&oldid=92755 5* 03PixelatedStarfish 5* (-1329) 10/* Considerations for Future Changes */ > 1643777589 458706 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92757&oldid=92756 5* 03PixelatedStarfish 5* (+1) 10/* Considerations for Future Changes */ > 1643777609 647181 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92758&oldid=92757 5* 03PixelatedStarfish 5* (+0) 10/* External Links */ > 1643777808 102117 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92759&oldid=92758 5* 03PixelatedStarfish 5* (+0) 10/* External Links */ > 1643777904 22355 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92760&oldid=92759 5* 03PixelatedStarfish 5* (-157) 10/* Interpreter Status */ > 1643778089 643045 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92761&oldid=92760 5* 03PixelatedStarfish 5* (+367) 10/* Instruction Set */ > 1643778195 134061 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92762&oldid=92761 5* 03PixelatedStarfish 5* (+17) 10/* Instruction Set */ > 1643778276 778154 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92763&oldid=92762 5* 03PixelatedStarfish 5* (+1) 10/* Grammar in EBNF */ > 1643778419 330930 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92764&oldid=92763 5* 03PixelatedStarfish 5* (+74) 10/* Error Codes */ > 1643778471 991224 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92765&oldid=92764 5* 03PixelatedStarfish 5* (-13) 10/* Error Codes */ > 1643778513 796859 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92766&oldid=92765 5* 03PixelatedStarfish 5* (+13) 10/* Error Codes */ > 1643778573 142320 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92767&oldid=92766 5* 03PixelatedStarfish 5* (+19) 10/* False Machine */ > 1643778590 717600 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92768&oldid=92767 5* 03PixelatedStarfish 5* (+10) 10/* False Machine */ > 1643778647 16761 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92769&oldid=92768 5* 03PixelatedStarfish 5* (+46) 10/* Grammar in EBNF */ > 1643778660 829227 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92770&oldid=92769 5* 03PixelatedStarfish 5* (+2) 10/* Grammar in EBNF */ > 1643778705 981275 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92771&oldid=92770 5* 03PixelatedStarfish 5* (+177) 10/* Grammar in EBNF */ > 1643778735 823183 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=92772&oldid=92582 5* 03PixelatedStarfish 5* (+0) 10/* MacroBeep */ > 1643778795 295430 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92773&oldid=92771 5* 03PixelatedStarfish 5* (+0) 10 > 1643778874 261348 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92774&oldid=92773 5* 03PixelatedStarfish 5* (-100) 10/* Considerations for Future Changes */ < 1643779185 84288 :que11en!~oem@dynamic-046-114-173-069.46.114.pool.telefonica.de QUIT :Ping timeout: 256 seconds < 1643779452 993998 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs : https://en.wikipedia.org/wiki/Time_formatting_and_storage_bugs#Year_2022 <-- a bit depressing, that page < 1643779523 405061 :int-e!~noone@int-e.eu PRIVMSG #esolangs :*sigh* today: no hot water < 1643779568 698079 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh well. I hope they just forgot to turn off the central boiler and didn't actually break anything. < 1643779852 221712 :que11en!~oem@dynamic-046-114-173-069.46.114.pool.telefonica.de JOIN #esolangs * :OEM Configuration (temporary user) < 1643779956 697670 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Ping timeout: 276 seconds < 1643780023 683825 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse < 1643780292 312582 :Sgeo_!~Sgeo@user/sgeo QUIT :*.net *.split < 1643780292 397094 :cd!moony@hellomouse/dev/moony QUIT :*.net *.split < 1643780292 500887 :silkworks!~silkworks@ctrl-c.club QUIT :*.net *.split < 1643780292 500936 :APic!~apic@apic.name QUIT :*.net *.split < 1643780292 649213 :Hooloovoo!~Hooloovoo@hax0rbana.org QUIT :*.net *.split < 1643780292 754927 :Melvar!~melvar@dslb-178-003-156-205.178.003.pools.vodafone-ip.de QUIT :*.net *.split < 1643780292 754979 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :*.net *.split < 1643780292 865365 :sknebel!~quassel@v22016013254630973.happysrv.de QUIT :*.net *.split < 1643780292 865457 :fowl!~fowlmouth@user/fowl QUIT :*.net *.split < 1643780292 865477 :imode!~imode@user/imode QUIT :*.net *.split < 1643780292 865520 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu QUIT :*.net *.split < 1643780293 503441 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :*.net *.split < 1643780293 912297 :maximum_yellow!~op_4@user/op-4/x-9116473 QUIT :*.net *.split < 1643780294 103155 :laerling!~laerling@static.235.77.203.116.clients.your-server.de QUIT :*.net *.split < 1643780294 103198 :scjosh!~scjosh@206.189.79.69 QUIT :*.net *.split < 1643780294 191442 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :*.net *.split < 1643780294 191524 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com QUIT :*.net *.split < 1643780294 289914 :MrAureliusR!~MrAureliu@user/mraureliusr QUIT :*.net *.split < 1643780294 347587 :int-e!~noone@int-e.eu QUIT :*.net *.split < 1643780294 477741 :aarchi!sid486183@id-486183.uxbridge.irccloud.com QUIT :*.net *.split < 1643780294 526711 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :*.net *.split < 1643780294 622074 :lagash!lagash@lagash.shelltalk.net QUIT :*.net *.split < 1643780294 886927 :ProofTechnique!sid79547@id-79547.ilkley.irccloud.com QUIT :*.net *.split < 1643780294 886970 :riv!river@tilde.team/user/river QUIT :*.net *.split < 1643780295 92838 :dbohdan!~dbohdan@user/dbohdan QUIT :*.net *.split < 1643780295 229389 :^[!~user@user//x-8473491 QUIT :*.net *.split < 1643780295 384908 :HackEso!~h@techne.zem.fi QUIT :*.net *.split < 1643780295 384967 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :*.net *.split < 1643780295 660516 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com QUIT :*.net *.split < 1643780295 724141 :benji!~benji@user/benji QUIT :*.net *.split < 1643780295 797425 :monoxane!~monoxane@user/monoxane QUIT :*.net *.split < 1643780296 6634 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :*.net *.split < 1643780296 116917 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :*.net *.split < 1643780296 116973 :slavfox!~slavfox@ipv4-93-158-232-111.net.internetunion.pl QUIT :*.net *.split < 1643780296 324210 :MizMahem!sid296354@user/mizmahem QUIT :*.net *.split < 1643780885 132339 :slavfox!~slavfox@93.158.232.111 JOIN #esolangs slavfox :slavfox < 1643781075 41564 :HackEso!~h@techne.zem.fi JOIN #esolangs HackEso :HackEso < 1643781075 41622 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1643781075 41644 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com JOIN #esolangs Cale :realname < 1643781075 41656 :benji!~benji@user/benji JOIN #esolangs benji :benji < 1643781075 41666 :monoxane!~monoxane@user/monoxane JOIN #esolangs monoxane :monoxane < 1643781075 41679 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN #esolangs * :rodgort < 1643781075 41689 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1643781164 784602 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1643781164 784677 :maximum_yellow!~op_4@user/op-4/x-9116473 JOIN #esolangs op_4 :op_4 < 1643781164 784698 :laerling!~laerling@static.235.77.203.116.clients.your-server.de JOIN #esolangs laerling :Unknown < 1643781164 784717 :scjosh!~scjosh@206.189.79.69 JOIN #esolangs scjosh :Josh < 1643781164 784744 :iovoid!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :probably iovoid? < 1643781164 784765 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN #esolangs joast :purple < 1643781164 784784 :MrAureliusR!~MrAureliu@user/mraureliusr JOIN #esolangs MrAureliusR :Got ZNC? < 1643781164 784803 :int-e!~noone@int-e.eu JOIN #esolangs int-e :Bertram < 1643781164 784829 :aarchi!sid486183@id-486183.uxbridge.irccloud.com JOIN #esolangs aarchi :aarchi < 1643781164 784847 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN #esolangs zzo38 :zzo38 < 1643781164 784864 :lagash!lagash@lagash.shelltalk.net JOIN #esolangs lagash :ZNC - https://znc.in < 1643781164 868266 :ProofTechnique!sid79547@id-79547.ilkley.irccloud.com JOIN #esolangs ProofTechnique :ptech < 1643781164 868322 :riv!river@tilde.team/user/river JOIN #esolangs river :My real name < 1643781164 868343 :dbohdan!~dbohdan@user/dbohdan JOIN #esolangs dbohdan :ZNC - https://znc.in < 1643781164 868363 :^[!~user@user//x-8473491 JOIN #esolangs ^[ :user < 1643781214 849791 :Sgeo_!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1643781214 849859 :cd!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her) < 1643781214 849879 :silkworks!~silkworks@ctrl-c.club JOIN #esolangs Byzantine :silkworks < 1643781214 849897 :APic!~apic@apic.name JOIN #esolangs APic :A. Pic. - my name since YOLD 3149 < 1643781214 849918 :Hooloovoo!~Hooloovoo@hax0rbana.org JOIN #esolangs hooloovoo :ZNC - https://znc.in < 1643781214 849937 :Melvar!~melvar@dslb-178-003-156-205.178.003.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar < 1643781214 849976 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1643781214 849995 :sknebel!~quassel@v22016013254630973.happysrv.de JOIN #esolangs sknebel :sknebel < 1643781214 850022 :fowl!~fowlmouth@user/fowl JOIN #esolangs fowl :fowlmouth < 1643781214 850040 :imode!~imode@user/imode JOIN #esolangs imode :imode < 1643781214 850058 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu JOIN #esolangs * :b_jonas < 1643781237 620364 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :splitty today < 1643781247 99110 :ickk!~ickk@121-200-5-75.79c805.syd.nbn.aussiebb.net JOIN #esolangs * :realname < 1643781291 971391 :MizMahem!sid296354@user/mizmahem JOIN #esolangs MizMahem :🐍🐔 < 1643781463 122689 :slavfox!~slavfox@93.158.232.111 QUIT :Ping timeout: 256 seconds < 1643781575 133797 :slavfox!~slavfox@93.158.232.111 JOIN #esolangs slavfox :slavfox < 1643781638 125794 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1643781714 996212 :Sgeo_!~Sgeo@user/sgeo QUIT :Ping timeout: 256 seconds < 1643782357 74781 :Sgeo_!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1643782517 85519 :Sgeo!~Sgeo@user/sgeo QUIT :Ping timeout: 256 seconds < 1643784227 563517 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :now to check if zeetha reacts as i expect < 1643784258 186513 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :yep :P < 1643784507 126914 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :i am slightly annoyed at an inconsistency i noticed. < 1643784529 154791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :the brekkah stone is supposedly _older_ than luheia - lost before she was born. < 1643784554 348459 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :but also, luheia supposedly _led_ them through the mirror to skifander. < 1643784562 69459 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :iirc < 1643784577 748115 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :which means the stone _shouldn't_ be from there. < 1643784728 975521 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :also, they totally should get the stone packed away before lady before the enemy shows up. < 1643784748 754954 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :*-lady (steelgarter) < 1643784759 80872 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :*-before < 1643784975 198275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :also, keep it away from dupree, but they don't know that. < 1643785196 75658 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oerjan: hmm *reading* the Brek'kah stone is one of a pair; what if that pair is linked regardless of where they are? :P < 1643785280 178092 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :ah yes that might be it < 1643785347 262591 :int-e!~noone@int-e.eu PRIVMSG #esolangs :It's enough for a writer to wiggle out of it, I think. :) < 1643785364 571558 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :i'll grant it < 1643785609 202063 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oh, warm water... yay for minor miracles < 1643786670 194075 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :any guesses on simplest addition to {K,W} to make a basis for CL? < 1643787659 991897 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :B, C? < 1643787736 714505 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :that works, but is not the simplest < 1643787768 990120 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :in terms of size of the basis combinators < 1643787785 760186 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :how is the size defined? < 1643787833 17223 :riv!river@tilde.team/user/river PRIVMSG #esolangs :binary lambda calculus < 1643787838 980695 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :Sizes in binary lambda calculus are defined by size(lambda M)=2+size(M), size(M N)=2+size(M)+size(N), and size(V)=1+i for a variable V bound by the i-th enclosing lambda. < 1643787865 30514 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :( from https://oeis.org/A333479 ) < 1643788153 542811 :Sgeo_!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1643788667 796473 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :i see. < 1643788676 202190 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :i don't have the resources to check my ideas at the moment < 1643788885 49998 :revolvereld!~oem@dynamic-046-114-173-069.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1643789002 575354 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :{K,W,S} works too, but is not a minimal size addition either < 1643789043 234826 :revolvereld!~oem@dynamic-046-114-173-069.46.114.pool.telefonica.de QUIT :Remote host closed the connection < 1643789117 908163 :revolvereld!~oem@dynamic-046-114-173-069.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1643789157 216525 :revolvereld!~oem@dynamic-046-114-173-069.46.114.pool.telefonica.de QUIT :Read error: Connection reset by peer < 1643789279 356618 :revolvereld!~oem@dynamic-046-114-173-069.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1643789296 132915 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :i've heard about Wolfram willing to pay someone for proving that just the S combinator is TC < 1643789306 581539 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :do you think such a proof is possible? < 1643789690 97730 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :no, i don't think so. < 1643789936 710426 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :int-e: oh hm https://www.girlgeniusonline.com/comic.php?date=20140509 < 1643789959 617742 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :it doesn't say explicitly it was luheia who did it < 1643789993 123255 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :(took me a while to binge to the right place :) ) < 1643790143 345304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :Palaiologos[m]: it's probably "universal" rather than TC, which means the definition is vague and up for discussion < 1643790224 938330 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :(specifically, it's been proved that normalizability of S-expressions is decidable, so you would need to consider non-halting computations at the very least) < 1643790250 849012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :(someone linked a nice table in this channel back when it was discussed) < 1643790292 551125 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Wolfram knows this though, and explicitly asks about some TC structure in the nonterminating computations < 1643790310 30281 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But that makes things very murky. < 1643790323 147578 :riv!river@tilde.team/user/river PRIVMSG #esolangs :S-expressions being (SS)S(SS)(SS(S)S) type things < 1643790329 597073 :int-e!~noone@int-e.eu PRIVMSG #esolangs :In particular it's so ill-defined that you can't hope to *disprove* that this is TC. < 1643790349 37474 :riv!river@tilde.team/user/river PRIVMSG #esolangs :as opposed to s-expressions which are like ((S S) S (S S) (S S (S) S)) < 1643790358 923349 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Because there'll always be ways to shift the goalpost further away. < 1643790416 858563 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(the table was actually from one of Wolfram's posts about this) < 1643790451 503516 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :riv: i couldn't resist punning, as usual < 1643793146 600185 :ickk!~ickk@121-200-5-75.79c805.syd.nbn.aussiebb.net QUIT :Quit: Leaving < 1643793711 318624 :revolvereld!~oem@dynamic-046-114-173-069.46.114.pool.telefonica.de QUIT :Read error: Connection reset by peer < 1643793988 977493 :fowl!~fowlmouth@user/fowl QUIT :Ping timeout: 256 seconds < 1643794352 983977 :revolvereld!~oem@dynamic-046-114-173-069.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1643794796 673307 :salpynx!~salpynx@121-75-16-198.dyn.vf.net.nz PRIVMSG #esolangs :tromp: is it one of the Q bird combinators? A guess, picking something that is Bish and Cish. < 1643795201 316262 :salpynx!~salpynx@121-75-16-198.dyn.vf.net.nz PRIVMSG #esolangs :was going to say S, but you covered that above. My guess: λabc.a(cb) (Q1 / apparently 'Quixotic'), maybe Q, λabc.b(ac), ('Queer')? < 1643795226 352326 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :queer combinator > 1643795469 559647 PRIVMSG #esolangs :14[[07SRlang14]]4 10 02https://esolangs.org/w/index.php?diff=92775&oldid=88355 5* 03Soyuzguy123! 5* (+1488) 10dont chuck this off as a broken page, its still under construction dw > 1643795523 763386 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Soyuzguy123! 5* 10uploaded "[[02File:SRlang logo-removebg-preview.png10]]": Logo for a language < 1643795647 137937 :salpynx!~salpynx@121-75-16-198.dyn.vf.net.nz QUIT :Quit: Client closed > 1643795677 387816 PRIVMSG #esolangs :14[[07SRlang14]]4 10 02https://esolangs.org/w/index.php?diff=92777&oldid=92775 5* 03Soyuzguy123! 5* (+35) 10 > 1643795764 259362 PRIVMSG #esolangs :14[[07SRlang14]]4 10 02https://esolangs.org/w/index.php?diff=92778&oldid=92777 5* 03Soyuzguy123! 5* (+2) 10 > 1643796296 520238 PRIVMSG #esolangs :14[[07Grammar14]]4 N10 02https://esolangs.org/w/index.php?oldid=92779 5* 03Citrons 5* (+6030) 10apioform < 1643796956 723660 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :Queer it is! < 1643796986 123873 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :{K,W,Q} is a basis < 1643799190 121499 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1643799245 115419 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 256 seconds < 1643799268 836057 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1643800726 601454 :m5zs7k!aquares@web10.mydevil.net QUIT :Ping timeout: 260 seconds < 1643800784 425699 :m5zs7k!aquares@web10.mydevil.net JOIN #esolangs m5zs7k :m5zs7k < 1643800923 81384 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1643800943 134084 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1643801085 428454 :revolvereld!~oem@dynamic-046-114-173-069.46.114.pool.telefonica.de QUIT :Remote host closed the connection > 1643801101 666620 PRIVMSG #esolangs :14[[07Grammar14]]4 M10 02https://esolangs.org/w/index.php?diff=92780&oldid=92779 5* 03Citrons 5* (+1) 10typo > 1643801698 376014 PRIVMSG #esolangs :14[[07Grammar14]]4 10 02https://esolangs.org/w/index.php?diff=92781&oldid=92780 5* 03Citrons 5* (+58) 10add categories < 1643802644 37510 :abraham1!~abraham@143.244.185.86 QUIT :Quit: The Lounge - https://thelounge.chat < 1643802661 73104 :abraham1!~abraham@143.244.185.86 JOIN #esolangs abraham :abraham < 1643802721 497246 :abraham1!~abraham@143.244.185.86 NICK :abraham < 1643803518 343693 :peter29!~peter@197.210.8.97 JOIN #esolangs * :[https://kiwiirc.com] peter < 1643804686 86299 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1643805125 551070 :peter29!~peter@197.210.8.97 QUIT :Ping timeout: 252 seconds > 1643805300 320242 PRIVMSG #esolangs :14[[07Plurple14]]4 10 02https://esolangs.org/w/index.php?diff=92782&oldid=92746 5* 03Laclale 5* (+170) 10/* Commands */ < 1643805383 505681 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas < 1643805515 629429 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :we need a new password < 1643805748 44380 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :int-e: I'm still sticking to my opinion that it's not a problem that we're looking only among non-terminating behavior, because old personal computers all have a power supply and RAM that can't be stopped programmatically, so all the programs on it never halt, but nobody would think that that's an obstacle to them doing universal computations. that < 1643805748 553293 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :their RAM and backing storage is small can be an obstacle, but that won't be a problem with a combinator basis. < 1643805821 46375 :oerjan!~oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1643805826 387085 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :wib_jonas: don't old computers have a BIOS call for restarting the machine from scratch including the POST, etc..., meaning that they do theoretically halt for a short while? < 1643805854 354187 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :is halting even considered a subset of restarting, hm < 1643806025 281827 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :Palaiologos[m]: there's a reboot routine which eg. resets the video card settigns, stops the sound from the sound chip, etc. it's useful in practice because (1) it reinitializes hardware from most of the broken states that an incorrect program could put them into, and (2) it works even after thrashing memory, because it only relies on the data in < 1643806025 782189 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :the ROM. but none of that behavior is special to the BIOS, a normal program (perhaps customized for the specific hardaware) could do just the same. and in particular, it won't affect the power supply or RAM or CPU in any special way. < 1643806080 780560 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :`learn The password of the month is decided with a non-terminating computation. < 1643806082 131954 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :You can say that the display on the monitor or the sound from the speaker is a nice observable output, more so than whatever is written to the memory or extension port, so it's a good alternative to halting. < 1643806085 930263 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Relearned 'password': The password of the month is decided with a non-terminating computation. < 1643806122 125180 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :That shows why you can use the monitor, sound, or many other optional external hardware like disks to get a result from a program, without caring about whether the program halts. < 1643806160 746559 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :You can say that the combinator calculus with just S doesn't have such nice external signs, so you need a much less clear definition of what you want to observe (rather than halting). < 1643806170 893527 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :isn't halting just an arbitrary state though? we could define the program in the state after executing `cli / hlt` as halted without the power going out. < 1643806212 357163 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :You can't just say that you can observe whatever is apparent to an untrained user, i.e. without probing the bus with a signal generator, because combinator calculus doesn't have that distinction. < 1643806361 670246 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :Palaiologos: the halt thing applies to a modern CPU like 8086, and I'm not even sure you can really observe it externally until even later CPUs add power saving features. You could try to see when the CPU does it, but it's a worse method of output than looking at the monitor or speaker or floppy drive. < 1643807605 907476 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection < 1643807627 790024 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1643808591 120900 :eli_oat!~eli_oat@45.144.113.180 JOIN #esolangs eli_oat :eli_oat < 1643808780 148916 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed < 1643809687 599960 :eli_oat!~eli_oat@45.144.113.180 QUIT :Quit: eli_oat < 1643810441 77112 :eli_oat!~eli_oat@92.119.19.171 JOIN #esolangs eli_oat :eli_oat < 1643810911 881060 :fowl!~fowlmouth@user/fowl JOIN #esolangs fowl :fowlmouth < 1643811116 933705 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Quit: see you later > 1643812761 295663 PRIVMSG #esolangs :14[[07SRlang14]]4 M10 02https://esolangs.org/w/index.php?diff=92783&oldid=92778 5* 03PythonshellDebugwindow 5* (-55) 10Remove nonexistent category and incorrect category (language isn't total) < 1643812820 188565 :riv!river@tilde.team/user/river PRIVMSG #esolangs :hello :) < 1643812839 619984 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :hi < 1643812947 479573 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas < 1643813234 90110 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1643814459 988208 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Palaiologos[m]: One challenge in Wolfram's framing is that it's already proven that K and I aren't derivable from S. I don't think B, C, or any other linear combinator is derivable, although I'm open to evidence. Wolfram's really askiing for a homomorphism from trees of S combinators to any TC language s.t. reductions of S terms in the original tree correspond to reductions in the TC language. < 1643814464 17403 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1643814560 395296 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :Corbin: from a subset of the trees at least, yes. < 1643814570 166900 :riv!river@tilde.team/user/river PRIVMSG #esolangs :can you make an infinite loop with S alone? < 1643814613 864398 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :nah, never mind, I'm not sure that homomorphism thing is a good description. it doesn't bring you closer to what Turing-complete means < 1643814682 874447 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Sure; we don't usually talk about TC languages in terms of homomorphisms. I think we should, though, if for no other reason than that these homomorphisms are typically compilers. < 1643814840 458407 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :Corbin: in that case I don't understand what kind of homomorphism you want < 1643814918 689367 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :wib_jonas: It should preserve the reduction structure; if it's legal to reduce one tree of S to another tree, then similar reasoning should allow us to reduce one TC program to another. (Or else trees of S clearly aren't TC, because not all TC reductions show up inside it!) < 1643815097 933848 :riv!river@tilde.team/user/river PRIVMSG #esolangs :Sxyz = (xz)(yz) so SSyS = SSyS I guess this is an infinite loop < 1643815122 890809 :riv!river@tilde.team/user/river PRIVMSG #esolangs :for any y < 1643815130 672363 :riv!river@tilde.team/user/river PRIVMSG #esolangs :can you make one that grows each time? < 1643815492 656555 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :no, SSyS = SS(yS) which is quite different < 1643815512 804855 :riv!river@tilde.team/user/river PRIVMSG #esolangs :oh < 1643815518 509734 :riv!river@tilde.team/user/river PRIVMSG #esolangs :thanks < 1643815896 903074 :ProofTechnique!sid79547@id-79547.ilkley.irccloud.com QUIT :Ping timeout: 250 seconds < 1643816170 77690 :ProofTechnique!sid79547@ilkley.irccloud.com JOIN #esolangs ProofTechnique :ptech < 1643816421 622427 :que11en!~oem@dynamic-046-114-173-069.46.114.pool.telefonica.de QUIT :Ping timeout: 245 seconds < 1643817690 114151 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :riv: istr that the decidable normalization article said reductions always halt at the top level, which would mean it's only the deeply nested subterms that can continue growing. < 1643817706 336091 :riv!river@tilde.team/user/river PRIVMSG #esolangs :I see < 1643817770 751600 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :mind you i only browsed a bit of it < 1643818069 721356 :SoniEx2!~quassel@autistic.space NICK :Soni > 1643818118 151906 PRIVMSG #esolangs :14[[07Plurple14]]4 10 02https://esolangs.org/w/index.php?diff=92784&oldid=92782 5* 03Laclale 5* (+43) 10/* Commands */ < 1643818493 991816 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed > 1643818869 474367 PRIVMSG #esolangs :14[[07Plurple14]]4 10 02https://esolangs.org/w/index.php?diff=92785&oldid=92784 5* 03Laclale 5* (+230) 10/* Sigil and Space */ < 1643819246 565635 :vyv!~vyv@bras-vprn-nrbaon0452w-lp130-16-76-68-64-112.dsl.bell.ca JOIN #esolangs vyv :vyv verver < 1643819291 472412 :eli_oat!~eli_oat@92.119.19.171 QUIT :Quit: eli_oat < 1643820691 653816 :eli_oat!~eli_oat@92.119.19.148 JOIN #esolangs eli_oat :eli_oat < 1643821845 653413 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oerjan: you remember correctly; Waldmann calls it top-stabilization < 1643821923 455198 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: it's okay to look at non-termination. but the less natural your criterion, the more you're opening up yourself to questions how much of the TC-ness you've derived can be attributed to S and how much to the criterion you're using < 1643821994 734063 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I have the same issue with the rule 110 thing. Rule 110 + infinite repeating background is TC, but how much "control flow" or maybe "adjoined finite automaton" is encoded in that pattern? < 1643822094 177069 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(AIUI the halting criterion is relatively sane in that case since it's emulating some cyclic tag thing.) < 1643822268 430907 :oerjan!~oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1643822729 843724 :eli_oat!~eli_oat@92.119.19.148 QUIT :Quit: eli_oat < 1643823035 817936 :eli_oat!~eli_oat@45.144.113.178 JOIN #esolangs eli_oat :eli_oat < 1643823037 801772 :eli_oat!~eli_oat@45.144.113.178 QUIT :Client Quit < 1643823060 79221 :eli_oat!~eli_oat@45.144.113.178 JOIN #esolangs eli_oat :eli_oat > 1643823567 307825 PRIVMSG #esolangs :14[[07Plurple14]]4 10 02https://esolangs.org/w/index.php?diff=92786&oldid=92785 5* 03Laclale 5* (+275) 10 > 1643823712 834646 PRIVMSG #esolangs :14[[07Plurple14]]4 10 02https://esolangs.org/w/index.php?diff=92787&oldid=92786 5* 03Laclale 5* (-5) 10 > 1643823804 193316 PRIVMSG #esolangs :14[[07Plurple14]]4 10 02https://esolangs.org/w/index.php?diff=92788&oldid=92787 5* 03Laclale 5* (-23) 10 > 1643823915 57733 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=92789&oldid=92772 5* 03PixelatedStarfish 5* (+114) 10/* MacroBeep */ > 1643824136 760492 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=92790&oldid=92789 5* 03PixelatedStarfish 5* (+119) 10/* MacroBeep */ > 1643824153 218398 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=92791&oldid=92790 5* 03PixelatedStarfish 5* (+2) 10/* MacroBeep */ > 1643824553 36460 PRIVMSG #esolangs :14[[07Category:Markup Languages14]]4 10 02https://esolangs.org/w/index.php?diff=92792&oldid=43275 5* 03Laclale 5* (+23) 10 < 1643824897 30946 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Remote host closed the connection > 1643824920 388727 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92793&oldid=92774 5* 03PixelatedStarfish 5* (+272) 10/* External Links */ > 1643824930 496378 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92794&oldid=92793 5* 03PixelatedStarfish 5* (+1) 10/* =Repls for Online Use */ > 1643824957 988179 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92795&oldid=92794 5* 03PixelatedStarfish 5* (+4) 10/* Repls for Online Use */ > 1643824980 685620 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92796&oldid=92795 5* 03PixelatedStarfish 5* (-1) 10/* External Links */ < 1643825044 37434 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron > 1643825050 833941 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=92797&oldid=92791 5* 03PixelatedStarfish 5* (+4) 10/* MacroBeep */ > 1643825079 977138 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=92798&oldid=92797 5* 03PixelatedStarfish 5* (+0) 10/* MacroBeep */ < 1643826189 514695 :SGautam!uid286066@ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1643827472 400220 :eli_oat!~eli_oat@45.144.113.178 QUIT :Quit: eli_oat < 1643827833 424336 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs : "Palaiologos: One challenge in..." <- i see! < 1643829285 125796 :fowl!~fowlmouth@user/fowl QUIT :Read error: Connection reset by peer < 1643829323 712883 :fowl!~fowlmouth@user/fowl JOIN #esolangs fowl :fowlmouth < 1643830163 862053 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection < 1643830187 745504 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN > 1643831151 717529 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03WaifuShork 5* 10New user account > 1643831320 55943 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=92799&oldid=92716 5* 03WaifuShork 5* (+261) 10/* Introductions */ > 1643831410 114599 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=92800&oldid=92799 5* 03WaifuShork 5* (+6) 10/* Introductions */ < 1643831761 956563 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de JOIN #esolangs Bertrahm :[https://web.libera.chat] Bertrahm < 1643831826 765845 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de PRIVMSG #esolangs :I've been playing with this concept of a joke (?) or theoretical lang that could create a turing completeness proof for any language but I dont know if thats already around < 1643831874 172099 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Interesting. How would you specify the object languages? < 1643831924 136878 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de PRIVMSG #esolangs :i think the meaning of object languages got lost in translation for me. do you mean the language to generate for? < 1643832040 326067 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de PRIVMSG #esolangs :I've been thinking about it, if it should be more "realistic" and get fed a set of rules of the language and its keywords or if I should make it purely theoretical where it can generate a turing proof by just the name of the language < 1643832079 735687 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Yeah. Like, I understand how you would represent the typical programming language. But what about something like a Wang tileset? < 1643832159 632099 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de PRIVMSG #esolangs :what do you mean by Wang tileset? All I can think of is the wang tile thing by hao wang < 1643832320 585916 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Yeah, that's what I'm thinking of. < 1643832418 64383 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de PRIVMSG #esolangs :how do you calculate with the wang tiles? Or am I just lacking in knowledge again '=D < 1643832446 139410 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs : "I've been playing with this..." <- so something like what cyclic tag systems, brainfuck, minsky machines, etc...? < 1643832458 872685 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :these all are being used for turing completeness proofs on the way of translation or simulation. < 1643832473 155796 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :https://grahamshawcross.com/2012/10/12/wang-tiles-and-turing-machines/ seems like a decent introduction to writing programs with Wang tiling. < 1643832483 348602 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de PRIVMSG #esolangs :thanks < 1643832490 775510 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :i don't think it gets any simpler than minsky machines or cyclic tag. < 1643832512 120438 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Palaiologos[m]: I think Bertrahm is thinking about the metatheory for performing Turing-completeness proofs; something like a formal-methods framework or a theorem-prover. < 1643832519 26887 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :maybe fractran too? < 1643832529 779574 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 PRIVMSG #esolangs :Corbin: oh, i see. < 1643832589 368002 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de PRIVMSG #esolangs :Some of this is going over my head since english isnt my native language. What I mean is that it would, given a languages name (or a set of rules and instructions for the language) generate a turing-completeness proof program for that language < 1643832695 841144 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Aha. That makes some sense. (Your English is very good, by the way!) < 1643832708 960379 :salpynx!~salpynx@121-75-16-198.dyn.vf.net.nz JOIN #esolangs salpynx :[https://web.libera.chat] salpynx < 1643832721 586651 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de PRIVMSG #esolangs :thanks :) < 1643832877 730436 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de PRIVMSG #esolangs :I think I'll write a wiki page for it laying out what Ideas I have and then share it. Im just struggling to think of a name xD < 1643833752 250443 :salpynx!~salpynx@121-75-16-198.dyn.vf.net.nz PRIVMSG #esolangs :riv: Re. Loops in S: Section 3, Lemma 3.3, with proof: There are no reduction cycles in Σ [Σ = CL(S)] https://www.sciencedirect.com/science/article/pii/0304397579900045 < 1643833912 885440 :riv!river@tilde.team/user/river PRIVMSG #esolangs :woah!! that's cool! < 1643833926 385087 :riv!river@tilde.team/user/river PRIVMSG #esolangs :so any loop must explode < 1643833936 139885 :riv!river@tilde.team/user/river PRIVMSG #esolangs :why isn't this stuff more widely known! > 1643834390 656023 PRIVMSG #esolangs :14[[07Turing Completer14]]4 N10 02https://esolangs.org/w/index.php?oldid=92801 5* 03Bertrahm 5* (+1306) 10Created page with "{{WIP}} '''Turing Completer''' is a theoretical language capable of generating a [[Turing Completeness]] Proof for any language. There are 2 variations for this language, one..." < 1643834477 147764 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de PRIVMSG #esolangs :wrote everything out that I had in mind. I think that there could be more to it but I can't think of anything... > 1643834701 327727 PRIVMSG #esolangs :14[[07Turing Completer14]]4 10 02https://esolangs.org/w/index.php?diff=92802&oldid=92801 5* 03Bertrahm 5* (+322) 10 < 1643836314 740973 :MizMahem!sid296354@user/mizmahem QUIT :*.net *.split < 1643836314 950670 :SGautam!uid286066@ilkley.irccloud.com QUIT :*.net *.split < 1643836314 991826 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :*.net *.split < 1643836315 129443 :Sgeo!~Sgeo@user/sgeo QUIT :*.net *.split < 1643836315 246982 :abraham!~abraham@143.244.185.86 QUIT :*.net *.split < 1643836315 494622 :cd!moony@hellomouse/dev/moony QUIT :*.net *.split < 1643836315 581460 :silkworks!~silkworks@ctrl-c.club QUIT :*.net *.split < 1643836315 622776 :APic!~apic@apic.name QUIT :*.net *.split < 1643836315 793750 :Hooloovoo!~Hooloovoo@hax0rbana.org QUIT :*.net *.split < 1643836316 4220 :Melvar!~melvar@dslb-178-003-156-205.178.003.pools.vodafone-ip.de QUIT :*.net *.split < 1643836316 45397 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :*.net *.split < 1643836316 142402 :sknebel!~quassel@v22016013254630973.happysrv.de QUIT :*.net *.split < 1643836316 190823 :imode!~imode@user/imode QUIT :*.net *.split < 1643836316 239215 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu QUIT :*.net *.split < 1643836317 750927 :maximum_yellow!~op_4@user/op-4/x-9116473 QUIT :*.net *.split < 1643836317 927698 :laerling!~laerling@static.235.77.203.116.clients.your-server.de QUIT :*.net *.split < 1643836318 1182 :scjosh!~scjosh@206.189.79.69 QUIT :*.net *.split < 1643836318 53537 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :*.net *.split < 1643836318 95060 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com QUIT :*.net *.split < 1643836318 178934 :MrAureliusR!~MrAureliu@user/mraureliusr QUIT :*.net *.split < 1643836318 258147 :int-e!~noone@int-e.eu QUIT :*.net *.split < 1643836318 402689 :aarchi!sid486183@id-486183.uxbridge.irccloud.com QUIT :*.net *.split < 1643836318 464164 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :*.net *.split < 1643836318 563476 :lagash!lagash@lagash.shelltalk.net QUIT :*.net *.split < 1643836318 884734 :riv!river@tilde.team/user/river QUIT :*.net *.split < 1643836319 128986 :dbohdan!~dbohdan@user/dbohdan QUIT :*.net *.split < 1643836319 299844 :^[!~user@user//x-8473491 QUIT :*.net *.split < 1643836319 536832 :HackEso!~h@techne.zem.fi QUIT :*.net *.split < 1643836319 536895 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :*.net *.split < 1643836319 802099 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com QUIT :*.net *.split < 1643836319 857118 :benji!~benji@user/benji QUIT :*.net *.split < 1643836319 943961 :monoxane!~monoxane@user/monoxane QUIT :*.net *.split < 1643836320 185244 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :*.net *.split < 1643836320 658426 :chiselfuse!~chiselfus@user/chiselfuse QUIT :*.net *.split < 1643836320 965284 :j-bot!~jbot@irc.supplies QUIT :*.net *.split < 1643836322 70963 :shikhin!~shikhin@offtopia/offtopian QUIT :*.net *.split < 1643836322 127013 :fizzie!irc@selene.zem.fi QUIT :*.net *.split < 1643836322 462727 :yuu_!sid267332@id-267332.ilkley.irccloud.com QUIT :*.net *.split < 1643836322 536354 :mich181189!sid268336@londonhackspace/mich181189 QUIT :*.net *.split < 1643836322 678936 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :*.net *.split < 1643836322 843001 :ProofTechnique!sid79547@ilkley.irccloud.com QUIT :*.net *.split < 1643836322 939061 :__monty__!~toonn@user/toonn QUIT :*.net *.split < 1643836322 980217 :m5zs7k!aquares@web10.mydevil.net QUIT :*.net *.split < 1643836323 21898 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :*.net *.split < 1643836323 75246 :slavfox!~slavfox@93.158.232.111 QUIT :*.net *.split < 1643836323 244581 :immibis!~hexchat@62.156.144.218 QUIT :*.net *.split < 1643836323 285773 :user3456!user3456@user/user3456 QUIT :*.net *.split < 1643836323 494534 :ski!~ski@remote12.chalmers.se QUIT :*.net *.split < 1643836323 726863 :sprock!~sprock@user/sprock QUIT :*.net *.split < 1643836324 67833 :vyv!~vyv@bras-vprn-nrbaon0452w-lp130-16-76-68-64-112.dsl.bell.ca QUIT :*.net *.split < 1643836324 404448 :msmith12[m]!~msmith12m@2001:470:69fc:105::bdfc QUIT :*.net *.split < 1643836325 318155 :oren!~oren@ec2-44-201-23-133.compute-1.amazonaws.com QUIT :*.net *.split < 1643836325 577964 :fungot!~fungot@2a01:4b00:82bb:1341::a QUIT :*.net *.split < 1643836325 714141 :relrod!~relrod@redhat/ansible.staff.relrod QUIT :*.net *.split < 1643836326 60618 :citrons!~citrons@alt.mondecitronne.com QUIT :*.net *.split < 1643836326 60674 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :*.net *.split < 1643836326 118679 :haavard!root@haavard.me QUIT :*.net *.split < 1643836326 281186 :A_Dragon!A_D@libera/staff/dragon QUIT :*.net *.split < 1643836326 329643 :kronk!~18137d14@user/imode QUIT :*.net *.split < 1643836327 338939 :feoh!~feoh@idlerpg/player/feoh QUIT :*.net *.split < 1643836327 825962 :jix!~jix@user/jix QUIT :*.net *.split < 1643836328 249493 :sebbu!~sebbu@user/sebbu QUIT :*.net *.split < 1643836328 295162 :ccx!~ccx@82.142.125.46 QUIT :*.net *.split < 1643836329 294446 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 QUIT :*.net *.split < 1643836329 385845 :ecs!~ecs@user/ecs QUIT :*.net *.split < 1643836329 427072 :Argorok!sid195487@id-195487.hampstead.irccloud.com QUIT :*.net *.split < 1643836329 521695 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net QUIT :*.net *.split < 1643836329 521750 :V!~v@anomalous.eu QUIT :*.net *.split < 1643836330 245479 :mcfrdy!~mcfrdy@user/mcfrdy QUIT :*.net *.split < 1643836330 482393 :sprout!~quassel@2a02:a467:ccd6:1:6013:7539:4fef:cd22 QUIT :*.net *.split < 1643836331 260970 :Riviera!Riviera@user/riviera QUIT :*.net *.split < 1643836331 524286 :pikhq!sid394595@user/pikhq QUIT :*.net *.split < 1643836331 700092 :myname!~myname@ks300980.kimsufi.com QUIT :*.net *.split < 1643836331 741322 :shachaf!~shachaf@user/shachaf QUIT :*.net *.split < 1643836331 741434 :salpynx!~salpynx@121-75-16-198.dyn.vf.net.nz QUIT :*.net *.split < 1643836331 741497 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de QUIT :*.net *.split < 1643836332 830524 :integral!sid296274@user/integral QUIT :*.net *.split < 1643836332 871700 :sunarch!uid526836@user/sunarch QUIT :*.net *.split < 1643836332 871796 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator QUIT :*.net *.split < 1643836333 82965 :FireFly!~firefly@glowbum/gluehwuermchen/firefly QUIT :*.net *.split < 1643836333 124607 :Taneb!~Taneb@runciman.hacksoc.org QUIT :*.net *.split < 1643836333 165852 :zegalch!~zegalch@178.128.75.133 QUIT :*.net *.split < 1643836333 361048 :leah2!~leah@vuxu.org QUIT :*.net *.split < 1643836401 601044 :relrod!~relrod@redhat/ansible.staff.relrod JOIN #esolangs relrod :rickymain < 1643836401 601130 :fungot!~fungot@2a01:4b00:82bb:1341::a JOIN #esolangs fungot :fungot-0.1 < 1643836401 601150 :oren!~oren@ec2-44-201-23-133.compute-1.amazonaws.com JOIN #esolangs oren :Oren Watson < 1643836401 601542 :msmith12[m]!~msmith12m@2001:470:69fc:105::bdfc JOIN #esolangs * :@msmith12:matrix.org < 1643836401 601571 :vyv!~vyv@bras-vprn-nrbaon0452w-lp130-16-76-68-64-112.dsl.bell.ca JOIN #esolangs vyv :vyv verver < 1643836401 601589 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN #esolangs * :rodgort < 1643836401 601610 :monoxane!~monoxane@user/monoxane JOIN #esolangs monoxane :monoxane < 1643836401 601661 :benji!~benji@user/benji JOIN #esolangs benji :benji < 1643836401 601680 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1643836401 601699 :HackEso!~h@techne.zem.fi JOIN #esolangs HackEso :HackEso < 1643836401 601717 :shachaf!~shachaf@user/shachaf JOIN #esolangs shachaf :Shachaf Ben-Kiki < 1643836401 601770 :myname!~myname@ks300980.kimsufi.com JOIN #esolangs myname :myname < 1643836401 601832 :pikhq!sid394595@user/pikhq JOIN #esolangs pikhq :Ada Worcester < 1643836401 601854 :Riviera!Riviera@user/riviera JOIN #esolangs Riviera ::) < 1643836401 601904 :sprout!~quassel@2a02:a467:ccd6:1:6013:7539:4fef:cd22 JOIN #esolangs sprout :anon < 1643836401 601922 :kronk!~18137d14@user/imode JOIN #esolangs imode :kronk < 1643836401 601941 :A_Dragon!A_D@libera/staff/dragon JOIN #esolangs ad :Roy Mustang, The Flame Alchemist < 1643836401 642902 :haavard!root@haavard.me JOIN #esolangs haavard :Håvard Pettersson < 1643836401 642996 :citrons!~citrons@alt.mondecitronne.com JOIN #esolangs citrons :citrons < 1643836401 643020 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN #esolangs lambdabot :Lambda_Robots:_100%_Loyal < 1643836401 643085 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com JOIN #esolangs * :realname < 1643836401 643107 :sprock!~sprock@user/sprock JOIN #esolangs sprock :sprock < 1643836401 643127 :ski!~ski@remote12.chalmers.se JOIN #esolangs ski :Stefan Ljungstrand < 1643836401 643196 :user3456!user3456@user/user3456 JOIN #esolangs user3456 :user3456 < 1643836401 643218 :immibis!~hexchat@62.156.144.218 JOIN #esolangs immibis :realname < 1643836401 643268 :slavfox!~slavfox@93.158.232.111 JOIN #esolangs slavfox :slavfox < 1643836401 643323 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1643836401 643353 :m5zs7k!aquares@web10.mydevil.net JOIN #esolangs m5zs7k :m5zs7k < 1643836401 643376 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1643836401 643433 :ProofTechnique!sid79547@ilkley.irccloud.com JOIN #esolangs ProofTechnique :ptech < 1643836401 643463 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1643836401 643483 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de JOIN #esolangs Bertrahm :[https://web.libera.chat] Bertrahm < 1643836401 643565 :salpynx!~salpynx@121-75-16-198.dyn.vf.net.nz JOIN #esolangs salpynx :[https://web.libera.chat] salpynx < 1643836406 104821 :sunarch!uid526836@user/sunarch JOIN #esolangs sunarch :sunarch < 1643836406 105629 :integral!sid296274@user/integral JOIN #esolangs integral :bsmith < 1643836406 105650 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :( < 1643836406 105661 :FireFly!~firefly@glowbum/gluehwuermchen/firefly JOIN #esolangs FireFly :firefly < 1643836406 188254 :Taneb!~Taneb@runciman.hacksoc.org JOIN #esolangs Taneb :Nathan van Doorn < 1643836406 188349 :zegalch!~zegalch@178.128.75.133 JOIN #esolangs zegalch :The Lounge User < 1643836406 188417 :leah2!~leah@vuxu.org JOIN #esolangs leah2 :Leah Neukirchen < 1643836430 401965 :SGautam!uid286066@ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1643836430 402015 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1643836430 402026 :abraham!~abraham@143.244.185.86 JOIN #esolangs abraham :abraham < 1643836430 402038 :cd!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her) < 1643836430 402048 :silkworks!~silkworks@ctrl-c.club JOIN #esolangs Byzantine :silkworks < 1643836430 443128 :APic!~apic@apic.name JOIN #esolangs APic :A. Pic. - my name since YOLD 3149 < 1643836430 443212 :Hooloovoo!~Hooloovoo@hax0rbana.org JOIN #esolangs hooloovoo :ZNC - https://znc.in < 1643836430 443229 :Melvar!~melvar@dslb-178-003-156-205.178.003.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar < 1643836430 443280 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1643836430 443297 :sknebel!~quassel@v22016013254630973.happysrv.de JOIN #esolangs sknebel :sknebel < 1643836430 443334 :imode!~imode@user/imode JOIN #esolangs imode :imode < 1643836430 443388 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu JOIN #esolangs * :b_jonas < 1643836447 14088 :feoh!~feoh@idlerpg/player/feoh JOIN #esolangs feoh :Chris Patti < 1643836447 14865 :jix!~jix@user/jix JOIN #esolangs jix :Jannis Harder < 1643836447 14885 :sebbu!~sebbu@user/sebbu JOIN #esolangs sebbu :sebbu < 1643836467 994276 :maximum_yellow!~op_4@user/op-4/x-9116473 JOIN #esolangs op_4 :op_4 < 1643836467 994336 :laerling!~laerling@static.235.77.203.116.clients.your-server.de JOIN #esolangs laerling :Unknown < 1643836467 994357 :scjosh!~scjosh@206.189.79.69 JOIN #esolangs scjosh :Josh < 1643836467 994378 :iovoid!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :probably iovoid? < 1643836467 994397 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN #esolangs joast :purple < 1643836468 35783 :MrAureliusR!~MrAureliu@user/mraureliusr JOIN #esolangs MrAureliusR :Got ZNC? < 1643836468 35838 :int-e!~noone@int-e.eu JOIN #esolangs int-e :Bertram < 1643836468 35868 :aarchi!sid486183@id-486183.uxbridge.irccloud.com JOIN #esolangs aarchi :aarchi < 1643836468 35893 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN #esolangs zzo38 :zzo38 < 1643836468 35912 :lagash!lagash@lagash.shelltalk.net JOIN #esolangs lagash :ZNC - https://znc.in < 1643836468 35959 :riv!river@tilde.team/user/river JOIN #esolangs river :My real name < 1643836468 36035 :dbohdan!~dbohdan@user/dbohdan JOIN #esolangs dbohdan :ZNC - https://znc.in < 1643836468 36055 :^[!~user@user//x-8473491 JOIN #esolangs ^[ :user < 1643836490 326959 :j-bot!~jbot@irc.supplies JOIN #esolangs * :jevalbot < 1643836490 327019 :shikhin!~shikhin@offtopia/offtopian JOIN #esolangs shikhin :shikhin < 1643836490 327042 :fizzie!irc@selene.zem.fi JOIN #esolangs fizzie :Heikki Kallasjoki < 1643836490 327061 :yuu_!sid267332@id-267332.ilkley.irccloud.com JOIN #esolangs * :yuu < 1643836490 327079 :mich181189!sid268336@londonhackspace/mich181189 JOIN #esolangs mich181189 :Michael < 1643836502 420834 :ccx!~ccx@82.142.125.46 JOIN #esolangs ccx :ccx < 1643836502 591096 :MizMahem!sid296354@user/mizmahem JOIN #esolangs MizMahem :🐍🐔 < 1643836508 602886 :msmith12[m]!~msmith12m@2001:470:69fc:105::bdfc QUIT :Ping timeout: 252 seconds < 1643836511 963123 :sebbu!~sebbu@user/sebbu QUIT :Read error: Connection reset by peer < 1643836518 649861 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 JOIN #esolangs * :@kspalaiologos:matrix.org < 1643836518 649952 :ecs!~ecs@user/ecs JOIN #esolangs ecs :ecs < 1643836518 649973 :Argorok!sid195487@id-195487.hampstead.irccloud.com JOIN #esolangs * :Argorok < 1643836518 649992 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net JOIN #esolangs Corbin :Corbin < 1643836518 650012 :V!~v@anomalous.eu JOIN #esolangs V :Wie? < 1643836518 650031 :mcfrdy!~mcfrdy@user/mcfrdy JOIN #esolangs mcfrdy :mcfrdy < 1643836519 141399 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 QUIT :Ping timeout: 245 seconds < 1643836590 21456 :sebbu!~sebbu@2a01:cb10:856f:3000:70bc:5bd0:8f78:3b97 JOIN #esolangs * :sebbu < 1643836808 939522 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection < 1643837046 776459 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com QUIT :Quit: Leaving < 1643837062 183176 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com JOIN #esolangs * :realname < 1643837133 883069 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com QUIT :Client Quit < 1643837147 665373 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com JOIN #esolangs * :realname < 1643837158 87081 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com QUIT :Remote host closed the connection < 1643837171 689260 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com JOIN #esolangs * :realname > 1643837259 634024 PRIVMSG #esolangs :14[[07MathSeq14]]4 N10 02https://esolangs.org/w/index.php?oldid=92803 5* 03Threesodas 5* (+4348) 10Created page with "{{lowercase}} [[Category:Unimplemented]] [[Category:Languages]] '''mathSeq''' ('''math Seq'''uences) is an esoteric programming language created by User:Threesodas|Threesoda..." > 1643837276 578801 PRIVMSG #esolangs :14[[07MathSeq14]]4 10 02https://esolangs.org/w/index.php?diff=92804&oldid=92803 5* 03Threesodas 5* (+3) 10oosp typo > 1643837444 515899 PRIVMSG #esolangs :14[[07MathSeq14]]4 10 02https://esolangs.org/w/index.php?diff=92805&oldid=92804 5* 03Bertrahm 5* (+6) 10/* Syntax */ < 1643837533 253226 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com QUIT :Quit: Leaving < 1643837547 677414 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse < 1643837550 163227 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com JOIN #esolangs Cale :realname < 1643837562 213972 :Bertrahm!~Bertrahm@p200300c9a7297600f8fa15fe900836bd.dip0.t-ipconnect.de QUIT :Quit: Client closed < 1643837594 749859 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1643838650 832532 :vyv!~vyv@bras-vprn-nrbaon0452w-lp130-16-76-68-64-112.dsl.bell.ca QUIT :Quit: Konversation terminated! < 1643838783 501423 :Palaiologos[m]!~kspalaiol@2001:470:69fc:105::1:82c0 JOIN #esolangs * :@kspalaiologos:matrix.org < 1643838997 503909 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 240 seconds < 1643839002 575631 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 260 seconds < 1643839257 355167 :msmith12[m]!~msmith12m@2001:470:69fc:105::bdfc JOIN #esolangs * :@msmith12:matrix.org > 1643840930 777771 PRIVMSG #esolangs :14[[07ScrubCode14]]4 10 02https://esolangs.org/w/index.php?diff=92806&oldid=47256 5* 03MeowflashDaProgrammer 5* (+70) 10 > 1643840959 452586 PRIVMSG #esolangs :14[[07User:MeowflashDaProgrammer14]]4 10 02https://esolangs.org/w/index.php?diff=92807&oldid=47247 5* 03MeowflashDaProgrammer 5* (-1349) 10Replaced content with "Please delete this user. I don't want to use the Esolangs wiki anymore." > 1643841432 364894 PRIVMSG #esolangs :14[[07User:Threesodas14]]4 10 02https://esolangs.org/w/index.php?diff=92808&oldid=92753 5* 03Threesodas 5* (+16) 10 > 1643842213 114440 PRIVMSG #esolangs :14[[07MathSeq14]]4 10 02https://esolangs.org/w/index.php?diff=92809&oldid=92805 5* 03Threesodas 5* (+70) 10 > 1643842617 928857 PRIVMSG #esolangs :14[[07Plurple14]]4 10 02https://esolangs.org/w/index.php?diff=92810&oldid=92788 5* 03Laclale 5* (+55) 10/* Commands */ < 1643842813 87417 :APic!~apic@apic.name QUIT :Ping timeout: 256 seconds < 1643842910 329 :APic!apic@apic.name JOIN #esolangs APic :A. Pic. - my name since YOLD 3149 < 1643843185 731850 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1643843332 922443 :zegalch!~zegalch@178.128.75.133 QUIT :Remote host closed the connection > 1643843348 995899 PRIVMSG #esolangs :14[[07January 25, 409214]]4 N10 02https://esolangs.org/w/index.php?oldid=92811 5* 03Threesodas 5* (+243) 10Created page with "[[Category:Joke_languages]] '''January 25, 5092''' is a joke esoteric language that can only be compiled on the specific date ''January 25, 4092''.
This is the only valid..." < 1643843357 804036 :zegalch!~zegalch@178.128.75.133 JOIN #esolangs zegalch :The Lounge User > 1643843371 451394 PRIVMSG #esolangs :14[[07January 25, 409214]]4 M10 02https://esolangs.org/w/index.php?diff=92812&oldid=92811 5* 03Threesodas 5* (+0) 10Change 5 to 4 < 1643843489 46109 :SGautam!uid286066@ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity