00:04:30 -!- sprocklem has quit (Ping timeout: 256 seconds).
00:05:51 -!- sprocklem has joined.
01:01:54 -!- b_jonas has quit (Quit: leaving).
01:06:57 -!- craigo has quit (Ping timeout: 258 seconds).
01:13:41 -!- sprocklem has quit (Ping timeout: 246 seconds).
01:13:57 -!- sprocklem has joined.
01:18:35 -!- sprocklem has quit (Ping timeout: 246 seconds).
01:19:14 -!- sprocklem has joined.
01:33:17 -!- craigo has joined.
01:48:47 -!- aaaaaa has quit (Quit: leaving).
02:04:20 -!- budonyc has quit (Quit: Leaving).
02:04:42 -!- budonyc has joined.
02:08:02 -!- Phantom_Hoover has joined.
02:09:41 -!- adu has joined.
02:15:46 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
02:27:43 -!- aaaaaa has joined.
02:42:00 -!- budonyc has quit (Quit: Leaving).
03:04:55 -!- lucky has quit (Quit: WeeChat 2.8).
03:33:46 -!- craigo has quit (Ping timeout: 258 seconds).
03:43:00 -!- craigo has joined.
03:52:48 -!- hakatashi4 has joined.
03:53:51 -!- spencer__ has joined.
03:54:47 -!- hakatashi has quit (Remote host closed the connection).
03:54:47 -!- rain1 has quit (Remote host closed the connection).
03:54:48 -!- j-bot has quit (Ping timeout: 256 seconds).
03:55:03 -!- j-bot has joined.
04:58:04 -!- adu has quit (Quit: adu).
05:09:31 -!- adu has joined.
05:50:19 -!- adu has quit (Quit: adu).
06:51:30 -!- spencer__ has quit (Quit: Leaving).
07:01:33 -!- Antebrationist has joined.
07:02:09 <Antebrationist> Do turing machines write a number or move the tape first?
07:02:24 <Antebrationist> Oh, zzo38, I'm working on a smaller Minsky Machine now.
07:09:05 -!- Antebrationist has quit (Remote host closed the connection).
07:09:10 <int-e> What's the context for this? A Minsky machine doing what?
07:10:28 <int-e> Oh, back in May. 2020-05-03.txt:20:54:15 <Antebrationist8> I've completed the initialization of the Minsky machine, with 5 pointers.
07:13:16 -!- rain1 has joined.
07:13:25 -!- aaaaaa has quit (Ping timeout: 264 seconds).
07:13:52 <int-e> Ah, I believe this is the Minsky machine in M:tG discussion.
07:14:44 <shachaf> hi int-e
07:15:08 <shachaf> Was The Backbone the hardest level, or is it more like you were stuck on it for silly reasons?
07:15:40 <int-e> shachaf: I think it was a new twist on a game mechanic, and the level made it hard to accidently find the twist.
07:15:59 <shachaf> Also, do you know what the minimum number of clues for a sudoku puzzle where a digit can't be a knight's move away from the same digit?
07:16:17 <int-e> (usually when I'm stuck on a level I do some more or less random exploration, trying out things that seem interesting with no clue what they'll achieve)
07:22:53 <int-e> Anyway, I've now watched the whole speedrun. Mostly very clean, streamlined solutions (some of my attempts involved a lot of shuffling of sausages), but no real new tricks I didn't already know :)
07:30:20 -!- arseniiv has joined.
07:40:07 -!- Phantom_Hoover has joined.
07:48:49 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
08:00:50 <esowiki> [[Talk:Snowflake]]  https://esolangs.org/w/index.php?diff=75952&oldid=75942 * Orisphera * (+6) 
08:11:57 <esowiki> [[Burro]]  https://esolangs.org/w/index.php?diff=75953&oldid=73520 * Chris Pressey * (+427) Back to the drawing board
08:12:27 -!- imode has quit (Ping timeout: 258 seconds).
08:12:31 <esowiki> [[Burro]]  https://esolangs.org/w/index.php?diff=75954&oldid=75953 * Chris Pressey * (-169) not right now it doesn't
08:14:13 <esowiki> [[Burro/TM2Burro.hs]]  https://esolangs.org/w/index.php?diff=75955&oldid=74515 * Chris Pressey * (+114) Note that this is broken.
08:19:07 -!- Sgeo has quit (Read error: Connection reset by peer).
08:27:00 <esowiki> [[DDuuaall]]  https://esolangs.org/w/index.php?diff=75956&oldid=75898 * A * (+89) 
08:27:52 -!- Phantom_Hoover has joined.
08:28:50 <esowiki> [[DDuuaall]]  https://esolangs.org/w/index.php?diff=75957&oldid=75956 * A * (+19) /* Primalty Tester */
08:32:47 <esowiki> [[DDuuaall]]  https://esolangs.org/w/index.php?diff=75958&oldid=75957 * A * (-125) 
08:47:50 <shachaf> I like the way 2SAT is solvable by just doing regular DPLL, but never backtracking more than one level.
08:58:21 <shachaf> How many clauses of length > 2 do you need for SAT to be NP-complete?
09:00:38 <int-e> Well, SAT is in P for any fixed number of clauses of length > 2.
09:00:39 <myname> i'd say arbitrary many, because if you put an upper bound to it, there is an upper bound of the length of merged clauses
09:01:30 <int-e> (With k clauses of size n, you can try all choices of the positive literal for each clause in n^k calls to the 2SAT procedure.)
09:06:44 <shachaf> Hmm.
09:06:57 <shachaf> Sudoku is expressible using almost entirely 2-clauses, right?
09:07:14 <shachaf> You need one n-clause per cell to specify that a cell has at least one value, and that's it, I think.
09:07:33 <myname> i'm not sure about that
09:08:27 <myname> don't you need one n-clause per row/column/block?
09:08:51 <shachaf> You only need to say that there's at most one of each digit for each of those.
09:09:02 <shachaf> Which you can express with a bunch of 2-clauses.
09:09:09 <myname> how so?
09:10:52 <shachaf> (¬(0,0)=1 | ¬(0,1)=1) & (¬(0,0)=1 | ¬(0,2)=1) & ...
09:12:28 <myname> okay
09:13:06 <myname> but if n is the number of variables, you'd still need 3n clauses of size > 2, don't you?
09:13:11 <int-e> shachaf: true
09:13:56 <shachaf> For 9x9 sudoku the simple encoding has 9^3 variables and 9^2 clauses of length > 2.
09:14:34 <shachaf> Arbitrary sudoku is supposed to be NP-complete, right? I'm kind of surprised that you get that from a relatively small number of >2 clauses, though it does grow with the number of variables.
09:15:00 <int-e> If you generalize to a Sudoku of size nxn you end up with n^2 constraints of size n.
09:15:14 <shachaf> Right.
09:15:22 <int-e> (n = k*l if you have l*k boxes of size k*l)
09:15:31 <myname> shachaf: well, if you follow int-es reasoning above, you have n^n calls to 2sat
09:15:43 <myname> and n^n is no longer polynomial
09:15:55 <myname> (that doesn't mean there can not be another way)
09:15:58 <int-e> n^(2n), but that just makes it worse.
09:16:13 <int-e> err, what am I saying
09:16:15 <int-e> n^n^2
09:19:32 <int-e> Let's just do set cover. If k elements to cover and n sets, then you have a natural encoding with n variables indicating which sets to select, k constraints of size <= n (to ensure that each element is selected, and up to C(n,2) clauses of size 2 to ensure the selected sets don't overlap.
09:20:20 <int-e> If *there are* k elements...
09:22:36 <shachaf> Exact cover?
09:22:40 <int-e> yes
09:22:46 <shachaf> That does seem simpler.
09:39:28 -!- mniip has quit (Quit: This page is intentionally left blank.).
10:02:28 -!- ^[_ has quit (Ping timeout: 244 seconds).
10:04:10 -!- ^[_ has joined.
10:06:57 -!- mniip has joined.
10:23:08 -!- dnm has quit (Ping timeout: 244 seconds).
10:23:18 -!- dnm has joined.
10:29:42 -!- craigo has quit (Ping timeout: 256 seconds).
10:40:06 -!- t20kdc has joined.
10:46:30 -!- Lord_of_Life_ has joined.
10:48:28 -!- Lord_of_Life has quit (Ping timeout: 258 seconds).
10:48:28 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
12:34:36 -!- wib_jonas has joined.
12:49:48 -!- t20kdc has quit (Remote host closed the connection).
12:55:07 <esowiki> [[Left-or-right]] N https://esolangs.org/w/index.php?oldid=75959 * D * (+901) Created page with "[[Left-or-right]] is a very simple language [https://codegolf.meta.stackexchange.com/users/20260/xnor xnor] made up. Its expression are made of arrows <code><</code> (left), <..."
12:55:20 -!- t20kdc has joined.
12:56:54 <esowiki> [[Left-or-right]]  https://esolangs.org/w/index.php?diff=75960&oldid=75959 * D * (+302) 
13:00:39 <esowiki> [[Left-or-right]]  https://esolangs.org/w/index.php?diff=75961&oldid=75960 * D * (+103) 
13:56:00 -!- ski has quit (Killed (Sigyn (Stay safe off irc))).
14:11:09 -!- ski has joined.
14:16:13 -!- glowcoil has quit (Ping timeout: 256 seconds).
14:18:14 -!- glowcoil has joined.
15:29:49 -!- wib_jonas has quit (Quit: Connection closed).
15:32:21 -!- unrooted has joined.
15:32:24 -!- Arcorann has quit (Read error: Connection reset by peer).
15:40:04 -!- Sgeo has joined.
16:15:44 -!- imode has joined.
16:23:56 <esowiki> [[User:Hakerh400/Code golf challenges]] N https://esolangs.org/w/index.php?oldid=75962 * Hakerh400 * (+12169) Code golf challenges
16:23:59 <esowiki> [[User:Hakerh400]]  https://esolangs.org/w/index.php?diff=75963&oldid=75400 * Hakerh400 * (+81) Code golf challenges
16:25:41 <esowiki> [[User:Hakerh400/Code golf challenges]]  https://esolangs.org/w/index.php?diff=75964&oldid=75962 * Hakerh400 * (+1) /* Input */
16:26:22 <esowiki> [[Talk:Emoticon]]  https://esolangs.org/w/index.php?diff=75965&oldid=23042 * Quadril-Is * (+450) Obfuscation guide needed
16:26:49 <esowiki> [[Talk:Emoticon]]  https://esolangs.org/w/index.php?diff=75966&oldid=75965 * Quadril-Is * (-46) 
16:27:16 <esowiki> [[User:Hakerh400/Code golf challenges]] M https://esolangs.org/w/index.php?diff=75967&oldid=75964 * Hakerh400 * (+0) 
16:27:33 <esowiki> [[Emoticon]]  https://esolangs.org/w/index.php?diff=75968&oldid=44812 * Quadril-Is * (+9) /* The Emoticons */
16:28:46 -!- unrooted has quit (Quit: Going offline, see ya! (www.adiirc.com)).
16:42:52 -!- b_jonas has joined.
16:58:07 -!- ineiros has joined.
18:26:59 -!- unrooted has joined.
18:28:03 -!- unrooted has quit (Read error: Connection reset by peer).
18:29:26 -!- unrooted has joined.
18:30:36 -!- unrooted has quit (Remote host closed the connection).
18:30:51 -!- unrooted has joined.
18:31:03 -!- unrooted has quit (Remote host closed the connection).
18:31:16 -!- unrooted has joined.
18:31:50 -!- unrooted has quit (Remote host closed the connection).
18:32:06 -!- unrooted has joined.
18:32:50 -!- unrooted has quit (Client Quit).
18:33:32 <esowiki> [[Affine Mess]] M https://esolangs.org/w/index.php?diff=75969&oldid=75544 * Caenbe * (+19) I think this looks better as one paragraph.
18:33:46 -!- unrooted has joined.
18:50:49 <esowiki> [[User:Bangyen]]  https://esolangs.org/w/index.php?diff=75970&oldid=75950 * Bangyen * (-180) /* Implementations */
18:58:36 <esowiki> [[User:Bangyen]]  https://esolangs.org/w/index.php?diff=75971&oldid=75970 * Bangyen * (-43) 
19:14:48 -!- craigo has joined.
19:44:34 -!- d3pp has joined.
20:26:11 -!- d3pp has quit (Quit: WeeChat 2.8).
20:40:02 -!- xelxebar has quit (Remote host closed the connection).
20:40:30 -!- xelxebar has joined.
20:51:38 -!- unrooted has quit (Read error: Connection reset by peer).
20:51:58 -!- unrooted has joined.
21:05:50 -!- rain1 has quit (Quit: Leaving).
21:31:32 -!- unrooted has quit (Quit: Going offline, see ya! (www.adiirc.com)).
22:11:42 -!- grumble has quit (Quit: WASHINGTON, DC—In a move designed to make the United States seem more "bad-assed and scary in a quasi-heavy-metal manner," Congress officially changed the nation's name to the Ünited Stätes of Ämerica Monday. "Much like Mötley Crüe and Motörhead,).
22:12:17 -!- grumble has joined.
22:27:38 -!- d3pp has joined.
22:32:47 -!- d3pp has quit (Quit: WeeChat 2.8).
22:48:22 -!- Lord_of_Life_ has joined.
22:49:37 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
22:49:42 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
22:49:43 -!- arseniiv has quit (Ping timeout: 246 seconds).
23:06:35 -!- Arcorann has joined.
23:06:54 -!- d3pp has joined.
23:07:10 -!- Arcorann has quit (Remote host closed the connection).
23:07:35 -!- Arcorann has joined.
23:23:48 <esowiki> [[Special:Log/newusers]] create  * Deppong *  New user account
23:26:36 <esowiki> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=75972&oldid=75891 * Deppong * (+101) /* Introductions */
23:27:39 <esowiki> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=75973&oldid=75972 * Deppong * (+80) /* Introductions */
23:34:59 -!- d3pp has quit (Quit: WeeChat 2.8).
23:53:07 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).