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 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:33:19 Can a nondeterministic language be Turing-complete? 06:36:56 -!- nfd has joined. 06:38:58 by definition, yeah. 06:39:08 thue is nondeterministic but turing complete. 06:39:54 -!- nfd9001 has quit (Ping timeout: 240 seconds). 06:40:09 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 [[Norfuck]] M https://esolangs.org/w/index.php?diff=73833&oldid=50338 * PythonshellDebugwindow * (+27) 13:03:17 [[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 [[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 [[Talk:Useful!]] M https://esolangs.org/w/index.php?diff=73836&oldid=24124 * PythonshellDebugwindow * (+45) unsigned 13:11:50 [[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 [[ABCD]] M https://esolangs.org/w/index.php?diff=73838&oldid=65574 * PythonshellDebugwindow * (+23) /* Interpreter */ cat 13:27:36 ...it seems like ABCD programs are a subset of Brainfuck programs...? 13:36:06 Looks like it 13:36:39 -!- ArthurStrong has joined. 13:40:40 [[F-PULSE]] M https://esolangs.org/w/index.php?diff=73839&oldid=57428 * PythonshellDebugwindow * (-1) /* Operands */ fix Enlgish 13:43:10 [[Special:Log/newusers]] create * 20kdc * New user account 13:46:36 [[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 [[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 [[Special:Log/newusers]] create * Eremiell * New user account 14:51:56 [[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 ais, I'll give it to you, I've been severely hooked on 3SP 15:34:31 I'm trying to figure out how exactly do I program it 15:48:32 [[Special:Log/newusers]] create * NooneAtAll * New user account 15:49:08 [[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 [[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 [[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 [[GORBITSA]] https://esolangs.org/w/index.php?diff=73846&oldid=73845 * Eremiell * (+287) Adds infobox, minor formatting edits 16:09:52 [[Language list]] https://esolangs.org/w/index.php?diff=73847&oldid=73825 * Eremiell * (+15) Adds GORBITSA into the list 16:24:21 [[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 [[Special:Log/newusers]] create * MDerie * New user account 16:50:35 [[BytePusher II]] M https://esolangs.org/w/index.php?diff=73849&oldid=40099 * PythonshellDebugwindow * (+23) /* Endianness */ 16:53:23 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=73850&oldid=73844 * MDerie * (+111) /* Introductions */ 16:55:03 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=73851&oldid=73850 * MDerie * (+49) /* Introductions */ 16:55:56 [[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 [[GORBITSA]] https://esolangs.org/w/index.php?diff=73853&oldid=73848 * NooneAtAll * (+875) 17:50:21 [[GORBITSA]] https://esolangs.org/w/index.php?diff=73854&oldid=73853 * NooneAtAll * (+103) 17:56:21 [[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 [[Jumplang]] M https://esolangs.org/w/index.php?diff=73856&oldid=73266 * PythonshellDebugwindow * (+347) /* Minimization */ 18:44:44 -!- imode has joined. 18:46:08 [[Special:Log/newusers]] create * Geek Joystick * New user account 18:53:39 [[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 [[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 [[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 [[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 [[GORBITSA]] https://esolangs.org/w/index.php?diff=73860&oldid=73859 * NooneAtAll * (+437) 21:31:56 [[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 [[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 [[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 [[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 [[GORBITSA]] M https://esolangs.org/w/index.php?diff=73865&oldid=73864 * Geek Joystick * (+0) 23:55:13 -!- adu has quit (Quit: adu).