00:05:02 -!- Laclale has joined. 00:06:55 Hello, I found unlisted EsoLang from MIT Mystery Hunt! 00:07:36 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 [[Blub]] M https://esolangs.org/w/index.php?diff=80060&oldid=80056 * PythonshellDebugwindow * (+132) /* External resources */ cats 00:45:39 [[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 Laclale: great. edit information about it to the wiki. 01:41:28 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 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:11:27 Do you know? 04:37:18 -!- spruit11 has quit (Quit: Lost terminal). 04:39:18 -!- spruit11 has joined. 04:42:17 [[Special:Log/newusers]] create * Pen Island * New user account 04:56:10 -!- ArthurStrong has quit (Quit: leaving). 05:20:25 Is there an optimized shell tool doing sort -n | tail -n ? 05:20:49 (without sorting the whole input. just curious, I have no urgent need for this.) 05:21:36 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 how do you imagine getting the tail without sorting the whole input? 12:27:38 same about head 12:29:08 ah, you probably mean to get the Nth maximal value first somehow 12:36:56 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 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 fizzie: Sure, but the question was whether there's a tool that does it. 12:41:38 -!- LKoen has joined. 12:41:59 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 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 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 (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 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 I feel like I do `... | sort | uniq -c | sort -nr | head -n 10` a lot too. 13:16:15 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 yeah I do that sort (hah) of stuff a lot as well 13:18:03 -!- none30 has joined. 13:18:27 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 [[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 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 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 (so ring : integral domain :: semiring/rig : natural domain) 15:37:00 -!- ubq323 has joined. 16:04:03 -!- arseniiv has joined. 16:05:02 " Is there an optimized shell tool doing sort -n | tail -n ?" => 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 Sometimes I just do an optimization like (du -a pathname | grep -E "^[0-9]{7}" | sort -n) 16:09:07 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 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 " 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 [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=80063&oldid=80059 * Pen Island * (+207) /* Introductions */ 17:42:53 [[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 [[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 [[Loadstring]] M https://esolangs.org/w/index.php?diff=80066&oldid=80065 * Pen Island * (+24) 18:58:34 [[Loadstring]] M https://esolangs.org/w/index.php?diff=80067&oldid=80066 * Pen Island * (+23) 18:59:50 [[Loadstring]] M https://esolangs.org/w/index.php?diff=80068&oldid=80067 * Pen Island * (+6) correction time 19:04:19 [[Loadstring]] M https://esolangs.org/w/index.php?diff=80069&oldid=80068 * Pen Island * (+28) added category 19:05:05 [[Loadstring]] M https://esolangs.org/w/index.php?diff=80070&oldid=80069 * Pen Island * (+0) oops 19:14:05 [[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 [[Loadstring]] M https://esolangs.org/w/index.php?diff=80072&oldid=80070 * Pen Island * (+24) added implemented 19:19:28 [[Loadstring]] M https://esolangs.org/w/index.php?diff=80073&oldid=80072 * Pen Island * (+49) /* Interpreter */ 19:24:25 [[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 [[Loadstring]] M https://esolangs.org/w/index.php?diff=80075&oldid=80074 * PythonshellDebugwindow * (+559) /* How2Code */ Add examples 20:47:30 [[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:08:33 21212121 23:08:34 2 23:08:35 1 23:11:36 -!- user24 has quit (Remote host closed the connection). 23:20:02 bots again? 23:22:51 what? 23:23:19 i dont run php 23:33:57 [[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 [[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.