00:05:02 -!- Laclale has joined.
00:06:55 <Laclale> Hello, I found unlisted EsoLang from MIT Mystery Hunt!
00:07:36 <Laclale> http://web.mit.edu/puzzle/www/2014/puzzle-solution/callooh_callay_world/
00:08:54 -!- ubq323 has quit (Quit: WeeChat 2.3).
00:32:56 -!- Laclale has quit (Quit: I'm Japanese and used Android.).
00:42:37 <esowiki> [[Blub]] M https://esolangs.org/w/index.php?diff=80060&oldid=80056 * PythonshellDebugwindow * (+132) /* External resources */ cats
00:45:39 <esowiki> [[User:Zero player rodent]] N https://esolangs.org/w/index.php?oldid=80061 * Zero player rodent * (+163) Created page with "Hello, I am '''Zero player rodent'''. I like esoteric programming languages. [https://siddikinz-zone.neocities.org/programming.html Here are some of my programs.]"
00:51:56 -!- arseniiv_ has quit (Ping timeout: 256 seconds).
01:22:58 <b_jonas> Laclale: great. edit information about it to the wiki.
01:41:28 <noomy> working with my Parallax Propeller 2 is so far proving fun. but the unofficial LLVM port someone made is in a... questionable state
02:18:46 -!- HackEso has quit (Remote host closed the connection).
02:18:49 -!- ArthurStrong has quit (Ping timeout: 264 seconds).
02:18:53 -!- HackEso has joined.
02:18:57 -!- Bowserinator has quit (Remote host closed the connection).
02:19:02 -!- lifthrasiir has quit (Read error: Connection reset by peer).
02:20:20 -!- lifthrasiir has joined.
02:20:36 -!- ArthurStrong has joined.
02:23:37 -!- sprock has quit (Ping timeout: 264 seconds).
02:24:13 -!- Bowserinator has joined.
02:36:13 -!- sprock has joined.
02:41:01 -!- sprock has quit (Ping timeout: 264 seconds).
02:41:17 -!- sprock has joined.
03:22:13 -!- Arcorann_ has joined.
03:22:20 -!- Deewiant has quit (Ping timeout: 256 seconds).
03:22:41 -!- Deewiant has joined.
03:22:54 -!- Arcorann has quit (Ping timeout: 256 seconds).
04:00:29 -!- copumpkin has joined.
04:10:36 <zzo38> I should add the possibility that a picture can be defined as a copy of another picture, but optionally rotated/flipped and optionally replacing some colours with others. However, mainly my difficulty is, what is it called?
04:37:18 -!- spruit11 has quit (Quit: Lost terminal).
04:39:18 -!- spruit11 has joined.
04:42:17 <esowiki> [[Special:Log/newusers]] create * Pen Island * New user account
04:56:10 -!- ArthurStrong has quit (Quit: leaving).
05:20:25 <int-e> Is there an optimized shell tool doing sort -n | tail -n <NNN>?
05:20:49 <int-e> (without sorting the whole input. just curious, I have no urgent need for this.)
05:21:36 <zzo38> I don't know of any.
05:36:01 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
06:01:15 -!- spruit11 has quit (Quit: Lost terminal).
06:02:33 -!- spruit11 has joined.
08:33:00 -!- sprock has quit (Ping timeout: 272 seconds).
09:57:49 -!- noomy has quit (Remote host closed the connection).
09:57:49 -!- iovoid has quit (Quit: iovoid has quit!).
10:00:10 -!- moony has joined.
10:00:14 -!- iovoid has joined.
10:29:34 -!- Sgeo has quit (Read error: Connection reset by peer).
10:40:13 -!- rain1 has joined.
11:13:08 -!- lambdabot has quit (Quit: hmm).
11:15:32 -!- lambdabot has joined.
11:27:09 -!- TheLie has joined.
11:37:02 -!- ubq323 has joined.
12:26:29 <nakilon> how do you imagine getting the tail without sorting the whole input?
12:29:08 <nakilon> ah, you probably mean to get the Nth maximal value first somehow
12:36:56 <fizzie> It's called partial sorting, and you can definitely do it in O(n + k log k), which can easily be an improvement in practice over O(n log n) for small enough k.
12:38:31 <fizzie> Or something along those lines, anyway, exact complexity left as an exercise for the reader, the point was just that only requiring the first k items does make sorting less expensive.
12:41:20 <int-e> fizzie: Sure, but the question was whether there's a tool that does it.
12:41:38 -!- LKoen has joined.
12:41:59 <fizzie> Yeah, I don't know of one. It does come up with a lot, I guess it's just that usually in a context where it's not infeasible to do the full sort.
12:42:57 <int-e> And I was looking for O(n log k) but O(k) memory. (Or can you do O(n + k log k) in that case as well? I should figure that out.)
12:43:26 <int-e> And yeah, my file was certainly small enough to sort completely.
12:43:51 -!- V has quit (Quit: No Ping reply in 180 seconds.).
12:45:19 -!- V has joined.
12:45:25 <int-e> (O(k) memory in a streaming scenario, as part of a pipe)
12:56:29 -!- TheLie has quit (*.net *.split).
12:56:30 -!- Bowserinator has quit (*.net *.split).
12:56:30 -!- Lord_of_Life has quit (*.net *.split).
12:56:30 -!- wesleyac has quit (*.net *.split).
12:56:31 -!- ornxka has quit (*.net *.split).
12:59:01 -!- zzo38 has quit (Ping timeout: 246 seconds).
12:59:10 -!- arseniiv_ has joined.
12:59:10 -!- TheLie has joined.
12:59:10 -!- Bowserinator has joined.
12:59:10 -!- Lord_of_Life has joined.
12:59:10 -!- wesleyac has joined.
12:59:10 -!- ornxka has joined.
12:59:59 -!- privateger has joined.
13:02:25 -!- none30 has quit (Ping timeout: 240 seconds).
13:05:11 -!- Discordian[m] has quit (Ping timeout: 258 seconds).
13:06:44 -!- wmww has quit (Ping timeout: 240 seconds).
13:06:44 -!- acedic[m] has quit (Ping timeout: 240 seconds).
13:07:04 -!- arseniiv_ has quit (Quit: gone too far).
13:13:32 <fizzie> Right, it's definitely not obvious whether you can do O(n + k log k) time with O(k) memory in a streaming setup. I was thinking of the partial quicksort there, if it wasn't guessable, but that would presumably involve O(n) memory. The k-sized heap's O(n log k) with O(k) memory, I guess.
13:15:25 <fizzie> I feel like I do `... | sort | uniq -c | sort -nr | head -n 10` a lot too.
13:16:15 <int-e> You can also sort chunks of length k and merge and discard the bottom half... which might beat the heap if you already have super-optimized sorting routine.
13:17:03 <int-e> yeah I do that sort (hah) of stuff a lot as well
13:18:03 -!- none30 has joined.
13:18:27 <int-e> Though if you involve sort | uniq -c it's unclear how much you gain by reducing memory usage of the rest of the pipe. It couldn't hurt, of course.
13:25:00 -!- arseniiv has joined.
13:25:27 -!- privateger has quit (Ping timeout: 260 seconds).
13:29:01 -!- arseniiv has quit (Client Quit).
13:29:22 -!- arseniiv has joined.
13:34:12 -!- none30 has quit (Ping timeout: 244 seconds).
13:39:56 -!- TheLie has quit (Remote host closed the connection).
13:54:10 -!- Discordian[m] has joined.
13:57:53 <esowiki> [[Ases]] M https://esolangs.org/w/index.php?diff=80062&oldid=68910 * PythonshellDebugwindow * (+84) Cats, comp. class
13:59:19 -!- wmww has joined.
13:59:29 -!- acedic[m] has joined.
14:04:28 -!- none30 has joined.
14:13:16 -!- Arcorann_ has quit (Ping timeout: 256 seconds).
14:16:33 <rain1> I feel like I never heard of partial sorting before! that's interesting
14:19:52 -!- spruit11 has quit (Ping timeout: 246 seconds).
14:21:40 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
14:33:58 -!- kritixilithos has joined.
14:34:25 -!- ubq323 has quit (Ping timeout: 264 seconds).
14:48:46 -!- mmmattyx has joined.
14:57:56 -!- MDude has joined.
15:09:25 -!- arseniiv has quit (Ping timeout: 240 seconds).
15:15:28 -!- ubq323 has joined.
15:15:58 -!- ubq323 has quit (Client Quit).
15:16:44 -!- ubq323 has joined.
15:19:45 -!- spruit11 has joined.
15:33:58 <Taneb> Do you think we can make "natural domain" a thing for integral domains but without additive inverses
15:34:45 -!- ubq323 has quit (Ping timeout: 240 seconds).
15:35:15 <Taneb> (so ring : integral domain :: semiring/rig : natural domain)
15:37:00 -!- ubq323 has joined.
16:04:03 -!- arseniiv has joined.
16:05:02 <b_jonas> "<int-e> Is there an optimized shell tool doing sort -n | tail -n <NNN>?" => I wrote one of that once, but it was more than 10 years ago so the coding style is terrible. I'd rather write a new one than use it. And it looks like there's no doc of what format it wants either. https://www.perlmonks.com/?node_id=333850 and https://www.perlmonks.com/?node_id=515032
16:08:08 <b_jonas> Sometimes I just do an optimization like (du -a pathname | grep -E "^[0-9]{7}" | sort -n)
16:09:07 <b_jonas> rain1: if you want to read about it, read in either Knuth's TAOCP volume 3, or the Cormen–Leiserson–Rivest–Stein Algorithms book.
16:09:54 <b_jonas> this applies both for partial sorting, and for the here more relevant algorithms to get the top items of a long external list in one pass with limited memory
16:10:48 <b_jonas> "<int-e> Though if you involve sort | uniq -c it's unclear how much you gain by reducing memory usage of the rest of the pipe." => yeah, I usually do this on du, including on some directories with lots of descendants
16:16:16 -!- delta23 has joined.
16:21:17 -!- delta23 has quit (Quit: Leaving).
16:24:58 -!- jix has quit (Ping timeout: 260 seconds).
16:26:06 -!- Sgeo has joined.
16:28:38 -!- ubq323 has quit (Quit: WeeChat 2.3).
16:29:00 -!- ubq323 has joined.
16:32:21 -!- kritixilithos has quit (Quit: quit).
16:45:17 -!- ubq323 has quit (Ping timeout: 256 seconds).
16:45:44 -!- ubq323 has joined.
16:51:58 -!- Lord_of_Life_ has joined.
16:53:26 -!- Lord_of_Life has quit (Ping timeout: 246 seconds).
16:53:27 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
16:58:22 -!- mmmattyx has quit (Quit: Connection closed for inactivity).
17:12:03 -!- sprock has joined.
17:22:57 -!- LKoen has joined.
17:26:06 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
17:34:35 -!- Lord_of_Life has joined.
17:40:58 <esowiki> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=80063&oldid=80059 * Pen Island * (+207) /* Introductions */
17:42:53 <esowiki> [[User:Pen Island]] N https://esolangs.org/w/index.php?oldid=80064 * Pen Island * (+2) i say hi and thats it
17:57:34 -!- ubq323 has quit (Ping timeout: 246 seconds).
18:15:29 -!- TheLie has joined.
18:24:45 -!- ubq323 has joined.
18:55:18 <esowiki> [[Loadstring]] N https://esolangs.org/w/index.php?oldid=80065 * Pen Island * (+4464) I talk about this atrocity i've made, the documentation, and a few examples on how to code in it (Implemented)!
18:57:06 <esowiki> [[Loadstring]] M https://esolangs.org/w/index.php?diff=80066&oldid=80065 * Pen Island * (+24)
18:58:34 <esowiki> [[Loadstring]] M https://esolangs.org/w/index.php?diff=80067&oldid=80066 * Pen Island * (+23)
18:59:50 <esowiki> [[Loadstring]] M https://esolangs.org/w/index.php?diff=80068&oldid=80067 * Pen Island * (+6) correction time
19:04:19 <esowiki> [[Loadstring]] M https://esolangs.org/w/index.php?diff=80069&oldid=80068 * Pen Island * (+28) added category
19:05:05 <esowiki> [[Loadstring]] M https://esolangs.org/w/index.php?diff=80070&oldid=80069 * Pen Island * (+0) oops
19:14:05 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=80071&oldid=80053 * Pen Island * (+17)
19:14:37 -!- ubq323 has quit (Ping timeout: 264 seconds).
19:15:05 -!- delta23 has joined.
19:16:10 <esowiki> [[Loadstring]] M https://esolangs.org/w/index.php?diff=80072&oldid=80070 * Pen Island * (+24) added implemented
19:19:28 <esowiki> [[Loadstring]] M https://esolangs.org/w/index.php?diff=80073&oldid=80072 * Pen Island * (+49) /* Interpreter */
19:24:25 <esowiki> [[Loadstring]] M https://esolangs.org/w/index.php?diff=80074&oldid=80073 * PythonshellDebugwindow * (+0) /* Indexes */ Correct sentence (to my understanding)
19:36:21 -!- ubq323 has joined.
20:05:24 -!- jix has joined.
20:11:36 -!- ubq323 has quit (Ping timeout: 240 seconds).
20:45:05 -!- tromp has quit (Remote host closed the connection).
20:47:17 <esowiki> [[Loadstring]] M https://esolangs.org/w/index.php?diff=80075&oldid=80074 * PythonshellDebugwindow * (+559) /* How2Code */ Add examples
20:47:30 <esowiki> [[Loadstring]] M https://esolangs.org/w/index.php?diff=80076&oldid=80075 * PythonshellDebugwindow * (+0) /* Indexes */ Why this was reverted?
21:29:48 -!- user24 has joined.
21:31:15 -!- tromp has joined.
21:41:15 -!- ubq323 has joined.
21:52:05 -!- zzo38 has joined.
22:28:48 -!- TheLie has quit (Remote host closed the connection).
22:37:40 -!- ArthurStrong has joined.
23:08:13 -!- g35467 has joined.
23:11:36 -!- user24 has quit (Remote host closed the connection).
23:33:57 <esowiki> [[Loadstring]] M https://esolangs.org/w/index.php?diff=80077&oldid=80076 * Pen Island * (+1) index in the jump_equal instruction (truth machine) was wrong (tested in interpreter)
23:37:46 -!- delta23 has quit (Quit: Leaving).
23:44:47 <esowiki> [[Loadstring]] M https://esolangs.org/w/index.php?diff=80078&oldid=80077 * Pen Island * (-29) cat program was completely broken (also tested in interpreter)
23:47:53 -!- g35467 has quit (Quit: Connection closed).
23:48:36 -!- Deewiant has quit (Ping timeout: 256 seconds).
23:48:54 -!- Deewiant has joined.