00:16:36 -!- adu has quit (Quit: adu). 00:23:04 -!- adu has joined. 00:47:41 -!- LKoen has quit (Quit: You can build a time machine but you cannot cook a cheese soufflé ? You've got your priorities all wrong!). 00:54:44 -!- Lord_of_Life has quit (Read error: Connection reset by peer). 00:57:07 -!- Lord_of_Life has joined. 01:53:57 [[International Phonetic Esoteric Language]] https://esolangs.org/w/index.php?diff=73477&oldid=73476 * Bigyihsuan * (+9122) 01:54:09 [[International Phonetic Esoteric Language]] https://esolangs.org/w/index.php?diff=73478&oldid=73477 * Bigyihsuan * (-9) 02:00:22 -!- Phantom_Hoover has joined. 02:10:28 [[International Phonetic Esoteric Language]] https://esolangs.org/w/index.php?diff=73479&oldid=73478 * Bigyihsuan * (+427) 02:11:51 [[International Phonetic Esoteric Language]] https://esolangs.org/w/index.php?diff=73480&oldid=73479 * Bigyihsuan * (+124) 02:12:34 -!- zzo38 has quit (Quit: zzo38). 02:13:26 -!- zzo38 has joined. 02:29:37 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 02:35:20 -!- sprocklem has quit (Quit: ...). 02:36:03 -!- sprocklem has joined. 04:11:09 ꟇꟈꟉꟊꟵꟶ 04:30:39 -!- BWBellairs has quit (Remote host closed the connection). 04:30:45 -!- BWBellairs[NNRF] has joined. 04:31:35 -!- BWBellairs[NNRF] has changed nick to BWBellairs. 04:49:19 -!- adu has quit (Quit: adu). 04:58:54 [[International Phonetic Esoteric Language]] https://esolangs.org/w/index.php?diff=73481&oldid=73480 * Bigyihsuan * (+1) 05:09:12 [[Talk:International Phonetic Esoteric Language]] N https://esolangs.org/w/index.php?oldid=73482 * Bigyihsuan * (+51) /* Task List */ new section 05:09:26 [[Talk:International Phonetic Esoteric Language]] https://esolangs.org/w/index.php?diff=73483&oldid=73482 * Bigyihsuan * (+8) 05:30:11 -!- sebbu has quit (Ping timeout: 260 seconds). 06:17:20 -!- trn has quit (Remote host closed the connection). 06:24:59 -!- rain1 has joined. 06:33:07 -!- tromp has joined. 06:36:26 -!- tromp_ has joined. 06:38:08 English pony, from French poulenet, from Latin pullanus, from latin pullus cognate to Spanish pollo "chicken" 06:38:11 -!- tromp has quit (Ping timeout: 272 seconds). 06:38:54 -!- trn has joined. 06:51:23 -!- imode has quit (Ping timeout: 260 seconds). 07:26:33 -!- sebbu has joined. 07:42:14 -!- cpressey has joined. 07:49:27 -!- LKoen has joined. 07:54:34 -!- arseniiv has joined. 08:29:07 -!- Phantom_Hoover has joined. 09:24:07 -!- Sgeo has quit (Read error: Connection reset by peer). 09:24:21 [[DIVCON]] N https://esolangs.org/w/index.php?oldid=73484 * D * (+167) Create page for new language. 09:28:03 [[DIVCON]] https://esolangs.org/w/index.php?diff=73485&oldid=73484 * D * (+253) 09:29:29 -!- TheLie has joined. 09:29:57 [[DIVCON]] https://esolangs.org/w/index.php?diff=73486&oldid=73485 * D * (+397) 09:31:15 [[DIVCON]] https://esolangs.org/w/index.php?diff=73487&oldid=73486 * D * (+276) 09:32:53 [[DIVCON]] https://esolangs.org/w/index.php?diff=73488&oldid=73487 * D * (+399) 09:34:25 -!- rain1_ has joined. 09:35:09 [[DIVCON]] https://esolangs.org/w/index.php?diff=73489&oldid=73488 * D * (+516) 09:39:49 [[DIVCON]] https://esolangs.org/w/index.php?diff=73490&oldid=73489 * D * (+111) 09:44:19 -!- rain1_ has quit (Quit: Lost terminal). 10:25:49 Is it easy or hard to check whether a proposed clause is implied by existing SAT clauses in an instance? 10:32:15 Yes. 10:33:33 thoughts on squarefree words? 10:36:31 [[DIVCON]] https://esolangs.org/w/index.php?diff=73491&oldid=73490 * A * (+185) 10:36:46 [[DIVCON]] M https://esolangs.org/w/index.php?diff=73492&oldid=73491 * A * (+33) 10:37:32 [[DIVCON]] https://esolangs.org/w/index.php?diff=73493&oldid=73492 * A * (+165) 10:37:48 [[DIVCON]] M https://esolangs.org/w/index.php?diff=73494&oldid=73493 * A * (+0) 10:39:08 [[DIVCON]] https://esolangs.org/w/index.php?diff=73495&oldid=73494 * A * (+117) 10:40:15 [[DIVCON]] https://esolangs.org/w/index.php?diff=73496&oldid=73495 * A * (+144) 10:40:48 shachaf: hard, in that it's as hard as SAT solving in general 10:41:18 which is NP-complete 10:43:37 -!- opticnerve has joined. 10:47:48 [[DIVCON]] https://esolangs.org/w/index.php?diff=73497&oldid=73496 * A * (+118) 10:48:48 [[DIVCON]] https://esolangs.org/w/index.php?diff=73498&oldid=73497 * A * (+102) 10:54:14 -!- craigo has joined. 10:54:57 [[Mice in a maze]] M https://esolangs.org/w/index.php?diff=73499&oldid=73357 * Chris Pressey * (+36) Explain why you would want to see also 10:55:36 [[HUNTER]] M https://esolangs.org/w/index.php?diff=73500&oldid=73358 * Chris Pressey * (+36) Explain why you would want to see also 10:59:21 [[Burro]] https://esolangs.org/w/index.php?diff=73501&oldid=53351 * Chris Pressey * (+150) See also Revaver2pi 11:00:10 [[Revaver2pi]] https://esolangs.org/w/index.php?diff=73502&oldid=34906 * Chris Pressey * (+80) See also Burro 11:02:23 [[Revaver2pi]] https://esolangs.org/w/index.php?diff=73503&oldid=73502 * Chris Pressey * (+41) +cat 11:04:15 [[Revaver2pi]] M https://esolangs.org/w/index.php?diff=73504&oldid=73503 * Chris Pressey * (+16) Dead link; Wayback machine does not have it either 11:04:44 -!- S_Gautam has joined. 11:14:07 -!- Lord_of_Life_ has joined. 11:15:12 -!- Lord_of_Life has quit (Ping timeout: 258 seconds). 11:15:26 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 11:16:30 [[Jeeves]] M https://esolangs.org/w/index.php?diff=73505&oldid=52938 * Chris Pressey * (+26) +cat 11:26:01 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 11:26:26 -!- Phantom_Hoover has joined. 11:46:56 [[Forked]] https://esolangs.org/w/index.php?diff=73506&oldid=54092 * Chris Pressey * (+1) From context it's quite clear there are not actually an infinite number of IPs running at any point 11:51:03 -!- opticnerve has quit (Quit: bye). 11:51:28 -!- cpressey has quit (Quit: WeeChat 1.9.1). 11:51:58 What about special cases like learned clauses? 11:52:04 You could remember the resolution path but it might be long. 11:52:19 If the clause is short, I guess it can be pretty easy? 11:52:47 Hmm, can it? 11:56:09 Of course not. 11:56:25 I was thinkig about it all confusedly. 11:59:07 -!- tromp_ has quit (Ping timeout: 265 seconds). 11:59:29 -!- tromp has joined. 12:02:26 -!- tromp_ has joined. 12:04:21 -!- tromp has quit (Ping timeout: 272 seconds). 12:31:58 -!- TheLie has quit (Remote host closed the connection). 12:55:26 -!- sftp_ has joined. 12:58:07 -!- sftp has quit (Ping timeout: 256 seconds). 12:58:08 -!- sftp_ has changed nick to sftp. 13:00:51 -!- orin_ has joined. 13:01:37 -!- wmww has quit (*.net *.split). 13:01:38 -!- oren has quit (*.net *.split). 13:05:53 Something I was thinking about recently is if a "shallowest path" SAT solver type thing could make something approximating a human-readable proof 13:07:05 -!- wmww has joined. 13:09:58 -!- wmww has quit (Ping timeout: 256 seconds). 13:17:03 Taneb: A related domain is assessing the difficulty of (NP-complete) puzzles. And you can see some difficulties there: a) humans incorporate patterns which may embed arbitrarily complex reasoning. b) we also tend to be happy to reason deeply as long as there's not much branching (how much branching people cope with may be a measure of their expertise). 13:17:37 I'm sure this has been studied academically. But I never got interested enough to actually look. 13:18:37 Puzzles (in NP) are probably easier than proofs because a large amount of the puzzle logic tends to be naturally expressed in clauses. 13:20:14 (Though some mechanics aren't. There are a ton of puzzles where a path or an area needs to be connected, or you actually count something, which doesn't translate so well to CNF.) 13:20:15 And obviously we have plenty of puzzles that are hard for PSPACE or worse. 13:20:15 -!- cpressey has joined. 13:21:03 (Which tend to exercise the visual planning part of our brain, which acts nothing like a SAT solver.) 13:27:53 Taneb: that said, depth is certainly a factor, but so are branching, and size. And there are factors beyond the shape of the proof tree like the complexity of representing a subgoal, compression through lemmas... it's an interesting question but not an easy one at all. 13:43:29 [[Talk:ByteByteJump]] https://esolangs.org/w/index.php?diff=73507&oldid=36966 * Chris Pressey * (+401) 13:54:23 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 14:01:04 [[Burro/TM2Burro.hs]] N https://esolangs.org/w/index.php?oldid=73508 * Chris Pressey * (+2093) Add TM2Burro compiler, showing Burro is TC. 14:06:30 [[Burro]] https://esolangs.org/w/index.php?diff=73509&oldid=73501 * Chris Pressey * (+72) I submit that the language is Turing complete. 14:09:14 [[Burro]] https://esolangs.org/w/index.php?diff=73510&oldid=73509 * Chris Pressey * (+77) Rephrase section about replicating brainfuck loops. 14:11:01 [[Burro/TM2Burro.hs]] https://esolangs.org/w/index.php?diff=73511&oldid=73508 * Chris Pressey * (+38) Note where the TM starts. 14:35:16 -!- int-e has quit (Remote host closed the connection). 14:36:43 -!- int-e has joined. 14:38:59 -!- lambdabot has quit (Remote host closed the connection). 14:41:44 -!- lambdabot has joined. 14:45:32 [[Heebolang]] M https://esolangs.org/w/index.php?diff=73512&oldid=73472 * PythonshellDebugwindow * (+12) header 14:47:43 [[International Phonetic Esoteric Language]] M https://esolangs.org/w/index.php?diff=73513&oldid=73481 * PythonshellDebugwindow * (-50) inter wiki link + move cats 14:48:22 -!- arseniiv_ has joined. 14:50:38 [[Brainfuck---]] M https://esolangs.org/w/index.php?diff=73514&oldid=56246 * PythonshellDebugwindow * (+27) /* Hello Program */ 14:51:50 -!- arseniiv has quit (Ping timeout: 256 seconds). 14:51:56 [[Brainfuck-- interpreter]] M https://esolangs.org/w/index.php?diff=73515&oldid=65071 * PythonshellDebugwindow * (+17) 14:52:31 [[Brainfuck--]] M https://esolangs.org/w/index.php?diff=73516&oldid=59760 * PythonshellDebugwindow * (+18) /* See also */ 14:54:43 [[Brainfuck---]] M https://esolangs.org/w/index.php?diff=73517&oldid=73514 * PythonshellDebugwindow * (-42) /* See Also: */ why link to another langs interpreter? 14:55:49 [[Brainfuck---]] M https://esolangs.org/w/index.php?diff=73518&oldid=73517 * PythonshellDebugwindow * (+14) /* See also */ 14:57:10 [[Hello]] M https://esolangs.org/w/index.php?diff=73519&oldid=62688 * PythonshellDebugwindow * (+23) /* External resources */ 15:46:25 -!- craigo has quit (Quit: Leaving). 16:01:14 -!- cpressey has quit (Quit: WeeChat 1.9.1). 16:09:17 [[Burro]] M https://esolangs.org/w/index.php?diff=73520&oldid=73510 * PythonshellDebugwindow * (+169) /* See also */ 16:11:49 [[Circles]] M https://esolangs.org/w/index.php?diff=73521&oldid=72427 * PythonshellDebugwindow * (+82) cats 16:12:20 [[AT]] M https://esolangs.org/w/index.php?diff=73522&oldid=71991 * PythonshellDebugwindow * (-89) 16:15:52 [[Or]] M https://esolangs.org/w/index.php?diff=73523&oldid=69291 * PythonshellDebugwindow * (-4) 16:28:01 -!- tromp has joined. 16:30:59 -!- tromp_ has quit (Ping timeout: 272 seconds). 17:03:27 -!- adu has joined. 18:27:29 -!- TheLie has joined. 18:58:25 -!- tromp has quit (Ping timeout: 264 seconds). 19:06:23 -!- tromp has joined. 19:06:56 So now my macro goes #define CYCLE(x) Thing *y = x; if (0) 19:07:01 -!- S_Gautam has joined. 19:07:09 Is that too confusilating a macro? 19:10:41 -!- tromp_ has joined. 19:10:54 -!- tromp has quit (Ping timeout: 260 seconds). 19:21:56 -!- Sgeo has joined. 19:26:37 -!- adu has quit (Ping timeout: 264 seconds). 19:34:50 I had idea of a computer video card with a display program, which I may have mentioned some time ago, where the display program deals with programming the registers and calculating all of the offsets for vertical positioning (the video registers do not deal with vertical positioning at all). But one thing to consider is what exactly the set of video registers should be (although I have some ideas). 19:36:27 One thing I thought of is to have some sort of left/right split, with only one side supporting fine X scrolling and sprites, although making the timing for such a thing working properly might be difficult. 19:36:59 -!- adu has joined. 19:42:53 -!- tromp_ has quit (Ping timeout: 272 seconds). 19:56:46 -!- adu has quit (Ping timeout: 256 seconds). 20:01:15 -!- adu has joined. 20:01:28 -!- tromp has joined. 20:08:25 -!- adu has quit (Read error: Connection reset by peer). 20:08:51 -!- adu has joined. 20:18:50 [[Category:Quantum computing]] M https://esolangs.org/w/index.php?diff=73524&oldid=45374 * PythonshellDebugwindow * (+24) 20:20:19 [[Esolang:Categorization]] M https://esolangs.org/w/index.php?diff=73525&oldid=73250 * PythonshellDebugwindow * (+65) /* Quantumness */ if this belongs somewhere else on the page, move it 20:20:47 [[Semi-quantum]] M https://esolangs.org/w/index.php?diff=73526&oldid=59468 * PythonshellDebugwindow * (+29) 20:22:03 [[SoT]] M https://esolangs.org/w/index.php?diff=73527&oldid=71969 * PythonshellDebugwindow * (+6) 20:24:26 [[Jeeves]] M https://esolangs.org/w/index.php?diff=73528&oldid=73505 * PythonshellDebugwindow * (+17) /* Commands */ 20:26:38 [[Jeeves]] M https://esolangs.org/w/index.php?diff=73529&oldid=73528 * PythonshellDebugwindow * (+64) /* Interpreter and syntax */ cats 20:37:06 -!- LKoen_ has joined. 20:37:37 [[FrancePROG]] M https://esolangs.org/w/index.php?diff=73530&oldid=45107 * PythonshellDebugwindow * (+40) /* Hello world */ cats 20:47:54 -!- LKoen has quit (Ping timeout: 240 seconds). 20:50:33 [[Template:Cs]] N https://esolangs.org/w/index.php?oldid=73531 * PythonshellDebugwindow * (+56) Created page with " {{{1|}}}" 20:54:25 [[Template:Cs]] M https://esolangs.org/w/index.php?diff=73532&oldid=73531 * PythonshellDebugwindow * (-3) 20:57:28 [[Template:Cs]] M https://esolangs.org/w/index.php?diff=73533&oldid=73532 * PythonshellDebugwindow * (-53) Blanked the page 21:04:36 [[User:PythonshellDebugwindow/Manycats]] N https://esolangs.org/w/index.php?oldid=73534 * PythonshellDebugwindow * (+1635) Created page with "This page would have many categories as an esolang. It is a [[:Category:Nondeterministic|nondeterministic]] [[:Category:High-level|high-level]] :Category:Non-textual|non-tex..." 21:04:57 [[User:PythonshellDebugwindow/Manycats]] M https://esolangs.org/w/index.php?diff=73535&oldid=73534 * PythonshellDebugwindow * (+2) /* Instructions */ 21:18:22 [[Soviet Script]] N https://esolangs.org/w/index.php?oldid=73536 * Baidicoot * (+384) Created page with "Soviet Script is an implementation of a langusge on the joke language list where all functions are global and shared between users through a United Soviet Script Repository (U..." 21:18:56 [[Soviet Script]] https://esolangs.org/w/index.php?diff=73537&oldid=73536 * Baidicoot * (+0) 21:20:12 [[Soviet Script]] https://esolangs.org/w/index.php?diff=73538&oldid=73537 * Baidicoot * (-1) 21:29:17 -!- rain1 has quit (Quit: Lost terminal). 21:36:49 -!- zzo38 has quit (Ping timeout: 264 seconds). 21:41:52 -!- arseniiv_ has quit (Ping timeout: 256 seconds). 21:41:54 -!- LKoen has joined. 21:48:46 -!- zzo38 has joined. 21:49:21 I thought of this effect for a Magic: the Gathering card: Target a permanent you own. Shuffle all Auras attached to that permanent into their owner's libraries, and then redistribute the counters on that permanent among any number of other permanents of your choice, and then shuffle that permanent into your library. 21:51:38 zzo38: that last effect could be annoying if you often use this on a token target, because then you still have to shuffle your library. of course, shuffling your library is sometimes an advantage, but still. 21:52:50 zzo38: also something like this would probably have to cost blue and green 21:52:59 `card-by-name Temporal Spring 21:53:01 Temporal Spring \ 1GU \ Sorcery \ Put target permanent on top of its owner's library. \ AP-C 21:53:18 but I'm not convinced the complexity of that combination is worth it 21:53:24 it doesn't seem like it would pull its weight 21:55:39 -!- imode has joined. 21:56:02 OK. Still, it is different in some ways, and it could also be made an instant possibly. I don't know. 21:56:34 zzo38: it's definitely different, and more powerful, I was just trying to figure out what colors it would need to be 21:56:57 or perhaps less powerful because it only works on your own permanents? I dunno 21:57:06 well, on permanents you own 21:57:11 Probaly both; more in some ways and less in other ways. 21:59:54 This is another card I made up and is the most recently added card to by "zivstr.db" set: Rune Deletion {2(W/U)(W/U)} Enchantment - Aura ;; Enchant permanent ;; When ~ enters the battlefield, remove all counters from enchanted permanent. ;; Enchanted permanent loses all ability text. 22:01:50 what is "loses all ability text"? do you mean just a Humble ability, or do you want a text-replacement effect? 22:01:56 `card-by-name humble 22:01:56 Humble \ 1W \ Instant \ Until end of turn, target creature loses all abilities and has base power and toughness 0/1. \ US-U, EMA-C \ \ Humble Budoka \ 1G \ Creature -- Human Monk \ 2/2 \ Shroud (This creature can't be the target of spells or abilities.) \ CHK-C \ \ Humble Defector \ 1R \ Creature -- Human Rogue \ 2/1 \ {T}: Draw two cards. Target opponent gains control of Humble Defector. Activate this ability only during your turn. \ FRF-U, 22:04:02 It is a layer 3 (text replacement) effect, rather than a layer 6 effect like Humble, so it is a bit different. 22:04:14 . o O ( Tappen im Dunkeln - Magic-Spieler klagen über schlechte Beleuchtung. ) 22:05:17 int-e: What is that, is it German? 22:05:41 (For b_jonas I guess. I just read the first part as a headline right after reading parts of the discussion here. It really means stumbing around in the dark, so it's hard to translate.) 22:06:32 I added "Magic players complain about bad lighting." 22:07:16 O, OK. 22:27:38 [[DIVCON]] https://esolangs.org/w/index.php?diff=73539&oldid=73498 * A * (+191) 22:29:03 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)). 22:29:03 [[DIVCON]] https://esolangs.org/w/index.php?diff=73540&oldid=73539 * A * (+105) 22:33:02 -!- LKoen_ has quit (Remote host closed the connection). 22:34:34 [[DIVCON]] https://esolangs.org/w/index.php?diff=73541&oldid=73540 * A * (+495) 22:35:27 [[DIVCON]] https://esolangs.org/w/index.php?diff=73542&oldid=73541 * A * (+115) 22:36:34 [[DIVCON]] https://esolangs.org/w/index.php?diff=73543&oldid=73542 * A * (+128) 22:38:04 [[DIVCON]] https://esolangs.org/w/index.php?diff=73544&oldid=73543 * A * (+153) 22:38:47 [[DIVCON]] https://esolangs.org/w/index.php?diff=73545&oldid=73544 * A * (+75) 22:39:33 [[DIVCON]] https://esolangs.org/w/index.php?diff=73546&oldid=73545 * A * (+86) 22:40:16 -!- adu has quit (Quit: adu). 22:40:50 -!- adu has joined. 22:41:04 -!- adu has quit (Client Quit). 22:42:58 [[DIVCON]] https://esolangs.org/w/index.php?diff=73547&oldid=73546 * A * (+55) 22:44:14 [[DIVCON]] https://esolangs.org/w/index.php?diff=73548&oldid=73547 * A * (+61) 22:57:03 -!- adu has joined. 23:04:15 -!- MDude has joined. 23:14:28 -!- Lord_of_Life_ has joined. 23:16:45 -!- Lord_of_Life has quit (Ping timeout: 265 seconds). 23:17:21 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 23:21:39 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 23:25:58 [[Special:Log/newusers]] create * NotVeryGoodAtThis * New user account 23:33:34 [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=73549&oldid=73450 * NotVeryGoodAtThis * (+329) added my intro 23:33:44 -!- tromp has quit (Read error: Connection reset by peer). 23:34:00 -!- tromp has joined. 23:37:12 [[User:NotVeryGoodAtThis]] N https://esolangs.org/w/index.php?oldid=73550 * NotVeryGoodAtThis * (+6) Created page with "Oh hey" 23:38:29 -!- tromp has quit (Ping timeout: 272 seconds). 23:38:48 [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=73551&oldid=73549 * NotVeryGoodAtThis * (+18) added wiki links to my intro 23:40:50 [[Soviet Script]] M https://esolangs.org/w/index.php?diff=73552&oldid=73538 * PythonshellDebugwindow * (+59) Cats 23:44:45 [[User:PythonshellDebugwindow/Manycats]] M https://esolangs.org/w/index.php?diff=73553&oldid=73535 * PythonshellDebugwindow * (+72) 23:50:43 -!- tromp has joined. 23:55:36 -!- tromp has quit (Ping timeout: 256 seconds).