00:01:55 shachaf: i don't get the pattern 00:02:39 length (...x...x'...xs) == length xs - 1 00:02:44 Er, length xs + 1 00:02:55 I guess it's a bit of a strange pattern. 00:03:31 length [x] is not x 00:04:05 Unless x is 1 00:04:05 ? 00:05:58 Really [] is the wrong thing to use here anyway. 00:06:01 So never mind. :-) 00:06:46 -!- augur has joined. 00:08:20 Is (Free (Writer x)) like (Writer [x]) ? 00:16:17 If in Haskell you have a random bit interface, then the class to generate random values of a type could be: class GenRandom x where { genRandom :: Free ((->) Bool) x; }; And now you can od this: instance (GenRandom x, GenRandom y) => GenRandom (x, y) where { genRandom = liftPair (genRandom, genRandom); }; 00:19:18 instance GenRandom Bool where { genRandom = Free Pure; }; instance GenRandom () where { genRandom = Pure (); }; 00:20:07 -!- augur has quit (Remote host closed the connection). 00:26:06 -!- TeruFSX2 has joined. 00:26:37 -!- TeruFSX2 has quit (Read error: Connection reset by peer). 00:32:10 monqy: ha ha ha 00:33:44 -!- DHeadshot has joined. 00:35:02 whats so funny 00:35:53 removing the spel you cast every 3 turns is funy 00:36:03 no it's not 00:36:14 it is if i want it to be!!! 00:36:30 im plan to remove all sources of flight/lev in monqys-crawl 00:36:38 take that, science 00:36:43 but why 00:37:19 because all reasons for it existing are awful and should be undone 00:37:42 what are the reasons 00:38:10 well boosting swiftness was already removed in vanilla so that's not one of them 00:38:45 in particular levitation is awful because of the whole being flight but you have to wait for it to time out before you can interact with items thing 00:39:36 maybe it has "interesting tactical uses" in few cases but normally if you're in an area with deep water or lava you maintain it, and if you don't have it, you don't go there 00:40:39 monqy: yeah im fine with items being interactable all the time 00:40:47 so "merge 'em" 00:41:32 i don't know what to do with water/lava since i don't quite want to do the full mcrawl with them but they're awful as-is too 00:42:46 -!- elliott has quit (Remote host closed the connection). 00:45:17 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:55:21 -!- augur has joined. 00:57:22 -!- elliott has joined. 00:57:22 -!- elliott has quit (Changing host). 00:57:22 -!- elliott has joined. 01:07:38 -!- elliott has quit (Read error: Connection reset by peer). 01:10:59 -!- Guest80090 has joined. 01:11:07 -!- Guest80090 has changed nick to elliott. 01:11:09 -!- elliott has quit (Changing host). 01:11:09 -!- elliott has joined. 01:20:38 monqy: hi 01:20:44 hhhelo 01:21:25 hi 01:21:42 I just finished this week’s electronics homework. 01:21:53 which week 01:22:41 this 01:23:15 there are many weeks containing today ! 01:23:35 Whichever week it is in Massachusetts. 01:23:47 that's not helpful 01:24:07 monqy: what week is it in california :( 01:24:50 there are many weeks containing today ! 01:24:55 which week do you mean 01:25:00 that one 01:25:02 hlep 01:25:20 there's a week starting today, a week ending today, a week with today as the second day, 01:25:37 there is no week with today as the eighth day because weeks do not have eight days 01:26:24 The deadline is in 2½ hours AFAIU. 01:26:32 monqy: maybe some weeks do! 01:26:40 my weeks don't 01:26:58 monqy: Weeks don’t have eight days? Which planet are you on? 01:27:10 plauto 01:27:37 ion: you doing the MIT course? 01:27:46 quintopia: yeah 01:27:59 i considered it 01:28:01 monqy: the only planet ever founded by the ancient roman plato 01:28:24 quintopia: It has been great. I’ve wanted to learn electronics since i was a kid. 01:28:30 elliott: who was the ancient roman plato 01:28:57 -!- elliott has quit (Read error: Connection reset by peer). 01:29:05 ion: i learned some electronics by reading the ARRL handbook and various websites. i find it is better to learn by doing. 01:29:31 -!- elliott has joined. 01:30:57 quintopia: the ancient roman plato was the founder of the planet plauto 01:31:41 elliott: thanks for the circularity. the real question is whether the ancient roman plato was a philosopher like plato was 01:31:51 who's plato 01:31:54 you mean the ancient roman? 01:32:20 no i was referring to the greek philosopher, student of socrates 01:32:32 stop making people up 01:32:54 well, who is going to inhabit your made-up planet if i don't? 01:33:19 monqy: what is quintopia on about 01:34:38 monqy: what is elliott off about 01:35:21 off about? 01:35:25 he's dead on 01:35:30 about the ancient roman plato 01:36:04 very dead and very on 01:36:36 is elliott "ancient roman" also? 01:37:23 monqy: oh no your client puts a space after the < 01:37:28 please fix, please fix, please fix 01:37:35 it hurts me more than anything 01:38:32 i'm not going to fix it 01:38:45 i actually kind of like it?? 01:38:54 no 01:38:55 monqy 01:38:56 stop 01:38:59 you can't do this to me 01:39:00 no 01:39:01 fix it 01:39:03 correct 01:39:03 im gojing to do it 01:39:04 it\ 01:39:06 no 01:39:07 no 01:39:08 no 01:39:08 you can't! 01:39:09 no 01:39:10 stop 01:39:10 i can 01:39:12 fix it 01:39:14 fix it now 01:39:16 il never stop 01:39:19 18:39:10 < elliott> stop 01:39:20 18:39:12 < elliott> fix it 01:39:20 18:39:14 < elliott> fix it now 01:39:26 what client 01:39:29 do you use 01:39:31 i'd bold the spaces but 01:39:34 cant bold spaces 01:39:40 irssi 01:39:40 tell me monqy 01:39:44 -!- elliott has quit. 01:39:46 you could just VERSION me 01:39:51 what a jerk !!! 01:40:06 -!- elliott has joined. 01:40:11 i did 01:40:12 version you 01:40:13 but 01:40:15 my internet 01:40:15 died 01:40:17 so 01:40:19 the 01:40:21 connection dropped 01:40:26 monqy: ok 01:40:27 oh 01:40:57 /set show_nickmode_empty off 01:40:57 just 01:40:58 try it 01:40:59 for me 01:41:18 Don’t do it. 01:41:26 i;m not going to do it 01:41:27 just try it monqy 01:41:29 come on 01:41:31 pal 01:41:32 try it 01:41:33 friend 01:41:40 I’m not your buddy, pal! 01:41:42 what's your problem with the spaces 01:41:46 one 01:41:51 they're asymmetric wrt the > 01:41:51 two 01:42:02 the < looks horribly disconnected from the nick itself, esp. as <> aren't really the greatest enclosers in the first place 01:42:05 three 01:42:06 They’re symmetric wrt. the @, + 01:42:06 it's hideous 01:42:09 four 01:42:11 yes what ion said 01:42:15 it means that you break everyone else's awk scripts 01:42:21 monqy: nobody's @ and + on freenode!!! 01:42:21 and also 01:42:24 if you're going to align things like that 01:42:25 Everyone else’s awk scripts suck. 01:42:26 then 01:42:26 their awk scrips can go die 01:42:27 yes they are 01:42:29 you should be using right-aligned nicks 01:42:33 i see @ and + all the time 01:42:34 like xchat does 01:42:37 cf crawl-dev 01:42:44 if you don't want that : don't put a space after the monqy: well they're ~breaking network guidelines~ so there 01:42:54 turn off 01:42:55 the space 01:42:56 immediately 01:42:57 no 01:43:00 shut up!!! 01:43:00 yes 01:43:02 no 01:43:02 ! 01:43:04 ! 01:43:04 it's wrong 01:43:06 and immoral 01:43:08 you;re wrong 01:43:08 and horrible 01:43:10 turn off the space 01:43:11 and horrible 01:43:12 you;re awful 01:43:15 die :( 01:43:27 maybe it'd look better if you used monospac font 01:43:42 ive used monospaced font on irc you shit!!!!!!!!! :'( 01:43:45 it was still hideous even then! 01:43:47 What awk scripts do you mean? 01:43:47 its always been hideous 01:43:48 youre hideous! 01:44:21 monqy: i can;t believe youre so wrong 01:44:28 youre wronger 01:44:37 no 01:44:39 no 01:44:39 you 01:44:40 are wrong 01:44:43 youre wrongest 01:44:43 you are so wrong about this 01:44:47 no 01:44:48 listen 01:44:49 you don't understand 01:44:52 how wrong you are 01:44:53 turn it off 01:44:56 now 01:44:56 you havent given me one good reason !!!!! 01:44:58 yes i have 01:45:01 ive given you like three 01:45:05 actually four 01:45:06 the inconsistency 01:45:07 no 01:45:09 they all suck 01:45:12 wrt. not aligning the >s but aligning the @s and non-@s 01:45:16 it's consistent with @ and + etc 01:45:18 theres no justifiable reason to "align" 01:45:21 which is what matters to me 01:45:24 when there's no alignment of the messages itself 01:45:25 it's inconsistent 01:45:26 you're terrible 01:45:28 turn it off now 01:45:33 no!!! 01:45:35 yes 01:45:45 olsner: you have good opinions right 01:45:51 olsner: "< nick> blah" is an abomination right 01:46:56 monqy: stop 01:47:05 every message you receive with that setting is a personal affront against me 01:47:24 18:46:56 < elliott> monqy: stop 01:47:28 as u can see: i have not stoped 01:50:15 http://heh.fi/tmp/mirc.png 01:50:31 -!- elliott has quit (Read error: Connection reset by peer). 01:51:02 perhaps it also looks better on my client than eliots because the < and > are all dark grey and so is the timestamp 01:51:23 -!- elliott has joined. 02:08:30 h 02:08:33 ---- 02:08:33 19:08:30 h 02:08:36 19:08:33 19:08:30 h 02:08:38 19:08:36 19:08:33 19:08:30 h 02:08:45 noooooooo 02:08:53 everything looks weird 02:09:02 ma050833 monqy 19:08:30 h 02:09:07 this will take some "getting used to" 02:09:22 Don’t succumb to eliot’s whims! 02:09:53 he finally got me with `addquote 02:10:42 vision of a terrifying world: 02:10:44 -!- david_werecat has joined. 02:10:48 `run sed -i 's/ No output. 02:10:54 `quote 02:10:54 `quote 02:10:55 `quote 02:10:56 `quote 02:10:58 `quote 02:11:07 390) < oklofok> what would you ever need petrol for < oklofok> newsflash: it doesn't actually taste that good 02:11:10 oh no what if you messed up something importante 02:11:12 428) < ais523> the thing about modern semiconductor design is, 0s are more powerful as 1s 02:11:26 621) < fizzie> Spacegoat is the network-operations-optimized-for-latency-of-minutes-or-hours-due-to-light-speed-limits variant of scapegoat, to be used when you need to check out some code from the Mars colony. < fizzie> (I'm pretty sure we'll have established a Mars colony by the time scapegoat rolls out.) 02:11:26 486) < pikhq> I actually had a Neopets account. I later gained a second digit in my age. 02:11:26 147) < fungot> pikhq: it was fragrant with the scent of abomination. hear a speech declaring a holy war, is the man insane? some idiot missionary gets himself killed, some man writes some gibberish about the shape of a dragon, wonse?" 02:11:37 `revert 02:11:40 Done. 02:11:41 monqy: "messing fixed" 02:11:56 imo 428 or 390 02:12:29 `delquote 428 02:12:33 ​*poof* the thing about modern semiconductor design is, 0s are more powerful as 1s 02:12:38 @tell ais523 sorry get out of the ay bug im writing an important message 02:12:38 Consider it noted. 02:12:42 ok im actually starting to be bothered by the lack of spaces after @tell ais523 sorry 02:12:46 Consider it noted. 02:12:50 i need to fix this in some way 02:13:01 (help) 02:13:08 monqy: I hate spaces after monqy: replace the <>s with {}s "it'll burn in a different way" 02:13:27 monqy: imo just set them to background colour 02:13:27 "< nick>"s are the devil. 02:13:30 who needs to see the <>s 02:13:30 maybe i'll just use nospaces until i get used to it 02:13:43 shachaf: do you hate coloured nicks too 02:13:44 elliott: they're almost the background colour 02:13:48 like where the nicks are coloured based on their text 02:13:50 that upsets me 02:13:56 i dont mind if other people use it 02:13:57 elliott: Are you calling me an IRC racist. :-( 02:13:59 but it upsets me 02:14:36 I can't be racist, I use so much Unicode! 02:14:55 Some of it even non-ASCII Unicode. 02:15:03 is any of it big endian 02:15:53 My IRC client doesn't support that. :-( 02:16:23 (Really, something in the IRC->me translation is messing up non-BMP Unicode characters.) 02:17:32 If you don't like that then change it 02:18:43 zzo38: Are you racist too? 02:19:15 I try not to be, but since I use language it makes me a little bit racist anyways 02:19:36 ^style 02:19:36 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 02:19:39 ^style discworld 02:19:39 Selected style: discworld (a subset of Terry Pratchett's Discworld books) 02:19:55 fungot < sourbot_ :'( 02:19:56 shachaf: ' ah?' said nanny. " it's you, son. you're too skinny. i've seen these little stones around, too. 02:20:46 ^style irc 02:20:47 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 02:20:49 fungot 02:20:50 shachaf: that's a good question for the plt mailing list. there the only ones that that could be a fnord to run the 02:22:54 fungot 02:22:55 shachaf: this is all related to sigsegv?) if you didn't operate on text representations and particular character sets? 02:22:58 fungot 02:22:59 shachaf: so i was wondering why all my applications had become slow on old computers that use dimms? my taskbar just moved to our nation's grand capital, and the 02:23:18 my taskbar just moved to our nation's grand capital, and the 02:24:22 kmc: You would enjoy #haskell currently. 02:24:25 19:21 < lambdabot> Einskell says: Make everything as monad as possible, but not monadder. 02:24:29 19:23 < JoeyA> Monad monad monad monad monad monad. 02:24:31 And such. 02:25:49 -_- 02:26:13 i bet some of these IOCCC entries would be more comprehensible after a run through a C compiler and decompiler 02:26:36 i bet this would be a lot more useful than the standard source-level prettifiers 02:26:43 Which decompilers suck the least? 02:26:53 The standard source-level prettifier probably wouldn't be *that* bad. 02:27:15 shachaf: indent(1) makes a total hash of most of them 02:27:26 the guidelines basically say that if indent makes your code look ok, don't bother submitting 02:27:48 I was thinking of something smarter than indent(1). 02:27:56 kmc: have you seen Gregor's? 02:27:58 also, try astyle, perhaps 02:28:11 maybe i should look at LLVM output from clang 02:28:11 E.g. renaming variables, expanding #defines 02:28:16 -!- azaq23 has quit (Quit: Leaving.). 02:28:26 shachaf: yeah, that usually doesn't help too much either 02:28:33 indent just chokes on a lot of perfectly ok code IME 02:28:56 you really want stuff like dead code elimination and reordering big chains of , and ?: operators into saner sequential/conditional control flow 02:29:03 which is why I think a pass through a proper compiler might help 02:29:08 IME is Finnish for SUCK. 02:29:21 Fair enough. 02:29:34 Perhaps just looking at the disassembled output would be enough. 02:29:53 the one i'm looking at now (2001/herrmann2) in particular has a *ton* of dead code 02:30:09 more specifically, side-effect-free expressions to the left of , 02:30:16 -!- augur has quit (Remote host closed the connection). 02:30:26 well, it also depends on whether you just want to understand how the program works, or also how it's obfuscated 02:30:49 yeah i saw gregor's entry 02:30:51 good stuff 02:30:56 i didn't dig into it yet 02:31:45 I like how in JavaScript (1,foo) can be a different value from (foo). 02:31:49 really? 02:32:04 No. I don't *really* like it. 02:32:13 :D 02:32:15 shachaf++ 02:32:38 I'm so cool I saw Gregor's entry BEFORE IT WAS SUBMITTED. 02:32:53 kmc: http://perfectionkills.com/global-eval-what-are-the-options/ 02:35:13 Oh, this explains a JS annoyance of mine, actually. 02:35:26 You can't say var foo = console.log. 02:35:45 Previously I was just using var foo = function(x) { console.log(x); } 02:35:57 But I guess you can var foo = console.log.bind(console). 02:35:59 ...Or something. 02:36:35 yes, that's correct 02:36:39 the bind one, that is 02:36:45 Right. 02:37:14 It's not so much "this explains" as "I just thought about what could actually be causing it and came to this conclusion". 02:38:27 SO question: "Can Haskell pretend to be a database, and if so, how?" 02:39:09 What do you mean by that? 02:39:31 ln -s /usr/bin/ghc /usr/bin/mysql 02:39:49 monqy: hmm, what's that "two planes at once" message 02:39:59 phase shift 02:40:04 it's free evasion 02:40:05 i forgot i had it 02:40:09 "Can Haskell pretend to be a database" This question does not seem to even make sense????? 02:40:22 zzo38: indeed 02:40:58 OK, Famicompo Mini 8 is now finished and available for download. 02:41:13 Free evasion a = a | evasion (free evasion a) 02:41:30 i think you mean Free 02:41:43 My language is case insensitive. 02:42:39 Did you know Noël Coward was born in the 19th century? 02:42:59 @quote 02:42:59 synx says: webdev is like doing one of those stupid little kids toys where you fit the circle block into the circle hole 02:43:12 I don't get it. 02:43:46 fare evasion? 02:44:41 shachaf: Did you know that different kinds of citrus tree can be easily grafted onto each other? 02:44:49 The problem with fare evasion is that it's unfare. 02:44:56 you can have a single tree which grows oranges on some branches, lemons on others, limes on others 02:45:16 kmc: Yes! Well, I knew it about some specific cases, at least. 02:45:18 this is industrially important too 02:45:53 cause you can graft a branch which grows the kind of fruit you want onto a tree that's of a variety that's better at being a tree 02:46:28 Isn't this how most oranges are grown, or something? 02:46:39 i've heard as much 02:46:58 Seedless oranges, I suppose. 02:47:09 Do you like the GenRandom I have written for the random generators or is there a better way? 02:48:20 I wish humans could be grafted. 02:48:33 Onto trees or onto humans? 02:48:34 at least they can be grifted 02:48:38 -!- sebbu2 has joined. 02:48:38 -!- sebbu2 has quit (Changing host). 02:48:38 -!- sebbu2 has joined. 02:49:19 zzo38: Ontohu mans. 02:49:23 -!- sebbu has quit (Ping timeout: 246 seconds). 02:56:28 Famicompo mini vol.8 has some multi-track files, unlike the others. 02:56:58 -!- david_werecat has quit (Ping timeout: 276 seconds). 03:03:02 Ugh, Linux now uses the term "x32". 03:03:14 noooo 03:03:17 Admittedly it uses it for something different from "32-bit x86". 03:03:19 oh 03:03:20 that's X32 03:03:25 totally different 03:03:33 Oh. 03:03:44 capital x 03:03:45 not abominable 03:03:47 Remember the bit about my language being case-insensitive? 03:04:38 reMEMBeR thE bIT aBoUt my LanGuAgE bEINg casE-iNseNSitIVe? 03:04:55 ^rainbow reMEmbEr THE BIT abOut mY LAngUAGe being caSE-InSeNsItive? 03:04:55 reMEmbEr THE BIT abOut mY LAngUAGe being caSE-InSeNsItive? 03:08:13 elliott: http://en.wikipedia.org/wiki/X32_ABI 03:09:45 yeah x32 ABI is in Linux 3.4 03:10:57 32-bit pointers in native x86-64 long mode 03:11:59 monqy: i'm arguing this badly :( 03:12:13 elliott: arguing what :( 03:12:57 edwardk is not on, a few days ago I was asking about fmap lower . lower . duplicate = duplicate . lower and said it doesn't work for (Density []) but actually [] is not even a comonad, it lacks extract and doesn't follow the law duplicate . duplicate = fmap duplicate . duplicate 03:13:53 That depends on your definition of duplicate! 03:14:30 According to http://hackage.haskell.org/packages/archive/category-extras/0.53.5/doc/html/Control-Comonad-Density.html , the argument to Density just needs to be a functor. 03:14:36 But the fmap lower . lower . duplicate = duplicate . lower does seem to work with actually comonads and seems to be the law for homomorphism 03:15:29 shachaf: Actually the argument to Density can be anything; it does not even have to be a functor. But Density is also a comonad transformer, and Codensity is also a monad transformer even though the argument to Codensity can also be anything. 03:17:10 monqy: why did you argue for the bad thing :( 03:17:19 huh? 03:17:24 multiple at a time 03:17:50 the extend to which i argued for it is saying one at a time would be ridiculous 03:17:56 just imagine how ridiculous it would be 03:17:57 least common multiple at a time 03:18:06 monqy: it wouldn't! 03:18:11 it would 03:18:17 cf v5 03:18:24 it would be the most ridiculousest 03:19:00 shachaf: How do you mean, depends on your definition of duplicate? What are you saying depends on that? Only certain definitions are correct to follow the comonad laws (which are just dual to the monad laws) 03:20:01 zzo38: According to you, none of them follow the comonad laws. :-) 03:20:14 But you didn't give a definition of duplicate, so how can you say that it doesn't follow the law? 03:20:40 anyway the proper way to handle it is not having upstairs. i'm gone for a while so have fun w/ yr argument "ha ha" 03:21:52 shachaf: None of what follow the comonad laws? duplicate . duplicate = fmap duplicate . duplicate is mentioned in the documentation 03:22:25 You said "[] is not even a comonad, it lacks extract and doesn't follow the law duplicate . duplicate = fmap duplicate . duplicate" 03:22:28 What's duplicate? 03:22:39 duplicate is the dual to join 03:23:02 Monad have return and join, comonad have extract dual to return and duplicate dual to join 03:23:02 zzo38: shachaf is asking what definition of duplicate you are using for []. 03:23:19 I am using the one that comes with it. 03:23:37 You just said [] isn't a comonad. 03:23:42 But since there is no extract for [] it is not a comonad anyways so it doesn't count 03:23:43 Where does duplicate come from? 03:23:43 zzo38: what one 03:23:52 oh wait 03:23:56 shachaf: duplicate _is_ defined for [] in the comonad package 03:23:59 Extend is a different class 03:24:05 It is? 03:24:07 Oh. 03:24:11 That's silly. 03:26:04 The law duplicate . duplicate = fmap duplicate . duplicate is mentioned for Comonad, not Extend, but ComonadTrans class method lower is with something having Extend class, not Comonad. 03:26:45 cowmonad 03:32:22 But is fmap lower . lower . duplicate = duplicate . lower supposed to be the law for homomorphism? 03:35:28 -!- coppro has quit (Quit: Lost terminal). 04:21:31 -!- asiekierka has joined. 04:42:26 I have five days to figure out part of the strategy for the situation in Dungeons&Dragons game, and I have some ideas. I may use Correspond spell to call the chancellor, but he will probably be able to recognize me and I do not know what things to say. I try to lead him into a trap. In case he comes and then tries to hide, I have already considered that and know what to do about that. 04:44:54 I may need one or two scrolls of Locate Creature (I already have Locate Object). 05:25:29 "elliott • it was still hideous even then!" evil 05:25:39 oklofok: waht 05:27:30 i _thought_ you said that you have used monospaced font on irc and it was still hideous 05:27:39 but i guess that would've been too silly to be true 05:28:46 -!- ellisonch has joined. 05:28:52 it was < foo> that was hideous 05:30:22 -!- ellisonch has quit (Client Quit). 05:44:26 Then don't use < foo> if you dislike it 05:45:23 the problem is other people using it 05:46:08 What is < foo>? 05:46:45 An esoteric programming language, of course. 05:47:28 Oh, < foo> as in how some client shows nicks on IRC? 05:47:30 I assume? 05:47:32 -!- augur has joined. 05:47:34 And that space is annoying? 05:48:04 yes 05:48:19 http://esolangs.org/wiki/%3C%20foo%3E 05:49:26 Which client? 05:49:33 shachaf, too bad that link doesn't work 05:49:47 http://esolangs.org/wiki/Foo exists 05:50:24 http://esolangs.org/wiki/Foo%20exists 05:52:28 -!- asiekierka has quit (Quit: Wychodzi). 05:56:12 i use < nick> but i try to delete the space when copypasta into channels 05:57:28 gross 05:57:35 either keep the space or don't use < nick>!!! 05:57:46 My IRC client shows < nick>. 05:57:54 I usually delete it when I copy into a channel. 05:57:55 shachaf: is it irssi 05:57:58 you can fix that 05:58:00 ask monqy! 05:58:03 hi monqy 05:58:06 how do i fix that 05:58:15 ask elliott 05:58:22 elliott: help 05:58:30 oh it's 05:58:31 19:08:23 show_nickmode_empty = OFF 05:58:36 that must be it 05:58:50 When I copy to a channel I will only quote the part which is necessary to quote 05:59:02 Someone say something! 05:59:06 Oh, I just did. 05:59:17 Hmm. 05:59:19 hm 05:59:21 h 05:59:23 05:59:23 What if someone becomes an op? 05:59:28 then ther'es a @ 05:59:33 Will their lines stop a-lining? 05:59:35 We are worms we're the best and we've come to win the war 05:59:36 yes 05:59:40 no mor a-lining 05:59:41 monqy: That's the devil. :-( 05:59:51 :-( 05:59:55 text doesnt really align anyway 06:00:02 if you dont make it align 06:00:02 I'd rather have a space before the < 06:00:04 shachaf: turn off the @ display then 06:00:06 To keep it consistent. 06:00:08 it's "stupid", say experts 06:00:12 shachaf, clearly you should join #shachaf and see 06:00:18 elliott: That's the devil too. :-( 06:00:32 Sgeo: I expect you just joined that channel so that I won't be an op in it? 06:00:40 What do you know! 06:00:55 I opped you before you left... 06:01:32 BRB 06:02:02 -!- augur has quit (Read error: Connection reset by peer). 06:02:22 How many different alignments of IRC messages are there? 06:02:27 back 06:02:34 shachaf, I left #shachaf 06:02:43 Sgeo: So did I! 06:03:02 -!- augur has joined. 06:03:05 I joined after you joined and left before you left. 06:03:23 It's like an shachaf Sgeo #shachaf sandwich! 06:05:35 * Sgeo can't wait to eat food today 06:05:36 >.> 06:05:41 <.< 06:06:21 ∧.∧ 06:06:37 ∨.∨ 06:07:07 https://twitpic.com/show/large/9nild1 -- guess God really does use lisp 06:07:19 -!- Taneb has joined. 06:07:21 ⊂.⊂.⊂.⊂ombo breaker 06:07:23 Hello! 06:07:26 lambdabot: :-( 06:15:30 "elliott • it was < foo> that was hideous" ohh 06:16:26 _why_ is the space there in some clients? 06:16:43 cause if you're an op it shows as <@foo> 06:16:45 oklofok: because @ goes there 06:16:46 if they're an op 06:16:47 it's stupid 06:16:48 stuuuupid 06:16:50 oklofok: To make it align with "<+foo>" and "<@foo>", I assume. 06:16:56 elliott, shachaf: beaten 06:17:02 :'( 06:17:04 kmc: :'( 06:17:05 creys 06:17:05 GRR 06:17:09 8D 06:17:12 ah yes, come to think of it, i have realized that multiple times. 06:17:12 shachaf: beaten 06:17:33 it's the status slot, where the status symbol goes, and empty status slot is a space 06:17:39 "more viewpoints" 06:17:43 "thanks monqy" 06:17:44 monqy++ 06:17:59 "i'm setting show_nickmode_empty back to ON now" 06:18:03 oklofok: it's for @ and + 06:20:58 shachaf: no you're terrible 06:21:36 elliott: Don't worry "i didn't really do it" 06:21:42 thanks 06:21:44 I was lying. Which I guess makes me terrible. :-( 06:21:49 :-( 06:21:50 Except it was in quotation marks. 06:22:07 ^rainbow quotation marks 06:22:07 quotation marks 06:22:12 That's a depressing rainbow. 06:22:20 ()ing with portals. Now you're¿ think() 06:22:26 Why does it have to align? 06:22:34 What happens if you're both 06:23:13 Both what? 06:23:17 +ov 06:23:25 only @ displays 06:24:06 elliott doesn't like < nick> because it symbolizes the non-existence of @ 06:24:43 sorry bout that 06:25:27 oh i read that wrong 06:27:05 wiki has some info on @ 06:27:14 The ^rainbow rainbow is slightly depressing partially because it doesn't go up to eleven, let alone 15; it only goes up to 9. 06:27:23 "The fact that there is no single word in English for the symbol has prompted some writers to use the French arobase[4] or Spanish arroba — or to coin new words such as apserand and ampersat - but none of these has achieved wide currency. 06:27:38 Someone could fix it to use the same color ordering as 06:27:40 ^rainbow2 06:27:40 ████████████████████████████████████████████████████████████ ...too much output! 06:28:13 aspergand 06:28:32 Does = secretly mean ⊆? 06:29:53 i hope one day @ has it's own wikipedia page 06:30:24 Mathematicians overload way too much. 06:30:34 if = means ⊆, does (+) mean liftM2 (+)? 06:31:02 (In Set.) 06:32:30 I too hope one day @ has it's own wikipedia page 06:33:07 SPOILERS: IT ALREADY DOES 06:33:08 [[@]] 06:33:16 hi @ 06:33:18 hat 06:34:01 @-hat: Ì‚@ 06:34:01 I know nothing about ì‚@. 06:34:14 thambdabot 06:34:33 ^show rainbo2 06:34:34 @Ì‚ 06:34:34 Maybe you meant: . ? @ bf do ft id pl rc v wn 06:34:34 ^show rainbow2 06:34:35 ((0)(15)(14)(1)(2)(12)(11)(10)(3)(9)(8)(7)(5)(4)(13)(6))(~^:()SSa~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a~*~a*~(â–ˆ)S:^):^ 06:37:49 shachaf: i think that it's a good thing when you don't have to have much information to use a piece of a language 06:40:13 in the case of a function or procedure i think it's nice when a summary is good enough 06:41:21 this is probably not actually relevant 06:42:43 It would be the funniest if "/nick @foo" would give you ops on every channel you're on. (And double-ops where you already had some.) 06:43:10 fizzie: needs a backspace before the @ 06:43:12 to overwrite the space 06:43:50 it would also be funny if "/nick @foo" was a backdoor password into most login screens 06:44:43 but i should stop re-peddling jokes 06:47:07 Just for IRC makes more sense 06:47:29 Idiopathic autoreferent 06:47:45 ^^message I got when I tried to /nick to @Sgeo 06:51:31 "Erroneous Nickname", says the server. 06:52:19 Boringly. 06:55:18 * Sgeo did it on a different server 06:55:19 >.> 06:55:58 Sergeant Eo 06:56:34 <.< 06:58:20 v.v 06:59:01 v∨ 07:01:10 v 07:07:41 -!- zzo38 has quit (Quit: Hard Work!). 07:56:18 -!- Sgeo has quit (Read error: Connection reset by peer). 07:56:33 -!- augur has quit (Ping timeout: 265 seconds). 07:56:50 -!- Sgeo has joined. 08:21:28 -!- cswords_ has joined. 08:23:39 -!- cswords has quit (Ping timeout: 246 seconds). 08:33:35 https://www.youtube.com/watch?v=A2AeSsOcJv4 This... Should not work. 08:34:29 (Daft Punk, "Around the World", orchestral. Arrangement by Walt Ribeiro) 08:38:08 this is going to be one of those shitty basically-just-a-midi-version-run-through-a-vst things isn't it 08:38:13 yes it is 08:38:37 ok its not as bad as i was expecting 08:39:10 Yeah, I was expecting utter ear-rape. 08:39:16 Why I clicked I don't know. 08:39:32 -!- elliott has quit (Remote host closed the connection). 08:39:43 Clearly it killed elliott. 08:58:11 Vorpal doesn't play BZFlag, does he? 08:58:20 There was someone, with the name... AnSomething 08:58:31 I forgot what the something was, but I was thinking Vorpal 08:58:56 And someone else, who apparently has played BZFlag for a very long time, claimed that that person used cheats. (Claimed this after that person was offline) 08:59:41 anmaster? 08:59:53 ^quote not markov 08:59:58 `quote not markov 09:00:02 wrong symbol 09:00:07 626) Ngevd:. i'm so kind, even to assholes! anmaster no not markov anmaster no not markov anmaster no not markov anmaster no not markov anmaster no not markov 09:01:41 scary 09:02:02 monqy, right, AnMaster is Vorpal, but I don't remember if the name I saw in BZFlag was AnMaster or something else 09:02:23 And if it was AnMaster, it could be a coincidence 09:03:03 There can't be that many people playing BZFlag though. 09:03:09 ... Or caring enough to cheat for that matter. 09:13:59 -!- monqy has quit (Quit: hello). 09:36:02 Sgeo, I don't play BZFlag 09:36:09 Ah, ok 09:36:14 I know it is a game, that is all 09:36:19 I don't even remember what type of game 09:36:37 -!- elliott has joined. 09:36:39 holy shit 09:37:03 what happened? 09:37:05 look at what i get when loading http://thepiratebay.se/: 09:37:07 http://ompldr.org/vZHU2bg 09:40:01 elliott, government's told all the ISP's to block Pirate Bay 09:40:07 Try switching DNS 09:40:55 http://www.bbc.co.uk/news/technology-17894176 09:44:03 Or https://tpb.pirateparty.org.uk/ 09:44:36 elliott: Did you choose "yes" or "no"? 09:46:04 -!- pikhq_ has joined. 09:46:16 -!- elliott has quit (Ping timeout: 252 seconds). 09:48:41 -!- pikhq has quit (Ping timeout: 246 seconds). 10:38:22 -!- pikhq has joined. 10:38:45 -!- pikhq_ has quit (Ping timeout: 248 seconds). 10:46:41 I love how both yes and no are ambiguous answers to that question 10:47:12 So's "elephant" 10:53:54 "Elephant" isn't ambiguous, just irrelephant. 11:14:06 -!- nortti has quit (Quit: Lost terminal). 11:14:34 -!- nortti has joined. 11:16:04 oliphuant 11:16:45 Was going to say not a typo, but the source I took that name from has a persistent typo 11:16:55 http://www.nomic.net/deadgames/fourplay/pieces/pieces.10s.html 11:17:00 Search for oliphuant 11:17:06 Then click the link to Oliphuant 11:23:51 -!- nortti has quit (Quit: leaving). 11:24:16 -!- nortti has joined. 11:40:42 -!- nortti has quit (Quit: leaving). 11:41:03 -!- nortti has joined. 11:47:10 el 11:47:17 Neither elliott nor PH are here 11:47:30 That does happen occasionalyl 11:47:34 I am here 11:47:36 @tell elliott Tube Trap changed around, so now water rises at Sudden Death 11:47:36 Consider it noted. 11:47:46 @tell Phantom_Hoover Tube Trap changed around, so now water rises at Sudden Death 11:47:46 Consider it noted. 11:48:05 Aww, now I want to play GIRP 11:49:02 GIRP? 11:50:08 http://www.foddy.net/GIRP.html 12:48:05 http://www1.reocities.com/SiliconValley/drive/2069/SimCity/SC3KNewsTicker.html 13:02:35 -!- Gregor has quit (Remote host closed the connection). 13:24:29 -!- Phantom__Hoover has joined. 13:24:55 @messages? 13:24:55 Sorry, no messages today. 13:25:22 Phantom__Hoover, you have excessive underscores 13:26:00 I'm Phantom_Hoover's evil twin. 13:26:06 Aaaah! 13:26:31 You... don't seem that evil 13:26:51 And in a way, isn't that the most evil thing of all? 13:27:02 No 13:27:05 Not really 13:28:40 Phantom__Hoover, you'd have messages if you had one underscore 13:28:51 @messages Phantom_Hoover 13:28:51 You don't have any new messages. 13:28:53 -!- Phantom__Hoover has changed nick to Phantom_Hoover. 13:28:54 Worth a shot 13:28:55 @messages? 13:28:55 Phantom_Hoover: You have 1 new message. '/msg lambdabot @messages' to read it. 13:29:22 sorry i dont know what tube trap is 13:29:49 Scheme for Worms: Armageddon 13:29:56 I played it with either you or elliott, I forgot which 13:34:29 -!- david_werecat has joined. 13:37:08 `welcome david_werecat 13:37:12 david_werecat: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 14:00:06 -!- Gregor has joined. 14:02:22 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 14:12:12 where's oerjan :( 14:13:09 we found a topological space which is countable and not first-countable, and the 5 (out of 143) spaces in counterexamples in topology which are countable but not first-countable share almost none of its properties 14:13:23 (we found it by accident, it was supposed to be a really nice space :() 14:17:14 -!- aloril has quit (Ping timeout: 252 seconds). 14:20:35 -!- sebbu2 has changed nick to sebbu. 14:30:29 -!- aloril has joined. 14:38:26 i have always classified worms and lemmings as pixel terraforming games, but not by that name 14:38:44 theres very few such games notable in that style i think 14:46:59 -!- Madoka-Kaname has quit (Quit: Hug~♪). 14:52:46 -!- itidus20 has joined. 14:55:18 -!- itidus21 has quit (Ping timeout: 248 seconds). 15:06:39 -!- asiekierka has joined. 15:06:50 -!- ais523 has joined. 15:19:24 -!- azaq23 has joined. 15:29:48 -!- derdon has joined. 15:48:15 "Palindromes are rasemordnilap!" 15:59:01 the joke is that's a palindrome 16:00:13 -!- Zetro has quit (Ping timeout: 276 seconds). 16:00:32 -!- Madoka-Kaname has joined. 16:00:41 -!- Zetro has joined. 16:00:50 And yet NOÖNE has acknowledged my BRILLIANT joke in the /topic :( 16:02:43 it's not /that/ brilliant 16:02:43 ais523: You have 2 new messages. '/msg lambdabot @messages' to read them. 16:03:14 @ask elliott ? 16:03:14 Consider it noted. 16:05:33 ais523: :'( 16:07:28 Gregor: what is the brilliant joke? 16:08:07 ... the one in the /topic. 16:17:14 -!- itidus22 has joined. 16:21:01 -!- itidus20 has quit (Ping timeout: 276 seconds). 16:23:35 -!- impomatic has quit (Quit: impomatic). 16:23:46 -!- itidus22 has changed nick to itidus21. 16:30:37 -!- andkerosine has joined. 16:31:52 Does anybody know off the top of their head if I've accidentally made a clone? http://esolangs.org/wiki/Headsecks 16:33:01 -!- Taneb has quit (Ping timeout: 252 seconds). 16:34:31 andkerosine: You want the category "Brainfuck derivatives", not "Brainfuck equivalents" 16:35:03 Or maybe both, but the latter is barely-used and probably shouldn't exist (elliott?) 16:36:26 It doesn't deviate from Brainfuck in any meaningful way... 16:36:28 andkerosine: You mention ignoring values 8 or 9 modulo 8, but those are respectively 0 and 1 modulo 8... 16:36:40 0 % 8 == 0 16:36:46 8 % 8 == 0 16:37:09 I'm sure you've misinterpreted. 16:38:00 I'm sure that 8 % 8 == 0. Maybe I have misinterpreted the article, though. 16:38:50 Well, yes, that's obviously what I meant. I wasn't questioning your ability to do arithmetic 16:39:17 andkerosine: Hm hm hm, I misunderstood slightly, you're right. Still, probably everything in the latter should additionally be in the former. 16:39:36 Fair enough. 16:39:59 "each character of the source code is interpreted as its ordinal value modulo 8" 16:40:00 But I don't know what I'm talking about, trust elliott's opinion if he chooses to appear. 16:40:06 "characters for which a value of 8 or 9 is produced" 16:40:23 The "produced" bit in the latter pretty clearly refers to the former, I'd say. 16:41:18 Yes, and I don't see how you get anything other than the range [0,7] when you take positive integers modulo 8. 16:41:27 Precisely! 16:42:03 So the statement is meaningless and just there to confuse? 16:42:05 Or... heh, whoops. I suppose it could be worded a bit better. My apologies for hastiness. 16:42:30 Any characters which are congruent to 8 modulo 8 are also congruent to 0 modulo 8, so they'll map to 0 when you take the remainder. 16:45:54 -!- Sgeo has quit (Ping timeout: 246 seconds). 16:46:03 Which... will work as intended, I believe. 16:47:01 At least, nothing suspect showed up during preliminary testing, but that could be a result of running them all through the converter. 16:47:14 > ord ' ' `mod` 8 16:47:15 0 16:47:19 Space is plus. 16:47:55 That doesn't match with what I understand "silently ignored" to mean. 16:48:08 Note that the line has been removed. 16:49:03 What line? 16:49:10 Yeah, never mind. 16:49:32 Went to change it, saw I wasn't logged in, am login-banned, so switching browsers to change it now. 16:49:39 The line about silently ignoring, obviously. 16:50:11 Just asked to confirm since that sentence obviously wasn't removed. :-P 16:50:21 andkerosine: what were you login-banned from? 16:51:12 I reckon I need more coffee. Registered, forgot my password, tried to login five or six times, apparently too quickly. : / 16:51:34 on Esolang? 16:51:51 I thought it just put up a CAPTCHA when you did that, but maybe it's misconfigured 16:52:05 you probably don't need more coffee really 16:54:47 ais523: Well, it does display a captcha, but answering it correctly seems to serve no function. 16:54:57 huh 16:54:59 itidus21: How do you mean? : ) 16:55:31 andkerosine: it may have been your coffee in the first place which made you re-login so much 16:55:50 but then you may be right... i forget what programming feels like 16:56:19 ahh you weren't talking about programming -- I reckon I need more coffee. 16:56:33 Well, this is certainly a strange place for you to have wound up. ; ) 16:56:47 andkerosine: I'm not convinced that switching browsers will work, anyway 16:57:01 that sort of auto-ban, unfortunately I can't override; rebooting your router might help if you have a dynamic IP 16:57:19 One does not simply qwop into #esoteric 16:58:24 ais523: For what it's worth, switching browsers worked... 16:58:30 huh, hmm 16:58:42 Double indecision. 17:05:36 -!- coppro has joined. 17:06:01 -!- itidus21 has quit (Ping timeout: 252 seconds). 17:12:55 -!- Sgeo has joined. 17:17:46 -!- itidus20 has joined. 17:23:41 -!- Nisstyre has quit (Ping timeout: 246 seconds). 17:25:44 -!- andkerosine has left. 17:39:28 -!- nortti has quit (Quit: leaving). 17:40:02 -!- nortti has joined. 17:50:13 -!- david_werecat has quit (Read error: Connection reset by peer). 17:52:59 -!- oklofok has quit (Read error: Connection reset by peer). 17:53:10 -!- oklopol has joined. 17:54:57 -!- Slereah has joined. 18:00:49 -!- zzo38 has joined. 18:01:52 -!- nortti_ has joined. 18:03:25 wtf is the topic about? 18:04:31 nortti_: ask Gregor, it's some kind of joke apparently 18:04:43 ok 18:05:06 Gregor: wtf is the topic about? 18:05:10 presumably it's a joke about austria and australia 18:08:43 is there a limut how many lines can you send per minute before you get kicked out for flooding on freenode? 18:08:51 *limit 18:10:00 You all (except for kmc) suck at jokes. 18:12:38 well I didn't know that austria was named that in english and I couldn't figure out how someone could mistake switzerland could be confused with australia 18:12:59 -could mistake 18:14:27 I think the joke is missing some alps in australia 18:14:39 -!- oerjan has joined. 18:16:00 -!- oerjan has quit (Client Quit). 18:17:35 (P.S. I'd just like to point out that I got the joke from the start) 18:19:12 I got it immediately, but it isn't actually funny 18:19:30 is there a limut how many lines can you send per minute before you get kicked out for flooding on freenode? <-- yes, also a limit to how fast you send lines before ops get annoyed and kick you 18:19:42 ais523: exactly 18:19:47 nortti_: what's austria called in your native language? 18:19:58 itävalta 18:20:09 wow 18:20:25 eastrule is a crude literal translation 18:22:04 I managed to confuse austria and switzerland for a while though, got to thinking that the swedish for austria was a lot weirder than it is 18:22:34 -!- augur has joined. 18:22:37 nortti_: hmm, not that far from the German name "Österreich" 18:23:21 I know. I expected english to have something similar 18:23:50 austria probably means east kingdom in french or latin or whatever language that is 18:24:13 "aust" is quite close to "east" 18:24:40 could be a mangled form of österreich 18:25:30 ah: The name "Austria" is a Latinization of Österreich, which was first recorded in the 12th century. 18:25:33 This has led to much confusion as German Ost is "east", but Latin auster is "south". 18:29:45 -!- augur has quit (Ping timeout: 244 seconds). 18:31:49 -!- zos has joined. 18:32:04 Ugh. Rube Goldberg would be proud of my shellscripts 18:33:17 -!- augur has joined. 18:36:15 -!- zos has quit (Remote host closed the connection). 18:45:53 -!- Taneb has joined. 18:51:09 -!- Gregor has set topic: This just in: #esoteric has no sense of humor | http://codu.org/logs/_esoteric/. 18:54:55 Hello 18:55:13 That's funny 19:00:30 has anyone here used TWENEX (also known as TOPS-20)? 19:08:08 if not you should. sdf offers free shell account§ at twenex.org 19:20:38 -!- david_werecat has joined. 19:21:01 *www.twenex.org 19:28:26 -!- pikhq_ has joined. 19:28:46 -!- pikhq has quit (Ping timeout: 244 seconds). 19:30:09 I don't trust any domain that doesn't resolve without www. ... 19:30:17 Even extra-www.org resolves. 19:31:18 Gregor: wow, not only does www.org resolve, so does org. 19:31:55 oh, that's probably Firefox automatically adding the www 19:32:05 doesn't work in dig or w3m 19:32:28 -!- elliott has joined. 19:32:33 www.org is just a normal TLD, there's nothing interesting in the fact that it resolves *shrugs* 19:32:37 chrome appears to resolve http://org/ to about:blank 19:32:48 Erm 19:32:49 *SLD 19:32:49 Lame. 19:32:52 and fails on other TLDs 19:33:14 Hello, elliott 19:33:16 Gregor: well, org. resolving /would/ be interesting, but it doesn't :( 19:33:22 hi Taneb 19:33:22 elliott: You have 2 new messages. '/msg lambdabot @messages' to read them. 19:33:25 * ais523 wonders why people habitually omit the trailing dot on domain names 19:33:31 ais523: http://ai./ 19:33:32 ais523: Neener neener. 19:33:38 elliott: I know 19:33:50 ais523: because that is the convention 19:33:53 but org. is much more major, and therefore having an A record would be more surprising 19:34:06 20:33 ais523 asked 3h 30m 21s ago: ? 19:34:07 ais523: hi 19:34:08 also how do you participate in this conversation? I thought you filtered URLs 19:34:21 ais523: and because domain names are no more ambiguous without the trailing dot 19:34:34 I stopped filtering URLs ages ago 19:34:36 hi elliott 19:34:46 just didn't tell people in the hope they'd stop pinging me with them 19:35:07 you did tell people 19:35:12 oh, just didn't tell everyone 19:35:14 I probably told elliott 19:35:49 you told the channel, at least 19:37:00 (diff | hist) . . N Headsecks‎; 16:24 . . (+2,800)‎ . . ‎Andkerosine (Talk | contribs | block)‎ (Headsecks is born!) 19:37:05 noooo 19:37:12 elliott: he came here and asked if it had been done before 19:37:20 what, a brainfuck derivative? 19:37:25 that particular BF derivative 19:37:35 that's showing a surprising amount of genre knowledge :) 19:37:43 unfortunately, there are too many BF derivatives for one to ever repeat 19:37:47 *possible BF 19:38:08 ais523: we should put up an editnotice with a box saying "Is your language a brainfuck derivative? Please consider something more creative." 19:38:14 for new pages 19:38:19 haha 19:38:25 sadly, it should come up before people even come to the site 19:38:34 maybe we should buy ads 19:38:38 because normally they design the language first, /then/ come here to document it 19:38:39 on the web, billboards, etc. 19:38:48 "STOP MAKING BRAINFUCK DERIVATIVES" 19:39:44 09:44:36: elliott: Did you choose "yes" or "no"? 19:39:46 fizzie: I chose "no". 19:39:52 CAN'T TAME ME 19:39:57 -!- augur has quit (Remote host closed the connection). 19:40:16 ais523: Did you know your ISP DNS is probably censored now? :( 19:40:31 DNS? I thought it was using CleanFeed 19:40:33 (and yes) 19:40:40 09:37:05: look at what i get when loading http://thepiratebay.se/: 19:40:40 09:37:07: http://ompldr.org/vZHU2bg 19:40:55 at least, IIRC the court order was "and don't just change the DNS, block it properly", but in more legal language 19:41:17 -!- MoALTz_ has joined. 19:41:19 there are almost certainly hundreds of ways round it, ofc 19:41:39 well, Taneb said 19:41:40 09:40:01: elliott, government's told all the ISP's to block Pirate Bay 19:41:40 09:40:07: Try switching DNS 19:41:51 09:44:03: Or https://tpb.pirateparty.org.uk/ 19:41:55 must just be DNS, then, since that link works 19:42:18 does it resolve to the same IP, I wonder? 19:42:30 it resolves to the pirate bay 19:43:07 -!- asiekierka has quit (Remote host closed the connection). 19:43:31 -!- MoALTz__ has joined. 19:43:41 * ais523 feels vindictive at Facebook's share price 19:43:48 16:34:31: andkerosine: You want the category "Brainfuck derivatives", not "Brainfuck equivalents" 19:43:48 16:35:03: Or maybe both, but the latter is barely-used and probably shouldn't exist (elliott?) 19:43:53 Gregor: The latter is for things like Ook!. 19:43:58 nice to see the shares are doing badly; it's pretty rare for a company's share price to fall from the IPO 19:44:06 -!- MoALTz__ has quit (Client Quit). 19:44:21 well actually twenex.org resolves but it is a different machine (PDP-10) 19:44:24 Gregor: BF equivalents is for things where all the commands map 1:1 to BF's, with nothing added or removed 19:44:34 -!- MoALTz has quit (Ping timeout: 250 seconds). 19:46:07 oh well, I want to switch to another ISP anyway 19:46:36 elliott, TalkTalk haven't blocked it yet 19:46:37 16:36:26: It doesn't deviate from Brainfuck in any meaningful way... 19:46:43 ais523: this is a shocking level of self-awareness 19:46:55 yes, that's what I was commenting on 19:46:57 ais523: yeah, they deserved it 19:46:58 -!- MoALTz_ has quit (Ping timeout: 256 seconds). 19:47:37 I wish I could buy GOOG now :( 19:47:42 16:54:47: ais523: Well, it does display a captcha, but answering it correctly seems to serve no function. 19:47:52 * ais523 wonders if andkerosine already got the brick ready 19:47:55 coppro: so you could have stocks in the /other/ crappy social network? 19:48:05 ais523: hmm, maybe our CAPTCHA is too hard 19:48:16 elliott: I'm wondering if he got it right or wrong 19:48:18 elliott: no, because they got hammered due to FB, and are bouncing back up. 19:48:21 16:57:01: that sort of auto-ban, unfortunately I can't override; rebooting your router might help if you have a dynamic IP 19:48:28 "serving no function" I bet means "displays another CAPTCHA" 19:48:31 I can't buy since it would be insider trading, even though the impulse to buy isn't based on insider information. 19:48:33 which is how it handles invalid entries 19:48:41 (ConfirmEdit's UI is terrible...) 19:48:47 coppro: you work for a social network? 19:48:48 coppro: It was a: joke. 19:48:57 ais523: he works for Google 19:49:02 aha 19:49:13 spam I just got: 19:49:36 From: "Antelmo Alvarado García" (with the quotes) 19:49:37 Subject: Re 19:49:38 19:49:41 loan offer,reply back for more info. 19:49:44 (that's it) 19:50:50 18:17:35: (P.S. I'd just like to point out that I got the joke from the start) 19:50:51 i also 19:50:56 18:19:12: I got it immediately, but it isn't actually funny 19:50:57 this 19:51:16 18:22:37: nortti_: hmm, not that far from the German name "Österreich" 19:51:17 ostrich 19:52:01 heh, www.org is the W3C 19:52:01 cute 19:53:26 -!- coppro has quit (Quit: Lost terminal). 19:55:40 brainfuckxt.... why do people keep making brainfuck derivatives 19:55:52 -!- coppro has joined. 19:59:37 ais523: [http://esolangs.org/wiki/User:Kryptonx User:KryptonX] 19:59:38 how absurd 19:59:54 not everyone has to know wikisyntax 20:00:03 also, note that that corresponds to a piped link, not a regular one 20:00:05 they do 20:00:06 == External resources == 20:00:07 * [[Brainfuck++|Brainfuck++ -- A Brainfuck extension]] 20:00:12 oh dear 20:00:15 perhaps it's an srlink 20:00:19 srlink? 20:00:29 see {{srlink}} on Wikipedia, I invented it 20:00:42 it's for self-links that conceptually point to "Wikipedia" rather than "this site" 20:00:51 ah 20:01:35 "Articles about online communities may well discuss Wikipedia as an example, in a neutral tone, without specifically implying that the article in question is being read on—or is a part of—Wikipedia." 20:01:43 I really love Wikipedia's self-reference policy. 20:01:56 It makes the articles so much more fun to read. 20:03:03 hmm, http://en.wikipedia.org/w/index.php?title=Special%3AWhatLinksHere&target=Template%3ASrlink&namespace=0 is quite an interesting list 20:03:22 List of people associated with the Revolt of the Comuneros (transclusion) ‎ (links) 20:03:30 I smell a misuse... 20:03:40 wow that article cites answers.com 20:03:47 ooh, http://en.wikipedia.org/wiki/File:WP_on_Getty_images_with_watermark.jpg is reasonably confusing 20:04:06 ais523: it's used as an example on http://en.wikipedia.org/wiki/Copyfraud 20:04:08 which is brilliant 20:04:14 "An image of the Main Page of Wikipedia watermarked, claimed as copyrighted, and sold by Getty Images and Agence France-Presse. Wikipedia text is licensed CC-BY-SA 3.0 which requires the same or similar free license on all derivative works." 20:04:15 I know, that's how I found it 20:04:34 the best thing is the deletion notice, there's a raging debate as to whether it's copyvio or not 20:05:10 ais523: I think it might be original enough to count 20:05:31 you can see distortions from the screen, the browser chrome, the border of the laptop, the blankness behind it, and several watermarks 20:05:37 and also it's rotated 20:05:45 so I'd say it's probably a license violation 20:05:49 apparently, the deletion discussion's been going since January 20:05:50 and a copyvio 20:06:12 my guess is that Wikipedia and Getty are copyvioing each other 20:06:18 that doesn't surprise me, given that Commons is apparently seriously dysfunctional 20:06:25 brainfuckxt article: "make the language more powerful ... 100,000 ASCII Character slots" 20:06:36 nortti_: it's more powerful in that it's sub-TC 20:06:42 because there's only one level of loops 20:06:55 ais523: btw, can you give your assessment as to the computational class of BrainfuckXT? FSA or LBA, I suspect 20:07:02 I'm wikifying it and want to put it in a computational class category 20:07:14 that'd mean actually reading the article 20:07:17 do I /have/ to? :) 20:07:24 http://esolangs.org/wiki/brainfuckXT 20:07:26 yes :) 20:07:27 let's go 20:07:58 Wait 20:08:12 ais523: "The image is a derivative of a CC-BY-SA image, so by the plain reading of the CC-BY-SA license must be (and is) licensed CC-BY-SA." 20:08:19 hmm, we have infinite memory, but awkward control flow 20:08:20 ais523: these people need to play nomic... 20:08:21 nortti_: it's more powerful in that it's sub-TC because there's only one level of loops // the interesting thing is that we don't need infinite levels of loops to simulate a UTM, so the question is, how many depths of loops renders it TC (OH GOD FANCY L) 20:08:27 If Getty violated Wikimedia's terms, Wikimedia cannot then go use the illegally licensed image itself? 20:08:29 elliott: that's not true; there's also the possibility that it's illegal 20:08:30 SHALL but didn't 20:08:46 ais523: indeed 20:08:50 this is something that people keep getting wrong about the GPL, incidentally 20:08:51 Sgeo: of course not, Getty hold the copyright to it; if they didn't, they wouldn't be able to license it as CC-BY-SA 20:08:55 which is what they're required to do, of course 20:08:58 it's commonly used to spread FUD 20:09:02 There's also the possibility of fair use, lest we forget. 20:09:10 it's copyrighted to them and not released under any free license, so it's illegal for Wikimedia to use it 20:09:13 elliott: I believe Getty and Wikimedia both hold the copyright to parts of it 20:09:15 OTOH, Getty are also breaking the law 20:09:17 but that's a separate matter 20:09:19 as does whoever wrote the main page blurbs on the day in question 20:09:30 Gregor: well... 20:09:35 Gregor: I doubt you could use that under fair use 20:09:38 you can hardly argue it's irreplacable 20:09:44 I could make a similar image in 10 minutes 20:09:47 Probably not, but it's an angle of argument. 20:09:54 Gregor: also, it's probably being misused as fair use 20:09:58 it's being used to illustrate copyfraud 20:10:01 rather than Wikipedia, or... computers 20:10:03 actually, this is confusing; it has while and an if that can go inside it, but the tape is 100000 elements long, but it also supports arbitrary-length strings 20:10:09 or photography at weird angles 20:10:14 so it's being used for a sort of meta-use 20:10:21 which is probably not OK fair use 20:10:29 ais523: are you sure it supports arbitrary-length strings? 20:10:35 Gregor: also, it's probably being misused as fair use // I actually meant fair use the other way, Getty may be able to argue free use. 20:10:39 Erm 20:10:41 *fair use 20:10:50 elliott: there's no indication anywhere that the strings are bounded in length 20:10:56 Gregor: err, hmm 20:10:59 elliott: If it makes you feel better, that image is currently marked for deletion due to potential copy vio. 20:11:02 that's interesting, but I don't know if it's true 20:11:05 if the "indexing integer" has unlimited range, I think it's TC 20:11:07 pikhq_: that's what we're discussing 20:11:07 but... would a similar image really be a suitable example of copyfraud? 20:11:23 ais523: if it's an indexing integer, presumably the maximum value is 100,000 20:11:24 elliott: Neither do I, I'm just saying it's a possible argument for Getty :) 20:11:26 wait, no 20:11:36 olsner: no, but that doesn't change the fact that Wikipedia are probably misusing it and so it doesn't count as fair use for them in the first place 20:11:43 elliott: no, there's the tape ("ASCII slots"), which is 100000 characters long 20:11:54 and also 30,000 "string slots" which hold arbitrary-length strings 20:12:08 hmm 20:12:27 wait, no, there's no way to read the value of a string or a character in a string, only to print it out 20:12:30 that language has far too many print operators 20:13:34 hmm, maybe i should tell dtsund he's probably violating the Crawl license 20:14:09 how? 20:14:23 haha, Randall Munroe CC-by-saed exactly one panel of xkcd, so that Wikipedia could use it to illustrate the article 20:14:26 he's importing commits from Stone Soup, but not attributing their authors 20:14:41 haha, Randall Munroe CC-by-saed exactly one panel of xkcd, so that Wikipedia could use it to illustrate the article // lolwut? Which? Where? 20:14:45 I always make sure to attribute the authors when importing in NetHack 4 20:14:50 http://en.wikipedia.org/wiki/File:Xkcd_philosophy.png 20:14:53 actually 20:14:57 why is he even making new commits? 20:14:58 it's git 20:15:02 he can just cherry-pick the commit 20:15:07 and have git track the authorshi 20:15:08 "just", hahahaha 20:15:08 p 20:15:15 ais523: oh shush, it's not that difficult 20:15:22 it usually doesn't work 20:15:30 anyway, maybe I won't bother telling him, probably nobody cares 20:15:35 also, git doesn't track the authorship specially, just appends something to the commit message 20:15:52 (but I feel bad about it) 20:16:27 there are a few other CC-by-saed xkcd panels, mostly ones that refer to Wikipedia itself 20:16:36 -!- jobes has joined. 20:16:51 Whoaaaah, we have a visitor from the land of ipv6. 20:17:11 `welcome jobes 20:17:14 jobes: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 20:17:15 Are you from... the future? 20:17:23 -!- Taneb has quit (Quit: goodnight). 20:17:32 hello 20:18:00 hi 20:18:29 ais523: hmm, simply adding the authors of all the imported commits to a file in a new commit should be sufficient, right? 20:18:43 -!- ais523 has quit. 20:18:53 good way to avoid giving legal advice 20:19:15 -!- augur has joined. 20:19:23 -!- augur has quit (Remote host closed the connection). 20:22:13 -!- jobes has left ("Odcházím"). 20:30:28 Hmm 20:30:39 I want to give illegal advice, but how... 20:31:07 I am a laywer and a doctor. I recommend taking your heart out and carving your will into it. 20:32:01 ok 20:34:35 -!- Nisstyre has joined. 20:35:02 As a lawyer, I wholeheartedly recommend misrepresenting yourself as a lawyer. 20:35:30 as your attorney i advise you to rent a very fast car with no top 20:41:16 Now I think this may be the proper way to define an improper religion: "who use deceptive recruitment practices and use advanced psychological manipulative techniques to reduce their followers to near-zombie state. They entrap followers within the group and destroy their ability to think logically." 20:41:56 Sgeo: It would probably be difficult to do anything if your heart has been removed, isn't it? 20:42:07 I am high on SLEEP DEPRIVATION 20:42:20 hi 21:02:14 -!- david_werecat has quit (Ping timeout: 245 seconds). 21:05:19 OK, I'm terrified of mine and/or ais523's powers now. 21:23:31 http://ompldr.org/vZHU2bg <-- I heard using google translate on the page usually works 21:23:37 (if you are still looking for a solution) 21:24:08 That sounds a lot more painful than just using a different DNS server or the alternate domain name... or not using TPB, which has been working fine for me. 21:24:12 and with magnet links, there is no tracker to block 21:24:25 elliott, ah okay, the google translate trick is for when the IP is blocked too 21:25:25 -!- nortti_ has quit (Quit: AndroIRC - Android IRC Client Sucks @$$( http://www.androirc.com )). 21:44:12 someone misusing the tag :( 21:46:04 night 21:46:30 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 22:05:28 Something very strange has happened ... 22:05:44 Either my sense of smell /markedly/ and inexplicably improved during the night between Saturday and Sunday, 22:05:57 or I'm having some kind of multi-day psychotic event in which I imagine that my sense of smell has markedly improved. 22:07:40 The fact that I mostly seem to smell something akin to the taste of rust, which I interpret to be blood, lends credence to the latter explanation. 22:08:17 Gregor: Your fnarfitude is fnarfolving. 22:09:03 Gregor: If it helps, blood is quite metallic for normal people, too :P 22:09:26 The point is that I don't think I should be smelling blood. 22:09:30 What with the lack of blood around me. 22:09:42 Gregor: Blood is INSIDE you, man. 22:09:50 You're fnarfing YOURSELF. 22:10:04 Uhh 22:12:17 -!- itidus22 has joined. 22:13:03 JESUS 22:13:10 My eye is burning 22:13:14 I just smelled mints 22:13:53 Mmmmm 22:13:56 Gregor: Mints smell lovely. 22:14:03 They also taste lovely. 22:14:11 They might clear up that rusty smell! 22:14:55 -!- itidus20 has quit (Ping timeout: 260 seconds). 22:17:42 -!- itidus22 has quit (Ping timeout: 244 seconds). 22:19:24 Note to self: add to vocabulary: noöne 22:19:44 "no-one" is an awful word 22:19:45 say nobody 22:20:02 No, say nopony. 22:20:06 HAW HAW HAW *runs* 22:20:14 noöne looks even better (as in more awful). 22:22:01 -!- itidus21 has joined. 22:23:32 -!- calamari has joined. 22:26:31 -!- monqy has joined. 22:26:58 -!- madbr has joined. 22:26:58 p 22:27:06 q 22:27:09 r 22:27:38 -!- itidus21 has quit (Ping timeout: 240 seconds). 22:27:40 q 22:27:47 p 22:27:53 q 22:28:05 -!- pikhq_ has quit (Ping timeout: 248 seconds). 22:28:07 ÑŽ 22:28:26 Êž 22:35:12 -!- itidus21 has joined. 22:37:50 -!- pikhq has joined. 22:45:23 -!- azaq23 has quit (Quit: Leaving.). 22:50:52 -!- Patashu has joined. 23:07:17 I think that if the tax brackets are 10% up to $50.00 and 20% up to $100.00, then if you earn $51.00 then the amount of tax you pay should be $5.20 23:08:20 yeah that's how tax brackets work 23:08:28 otherwise it would be totally braindead 23:16:05 -!- nooga has quit (Ping timeout: 248 seconds). 23:27:17 -!- augur has joined. 23:30:03 -!- myndzi has quit (Ping timeout: 244 seconds). 23:31:33 -!- myndzi has joined. 23:33:04 -!- pikhq has quit (Ping timeout: 245 seconds). 23:33:09 -!- pikhq has joined. 23:33:53 -!- kwertii has joined. 23:44:05 -!- PatashuXantheres has joined. 23:45:12 -!- Patashu has quit (Ping timeout: 252 seconds).