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 <esolangs> [[Special:Log/newusers]] create * Zing * New user account
02:05:04 <esolangs> [[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 <esolangs> [[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 <oerjan> . o O ( no, not particularly )
03:30:56 <esolangs> [[Back Alley]] https://esolangs.org/w/index.php?diff=86558&oldid=86557 * Zing * (+54) /* Back Alley */
03:53:06 <esolangs> [[Truth-machine]] M https://esolangs.org/w/index.php?diff=86559&oldid=86305 * KakkoiiChris * (-32) /* Minim */ Changed wording of last comment
05:20:21 <esolangs> [[Special:Log/newusers]] create * DeltaYelta * New user account
05:23:35 <esolangs> [[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 <shachaf> Taneb: The thing about All being coinductive and Any being inductive is interesting.
05:45:21 <shachaf> 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 <Taneb> By demoganizations of each other, do you mean like how All P is equivalent to ¬ Any (¬ P)?
06:05:56 <esolangs> [[Metafractran]] M https://esolangs.org/w/index.php?diff=86561&oldid=57249 * Challenger5 * (+5) fix interpreter link
06:06:35 <Taneb> (by equivalent to I mean classically equivalent to)
06:07:07 <esolangs> [[Full Stack]] https://esolangs.org/w/index.php?diff=86562&oldid=76951 * Challenger5 * (+14) fix implementation link
06:08:05 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Momema]] M https://esolangs.org/w/index.php?diff=86565&oldid=57121 * Challenger5 * (+9) fix implementation link
06:31:20 <esolangs> [[DigFill]] M https://esolangs.org/w/index.php?diff=86566&oldid=30633 * Challenger5 * (+176) add implementation link
06:34:31 <esolangs> [[DigFill]] M https://esolangs.org/w/index.php?diff=86567&oldid=86566 * Challenger5 * (-2) mark as implemented
06:46:28 <esolangs> [[Special:Log/newusers]] create * OHMAMMAD * New user account
06:52:41 -!- Sgeo has quit (Read error: Connection reset by peer).
06:55:24 <Taneb> shachaf: what do you find interesting about it? To me it's just, like, a thing
06:56:17 <shachaf> I mean the thing I said, I guess. Should negation take you from/to inductive to/from coinductive?
06:59:19 <riv> the left and right of the arrow are negative and positive ->
07:00:07 <riv> since ~P is P -> False, it's on the left of the arrow so P is in a negative position
07:00:44 <riv> P doesn't go from being inductive to coinductive, it goes from having to be introduced to having to be eliminated
07:06:08 <shachaf> Taneb: Also, how does this relate to the modalities "always" and "eventually"?
07:06:15 <shachaf> You're saying things like "always eventually X"
07:08:13 <Taneb> Always eventually X iff X infinitely often, Eventually always X iff ¬X finitely often
07:08:53 <shachaf> So in constructive settings, do you only get one de Morgan dual thing holding?
07:09:25 <shachaf> I guess you don't have ¬(A and B) --> ¬A or ¬B
07:10:04 <shachaf> There's a name for this thing, right?
07:10:23 <shachaf> This thing: https://en.wikipedia.org/wiki/%CE%A9-consistent_theory
07:12:29 <Taneb> I've not seen that before!
07:15:05 <Taneb> It's interesting, thank you
07:31:46 <esolangs> [[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 <esolangs> [[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 <esolangs> [[User:Sertdfyguhi]] https://esolangs.org/w/index.php?diff=86570&oldid=83443 * Sertdfyguhi * (-71)
10:05:22 <esolangs> [[User:Sertdfyguhi]] https://esolangs.org/w/index.php?diff=86571&oldid=86570 * Sertdfyguhi * (-7)
10:05:45 <esolangs> [[User:Sertdfyguhi]] https://esolangs.org/w/index.php?diff=86572&oldid=86571 * Sertdfyguhi * (-11)
10:25:44 -!- arseniiv has joined.
10:31:04 <esolangs> [[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 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=86575&oldid=86524 * Antikore * (+16)
12:33:39 <esolangs> [[IWANNADIE]] https://esolangs.org/w/index.php?diff=86576&oldid=86574 * Antikore * (+7)
12:34:28 <esolangs> [[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 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=86578&oldid=86575 * PythonshellDebugwindow * (+17) /* B */ Back Alley
13:40:07 <esolangs> [[Back Alley]] M https://esolangs.org/w/index.php?diff=86579&oldid=86558 * PythonshellDebugwindow * (+176) Cats) (External resources
13:43:00 <esolangs> [[IWANNADIE]] M https://esolangs.org/w/index.php?diff=86580&oldid=86577 * PythonshellDebugwindow * (+43) /* See also */ Caas
13:44:57 <esolangs> [[TextGarbage]] M https://esolangs.org/w/index.php?diff=86581&oldid=86552 * PythonshellDebugwindow * (+2) /* Parameter Types */ Spelling
14:44:56 <esolangs> [[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 <riv> if anyone wants to read inference.pdf along with me
17:00:55 <riv> http://inference.org.uk/itprnn/book.pdf
17:01:20 <riv> 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 <riv> 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 <esolangs> [[User:AmNow]] M https://esolangs.org/w/index.php?diff=86583&oldid=86368 * AmNow * (-13) name removal
18:18:50 <esolangs> [[()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 <zzo38> Is it possible in HTML for a script to read the contents of a <noscript> block in the document?
20:14:59 <fizzie> I imagine it's still included in the DOM? Never thought about it though.
20:16:35 <fizzie> Maybe it's not. Interesting.
20:24:18 <riv> good question
20:25:13 -!- Thelie has quit (Remote host closed the connection).
20:26:15 <fizzie> There was something in the HTML5 spec about the parser treating the element differently depending on whether scripting is enabled, "for historical reasons".
20:28:45 <^[> riv: Do you have a channel for discussing the book?
20:29:13 <riv> no, nobody else showed interest
20:29:21 <riv> mybe offbeat
20:54:05 -!- dutch has quit (Quit: WeeChat 3.2).
20:54:42 -!- dutch has joined.
21:05:32 -!- Corbin has quit (Ping timeout: 245 seconds).
21:13:00 -!- scjosh has quit (Quit: Ping timeout (120 seconds)).
21:13:21 -!- scjosh has joined.
21:15:44 -!- mcfrdy has quit (Ping timeout: 252 seconds).
21:16:31 -!- mcfrdy has joined.
21:18:36 <riv> https://en.wikipedia.org/wiki/Haddocks%27_Eyes this is completely *******
21:18:44 <riv> there should be an esolang based no this
21:18:59 <riv> > a name as identification marker may be assigned to anything, including another name
21:19:14 -!- arseniiv has quit (Ping timeout: 255 seconds).
21:19:45 <lambdabot> <hint>:1:60: error: parse error on input ‘,’
21:26:11 <^[> https://www.php.net/manual/en/language.variables.variable.php
21:28:59 <riv> ive seen this used in php viruses
21:51:49 <zzo38> Some web pages say that it doesn't work without JavaScripts, or just displays nothing at all without JavaScripts, and this is no good. Some might be made to work without JavaScripts; if that is not the case, the <noscript> can display such links as: API documentation, other documentation, other file formats (e.g. Markdown, CSV), other protocols (e.g. NNTP, IRC), etc.
22:04:28 -!- mnrmnaugh has changed nick to BMCC.
22:11:02 <esolangs> [[StairCase]] https://esolangs.org/w/index.php?diff=86585&oldid=86555 * Barongello * (+112) Fixing links and typos
22:17:19 <esolangs> [[StairCase]] M https://esolangs.org/w/index.php?diff=86586&oldid=86585 * Barongello * (-32) /* Copy Cell - @ */
23:22:58 -!- Oshawott has quit (Remote host closed the connection).
23:23:11 -!- Oshawott has joined.