00:14:51 -!- adu has quit (Quit: adu).
00:19:34 -!- craigo has quit (Ping timeout: 240 seconds).
00:42:39 -!- adu has joined.
00:49:30 -!- imode has quit (Ping timeout: 256 seconds).
00:51:23 -!- imode has joined.
01:12:18 -!- adu has quit (Quit: adu).
01:18:13 -!- imode has quit (Ping timeout: 264 seconds).
01:19:42 -!- imode has joined.
01:26:46 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
01:30:26 <esowiki> [[International Phonetic Esoteric Language]] https://esolangs.org/w/index.php?diff=73811&oldid=73627 * Bigyihsuan * (-61)
01:44:14 -!- ArthurStrong has quit (Ping timeout: 240 seconds).
02:05:25 -!- adu has joined.
02:09:04 -!- Phantom_Hoover has joined.
02:14:56 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
03:23:14 -!- imode has quit (Ping timeout: 240 seconds).
03:24:40 -!- imode has joined.
05:38:56 <esowiki> [[DIVCON]] https://esolangs.org/w/index.php?diff=73812&oldid=73732 * A * (+41) /* Instruction list */
05:39:58 <esowiki> [[DIVCON]] https://esolangs.org/w/index.php?diff=73813&oldid=73812 * A * (+232) /* A practical example - gettind rid of the = */
05:43:59 <esowiki> [[DIVCON]] https://esolangs.org/w/index.php?diff=73814&oldid=73813 * A * (+378) /* A practical example - gettind rid of the = */
05:47:28 <esowiki> [[DIVCON]] https://esolangs.org/w/index.php?diff=73815&oldid=73814 * A * (+606) /* Implementation of a do ... while loop */
05:50:08 <esowiki> [[DIVCON]] https://esolangs.org/w/index.php?diff=73816&oldid=73815 * A * (+124) /* Before I do that though, I must specify some extra things here. */
05:53:12 <esowiki> [[DIVCON]] https://esolangs.org/w/index.php?diff=73817&oldid=73816 * A * (+478) /* Branching */
05:56:58 <esowiki> [[DIVCON]] https://esolangs.org/w/index.php?diff=73818&oldid=73817 * A * (+467) /* How different branches are executed */
05:59:42 <esowiki> [[DIVCON]] https://esolangs.org/w/index.php?diff=73819&oldid=73818 * A * (+361) /* How different branches are executed */
06:37:41 -!- rain1 has joined.
06:53:46 -!- tromp_ has joined.
06:56:23 -!- tromp has quit (Ping timeout: 260 seconds).
07:00:59 -!- rain1 has quit (Quit: leaving).
07:16:25 -!- adu has quit (Ping timeout: 264 seconds).
07:23:25 -!- LKoen has joined.
07:41:38 -!- LKoen has quit (Ping timeout: 258 seconds).
07:57:02 -!- sprocklem has quit (Ping timeout: 265 seconds).
08:30:32 -!- rain1 has joined.
08:30:33 -!- rain1 has quit (Changing host).
08:30:33 -!- rain1 has joined.
08:30:35 -!- Phantom_Hoover has joined.
08:46:50 -!- Sgeo has quit (Read error: Connection reset by peer).
08:47:56 -!- cpressey has joined.
08:53:42 -!- sprocklem has joined.
08:59:29 -!- arseniiv has joined.
09:07:35 -!- user24 has quit (Ping timeout: 272 seconds).
09:42:03 -!- imode has quit (Ping timeout: 260 seconds).
09:46:42 -!- Arcorann has quit (Read error: Connection reset by peer).
09:51:35 -!- sprocklem has quit (Ping timeout: 258 seconds).
09:53:09 -!- sprocklem has joined.
10:28:27 -!- cpressey has quit (Quit: WeeChat 1.9.1).
10:54:24 -!- ArthurStrong has joined.
10:58:16 -!- LKoen has joined.
11:08:35 -!- shachaf has quit (Ping timeout: 246 seconds).
11:09:24 -!- shachaf has joined.
11:22:50 -!- Lord_of_Life_ has joined.
11:25:39 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
11:25:43 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:28:26 -!- ArthurStrong has quit (Ping timeout: 256 seconds).
11:29:18 -!- Arcorann has joined.
11:30:19 -!- ArthurStrong has joined.
12:44:06 <Arcorann> http://ansaikuropedia.org/wiki/HQ9%2B
12:44:32 <Arcorann> ^ chuckled a bit at this (used Google Translate)
13:04:14 -!- nfd9001 has joined.
13:06:12 -!- rain1 has quit (Quit: leaving).
13:06:54 -!- nfd has quit (Ping timeout: 240 seconds).
13:41:30 -!- ArthurStrong has quit (Read error: Connection reset by peer).
13:42:03 -!- ArthurStrong has joined.
14:11:58 -!- ProofTechnique_ has joined.
14:16:06 -!- ProofTechnique has quit (Read error: Connection reset by peer).
14:16:06 -!- ProofTechnique_ has changed nick to ProofTechnique.
14:30:40 -!- rain1 has joined.
14:32:13 -!- rain1 has quit (Client Quit).
14:32:38 -!- rain1 has joined.
14:32:52 -!- rain1 has quit (Client Quit).
14:33:15 -!- rain1 has joined.
14:43:57 -!- ArthurStrong has quit (Ping timeout: 256 seconds).
14:45:42 -!- ArthurStrong has joined.
15:00:42 -!- ArthurStrong has quit (Quit: leaving).
15:03:05 -!- rain1 has quit (Quit: Leaving).
15:05:25 -!- rain1 has joined.
15:08:10 <esowiki> [[Visify]] https://esolangs.org/w/index.php?diff=73820&oldid=73810 * PythonshellDebugwindow * (+2431)
15:08:32 <esowiki> [[Visify]] M https://esolangs.org/w/index.php?diff=73821&oldid=73820 * PythonshellDebugwindow * (-59)
15:09:07 <esowiki> [[Visify]] M https://esolangs.org/w/index.php?diff=73822&oldid=73821 * PythonshellDebugwindow * (+3) /* External resources */
15:10:11 <esowiki> [[Mov]] M https://esolangs.org/w/index.php?diff=73823&oldid=72677 * PythonshellDebugwindow * (+17) /* References */
15:11:16 <esowiki> [[Esolang:Categorization]] M https://esolangs.org/w/index.php?diff=73824&oldid=73782 * PythonshellDebugwindow * (+22) /* Languages */ move if needed
15:11:49 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=73825&oldid=73774 * PythonshellDebugwindow * (+13) /* V */
15:12:27 <esowiki> [[User:PythonshellDebugwindow]] https://esolangs.org/w/index.php?diff=73826&oldid=73711 * PythonshellDebugwindow * (+53) /* Languages */
15:15:10 <esowiki> [[DJN OISC]] M https://esolangs.org/w/index.php?diff=73827&oldid=46451 * PythonshellDebugwindow * (+173) cats
15:17:17 <esowiki> [[Visify]] M https://esolangs.org/w/index.php?diff=73828&oldid=73822 * PythonshellDebugwindow * (+19) /* External resources */ cat
15:27:23 -!- Arcorann has quit (Read error: Connection reset by peer).
15:40:58 -!- rain1 has quit (Quit: Leaving).
15:41:31 -!- rain1 has joined.
15:54:16 -!- imode has joined.
16:11:57 <esowiki> [[Esolang:Categorization]] M https://esolangs.org/w/index.php?diff=73829&oldid=73824 * PythonshellDebugwindow * (+73) /* Reversibility */ rm if needed
16:13:16 <esowiki> [[Tag system]] M https://esolangs.org/w/index.php?diff=73830&oldid=66981 * PythonshellDebugwindow * (+30) /* External resources */
16:28:48 -!- adu has joined.
16:57:28 -!- sprocklem has quit (Ping timeout: 258 seconds).
16:59:19 -!- sprocklem has joined.
17:09:13 -!- sprocklem has quit (Ping timeout: 264 seconds).
17:10:51 -!- sprocklem has joined.
17:24:12 <esowiki> [[Tweak]] M https://esolangs.org/w/index.php?diff=73831&oldid=40053 * PythonshellDebugwindow * (+23) cat
18:04:23 -!- Sgeo has joined.
18:10:53 -!- TheLie has joined.
20:30:09 -!- adu has quit (Quit: adu).
20:33:50 -!- imode has quit (Ping timeout: 256 seconds).
21:31:33 -!- Phantom_Hoover has quit (Ping timeout: 258 seconds).
21:49:28 <shachaf> The DIMACS thing where variables start from 1 instead of 0 (because negation is represented with negation) is a little annoying.
21:49:48 <shachaf> In particular I have all these off-by-1 issues when trying to read the internal state of the solver, which counts from 0.
21:51:51 -!- rain1 has quit (Remote host closed the connection).
21:53:03 -!- rain1 has joined.
21:59:14 -!- ArthurStrong has joined.
22:07:20 -!- APic has quit (Ping timeout: 256 seconds).
22:07:33 -!- APic has joined.
22:08:39 -!- imode has joined.
22:13:03 <esowiki> [[BF-ASM:8]] M https://esolangs.org/w/index.php?diff=73832&oldid=73729 * DmilkaSTD * (+4)
22:33:28 -!- TheLie has quit (*.net *.split).
22:33:30 -!- xylochoron[m] has quit (*.net *.split).
22:33:31 -!- rodgort` has quit (*.net *.split).
22:33:32 -!- HackEso has quit (*.net *.split).
22:33:32 -!- hakatashi has quit (*.net *.split).
22:33:32 -!- Deewiant_ has quit (*.net *.split).
22:33:32 -!- kmc has quit (*.net *.split).
22:33:37 -!- b_jonas has quit (*.net *.split).
22:33:38 -!- ocharles has quit (*.net *.split).
22:33:38 -!- dog_star has quit (*.net *.split).
22:33:38 -!- APic has quit (*.net *.split).
22:33:38 -!- rain1 has quit (*.net *.split).
22:33:38 -!- Sgeo has quit (*.net *.split).
22:33:38 -!- Lord_of_Life has quit (*.net *.split).
22:33:39 -!- Cale has quit (*.net *.split).
22:33:40 -!- Hooloovo0 has quit (*.net *.split).
22:33:40 -!- catern has quit (*.net *.split).
22:33:41 -!- grumble has quit (*.net *.split).
22:33:42 -!- glowcoil has quit (*.net *.split).
22:33:42 -!- mniip has quit (*.net *.split).
22:33:42 -!- aloril has quit (*.net *.split).
22:33:43 -!- ArthurStrong has quit (*.net *.split).
22:33:43 -!- sprocklem has quit (*.net *.split).
22:33:44 -!- LKoen has quit (*.net *.split).
22:33:44 -!- spruit11 has quit (*.net *.split).
22:33:45 -!- MDude has quit (*.net *.split).
22:33:45 -!- lambdabot has quit (*.net *.split).
22:33:45 -!- heroux has quit (*.net *.split).
22:33:46 -!- imode has quit (*.net *.split).
22:33:46 -!- zzo38 has quit (*.net *.split).
22:33:47 -!- erdic has quit (*.net *.split).
22:33:47 -!- Melvar has quit (*.net *.split).
22:33:47 -!- int-e has quit (*.net *.split).
22:33:47 -!- trn has quit (*.net *.split).
22:33:48 -!- moony has quit (*.net *.split).
22:33:48 -!- iovoid has quit (*.net *.split).
22:33:48 -!- laerling has quit (*.net *.split).
22:33:49 -!- tswett[m] has quit (*.net *.split).
22:33:51 -!- stux has quit (*.net *.split).
22:33:51 -!- shig_ has quit (*.net *.split).
22:33:52 -!- joast has quit (*.net *.split).
22:33:52 -!- haavard has quit (*.net *.split).
22:33:53 -!- nfd9001 has quit (*.net *.split).
22:33:53 -!- shachaf has quit (*.net *.split).
22:33:53 -!- clog has quit (*.net *.split).
22:33:53 -!- FreeFull has quit (*.net *.split).
22:33:53 -!- BWBellairs has quit (*.net *.split).
22:33:54 -!- dnm has quit (*.net *.split).
22:33:54 -!- ornxka has quit (*.net *.split).
22:33:55 -!- gitlogger has quit (*.net *.split).
22:33:55 -!- diginet has quit (*.net *.split).
22:33:55 -!- shikhin has quit (*.net *.split).
22:33:56 -!- xelxebar has quit (*.net *.split).
22:33:57 -!- myndzi has quit (*.net *.split).
22:33:57 -!- Lymia has quit (*.net *.split).
22:33:58 -!- Lykaina has quit (*.net *.split).
22:33:58 -!- sebbu has quit (*.net *.split).
22:33:59 -!- olsner has quit (*.net *.split).
22:33:59 -!- Bowserinator has quit (*.net *.split).
22:34:00 -!- orbitaldecay has quit (*.net *.split).
22:34:01 -!- tromp_ has quit (*.net *.split).
22:34:02 -!- ^[_ has quit (*.net *.split).
22:34:02 -!- sftp has quit (*.net *.split).
22:34:02 -!- Taneb has quit (*.net *.split).
22:34:03 -!- fungot has quit (*.net *.split).
22:34:03 -!- j4cbo has quit (*.net *.split).
22:34:03 -!- fizzie has quit (*.net *.split).
22:34:04 -!- sparr has quit (*.net *.split).
22:34:04 -!- relrod has quit (*.net *.split).
22:34:04 -!- vertrex has quit (*.net *.split).
22:34:05 -!- arseniiv has quit (*.net *.split).
22:34:05 -!- mich181189 has quit (*.net *.split).
22:34:06 -!- ski has quit (*.net *.split).
22:34:06 -!- FireFly has quit (*.net *.split).
22:34:06 -!- quintopia has quit (*.net *.split).
22:34:07 -!- Banana51 has quit (*.net *.split).
22:34:07 -!- jix has quit (*.net *.split).
22:34:08 -!- orin_ has quit (*.net *.split).
22:34:08 -!- lifthrasiir has quit (*.net *.split).
22:34:08 -!- myname has quit (*.net *.split).
22:34:08 -!- j-bot has quit (*.net *.split).
22:34:09 -!- paul2520 has quit (*.net *.split).
22:38:49 -!- heroux has joined.
22:38:49 -!- lambdabot has joined.
22:38:49 -!- MDude has joined.
22:38:49 -!- spruit11 has joined.
22:38:49 -!- LKoen has joined.
22:38:49 -!- sprocklem has joined.
22:38:49 -!- ArthurStrong has joined.
22:38:49 -!- xylochoron[m] has joined.
22:38:49 -!- stux has joined.
22:38:49 -!- orbitaldecay has joined.
22:38:49 -!- Bowserinator has joined.
22:38:49 -!- olsner has joined.
22:38:49 -!- sebbu has joined.
22:38:49 -!- TheLie has joined.
22:38:49 -!- aloril has joined.
22:38:49 -!- mniip has joined.
22:38:49 -!- glowcoil has joined.
22:38:49 -!- grumble has joined.
22:38:49 -!- laerling has joined.
22:38:49 -!- trn has joined.
22:38:50 -!- int-e has joined.
22:38:50 -!- Melvar has joined.
22:38:50 -!- zzo38 has joined.
22:38:50 -!- imode has joined.
22:38:50 -!- dog_star has joined.
22:38:50 -!- ocharles has joined.
22:38:50 -!- b_jonas has joined.
22:38:50 -!- haavard has joined.
22:38:50 -!- joast has joined.
22:38:50 -!- shig_ has joined.
22:38:50 -!- vertrex has joined.
22:38:50 -!- relrod has joined.
22:38:50 -!- sparr has joined.
22:38:50 -!- fizzie has joined.
22:38:50 -!- j4cbo has joined.
22:38:50 -!- fungot has joined.
22:38:50 -!- Taneb has joined.
22:38:50 -!- sftp has joined.
22:38:50 -!- ^[_ has joined.
22:38:50 -!- tromp_ has joined.
22:38:50 -!- catern has joined.
22:38:50 -!- Hooloovo0 has joined.
22:38:50 -!- Cale has joined.
22:38:50 -!- Lord_of_Life has joined.
22:38:50 -!- Sgeo has joined.
22:38:50 -!- rain1 has joined.
22:38:50 -!- APic has joined.
22:38:50 -!- paul2520 has joined.
22:38:50 -!- j-bot has joined.
22:38:50 -!- myname has joined.
22:38:50 -!- lifthrasiir has joined.
22:38:50 -!- orin_ has joined.
22:38:50 -!- jix has joined.
22:38:50 -!- rodgort` has joined.
22:38:50 -!- HackEso has joined.
22:38:50 -!- hakatashi has joined.
22:38:50 -!- Deewiant_ has joined.
22:38:50 -!- kmc has joined.
22:38:56 -!- myndzi has joined.
22:38:56 -!- Lymia has joined.
22:38:56 -!- Lykaina has joined.
22:38:57 -!- nfd9001 has joined.
22:38:57 -!- shachaf has joined.
22:38:57 -!- clog has joined.
22:38:57 -!- FreeFull has joined.
22:38:57 -!- BWBellairs has joined.
22:38:57 -!- dnm has joined.
22:38:57 -!- ornxka has joined.
22:38:57 -!- diginet has joined.
22:38:57 -!- shikhin has joined.
22:38:57 -!- iovoid has joined.
22:38:57 -!- xelxebar has joined.
22:38:59 -!- erdic has joined.
22:39:09 -!- iovoid has quit (Changing host).
22:39:09 -!- iovoid has joined.
22:39:11 -!- iovoid has quit (Changing host).
22:39:11 -!- iovoid has joined.
22:39:17 -!- erdic has quit (Changing host).
22:39:17 -!- erdic has joined.
22:40:12 -!- ocharles has quit (Ping timeout: 246 seconds).
22:40:12 -!- iovoid has quit (Changing host).
22:40:12 -!- iovoid has joined.
22:41:25 -!- ^[_ has quit (Ping timeout: 272 seconds).
22:42:09 -!- ocharles has joined.
22:42:34 -!- arseniiv has joined.
22:42:34 -!- mich181189 has joined.
22:42:34 -!- ski has joined.
22:42:34 -!- FireFly has joined.
22:42:34 -!- Banana51 has joined.
22:42:47 -!- moony has joined.
22:46:21 -!- ^[_ has joined.
22:48:19 -!- tswett[m] has joined.
22:49:51 -!- wmww has joined.
22:51:22 -!- iovoid has quit (Read error: Connection timed out).
22:53:01 -!- iovoid has joined.
23:19:34 -!- TheLie has quit (Remote host closed the connection).
23:25:21 -!- Lord_of_Life_ has joined.
23:26:29 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
23:26:43 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
23:28:09 -!- Arcorann has joined.
23:53:00 -!- arseniiv has quit (Ping timeout: 258 seconds).