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 [[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 [[DIVCON]] https://esolangs.org/w/index.php?diff=73812&oldid=73732 * A * (+41) /* Instruction list */ 05:39:58 [[DIVCON]] https://esolangs.org/w/index.php?diff=73813&oldid=73812 * A * (+232) /* A practical example - gettind rid of the = */ 05:43:59 [[DIVCON]] https://esolangs.org/w/index.php?diff=73814&oldid=73813 * A * (+378) /* A practical example - gettind rid of the = */ 05:47:28 [[DIVCON]] https://esolangs.org/w/index.php?diff=73815&oldid=73814 * A * (+606) /* Implementation of a do ... while loop */ 05:50:08 [[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 [[DIVCON]] https://esolangs.org/w/index.php?diff=73817&oldid=73816 * A * (+478) /* Branching */ 05:56:58 [[DIVCON]] https://esolangs.org/w/index.php?diff=73818&oldid=73817 * A * (+467) /* How different branches are executed */ 05:59:42 [[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 http://ansaikuropedia.org/wiki/HQ9%2B 12:44:32 ^ 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 [[Visify]] https://esolangs.org/w/index.php?diff=73820&oldid=73810 * PythonshellDebugwindow * (+2431) 15:08:32 [[Visify]] M https://esolangs.org/w/index.php?diff=73821&oldid=73820 * PythonshellDebugwindow * (-59) 15:09:07 [[Visify]] M https://esolangs.org/w/index.php?diff=73822&oldid=73821 * PythonshellDebugwindow * (+3) /* External resources */ 15:10:11 [[Mov]] M https://esolangs.org/w/index.php?diff=73823&oldid=72677 * PythonshellDebugwindow * (+17) /* References */ 15:11:16 [[Esolang:Categorization]] M https://esolangs.org/w/index.php?diff=73824&oldid=73782 * PythonshellDebugwindow * (+22) /* Languages */ move if needed 15:11:49 [[Language list]] M https://esolangs.org/w/index.php?diff=73825&oldid=73774 * PythonshellDebugwindow * (+13) /* V */ 15:12:27 [[User:PythonshellDebugwindow]] https://esolangs.org/w/index.php?diff=73826&oldid=73711 * PythonshellDebugwindow * (+53) /* Languages */ 15:15:10 [[DJN OISC]] M https://esolangs.org/w/index.php?diff=73827&oldid=46451 * PythonshellDebugwindow * (+173) cats 15:17:17 [[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 [[Esolang:Categorization]] M https://esolangs.org/w/index.php?diff=73829&oldid=73824 * PythonshellDebugwindow * (+73) /* Reversibility */ rm if needed 16:13:16 [[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 [[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 The DIMACS thing where variables start from 1 instead of 0 (because negation is represented with negation) is a little annoying. 21:49:48 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 [[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).