00:18:03 -!- delta23 has quit (Quit: Leaving). 01:05:51 -!- mnrmnaugh has changed nick to BMCC. 01:06:30 -!- BMCC has changed nick to awk. 01:15:46 -!- awk has changed nick to mnrmnaugh. 02:01:00 [[Special:Log/newusers]] create * Zing * New user account 02:05:04 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=86556&oldid=86504 * Zing * (+179) /* Introductions */ 02:17:06 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 02:18:08 -!- Lord_of_Life has joined. 02:50:44 [[Back Alley]] N https://esolangs.org/w/index.php?oldid=86557 * Zing * (+3832) Created 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..." 03:12:44 . o O ( no, not particularly ) 03:30:56 [[Back Alley]] https://esolangs.org/w/index.php?diff=86558&oldid=86557 * Zing * (+54) /* Back Alley */ 03:53:06 [[Truth-machine]] M https://esolangs.org/w/index.php?diff=86559&oldid=86305 * KakkoiiChris * (-32) /* Minim */ Changed wording of last comment 05:20:21 [[Special:Log/newusers]] create * DeltaYelta * New user account 05:23:35 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=86560&oldid=86556 * DeltaYelta * (+243) 05:38:09 -!- yogoyo has joined. 05:38:30 -!- yogoyo has left (WeeChat 3.0.1). 05:44:38 Taneb: The thing about All being coinductive and Any being inductive is interesting. 05:45:21 In particular with them being demorganizations of each other. At least one way, maybe both ways? 06:05:10 -!- oerjan has quit (Quit: Not in neither way). 06:05:54 By demoganizations of each other, do you mean like how All P is equivalent to ¬ Any (¬ P)? 06:05:56 [[Metafractran]] M https://esolangs.org/w/index.php?diff=86561&oldid=57249 * Challenger5 * (+5) fix interpreter link 06:06:35 (by equivalent to I mean classically equivalent to) 06:07:07 [[Full Stack]] https://esolangs.org/w/index.php?diff=86562&oldid=76951 * Challenger5 * (+14) fix implementation link 06:08:05 [[Aubergine]] M https://esolangs.org/w/index.php?diff=86563&oldid=80684 * Challenger5 * (+14) fix implementation link 06:09:46 -!- riv has quit (Quit: Leaving). 06:10:43 -!- riv has joined. 06:12:21 [[Flurry]] M https://esolangs.org/w/index.php?diff=86564&oldid=77676 * Challenger5 * (+14) fix implementation link 06:15:52 -!- Lord_of_Life_ has joined. 06:16:11 -!- Lord_of_Life has quit (Ping timeout: 268 seconds). 06:17:04 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 06:21:37 [[Momema]] M https://esolangs.org/w/index.php?diff=86565&oldid=57121 * Challenger5 * (+9) fix implementation link 06:31:20 [[DigFill]] M https://esolangs.org/w/index.php?diff=86566&oldid=30633 * Challenger5 * (+176) add implementation link 06:34:31 [[DigFill]] M https://esolangs.org/w/index.php?diff=86567&oldid=86566 * Challenger5 * (-2) mark as implemented 06:46:28 [[Special:Log/newusers]] create * OHMAMMAD * New user account 06:52:41 -!- Sgeo has quit (Read error: Connection reset by peer). 06:55:24 shachaf: what do you find interesting about it? To me it's just, like, a thing 06:56:17 I mean the thing I said, I guess. Should negation take you from/to inductive to/from coinductive? 06:57:48 Hmmm 06:59:19 the left and right of the arrow are negative and positive -> 07:00:07 since ~P is P -> False, it's on the left of the arrow so P is in a negative position 07:00:44 P doesn't go from being inductive to coinductive, it goes from having to be introduced to having to be eliminated 07:06:08 Taneb: Also, how does this relate to the modalities "always" and "eventually"? 07:06:15 You're saying things like "always eventually X" 07:07:06 Yes 07:08:00 I guess that's all it is. 07:08:13 Always eventually X iff X infinitely often, Eventually always X iff ¬X finitely often 07:08:53 So in constructive settings, do you only get one de Morgan dual thing holding? 07:09:25 I guess you don't have ¬(A and B) --> ¬A or ¬B 07:09:31 Yeah 07:09:49 So: ¬All P --> Any ¬P 07:09:56 Fair enough! 07:10:04 There's a name for this thing, right? 07:10:23 This thing: https://en.wikipedia.org/wiki/%CE%A9-consistent_theory 07:12:29 I've not seen that before! 07:15:05 It's interesting, thank you 07:31:46 [[Check]] M https://esolangs.org/w/index.php?diff=86568&oldid=57116 * Challenger5 * (+4) fix implementation link 08:04:11 -!- tech_exorcist has joined. 08:07:57 -!- hendursa1 has joined. 08:10:29 -!- hendursaga has quit (Ping timeout: 244 seconds). 08:26:35 [[Truth-machine]] https://esolangs.org/w/index.php?diff=86569&oldid=86559 * VMGP2 * (+304) 09:25:43 -!- riv has quit (Quit: Leaving). 09:29:09 -!- riv has joined. 09:54:12 -!- imode has quit (Ping timeout: 256 seconds). 10:01:30 -!- jix has quit (Quit: quit). 10:02:07 -!- jix has joined. 10:05:11 [[User:Sertdfyguhi]] https://esolangs.org/w/index.php?diff=86570&oldid=83443 * Sertdfyguhi * (-71) 10:05:22 [[User:Sertdfyguhi]] https://esolangs.org/w/index.php?diff=86571&oldid=86570 * Sertdfyguhi * (-7) 10:05:45 [[User:Sertdfyguhi]] https://esolangs.org/w/index.php?diff=86572&oldid=86571 * Sertdfyguhi * (-11) 10:25:44 -!- arseniiv has joined. 10:31:04 [[Special:Log/newusers]] create * Antikore * New user account 10:35:31 -!- mnrmnaugh has quit (Remote host closed the connection). 10:37:13 -!- mnrmnaugh has joined. 10:37:34 -!- mnrmnaugh has quit (Client Quit). 10:38:50 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=86573&oldid=86560 * Antikore * (+226) /* Introductions */ 10:52:04 -!- mnrmnaugh has joined. 10:52:47 -!- mnrmnaugh has quit (Remote host closed the connection). 11:12:44 -!- tech_exorcist_ has joined. 11:13:13 -!- tech_exorcist has quit (Ping timeout: 250 seconds). 11:26:08 -!- tech_exorcist_ has quit (Quit: tech_exorcist_). 11:26:26 -!- tech_exorcist has joined. 11:39:40 -!- tech_exorcist has quit (Quit: tech_exorcist). 11:43:17 -!- ski has quit (Ping timeout: 252 seconds). 11:51:51 -!- tech_exorcist has joined. 11:54:55 -!- tech_exorcist has quit (Remote host closed the connection). 12:11:28 [[IWANNADIE]] N https://esolangs.org/w/index.php?oldid=86574 * Antikore * (+4466) Created 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..." 12:13:05 [[Language list]] M https://esolangs.org/w/index.php?diff=86575&oldid=86524 * Antikore * (+16) 12:33:39 [[IWANNADIE]] https://esolangs.org/w/index.php?diff=86576&oldid=86574 * Antikore * (+7) 12:34:28 [[IWANNADIE]] https://esolangs.org/w/index.php?diff=86577&oldid=86576 * Antikore * (+0) 12:46:32 -!- arseniiv has quit (Ping timeout: 268 seconds). 12:52:33 -!- arseniiv has joined. 13:33:03 -!- Sgeo has joined. 13:37:21 [[Language list]] M https://esolangs.org/w/index.php?diff=86578&oldid=86575 * PythonshellDebugwindow * (+17) /* B */ Back Alley 13:40:07 [[Back Alley]] M https://esolangs.org/w/index.php?diff=86579&oldid=86558 * PythonshellDebugwindow * (+176) Cats) (External resources 13:43:00 [[IWANNADIE]] M https://esolangs.org/w/index.php?diff=86580&oldid=86577 * PythonshellDebugwindow * (+43) /* See also */ Caas 13:44:57 [[TextGarbage]] M https://esolangs.org/w/index.php?diff=86581&oldid=86552 * PythonshellDebugwindow * (+2) /* Parameter Types */ Spelling 14:44:56 [[PlusOrMinus]] M https://esolangs.org/w/index.php?diff=86582&oldid=86525 * PythonshellDebugwindow * (+36) /* In PlusOrMinus */ Fix 14:56:58 -!- hendursa1 has quit (Remote host closed the connection). 14:57:24 -!- hendursa1 has joined. 15:21:41 -!- vyv has joined. 15:26:42 -!- arseniiv has quit (Ping timeout: 240 seconds). 15:41:50 -!- arseniiv has joined. 15:50:52 -!- hendursa1 has quit (Remote host closed the connection). 15:51:15 -!- hendursa1 has joined. 16:24:36 -!- slavfox has quit (Quit: ZNC 1.8.2 - https://znc.in). 16:26:57 -!- slavfox has joined. 16:30:22 -!- delta23 has joined. 16:33:39 -!- delta23 has quit (Client Quit). 16:41:12 -!- delta23 has joined. 16:49:01 -!- tech_exorcist has joined. 16:50:26 -!- tech_exorcist_ has joined. 16:50:32 -!- tech_exorcist_ has quit (Remote host closed the connection). 16:50:37 -!- tech_exorcist has quit (Remote host closed the connection). 16:57:04 -!- dutch has quit (Quit: WeeChat 3.2). 17:00:47 if anyone wants to read inference.pdf along with me 17:00:55 http://inference.org.uk/itprnn/book.pdf 17:01:20 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 17:01:25 you can fix the page numbers with this command 17:06:11 -!- tech_exorcist has joined. 17:15:59 -!- dutch has joined. 17:23:44 -!- hendursa1 has quit (Quit: hendursa1). 17:24:21 -!- hendursaga has joined. 17:52:02 -!- imode has joined. 17:52:15 -!- mnrmnaugh has joined. 18:16:48 -!- vyv has quit (Quit: Konversation terminated!). 18:18:33 [[User:AmNow]] M https://esolangs.org/w/index.php?diff=86583&oldid=86368 * AmNow * (-13) name removal 18:18:50 [[()s]] M https://esolangs.org/w/index.php?diff=86584&oldid=84960 * AmNow * (-13) Name removal 18:34:48 -!- Thelie has joined. 18:35:32 -!- archenoth has joined. 18:37:42 -!- Oshawott has quit (Ping timeout: 252 seconds). 18:38:47 -!- Oshawott has joined. 18:40:16 -!- archenoth has quit (Ping timeout: 252 seconds). 19:02:16 -!- Bowserinator has quit (Ping timeout: 252 seconds). 19:04:02 -!- Bowserinator has joined. 19:25:43 -!- tech_exorcist has quit (Quit: tech_exorcist). 20:08:18 Is it possible in HTML for a script to read the contents of a