< 1626999483 898749 :delta23!~delta23@user/delta23 QUIT :Quit: Leaving < 1627002351 108489 :mnrmnaugh!~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net NICK :BMCC < 1627002390 945055 :BMCC!~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net NICK :awk < 1627002946 670536 :awk!~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net NICK :mnrmnaugh > 1627005660 213999 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Zing 5* 10New user account > 1627005904 554717 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=86556&oldid=86504 5* 03Zing 5* (+179) 10/* Introductions */ < 1627006626 393066 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 240 seconds < 1627006688 101613 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1627008644 30518 PRIVMSG #esolangs :14[[07Back Alley14]]4 N10 02https://esolangs.org/w/index.php?oldid=86557 5* 03Zing 5* (+3832) 10Created page with "=='''Back Alley'''== Have you ever wanted to worry about your program getting jumped by a criminal? Ever wanted to juggle programming with constantly not getting arrested? Gr..." < 1627009964 994248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :. o O ( no, not particularly ) > 1627011056 787159 PRIVMSG #esolangs :14[[07Back Alley14]]4 10 02https://esolangs.org/w/index.php?diff=86558&oldid=86557 5* 03Zing 5* (+54) 10/* Back Alley */ > 1627012386 433585 PRIVMSG #esolangs :14[[07Truth-machine14]]4 M10 02https://esolangs.org/w/index.php?diff=86559&oldid=86305 5* 03KakkoiiChris 5* (-32) 10/* Minim */ Changed wording of last comment > 1627017621 222397 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03DeltaYelta 5* 10New user account > 1627017815 108573 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=86560&oldid=86556 5* 03DeltaYelta 5* (+243) 10 < 1627018689 928904 :yogoyo!~patrick@user/yogoyo JOIN #esolangs yogoyo :Patrick Frank < 1627018710 138718 :yogoyo!~patrick@user/yogoyo PART #esolangs :WeeChat 3.0.1 < 1627019078 44292 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Taneb: The thing about All being coinductive and Any being inductive is interesting. < 1627019121 82963 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :In particular with them being demorganizations of each other. At least one way, maybe both ways? < 1627020310 642040 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Not in neither way < 1627020354 316720 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :By demoganizations of each other, do you mean like how All P is equivalent to ¬ Any (¬ P)? > 1627020356 38183 PRIVMSG #esolangs :14[[07Metafractran14]]4 M10 02https://esolangs.org/w/index.php?diff=86561&oldid=57249 5* 03Challenger5 5* (+5) 10fix interpreter link < 1627020395 578437 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :(by equivalent to I mean classically equivalent to) > 1627020427 3157 PRIVMSG #esolangs :14[[07Full Stack14]]4 10 02https://esolangs.org/w/index.php?diff=86562&oldid=76951 5* 03Challenger5 5* (+14) 10fix implementation link > 1627020485 910623 PRIVMSG #esolangs :14[[07Aubergine14]]4 M10 02https://esolangs.org/w/index.php?diff=86563&oldid=80684 5* 03Challenger5 5* (+14) 10fix implementation link < 1627020586 677051 :riv!~river@tilde.team/user/river QUIT :Quit: Leaving < 1627020643 400290 :riv!~river@tilde.team/user/river JOIN #esolangs river :river > 1627020741 564514 PRIVMSG #esolangs :14[[07Flurry14]]4 M10 02https://esolangs.org/w/index.php?diff=86564&oldid=77676 5* 03Challenger5 5* (+14) 10fix implementation link < 1627020952 115038 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1627020971 80955 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 268 seconds < 1627021024 814193 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life > 1627021297 245186 PRIVMSG #esolangs :14[[07Momema14]]4 M10 02https://esolangs.org/w/index.php?diff=86565&oldid=57121 5* 03Challenger5 5* (+9) 10fix implementation link > 1627021880 179487 PRIVMSG #esolangs :14[[07DigFill14]]4 M10 02https://esolangs.org/w/index.php?diff=86566&oldid=30633 5* 03Challenger5 5* (+176) 10add implementation link > 1627022071 872786 PRIVMSG #esolangs :14[[07DigFill14]]4 M10 02https://esolangs.org/w/index.php?diff=86567&oldid=86566 5* 03Challenger5 5* (-2) 10mark as implemented > 1627022788 682883 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03OHMAMMAD 5* 10New user account < 1627023161 236570 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1627023324 142447 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :shachaf: what do you find interesting about it? To me it's just, like, a thing < 1627023377 921288 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I mean the thing I said, I guess. Should negation take you from/to inductive to/from coinductive? < 1627023468 676737 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :Hmmm < 1627023559 921645 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :the left and right of the arrow are negative and positive -> < 1627023607 966294 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :since ~P is P -> False, it's on the left of the arrow so P is in a negative position < 1627023644 811616 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :P doesn't go from being inductive to coinductive, it goes from having to be introduced to having to be eliminated < 1627023968 236011 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Taneb: Also, how does this relate to the modalities "always" and "eventually"? < 1627023975 364982 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :You're saying things like "always eventually X" < 1627024026 132174 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :Yes < 1627024080 686627 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I guess that's all it is. < 1627024093 37003 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :Always eventually X iff X infinitely often, Eventually always X iff ¬X finitely often < 1627024133 902242 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :So in constructive settings, do you only get one de Morgan dual thing holding? < 1627024165 420719 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I guess you don't have ¬(A and B) --> ¬A or ¬B < 1627024171 599418 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :Yeah < 1627024189 1568 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :So: ¬All P --> Any ¬P < 1627024196 808589 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Fair enough! < 1627024204 389531 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :There's a name for this thing, right? < 1627024223 339713 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :This thing: https://en.wikipedia.org/wiki/%CE%A9-consistent_theory < 1627024349 622552 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :I've not seen that before! < 1627024505 677162 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esolangs :It's interesting, thank you > 1627025506 67791 PRIVMSG #esolangs :14[[07Check14]]4 M10 02https://esolangs.org/w/index.php?diff=86568&oldid=57116 5* 03Challenger5 5* (+4) 10fix implementation link < 1627027451 63317 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him < 1627027677 728116 :hendursa1!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1627027829 796839 :hendursaga!~weechat@user/hendursaga QUIT :Ping timeout: 244 seconds > 1627028795 466514 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=86569&oldid=86559 5* 03VMGP2 5* (+304) 10 < 1627032343 365085 :riv!~river@tilde.team/user/river QUIT :Quit: Leaving < 1627032549 404489 :riv!~river@tilde.team/user/river JOIN #esolangs river :river < 1627034052 370631 :imode!~imode@user/imode QUIT :Ping timeout: 256 seconds < 1627034490 976402 :jix!~jix@user/jix QUIT :Quit: quit < 1627034527 465992 :jix!~jix@user/jix JOIN #esolangs jix :Jannis Harder > 1627034711 171462 PRIVMSG #esolangs :14[[07User:Sertdfyguhi14]]4 10 02https://esolangs.org/w/index.php?diff=86570&oldid=83443 5* 03Sertdfyguhi 5* (-71) 10 > 1627034722 507418 PRIVMSG #esolangs :14[[07User:Sertdfyguhi14]]4 10 02https://esolangs.org/w/index.php?diff=86571&oldid=86570 5* 03Sertdfyguhi 5* (-7) 10 > 1627034745 864089 PRIVMSG #esolangs :14[[07User:Sertdfyguhi14]]4 10 02https://esolangs.org/w/index.php?diff=86572&oldid=86571 5* 03Sertdfyguhi 5* (-11) 10 < 1627035944 12287 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru JOIN #esolangs * :the chaotic arseniiv > 1627036264 578027 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Antikore 5* 10New user account < 1627036531 977786 :mnrmnaugh!~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net QUIT :Remote host closed the connection < 1627036633 820149 :mnrmnaugh!~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net JOIN #esolangs mnrmnaugh :realname < 1627036654 418661 :mnrmnaugh!~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net QUIT :Client Quit > 1627036730 47980 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=86573&oldid=86560 5* 03Antikore 5* (+226) 10/* Introductions */ < 1627037524 380624 :mnrmnaugh!~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net JOIN #esolangs mnrmnaugh :realname < 1627037567 10803 :mnrmnaugh!~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net QUIT :Remote host closed the connection < 1627038764 547516 :tech_exorcist_!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him < 1627038793 11469 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Ping timeout: 250 seconds < 1627039568 943319 :tech_exorcist_!txrcst@user/tech-exorcist/x-0447479 QUIT :Quit: tech_exorcist_ < 1627039586 41496 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him < 1627040380 451516 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Quit: tech_exorcist < 1627040597 419474 :ski!~ski@ed-3358-10.studat.chalmers.se QUIT :Ping timeout: 252 seconds < 1627041111 787298 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him < 1627041295 537932 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection > 1627042288 584834 PRIVMSG #esolangs :14[[07IWANNADIE14]]4 N10 02https://esolangs.org/w/index.php?oldid=86574 5* 03Antikore 5* (+4466) 10Created page with "'''IWANNADIE''' or IWD is an [[esoteric programming language]] created in 2021 by Antikore written in python, and it was inspired by assembly code and bash, with the goal to b..." > 1627042385 315812 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=86575&oldid=86524 5* 03Antikore 5* (+16) 10 > 1627043619 862293 PRIVMSG #esolangs :14[[07IWANNADIE14]]4 10 02https://esolangs.org/w/index.php?diff=86576&oldid=86574 5* 03Antikore 5* (+7) 10 > 1627043668 472594 PRIVMSG #esolangs :14[[07IWANNADIE14]]4 10 02https://esolangs.org/w/index.php?diff=86577&oldid=86576 5* 03Antikore 5* (+0) 10 < 1627044392 65637 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru QUIT :Ping timeout: 268 seconds < 1627044753 289659 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru JOIN #esolangs * :the chaotic arseniiv < 1627047183 490690 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1627047441 570215 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=86578&oldid=86575 5* 03PythonshellDebugwindow 5* (+17) 10/* B */ Back Alley > 1627047607 309121 PRIVMSG #esolangs :14[[07Back Alley14]]4 M10 02https://esolangs.org/w/index.php?diff=86579&oldid=86558 5* 03PythonshellDebugwindow 5* (+176) 10Cats) (External resources > 1627047780 601430 PRIVMSG #esolangs :14[[07IWANNADIE14]]4 M10 02https://esolangs.org/w/index.php?diff=86580&oldid=86577 5* 03PythonshellDebugwindow 5* (+43) 10/* See also */ Caas > 1627047897 243248 PRIVMSG #esolangs :14[[07TextGarbage14]]4 M10 02https://esolangs.org/w/index.php?diff=86581&oldid=86552 5* 03PythonshellDebugwindow 5* (+2) 10/* Parameter Types */ Spelling > 1627051496 193836 PRIVMSG #esolangs :14[[07PlusOrMinus14]]4 M10 02https://esolangs.org/w/index.php?diff=86582&oldid=86525 5* 03PythonshellDebugwindow 5* (+36) 10/* In PlusOrMinus */ Fix < 1627052218 314041 :hendursa1!~weechat@user/hendursaga QUIT :Remote host closed the connection < 1627052244 791633 :hendursa1!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1627053701 849836 :vyv!~vyv@bras-vprn-nrbaon0452w-lp130-25-184-147-14-206.dsl.bell.ca JOIN #esolangs vyv :vyv verver < 1627054002 470725 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru QUIT :Ping timeout: 240 seconds < 1627054910 400618 :arseniiv!~arseniiv@94.41.6.151.dynamic.ufanet.ru JOIN #esolangs * :the chaotic arseniiv < 1627055452 131143 :hendursa1!~weechat@user/hendursaga QUIT :Remote host closed the connection < 1627055475 797311 :hendursa1!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1627057476 987091 :slavfox!~slavfox@ipv4-93-158-232-111.net.internetunion.pl QUIT :Quit: ZNC 1.8.2 - https://znc.in < 1627057617 345038 :slavfox!~slavfox@93.158.232.111 JOIN #esolangs slavfox :slavfox < 1627057822 24820 :delta23!~delta23@user/delta23 JOIN #esolangs delta23 :delta23__ < 1627058019 758122 :delta23!~delta23@user/delta23 QUIT :Client Quit < 1627058472 406055 :delta23!~delta23@user/delta23 JOIN #esolangs delta23 :delta23__ < 1627058941 45822 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him < 1627059026 1682 :tech_exorcist_!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him < 1627059032 528522 :tech_exorcist_!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection < 1627059037 248846 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection < 1627059424 373195 :dutch!~DutchIngr@user/dutch QUIT :Quit: WeeChat 3.2 < 1627059647 479707 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :if anyone wants to read inference.pdf along with me < 1627059655 792683 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :http://inference.org.uk/itprnn/book.pdf < 1627059680 167378 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :python3 -m pagelabels --delete inference-fixed.fixed.pdf ; python3 -m pagelabels --startpage 1 --prefix "Intro " --type "roman uppercase" inference-fixed.fixed.pdf ; python3 -m pagelabels --startpage 13 inference-fixed.fixed.pdf < 1627059685 104460 :riv!~river@tilde.team/user/river PRIVMSG #esolangs :you can fix the page numbers with this command < 1627059971 55072 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him < 1627060559 329517 :dutch!~DutchIngr@user/dutch JOIN #esolangs DutchIngraham :dutch < 1627061024 705538 :hendursa1!~weechat@user/hendursaga QUIT :Quit: hendursa1 < 1627061061 795046 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1627062722 396263 :imode!~imode@user/imode JOIN #esolangs imode :imode < 1627062735 785628 :mnrmnaugh!~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net JOIN #esolangs mnrmnaugh :realname < 1627064208 178494 :vyv!~vyv@bras-vprn-nrbaon0452w-lp130-25-184-147-14-206.dsl.bell.ca QUIT :Quit: Konversation terminated! > 1627064313 383442 PRIVMSG #esolangs :14[[07User:AmNow14]]4 M10 02https://esolangs.org/w/index.php?diff=86583&oldid=86368 5* 03AmNow 5* (-13) 10name removal > 1627064330 845402 PRIVMSG #esolangs :14[[07()s14]]4 M10 02https://esolangs.org/w/index.php?diff=86584&oldid=84960 5* 03AmNow 5* (-13) 10Name removal < 1627065288 87593 :Thelie!~Thelie@2a02:8106:215:3300:e7ad:5ab7:4ea0:e177 JOIN #esolangs * :Thelie < 1627065332 414498 :archenoth!~archenoth@s0106889e6827f474.cg.shawcable.net JOIN #esolangs Archenoth :archenoth < 1627065462 538013 :Oshawott!~archenoth@s0106889e6827f474.cg.shawcable.net QUIT :Ping timeout: 252 seconds < 1627065527 693933 :Oshawott!~archenoth@S0106889e6827f474.cg.shawcable.net JOIN #esolangs Archenoth :archenoth < 1627065616 424372 :archenoth!~archenoth@s0106889e6827f474.cg.shawcable.net QUIT :Ping timeout: 252 seconds < 1627066936 533553 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator QUIT :Ping timeout: 252 seconds < 1627067042 401600 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :( < 1627068343 965511 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Quit: tech_exorcist < 1627070898 258708 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Is it possible in HTML for a script to read the contents of a