00:15:29 -!- arseniiv_ has quit (Ping timeout: 256 seconds). 00:21:06 -!- Melvar has quit (Quit: WeeChat 2.8). 00:29:41 -!- Melvar has joined. 00:50:01 -!- Arcorann has joined. 01:09:46 -!- imode has joined. 01:46:25 -!- sprocklem has quit (Ping timeout: 264 seconds). 01:51:41 -!- sprocklem has joined. 02:00:05 -!- Phantom_Hoover has joined. 02:35:29 -!- ProofTechnique has quit (Read error: Connection reset by peer). 03:05:01 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 03:22:55 -!- ProofTechnique has joined. 03:53:24 -!- ProofTechnique has quit (Ping timeout: 256 seconds). 03:59:01 -!- ProofTechnique has joined. 04:10:35 -!- ProofTechnique has quit (Ping timeout: 272 seconds). 04:10:45 -!- moony has changed nick to moledemort. 04:14:16 -!- ProofTechnique has joined. 05:14:46 -!- sprocklem has quit (Ping timeout: 246 seconds). 05:15:50 -!- sprocklem has joined. 05:20:40 -!- sprocklem has quit (Ping timeout: 256 seconds). 05:21:16 -!- sprocklem has joined. 05:38:07 -!- adu has quit (Quit: adu). 06:12:27 -!- rain1 has joined. 06:18:19 I realized why I'm always confused about "reduction to/from": I'm always wondering whether it means "turn an A oracle into a B oracle" or "turn an A problem into a B problem". 06:34:42 -!- nfd9001 has joined. 06:35:41 -!- xelxebar has quit (Remote host closed the connection). 06:36:30 -!- xelxebar has joined. 06:58:27 -!- FreeFull has quit. 07:16:47 -!- imode has quit (Ping timeout: 272 seconds). 07:22:23 Oh man, apparently int-e is famous for counting Sudoku puzzles. 07:22:33 I mean, counting solutions. I guess they aren't really puzzles at that point. 07:24:14 how many did he count 07:26:17 All of them, I think. 07:28:27 http://pi.math.cornell.edu/~mec/Summer2009/Mahmood/Count.html <-- is it this? 07:31:37 I like this http://sudopedia.enjoysudoku.com/Canonical_grid.html 09:05:03 -!- xelxebar has quit (Ping timeout: 240 seconds). 09:05:43 -!- Sgeo has quit (Read error: Connection reset by peer). 09:05:52 -!- xelxebar has joined. 09:18:56 -!- tromp has quit (Read error: Connection reset by peer). 09:19:32 -!- tromp has joined. 10:21:16 zzo38: if you want an actual librarian wall, try https://scryfall.com/card/cns/101/minamo-scrollkeeper . that's the one that makes me think that not only Ravnica is the same plane as Trantor, but somehow Kamigawa is too 10:22:45 because come on, a library that continues to function while the whole rest of the planet is in a war, that is obviously Trantor 10:38:22 -!- ArthurStrong has joined. 10:59:53 -!- rain1 has quit (Quit: Lost terminal). 11:09:52 fungot, which of sunrise and sundown do the words "dawn", "dusk", "twilight" refer to? 11:09:52 b_jonas: that's intermediate values in cps isn't it? and what if the second program ever written.) which was the last time, it seems 11:12:28 Context? 11:16:54 -!- Lord_of_Life_ has joined. 11:19:36 -!- Lord_of_Life has quit (Ping timeout: 256 seconds). 11:19:46 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 11:25:06 . o O (And why don't people usually specify whether they mean the civil, nautical, or astronomical twilight?) 11:28:59 Probably it's because the difference isn't that well known 11:31:05 `` wn twilight -over | grep gloam # huh, those last two I hadn't heard of 11:31:06 1. (1) twilight, dusk, gloaming, gloam, nightfall, evenfall, fall, crepuscule, crepuscle -- (the time of day immediately following sunset; "he loved the twilight"; "they finished before the fall of night") 11:31:37 They sound more like a particularly unappealing particle physics terms. 11:33:04 Heh, you get the dusk timing infobox out of Google when searching for "crepuscule". 11:43:40 crapuscule? yeah, it does sound like that 11:47:16 https://en.wikipedia.org/wiki/Corpuscle <-- this might be what you're thinking of 11:47:39 Probably. 11:57:26 -!- arseniiv_ has joined. 12:01:27 -!- arseniiv has joined. 12:02:52 -!- arseniiv_ has quit (Ping timeout: 246 seconds). 12:04:41 -!- FreeFull has joined. 12:22:15 [[Writeover]] M https://esolangs.org/w/index.php?diff=73689&oldid=73683 * PythonshellDebugwindow * (+289) /* Backquote */ 12:28:20 [[Philosophy Script]] M https://esolangs.org/w/index.php?diff=73690&oldid=37036 * PythonshellDebugwindow * (+102) cats 12:28:29 [[Philosophy Script]] M https://esolangs.org/w/index.php?diff=73691&oldid=73690 * PythonshellDebugwindow * (+0) 12:28:37 -!- Frater_EST has joined. 12:30:21 [[Shoelips]] M https://esolangs.org/w/index.php?diff=73692&oldid=43392 * PythonshellDebugwindow * (+92) /* External Resources */ cats 12:31:07 [[Writeover]] M https://esolangs.org/w/index.php?diff=73693&oldid=73689 * PythonshellDebugwindow * (+106) /* Syntax */ 12:43:20 -!- erdic has joined. 12:47:07 [[User:PythonshellDebugwindow/Manycats]] M https://esolangs.org/w/index.php?diff=73694&oldid=73678 * PythonshellDebugwindow * (+809) 12:51:05 [[BF+BF]] M https://esolangs.org/w/index.php?diff=73695&oldid=47141 * PythonshellDebugwindow * (+143) cats 12:52:25 shachaf: the best part of that story is that way later it turned out that the number had already been posted a couple of years earlier (without giving a method) in some usenet post. 12:54:54 [[Text]] M https://esolangs.org/w/index.php?diff=73696&oldid=72153 * PythonshellDebugwindow * (+175) /* Development environments */ cats 12:55:01 [[Text]] M https://esolangs.org/w/index.php?diff=73697&oldid=73696 * PythonshellDebugwindow * (+0) /* See also */ 12:55:41 [[Quine (programming language)]] M https://esolangs.org/w/index.php?diff=73698&oldid=72627 * PythonshellDebugwindow * (+177) cats + see also 12:58:15 [[Quine (programming language)]] M https://esolangs.org/w/index.php?diff=73699&oldid=73698 * PythonshellDebugwindow * (+19) /* See also */ forgot a cat 12:58:30 [[Quine (programming language)]] M https://esolangs.org/w/index.php?diff=73700&oldid=73699 * PythonshellDebugwindow * (+38) /* See also */ forgot a cat 12:58:53 [[Text]] M https://esolangs.org/w/index.php?diff=73701&oldid=73697 * PythonshellDebugwindow * (+57) /* See Also */ cats 13:10:11 -!- tromp has quit (Ping timeout: 272 seconds). 13:23:05 -!- tromp has joined. 13:25:57 [[User:PythonshellDebugwindow/Manycats]] M https://esolangs.org/w/index.php?diff=73702&oldid=73694 * PythonshellDebugwindow * (-4388) delete this page 13:27:13 -!- arseniiv has quit (Ping timeout: 264 seconds). 13:27:55 -!- tromp has quit (Ping timeout: 272 seconds). 13:29:34 [[Special:Log/upload]] upload * PythonshellDebugwindow * uploaded "[[File:Varigen Hello World.png]]" 13:32:44 -!- tromp_ has joined. 13:34:11 [[Special:Log/upload]] upload * PythonshellDebugwindow * uploaded "[[File:Varigen Truth-machine.png]]" 13:34:45 [[Varigen]] N https://esolangs.org/w/index.php?oldid=73705 * PythonshellDebugwindow * (+4626) Created page with "'''Varigen''' is an esolang by [[User:PythonshellDebugwindow]]. It is an [[:Category:Uncomputable|uncomputable]] [[:Category:Output only|output-only]] :Category:High-level|h..." 13:35:57 -!- tromp has joined. 13:36:36 [[Varigen]] M https://esolangs.org/w/index.php?diff=73706&oldid=73705 * PythonshellDebugwindow * (-27) /* Examples */ 13:36:47 [[Varigen]] M https://esolangs.org/w/index.php?diff=73707&oldid=73706 * PythonshellDebugwindow * (-14) /* Truth-machine using the optional .stdin file */ 13:37:25 -!- tromp_ has quit (Ping timeout: 272 seconds). 13:37:33 [[Varigen]] M https://esolangs.org/w/index.php?diff=73708&oldid=73707 * PythonshellDebugwindow * (+6) /* Program format */ 13:38:12 [[Varigen]] M https://esolangs.org/w/index.php?diff=73709&oldid=73708 * PythonshellDebugwindow * (+31) /* Input */ 13:39:30 [[Language list]] M https://esolangs.org/w/index.php?diff=73710&oldid=73680 * PythonshellDebugwindow * (+14) /* V */ + [[Varigen]] 13:40:27 [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=73711&oldid=73681 * PythonshellDebugwindow * (+212) /* Languages */ 13:48:26 -!- Phantom_Hoover has joined. 13:48:46 -!- FraterEST has joined. 13:48:46 -!- Frater_EST has quit (Read error: Connection reset by peer). 14:01:09 -!- FraterEST has quit (Read error: Connection reset by peer). 14:03:03 -!- Frater_EST has joined. 14:09:34 -!- Frater_EST has quit (Read error: Connection reset by peer). 14:10:02 -!- arseniiv has joined. 14:10:53 -!- Frater_EST has joined. 14:19:26 -!- Frater_EST has quit (Read error: Connection reset by peer). 14:30:45 -!- rain1 has joined. 14:48:30 -!- tromp_ has joined. 14:49:05 -!- spruit11 has quit (Read error: Connection reset by peer). 14:51:31 -!- tromp has quit (Ping timeout: 272 seconds). 15:07:40 -!- nfd9001 has quit (Ping timeout: 246 seconds). 15:09:28 -!- ArthurStrong has quit (Read error: Connection reset by peer). 15:10:38 -!- ArthurStrong has joined. 15:12:12 [[Madeye]] M https://esolangs.org/w/index.php?diff=73712&oldid=50792 * PythonshellDebugwindow * (-48) rm sig + cat + rm empty section 15:13:34 -!- FreeFull has quit (Ping timeout: 240 seconds). 15:14:25 [[Ax]] M https://esolangs.org/w/index.php?diff=73713&oldid=40990 * PythonshellDebugwindow * (+60) cats 15:15:44 -!- FreeFull has joined. 15:19:52 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 15:28:46 [[User:PythonshellDebugwindow/Yggdrasil]] N https://esolangs.org/w/index.php?oldid=73714 * PythonshellDebugwindow * (+885) Created page with "{{WIP}} '''Yggdrasil''' is a tree-based esolang by [[User:PythonshellDebugwindow]]. ==[[Hello World]]== execution: tree-head H tree-add tree-head 0 tree-set (tree-g..." 15:38:33 [[User:PythonshellDebugwindow/Yggdrasil]] M https://esolangs.org/w/index.php?diff=73715&oldid=73714 * PythonshellDebugwindow * (-133) /* Hello World */ 15:39:08 -!- imode has joined. 15:52:32 -!- imode has quit (Ping timeout: 260 seconds). 15:56:11 [[User:PythonshellDebugwindow/UnusedLangLetters]] M https://esolangs.org/w/index.php?diff=73716&oldid=73391 * PythonshellDebugwindow * (-1) 16:02:38 [[User:PythonshellDebugwindow/Yggdrasil]] M https://esolangs.org/w/index.php?diff=73717&oldid=73715 * PythonshellDebugwindow * (+136) 16:08:17 -!- Arcorann has quit (Read error: Connection reset by peer). 16:11:08 -!- xelxebar has quit (Remote host closed the connection). 16:11:32 -!- xelxebar has joined. 16:14:56 -!- imode has joined. 16:19:42 -!- imode has quit (Ping timeout: 256 seconds). 16:21:55 -!- spruit11 has joined. 16:29:11 -!- Sgeo has joined. 16:41:29 -!- imode has joined. 16:53:47 -!- imode has quit (Ping timeout: 260 seconds). 17:25:03 -!- imode has joined. 17:37:44 [[User:PythonshellDebugwindow/Encoding Two 3-bit Numbers in a 4-bit Number]] N https://esolangs.org/w/index.php?oldid=73718 * PythonshellDebugwindow * (+197) Created page with "This page is an attempt to encode two 3-bit numbers in a 4-bit number. ==Our 3-bit numbers== Let's use 101 and 011. ==Attempt 1== 101 011 How?!..." 17:38:05 -!- Phantom_Hoover has joined. 17:56:11 That's a weird page. 17:59:20 he obviously doesn't know about entropy 18:03:42 -!- maadneet has joined. 18:12:49 -!- maadneet has quit (Remote host closed the connection). 18:14:16 -!- maadneet has joined. 18:17:27 huh 18:18:56 BTW that’s weirder as one doesn’t need to know about entropy — we at least need to conserve the count of possibilities when we don’t know probabilities. We can presuppose them equal but that’s even not needed here. Though it would be useful later of course 18:20:01 though maybe he means by “encoding” something different and unbijective… fat chance but still 18:20:07 -!- user24 has joined. 18:20:53 somebody maybe should tell him 18:21:52 -!- adu has joined. 18:24:32 oh yes! finally a way to compress any file! and with a simple lookup table too 18:25:03 to be fair, i thought about something similar as a child, too 18:26:05 [[User talk:PythonshellDebugwindow/Encoding Two 3-bit Numbers in a 4-bit Number]] N https://esolangs.org/w/index.php?oldid=73719 * Arseniiv * (+368) /* If one wants an invertible encoding, nohow */ new section 18:26:17 myname: done 18:27:19 in childhood, I drew perpetuum mobile electrical schemes and didn’t even see they were such 18:27:42 thankfully I didn’t try to devise any classical perpetuum mobiles though 18:27:58 by electical schemes, you mean like a circuit or like an incredible machine? 18:28:09 curcuits, yeah, my bad 18:28:14 circuits* 18:28:26 how do you do that 18:29:12 like, you usually don't draw high and ground, do you? and flipflops are perfectly fine 18:29:41 lossy compression :) 18:29:48 don’t remember in particular but I think there was one where a lamp lights a solar panel and thus recieves the power 18:30:27 ArthurStrong: wait, in what sense were your perpetuum mobile electrical schemes not classical perpetuum mobiles? 18:30:28 also i drew all the batteries as I didn’t quite understand anything other 18:30:29 ah 18:30:49 those were silly and enlightened times :D 18:30:55 ARGH 18:31:02 ArthurStrong: misping sorry 18:31:05 arseniiv: ^ 18:31:42 I read many books but didn’t grasp the formulae in them, at least not any advanced ones, so I read them almost as a kind of fiction 18:31:53 and it had a positive effect nonetheless 18:32:19 well that's normal while you're young 18:32:32 especially since pop science books intended for children often suck 18:33:12 b_jonas: (lol about mispinging me again; this becomes a good tradition) I mean, these weren’t for the sake of free energy, nor they were designed in ways the classical examples are, like mechanical or some such 18:33:16 I had one that tried to explain tides but definitely messed it up, claiming that there are two tiles a day because a larger one is caused by the sun and a smaller one by the moon 18:34:17 x) 18:34:18 a classical one has to be mechanical? I didn't think so. I thought that was more because by the time electrical circuits were common and created by the public, the nonexistence of perpetuum mobiles was also widely known 18:38:31 also I had quite patchy a library. For some reason I hadn’t a thought to request a book in a library or something like that. And for example I had a mathematics handbook covering the whole school maths but it had some strange topics I haven’t seen in my real school afterwards; and aside that, I hadn’t any sufficiently large mathematics books AFAIR 18:40:19 I had one that tried to explain tides but definitely messed it up, claiming that there are two tiles a day because a larger one is caused by the sun and a smaller one by the moon => hm I think I might have seen that one somewhere too, but I don’t think it had my attention at all—I haven’t become disillusioned when I read something more useful about tides 18:41:57 b_jonas: yeah I think that’s the reason, but I mean I didn’t even considered an idea of gaining a free energy, but I intended it would be conserved in those circuits if one makes them good enough. This is a grave mistake too! :D 18:44:46 arseniiv: I'm not sure if most perpetuum mobiles were invented by people who wanted to gain free energy, but maybe 18:45:21 I think some just wanted to prove that it's possible and they can invented, proving that they're better than others, once most people considered it impossible 18:45:41 agree 18:45:52 even before most people considered it impossible, it was clear that it's not an easy thing to create, so that would still work 18:46:17 even now some do it in this manner: “maybe your theories are all rubbish and I haven’t considered what it would entail at all” 18:46:57 -!- imode has quit (Ping timeout: 260 seconds). 18:48:36 arseniiv: and others think that a perpetuum mobile is impossible, but invent one that seemigly works, so want to understand the physics of why it fails, or else teach why it fails to others 18:48:54 yeah, this is a constructive path 18:49:16 or one can investigate one of the earlier ones too 18:49:23 yeah 18:51:11 you can find them in physics textbooks as examples or exercises 18:54:58 -!- maadneet has quit (Ping timeout: 256 seconds). 18:55:09 exactly! One of the books I read those early times was one with interesting problems on physics, astronomy and some other topics which I understood poorly at that time—but again that book was well-written and was readable as fiction. There was a problem on why a p. m. designed by the book’s author doesn’t work. (The book read nicely because for each problem it has its statement in one section, then a slight spoiler in the next sect 18:55:09 ion and then a complete answer with many tangential musings afterwards. So I read it all in one go as I hadn’t known how to solve almost any of them but the answers were an interesting read 19:18:55 -!- imode has joined. 19:23:34 [[Semper dissolubilis]] M https://esolangs.org/w/index.php?diff=73720&oldid=73684 * Hakerh400 * (-8) /* I/O format */ Fix input expression 19:27:49 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 19:36:47 -!- Phantom_Hoover has joined. 20:47:08 [[Punctree]] M https://esolangs.org/w/index.php?diff=73721&oldid=67749 * PythonshellDebugwindow * (+66) /* Related links */ cats 20:50:03 [[User:PythonshellDebugwindow/Yggdrasil]] M https://esolangs.org/w/index.php?diff=73722&oldid=73717 * PythonshellDebugwindow * (+154) /* Syntax */ 20:50:11 -!- user24 has quit (Quit: Leaving). 20:56:48 -!- imode has quit (Ping timeout: 256 seconds). 20:59:11 -!- rain1 has quit (Quit: leaving). 21:17:33 -!- imode has joined. 21:19:10 -!- TheLie has joined. 21:21:48 -!- gurmble has joined. 21:21:49 -!- grumble has quit (Killed (tepper.freenode.net (Nickname regained by services))). 21:21:49 -!- gurmble has changed nick to grumble. 21:25:02 [[Realm]] M https://esolangs.org/w/index.php?diff=73723&oldid=67355 * PythonshellDebugwindow * (+3) 21:25:25 -!- arseniiv has quit (Ping timeout: 264 seconds). 21:28:26 [[-]] M https://esolangs.org/w/index.php?diff=73724&oldid=72324 * PythonshellDebugwindow * (+26) larify /* Commands */ 21:45:17 -!- S_Gautam has joined. 22:54:44 -!- sebbu has quit (Quit: reboot). 22:59:34 -!- TheLie has quit (Remote host closed the connection). 23:08:16 -!- imode has quit (Ping timeout: 256 seconds). 23:17:07 -!- Lord_of_Life_ has joined. 23:19:34 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 23:19:56 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 23:32:01 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 23:39:33 -!- Phantom_Hoover has joined. 23:49:39 -!- tromp_ has quit (Ping timeout: 265 seconds). 23:50:46 -!- sebbu has joined.