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 <shachaf> 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 <shachaf> Oh man, apparently int-e is famous for counting Sudoku puzzles.
07:22:33 <shachaf> I mean, counting solutions. I guess they aren't really puzzles at that point.
07:24:14 <rain1> how many did he count
07:28:27 <Arcorann> http://pi.math.cornell.edu/~mec/Summer2009/Mahmood/Count.html <-- is it this?
07:31:37 <rain1> 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 <b_jonas> 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 <b_jonas> 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 <b_jonas> fungot, which of sunrise and sundown do the words "dawn", "dusk", "twilight" refer to?
11:09:52 <fungot> 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: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 <fizzie> . o O (And why don't people usually specify whether they mean the civil, nautical, or astronomical twilight?)
11:28:59 <Arcorann> Probably it's because the difference isn't that well known
11:31:05 <fizzie> `` wn twilight -over | grep gloam # huh, those last two I hadn't heard of
11:31:06 <HackEso> 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 <fizzie> They sound more like a particularly unappealing particle physics terms.
11:33:04 <fizzie> Heh, you get the dusk timing infobox out of Google when searching for "crepuscule".
11:43:40 <b_jonas> crapuscule? yeah, it does sound like that
11:47:16 <Arcorann> https://en.wikipedia.org/wiki/Corpuscle <-- this might be what you're thinking of
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 <esowiki> [[Writeover]] M https://esolangs.org/w/index.php?diff=73689&oldid=73683 * PythonshellDebugwindow * (+289) /* Backquote */
12:28:20 <esowiki> [[Philosophy Script]] M https://esolangs.org/w/index.php?diff=73690&oldid=37036 * PythonshellDebugwindow * (+102) cats
12:28:29 <esowiki> [[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 <esowiki> [[Shoelips]] M https://esolangs.org/w/index.php?diff=73692&oldid=43392 * PythonshellDebugwindow * (+92) /* External Resources */ cats
12:31:07 <esowiki> [[Writeover]] M https://esolangs.org/w/index.php?diff=73693&oldid=73689 * PythonshellDebugwindow * (+106) /* Syntax */
12:43:20 -!- erdic has joined.
12:47:07 <esowiki> [[User:PythonshellDebugwindow/Manycats]] M https://esolangs.org/w/index.php?diff=73694&oldid=73678 * PythonshellDebugwindow * (+809)
12:51:05 <esowiki> [[BF+BF]] M https://esolangs.org/w/index.php?diff=73695&oldid=47141 * PythonshellDebugwindow * (+143) cats
12:52:25 <int-e> 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 <esowiki> [[Text]] M https://esolangs.org/w/index.php?diff=73696&oldid=72153 * PythonshellDebugwindow * (+175) /* Development environments */ cats
12:55:01 <esowiki> [[Text]] M https://esolangs.org/w/index.php?diff=73697&oldid=73696 * PythonshellDebugwindow * (+0) /* See also */
12:55:41 <esowiki> [[Quine (programming language)]] M https://esolangs.org/w/index.php?diff=73698&oldid=72627 * PythonshellDebugwindow * (+177) cats + see also
12:58:15 <esowiki> [[Quine (programming language)]] M https://esolangs.org/w/index.php?diff=73699&oldid=73698 * PythonshellDebugwindow * (+19) /* See also */ forgot a cat
12:58:30 <esowiki> [[Quine (programming language)]] M https://esolangs.org/w/index.php?diff=73700&oldid=73699 * PythonshellDebugwindow * (+38) /* See also */ forgot a cat
12:58:53 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Special:Log/upload]] upload * PythonshellDebugwindow * uploaded "[[File:Varigen Hello World.png]]"
13:32:44 -!- tromp_ has joined.
13:34:11 <esowiki> [[Special:Log/upload]] upload * PythonshellDebugwindow * uploaded "[[File:Varigen Truth-machine.png]]"
13:34:45 <esowiki> [[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 <esowiki> [[Varigen]] M https://esolangs.org/w/index.php?diff=73706&oldid=73705 * PythonshellDebugwindow * (-27) /* Examples */
13:36:47 <esowiki> [[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 <esowiki> [[Varigen]] M https://esolangs.org/w/index.php?diff=73708&oldid=73707 * PythonshellDebugwindow * (+6) /* Program format */
13:38:12 <esowiki> [[Varigen]] M https://esolangs.org/w/index.php?diff=73709&oldid=73708 * PythonshellDebugwindow * (+31) /* Input */
13:39:30 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=73710&oldid=73680 * PythonshellDebugwindow * (+14) /* V */ + [[Varigen]]
13:40:27 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[User:PythonshellDebugwindow/UnusedLangLetters]] M https://esolangs.org/w/index.php?diff=73716&oldid=73391 * PythonshellDebugwindow * (-1)
16:02:38 <esowiki> [[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 <esowiki> [[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 <code>101</code> and <code>011</code>. ==Attempt 1== 101 011 How?!..."
17:38:05 -!- Phantom_Hoover has joined.
17:59:20 <myname> 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:18:56 <arseniiv> 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 <arseniiv> though maybe he means by “encoding” something different and unbijective… fat chance but still
18:20:07 -!- user24 has joined.
18:20:53 <myname> somebody maybe should tell him
18:21:52 -!- adu has joined.
18:24:32 <b_jonas> oh yes! finally a way to compress any file! and with a simple lookup table too
18:25:03 <myname> to be fair, i thought about something similar as a child, too
18:26:05 <esowiki> [[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:27:19 <arseniiv> in childhood, I drew perpetuum mobile electrical schemes and didn’t even see they were such
18:27:42 <arseniiv> thankfully I didn’t try to devise any classical perpetuum mobiles though
18:27:58 <myname> by electical schemes, you mean like a circuit or like an incredible machine?
18:29:12 <myname> like, you usually don't draw high and ground, do you? and flipflops are perfectly fine
18:29:41 <int-e> lossy compression :)
18:29:48 <arseniiv> 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 <b_jonas> ArthurStrong: wait, in what sense were your perpetuum mobile electrical schemes not classical perpetuum mobiles?
18:30:28 <arseniiv> also i drew all the batteries as I didn’t quite understand anything other
18:30:49 <arseniiv> those were silly and enlightened times :D
18:31:02 <b_jonas> ArthurStrong: misping sorry
18:31:42 <arseniiv> 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 <arseniiv> and it had a positive effect nonetheless
18:32:19 <b_jonas> well that's normal while you're young
18:32:32 <b_jonas> especially since pop science books intended for children often suck
18:33:12 <arseniiv> 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 <b_jonas> 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:18 <b_jonas> 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 <arseniiv> 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 <arseniiv> <b_jonas> 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 <arseniiv> 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 <b_jonas> arseniiv: I'm not sure if most perpetuum mobiles were invented by people who wanted to gain free energy, but maybe
18:45:21 <b_jonas> 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:52 <b_jonas> 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 <arseniiv> 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 <b_jonas> 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 <arseniiv> yeah, this is a constructive path
18:49:16 <arseniiv> or one can investigate one of the earlier ones too
18:51:11 <b_jonas> you can find them in physics textbooks as examples or exercises
18:54:58 -!- maadneet has quit (Ping timeout: 256 seconds).
18:55:09 <arseniiv> 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 <arseniiv> 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 <esowiki> [[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 <esowiki> [[Punctree]] M https://esolangs.org/w/index.php?diff=73721&oldid=67749 * PythonshellDebugwindow * (+66) /* Related links */ cats
20:50:03 <esowiki> [[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 <esowiki> [[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 <esowiki> [[-]] 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.