00:05:26 Is there any EFnet IRC server for Telus? 00:05:48 -!- L8D has quit (Ping timeout: 256 seconds). 00:15:43 -!- L8D has joined. 00:20:01 -!- heroux has quit (Ping timeout: 245 seconds). 00:20:45 -!- L8D has quit (Ping timeout: 255 seconds). 00:25:12 -!- ProofTechnique has joined. 00:32:52 -!- oerjan has joined. 00:37:59 -!- vodkode has quit (Ping timeout: 246 seconds). 00:48:13 -!- GeekDude has quit (Quit: See you guys at the great debugger in the sky). 00:49:53 -!- shikhin has quit (Ping timeout: 246 seconds). 00:54:39 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:06:52 -!- Patashu has quit (Remote host closed the connection). 01:07:04 -!- Patashu has joined. 01:11:27 https://www.youtube.com/watch?v=AJP-VOC7IDM 01:11:49 -!- Patashu has quit (Ping timeout: 264 seconds). 01:11:50 -!- Patashu has joined. 01:17:58 -!- bb010g has quit (Quit: Connection closed for inactivity). 01:26:20 -!- AndoDaan has quit (Quit: Going, going, gone.). 01:38:08 -!- guawguaw has joined. 01:43:46 -!- izabera has joined. 01:53:16 -!- adu has joined. 01:56:18 `relcome izabera 01:56:20 izabera: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 01:56:38 hello :) 01:56:46 wait, are you human? 01:57:11 well i'm assuming you're human since you used a different bot <.< 01:57:28 we think elliott is human 01:57:31 fungot: Are you friends with HackEgo? 01:57:31 ProofTechnique: http://www.ccs.neu.edu/ scheme/ fnord) 01:57:42 we haven't seen conclusive proof, though 01:57:44 human is close enough :p 01:58:33 prove you're human: what is 6 times 9 ? 01:58:42 fungot: What is 6 times 9? 01:58:42 ProofTechnique: http://www.demi.fi/ fnord and the reverse of last time i checked minion is perpetually disgruntled." fnord erasmus ( paraphrased) 01:58:49 hey i can be human even if i know that! 01:58:50 beep. boop. reference recognised. beep. boop. 01:59:13 @google 6 times 9 01:59:14 54 01:59:14 http://www.urbandictionary.com/define.php?term=6+times+9 01:59:14 Title: Urban Dictionary: 6 times 9 01:59:16 guawguaw | show gratis (solo hooy) --> http://s422803032.mialojamiento.es/ 01:59:38 izabera: we do sometimes have bots that use each other, though 01:59:53 i thought i was the only one who wrote such bots ._. 01:59:53 -!- ChanServ has set channel mode: +o elliott. 01:59:56 -!- elliott has set channel mode: +b *!*guawguaw@84.78.23.*. 01:59:57 -!- elliott has kicked guawguaw guawguaw. 02:00:00 -!- elliott has set channel mode: -o elliott. 02:00:10 ^source 02:00:10 https://github.com/fis/fungot/blob/master/fungot.b98 02:00:15 and i was just wondering whether to `relcome guawguaw 02:00:17 this is a good channel for ridiculous bot things >_> 02:00:26 haha 02:00:36 oh shit wtf is that 02:00:39 befunge 02:01:10 befunge-98, yeah 02:01:45 you're insane 02:01:53 it's fizzie's bot!! 02:01:55 but, granted. 02:02:04 The headline features -- you know, the ones I advertise to prospective licensees -- are the (n-gram) babbling, the brainfuck interpreter and the Underload interpreter. 02:02:37 -!- ChanServ has set channel mode: +o oerjan. 02:02:55 -!- oerjan has set channel mode: +b *!*@84.78.*. 02:02:58 I already kicked guawguaw 02:02:59 -!- oerjan has set channel mode: -o oerjan. 02:03:00 oh 02:03:08 Which reminds me, I really should slap a suitable permissive license on fungot. I thought I did that. 02:03:08 fizzie: but nothing from ihope? i'm inside your mom!!! so... but given that this is a good 02:03:10 yes, i just noticed it was reusing that ip range 02:03:29 fizzie: I can't wait for the first pull request. 02:04:17 fungot is more vulgar than usual today... 02:04:17 elliott: either way it'd be c++ not c. pressy too on the final 02:05:11 elliott: it was also the same bot that used the 213.143.* range (from two different subnets) previously 02:05:17 * elliott nods 02:05:22 I hope 84.78 isn't too big 02:05:34 I mean it could just be using a botnet or something but 02:05:59 orange in spain, judging from the email listed 02:06:03 84.78.0.0-84.79.255.255, YACOMNET, "Ya.com Internet Factory". 02:06:27 ^ul (:::::::):(:((^:()~((:)*~^)a~*^!!()~^))~*()~^^)~(^a(*~^)*a~*()~^!()~^)a~**^!!^S 02:06:27 :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: ...too much output! 02:06:35 ^ul (::):(:((^:()~((:)*~^)a~*^!!()~^))~*()~^^)~(^a(*~^)*a~*()~^!()~^)a~**^!!^S 02:06:35 :: 02:06:49 ^ul (:::):(:((^:()~((:)*~^)a~*^!!()~^))~*()~^^)~(^a(*~^)*a~*()~^!()~^)a~**^!!^S 02:06:49 :::::: 02:06:56 Well, all right, then 02:07:03 izabera: I want to say the channel is usually less of a mess than this but it isn't really 02:07:03 don't we have a factorial that uses decimals 02:07:20 what mess, we're even on topic 02:07:28 fizzie: How much for a fungot license? 02:07:29 shachaf: " you don't need to save the values of any of this even now 02:07:35 heh 02:07:59 Normally we talk about the holy vowel Ø 02:08:43 ^ul (:(1)*(:(2)*(:(3)*(:(4)*(:(5)*(:(6)*(:(7)*(:(8)*(:(9)*(!~:^)))))))))):(~^~(~a~*~a~*)~a*^:(0)*)~a*~:(a(:^)*())~*a(:^)*~()~(0)((!^~)())((:(~:(,)*S~^!^)~a*^:^~!a~^*a*)~a*^:^):^ 02:08:44 0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597, ...out of time! 02:08:53 we had fibonacci 02:09:01 shachaf: That would depend on what kind of terms you'd like on it. 02:09:22 ^ha 02:09:22 ha. ha. ha ha. ha ha ha. ha ha ha ha ha. ha ha ha ha ha ha ha ha. ha ha ha ha ha ha ha ha ha ha ha ha ha. ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha. ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha. ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ...too much output! 02:09:32 oerjan: We also had that. 02:09:34 ^show ha 02:09:34 ((ha)(ha))(~:^:(. )*S( )~**a~^!a*~:^):^ 02:09:48 fizzie: I'd like to use it in the design, construction, operation and maintenance of a nuclear facility. 02:10:20 shachaf: I probably wouldn't want to be on the same continent, then. 02:10:55 OK, so it's fine in North America? 02:11:36 I feel like I should be asking for legal advice before answering. 02:12:14 What other programming language you write IRC bots with? Is it QBASIC? 02:12:16 elliott: btw based on the spam bot's behavior (it didn't message me) i suspect it only messages people who joined after it, or something 02:12:21 I can't get Java, but at least I can get fungot. 02:12:21 shachaf: too difficult. :-p help would be appreciated.) obfuscated c contest with that 02:12:34 oerjan: probably not since it messaged me 02:12:37 I was just too lazy to ban it :( 02:12:39 ah. 02:12:44 I'd like to get legal advice but I'm not sure how to find a lawyer. 02:12:57 I was hoping nobody would notice it 02:13:01 until it got k-lined 02:13:05 "I have this friend who wants to use my Befunge chatbot in their nuclear facility..." is a great email opening to a lawyer, probably. 02:13:18 (The last sentence is actually serious.) 02:13:36 I think we have an intranet page on how to find a lawyer, but it's probably mostly about business purposes. 02:14:11 You have so many great intranet pages. 02:14:15 Like [redacted]. 02:17:10 to find a lawyer, go to the intersection of the two biggest streets in a large city, and get hit by a car. 02:18:37 or the yellow pages 02:19:23 there are pros and cons to both options 02:19:46 I'd like someone who knows about employment law. 02:19:55 Oh well. I'll figure it out. 02:20:06 Maybe there's a Yelp for lawyers? 02:20:31 There's a website called upcounsel.com. It doesn't look like a joke. 02:20:34 (Although from what I've understood by reading a blog now and then, lawyer selection still happens a lot via plain old human networking.) 02:20:44 "Can you send me a message on Upcounsel?" 02:20:46 find the CEO of a company whose workers are unionized, and ask for a recommendation 02:20:58 OK, maybe I should say that it doesn't look like it's *just* a joke. 02:23:10 I've had employment-related advice from "Academic Engineers and Architects in Finland TEK", "a professional and labour market organisation" -- mostly because advice is free for members. But that's a highly situational tip. 02:29:47 -!- AndoDaan has joined. 02:44:23 -!- AndoDaan has quit (Read error: Connection reset by peer). 02:44:40 -!- AndoDaan has joined. 02:50:09 -!- AndoDaan has quit (Ping timeout: 255 seconds). 02:51:30 -!- Valentina has joined. 02:51:53 l 02:54:04 ? 02:55:37 -!- Patashu has quit (Ping timeout: 264 seconds). 02:59:58 -!- AndoDaan has joined. 03:01:56 `bienvenido Valentina 03:01:58 Valentina: ¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en irc.dal.net.) 03:03:23 Valentina: Además, si no te importa, nos gustaría saber cómo los usuarios canaima siguen encontrando este canal. 03:04:07 (Yo no hablo español bien, estoy utilizando Google Translate) 03:05:29 -!- L8D has joined. 03:09:22 yo lo tengo por mi canaima. 03:10:50 -!- L8D has quit (Ping timeout: 265 seconds). 03:16:20 `benvenuto oerjan 03:16:21 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: benvenuto: not found 03:16:23 -!- Patashu has joined. 03:16:25 awww 03:16:59 contributions welcome >.> 03:18:01 how do i contribute >.< 03:18:50 I may have just bought overly-expensive tweezers 03:22:32 -!- Patashu has quit (Disconnected by services). 03:22:32 -!- Patashu_ has joined. 03:25:46 -!- Patashu_ has quit (Remote host closed the connection). 03:26:04 Do you have any FOAF RDF? 03:26:36 -!- Patashu has joined. 03:28:03 -!- _2_Emma has joined. 03:28:28 <_2_Emma> Isle Decker 03:28:47 i... agree 03:28:50 izabera: it's a unix system! 03:28:51 `help 03:28:52 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 03:28:52 izabera: what language is benvenuto 03:28:54 `run ls bin 03:28:56 ` \ ^.^ \ ̊ \ ! \ ? \ ¿ \ ' \ @ \ ؟ \ ＷＥＬＣＯＭＥ \ \ \ 2014 \ 2015 \ 8ball \ 8-ball \ aaaaaaaaa \ addquote \ addwep \ allquotes \ analogy \ anonlog \ as86 \ aseen \ bf \ bienvenido \ botsnack \ bseen \ buttsnack \ calc \ CaT \ catcat \ cats \ cc \ cdecl \ c++decl \ chroot \ coins \ CoInS \ complain \ complaints \ ctof \ dandd 03:28:56 -!- _2_Emma has quit (Read error: Connection reset by peer). 03:29:12 so... you write a shell script. >.> 03:29:17 `cat bin/bienvenido 03:29:18 #!/usr/bin/perl -w \ if (defined($_=shift)) { s/ *$//; s/ +/ @ /g; exec "bin/@", $_ . " ? welcome.es"; } else { exec "bin/?", "welcome.es"; } 03:29:24 or that I guess. 03:29:27 *guess. 03:29:28 ah italian 03:29:46 it should go in welcome.it, clearly 03:30:06 right. but then you'd have to copy and sed the perl script since I guess they're all just manually modified copies 03:30:09 oh well 03:30:38 `run cp bin/{bienvenido,benvenuto}; sed -i 's/es/it/' bin/bienvenuto 03:30:42 sorry i wasn't reading 03:30:44 sed: can't read bin/bienvenuto: No such file or directory 03:30:59 oops 03:31:04 `run cp bin/{bienvenido,benvenuto}; sed -i 's/es/it/' bin/benvenuto 03:31:06 No output. 03:31:06 oerjan: 20:32 one of these days i'll write a shachaf bot that takes random text and puts hth on the end and i,i at the start at random intervals throughout 03:31:18 `cat bin/benvenuto 03:31:19 #!/usr/bin/perl -w \ if (defined($_=shift)) { s/ *$//; s/ +/ @ /g; exec "bin/@", $_ . " ? welcome.it"; } else { exec "bin/?", "welcome.es"; } 03:31:23 argh 03:31:30 `run cp bin/{bienvenido,benvenuto}; sed -i 's/es/it/g' bin/benvenuto 03:31:34 No output. 03:31:35 `cat bin/benvenuto 03:31:36 #!/usr/bin/perl -w \ if (defined($_=shift)) { s/ *$//; s/ +/ @ /g; exec "bin/@", $_ . " ? welcome.it"; } else { exec "bin/?", "welcome.it"; } 03:31:47 `benvenuto 03:31:47 welcome.it? ¯\(°_o)/¯ 03:31:56 `ls 03:31:57 :-( \ 113500 \ a.out \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dc \ dog \ error.log \ etc \ factor \ faith \ fu \ head \ hello \ hello.c \ ibin \ index.html?dl=1812 \ interps \ lib \ MaFV \ paste \ pref \ prefs \ py.py \ quines \ quotes \ script.py \ share \ src \ test \ test.c \ Wierd \ wisdom \ wisdom.pdf 03:32:17 izabera: now you put the actual translation in wisdom/welcome.it 03:32:59 -!- Patashu has quit (Ping timeout: 246 seconds). 03:33:32 ok so it's not really a shell 03:34:49 izabera: it's a unix system! <-- are you trying to get em to release the raptors tdnh 03:35:04 -!- Patashu has joined. 03:35:34 izabera: it uses full bash actually 03:35:36 if you use `run 03:35:40 oh 03:35:42 well 03:35:44 ok 03:35:51 `run echo 'int main() { return 123; }' | gcc -x c - && ./a.out; echo $? 03:36:00 123 03:36:04 edwardk: i,i twh please do it hth 03:36:05 that took a while 03:36:13 yeah it can take a little while to start up sometimes 03:36:15 I don't quite know all of the programs on there 03:36:18 `run echo 'int main() { return 123; }' | gcc -x c - && ./a.out; echo $? 03:36:20 123 03:36:22 I think they might have added SQLite too 03:36:24 it's warmed up now :P 03:36:44 `run echo 'int main() { return 42; }' | gcc -x c - && ./a.out; echo $? 03:36:48 42 03:37:04 you can use precompiled headers 03:37:13 the warmup is just the VM startup I think 03:37:16 it uses user mode linux 03:37:24 so it's essentially booting an entire kernel on every command. 03:37:46 so i'd be waiting a while if i tried to get it to install ghc ;) 03:37:55 elliott: /j #evalbot 03:37:56 Maybe they should fix it? Maybe there is the way to avoid a bit somewhat 03:38:01 -!- Patashu has quit (Remote host closed the connection). 03:38:07 evalbot runs in qemu with a saved state 03:38:35 * elliott nods 03:38:38 edwardk: it used to have ghc but Gregor didn't bother to install it again when he moved it between servers :( 03:38:48 -!- Patashu has joined. 03:38:49 ah well 03:38:58 hackego has persistent state and so on which is nice 03:39:01 but maybe that does too 03:39:25 no it doesn't 03:39:30 edwardk: also since you've been mentioning around something i've also thought of, someone should totally make rank-n constraints work hth 03:39:33 * elliott nods 03:39:44 It does even have SQLite version 3.7.13 03:40:03 (With no extensions, as far as I know) 03:40:09 (class (Category a, forall b. Applicative (a b)) => Arrow a where ...) 03:40:28 `sleep 10 03:40:36 is there no timeout? 03:40:39 No output. 03:40:40 30 seconds or so 03:40:43 !sh echo hi 03:40:44 hi 03:40:45 oh that's a lo t 03:40:51 that's more comparable to that evalbot I guess 03:40:55 !sh echo * 03:40:55 interps lib slox 03:40:56 (no persistent state etc.) 03:40:57 edwardk: also while i'm stalking, hope you're feeling better 03:41:15 still sick, but meh 03:41:28 actually I wonder why it's so much faster 03:41:31 I forget how EgoBot sandboxes !sh... 03:41:41 !sh whoami 03:41:42 /usr/bin/whoami: cannot find name for user ID 1243611 03:41:42 i made a bot that lets you use the ed editor 03:41:45 !sh whoami 03:41:45 /usr/bin/whoami: cannot find name for user ID 1924701 03:41:46 do you know ed? o_o 03:41:48 a better way to think about Arrow to me is class (Strong p, Category p) => Arrow p -- using profunctors 03:41:59 I've used ed to edit files for real a few times! 03:42:03 mostly just so I could say I did it though 03:42:11 haha 03:42:17 elliott: i only edited them for you as a courtesy ;) 03:42:23 -!- Valentina has quit (Ping timeout: 244 seconds). 03:42:23 haha 03:42:40 yeah, thanks for implementing all those lens changes I telepathically communicated to you over the years... 03:42:46 np 03:42:52 thank you for the idea 03:44:08 izabera: ...what does the bot actually edit, though? 03:45:04 files 03:45:06 you know 03:45:33 gimme a min, i'll bring it here 03:47:45 * izabera is building dependencies and adding the ingredients 03:47:48 You can edit whatever files are stored in its filesystem 03:47:54 no 03:48:00 i patched it 03:48:35 HackEgo can edit any file under its directory, but not the others 03:48:41 And using hg I think? 03:48:54 Therefore you can't use any file that is not compatible with hg 03:50:50 -!- edirc has joined. 03:50:59 +i 03:50:59 0 03:51:04 +hello world 03:51:06 +. 03:51:06 -!- zzo38 has left. 03:51:09 +p 03:51:09 hello world 03:51:13 nice 03:51:25 of course I immediately forget all the ed I once knew :( 03:51:36 I've probably used TECO more 03:51:53 Is there a regular expression library that supports intersections and complements? 03:52:07 intersections? 03:52:28 ok i think i got it and the answer is no 03:52:32 text matches (P&Q) if it matches P and it matches Q 03:52:57 .*P.*Q.*|.*Q.*P.* 03:53:21 will work if it's no anchored 03:54:20 ed is a good editor for over a crap connection 03:54:36 and over irc :D 03:55:09 well, people often do not form very close bonds over IRC 03:55:11 so you could call it a 03:55:12 crap connection 03:55:21 thank you. I'm here all week 03:55:23 haha 03:55:49 izabera: Anchored? 03:56:15 yeah it won't work if either P or Q use ^ or $ 03:56:51 the point is ([abc]&[bcd]) would be the same as [bc], I think 03:56:57 as in, both P and Q run over the same string 03:57:04 rather than P coming after Q or vice versa 03:57:26 Yes. 03:57:39 (so, the set of strings that match (P&Q) is the intersection of the set of strings that match P and the set of strings that match Q) 03:57:51 mmh 03:58:20 I wonder if that operation is computable. as in whether there is a function over regexps that produces a new regexp with that property 03:58:20 And (!P) matches a string when P doesn't match it. 03:58:20 I thing perl regexes have something like that 03:58:20 Yes, there is. 03:58:21 I guess probably yes, regular languages have nice properties 03:58:27 But it's double-exponential or something. 03:58:35 (?!P) does that in some regexp engines I think? 03:58:37 but maybe it's weird 03:58:48 Lookahead/lookbehind is close but not quite the same thing. 03:58:50 using those "lookaround assertions" 03:58:51 (?!P) is not preceded by P 03:58:58 no 03:59:01 it's the complement? 03:59:02 E.g. it'll look even outside the parentheses. 03:59:03 mmh 03:59:05 sorry 03:59:22 regexps are too complicated and it's too 4 am for them :( 03:59:33 Regexps are the best. 03:59:53 But regular languages support intersection and complement, so it's silly that regular expressions don't. 04:00:14 I think you can implement them more efficiently in practice for the cases that people would care about. 04:00:17 But I don't really know. 04:02:02 izabera: does edirc have a bug bounty if I manage to break out of ed? :p 04:02:22 well, you'd win my gratitude 04:02:51 probably too lazy to actually try fuzzing it locally 04:03:06 +t1 04:03:09 +t1 04:03:11 +,n 04:03:11 1hello world 04:03:11 2hello world 04:03:12 3hello world 04:03:17 +t2 04:03:20 +,n 04:03:20 1hello world 04:03:20 2hello world 04:03:20 3hello world 04:03:22 4hello world 04:03:35 mmh 04:03:52 it's been a while and i don't really remember all of this 04:04:07 +q 04:04:12 :( 04:04:15 my leet hacker skills are not enough 04:05:10 nice try tho 04:05:24 do I get points for trying? 04:05:35 :P 04:05:47 that's got to be worth at least a 100th of a gratitude! 04:05:56 a gratiton. the fundamental gratitude particle 04:07:03 i need to not be sleep deprived when new people join ideally 04:07:21 ah yes now it sleeps 2 secs after printing 3 lines 04:08:50 +,d 04:08:52 +i 04:08:55 +reeter 04:08:57 +. 04:09:03 +streetlight 04:09:04 +p 04:09:04 lighter 04:09:07 tada 04:09:43 streetlight == s/ree/ligh/ 04:10:29 ok so sleepy time for me :P 04:10:36 nice chan ^^ 04:10:40 and sorry for the bot spam 04:10:43 +w !sh 04:10:43 ? 04:10:53 +h 04:10:54 Shell access restricted 04:11:13 aha 04:11:18 you can export the file you're editing 04:11:21 with X 04:11:23 +X 04:11:23 8 04:11:25 http://arin.ga/MaxYHB/raw 04:11:55 g'night 04:12:00 nite :) 04:12:23 nity-nite 04:14:17 I wonder if that operation is computable. <-- it's trivial when the "regexp" is in DFA form, the hard but still well-known part is converting back and forth 04:16:30 source https://github.com/izabera/edirc 04:16:56 edirc: are you a ghost? 04:17:07 Intersection NFAs isn't completely obvious, I think. 04:17:25 The annoying thing is that you need a multiplicative number of states, not just additive like for union. 04:17:50 Well, I guess that's the only nonobvious part. 04:18:09 -!- fractal has quit (Quit: ZNC - http://znc.in). 04:18:25 shachaf: thus why i said DFAs. by the way that also applies to !P 04:18:52 I think it was also nonobvious for DFAs, but I guess it depends on what you consider obvious. 04:19:22 And sure it applies to !P, since A&B = !((!A)|(!B)) 04:19:27 "running two DFAs in parallel, construct an equivalent one by pairing states" 04:19:36 that's why i consider obvious. 04:19:40 *what 04:20:22 yeah the intersection construction is pretty trivial 04:20:23 basically you get any boolean combination that way 04:30:05 -!- fractal has joined. 04:32:44 -!- dianne has joined. 04:41:15 -!- adu has quit (Quit: adu). 05:07:48 -!- hjulle has quit (Ping timeout: 265 seconds). 05:14:11 -!- L8D has joined. 06:31:02 -!- L8D has quit (Ping timeout: 264 seconds). 06:50:41 -!- CADD has quit (Quit: Lost terminal). 06:51:00 -!- CADD has joined. 07:28:18 -!- sebbu has quit (Quit: reboot). 07:31:05 -!- bb010g has joined. 07:42:51 -!- shikhin has joined. 07:44:54 -!- J_Arcane has joined. 07:50:27 -!- heroux has joined. 07:57:56 -!- dianne has quit (Quit: ~). 07:59:14 -!- heroux has quit (Ping timeout: 264 seconds). 07:59:41 -!- heroux has joined. 08:14:21 -!- L8D has joined. 08:31:17 If 's plastic top is damaged, could that mean it contacted electronics and damaged something? 08:36:20 -!- sebbu has joined. 08:50:04 :t asTypeIn 08:50:05 a -> (a -> b) -> a 08:50:21 wait, it's _not_ a -> f a -> a ? 08:51:05 dammit why does lambdabot have a function that i cannot hoogle 08:56:38 if it does. i thought i saw it mentioned but i cannot remember the name. 08:56:46 > asTypehuh 08:56:48 Not in scope: ‘asTypehuh’ 08:56:55 > asTypeO 08:56:56 Not in scope: ‘asTypeO’ 08:56:56 Perhaps you meant one of these: 08:56:56 ‘asTypeOf’ (imported from Prelude), ‘asTypeIn’ (line 161) 08:57:06 > asType 08:57:07 Not in scope: ‘asType’ 08:57:07 Perhaps you meant one of these: 08:57:07 ‘asTypeOf’ (imported from Prelude), ‘asTypeIn’ (line 161) 08:57:18 oh well seems there isn't another 09:00:36 argh it's not in the default lambdabot distribution 09:01:08 int-e: where can i see the default L.hs lambdabot actually _uses_? 09:01:25 > (0$0`asTypeIn`) 09:01:26 The operator ‘L.asTypeIn’ [infixl 0] of a section 09:01:26 must have lower precedence than that of the operand, 09:01:26 namely ‘GHC.Base.$’ [infixr 0] 09:01:43 the repository one only has 79 lines 09:07:47 * oerjan called it asTypeInside in his SO answer, anyway. 09:08:06 :t asTypeParam 09:08:07 Not in scope: ‘asTypeParam’ 09:08:10 :t asTypeParamOf 09:08:11 Not in scope: ‘asTypeParamOf’ 09:08:22 might have been more technically correct 09:08:57 although asType* is probably only used by people who want to avoid extensions anyway. 09:26:52 -!- Fleur has joined. 09:39:55 :t asAppliedTo 09:39:56 (a -> b) -> a -> a -> b 09:40:37 sheesh 09:41:17 > asAppliedTo succ 1 2 09:41:19 3 09:41:41 > map (succ `asAppliedTo 'a') [] 09:41:43 :1:24: parse error on input ‘'’ 09:41:46 > map (succ `asAppliedTo` 'a') [] 09:41:47 "" 09:58:16 -!- L8D has quit (Ping timeout: 252 seconds). 10:03:14 and then it turned out my answer was nonsense, anyway 10:19:07 -!- Naprecks has quit (Ping timeout: 264 seconds). 10:22:14 -!- Naprecks has joined. 10:49:30 -!- AndoDaan has quit (Quit: Going, going, gone.). 11:03:33 -!- hjulle has joined. 11:04:28 -!- J_Arcane_ has joined. 11:06:13 -!- J_Arcane has quit (Ping timeout: 244 seconds). 11:06:23 -!- J_Arcane_ has changed nick to J_Arcane. 11:10:26 -!- J_Arcane_ has joined. 11:11:54 -!- J_Arcane has quit (Ping timeout: 244 seconds). 11:12:06 -!- J_Arcane_ has changed nick to J_Arcane. 11:17:41 -!- J_Arcane_ has joined. 11:19:09 -!- J_Arcane has quit (Ping timeout: 252 seconds). 11:19:21 -!- J_Arcane_ has changed nick to J_Arcane. 11:24:41 -!- J_Arcane_ has joined. 11:24:49 -!- J_Arcane has quit (Ping timeout: 244 seconds). 11:24:54 -!- J_Arcane_ has changed nick to J_Arcane. 11:30:11 oerjan: the L.hs file is not visible anywhere. I keep a more-or-less up-to-date copy of the Pristine.hs file in the 'freenode' branch on github. 11:33:13 oerjan: sorry, missed the "default" word there 11:35:53 ^rreree sorry 11:35:53 s sosororrrryry y 11:36:56 ^rreree APOLOGY ACCEPTED 11:36:56