00:01:39 Yay quickcheck. 00:19:07 I like the Caesar salad without dressing on, at some places; at other places the salad isn't as good. 00:21:02 it's not a caesar salad if it has no dressing. 00:21:16 To me it is 00:21:35 sort of like it's not a caesar salad without dried salted anchovy 00:21:56 you can call it "Caesar" salad. a Caesomorph. 00:22:00 except i don't eat fish 00:22:27 I just put lettuce, cheese, crouton, that's good enough 00:22:43 i'm not judging shachaf. there's nothing wrong with a "Caesar salad". it's just not as good as it could be. 00:23:20 Whichever the way the wind blows, / Whichever the way the world goes, / Is perfectly all right with me! 00:30:01 [wiki] [[Bitoven]] http://esolangs.org/w/index.php?diff=43183&oldid=43178 * 173.25.21.218 * (+0) fixed a small error 00:32:38 "Created" isn't even the right word, but there aren't any better words! <-- istr hebrew has a special word for "create" that _only_ applies to God hth 00:33:17 O, it does? I don't know Hebrew language much 00:33:24 so in hebrew, it's by definition the right word, but it might not be entirely clear what it means. 00:34:16 Yes, I can see that. 00:34:28 i don't know hebrew much either but i've seen it discussed somewhere. 00:37:53 quintopia: I don't think I've ever had the real deal. is it good? is it worth it? 00:38:26 (whichever your answer, probably going to try it out of sheer curiosity.) 00:55:13 When I try to open a .XI file with multiple samples in OpenMPT, it automatically discards the samples that aren't used in the keymap. How to fix this? 01:37:53 -!- Herbalist has joined. 01:56:05 [wiki] [[Talk:Underload]] http://esolangs.org/w/index.php?diff=43184&oldid=43115 * Esowiki201529A * (+142) /* Underload to Gibberish */ new section 01:59:31 [wiki] [[Talk:Underload]] http://esolangs.org/w/index.php?diff=43185&oldid=43184 * Esowiki201529A * (+84) /* Underload to Gibberish */ 02:00:12 -!- oerjan has quit (Quit: Nite). 02:01:58 -!- boily has quit (Quit: JAVANESE CHICKEN). 02:02:37 -!- Maria has joined. 02:04:26 [wiki] [[Talk:Underload]] http://esolangs.org/w/index.php?diff=43186&oldid=43185 * Esowiki201529A * (+36) /* Underload to Gibberish */ 02:07:50 -!- Maria has left. 02:20:58 -!- hilquias has joined. 02:21:20 My custom scaler is pretty much done now 02:25:04 -!- KnightArm0 has joined. 02:35:23 -!- KnightArm0 has quit (Read error: Connection reset by peer). 02:37:58 What is that custom scaler? 02:38:44 -!- lemurian has quit (Read error: Connection reset by peer). 02:42:23 A customized sclaing alcorithm for emulated games 02:42:34 I'm modding it into mednafen 03:04:35 Finally I got vector synthesis to work properly in AmigaMML and XISYNTH. 03:09:27 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:22:06 Well, not quite! 03:25:12 -!- augur has quit (Read error: Connection reset by peer). 03:26:03 -!- gde33 has quit (*.net *.split). 03:26:05 -!- shikhin has quit (*.net *.split). 03:26:05 -!- nortti has quit (*.net *.split). 03:26:05 -!- olsner has quit (*.net *.split). 03:26:05 -!- ineiros has quit (*.net *.split). 03:26:11 -!- nortti has joined. 03:26:14 -!- TieSoul has quit (*.net *.split). 03:26:15 -!- atehwa has quit (*.net *.split). 03:26:22 -!- ineiros has joined. 03:26:23 -!- atehwa has joined. 03:26:30 -!- TieSoul has joined. 03:26:30 -!- olsner has joined. 03:26:40 -!- shikhin has joined. 03:27:04 -!- gde33 has joined. 03:29:38 -!- nys has quit (Quit: quit). 03:41:48 -!- GeekDude has quit (Quit: ZNC - http://znc.in). 03:45:42 -!- Wright_ has joined. 03:45:42 -!- Wright has quit (Read error: Connection reset by peer). 03:50:26 -!- Lyka|Away has changed nick to Lyka. 03:50:39 -!- Lyka has left. 04:00:59 -!- adu_ has joined. 04:03:01 -!- augur has joined. 04:04:11 -!- Herbalist has quit (Ping timeout: 264 seconds). 04:05:13 -!- augur_ has joined. 04:08:26 -!- doesthiswork has quit (Quit: Leaving.). 04:08:49 -!- augur has quit (Ping timeout: 246 seconds). 04:24:59 AAAAAA I can't get diagonals to work properly! 04:27:24 -!- doesthiswork has joined. 04:27:39 -!- password2 has joined. 04:28:17 http://postimg.org/image/5xgtpmiqh/ 04:30:31 ^ screenshot using my scaler, and the palette 77ccff 77cc00 007700 000000 ffcccc cccc00 990000 111100 04:32:08 it mostly looks ok, but I csn't figure out a good rule to make X look right 04:32:18 -!- password2 has quit (Read error: Connection reset by peer). 04:38:55 -!- lemurian has joined. 04:39:59 does anybody have an idea how to detect a patern like that? 04:41:34 -!- password2 has joined. 04:53:13 -!- Nihilumbra has joined. 04:53:56 sweet Jesus 04:54:03 I don't know 04:58:34 -!- doesthiswork has quit (Quit: Leaving.). 04:58:34 Do you have anything to add here? https://devlabs.linuxassist.net/projects/amigamml/wiki/XM_optimizations 04:58:39 (Or anything to remove?) 05:00:08 what's that 05:00:34 Isn't it explaining it in there? 05:00:49 Also Please don't assume I ever actually leave the channel anything that follows a name mention is logged down for 2 hours afterwarsa 05:00:57 wards* 05:01:07 let me look zzo38 05:02:08 File size reduction 05:02:11 lossless 05:02:12 oren: http://en.wikipedia.org/wiki/Image_scaling#2%C3%97SaI look interesting 05:02:23 looks nice 05:10:44 file reduction without dataloss zzo38 ? 05:12:16 -!- Decim has joined. 05:14:56 Oh yeah I forgot irc still worked it was having bugs 05:15:23 Nihilumbra: Yes, to reduce a XM file size while the music will still be same way. 05:16:02 or I was because I couldn't log because I forgot my password 05:16:08 Oh neat 05:16:41 That does sound useful because dataloss is very annoying at times 05:17:59 Do you work with .XM musics at all? 05:18:08 I have to go to bed 05:18:17 Nope 05:18:32 But 05:18:49 explain what it is and maybe I will 05:19:47 has anyone seen ^v around 05:20:27 It is a file format that many game programs that expect music will support (together with .MOD, .IT, and .S3M), first made up in a DOS program called Fasttracker. There are other programs too; the wiki I just linked also has another page to list some other such programs. 05:21:06 That sounds cool 05:21:25 I shall go research it in a bit but I'm making dinner and coffee 05:21:38 even though its 11:38 pm 05:21:43 `? AmigaMML 05:21:53 You have dinner and coffee at 11:38 PM? 05:21:54 Only fools such as zzo38 and so on try to use AmigaMML on a PC. Real Men try to use AmigaMML on a Amiga computer. \ https://devlabs.linuxassist.net/projects/amigamml/wiki/Frequently_and_unfrequently_asked_questions 05:21:59 habbit 05:22:16 I never actually get around to stuff until around the late hours 05:23:47 I've Become addicted to magic the gathering and I'm worried about this because I usually hate card games 05:24:21 I have made up several Magic: the Gathering cards too and also a few puzzles for Magic: the Gathering. If you have any of your own puzzle I want to see that too. 05:25:46 I have a reanimation deck made of eldrazi's and eldrazi lords 05:26:08 and a rainbow deck built around door to nothingness 05:26:24 What do you mean puzzles 05:26:27 I have no cards or decks 05:26:44 oh and now I get all these puns abour magic that have been on the tv 05:26:55 Mark Rosewater made up some Magic: the Puzzling some time ago, and now other people made up new ones 05:27:23 example 05:27:33 example 05:27:35 http://zzo38computer.org/textfile/miscellaneous/magic_card/puzzle.1 and also puzzle.2 and puzzle.3 in the same directory. 05:27:43 Those are some puzzles. 05:27:51 sometimes my msgs don't send on screen 05:27:57 I think its ping lag 05:28:10 (If you want solutions, they are called solution.1 and so on; you should first try to figure out by yourself though.) 05:29:15 I'm looking at this 05:29:31 and its pretty neat 05:29:35 I would buy more Magic: the Puzzling from Wizards of the Coast if they sold more, but they don't 05:30:15 are those a thing 05:30:24 because I'm relatively new 05:30:35 -!- Decim has quit (Quit: Onii-chan you're the best especially when you touch my breast). 05:30:40 As far as I know they only made one book, but there were others in issues of the Duelist magazine. 05:30:57 what are weird leaving message 05:31:10 I am not interested in buying any cards but I would buy more Magic: the Puzzling. 05:31:22 I actually want to see the lore books 05:31:42 Should I drink this coffee or take a shower 05:31:59 ill do both at the same time! 05:33:19 setting up dwarf fortress while my chicken is cooking 05:34:33 oh and http://i.imgur.com/1yx1LXR.jpg I wonder if this would work 05:35:11 lol nice 05:36:16 I can play Pokemon card too 05:37:00 I feel dead 05:39:27 -!- adu_ has quit (Quit: adu_). 05:39:35 -!- lemurian has quit (Quit: Konversation terminated!). 05:41:56 Snusp is crazy 05:46:43 Can you figure out any of my puzzles? 05:46:49 no 05:47:04 ping lag 05:47:08 no I didn't 05:47:33 but I'm not using solutions because I want to get through this 05:47:42 OK 05:48:01 but anyways food is ready 05:48:10 and I'm done setting up 05:48:16 so I best go off 05:48:19 Bye 05:48:20 OK 05:50:01 Bye 05:52:46 -!- password2 has quit (Ping timeout: 246 seconds). 06:35:33 In mahjong what rules do you prefer dealing with whether or not the dealer can continue after a draw, and about whether or not the dealer is forced to continue? 06:36:20 I prefer tenpai renchan 06:36:28 agari yame for casual play, but not for a tournament setting 06:38:29 I like to use tenpai renchan for east round, and for south round the dealer continues after a draw regardless of tenpai or no-ten. At least, this is how I always play when I get to make these kind of decisions 06:38:31 and tenpai yame is fine 06:38:37 -!- hilquias has quit (Ping timeout: 246 seconds). 06:39:04 zzo38: interesting. I know of only two locations which use that renchan rule 06:39:39 -!- sebbu has quit (Ping timeout: 250 seconds). 06:39:45 Which locations is that? 06:40:23 (It also seems to be the rule for Washizu mahjong mode on Akagi DS) 06:41:26 -!- sebbu has joined. 06:42:08 -!- sebbu has quit (Changing host). 06:42:08 -!- sebbu has joined. 06:45:51 zzo38: Montreal and Waterloo 06:48:22 Ah, OK 06:49:12 -!- lemurian has joined. 06:58:20 -!- J_A_Work has joined. 07:13:04 -!- Wright_ has quit (Ping timeout: 256 seconds). 07:30:37 * Taneb hello 07:32:53 howdy 07:33:28 I had a dream that my parents won a house in a lottery but it was only half built 07:33:53 fascinating 07:35:11 there is quite the potential to look at symbolism there 07:39:07 So I suggested we sell the house and our current house to buy a slightly better house 07:42:25 -!- sebbu2 has joined. 07:42:39 -!- sebbu has quit (Ping timeout: 246 seconds). 07:43:07 -!- sebbu2 has quit (Changing host). 07:43:07 -!- sebbu2 has joined. 07:43:43 According to linguists, "Santa Claus has all the attributes of a sadist" 07:43:47 https://en.wikipedia.org/wiki/First-order_logic#Formalizing_natural_languages 07:45:18 Is -w 1 likely to be sufficient for wgeting from some random webserver somewhere 07:45:30 I think the files are intended to be downloaded, not sure about in bulk like this 07:45:40 I put my email in the UA 07:47:45 That sounds unwise 07:48:03 If you're concerned though, use the rate-limiting option 07:48:41 I am, at 1 item/second 07:49:34 Hmm, I don't remember if wget's speed limit is done correctly for multiple files 07:51:13 Well, it's faster than it was at 5 seconds/item 07:51:24 And slower than when I didn't have a limit (for a small portion) 07:52:00 The webmaster is likely someone interested in VRML, so it could start a conversation 07:54:11 It... seems to be the archives of someone who themselves scraped from a server many, MANY years ago 07:55:55 -!- Nihilumbra has quit (Quit: Connection closed for inactivity). 08:29:38 -!- toxolotl1 has joined. 09:47:56 -!- hjulle has joined. 10:00:53 -!- J_A_Work has quit (Quit: J_A_Work). 10:06:26 -!- hjulle has quit (Ping timeout: 265 seconds). 10:10:38 -!- J_A_Work has joined. 10:21:49 -!- boily has joined. 10:42:23 -!- Phantom_Hoover has joined. 10:51:08 I need to introduce Duads 10:51:10 and Triads 10:51:54 Although in J they are called dyadic 10:52:03 but I distinguish between prefix dyadic und infix dyadic 10:52:31 -!- evalj has joined. 10:59:01 or hm. 10:59:05 Dyadic 1 and Dyadic 2 10:59:38 Is a duad just a bimonoid in the bicategory of duendofunctors? 11:03:03 ,"1m2+"1M2 11:03:19 which is (min(1,2)+max(1,2)) 11:05:21 ,:,"1m2+"1M2R{,p+p is reduce(range(0,(min(1,2)+max(1,2))), \a b -> a + b) 11:09:33 Hard to read :) 11:09:52 mainly because whether m is an Operator or the Variable m depends on the context 11:12:59 Taneb: is there even such a thing? 11:13:03 `? bimonoid 11:13:08 I have no idea 11:13:09 bimonoid? ¯\(°_o)/¯ 11:13:34 This is fundamentally one of my weaknesses with inventing really esoteric sort of languages: I would never remember a scheme like that, even if I designed it myself. 11:13:43 I barely remember how my own code works sometimes. 11:14:04 I guess sadly bimonoids aren't such a thing, because a·b·c is associative. 11:14:31 J_A_Wellork. remembering what you own code does is one of the Greatest Achievements a programmer can reach. 11:14:47 J_A_Work: I seem to be able to remember such things quite well. 11:14:57 heh 11:15:01 See Burlesque :) 11:15:08 boihelloy! 11:15:25 I can still golf in it without having to look up the language reference most of the time 11:16:10 Tanelle! 11:16:11 mroman_: yes, it helps that you invented it so you assigned the primitives such that you already remember their names 11:16:17 :D 11:16:22 it's hard to golf for everyone else 11:16:23 b_jonas: True. 11:16:24 Well, part of it is that over the years I’ve come to realize I have genuine problems with my memory. 11:16:44 even with the docs, because they're hard to read 11:17:23 "Defined as \/bxcy\/z[{p^+]e!}m[" <- you're referring to those things? 11:18:09 I could have written descriptions for those + giving their definition (because knowing the *exact* definition is very important to abuse sideeffects) 11:18:17 but I'm lazy 11:19:04 "Defined as x/Shx/\/x/x/\/P[" is my favorite 11:19:16 because x/ is not a regular swap :D 11:19:31 this builtin contains so many freaking swaps 11:19:36 (\/ is a regular swap though) 11:20:33 J_A_Work: My memore is very selective :D 11:20:35 *memory 11:20:52 but it's quite good at remembering things you wouldn't really need to 11:21:05 but if you ask my memory what I did this saturday you're out of luck. 11:22:40 In Burleqsue j2 is the builtin j + integer 1 whereas b2 is the builtin b2 :p 11:22:45 * integer 2 11:23:43 mroman_: when was the last Saturday you had? 11:26:21 this saturday 11:26:24 and I was probably working 11:26:31 as irc logs confirm 11:27:17 I remember watching Stargate Atlantis 11:27:21 some episodes 11:27:46 at least according to netflix I'm at episode 6 now 11:28:24 mroman_: not just those definitions, but that it's hard to search for even things that do have good short descriptions 11:29:34 Oooh, a talk on semigroups tomorrow 11:29:38 I know about semigroups 11:29:39 like when I couldn't find the primitve that pops a single element and makes a box from it containing the single element 11:29:40 I shall attend! 11:30:12 -!- boily has quit (Quit: HELIOTROPIC CHICKEN). 11:32:42 also ops of the Group Dyadic2 can either be infix or prefix 11:32:46 some of them at least. 11:32:49 not in all cases 11:33:01 "m1 2 or "1m2 11:39:14 it tries to parse them prefix first, then infix 11:39:28 but 1 isn't a legal operator so in that case you can use infix notation 11:41:30 b_jonas: you mean bx? 11:42:12 "Box|bx|Any a|Put a in an empty block" 11:42:36 mroman_: yes, that 11:42:58 it says "empty" whereas the box isn't empty, so I didn't find it 11:43:07 it should say "singleton" or "length 1" or something 11:43:23 or "single element" 11:43:27 after you put a into an empty block the block isn't empty anymore :) 11:43:36 but but but 11:43:40 blocks are immutable 11:43:51 do you mean it conses an element before an empty block? 11:44:03 blocks aren't immutable 11:44:09 what 11:44:22 wel.. define immutable 11:44:24 *well 11:44:40 you can delete elements from a block 11:45:21 can you keep multiple references to a block, delete elements from the block through one reference, and see that change when read from another reference? 11:45:33 an implementation could do some reference counting and using copy-on-write or perform the operation on the same structure if no other references are found 11:45:40 b_jonas: no, not that. 11:45:46 then they're immutable 11:45:53 modifying them might be an optimization, sure 11:46:02 you could make them semi-mutable under the hood 11:46:21 instead of copying the whole thing when duplicating stuff like that 11:46:44 I'm not sure how ghc optimizes/handles those things 11:47:59 if I had implemented it in C I would have kept track of references. 11:48:20 because you only need to copy-on-write if there are other references around. Otherwise you don't need to copy it. 11:48:25 right 11:48:40 std::shared_ptr can do that, it has a member function to tell if there's only one reference 11:48:48 but that's C++ 11:48:52 and I hate C++ ;P 11:48:53 (basically it reads the reference count) 11:48:57 oh well 11:54:42 "The past keeps getting cooler! (And there's more of it every day!)" http://www.xkcd.com/1104/ 11:55:35 I've heard dinosauriers are actually just large chikens 11:55:37 *chickens 11:56:52 `? dinosaurs 11:56:52 dinosaurs? ¯\(°_o)/¯ 11:57:09 -!- toxolotl1 has quit (Ping timeout: 276 seconds). 11:57:16 we should add that as wisdom 11:57:54 `learn Dinosaurs are a diverse group of pre-historic chickens with feathers. 11:57:57 Learned 'dinosaur': Dinosaurs are a diverse group of pre-historic chickens with feathers. 11:58:25 that Asimov short story confirms this by the way 12:12:40 -!- tromp_ has quit (Read error: Connection reset by peer). 12:21:57 Chickens lay eggs, Dinosaurs lay eggs therefore Dinosaurs are Chickens. 12:22:30 Chickens move on two legs, Humans move on two legs therefore Humans are also Chickens. 12:22:45 except that we don't have a gyroscopically stable head 12:22:48 that would be somewhat cool 12:31:45 -!- Patashu has quit (Ping timeout: 246 seconds). 12:47:44 -!- TieSoul has quit (Quit: No Ping reply in 180 seconds.). 12:49:09 -!- TieSoul has joined. 12:59:17 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 13:08:05 -!- Sgeo has quit (Ping timeout: 258 seconds). 13:08:30 -!- J_A_Work has quit (Quit: J_A_Work). 13:30:54 -!- nycs has joined. 13:31:42 -!- nycs has changed nick to `^_^v. 13:41:36 -!- Wright has joined. 13:49:48 anyone know any hilarious lets play videos I can put on in the background? 13:59:28 -!- Wright has quit (Ping timeout: 265 seconds). 14:01:18 -!- Sgeo has joined. 14:02:56 -!- Wright has joined. 14:09:42 -!- Wright has quit (Ping timeout: 256 seconds). 14:12:06 -!- GeekDude has joined. 14:19:07 -!- SopaXT has joined. 14:19:12 -!- coppro has quit (Remote host closed the connection). 14:24:17 -!- SopaXT has quit (Remote host closed the connection). 14:35:28 -!- coppro has joined. 14:48:49 -!- Welo has joined. 14:50:43 -!- lemurian has quit (Read error: Connection reset by peer). 14:51:07 -!- lemurian has joined. 14:51:49 `run unicode "LATIN SMALL LETTER E WITH ACUTE ACCENT" 14:51:51 No output. 14:53:21 -!- coppro has quit (Quit: leaving). 14:53:45 -!- coppro has joined. 15:03:13 -!- Lorenzo64 has joined. 15:05:01 -!- lemurian has quit (Read error: Connection reset by peer). 15:09:58 -!- Sprocklem has joined. 15:14:49 hm 15:14:54 do I need annotations without postfix ... 15:19:39 yeah... still do 15:25:04 -!- Welo has quit (Ping timeout: 252 seconds). 15:30:51 what do you mean "tar (child): compress: Cannot exec: No such file or directory"? just decompress it with gzip you stupid tar 15:31:02 (luckily an explicit -z helped) 15:35:41 -!- Herbalist has joined. 15:38:46 -!- tromp_ has joined. 15:43:15 -!- lemurian has joined. 15:48:01 I always use tar -xvz 15:48:43 If that doesn't work I give up. 15:49:32 tar xzf here, j for .tar.bz2, J for tar.xz 15:51:15 * int-e wonders what using tar xf vs. tar -xf says about a person. probably nothing :) 15:51:47 -!- Welo has joined. 15:53:34 Of course there's also squeeze 15:55:04 `tar 15:55:05 tar: You must specify one of the `-Acdtrux' or `--test-label' options \ Try `tar --help' or `tar --usage' for more information. 15:55:15 `? tar 15:55:15 The command you're looking for is probably either tar -xavkf or tar -cavf 15:55:37 is it? 15:56:05 b_jonas: -a makes it guess the compression program 15:56:09 -!- Sprocklem has quit (Quit: Leaving). 15:57:32 mroman_: these days, it always guesses the compression program without anything special (though that only works if the input is seekable) 15:57:48 mroman_: I generally write tar tvf for all kinds of compressed tarballs 15:57:52 that works for gzip and bzip2 15:58:03 but here, for a unix-compressed one, it tried to invoke compress 15:58:10 which I don't have installed 15:58:26 it could have just invoked gzip instead, which can read unix-compressed files 16:00:28 or we could have used a gui program, like the noobs we are 16:00:36 I do that from time to time. 16:15:28 -!- Lorenzo64 has quit (Read error: Connection reset by peer). 16:20:58 -!- Sprocklem has joined. 16:28:04 -!- Welo has quit (Ping timeout: 264 seconds). 16:52:58 -!- Phantom_Hoover has joined. 16:59:46 -!- password2 has joined. 17:08:20 -!- Welo has joined. 17:11:46 zzo38 : .. actually, my brother also keeps saying that it should be `d(dy/dx)/dx', but not `d^2y/dx^2' (in general) 17:21:37 good god this is really becoming a saga 17:22:02 i did explain the idea behind the d^2y/dx^2 thing last time 17:22:12 it's more or less completely an abuse of notation 17:25:11 so is all of my thesis 17:25:20 and in fact the entire field 17:32:28 Yes, I agree that d^2y/dx^2 is wrong. 17:34:30 It is d(dy/dx)/dx but you can also expand that into a more complicated form 17:34:41 coppro: wait... do you have a thesis about calculus? 17:34:46 b_jonas: no, graph theory 17:34:47 it's worse 17:34:49 oh whew 17:35:52 -!- Sprocklem has quit (Ping timeout: 264 seconds). 17:37:46 For tar I just use "tar t" or "tar x" or "tar c" though 17:39:14 c is different. if you're creating an archive, you have to explicitly tell how to compress of course 17:39:22 doesn't guess in that case 17:39:36 I don't want it to compress. I will use an external program to compress. 17:39:56 you can do that too 17:40:05 it's just convenient for me that tar can invoke the external program 17:40:57 To me, there is no good reason for tar to invoke external programs. (For some programs this is useful, but not for tar) 17:41:41 ok 17:41:45 I find it convenient 17:41:51 well, there's one case when it's essential 17:41:59 but not the compression case 17:42:20 Which case do you mean? 17:42:23 --checkpoint-action 17:42:48 it lets tar periodically invoke a program, passing some environment variables, that lets me print a status message of how far tar has got 17:42:59 so I can see an approximate percentage progress when making large archives 17:43:15 it's approximate because I can only give an approximate to the final size 17:44:02 but it still works well enough in most cases, except when I give a very wrong estimate because I don't count linked files, but tar recognizes them and packs them only once 17:44:11 Can't a pipe do that too though, if you have a "checkpoint action" program that can invoke the other program (and otherwise just copies input to output)? 17:44:49 (that comes up most often when I back up a directory with git executables, which has like a hundred files linked to a large executable) 17:44:54 zzo38: yes, I guess that could work too 17:56:52 -!- a2 has quit (Ping timeout: 264 seconds). 17:57:16 I am very much enjoying this book "How Not To Be Wrong: The Hidden Maths Of Everyday Life" 17:59:51 You can use quotient rule to expand "d(dy/dx)/dx" 18:05:23 Taneb: how many hidden maths are there 18:08:15 Taneb, what sort of things does it discuss? 18:09:56 Are you able to check for me on https://devlabs.linuxassist.net/projects/amigamml exactly which permissions a logged in user who is not a member of the project is having? 18:12:03 Do you know if the "Roadmap" feature of Redmine can be turned off? I am not using that feature in my project. There is a list of modules to enable/disable, but that isn't one of the choices. 18:12:04 shachaf, all of them 18:12:15 Vorpal, I'm currently at "Don't assume curves are lines" 18:23:03 -!- ais523 has joined. 18:24:43 -!- Sprocklem has joined. 18:29:42 How much macros is too much macros? 18:29:55 1 18:30:32 I have like, 40 in this thing 18:32:44 basically, my sclaing algorithm is based on matching patterns against the local pixels... so I make macros that llow me to write the patterns directy into the code 18:33:14 ais523: can you recommend a good, funny LP to watch? 18:34:04 coppro: LP = Let's Play? I'm not sure, because I tend to go for informative rather than amusing 18:34:27 basically what I do is pick a game I want to learn more about, and then look through a few LPs on YouTube until I find one that doesn't irritate me 18:34:31 or, actually 18:34:40 any blind Let's Play of Wario Land 4 makes good watching 18:34:44 I look for those every now and then 18:34:53 but it's not particularly funny, it's not like it's a particularly rage-inducing game or anything 18:34:54 -!- password2 has quit (Remote host closed the connection). 18:34:59 I just like seeing how people solve it 18:35:10 Wario land 4 one of my favorite games ever 18:35:53 yes, it's great 18:36:27 yeah 18:36:37 I really enjoyed 3 too 18:37:14 the best way to think about the Wario Land series is 18:37:29 2 and 3 are all liked by over half of players but seriously disliked by a proportion of others 18:37:37 4 is amazing and hardly anyone dislikes it 18:37:48 5 is basically 4 but a bit worse, but that doesn't make it a bad game because "4 but a bit worse" is still good 18:37:55 and nobody can remember what 1 is lijke 18:37:57 *like 18:38:01 I wasn't aware there was a 5 18:38:32 coppro: it's on the Wii, and called "Wario Land: Shake It!" or "Wario Land: The Shake Dimension" depending on localization 18:38:40 and it's one of the most painfully obvious 4 clones ever 18:38:50 ahh 18:38:53 with level design that's a little less inspired, and a different but arguably more interesting moveset 18:39:02 ais523: are the unskippable cutscenes part of why some people hate wario land 2 or 3? 18:39:13 b_jonas: I mean in the gameplay 18:39:21 wait, is this the gameboy or the nes games? 18:39:29 there isn't a nes wario land 18:39:34 hmm 18:39:38 there's a virtual boy version that's apparently really good but hardly anyone has played it 18:39:45 (normally considered to be the /only/ good game on the virtual boy) 18:40:12 no surprise because nobody has a virtual boy 18:40:20 or so I think 18:40:33 if it's the only good game than that's understandible 18:40:37 yes, that's because it only has one good game 18:40:54 most consoles have multiple good games 18:41:13 I know, even the unpopular ones 18:41:19 wario land 3 was fun because of the way you had to explore old levels 18:41:31 the virtual boy was just basically a terrible idea though, it was an attempt to make a 3D games console before the technology for that existed 18:41:45 coppro: um, you can explore old but changed levels even in wario land 1 18:42:34 -!- qlkzy has quit (Ping timeout: 255 seconds). 18:42:54 b_jonas: you can't in 2 and I don't think you can in 4? 18:43:00 and I've never played 1 18:43:15 coppro: you can replay old levels in 4 but there's no reason to unless you missed collectibles 18:43:23 except for fun of course 18:43:59 we're talking about 3 where it's part of the game, though 18:44:32 coppro: in wario land 1, completing some zones can change old levels significantly, so it can be worth to explore them again. you don't strictly have to if you're not going for the best ending, but I think there are collectibles you can access only after a level has changed. 18:44:52 -!- qlkzy has joined. 18:47:49 -!- Tritonio has quit (Remote host closed the connection). 18:48:09 -!- Tritonio has joined. 18:51:16 -!- Elronnd has changed nick to Elron7zz\. 18:51:29 -!- Elron7zz\ has changed nick to Elronnd. 18:52:26 -!- Welo has quit (Quit: Leaving). 18:55:16 -!- Elronnd has quit (Write error: Connection reset by peer). 18:57:05 -!- Elronnd has joined. 18:58:35 -!- Tritonio has quit (Ping timeout: 272 seconds). 19:03:38 -!- nys has joined. 19:07:22 -!- Tritonio has joined. 19:11:16 -!- relrod_ has joined. 19:11:24 `wisdom 19:11:24 substructural typing/Not to be confused with structural subtyping. 19:11:30 `? structural subtyping 19:11:31 Not to be confused with substructural typing. 19:11:56 `wisdom 19:11:56 firefly/FireFly was a short-running but well-loved sci-fi TV series released in 2003, starring Nathan Fillion and directed and written by Joss Whedon. 19:12:19 That is annoyingly true, but I guess is actually about channel regular FireFly ? 19:12:40 huh, I've actually worked with substructural subtyping, I think 19:13:43 `? FireFly 19:13:44 FireFly was a short-running but well-loved sci-fi TV series released in 2003, starring Nathan Fillion and directed and written by Joss Whedon. 19:14:04 `cat bin/wisdom 19:14:05 F="$(find wisdom -type f | shuf -n1)"; echo -n "${F#wisdom/}/"; cat "$F" 19:14:12 I see 19:14:36 -!- relrod has quit (Ping timeout: 276 seconds). 19:14:50 `cat bin/? 19:14:50 Taneb: the channel regular isn't actually a TV series, I think 19:14:50 #!/bin/sh \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/nooodl/;s/ *$//") \ topic1=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ $ "$topic1" = "ngevd" $ -a $ -e ngevd $ ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic" | rnooodl; \ elif [ -e "$topic1" ]; \ then cat "$topic1" | rnooodl; \ 19:15:04 FireFly, are you sure 19:16:16 `` rnooodl <<<'this is a test' 19:16:17 this is a test 19:16:22 `cat bin/rnooodl 19:16:23 perl -pe 's/([Nn])ooodl/"$1@{[o x(3+rand 7)]}dl"/ge' 19:16:32 I see 19:16:39 `cat bin/ngevd 19:16:40 cat: bin/ngevd: No such file or directory 19:16:40 Taneb: fairly sure 19:16:47 FireFly, hmmmmm 19:17:14 ` noooodl 19:17:14 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 19:17:21 `? nooodl 19:17:22 nooooooodl is the correct spelling 19:17:26 `? nooodl 19:17:28 noooodl is the correct spelling 19:17:30 so great 19:17:53 `cat wisdom/ngevd 19:17:53 Seems a bit excessive to pipe all wisdom through it 19:17:53 ngevd is a fake wisdom entry. `? ngevd is special-cased in bin/?. leave this file alone Phantom_Hoover‼ 19:18:07 Who let the fnord out... 19:18:19 `? ngevd 19:18:19