00:00:03 -!- craigo has joined.
00:44:11 -!- heroux has quit (Ping timeout: 246 seconds).
00:56:14 -!- heroux has joined.
01:11:22 -!- craigo has quit (Quit: Leaving).
01:32:52 -!- Sgeo has quit (Read error: Connection reset by peer).
01:45:08 -!- LKoen has quit (Quit: Leaving).
02:04:01 -!- Phantom_Hoover has joined.
02:10:18 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
02:10:32 -!- Sgeo has joined.
02:11:31 -!- rodgort` has quit (Quit: Leaving).
02:17:21 -!- rodgort has joined.
03:00:50 -!- adu has joined.
04:09:42 <shachaf> If I have a pretty good feel for SAT and want to learn more about how SMT works, is there a particular thing I should read?
04:18:01 -!- ArthurStrong has quit (Ping timeout: 246 seconds).
05:05:18 -!- Sgeo has quit (Ping timeout: 260 seconds).
05:05:57 -!- adu has quit (Quit: adu).
05:42:50 -!- kmc has quit (Ping timeout: 256 seconds).
05:43:40 -!- kmc has joined.
06:05:07 -!- Sgeo has joined.
06:13:31 -!- sprocklem has quit (Ping timeout: 246 seconds).
06:13:48 -!- sprocklem has joined.
06:32:59 -!- Antebrationist has joined.
06:36:56 -!- nfd has joined.
06:38:58 <imode> by definition, yeah.
06:39:08 <imode> thue is nondeterministic but turing complete.
06:39:54 -!- nfd9001 has quit (Ping timeout: 240 seconds).
06:40:09 <myname> why shouldn't it? it would be weird to lose a lower bound of complexity by adding more options
06:47:52 -!- Antebrationist has quit (Remote host closed the connection).
07:11:53 -!- LKoen has joined.
07:50:01 -!- imode has quit (Ping timeout: 264 seconds).
08:04:57 -!- cpressey has joined.
08:22:54 -!- Sgeo has quit (Read error: Connection reset by peer).
08:27:54 -!- Phantom_Hoover has joined.
09:49:01 -!- TheLie has joined.
11:22:05 -!- user24 has joined.
11:27:13 -!- Lord_of_Life has quit (Ping timeout: 264 seconds).
11:27:16 -!- Lord_of_Life_ has joined.
11:28:36 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
12:01:33 -!- cpressey has quit (Quit: WeeChat 1.9.1).
12:35:19 -!- TheLie has quit (Remote host closed the connection).
12:57:02 <esowiki> [[Norfuck]] M https://esolangs.org/w/index.php?diff=73833&oldid=50338 * PythonshellDebugwindow * (+27)
13:03:17 <esowiki> [[Loop without output]] M https://esolangs.org/w/index.php?diff=73834&oldid=34993 * PythonshellDebugwindow * (-2) /* More specifications and example code */ rm blank line
13:05:47 <esowiki> [[Brainfuck in Python]] M https://esolangs.org/w/index.php?diff=73835&oldid=70722 * PythonshellDebugwindow * (+11)
13:08:22 -!- t20kdc has joined.
13:11:27 <esowiki> [[Talk:Useful!]] M https://esolangs.org/w/index.php?diff=73836&oldid=24124 * PythonshellDebugwindow * (+45) unsigned
13:11:50 <esowiki> [[Talk:Useful!]] M https://esolangs.org/w/index.php?diff=73837&oldid=73836 * PythonshellDebugwindow * (+46) unsigned
13:21:36 -!- cpressey has joined.
13:23:42 <esowiki> [[ABCD]] M https://esolangs.org/w/index.php?diff=73838&oldid=65574 * PythonshellDebugwindow * (+23) /* Interpreter */ cat
13:27:36 <t20kdc> ...it seems like ABCD programs are a subset of Brainfuck programs...?
13:36:39 -!- ArthurStrong has joined.
13:40:40 <esowiki> [[F-PULSE]] M https://esolangs.org/w/index.php?diff=73839&oldid=57428 * PythonshellDebugwindow * (-1) /* Operands */ fix Enlgish
13:43:10 <esowiki> [[Special:Log/newusers]] create * 20kdc * New user account
13:46:36 <esowiki> [[F-PULSE]] M https://esolangs.org/w/index.php?diff=73840&oldid=73839 * PythonshellDebugwindow * (+104) operand -> command & cats
13:48:25 -!- arseniiv has joined.
13:57:46 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=73841&oldid=73651 * 20kdc * (+404) Introducing myself.
14:12:09 -!- TheLie has joined.
14:21:26 -!- arseniiv has quit (Quit: gone too far).
14:25:14 -!- rain1 has quit (Quit: Leaving).
14:27:29 -!- rain1 has joined.
14:30:27 -!- Arcorann has quit (Read error: Connection reset by peer).
14:32:26 -!- arseniiv has joined.
14:47:37 <esowiki> [[Special:Log/newusers]] create * Eremiell * New user account
14:51:56 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=73842&oldid=73841 * Eremiell * (+285)
15:02:01 -!- Sgeo has joined.
15:19:18 -!- TheLie has quit (Remote host closed the connection).
15:22:42 -!- adu has joined.
15:33:58 -!- kspalaiologos has joined.
15:34:22 <kspalaiologos> ais, I'll give it to you, I've been severely hooked on 3SP
15:34:31 <kspalaiologos> I'm trying to figure out how exactly do I program it
15:48:32 <esowiki> [[Special:Log/newusers]] create * NooneAtAll * New user account
15:49:08 <esowiki> [[Jannis Harder]] M https://esolangs.org/w/index.php?diff=73843&oldid=57366 * PythonshellDebugwindow * (-1) /* External resources */
15:51:54 -!- cpressey has quit (Quit: WeeChat 1.9.1).
15:54:39 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=73844&oldid=73842 * NooneAtAll * (+195) why are you even viewing history of this page?
15:56:54 <esowiki> [[GORBITSA]] N https://esolangs.org/w/index.php?oldid=73845 * Eremiell * (+1649) Initial version, publishing of the full description allowed by the author, further edits will be provided as situation evolves
16:07:53 <esowiki> [[GORBITSA]] https://esolangs.org/w/index.php?diff=73846&oldid=73845 * Eremiell * (+287) Adds infobox, minor formatting edits
16:09:52 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=73847&oldid=73825 * Eremiell * (+15) Adds GORBITSA into the list
16:24:21 <esowiki> [[GORBITSA]] M https://esolangs.org/w/index.php?diff=73848&oldid=73846 * PythonshellDebugwindow * (+207)
16:44:28 -!- kspalaiologos has quit (Ping timeout: 256 seconds).
16:49:56 -!- kspalaiologos has joined.
16:50:30 <esowiki> [[Special:Log/newusers]] create * MDerie * New user account
16:50:35 <esowiki> [[BytePusher II]] M https://esolangs.org/w/index.php?diff=73849&oldid=40099 * PythonshellDebugwindow * (+23) /* Endianness */
16:53:23 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=73850&oldid=73844 * MDerie * (+111) /* Introductions */
16:55:03 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=73851&oldid=73850 * MDerie * (+49) /* Introductions */
16:55:56 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=73852&oldid=73851 * MDerie * (+3) /* Introductions */
16:58:18 -!- Melvar has quit (Quit: WeeChat 2.8).
17:05:01 -!- nfd has quit (Ping timeout: 264 seconds).
17:18:17 -!- rain1 has quit (Quit: Leaving).
17:47:23 <esowiki> [[GORBITSA]] https://esolangs.org/w/index.php?diff=73853&oldid=73848 * NooneAtAll * (+875)
17:50:21 <esowiki> [[GORBITSA]] https://esolangs.org/w/index.php?diff=73854&oldid=73853 * NooneAtAll * (+103)
17:56:21 <esowiki> [[GORBITSA]] https://esolangs.org/w/index.php?diff=73855&oldid=73854 * NooneAtAll * (+719)
18:24:49 -!- kspalaiologos has quit (Ping timeout: 264 seconds).
18:25:36 -!- kspalaiologos has joined.
18:29:07 <esowiki> [[Jumplang]] M https://esolangs.org/w/index.php?diff=73856&oldid=73266 * PythonshellDebugwindow * (+347) /* Minimization */
18:44:44 -!- imode has joined.
18:46:08 <esowiki> [[Special:Log/newusers]] create * Geek Joystick * New user account
18:53:39 <esowiki> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=73857&oldid=73852 * Geek Joystick * (+264)
18:56:10 -!- Melvar has joined.
19:06:04 -!- rain1 has joined.
19:22:27 -!- kspalaiologos has quit (Quit: Leaving).
19:23:20 <esowiki> [[Special:Log/newusers]] create * Gecero * New user account
20:09:26 -!- Phantom__Hoover has joined.
20:11:33 -!- dnm_ has joined.
20:12:04 -!- TheLie has joined.
20:12:42 -!- Melvar` has joined.
20:13:11 -!- ornxka_ has joined.
20:13:34 -!- BWBellairs[NNRF] has joined.
20:13:38 -!- shikhin_ has joined.
20:13:50 -!- diginet_ has joined.
20:14:24 -!- ArthurSt1ong has joined.
20:14:31 -!- sprock1em has joined.
20:14:35 -!- shachaf_ has joined.
20:18:54 -!- Melvar has quit (*.net *.split).
20:18:54 -!- ArthurStrong has quit (*.net *.split).
20:18:54 -!- Phantom_Hoover has quit (*.net *.split).
20:18:54 -!- sprocklem has quit (*.net *.split).
20:18:54 -!- shachaf has quit (*.net *.split).
20:18:54 -!- clog has quit (*.net *.split).
20:18:54 -!- FreeFull has quit (*.net *.split).
20:18:54 -!- BWBellairs has quit (*.net *.split).
20:18:54 -!- dnm has quit (*.net *.split).
20:18:55 -!- ornxka has quit (*.net *.split).
20:18:55 -!- diginet has quit (*.net *.split).
20:18:55 -!- shikhin has quit (*.net *.split).
20:18:55 -!- shikhin_ has changed nick to shikhin.
20:18:56 -!- BWBellairs[NNRF] has changed nick to BWBellairs.
20:18:56 -!- diginet_ has changed nick to diginet.
20:18:57 -!- dnm_ has changed nick to dnm.
20:23:19 -!- TheLie has quit (Remote host closed the connection).
20:23:55 -!- clog has joined.
20:23:57 -!- FreeFull has joined.
20:25:18 -!- TheLie has joined.
20:34:20 -!- shachaf_ has changed nick to shachaf.
20:37:05 -!- TheLie has quit (Remote host closed the connection).
20:38:41 -!- TheLie has joined.
20:43:15 <esowiki> [[GORBITSA]] M https://esolangs.org/w/index.php?diff=73858&oldid=73855 * PythonshellDebugwindow * (-10) /* Complete description of the language as initially provided */ unify spacing
21:09:02 <esowiki> [[GORBITSA]] https://esolangs.org/w/index.php?diff=73859&oldid=73858 * Geek Joystick * (+140)
21:12:00 -!- atriq has joined.
21:12:27 -!- Taneb has quit (Quit: I seem to have stopped.).
21:25:59 -!- LKoen has quit (Ping timeout: 265 seconds).
21:31:34 <esowiki> [[GORBITSA]] https://esolangs.org/w/index.php?diff=73860&oldid=73859 * NooneAtAll * (+437)
21:31:56 <esowiki> [[GORBITSA]] https://esolangs.org/w/index.php?diff=73861&oldid=73860 * NooneAtAll * (+6) /* Language overview */
21:36:01 -!- rain1 has quit (Quit: Leaving).
21:37:37 -!- LKoen has joined.
21:37:50 <esowiki> [[GORBITSA]] https://esolangs.org/w/index.php?diff=73862&oldid=73861 * NooneAtAll * (+107) /* Language overview */
21:49:13 -!- S_Gautam has joined.
21:56:22 <esowiki> [[GORBITSA]] M https://esolangs.org/w/index.php?diff=73863&oldid=73862 * Geek Joystick * (-2)
22:02:27 -!- user24 has quit (Remote host closed the connection).
22:08:38 -!- Melvar` has quit (Quit: WeeChat 2.8).
22:14:37 -!- Melvar has joined.
22:39:22 <esowiki> [[GORBITSA]] M https://esolangs.org/w/index.php?diff=73864&oldid=73863 * Geek Joystick * (+0)
22:47:35 -!- Arcorann has joined.
22:48:16 -!- adu has quit (Quit: adu).
22:54:36 -!- t20kdc has quit (Remote host closed the connection).
22:56:46 -!- arseniiv has quit (Ping timeout: 256 seconds).
23:02:19 -!- TheLie has quit (Remote host closed the connection).
23:09:34 -!- Phantom__Hoover has quit (Ping timeout: 246 seconds).
23:14:11 -!- adu has joined.
23:18:51 -!- Arcorann has quit (Ping timeout: 260 seconds).
23:20:01 -!- Arcorann has joined.
23:24:24 -!- Lord_of_Life_ has joined.
23:27:56 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
23:27:58 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
23:33:20 -!- LKoen has quit (Remote host closed the connection).
23:46:45 <esowiki> [[GORBITSA]] M https://esolangs.org/w/index.php?diff=73865&oldid=73864 * Geek Joystick * (+0)
23:55:13 -!- adu has quit (Quit: adu).