00:02:39 -!- razetime has joined.
00:15:46 -!- fungot has joined.
01:08:32 -!- tromp has joined.
01:12:20 -!- tromp has quit (Client Quit).
02:05:03 -!- op_4 has quit (Remote host closed the connection).
02:05:32 -!- op_4 has joined.
02:29:58 <zzo38> Is there something like "less" program which can be used as a C library instead of as a separate program?
03:35:31 <esolangs> [[Special:Log/newusers]] create  * Sporemint *  New user account
04:26:05 -!- Argorok has quit (Ping timeout: 240 seconds).
04:26:05 -!- integral has quit (Ping timeout: 240 seconds).
04:26:05 -!- mich181189 has quit (Ping timeout: 240 seconds).
04:26:34 -!- Argorok has joined.
04:27:32 -!- integral has joined.
04:40:52 -!- mich181189 has joined.
05:02:03 <esolangs> [[Fish]]  https://esolangs.org/w/index.php?diff=125920&oldid=121719 * Cleverxia * (+47) /* Brainfuck interpreter */
05:23:13 <esolangs> [[UserEdited]]  https://esolangs.org/w/index.php?diff=125921&oldid=125912 * MihaiEso * (+0) 
06:03:09 -!- razetime has quit (Ping timeout: 268 seconds).
06:55:00 -!- razetime has joined.
06:58:22 -!- razetime has quit (Client Quit).
07:25:16 -!- tromp has joined.
07:48:46 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
07:51:52 -!- tromp has joined.
08:34:15 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:40:05 <esolangs> [[UserEdited]]  https://esolangs.org/w/index.php?diff=125922&oldid=125921 * Cleverxia * (+611) 
08:42:16 -!- Cale has quit (Ping timeout: 256 seconds).
08:47:14 <esolangs> [[UserEdited]]  https://esolangs.org/w/index.php?diff=125923&oldid=125922 * Cleverxia * (+472) /* Commands */
08:51:53 -!- tromp has joined.
08:54:04 -!- Cale has joined.
09:24:02 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
09:32:34 -!- tromp has joined.
09:35:51 -!- Sgeo has quit (Read error: Connection reset by peer).
09:49:27 <esolangs> [[UserEdited]]  https://esolangs.org/w/index.php?diff=125924&oldid=125923 * Cleverxia * (+37) 
10:33:49 -!- Lord_of_Life_ has joined.
10:34:40 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
10:36:45 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:17:24 <esolangs> [[NoSubject]] N https://esolangs.org/w/index.php?oldid=125925 * None1 * (+1861) Created page with "'''NoSubject''' is a pseudonatural esolang where every sentence has no subject. It is invented by [[User:None1]].  There is an accumulator, which is a reference to a variable. It is [[undefined behavior]] to access data using the accumulator before setting it to a refer
11:17:58 <esolangs> [[12345678]] M https://esolangs.org/w/index.php?diff=125926&oldid=125883 * None1 * (-66) /* Interpreter in Python */
11:18:31 <esolangs> [[User:None1]]  https://esolangs.org/w/index.php?diff=125927&oldid=125903 * None1 * (+60) /* My Esolangs */
11:18:55 <esolangs> [[User:None1]]  https://esolangs.org/w/index.php?diff=125928&oldid=125927 * None1 * (+15) /* My Esolangs */
11:19:36 <esolangs> [[Joke language list]] M https://esolangs.org/w/index.php?diff=125929&oldid=125768 * None1 * (+60) /* General languages */
11:20:58 <esolangs> [[NoSubject]] M https://esolangs.org/w/index.php?diff=125930&oldid=125925 * None1 * (+0) /* Hello, World!] */
11:31:05 -!- ais523 has joined.
11:32:55 <esolangs> [[Random-ass Turing Complete Language]]  https://esolangs.org/w/index.php?diff=125931&oldid=123742 * Cleverxia * (-37) 
11:33:51 <APic> wb ais523 
11:34:04 <APic> ais523: Have You already coded a Sokoban Solver, by any Chance?    )
11:34:04 <APic> 😉
11:34:40 <ais523> APic: sort of
11:34:46 <APic> o/
11:34:56 <ais523> I created a Sokoban level generator for Enigma, which contains a Sokoban solver in order to ensure the generated levels are possible
11:35:12 <ais523> but it isn't fully general, it only tries a couple of simple techniques, in order to prevent the levels becoming too hard
11:35:21 <APic> Epic
11:35:24 <APic> Ok
11:36:03 * APic will start the Sokoban Game inside the German MUD UNItopia at some Point in the Futures
11:36:17 <APic> Probably they made the Levels simple enough that Your Solver will work   😉
11:36:28 <ais523> if you're interested in Sokoban solvers, a fun esoteric Sokoban solver is the one which was written in apt (apt's entire job is to try to resolve dependencies, and Sokoban turns out to be a special case of that…)
11:36:48 <ais523> Knuth also wrote a Sokoban solver, due to noting that it was a special case of a problem for which he'd already solved the general case
11:37:11 <APic> Ah, nice, thanks for the Information!
11:37:17 -!- ais523 has quit (Quit: sorry about my connection).
11:37:31 -!- ais523 has joined.
11:37:41 <APic> wb ais523 
11:37:41 <APic> ☺
11:39:47 <APic> ais523: Where can i find Your Generator please? Probably not inside the main Game on https://www.nongnu.org/enigma/download.html?
11:43:41 <ais523> it is actually inside there
11:44:24 <ais523> oh, I confused Sokoban and Sudoku
11:44:31 <ais523> all my comments above were about Sudoku
11:44:35 <APic> oic
11:44:47 <ais523> however, I also wrote a Sokoban solver for Enigma, too
11:44:51 <APic> lol
11:44:51 <APic> Epic
11:45:04 <esolangs> [[User talk:/w/wiki/index.php/Talk:index.php/Main page]]  https://esolangs.org/w/index.php?diff=125932&oldid=125845 * Cleverxia * (+118) 
11:45:15 <APic> Also already inside there?
11:45:27 <esolangs> [[User talk:/w/wiki/index.php/Talk:index.php/Main page]]  https://esolangs.org/w/index.php?diff=125933&oldid=125932 * Cleverxia * (+17) 
11:46:01 <esolangs> [[User talk:/w/wiki/index.php/Talk:index.php/Main page]]  https://esolangs.org/w/index.php?diff=125934&oldid=125933 * Cleverxia * (+1) 
11:46:32 -!- ais523 has quit (Remote host closed the connection).
11:46:33 <esolangs> [[User talk:/w/wiki/index.php/Talk:index.php/Main page]]  https://esolangs.org/w/index.php?diff=125935&oldid=125934 * Cleverxia * (+18) 
11:46:45 -!- ais523 has joined.
11:46:49 <ais523> [12:45] <ais523> the Sokoban solver is (/usr/bin/)share/enigma/levels/enigma_ix/ais12_1.xml once Enigma is installed
11:46:51 <ais523> [12:46] <ais523> and the Sudoku solver is (/usr/bin/)share/enigma/levels/enigma_ix/ais33_1.xml
11:46:55 <ais523> but the Sokoban solver is just brute force
11:47:04 <ais523> because the level is only 5×5
11:47:17 <APic> ic
11:47:32 <APic> Thanks
11:47:38 <ais523> I have been working on less brute-force options, for a different project, although haven't created anything I'm happy with yet
11:47:42 * APic will see how big the Levels inside the MUD get
11:47:49 <esolangs> [[User talk:/w/wiki/index.php/Talk:index.php/Main page]]  https://esolangs.org/w/index.php?diff=125936&oldid=125935 * None1 * (+100) /* Commands */  To show a space use &nbsp;
11:47:49 <ais523> but, Sokoban is NP-complete so in general there isn't an efficient way to solve it
11:47:50 <APic> Ok
11:48:33 <ais523> also my solver assumes that all the goal squares are together in a line, because that's how Sokoban levels normally work in Engima
11:48:35 <ais523> * Enigma
11:48:56 <APic> Ah, like in NetHack
11:49:09 <ais523> yes
11:49:37 <ais523> I would suspect that better solvers are available than mine, if you're just looking for a working solver
11:49:41 <esolangs> [[AnyGolf]] M https://esolangs.org/w/index.php?diff=125937&oldid=124993 * None1 * (+4) /* Commands */
11:50:27 <esolangs> [[AnyGolf]] M https://esolangs.org/w/index.php?diff=125938&oldid=125937 * None1 * (+32) /* Examples */
11:50:30 <APic> All right, thanks   😌
11:50:41 <esolangs> [[AnyGolf]] M https://esolangs.org/w/index.php?diff=125939&oldid=125938 * None1 * (+8) /* Infinite loop */
11:50:47 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
11:51:32 <esolangs> [[User talk:/w/wiki/index.php/Talk:index.php/Main page]]  https://esolangs.org/w/index.php?diff=125940&oldid=125936 * Cleverxia * (+439) 
11:53:28 -!- FreeFull has quit.
11:56:28 <esolangs> [[AnyGolf]] M https://esolangs.org/w/index.php?diff=125941&oldid=125939 * None1 * (+156) /* Commands */
11:57:32 <esolangs> [[AnyGolf]] M https://esolangs.org/w/index.php?diff=125942&oldid=125941 * None1 * (+41) /* Examples */
11:57:45 <esolangs> [[AnyGolf]] M https://esolangs.org/w/index.php?diff=125943&oldid=125942 * None1 * (+0) /* Commands */
12:02:17 <esolangs> [[AnyGolf]] M https://esolangs.org/w/index.php?diff=125944&oldid=125943 * None1 * (+27) /* Examples */
12:02:38 <esolangs> [[AnyGolf]] M https://esolangs.org/w/index.php?diff=125945&oldid=125944 * None1 * (+16) /* Commands */
12:14:13 <esolangs> [[Brainfuck]]  https://esolangs.org/w/index.php?diff=125946&oldid=121954 * Cleverxia * (+100) /* Interpreters */
12:15:08 <esolangs> [[Brainfuck extended]] M https://esolangs.org/w/index.php?diff=125947&oldid=125911 * None1 * (+3) /* Truth Machine (Characters that are not 0 are treated as 1) */
12:15:43 <esolangs> [[Truth-machine]] M https://esolangs.org/w/index.php?diff=125948&oldid=125483 * None1 * (+1) /* Brainfuck extended */
12:20:51 <esolangs> [[B-H]]  https://esolangs.org/w/index.php?diff=125949&oldid=111886 * Cleverxia * (+239) /* Interpreters */
12:21:27 <esolangs> [[B-H]]  https://esolangs.org/w/index.php?diff=125950&oldid=125949 * Cleverxia * (-2) /* brainfuck */
12:21:58 <esolangs> [[Brainfuck extended]]  https://esolangs.org/w/index.php?diff=125951&oldid=125947 * None1 * (+69) /* Implementation */  Added [[Python]] interpreter and changed Unimplemented to Implemented
12:32:45 <esolangs> [[Special:Log/upload]] upload  * None1 *  uploaded "[[File:Bx.png]]": Interpreter for [[Brainfuck extended]]
12:33:02 <esolangs> [[File:Bx.png]] M https://esolangs.org/w/index.php?diff=125953&oldid=125952 * None1 * (-7) /* Summary */
12:37:35 <esolangs> [[Brainfuck extended]] M https://esolangs.org/w/index.php?diff=125954&oldid=125951 * None1 * (+424) Added infobox
12:46:45 <esolangs> [[This esolang is a brainfuck derivative]]  https://esolangs.org/w/index.php?diff=125955&oldid=117841 * Cleverxia * (+0) the original program prints one more eof
13:03:18 <esolangs> [[A+B Problem]]  https://esolangs.org/w/index.php?diff=125956&oldid=125602 * None1 * (+128) /* This esolang is not a push-down automata */
13:16:21 <esolangs> [[This esolang is a brainfuck derivative]] M https://esolangs.org/w/index.php?diff=125957&oldid=125955 * None1 * (+0) /* Syntax */
13:16:58 -!- tromp has joined.
13:40:09 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
13:54:12 -!- tromp has joined.
14:22:10 -!- __monty__ has joined.
14:36:38 <esolangs> [[Fairytale]]  https://esolangs.org/w/index.php?diff=125958&oldid=90900 * Leomok2009 * (+487) Added translated Python code
15:01:01 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:14:36 -!- tromp has joined.
15:28:42 -!- FreeFull has joined.
15:29:32 <esolangs> [[Hello, golf!]]  https://esolangs.org/w/index.php?diff=125959&oldid=123531 * MihaiEso * (+29) /* See also */
15:39:00 <esolangs> [[Special:Log/newusers]] create  * Tylon *  New user account
15:51:17 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
16:27:06 -!- tromp has joined.
16:52:18 -!- Guest26 has joined.
16:55:05 <Guest26> ais523: Sokoban is PSPACE-complete, and Sudoku is NP-complete.
16:55:30 -!- Guest26 has quit (Remote host closed the connection).
16:57:23 <ais523> ah, thanks for the correction
16:57:24 <int-e> we have a trivia hit and run
16:57:36 <ais523> it is probably just a logreader
16:57:48 <int-e> (I missed the context)
16:57:49 <ais523> but yes, Sokoban has undoable moves, that tends to make things PSPACE-complete
17:00:44 <esolangs> [[Template:Serious]] M https://esolangs.org/w/index.php?diff=125960&oldid=118207 * PythonshellDebugwindow * (+8) Allow page name specification
17:01:55 <esolangs> [[C]] M https://esolangs.org/w/index.php?diff=125961&oldid=125905 * PythonshellDebugwindow * (+24) Fix link, misc.
17:02:55 <int-e> I'm struggling to find a better word than "undoable". You can push boxes back and forth, giving you polynomial space, and you get non-determinism from the moves.
17:03:30 <int-e> (which is largely irrelevant)
17:06:24 <ais523> non-monotonic?
17:06:26 <int-e> Funnily enough this slightly reframed my view on the "Ladders are PSPACE-complete" result for Go; since it's a two-player game you have alternation built in so it's plausible APTIME-complete, and APTIME = PSPACE.
17:06:56 <int-e> (That's totally a tangent. But it's more satisfying to me than "we encoded QBF")
17:08:04 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:10:05 -!- amby has joined.
17:10:08 -!- Evylah has joined.
17:10:22 -!- Evylah has quit (Client Quit).
17:23:16 -!- tromp has joined.
17:35:53 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:39:55 -!- tromp has joined.
18:24:17 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:33:34 -!- tromp has joined.
18:42:49 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:54:13 -!- tromp has joined.
19:06:03 -!- simcop2387 has quit (Read error: Connection reset by peer).
19:06:03 -!- perlbot has quit (Read error: Connection reset by peer).
19:09:06 -!- Sgeo has joined.
19:09:24 -!- perlbot has joined.
19:11:25 -!- simcop2387 has joined.
19:19:01 -!- simcop2387 has quit (Read error: Connection reset by peer).
19:19:01 -!- perlbot has quit (Read error: Connection reset by peer).
19:23:56 -!- perlbot has joined.
19:24:59 -!- simcop2387 has joined.
19:39:47 -!- simcop2387 has quit (Read error: Connection reset by peer).
19:39:48 -!- perlbot has quit (Read error: Connection reset by peer).
19:43:42 -!- perlbot has joined.
19:44:42 -!- simcop2387 has joined.
19:49:07 -!- __monty__ has quit (Quit: leaving).
19:51:17 -!- __monty__ has joined.
20:01:04 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:21:03 -!- tromp has joined.
20:58:24 -!- __monty__ has quit (Quit: leaving).
21:00:17 -!- __monty__ has joined.
21:13:46 <esolangs> [[Mecomp]]  https://esolangs.org/w/index.php?diff=125962&oldid=123106 * EvyLah * (-17) Blanked the page
21:25:36 -!- __monty__ has quit (Ping timeout: 256 seconds).
21:27:15 -!- __monty__ has joined.
21:38:17 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:35:28 -!- __monty__ has quit (Quit: leaving).
23:07:03 <esolangs> [[B-H]] M https://esolangs.org/w/index.php?diff=125963&oldid=125950 * None1 * (+25) /* brainfuck */
23:11:30 <esolangs> [[Special:Log/delete]] delete  * Ais523 *  deleted "[[Mecomp]]": Author request: redirect blanked by author, never had nontrivial content and no incoming links
23:13:27 -!- amby has quit (Remote host closed the connection).