< 1636071231 359326 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Ping timeout: 245 seconds
< 1636071491 260360 :monoxane0!~monoxane@user/monoxane JOIN #esolangs monoxane :monoxane
> 1636071582 61730 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=89368&oldid=89305 5* 03PixelatedStarfish 5* (+92) 10/* Unimplemented Languages */
> 1636071605 879519 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=89369&oldid=89368 5* 03PixelatedStarfish 5* (+0) 10/* Unimplemented Languages */
< 1636071610 603671 :monoxane!~monoxane@user/monoxane QUIT :Ping timeout: 260 seconds
< 1636071610 923522 :monoxane0!~monoxane@user/monoxane NICK :monoxane
> 1636071637 661228 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=89370&oldid=89369 5* 03PixelatedStarfish 5* (+15) 10/* In Chronological Order */
< 1636071722 577911 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 260 seconds
< 1636071805 50095 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1636072061 796507 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron
< 1636072759 724582 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen
< 1636074658 817150 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :<b_jonas> Or, for a more mathematical argument, consider Underload without the ! and S primitives, which can't delete anything, but is still Turing-complete. <-- iirc the first proof i made in that section is pretty much the same kind of junk-based thing int-e gave for BCW (which i hadn't heard about)
< 1636074678 339473 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :except the junk is put on the stack
< 1636074733 381691 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :now i somewhat wonder if you could also apply the later "two ways of running a term, one of which self-deletes" method to BCW
< 1636074804 321382 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :*first such proof
< 1636077287 927727 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :oerjan: Smullyan's bird book talks about BCW, but I don't think it gives a full proof
< 1636077386 423487 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :it also doesn't tell whether it's Turing-complete – it only says that from the BCW basis you can get any lambda term of a certain form, namely one with applications only on variables inside the lambdas, and with all bound variables used at least once
< 1636077419 814915 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :all of that IIRC, I haven't checked the book even though it's within arm's reach of me
< 1636078520 219198 :delta23!~delta23@user/delta23 QUIT :Quit: Leaving
< 1636079301 702396 :dbohdan3!~dbohdan@user/dbohdan JOIN #esolangs dbohdan :ZNC - https://znc.in
< 1636079394 614984 :dbohdan!~dbohdan@user/dbohdan QUIT :Ping timeout: 260 seconds
< 1636089231 373697 :orin!~oren@ec2-34-239-129-109.compute-1.amazonaws.com QUIT :Quit: leaving
< 1636089290 821238 :oren!~oren@ec2-3-227-24-253.compute-1.amazonaws.com JOIN #esolangs oren :Oren Watson
< 1636092063 384852 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Corbin: Here's a tested translation to BCWI: https://paste.debian.net/1218287/
< 1636092172 694425 :int-e!~noone@int-e.eu PRIVMSG #esolangs :what I did yesterday was flawed... it's not really possible to extract all the garbage to the top level (some subterms may not even participate in the evaluation to head normal form).
< 1636092285 703138 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But it's also simpler than what I tried yesterday in that application is actually translated as application.
< 1636092402 958543 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(This relies on the <F,X> <G,Y> = F G Y X that I spelled out yesterday.)
< 1636092678 209196 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Anyway, I would be surprised if this kind of direct simulation of combinatory logic works for S. But I can't rule it out; lack of erasure simply isn't enough.
< 1636093492 327725 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :int-e: Very cool.
< 1636093513 992690 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :I still like my argument from last time about implementing S with S, but I'm not any closer to making it rigorous.
< 1636093748 848983 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh the  x z I I (y z g h)  from [S] can be demystified using that pair identiy: it's equal to <x,I> <z,I> (<y,h> <z,g>)
< 1636093797 978116 :int-e!~noone@int-e.eu PRIVMSG #esolangs :where I, g, and h are garbage we don't care about.
< 1636095061 351865 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite
< 1636095340 850302 :riv!river@tilde.team/user/river PRIVMSG #esolangs :https://www.youtube.com/watch?v=wJi0xeNI6ho
< 1636095895 438897 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ACTION eyes that links suspiciously
< 1636095962 176659 :int-e!~noone@int-e.eu PRIVMSG #esolangs :"436,906 Hz redstone clock" hmm might actually be amusing
< 1636096064 503578 :int-e!~noone@int-e.eu PRIVMSG #esolangs :GoL has a similar thing where people searched for the fastest possible glider gun
< 1636096325 154099 :int-e!~noone@int-e.eu PRIVMSG #esolangs :cf. https://www.conwaylife.com/wiki/Period-14_glider_gun
< 1636096376 979793 :riv!river@tilde.team/user/river PRIVMSG #esolangs :successive gliders cannot be closer than 14 generations 
< 1636096378 730567 :riv!river@tilde.team/user/river PRIVMSG #esolangs :COol
< 1636096416 955669 :riv!river@tilde.team/user/river PRIVMSG #esolangs :funny that you can inject with spaceships somehow
< 1636096422 292089 :riv!river@tilde.team/user/river PRIVMSG #esolangs :that there's enough space for that
> 1636098594 614866 PRIVMSG #esolangs :14[[07GPTLang14]]4 N10 02https://esolangs.org/w/index.php?oldid=89371 5* 03Hakerh400 5* (+5240) 10Created page with "GPTLang is an esoteric programming language invented by the GPT neural netwrok.  <!--------------------------------------------------------------------------------------------..."
> 1636098620 189492 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=89372&oldid=89351 5* 03Hakerh400 5* (+14) 10/* G */
< 1636099514 635567 :hendursa1!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat
< 1636099725 629640 :hendursaga!~weechat@user/hendursaga QUIT :Ping timeout: 276 seconds
< 1636099822 867104 :int-e!~noone@int-e.eu PRIVMSG #esolangs :...oh no...
< 1636099910 812813 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(They automated User:A)
< 1636099965 708776 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1636100369 960280 :hendursa1!~weechat@user/hendursaga QUIT :Remote host closed the connection
< 1636100399 633056 :hendursa1!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat
> 1636101410 630165 PRIVMSG #esolangs :14[[07User:Magnogen14]]4 10 02https://esolangs.org/w/index.php?diff=89373&oldid=84082 5* 03Magnogen 5* (+81) 10
> 1636101538 298699 PRIVMSG #esolangs :14[[07GPTLang14]]4 M10 02https://esolangs.org/w/index.php?diff=89374&oldid=89371 5* 03Hakerh400 5* (+0) 10typo
< 1636103444 630477 :earendel!uid498179@user/earendel JOIN #esolangs earendel :AmoreFS
< 1636104230 589362 :ski!~ski@remote12.chalmers.se QUIT :Ping timeout: 260 seconds
< 1636104243 181880 :ski!~ski@remote12.chalmers.se JOIN #esolangs * :Stefan Ljungstrand
< 1636105091 791838 :imode!~imode@user/imode QUIT :Ping timeout: 268 seconds
> 1636106325 585903 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Guy Fawkes Rep 5*  10New user account
> 1636106720 62305 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=89375&oldid=89310 5* 03Guy Fawkes Rep 5* (+347) 10Stop the fire
< 1636106890 335680 :monoxane!~monoxane@user/monoxane QUIT :Remote host closed the connection
> 1636106989 200057 PRIVMSG #esolangs :14[[07Talk:List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=89376&oldid=82411 5* 03Guy Fawkes Rep 5* (+168) 10/* Sculpture */ new section
< 1636107006 126348 :monoxane!~monoxane@user/monoxane JOIN #esolangs monoxane :monoxane
< 1636115627 2302 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1636115721 65180 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection
< 1636116942 448753 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas
< 1636117601 38646 :sprout_!~quassel@2a02:a467:ccd6:1:49b2:5c3a:dea0:5ca1 JOIN #esolangs * :anon
< 1636117820 52281 :sprout!~quassel@2a02:a467:ccd6:1:5495:68b3:d03c:732e QUIT :Ping timeout: 268 seconds
< 1636119639 253164 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1636119962 168991 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection
< 1636119995 682465 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1636120076 124875 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1636120813 416057 PRIVMSG #esolangs :14[[07Timers14]]4 M10 02https://esolangs.org/w/index.php?diff=89377&oldid=89367 5* 03Rphii 5* (-39) 10fix logical mistakes
< 1636121024 157304 :Trieste_!T@user/pilgrim JOIN #esolangs pilgrim :T
< 1636121076 90508 :Trieste!T@user/pilgrim QUIT :Ping timeout: 268 seconds
< 1636125182 802865 :sprock!~sprock@user/sprock QUIT :Ping timeout: 268 seconds
> 1636125307 99391 PRIVMSG #esolangs :14[[07Alphuck14]]4 10 02https://esolangs.org/w/index.php?diff=89378&oldid=72359 5* 03PixelatedStarfish 5* (+2) 10/* Hello, World! program */
< 1636127189 639129 :Sgeo_!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1636127347 221488 :Sgeo!~Sgeo@user/sgeo QUIT :Ping timeout: 256 seconds
< 1636128302 657394 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed
< 1636129888 142604 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Quit: sorry for all the connect/quit spam
< 1636129913 552267 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1636129921 577154 :sprock!~sprock@user/sprock JOIN #esolangs sprock :Maeve Sproule 
< 1636130759 589745 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1636130903 597556 :Sgeo_!~Sgeo@user/sgeo QUIT :Ping timeout: 264 seconds
< 1636131754 614130 :sprock!~sprock@user/sprock QUIT :Ping timeout: 260 seconds
< 1636132577 892489 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Quit: sorry for the floodù
< 1636132665 558902 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1636133414 129485 :imode!~imode@user/imode JOIN #esolangs imode :imode
< 1636133561 121815 :sprock!~sprock@user/sprock JOIN #esolangs sprock :Maeve Sproule 
< 1636133681 204240 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection
< 1636133710 909952 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1636134723 901880 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection
< 1636134766 650964 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1636135231 542815 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection
< 1636135249 625270 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
> 1636136500 19852 PRIVMSG #esolangs :14[[07User:Palaiologos14]]4 10 02https://esolangs.org/w/index.php?diff=89379&oldid=89203 5* 03Palaiologos 5* (-73) 10outdated
< 1636138132 90863 :earendel!uid498179@user/earendel QUIT :Quit: Connection closed for inactivity
< 1636138363 172751 :sprock!~sprock@user/sprock QUIT :Ping timeout: 256 seconds
< 1636139106 306593 :j4cbo!sid186930@helmsley.irccloud.com QUIT :Ping timeout: 245 seconds
< 1636139163 122595 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection
< 1636139174 701098 :tech_exorcist_!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1636139189 904252 :tech_exorcist_!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection
< 1636139296 607772 :j4cbo!sid186930@id-186930.helmsley.irccloud.com JOIN #esolangs * :j4cbo
< 1636140083 633134 :laerling!~lsf@static.235.77.203.116.clients.your-server.de QUIT :Ping timeout: 264 seconds
< 1636140090 654303 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Ping timeout: 276 seconds
> 1636140144 667970 PRIVMSG #esolangs :14[[07Atom14]]4 10 02https://esolangs.org/w/index.php?diff=89380&oldid=32745 5* 03Ch44d 5* (+30) 10Add turing complete tag
< 1636140182 663037 :laerling!~lsf@static.235.77.203.116.clients.your-server.de JOIN #esolangs * :Unknown
< 1636140194 633744 :hiato!~op_4@user/op-4/x-9116473 JOIN #esolangs op_4 :tslil
< 1636140195 739234 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse
< 1636140206 403880 :laerling!~lsf@static.235.77.203.116.clients.your-server.de NICK :Guest6218
< 1636140215 599456 :op_4!~op_4@user/op-4/x-9116473 QUIT :Ping timeout: 260 seconds
> 1636140285 277612 PRIVMSG #esolangs :14[[07Atom14]]4 10 02https://esolangs.org/w/index.php?diff=89381&oldid=89380 5* 03Ch44d 5* (+23) 10add languages tag
< 1636140657 932398 :Guest3745674!~Guest3745@2605:a601:a976:6800:6d2e:aa50:cf7:23a3 JOIN #esolangs * :[https://web.libera.chat] Guest3745674
< 1636140698 612198 :Guest3745674!~Guest3745@2605:a601:a976:6800:6d2e:aa50:cf7:23a3 QUIT :Client Quit
< 1636140900 640524 :Sgeo_!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1636141078 609682 :Sgeo!~Sgeo@user/sgeo QUIT :Ping timeout: 260 seconds
< 1636142087 192823 :sprock!~sprock@user/sprock JOIN #esolangs sprock :Maeve Sproule 
> 1636144566 414859 PRIVMSG #esolangs :14[[07User:AmNow/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=89382&oldid=89366 5* 03AmNow 5* (+56) 10
> 1636144940 79571 PRIVMSG #esolangs :14[[07Alphuck14]]4 10 02https://esolangs.org/w/index.php?diff=89383&oldid=89378 5* 03PixelatedStarfish 5* (+93) 10/* Hello, World! program */
> 1636145123 915964 PRIVMSG #esolangs :14[[07Talk:Alphuck14]]4 10 02https://esolangs.org/w/index.php?diff=89384&oldid=56397 5* 03PixelatedStarfish 5* (+127) 10
> 1636145168 132337 PRIVMSG #esolangs :14[[07Talk:Alphuck14]]4 10 02https://esolangs.org/w/index.php?diff=89385&oldid=89384 5* 03PixelatedStarfish 5* (+28) 10
< 1636145843 144557 :sprock!~sprock@user/sprock QUIT :Ping timeout: 256 seconds
< 1636147044 809337 :archenoth!~archenoth@2604:3d09:681:f00:d9c8:22e8:7bd:5ca5 QUIT :Read error: Connection reset by peer
< 1636147064 637056 :archenoth!~archenoth@2604:3d09:681:f00:d9c8:22e8:7bd:5ca5 JOIN #esolangs Archenoth :archenoth
< 1636147107 639350 :arseniiv!~arseniiv@94.41.2.66.dynamic.ufanet.ru JOIN #esolangs * :the chaotic arseniiv
< 1636147536 347189 :esolangs!~esolangs@techne.zem.fi QUIT :Ping timeout: 268 seconds
< 1636147575 614858 :esolangs1!~esolangs@techne.zem.fi JOIN #esolangs esolangs :esolangs.org
< 1636147575 657071 :ChanServ!ChanServ@services.libera.chat MODE #esolangs +v :esolangs1
< 1636147608 118373 :msmith12[m]!~msmith12m@2001:470:69fc:105::bdfc QUIT :Ping timeout: 246 seconds
< 1636147627 479423 :esolangs!~esolangs@techne.zem.fi QUIT :Ping timeout: 268 seconds
< 1636147635 952651 :olsner!~salparot@c83-252-230-207.bredband.tele2.se QUIT :Ping timeout: 268 seconds
< 1636147689 617938 :esolangs1!~esolangs@techne.zem.fi NICK :esolangs
< 1636147702 925862 :leah2!~leah@vuxu.org QUIT :Ping timeout: 264 seconds
< 1636147718 13282 :olsner!~salparot@c83-252-230-207.bredband.tele2.se JOIN #esolangs olsner :Got ZNC?
< 1636147741 686162 :leah2!~leah@vuxu.org JOIN #esolangs leah2 :Leah Neukirchen
< 1636147924 396132 :msmith12[m]!~msmith12m@2001:470:69fc:105::bdfc JOIN #esolangs * :@msmith12:matrix.org
< 1636150289 514730 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection
< 1636150308 992495 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse
< 1636150608 675041 :sprock!~sprock@user/sprock JOIN #esolangs sprock :Maeve Sproule 
< 1636150649 267663 :V!~v@anomalous.eu QUIT :Ping timeout: 264 seconds
< 1636150667 780574 :V!~v@anomalous.eu JOIN #esolangs V :Wie?
< 1636152194 548643 :arseniiv!~arseniiv@94.41.2.66.dynamic.ufanet.ru QUIT :Ping timeout: 260 seconds