00:02:31 shachaf: the Color plugin applies a filter that removes color codes when +c is on (and we don't have voice/ops) <-- we don't have +c though? 00:02:50 correct 00:02:52 (?????) 00:02:55 though who in here would use colour 00:03:20 I don't know anyone who would 00:04:14 ^rainbow really? 00:04:14 really? 00:04:51 hm my phone is able to downsample 1080p to 720p on the fly without much issues. Impressive. More than what my old desktop could do. (The built in media player didn't want to play the clip, but vlc for android worked just fine) 00:05:03 ^rainbow that'sasadrainbow 00:05:03 that'sasadrainbow 00:05:06 I didn't write and test 700+ lines of perl code 2 days after I came back to #esoteric 00:05:16 (the phone has a 720p screen) 00:05:17 needless to say this bot has been used in other channels. 00:05:30 kallisti, which bot is that? 00:05:34 If it's so "needless" then why have you done it at least twice already? 00:05:36 RIDDLE ME THAT! 00:05:48 BECAUSE UR DUMB 00:05:57 shachaf, because irony 00:06:03 what a burn 00:06:13 * kallisti is fire. 00:06:22 wb kallisti 00:06:30 ty 00:06:32 monqy: are you always watching 00:06:34 oh didn't know kallisti had been away 00:06:35 -!- Patashu has quit (Disconnected by services). 00:06:36 -!- Patashu[Zzz] has joined. 00:06:38 kallisti, anyway what bot? 00:06:38 like big brother 00:06:40 or god 00:06:42 shachaf: only sometimes 00:06:44 or santa claus 00:06:49 Vorpal: the one you were just taking about 00:06:50 monqy = santa claus?? 00:06:54 and the one I've been talking about 00:06:56 only sometimes 00:06:59 kallisti, I was talking to a bot? 00:07:03 do you have amnesia? 00:07:12 where? I talked to you and shachaf, that is all I know 00:07:12 I *am* nesia. 00:07:27 oh about 00:07:29 not to 00:07:30 right 00:07:38 kallisti, yes and I'm asking about the name of it 00:07:41 since I didn't see it 00:07:46 rolebot: hi 00:07:47 rolebot: help 00:07:47 kallisti: Commands begin with ~ or $ | Use help to get more help on a specific command or category. | Categories: Admin, Messages, RP | Misc. commands: echo, frink, lastsaid, seen, time, words 00:07:58 kallisti, I literally connected to my bouncer before I said that line, then read the log replay 00:08:24 did you mean to say bouncer? 00:08:29 yes 00:08:38 what else? 00:08:49 browser? :-S 00:08:54 kallisti, what does rolebot do that fungot, HackEgo, EgoBot or lambdabot can't do? 00:08:55 Vorpal: i'm going for 00:09:00 itidus21, bouncer 00:09:10 itidus21, znc to be specific 00:09:19 well, you did say what else? 00:09:24 Vorpal: not much. it can show you the time in a location, it can roll dice, it shows the titles of some URLs, and is otherwise a lambdabot clone of sorts 00:09:29 itidus21, now you lost me 00:09:32 it has no reason to be here. 00:09:45 $time in hell 00:09:46 Invalid query. 00:09:47 ok 00:09:51 $time in Stockholm 00:09:52 Invalid query. 00:09:55 $time fucking 00:09:55 Time in Fucking, Austria (GMT+2): 2012-07-06 02:09 00:10:02 $time Kiruna 00:10:03 Time in Kiruna, Sweden (GMT+2): 2012-07-06 02:10 00:10:08 $time shit 00:10:09 Time in Shit, Iran (GMT+4.50): 2012-07-06 04:40 00:10:11 $time Örebro 00:10:12 Time in Orebro, Sweden (GMT+2): 2012-07-06 02:10 00:10:15 $time balls 00:10:15 Time in Ballsh, Albania (GMT+2): 2012-07-06 02:10 00:10:16 fail, it is Örebro 00:10:19 not Orebro 00:10:32 Ö is a different letter in the Swedish alphabet 00:10:42 $time hell 00:10:43 Time in Hell, Norway (GMT+2): 2012-07-06 02:10 00:10:52 complaints may be directed at the web API I'm using to get this data. 00:10:55 kallisti, the correct transcription of Örebro would be Oerebro 00:11:02 pls fix! 00:11:15 kallisti, which web api? 00:11:26 $time Ekeby 00:11:27 Time in Ekeby, Sweden (GMT+2): 2012-07-06 02:11 00:11:30 what really? 00:11:34 which Ekeby 00:11:40 there is like tens of them 00:11:42 the one in Sweden 00:11:46 at GMT+2 00:11:54 well all of Sweden is GMT+2 00:11:55 GMT is dead, long live UTC 00:11:58 so it doesn't mean anything 00:11:59 Vorpal: there you go 00:12:01 it's all of them 00:12:03 XD 00:12:32 my $json = get_url "http://www.worldweatheronline.com/feed/tz.ashx?q=$query&format=json&key=$api_key"; 00:12:59 kallisti, I know on the top of my head I have driven through at least four Ekeby. Every single one has been like less than 20 houses. 00:13:09 it's hard to find a decent timezone search service 00:13:13 SYN 00:13:18 quintopia, ACK 00:13:20 err 00:13:22 I use a combination of Olsen database for timezone names and that site for other queries. 00:13:22 SYN-ACK 00:13:25 (I fail) 00:13:30 thx 00:13:35 `time EST 00:13:37 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: time: not found 00:13:39 $time EST 00:13:39 Time in EST: 2012-07-06 00:13 00:13:42 `time Zulu 00:13:44 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: time: not found 00:13:46 aww, come on 00:13:53 $time Zulu 00:13:54 Time in UTC: 2012-07-06 00:13 00:13:56 good 00:14:19 it can handle that alias (used in the area of aircrafts) 00:14:20 doesn't do GMT offsets unfortunately 00:14:25 $time foobar 00:14:25 I guess I could add that pretty easily 00:14:25 Invalid query. 00:14:33 kallisti, what about UTC offsets? 00:14:38 $time UTC+1 00:14:39 Time in Utchahana, Japan (GMT+9): 2012-07-06 09:14 00:14:40 that also not 00:14:44 $time CET 00:14:45 Time in CEST: 2012-07-06 00:14 00:14:50 err what if I want CET 00:14:54 CEST is the summer time equiv 00:15:00 I don't think CET is an official timezone name 00:15:09 PST doesn't work either. 00:15:11 kallisti, err, that is what Sweden has when it isn't summer time 00:15:12 `time PST 00:15:14 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: time: not found 00:15:18 baaaaah 00:15:20 $time PST 00:15:20 kallisti, CEST is the summer time timezone for sweden 00:15:21 Time in PST, Preston, Cuba (GMT-4): 2012-07-05 20:15 00:16:06 $ date -d @0 00:16:06 tor 1 jan 1970 01.00.00 CET 00:16:11 time and frink are pretty useful for IRC I think. 00:16:12 kallisti, proof of timezone ^ 00:16:18 I believe you 00:16:24 kallisti, now get CET working :P 00:16:27 no 00:16:29 patch it 00:16:31 $ date 00:16:31 fre 6 jul 2012 02.16.27 CEST 00:16:39 https://github.com/kallisti-dev/Rolebot 00:16:52 kallisti, perl you said? I never written anything in perl 00:17:00 think of it as a learning experience. 00:17:03 nor do I have any plans to learn perl 00:17:11 your loss. 00:17:12 from what I seen it looks like a slightly better version of PHP 00:17:16 ;P 00:17:19 anyway 00:17:27 $help 00:17:27 Commands begin with ~ or $ | Use help to get more help on a specific command or category. | Categories: Messages, RP | Misc. commands: echo, frink, lastsaid, seen, time, words 00:17:31 RP? 00:17:33 what is RP? 00:17:42 $help RP 00:17:43 RP commands: roll, system 00:17:45 roleplaying. it was originally supposed to be a dice roller bot, but then no one plays tabletop games 00:17:49 so now it's just a lambdabot clone. 00:17:54 $help roll 2d10 00:17:55 No help entry found. 00:17:58 @dice 2d10 00:17:58 2d10 => 15 00:17:59 $roll 2d10 00:17:59 Usage: roll [] 00:18:06 realy? 00:18:08 really* 00:18:09 Vorpal: it targets specific tabletop systems 00:18:13 that one is WoD 00:18:18 kallisti, how do I make it roll 2d10? 00:18:20 (and is currently the only one that works) 00:18:27 you don't. I haven't actually make it useful for its intended purpose. 00:18:32 ah 00:18:33 I've been busy. 00:18:39 fair enough 00:18:41 and no one plays tabletop games. 00:18:47 on IRC 00:18:50 or IRL 00:18:56 on IRC indeed 00:19:25 also perl is much better than PHP, by any measure. 00:19:30 but I played ones IRL, and I had a friend at university who plays make campagins and plays every week. IIRC he is a GURPS fan 00:19:56 $roll 5 7 00:19:56 0 successes (3 1 6 4 10 6) 00:19:57 (and I just finished university, so I assume he is still going) 00:20:07 kallisti, what is that WoD you mentioned? 00:20:15 world of darkness 00:20:26 never heard of it, what genre is it? 00:20:33 fantasy, sci-fi etc? 00:20:36 modern or historic horror 00:20:39 you could do sci-fi too 00:20:44 with some new rules. 00:20:47 so it is kind of open-ended? 00:20:56 not a specific setting 00:21:08 it's based on supernatural creatures. each major book is for a supernatural creature. 00:21:13 ah, cool 00:21:37 vampires, werewolves, fae, wraiths (ghosts), magi, etc 00:22:11 it's an interesting mix of traditional folktale with a unique spin on each. 00:22:18 reminds me a bit of that new MMORPG coming out soon. Secret World I think the name was. Pretty cool idea for it. Basically set in the modern day, but with every conspiracy theory true. Illumnati, templars and so on. Lovecraft inspired too iirc. 00:22:24 Vampire is very much based on Anne Rice novels. 00:22:33 Vorpal: yes it reminded me of it too. 00:22:52 not sure what the Anne Rice model of vampirism is 00:22:54 the difference being that WoD is way more awesome. :P 00:23:43 kallisti, probably, from what I saw, Secret World had hotkey based combat. Meh. 00:23:52 crosses and garlic don't work. a stake to the heart puts the vampire in paralysis. 00:23:59 fair enough 00:24:21 transmittal doesn't occur from being bitten. the vampire drains all of your blood, and then feeds you his/her ow. 00:24:24 *own 00:24:33 I have to admit the vampire model I'm most famous with is the Discworld model. Which is over the top. 00:24:42 familiar* 00:24:47 why did I write famous XD 00:24:59 WoD vampire is interesting. you can play it very political, if you want. 00:25:04 heh 00:25:06 there's a whole society and such. 00:25:11 I see 00:25:25 kallisti, how do their werewolves work? 00:25:27 -!- itidus21 has quit (Ping timeout: 265 seconds). 00:25:31 -!- itidus20 has joined. 00:25:37 strangely. 00:25:40 I always found werewolves more interesting than vampires 00:25:51 kallisti, carry on 00:26:13 -!- itidus20 has changed nick to itidus21. 00:26:43 kallisti, how does it work then? 00:27:17 the werewolves deviate more from traditional folktale. they live in packs as opposed to being solitary monsters. they can shapeshift at will. they can traverse the Umbra (the spirit world) and talk to spirits. they're servants of Gaia in a war against "the Wyrm" which is basically a metaphor for corruption in whatever form you want to interpret it. 00:27:38 heh 00:27:40 kallisti, and full moon? 00:27:50 does it force shifting or anything at all? 00:27:53 -!- azaq23 has quit (Quit: Leaving.). 00:27:53 there's also some interesting tech-based stuff. There's a tribe called the Glass Walkers which are "urban werewolves." the theme is high-tech. 00:28:08 wow, that is pretty nice 00:28:15 Vorpal: the first time a werewolf shifts is involuntary, and they lose control of themselves. 00:28:24 right 00:28:51 also it's not just "werewolf". there's a full spectrum from human to wolf, with 5 forms. 00:29:06 there's also "breed", which is your original form. you could play as a werewolf that was born a wolf, for example. 00:29:15 ah 00:29:22 pretty cool 00:29:42 and then the metis breed is born as a werewolf, which happens when 2 werewolves mate. they're usually deformed in some way, and it's seen as a crime to do so. 00:29:52 (which is a convenient way to keep away furries in an online setting. :D ) 00:29:59 XD 00:30:28 kallisti, with online you mean on computer? Or is that a weird way to describe LARPing? 00:30:36 lol @ http://en.wikipedia.org/wiki/Category:Fictional_werewolves 00:30:36 Error 00:30:42 I used to play on a RP-only MUD. 00:30:53 it was basically a MUD with any kind of combat/mob logic stripped out, with dice rollers added in. 00:30:55 why did rolebot just say error? 00:31:05 this is a good question 00:31:09 as opposed to werewolves which are non-fiction 00:31:18 http://en.wikipedia.org/wiki/Category:Fictional_werewolves 00:31:18 Category:Fictional werewolves - Wikipedia, the free encyclopedia 00:31:27 http://en.wikipedia.org/wiki/Category:Fictional_werewolves 00:31:29 ah 00:31:31 aha 00:31:32 it does that 00:31:35 kind of annoying 00:31:40 "Werewolves that appear only in legend or folklore do not belong in this category." 00:31:43 what if I link an image 00:31:44 http://en.wikipedia.org/wiki/Cat*egory:Fictional_werewolves* 00:31:46 or a huge iso file 00:31:46 Cat*egory:Fictional werewolves* - Wikipedia, the free encyclopedia 00:31:46 er 00:31:47 or something 00:31:50 http://en.wikipedia.org/wiki/Category:Fictional_werewolves 00:31:51 Error 00:31:52 will it download the whole thing? 00:32:15 https://www.google.com/images/srpr/logo3w.png 00:32:26 I... don't remember 00:32:29 I think so. 00:32:33 it will download all things... at once! 00:32:40 hm I don't have any iso file up 00:32:42 I don't do any Content-Type checking or anything 00:32:45 for it to download 00:32:55 hopefully it just download the first n bytes 00:33:06 I think it's slurpy. 00:33:14 (perl terminology for "reads the whole thing into memory") 00:33:21 ouch 00:33:21 excellent 00:33:32 monqy: You like lojban, right? 00:33:43 shachaf: maybe 00:33:48 though it may depend on context. 00:33:55 monqy: Are you going to the BIG EVENT! 00:33:59 what big event 00:34:03 kallisti, now you know I /will/ post a 12 GB file of space on a server and make it serve it gzip compressed :P 00:34:03 (no) 00:34:12 Vorpal: that's fine. 00:34:14 kallisti, it is going to happen unless you fix the bot :P 00:34:22 kallisti, oh? 00:34:28 I thought it read the whole thing? 00:34:42 yes 00:34:48 kallisti, well 32 GB then :P 00:35:05 kallisti, or can't the bot handle gzip compressed resources? 00:35:22 in that case I'm going to make it serve it uncompressed I guess 00:35:25 I... don't know. 00:35:27 whatever LWP does 00:35:29 so probably yes. 00:35:32 LWP? 00:35:37 libwww-perl 00:35:39 ah 00:36:11 oh well 00:38:36 yeah I'm not seeing an option to be less slurpy 00:39:14 kallisti, so basically what I described could cause OOM? 00:39:19 -!- nortti_ has quit (Quit: AndroIRC - Android IRC Client ( http://www.androirc.com )). 00:39:21 not sure. 00:39:59 nortti, you use an android irc client? 00:39:59 huh 00:40:07 I guess I should take a look at that one 00:40:30 also why does rythmbox seem crashed 00:43:03 http://en.wikipedia.org/wiki/Category:Fictional_werewolves 00:43:22 zzo38, I can't click that link, what did you do? 00:43:37 my irc client usually makeslinks clickable 00:43:43 makes links* 00:43:47 I put control characters in 00:43:52 ah 00:44:12 works just fine here :) 00:44:13 zzo38, it does show a [0001] at the end 00:44:16 Does it copy to clipboard OK? 00:44:34 zzo38, double clicking it makes it highlight this bit "n.wikipedia.org/wiki/Category:Fictional_werewolve" 00:44:40 so no I can't easily copy it 00:44:49 or this bit "tp://e" 00:45:07 -!- kallisti has quit (Ping timeout: 240 seconds). 00:45:22 Select the entire message (including the parts at the end) copy to channel see what happened. 00:45:31 -!- kallisti has joined. 00:45:36 manually selecting and pasting yields: http://en.wikipedia.org/wiki/Category:Fictional_werewolves 00:45:41 which is clickable 00:45:48 Content-Length is bytes right? 00:45:51 I would assume s 00:45:53 o 00:45:58 -!- rolebot has quit (Ping timeout: 245 seconds). 00:46:25 OK, something with your IRC client; they differ so we cannot really know what each one does 00:46:27 kallisti, yes? 00:46:39 kallisti, I think that describe the size of the whole thing 00:46:47 though a server could be made to lie 00:47:38 kallisti, a accurate server would I think with Content-Length describe the uncompressed size 00:48:02 an* 00:49:06 -!- rolebot has joined. 00:49:18 $time test 00:49:20 Time in Test, Indonesia (GMT+7): 2012-07-06 07:49 00:49:23 http://example.com/ 00:49:41 hm? 00:49:53 doesn't seem to work? 00:50:38 ah, right. 00:50:44 I was trying to equate Content-Type to text/html 00:50:47 instead of substring 00:50:59 `load Url 00:51:02 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: load: not found 00:51:04 $load Url 00:51:04 Done. 00:51:08 http://example.com/ 00:51:09 IANA — Example domains 00:52:01 I wonder how much traffic the example domains get. 01:00:29 -!- Phantom_Hoover has joined. 01:17:17 -!- edwardk has joined. 01:36:07 $time 01:36:08 Time in UTC: 2012-07-06 01:36 01:38:10 $time quintopia 01:38:12 Invalid query. 01:42:26 $time Utopia 01:42:27 Time in Utopia, Australia (GMT+10): 2012-07-06 11:42 01:52:10 :-D 01:53:15 CLOSE TO HOME? 01:53:28 actually , might not be 01:53:32 $time oerjan 01:53:33 Invalid query. 01:53:40 Use less bot. 01:54:34 the distance from me to utopia is probably a very long way 01:55:05 $time time 01:55:06 Time in Time, Indonesia (GMT+7): 2012-07-06 08:55 01:55:22 $time climax 01:55:23 Time in Climax, Canada (GMT-6): 2012-07-05 19:55 01:55:35 $time cumming 01:55:36 $time cumming 01:55:38 Time in Cumming, United States Of America (GMT-5): 2012-07-05 20:55 01:55:38 Time in Cumming, United States Of America (GMT-5): 2012-07-05 20:55 01:55:38 HA 01:55:44 owe me a coke 01:55:51 $time aircraft 01:55:52 Invalid query. 01:55:57 21:55 < kallisti> $time cumming 01:55:58 21:55 < quintopia> $time cumming 01:55:59 psssssh 01:56:07 NOT ACCORDING TO MY LOGS. 01:56:09 i may have spelled that wrong 01:56:17 ...... 01:56:27 its not who says it first. it's who says "owe me a coke" first :P 01:57:14 $time hoppers 01:57:15 Time in Hoppers, Germany (GMT+2): 2012-07-06 03:57 01:57:21 hehe 01:57:24 $time hoppers crossing 01:57:25 Time in Hoppers Crossing, Australia (GMT+10): 2012-07-06 11:57 01:58:17 $time happy 01:58:19 Time in Happy, United States Of America (GMT-4): 2012-07-05 21:58 01:58:26 $time angry 01:58:28 Invalid query. 01:58:33 the API actually can grab multiple locations 01:58:34 $time ambivalent 01:58:35 Invalid query. 01:58:37 but I always take the first one. 01:58:41 $time sad 01:58:42 Time in sad, Safford, United States (GMT-7): 2012-07-05 18:58 01:58:56 $time eso 01:58:57 Time in eso, Espanola, United States (GMT-6): 2012-07-05 19:58 01:59:02 $time esot 01:59:03 Time in Esotreaky, Madagascar (GMT+3): 2012-07-06 04:59 01:59:09 $time esote 01:59:10 Invalid query. 01:59:16 $time esol 01:59:17 Invalid query. 01:59:32 $time dope 01:59:34 Time in Dope, Sri Lanka (GMT+5.50): 2012-07-06 07:29 01:59:38 $time befu 01:59:41 $time boring 01:59:43 Time in Befu, Japan (GMT+9): 2012-07-06 10:59 01:59:43 Time in Boring, Denmark (GMT+2): 2012-07-06 03:59 01:59:47 $time befun 01:59:48 Invalid query. 01:59:58 $time brain 01:59:59 Time in Brain, France (GMT+2): 2012-07-06 03:59 02:00:01 $time new 02:00:02 Time in new, Lakefront, United States (GMT-5): 2012-07-05 21:00 02:00:09 $time brainf 02:00:10 Invalid query. 02:00:25 $time fuck 02:00:26 Time in Fuckersberg, Austria (GMT+2): 2012-07-06 04:00 02:00:41 lol fuckersberg 02:00:45 I've never seen that one 02:00:48 just Fucking, Austria 02:00:58 $time fucki 02:00:58 :-D 02:00:59 Time in Fucking, Austria (GMT+2): 2012-07-06 04:00 02:01:35 $time fucko 02:01:36 Invalid query. 02:01:45 $time dickbutts 02:01:46 Invalid query. 02:01:51 $time dick 02:01:52 Time in Dick, Mozambique (GMT+2): 2012-07-06 04:01 02:01:56 $time cock 02:01:57 Time in Cockeysville, United States Of America (GMT-4): 2012-07-05 22:01 02:02:09 $time crook 02:02:10 Time in Crook, United Kingdom (GMT+1): 2012-07-06 03:02 02:02:17 $time jail 02:02:18 Time in Jaila, Liberia (GMT+0): 2012-07-06 02:02 02:02:28 $time perdition 02:02:29 Invalid query. 02:02:36 $time scum 02:02:37 Time in Scumpia, Moldova (GMT+3): 2012-07-06 05:02 02:02:41 so i guess there is no road to perdition 02:02:47 $time shawshank 02:02:48 Invalid query. 02:02:50 aw 02:02:54 $time google 02:02:55 Invalid query. 02:03:25 $time micro 02:03:26 Time in Micro, United States Of America (GMT-4): 2012-07-05 22:03 02:03:57 $time hell 02:03:58 Time in Hell, Norway (GMT+2): 2012-07-06 04:03 02:04:03 $time heaven 02:04:03 Time in Heaven Heights, United States Of America (GMT-4): 2012-07-05 22:04 02:04:17 $time road 02:04:18 Time in Road, Ireland (GMT+1): 2012-07-06 03:04 02:04:28 $time cube 02:04:29 Time in Cube, Ecuador (GMT-5): 2012-07-05 21:04 02:04:45 $time poly 02:04:46 Time in Poly, Haiti (GMT-5): 2012-07-05 21:04 02:04:46 hey thats my time zone 02:04:49 $time polyg 02:04:50 Time in Polyginskaya, Russia (GMT+4): 2012-07-06 06:04 02:05:27 $time obama 02:05:28 Time in Obama, Japan (GMT+9): 2012-07-06 11:05 02:08:25 $time limbo 02:08:26 Time in Limbo, Philippines (GMT+8): 2012-07-06 10:08 02:08:53 -!- FireFly has quit (Ping timeout: 265 seconds). 02:09:01 $time sun 02:09:03 Time in sun, Sun Valley, United States (GMT-6): 2012-07-05 20:09 02:10:27 $time moon 02:10:28 Time in Moon, France (GMT+2): 2012-07-06 04:10 02:10:35 $time venus 02:10:36 Time in Venus, Angola (GMT+1): 2012-07-06 03:10 02:10:42 $time mercury 02:10:42 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:10:43 Time in Mercury, United States Of America (GMT-5): 2012-07-05 21:10 02:10:48 $time mars 02:10:49 Time in Mars, Belarus (GMT+3): 2012-07-06 05:10 02:10:53 $time jupiter 02:10:54 Time in Jupiter, United States Of America (GMT-4): 2012-07-05 22:10 02:10:59 $time saturn 02:11:00 Time in Saturn, Russia (GMT+7): 2012-07-06 09:11 02:11:04 $time uranus 02:11:06 Invalid query. 02:11:25 ...someone didn't want to be part of that joke. 02:11:30 $time neptune 02:11:32 Time in Neptune, Canada (GMT-6): 2012-07-05 20:11 02:11:50 $time earth 02:11:51 Time in Earth, United States Of America (GMT-5): 2012-07-05 21:11 02:12:34 $time betelgeuse 02:12:35 Invalid query. 02:12:43 $time sirius 02:12:44 Time in Siriusu, Japan (GMT+9): 2012-07-06 11:12 02:13:13 $time surely 02:13:14 Invalid query. 02:13:18 $time shirley 02:13:19 Time in Shirley, United States Of America (GMT-4): 2012-07-05 22:13 02:13:29 $time pluto 02:13:30 Time in Pluto, Philippines (GMT+8): 2012-07-06 10:13 02:16:08 $time ceres 02:16:09 Time in Ceres, South Africa (GMT+2): 2012-07-06 04:16 02:16:13 $time eris 02:16:14 Time in Eris, Indonesia (GMT+8): 2012-07-06 10:16 02:16:27 >_> 02:16:33 https://technet.microsoft.com/en-us/security/advisory/2719615 02:16:35 Microsoft Security Advisory (2719615): Vulnerability in Microsoft XML Core Services Could Allow Remote Code Execution 02:16:36 $time kallisti 02:16:37 Time in Kallisti, Greece (GMT+3): 2012-07-06 05:16 02:17:18 so this was announced June 12, and was known by attackers before it was announced. 02:17:21 no patch. 02:17:58 -!- FireFly has joined. 03:18:47 -!- simpleirc1 has joined. 03:19:43 -!- simpleirc1 has quit (Remote host closed the connection). 03:36:52 -!- Patashu[Zzz] has changed nick to Patashu. 03:37:36 -!- oerjan has quit (Quit: Good night). 04:00:50 I had idea make up a card in Magic: the Gathering that makes all objects the same name until the end of the turn. 04:03:46 which name would that be? 04:06:05 The card could specify the name, or it could be made to allow the player who used the card to select the name from any card that both players can see. 04:07:51 There are some things that happen regardless of which way it is, such as legendary permanents being discarded and the Urza Tower only provide one mana. 04:09:05 And if you have a card that allow you to guess the name of card in opponent's hand you can guess for sure (if they have any cards) unless they get discarded or shuffled or they draw new cards or whatever (since in most cases, objects are reset if they move to another zone). 04:11:58 But of course if it does even affect cards in hand you still would have to know which cards have been just picked up and so on 05:08:57 -!- newsham has left. 05:09:17 -!- Vorpal has quit (Ping timeout: 255 seconds). 06:27:42 http://www.ezo-beer.com/pictures/logos/fucking-hell.jpg 06:34:48 -!- edwardk has quit (Quit: Computer has gone to sleep.). 06:56:19 anyone here use Linux? 06:58:11 I use Linux but not here 07:12:54 I hate windows... 07:13:48 I had to install SolidWorks for school.... so I installed windows (xp) on my own hardware for the first time in a decade 07:13:52 I don't like Windows much either 07:14:03 now it's clobbering grub every time I boot to Windows 07:14:15 and not like overwriting it with ntldr 07:14:20 But Windows is what I currently have in my computer 07:14:22 it's making the whole computer unbootable 07:14:29 -!- edwardk has joined. 07:14:38 gamer? 07:15:34 I wish I had a dollar for every time I've heard someone say: 07:15:55 Complain to SolidWorks; they make software that mixes up the bootloader so you have to somehow override the Windows system call to instead make it write a file 07:16:08 Or install a second hard drive 07:16:15 I think I've had an XP in a dual-boot thing and it only clobbered grub when installing. 07:16:42 "I would totally use Linux if I could play [Diablo, WoW, Skyrim, etc...] 07:16:43 You may have to complain to Windows too 07:16:43 " 07:16:48 huh? 07:16:58 Dovregubben: I don't play any of those games on my computer 07:17:08 I don't think it's SolidWorks' fault 07:17:17 I'm pretty sure it's mse 07:17:21 Maybe install a second hard drive that might fix it. 07:17:26 hmm... 07:17:26 Certainly pre-XP and post-XP versions have been reasonably grub-friendly, so I'd assume XP "normally" is too. 07:17:30 second hard drive in a laptop 07:17:33 not really practical 07:17:48 O, it is laptop computer. 07:18:18 zzo38: then why run Windows? 07:18:24 I have written many computer games and play some computer games, often DOS games 07:18:37 Dovregubben: Because my computer included it and I did not change it. 07:18:37 Dovregubben: You can always do the grub-in-Windows-boot-menu thing if you think that might work better. 07:20:33 (The "let Windows have the MBR, install grub on a boot sector somewhere, dd it into a file, add it into boot.ini" thing, that is.) 07:23:04 screw it.... I'll just live with booting from USB until the end of the quarter 07:23:47 I don't like Diablo, WoW, Skyrim, etc. Game I play are often text-adventure games, game I made myself using QBASIC, games designed for NES/Famicom (although I have not yet written any NES game), game with MegaZeux (I have made some MegaZeux games too), etc. 07:24:30 I meant no offense 07:24:44 I did not feel offended 07:25:07 Nor do I care; I believe in freedom of speech. 07:26:10 I just can't think of a single reason for the average user to use windows other than video games 07:26:49 How about things like SolidWorks?-) 07:26:57 Oh, "average". 07:27:03 I guess that depends on the definition. 07:27:07 I will admit that I have a windows virtual machine for the one time a year that I actually need Window for something 07:27:13 I explained; the only reason I have it is because it already has Windows. 07:27:55 When the Windows breaks I will put Linux on. 07:28:13 I know someone who uses Linux exclusively but runs PowerPoint in VirtualBox for presentation-making purposes, since OpenOffice Impress is so bad, and he likes graphical presentation-making things. 07:28:29 yeah, OpenOffice is pretty awful 07:28:52 I've been using Google docs for a while 07:28:59 it's also slow 07:29:07 Is OpenOffice Impress so bad? Some people hate OpenOffice but prefer LibreOffice. However I have seen someone who has used OpenOffice Impress to make any slideshow presentations they wanted 07:29:44 I'm sure it's not bad enough to be completely unusable, but I think it's pretty bad. 07:30:22 Also, if you have someone else's PowerPoint presentation to work from, it can in theory open those, but it almost always manages to mess up the formatting somehow. (The Writer component works slightly better when it comes to opening Word files.) 07:30:58 If I wanted to make a slideshow presentation I would probably make something myself but if I want to type a document for printing I will use TeX which is much faster than anything else I have seen. 07:31:17 I do slideshow presentations with the 'beamer' LaTeX package, it's got a lot of fans. 07:31:36 I've used Impress only to make PDF exports of other people's PowerPoint presentations just in case the lecture hall computer in question might not have PowerPoint installed. So far they've not been used. 07:31:40 Yes that is one other way. 07:34:39 I don't make slide presentations though. I prefer books. 07:35:17 People keep expecting presentations in the university context. Conference presentations, local seminar presentations, group meeting presentations, ... 07:37:07 if I have the option, I write my presentations in HTML 07:37:34 The program "dviout" includes a presentation mode. This is for Windows though; there may be similar thing for Linux. 07:37:46 Yes, HTML also works. 07:38:18 the nice thing about HTML is I don't need to bring my computer with me just to be sure I have the right software available 07:38:39 I think it's been almost 20 years since I saw a computer without a web browser 07:38:51 and if I ever want to make a web site out of it, I'm already done! 07:39:00 (I have used LaTeX once, but I don't like it much and I find Plain TeX to be far superior) 07:39:06 just need to upload it to a web server 07:39:48 I tried LaTeX once... didn't have time to learn how to use it 07:40:48 I have seen and use computer without a web browser even recently, as well as install them. I installed a computer with FreeDOS once to make a database someone needed 07:40:49 or maybe it wasn't LaTeX.... it was something TeX 07:41:31 There is Plain TeX, LaTeX, and ConTeXt, which are the common ones. There are others too, though 07:41:38 okay, I guess you're right 07:41:51 I've seen hundreds of servers without web browsers 07:41:58 and have a few of my own 07:42:26 although I have installed Links on a few :-D 07:43:07 Makes for a pretty retro presentations, though, at least if it's not one of those fancy graphical linksies. 07:43:37 If the computer is Windows or Ubuntu or something then it will include a web browser; if it is my own design it doesn't include any (if you have an internet connection, it will include netcat and so on) but you can install one 07:43:49 I didn't install Links for presentation purposes :-P 07:44:29 I wonder if anyone at our university has ever given a text-mode presentation in a place where a "traditional PowerPoint" was expected. 07:45:14 (I'm sure someone's shown a terminal on a projector for one reason or another.) 07:46:52 I've had a terminal open on a projector before 07:47:12 at LinuxFest NorthWest 07:47:18 that wasn't the whole presentation though 07:47:24 I use TeX for writing documentation, for recording Dungeons&Dragons game, for mathematical formulas, for business cards, for posters, for etc 07:47:30 So have I, and it was done as part of a presentation, but it was just an intermission, and the rest was traditional slides. 07:50:00 I have written a program in Plain TeX and METAFONT to typeset chess diagrams including moves and chess variants too. It will parse algebraic chess notation and FFEN, and you can make variants using different pieces (the font includes many piece icons), different moves, different size of board, etc 07:50:24 Have you ever used METAFONT for anything? 07:51:38 Do you like METAFONT? 07:52:23 I never METAFONT I didn't like. (Sorry, couldn't resist.) (No, I haven't actually used METAFONT.) 07:54:12 It is very good to design logos and typefaces and so on. 07:58:08 (Including in colors; I have written a program to allow METAFONT to use all features of ImageMagick as well as its own features to create graphics.) 08:03:04 -!- Phantom_Hoover has joined. 08:43:13 -!- zzo38 has quit (Quit: Do you like to go golfing in the rain?). 08:43:48 -!- edwardk has quit (Quit: Computer has gone to sleep.). 08:57:13 < Vorpal> nortti, you use an android irc client? // yes. why? 08:57:47 Just a guess, but I think he 08:57:52 's looking for a good one. 08:58:02 Because he asked about that earlier, too. 08:58:14 ok. then don't use androirc 08:58:48 use (irssi)? connectbot to connect to shell account and run irssi from there 09:04:56 I think it's a bit weird that these style rules that abbreviate "Equation (x)" to "Eq. (x)" also do "Equations (a) and (b)" into "Eqs. (a) and (b)" even though the . there is not properly denoting "rest of word missing". I mean, it's not "Eqsuation". 09:05:00 I guess it's a thing. 09:05:19 "In British English, according to Hart's Rules, the general rule is that abbreviations (in the narrow sense that includes only words with the ending, and not the middle, dropped) terminate with a full stop (period), whereas contractions (in the sense of words missing a middle part) do not. -- In American English, the period is usually included." 09:05:35 I'm under the impression that general Finnish rules do the former thing. 09:07:05 I guess plurals could also be following different rules. 09:16:29 http://shop.oreilly.com/product/0636920015482.do "Using the latest research in cognitive science and learning theory to craft a multi-sensory learning experience, Head First C uses a visually rich format designed for the way your brain works, not a text-heavy approach that puts you to sleep." 09:16:34 That's quite a book blurb. 09:16:35 Head First C - O'Reilly Media 09:17:37 rolebot: You should also check the sentence containing the URL, not just the URL itself, when you figure out whether whatever you're going to say has any new information. I mean, both O'Reilly and Head First C were already mentioned. 09:18:28 thanks rolebot for verifying fizzie isn't a dirty liar 09:24:04 This is how the programming book starts: http://users.ics.aalto.fi/htkallas/headfirst.png 09:36:08 -!- Patashu has changed nick to Patashu[Zzz]. 09:36:09 -!- Patashu[Zzz] has changed nick to Patashu. 09:53:04 I think I know why trying to compile with oonbotti's #cc doesn't work. c2bf is not compiled 10:05:11 #cc hi.c hi 10:05:14 No errors 10:05:33 #exec hi 10:05:59 hi\n 10:06:08 hmm... 10:14:30 do you know how to associate external program to url scheme on links2 10:20:09 > 6.6 * 8 10:20:10 52.8 10:20:11 52.8 10:20:21 fizzie, ^ 10:28:06 -!- oklopol has joined. 10:28:36 Is that esther something on the picture? 10:29:12 Доброе утро 10:29:39 probably not. 10:30:20 my talk is in about an hour :o 10:30:40 help 10:38:41 Phantom_Hoover: Oh, it's happening again. 10:39:11 -!- ChanServ has set channel mode: +o fizzie. 10:39:13 -!- fizzie has set channel mode: +q rolebot!*@*. 10:39:14 -!- fizzie has set channel mode: -o fizzie. 10:39:35 Oh, it's a Russianpol. 10:39:54 Are you giving the talk in Russian, too? 10:41:35 of course. 10:41:52 i know almost 4 words 10:42:31 i have never been to a place with this few english speakers 10:43:33 I was in a conference in St. Petersburg once. 10:43:40 one of the russians did a great imitation of weebl and bob instead of giving his talk. 10:43:46 Those people did speak English, though. 10:43:53 they do at the conference 10:44:20 Well, I didn't really speak to other people than those at the conference. 10:44:23 but otherwise, i have not seen one person who speaks english. in fact, even if you speak russian to people, they run away if you sound foreign. 10:44:59 i've been really social here, basically wasted the whole conference. 10:45:25 The travel agency our university is contractually obligated to use woke me up at 6am today by SMSing me flight ticket information. 10:45:39 I guess it was 7am Finnish time, but it's still kinda early. 10:45:59 Probably some sort of an automated system. 10:46:59 soooo, they film all the talks. 10:47:16 i have this horrible flu and it's possible that during the talk i sneeze and snot just flies everywhere. 10:47:38 Cambridge rang me up in person at ten past eight to ask me if I wanted seperate accomodation during my pre-interview maths test. 10:48:04 oklopol: At least they'll be able to identify you as "patient zero" for the eventual pandemic, then. 10:48:11 true, true 10:48:15 This was on a school day, mind; I was about to walk out the door when this happened. 10:48:47 so did you want seperete accomodation 10:48:57 No. 10:49:11 Today was a workday too, but I sure wasn't about to walk out the door at 6am. Nobody seems to be here before 10am anyway. (I come in at 9am as a compromise.) 10:50:02 there's a guy in our uni who comes to work around 00:00 10:50:19 and i don't mean myself :D 10:51:31 so is it like a thing that every conference has a really old dudde who still uses handwritten slides? 10:51:47 It sounds like a math conference thing, to be honest. 10:52:06 this is a computer science conference 10:52:16 i've never been to a math conference 10:52:43 I don't think I've seen any handwritten slides, but maybe I picked the wrong sessions to attend. 10:53:17 there was this guy in a conference who used two overhead projectors and occasionally also showed slides manually. 10:53:42 it actually worked pretty well because he could keep definitions up 10:54:29 usually when the proof starts there's no way to find the definitions unless you have the ability of remembering or are willing to open the proceedings. 10:54:31 -!- stlangbot has joined. 10:54:41 stlangbot: disconnect 10:54:41 -!- stlangbot has quit (Client Quit). 10:55:07 Last time I went anywhere I just got the proceedings on a USB stick. :/ 10:55:26 -!- stlangbot has joined. 10:55:31 was it a cheap conference 10:55:35 stlangbot: disconnect 10:55:35 -!- stlangbot has quit (Client Quit). 10:55:40 oops 10:55:43 :( 10:55:51 Yeah. 10:56:00 I should probably add access restrictions to some commands :D 10:56:02 It was not such a terribly cheap one. But it was a big one, and I guess they thought a thousand-page book would've been a lot to carry. 10:56:04 naaah 10:56:13 perhaps. 10:56:16 which conference was this? 10:56:43 the proceedings here are like a couple hundred pages 10:57:06 -!- stlangbot has joined. 10:57:09 stlangbot: bf_stat ++++++++++[>++++++++++<-]> 10:57:09 [mroman] {',': 0, '+': 110, '-': 10, '[': 1, '.': 0, ']': 10, '<': 10, '>': 11}; Completed in 152 cycles; Used 2 cells 10:57:14 Interspeech 2011. They've turned off the paper search function already, so I can't check how many there were. 10:57:17 stlangbot: don't disconnect 10:57:17 [oklopol] Only you can understand you. I don't. 10:57:19 They printed a book of abstracts, though. 10:57:39 paper *search*? not a list? 10:58:05 stlangbot: bf_stat +>+>++>+<[>[-<++++>]<<]> 10:58:06 [mroman] {',': 0, '+': 133, '-': 32, '[': 4, '.': 0, ']': 35, '<': 39, '>': 39}; Completed in 282 cycles; Used 5 cells 10:58:09 i guess this is a few orders of magnitude bigger than the conferences i've ben to 10:58:10 been 10:58:13 No, it was a web thing. 10:58:20 stlangbot: bf_cu +>+>++>+<[>[-<++++>]<<]> 10:58:21 [mroman] Cells used: [0, 1, 2, 3, 255] 10:58:39 hm. According to the wikipage it should only use 4 cells. 10:58:42 yeah but why search and not just a page with the list of papers 10:58:57 It'd be a long list, I suppose. 10:59:01 and it even goes to the left. 10:59:05 They mentioned the amount of papers in the opening ceremony, of course, but I forgot it already. 10:59:20 846 accepted papers. 10:59:22 there were 66 submissions here. 10:59:34 1435 submissions. 10:59:35 forty something accepted ones 10:59:38 :P 10:59:43 okay coffee break 10:59:45 then 10:59:48 a talk 10:59:49 then 10:59:49 stlangbot: die 10:59:50 mine 10:59:50 -!- stlangbot has quit (Client Quit). 10:59:55 Break a leg, or whatever they say. 10:59:55 :((( 10:59:59 They say something like that. 11:00:00 yeah :/ 11:00:02 yes 11:00:05 It means a good thing even if it doesn't sound like it. 11:00:06 exactly that 11:00:15 it sounds like a great thing 11:00:20 i wouldn't have to give the talk 11:00:23 and make a fool of myself 11:00:24 I suppose it might mean someone else's leg. 11:00:33 the result is most likely wrong and everyone will laugh 11:00:38 :((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((( 11:00:42 okay coffee see ya 11:00:43 I think they'd only snicker. 11:00:47 Have "fun". 11:01:51 -!- stlangbot has joined. 11:01:52 stlangbot: bf_cu +>+>++>+<[>[-<++++>]<<]> 11:01:53 [mroman] Cells used: [0, 1, 2, 3, 255]; Last active cell:0 11:02:27 oklopol: Now you can tell him to disconnect ;) 11:02:59 -!- MoALTz has joined. 11:03:34 Oh, it goes up to 255 now? 11:03:48 Yes. 11:03:56 256 Cells. 11:04:21 stlangbot: help 11:04:21 bf_cu (Brainfuck cell usage); stlang (Evaluate stlang); bf_stat (Brainfuck statistics) 11:04:22 bf_cu: MAX_CELLS := 256; stlang : MAX_CALLS := 20000 11:04:22 bf_stat: MAX_CELLS := 256; 11:04:44 stlangbot: bf_stat +[>+] 11:04:44 [mroman] Timeout! 11:05:30 stlangbot: bf_stat >-[>-[<]>+>-]< 11:05:31 [mroman] {',': 0, '+': 487, '-': 975, '[': 488, '.': 0, ']': 1936, '<': 1450, '>': 1462}; Completed in 6798 cycles; Used 15 cells 11:07:11 If you want to waste 6700 Cycles just to save one byte in order to produce 135 11:07:14 and waste 15 cells. 11:09:17 stlangbot: bf_stat +[->] 11:09:18 [mroman] {',': 0, '+': 1, '-': 1, '[': 1, '.': 0, ']': 1, '<': 0, '>': 1}; Completed in 5 cycles; Used 2 cells 11:09:27 stlangbot: bf_stat +>[->] 11:09:28 [mroman] {',': 0, '+': 1, '-': 0, '[': 1, '.': 0, ']': 0, '<': 0, '>': 1}; Completed in 3 cycles; Used 2 cells 11:09:48 hm. 11:09:53 stlangbot: bf_stat +>[->-] 11:09:54 [mroman] {',': 0, '+': 1, '-': 0, '[': 1, '.': 0, ']': 0, '<': 0, '>': 1}; Completed in 3 cycles; Used 2 cells 11:09:59 stlangbot: bf_stat -[>+] 11:09:59 [fizzie] {',': 0, '+': 256, '-': 1, '[': 1, '.': 0, ']': 256, '<': 0, '>': 256}; Completed in 770 cycles; Used 256 cells 11:10:04 ah. 11:10:12 That was what I was looking for. 11:10:19 Or +[>-] equivalently. 11:11:26 Is it actually possible to count the number of cells and return that number in the first cell? 11:11:38 given the number of cells available is < 256 11:12:12 I haven't found a way to move at any point to a specific cell 11:12:20 increment it and move back to where I came from. 11:16:03 stlangbot: bf_stat +[->-] 11:16:04 [mroman] Timeout! 11:17:19 I would think it is, with something like -[>+]>-<<<[>[-<+>]<<]>[-<<+>>]<<++ (untested, probably has bugs). 11:17:53 I.e. "set all cells to 1, set two first to 0, then until we hit an empty one keep summing things up". 11:18:09 Possibly doable with just the single 0 marker at the first cell. 11:19:38 Yes. 11:20:35 -[>+]<[>[-<+>]<<]>[-<+>]<+ or something, equally untested. 11:21:28 stlangbot: bf_stat -[>+]<[>[-<+>]<<]>[-<+>]<+ 11:21:28 [mroman] Timeout! 11:21:43 well okay 11:21:50 I should increase the timeout a little bit :) 11:21:53 stlangbot: die 11:21:54 -!- stlangbot has quit (Quit: Bye, cruel world!). 11:22:10 ^bf -[>+]<[>[-<+>]<<]>[-<+>]<. 11:22:14 ç 11:23:43 That's 231, because I removed the last +. 1000%256 == 232, and I think fungot has 1000 cells in the tape. 11:23:44 fizzie: perl is made to bacame cum after 2 hours of more testing and... 11:23:59 So I'd provisionally say it works. 11:24:00 -!- stlangbot has joined. 11:24:07 stlangbot: bf_stat -[>+]<[>[-<+>]<<]>[-<+>]<+ 11:24:08 [mroman] Timeout! 11:24:22 stlangbot: bf_stat -[>+]<[>[-<+>]<<]>[-<+>]<. 11:24:23 [mroman] Timeout! 11:24:30 Well. 11:24:37 It does not complete in 64000 Cycles :) 11:24:58 It is a bit of an O(N^2) algorithm probably. 11:25:13 And each of those copying loops will take 5 cycles per iteration. 11:25:50 Completed in 134676 cycles 11:26:05 > 256**2 11:26:07 65536.0 11:26:15 stlangbot: die 11:26:15 -!- stlangbot has quit (Client Quit). 11:26:48 -!- stlangbot has joined. 11:26:54 stlangbot: bf_in -[>+]<[>[-<+>]<<]>[-<+>]<. 11:26:55 [mroman] mem[cptr] := 255 11:26:56 Theoretically I would've expected it to be somewhere in the ballpark of 255*255/2*5, but it seems to be a bit less. 11:27:03 seems to work. 11:28:23 (About 255 summing loops, each doing on average 255/2 iterations, each iteration taking 5 cycles.) 11:28:40 stlangbot: bf_stat -[>+]<[>[-<+>]<<]>[-<+>]<. 11:28:41 [mroman] {',': 0, '+': 32896, '-': 32641, '[': 258, '.': 1, ']': 33151, '<': 33152, '>': 33152}; Completed in 165251 cycles; Used 256 cells 11:30:58 Oh hey, it's quite close then. 11:31:07 The 134676 number surprised me, is all. 11:31:16 > 255*255/2*5 11:31:16 fizzie: That was with 231 cells. 11:31:17 162562.5 11:31:21 Oh, okay. 11:31:24 @134676 11:31:25 Unknown command, try @list 11:31:40 > 230*230/2*5 11:31:41 132250.0 11:31:55 There's of course a bit of overhead for moving around and so. 11:32:08 I'm sure you could give an exact formula. 11:32:18 I count [ and ] as cycles too. 11:32:32 Yes, I counted the ]s in the copying loop. 11:32:48 The [s don't seem to be executed except on entry, based on those statistics. 11:32:57 stlangbot: bf_stat -[] 11:32:58 [mroman] Timeout! 11:33:16 That's why I count them too :) 11:33:43 stlangbot: bf_stat [>-] 11:33:43 [mroman] {',': 0, '+': 0, '-': 0, '[': 1, '.': 0, ']': 0, '<': 0, '>': 0}; Completed in 1 cycles; Used 1 cells 11:33:48 Well, it makes sense. fungot counts the jumps too. 11:33:50 fizzie: it seems to have implemented and played with the bb gui egg before? i mean. 11:33:53 stlangbot: bf_stat +[>-] 11:33:54 [mroman] {',': 0, '+': 1, '-': 256, '[': 1, '.': 0, ']': 256, '<': 0, '>': 256}; Completed in 770 cycles; Used 256 cells 11:34:01 Though it doesn't exactly count bf cycles but the internal bytecode cycles. 11:34:54 It counts [ only once. 11:36:16 is there a way to download single packages from pkgsrc instead of the whole fucking thing? 11:36:48 tar xzf:ing that thing on qemu on my computer is not fun 11:44:50 -!- augur has quit (Remote host closed the connection). 11:45:51 stlangbot: stlang M 5 .(s;i<-;i \ 11:45:52 [mroman] ['.'] 11:46:17 stlangbot: stlang M .55(s;i<-;i* \ 11:46:17 [mroman] Your program sucks! 11:46:23 stlangbot: stlang M .5(s;i<-;i \ 11:46:23 [mroman] ['.'] 11:46:38 -!- boily has joined. 11:46:42 stlangbot: stlang M .5(s;i<-;i5* \ 11:46:43 [mroman] Your program sucks! 11:46:56 stlangbot: stlang M '. 5 * \ 11:46:57 [mroman] Your program sucks! 11:47:01 stlangbot: stlang M 5 '. * \ 11:47:02 [mroman] Your program sucks! 11:48:03 stlangbot: stlang M pi .(s;i<-;i \ 11:48:03 [mroman] ['5356295141.'] 11:48:27 stlangbot: stlang M pi .(s;i<-;i;i(i \ 11:48:27 [mroman] [5356295141L] 11:50:41 Such a critical bot, always complaining about people's programs. 11:51:06 He does not know how to politely report errors yet :( 11:51:21 stlangbot: setnote err|Report errors politely 11:51:22 [mroman]Saved as err! 11:51:50 stlangbot: stlang M .12(,(` \ 11:51:51 [mroman] None 11:51:58 stlangbot: stlang M .12(, \ 11:51:59 [mroman] [(1.0, 2.0)] 11:52:20 stlangbot: stlang M .12(, unpair \ 11:52:20 [mroman] [1.0, 2.0] 11:52:26 stlangbot: stlang M .12(,(` \ 11:52:27 [mroman] None 11:52:28 Uh... in addition to "Meat tree with cauliflower", next Monday's lunch list contains "Hungarian castle cemetary stew with tree trunks". These are very esoteric foods. 11:52:54 stlangbot: setnote unpair|Is ` special cased? 11:52:55 [mroman]Saved as unpair! 11:53:10 fizzie: where are you? 11:53:28 nortti: In Belgium. 11:53:36 Leuven, to be precise. 11:55:05 Stlang has just so many functions it's frustrating to document them now :( 11:55:15 stlangbot: die 11:55:15 -!- stlangbot has quit (Quit: Bye, cruel world!). 11:56:14 :P 11:56:15 -!- stlangbot has joined. 11:56:16 stlangbot: stlang M .12(,(] \ 11:56:16 [mroman] [1.0, 2.0] 11:56:20 stlangbot: die 11:56:21 Do we know each other? 11:56:23 It's "Graveyard stew from the Hungarian castles, with tree trunks" if I ask Google translate, which leads me to wonder if the English menu is made with machine translation too. 11:56:24 ` is special cased. 11:56:34 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 11:56:57 Also, I'm not sure I want to know what graveyard/cemetery stew is. 11:57:04 Dead folks, maybe. 11:58:46 Milk poured over toasted and buttered bread, suggests Google. 11:59:41 Equally unsure on how exactly are Hungarian castles involved. 12:02:00 hm. 12:02:06 137 builtin-functions :( 12:02:34 stlangbot: stlang M 123 0x \ 12:02:35 [mroman] Your program sucks! 12:02:59 stlangbot: stlang M 123 (i) 0x \ 12:03:00 [mroman] ['0x7b'] 12:04:16 stlangbot: stlang M 'Hello,World '^Hello,\s(.*)$ =~ 0 g \ 12:04:17 [mroman] [''] 12:04:24 stlangbot: stlang M 'Hello,World '^Hello,(.*)$ =~ 0 g \ 12:04:24 [mroman] ['World'] 12:05:27 stlangbot: stlang M 0 1 100 {sqrt) \F \ 12:05:28 [mroman] Your program sucks! 12:05:36 stlangbot: stlang M 0 1 100 {sqrt) /F \ 12:05:37 [mroman] Your program sucks! 12:05:48 stlangbot: stlang M 0 1 100 {sqrt} /F \ 12:05:48 [mroman] [] 12:06:19 ah. 12:06:26 for does not collect the stack. 12:07:10 woohoo it's done. 12:07:18 stlangbot: stlang M pi .(s;i<-;i;i(i(s# \ 12:07:18 [mroman] ['5', '3', '5', '6', '2', '9', '5', '1', '4', '1'] 12:07:49 now i don't need you anymore 12:07:53 -!- oklopol has quit. 12:08:04 stlangbot: stlang M pi .(s;i<-;i;i(i(s # | mi \ 12:08:05 [mroman] [[5, 3, 5, 6, 2, 9, 5, 1, 4, 1]] 12:08:16 stlangbot: stlang M ?2 pi .(s;i<-;i;i(i(s # | mi m \ 12:08:16 [mroman] Your program sucks! 12:08:21 stlangbot: die 12:08:21 -!- stlangbot has quit (Quit: Bye, cruel world!). 12:15:59 -!- augur has joined. 12:16:09 -!- augur has quit (Remote host closed the connection). 12:20:43 -!- Vorpal has joined. 12:25:45 -!- augur has joined. 12:29:59 -!- MoALTz has quit (Quit: brb). 12:37:09 -!- MoALTz has joined. 12:47:25 -!- augur has quit (Read error: Connection reset by peer). 12:47:41 -!- augur has joined. 13:02:11 -!- oklopol has joined. 13:02:13 oijd 13:03:13 Did you talk them into a swamp in the true ur-Finnish way? 13:03:22 naturally. 13:03:29 there was even a question :o 13:03:38 Ooh. 13:03:50 "does this generalize to the multidimensional case?" 13:03:56 Did you have a good answer to the question? 13:04:01 yes 13:04:05 i said dunno, i hope so 13:04:16 Did you talk them into a swamp in the true ur-Finnish way? <-- what? 13:04:23 I need to read the log I guess 13:04:25 it would be cool because it would mean Game of Life is a product of idempotent CA. 13:04:35 Vorpal: oklopol had a conference talk. 13:04:38 ah 13:04:46 fizzie, what does "talk them into a swamp" mean? 13:04:47 Vorpal: And Vainamoinen sings someone into a swamp in Kalevala. 13:05:03 Vainamoinen being? 13:05:15 a dudde 13:05:18 The main dude in it. 13:05:22 http://tvtropes.org/pmwiki/pmwiki.php/Literature/TheKalevala "Magic Music" 13:05:22 ah 13:05:42 hey, tvtropes links are open warfare ;P 13:06:34 Also it needs some dots in the a's, I'm just hampered by this keyboard. 13:06:48 Maybe I should configure a compose key. 13:07:28 so you're not in finland i deduce? (i actually deduced this earlier already) 13:07:39 Väinämöinen. Yes, that's much better. 13:07:53 oklopol: I'm on my one-month Belgium visit. 13:08:03 one month? That much? 13:08:12 I was under the impression that it would last a few days 13:08:19 so what is Belgium like? 13:08:32 fizzie: i don't recall this, perhaps i have been away too much. 13:08:33 It's been rather warm so far. And the keyboards are all funny. 13:08:37 what's in belgium 13:08:55 oklopol: http://www.esat.kuleuven.be/ 13:09:00 oklopol, the EU parliament? 13:09:11 The funniest thing so far has been the lunch menu, I've mentioned those here on-channel. 13:09:19 oh? 13:09:23 and why are you there? 13:09:24 I haven't seen those mentions 13:09:33 Why are the menus funny? 13:09:37 Monday: "Meat tree with cauliflower" and "Hungarian castle cemetary stew with tree trunks", 13:09:52 fizzie, badly translated menu? 13:10:13 whoops, kinda just laughed out loud during a lecture 13:10:19 I'm not sure there is a good translation, the meat trees/tree trunks are some sort of a local thing apparently. 13:10:25 oklopol, you are IRCing during a lecture? 13:10:29 yes. 13:10:43 oklopol, that boring? 13:10:44 Googling for "Boomstammetje" will give you pictures, they're some sort of cylindrical things. 13:10:47 what is it about 13:11:01 fizzie, what about the tree trunks bit though? 13:11:03 -!- boily has quit (Quit: WeeChat 0.3.8). 13:11:07 no, i just usually stop listening after they tell me what they did unless it's really close to my area or it's not too technical. 13:11:13 and they are always very very technical 13:11:14 Vorpal: Tree trunks are the same thing as meat trees in this context. 13:11:27 oklopol: We have a frequent collaborator here, I think for this month we're doing some sort of a dereverberation thing. 13:11:44 -!- boily has joined. 13:11:45 fizzie, ah 13:11:49 oh okay dereverberatification is one of my favorites too. 13:12:09 belgium has beer and comics as i understand it.. without actual research thats my stereotype 13:12:20 Also chocolate. 13:12:23 what a terrific basis for a nation 13:12:26 whoa 13:12:31 Vorpal: there's this characterization of star-free languages as the languages with an aperiodic syntactic monoid 13:12:40 Last ICASSP (it's a slightly more general signal processing conference than, say, Interspeech) the most interesting sessions were the image things I went to just for the funs. 13:12:45 and there exists one for languages of infinite words as well 13:13:07 what they proved is that the same characterization also works for languages where you have both finite and infinite words. 13:13:11 oklopol: Sounds kinda technical. 13:13:14 it's like the japan of the western world 13:13:21 yeah. 13:13:34 oklopol, yeah that is rather technical... 13:13:37 three first slides were interesting, then it's just full of symbols. 13:13:44 and i have a headache and probably a fever. 13:13:45 oklopol, I have no clue what "aperiodic syntactic monoid" is 13:13:57 ^&^*^&)*@^#^#*&#*(# he-hey glavin 13:14:00 I don't know either, but I don't think it's periodic. 13:14:00 do you know what a monoid is? 13:14:29 oklopol, I heard it explained once, but I don't remember the details at all. 13:14:48 again with the symbols and the students and the lectures running overtime.. 13:14:49 a semigroup is a set plus a multiplication operation, which is associative 13:15:04 oklopol, right, I know that 13:15:07 a monoid is a semigroup which has a special element 1 such that 1*a = a*1 = a for all a 13:15:21 oh, that is pretty straight forward 13:16:00 an aperiodic monoid is a monoid M such that if you take any x \in M, then x^n = x^{n+1} for some M. so if you start multiplying x by itself, you get in a trivial loop (it's clear that you get in *some* loop if M is finite) 13:16:13 apparently this means exactly that M has no nontrivial subgroups. 13:16:43 oklopol: so, something that interests me as an idiot, is the question of rotating "objects" in a CA 13:16:43 (group being... well i suppose you know, monoid plus inverses) 13:16:45 oklopol, uh, that aperiodic bit sounds like it is kind of periodic by you description? 13:16:51 i don't really know a better term than object 13:16:53 what with the "trivial loop" 13:17:16 translation is kind of old hat 13:17:22 need to get some funky rotations 13:17:23 if M is finite, and you take the sequence x, x^2, x^3, x^4, ..., it has to get in a loop. 13:17:32 well okay 13:17:37 aperiodic says the loop is as trivial as possible. 13:17:51 now we have aperiodic monoids down, unfortunately that's that easy part 13:17:53 *that's the 13:17:56 oklopol, ah so it doesn't mean "not-periodic"? 13:18:04 not really. 13:18:11 fair enough 13:18:18 what about the "syntactic" part 13:19:04 the syntactic monoid of a language L means you say two words u and v are equal if for any words w and w', wuw' is in L iff wvw' is in L 13:19:16 so two words are considered the same if L cannot separate them, so to speak. 13:19:39 the syntactic monoid of L is the set of words divided by this relation (it's an equivalence relation) 13:19:53 huh 13:19:54 so the trouble with rotation is that if a group of cells rotates around some particular cell, then that state has to be encoded somehow 13:19:55 ...yeah i'm pretty sure that's it :D 13:20:24 oklopol, okay I understood all the words and even the entire sentence, but I'm not sure I understand the underlying concept. 13:20:37 can you give an example of such a language? 13:21:01 well that's harder :D 13:21:07 oh? 13:21:12 there's a characterization: they are exactly the star-free languages 13:21:17 ah okay 13:21:45 well, that is kind of an interesting way to describe star-free languages I guess. 13:21:58 not sure why it is an useful way to describe them though 13:22:11 for instance 1A^* + (001A^*)^c is star-free (to that's the words starting with 1 and all words not starting with 001) 13:22:19 so... that should have an aperiodic syntactic monoid 13:22:28 i'm not gonna check this :D 13:22:50 oklopol, wait what, you had two kleene stars there... how is that star free? 13:23:05 A^* is the complement of the empty language 13:23:12 oh okay 13:23:20 I guess your notation confused me 13:24:22 okay the day has ended 13:24:25 i'm leaving again 13:24:39 oklopol, cya 13:24:55 cyanide 13:24:58 -!- oklopol has quit. 13:36:21 -!- sclv has joined. 13:37:44 -!- boily has quit (Quit: WeeChat 0.3.8). 13:46:27 -!- VorpalPhone has joined. 13:50:55 -!- VorpalPhone has quit (Client Quit). 13:55:36 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:02:07 -!- boily has joined. 14:15:13 -!- copumpkin has joined. 14:17:51 -!- Patashu has changed nick to Patashu[Zzz]. 14:27:36 -!- boily has quit (Quit: WeeChat 0.3.8). 14:27:43 -!- boily has joined. 14:35:01 -!- edwardk has joined. 14:36:26 -!- mromanb has joined. 14:36:34 hm. 14:36:38 -!- mromanb has quit (Remote host closed the connection). 14:36:50 -!- stlangbot has joined. 14:36:54 stlangbot: df iisiiiisiiiiiiiioiiiiiiiiiiiiiiiiiiiiiiiiiiiiioiiiiiiiooiiio 14:36:54 -!- stlangbot has quit (Remote host closed the connection). 14:37:01 huh. 14:37:04 deadfish kills bots :D 14:37:45 -!- stlangbot has joined. 14:37:48 stlangbot: df iisiiiisiiiiiiiioiiiiiiiiiiiiiiiiiiiiiiiiiiiiioiiiiiiiooiiio 14:37:48 [mroman] Hello 14:40:40 stlangbot: df iissiissiissiisso 14:40:40 [mroman] Fish died! 14:41:00 stlangbot: df iso sucks 14:41:00 [mroman] 14:58:03 stlangbot: stlang M 0 'iiiiddis f \ fn f .<+;h d ;t f \ fn f: .$@ \ fn d \ fn d:i .$<>I<> \ fn d:d .$<>D<> \ fn d:s .$<><+*<> \ 14:58:03 [mroman] [' 9.0'] 14:58:20 137 functions but no chr or ord function :( 14:58:30 -!- Taneb has joined. 14:58:45 stlangbot: stlang M 0 'iiiiddiss f \ fn f .<+;h d ;t f \ fn f: .$@ \ fn d \ fn d:i .$<>I<> \ fn d:d .$<>D<> \ fn d:s .$<><+*<> \ 14:58:45 [mroman] [' 81.0'] 14:58:45 Hello 15:00:39 Must add chr and ord function :) 15:00:42 stlangbot: die 15:00:42 -!- stlangbot has quit (Quit: Bye, cruel world!). 15:03:33 -!- stlangbot has joined. 15:03:43 stlangbot: stlang M 0 'iiiiddiss f \ fn f .<+;h d ;t f \ fn f: .$;C \ fn d \ fn d:i .$<>I<> \ fn d:d .$<>D<> \ fn d:s .$<><+*<> \ 15:03:43 [mroman] ['Q'] 15:03:58 > chr 81 15:04:00 'Q' 15:06:41 stlangbot: df iiiiddisso 15:06:41 [mroman] Q 15:06:57 -!- Taneb has quit (Quit: Leaving). 15:25:23 stlangbot: die 15:25:24 -!- stlangbot has quit (Quit: Bye, cruel world!). 15:33:46 -!- edwardk has quit (Quit: Leaving...). 15:33:49 kallisti: Is your bot still here. 15:34:56 rolebot: help 15:35:06 -!- stlangbot has joined. 15:35:12 stlangbot: undf 81 15:35:12 [mroman] iiiiiiiiiso 15:35:13 shachaf: in theory 15:35:17 $help 15:35:23 stlangbot: df iiiiiiiiiso 15:35:23 [mroman] Q 15:35:27 but apparently isn't responding 15:35:39 stlangbot: undf 65 15:35:39 [mroman] iiiiiiiiisiiiiiiiiiiiiiiiio 15:35:52 o_O 15:36:01 stlangbot: df iiiiiiiiisiiiiiiiiiiiiiiiio 15:36:01 [mroman] a 15:37:13 stlangbot: help 15:37:13 bf_cu (Brainfuck cell usage); stlang (Evaluate stlang); bf_stat (Brainfuck statistics) 15:37:13 bf_cu: MAX_CELLS := 256; stlang : MAX_CALLS := 20000 15:37:13 bf_stat: MAX_CELLS := 256; 15:37:13 > ord 'a' 15:37:15 97 15:37:23 this is broken man. 15:39:02 -!- rolebot has quit (Remote host closed the connection). 15:45:41 -!- stlangbot has quit (Remote host closed the connection). 15:46:39 -!- stlangbot has joined. 15:46:42 stlangbot: undf 65 15:46:42 [mroman] iiiiiiiisi 15:46:59 stlangbot: undf 111 15:46:59 [mroman] iiiiiiiiiisiiiiiiiiiii 15:47:01 stlangbot: undf 112 15:47:02 [mroman] iiiiiiiiiisiiiiiiiiiiii 15:47:04 stlangbot: undf 121 15:47:05 [mroman] iiiiiiiiiiis 15:47:22 stlangbot: undf 4100 15:47:23 [mroman] iiiiiiiissiiii 15:48:00 stlangbot: help 15:48:01 bf_cu (Brainfuck cell usage); stlang (Evaluate stlang); bf_stat (Brainfuck statistics) 15:48:01 bf_in (Brainfuck inspect last active cell); df (Deadfish); undf (Undeadfish) 15:48:38 stlangbot: undf 314159 15:48:46 [mroman] iissssiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii 15:48:47 -!- stlangbot has quit (Excess Flood). 15:49:00 oops. 15:50:53 -!- stlangbot has joined. 15:51:00 stlangbot: undf 314159 15:51:01 [mroman] iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii 15:51:29 better than excess flood 15:51:32 stlangbot: undf 3141 15:51:33 [mroman] iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiisiiiii 15:51:55 stlangbot: die 15:51:56 -!- stlangbot has quit (Client Quit). 16:02:54 -!- zzo38 has joined. 16:14:00 -!- Frooxius|TabletP has joined. 16:18:50 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 16:19:26 -!- copumpkin has joined. 16:34:43 -!- monqy has quit (Ping timeout: 245 seconds). 16:38:14 -!- azaq23 has joined. 16:38:23 -!- azaq23 has quit (Max SendQ exceeded). 17:00:12 -!- Patashu has joined. 17:01:36 -!- Patashu[Zzz] has quit (Ping timeout: 265 seconds). 17:02:38 -!- edwardk has joined. 17:10:29 Can any computer golf game allow the gravity and friction to be adjusted? 17:13:42 In this Top Rank Boxing game now there is six rounds. It used to be four rounds 17:16:12 To allow the feeling of golfing on the moon? 17:16:29 mroman: Yes, to make golf on moon, etc 17:18:09 awesome :) 17:18:52 Space golfing. Hit the ball in to the black hole. 17:19:04 Gravity will do most of the work. 17:25:59 mroman: except that it never quite gets there =) 17:26:35 Due to the time slowing down? 17:27:02 Is the center of a black hole the end of time? 17:37:44 Meanwhile in the USA http://youtu.be/pwSdzhi8-6A?t=6m 17:45:56 -!- KATHERUIZ-15d has joined. 17:47:41 -!- KATHERUIZ-15d has quit (Read error: Connection reset by peer). 17:49:32 Space golfing. Hit the ball in to the black hole. 17:49:37 Gravity will do most of the work. 17:49:38 Not quite. 17:53:34 Enough with the "not quite" already. 17:53:46 Need explanation. 17:54:41 Well, for one thing, black holes aren't all-consuming cosmic funnels of total annihilation. 17:56:19 Basically, something that would hit, say, the sun, would probably sail right past a black hole of the same mass. 18:02:04 Phantom_Hoover, wouldn't a black hole with the mass of the sun evaporate rather quickly from Hawking radiation (if that hypothesis is correct) 18:09:07 -!- AnotherTest has joined. 18:12:20 -!- AnotherTest has quit (Client Quit). 18:12:34 -!- AnotherTest has joined. 18:19:26 is there a way to do ssh -L in the other direction? a command i can run on computer A that links A:p and B:p such that connections to B:p get forwarded over the secure channel to A:p? 18:21:05 Vorpal: hawking radiation isn't that quick of a process on a human scale. 18:21:57 quintopia, ah 18:22:21 quintopia, -L is tunnel right? 18:22:28 I know you can do tunnels both ways 18:22:29 yes 18:22:33 I don't remember the details though 18:22:36 aw 18:22:46 quintopia, read the man page? 18:22:55 in man / searches :P 18:22:57 yeah but i have to read the whole thing 18:23:04 search :P 18:23:05 what to search for though? 18:23:15 quintopia, "forward", "tunnel", "port"? 18:23:19 one of those ought to work 18:23:47 -R 18:23:50 IIRC. 18:23:55 -L for local, -R for remote. 18:23:56 okay but first i have to calculate how long it would take a sun mass black hole to evaporate :P 18:24:01 Works exact the same way than -L. 18:24:06 thx fizzie 18:24:08 fizzie, s/than/as/ 18:24:17 (Except the port that gets forwarded is on the remote side.) 18:28:28 Vorpal: actually i didn't need to calculate 18:28:45 Vorpal: the wikipedia article on hawking radiation give the evaporation time for a sun-size black hole as 2.098 × 1067 years 18:28:49 *10^67 18:29:53 aka more than the current age of the universe 18:29:53 Phantom_Hoover, wouldn't a black hole with the mass of the sun evaporate rather quickly from Hawking radiation (if that hypothesis is correct) 18:29:55 No. 18:29:59 quintopia, quite a bit then 18:30:06 Sun mass is pretty normal for a black hole. 18:30:10 -!- Taneb has joined. 18:30:40 Vorpal: the evaporation time is directly proportional to the cube of the mass 18:30:43 Hello! 18:30:43 A black hole the mass of a mountain would take about the current age of the universe to decay fully. 18:30:51 Phantom_Hoover, oh, I guess because most of the star's material is thrown away in the super nova that creates the black hole? 18:31:00 Vorpal, yeah. 18:31:03 Almost all of it. 18:31:20 quintopia, ooh did I tell you about Hawking generators they are the BEST THING 18:31:27 -!- ais523 has joined. 18:31:31 Phantom_Hoover: no 18:31:37 Phantom_Hoover, how can the gravity on the bit that is left lead to a black hole then? (Rather than a white dwarf) 18:31:52 sorry, brb, phone 18:32:20 Basic principle is, you have a black hole with a mass such that it radiates energy at an appropriate rate for you to use. 18:32:36 Vorpal: to do the calculations yourself, multiply 1.33820726 × 10^-17 by the cube of the mass in kg. that gives evaporation time in seconds (in a vacuum, low-gravity reference frame iiuc) 18:32:49 You then funnel mass back into it to offset the decay, and you have a perfectly efficient mass-to-energy converter. 18:33:04 Vorpal, the thing that makes black holes isn't gravity, it's density. 18:34:18 The core is crushed incredibly by the mass of the star, which eventually gets to the point where none of the physical forces maintaining a minimum separation of matter (there are a few at play) can resist it. 18:35:30 -!- boily has quit (Quit: WeeChat 0.3.8). 18:36:35 Phantom_Hoover: sounds cool. I've heard similar ideas before. convert our trash to energy. however, i'd rather see aneutronic fusion made to work than set off in search of an appropriately-sized black hole, since it produces helium, which we don't have enough of anyway. 18:38:45 Phantom_Hoover: do you know of a theoretically perfectly efficient energy-to-mass converter? 18:40:31 Phantom_Hoover: also, do you know enough about the SM to understand why a higgs would provide mass? 18:41:01 edwardk: Why haven't you removed the bad MonadTrans and MonadPlus instances for Free? 18:59:56 -!- aloril has quit (Ping timeout: 250 seconds). 19:00:53 -!- oerjan has joined. 19:07:00 [mroman] iiiiiiiiisiiiiiiiiiiiiiiiio 19:07:20 iiiiiiiii = iiis for a start... 19:07:42 -!- DHeadshot has quit (Read error: Connection reset by peer). 19:12:42 woo 19:12:47 im learning some bash :x 19:13:35 -!- aloril has joined. 19:15:31 "If the mass of the remnant exceeds about 3–4 solar masses (the Tolman–Oppenheimer–Volkoff limit[14])—either because the original star was very heavy or because the remnant collected additional mass through accretion of matter—even the degeneracy pressure of neutrons is insufficient to stop the collapse." 19:15:58 i don't think 1 solar mass black holes are implied to be normal there 19:16:29 i recall 1.4 solar masses is the limit before you get a neutron star 19:16:48 -!- boily has joined. 19:17:00 Phantom_Hoover: do you know of a theoretically perfectly efficient energy-to-mass converter? 19:17:00 Phantom_Hoover: also, do you know enough about the SM to understand why a higgs would provide mass? 19:17:00 Hell no. 19:17:29 I just read A Brief History of Time and the WP article on Hawking radiation, and there aren't any theoretical problems. 19:17:42 hey augur 19:17:52 hi 19:20:09 "Stellar mass or larger black holes receive more mass from the cosmic microwave background than they emit through Hawking radiation and thus will grow instead of shrink. To have a Hawking temperature larger than 2.7 K (and be able to evaporate), a black hole needs to have less mass than the Moon." 19:20:29 I discovered how to make Deus Ex fun 19:22:43 Basically you get the lightsaber sword that one-shots almost all humanoid enemies, then health regen and speed upgrades, then you run up to everyone and show them your stabs while they're still asking you if you're their seargant. 19:22:56 oh dear i spelt sargeant wrong didnt i 19:23:21 yes sirgiant isn't spellt that way 19:23:31 I'm covering all the bases. 19:23:35 You spelt sergeant wrong twice 19:24:19 But you can get the correct spelling by mixing and matching and isn't that the real truth? 19:24:22 * oerjan swats Taneb for boring spelling -----### 19:24:28 (it can also be spelt "serjeant" in some regiments, such as the West Yorkshire Riding regiment) 19:24:45 sure y'aint 19:25:28 -!- stlangbot has joined. 19:25:48 stlangbot: df iiisso 19:25:48 [Taneb] Q 19:25:58 stlangbot: df isisisiso 19:25:58 [oerjan] Fish died! 19:26:11 SHEESH 19:26:18 stlangbot, auch merperren 19:26:23 > 26 ^ 2 19:26:25 676 19:26:36 stlangbot outputs ascii, not numbers. 19:26:36 that's not very big 19:26:53 mroman: oh. not compliant deadfish 19:26:58 alright. 19:27:00 stlangbot: die 19:27:00 -!- stlangbot has quit (Client Quit). 19:27:12 even my itflabtijtslwi interpreter does bigger numbers than that :P 19:27:31 augur, also don't get microfibrial muscle because bots are hell without the melee aug. 19:27:34 -!- stlangbot has joined. 19:27:40 stlangbot: df isisisiso 19:27:40 [mroman] [676] 19:27:41 what 19:27:47 stlangbot: df isisisisosososo 19:27:47 [mroman] [676, 456976, 208827064576L, 43608742899428874059776L] 19:27:50 stlangbot: df isisisisososososo 19:27:50 [mroman] [676, 456976, 208827064576L, 43608742899428874059776L, 1901722457268488241418827816020396748021170176L] 19:27:51 stlangbot: df isisisisosososososo 19:27:52 [mroman] [676, 456976, 208827064576L, 43608742899428874059776L, 1901722457268488241418827816020396748021170176L, 3616548304479297085365330736464680499909051895704748593486634912486670341490423472351870976L] 19:27:53 stlangbot: df isisisisososososososo 19:27:53 [mroman] [676, 456976, 208827064576L, 43608742899428874059776L, 1901722457268488241418827816020396748021170176L, 3616548304479297085365330736464680499909051895704748593486634912486670341490423472351870976L, 13079421638632078538609985886760523574926223260449315332780141613109448755835972767166862958721190041422043896326261700101811115130162354414853265170521645989511987615710527751192576L] 19:27:56 stlangbot: die 19:27:56 -!- stlangbot has quit (Client Quit). 19:28:02 oh, sorry, i didnt see your above comments 19:28:03 gotta excess flood prevent that :) 19:28:22 -!- stlangbot has joined. 19:28:25 stlangbot: df isisisisososososososo 19:28:25 [mroman] [676, 456976, 208827064576L, 43608742899428874059776L, 190172245726848824141882781602039674802117017 19:28:28 better. 19:28:33 Phantom_Hoover: who are you on reddit 19:28:45 stlangbot: df isisisiso 19:28:45 [mroman] [676] 19:28:46 oh what is this shit you can't get the canister for that slot ever again after liberty island 19:28:47 How is your brain on reddit. 19:28:53 stlangbot: undf 676 19:28:54 [mroman] iiiiiiiiiiiiiiiiiiiiiiiiiis 19:28:57 augur, you have 2 guesses 19:29:20 (hint, I replied to you) 19:29:36 hm. 19:29:36 stlangbot: undf 124 19:29:37 [oerjan] iiiiiiiiiiisiii 19:29:43 oh wait 19:29:51 stlangbot: undf 120 19:29:51 [oerjan] iiiiiiiiiisiiiiiiiiiiiiiiiiiiii 19:30:03 DISAPPOINT 19:30:07 Yeah. 19:30:09 Gotta fix that. 19:30:10 stlangbot: die 19:30:11 -!- stlangbot has quit (Client Quit). 19:34:56 -!- boily has quit (Quit: WeeChat 0.3.8). 19:35:03 i, ii, iii, iis, iisi, iisii, iisiii, iiisd, iiis, iiisi, iiisii, iiisiii, iissddd, iissdd, iissd, iiss ... 19:36:49 -!- stlangbot has joined. 19:36:52 stlangbot: undf 124 19:36:52 [mroman] iiiiiiiiiiisiii 19:36:55 stlangbot: undf 120 19:36:56 [mroman] iiisisiiiiiiiiiiiiiiiiiiii 19:36:59 stlangbot: undf 676 19:37:00 [mroman] iisisis 19:37:06 stlangbot: undf 119 19:37:07 [mroman] iiisisiiiiiiiiiiiiiiiiiii 19:37:19 little bit better. 19:38:18 Taneb: sargeant is the correct way to spell dick sargeant's name isn't it? 19:38:37 Phantom_Hoover: looking now 19:38:38 Could be 19:38:51 Sargent, Google says 19:39:07 oah 19:40:08 Phantom_Hoover: oh, yes, ok. i didnt notice your username before. 19:41:16 stlangbot: die 19:41:16 -!- stlangbot has quit (Client Quit). 19:41:26 -!- stlangbot has joined. 19:41:27 stlangbot: undf 119 19:41:28 [mroman] Fish can not die! 19:41:32 stlangbot: undf 120 19:41:33 [mroman] Fish can not die! 19:41:34 stlangbot: die 19:41:35 -!- stlangbot has quit (Client Quit). 19:41:38 but he can die 19:47:22 -!- stlangbot has joined. 19:47:24 stlangbot: undf 125 19:47:24 [mroman] iiisiisiiii 19:47:27 stlangbot: undf 126 19:47:27 [mroman] iiisiisiiiii 19:47:29 stlangbot: undf 129 19:47:29 [mroman] iiisiisiiiiiiii 19:47:33 stlangbot: undf 118 19:47:33 [mroman] iiisisiiiiiiiiiiiiiiiiii 19:47:35 stlangbot: undf 119 19:47:36 [mroman] iiisisiiiiiiiiiiiiiiiiiii 19:47:44 stlangbot: undf 1337 19:47:45 [mroman] iiiiiissiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii 19:47:54 stlangbot: undf 1337 19:47:56 [mroman] iiiiiissiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii 19:48:03 yeah. not very smart :( 19:48:06 stlangbot: undf 1025 19:48:08 [mroman] iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiisi 19:48:14 stlangbot: die 19:48:14 -!- stlangbot has quit (Client Quit). 19:50:55 -!- stlangbot has joined. 19:50:59 stlangbot: undf 256 19:51:00 [mroman] iisss 19:51:08 stlangbot: undf 230 19:51:08 [mroman] iiiiiiiiiiiiiiisiiiii 19:51:17 stlangbot: undf 220 19:51:18 [mroman] iiiiiiiiiiiiiisiiiiiiiiiiiiiiiiiiiiiiii 19:51:44 stlangbot: undf 8 19:51:59 [mroman] Fish can not die! 19:52:02 -!- stlangbot has quit (Remote host closed the connection). 19:52:14 :D 19:52:18 8 is too low to calculate. 19:53:52 :( 19:58:16 private git repo is up. feel free if you want to use my server as a host for it. 19:58:58 er, I think there's something missing from that sentence. 19:59:02 I'll let you feel in the blanks. 19:59:05 think of it as a fun game. 19:59:16 -!- edwardk has quit (Ping timeout: 255 seconds). 20:00:41 -!- stlangbot has joined. 20:00:42 stlangbot: undf 8 20:00:43 [mroman] iiisd 20:00:45 stlangbot: undf 119 20:00:46 [mroman] iiiiiiiiiiisdd 20:00:48 stlangbot: undf 123 20:00:49 [mroman] iiisiisii 20:00:57 stlangbot: df iiisiisiio 20:00:57 [mroman] [123] 20:01:06 now he's pretty damn clever. 20:01:23 stlangbot: undf 119 20:01:23 [mroman] iiiiiiiiiiisdd 20:01:25 stlangbot: undf 8 20:01:25 [oerjan] iiisd 20:01:49 stlangbot: undf 12 20:01:50 [oerjan] iiisiii 20:01:51 stlangbot: undf 13 20:01:52 [oerjan] iissddd 20:01:57 OKAY 20:02:42 -!- edwardk has joined. 20:02:52 stlangbot: undf 14 20:02:53 [mroman] iissdd 20:03:02 stlangbot: df iissddd 20:03:03 [mroman] [] 20:03:05 stlangbot: df iissdddo 20:03:06 [mroman] [13] 20:03:13 stlangbot: df iissdd 20:03:14 [mroman] [] 20:03:15 stlangbot: df iissddo 20:03:16 [mroman] [14] 20:03:17 stlangbot: undf 72 20:03:17 [oerjan] iiissddddddddd 20:03:24 stlangbot: undf 71 20:03:24 [oerjan] iiissdddddddddd 20:03:31 stlangbot: undf 70 20:03:32 [oerjan] iiiiiiiisiiiiii 20:03:39 oops 20:03:46 mroman: still not perfect 20:04:02 can 71 be achieved shorter? 20:04:08 stlangbot: undf 71 20:04:08 [mroman] iiissdddddddddd 20:04:32 stlangbot: df iiss 20:04:32 [mroman] [] 20:04:33 stlangbot: df iisso 20:04:33 [mroman] [16] 20:04:34 stlangbot: df iiisdsiiiiiii 20:04:34 [oerjan] [] 20:04:38 stlangbot: df iiisdsiiiiiiio 20:04:39 [oerjan] [71] 20:05:03 two bytes. 20:05:37 Well... 20:05:43 stlangbot: df iiisdsiiiiii 20:05:44 [oerjan] [] 20:05:46 stlangbot: df iiisdsiiiiiio 20:05:46 [oerjan] [70] 20:05:47 he's pretty clever for not using bruteforce. 20:05:52 but not perfect, yes. 20:06:54 mroman: it doesn't use the best form for 8 when producing 70 20:06:55 undf is the deadfish version of bf_txtgen? 20:07:08 what is the algorithm? 20:09:49 stlangbot: die 20:09:50 -!- stlangbot has quit (Quit: Bye, cruel world!). 20:10:01 -!- stlangbot has joined. 20:10:02 stlangbot: undf 70 20:10:10 [mroman] Fish can not die! 20:10:10 -!- stlangbot has quit (Remote host closed the connection). 20:10:45 > let undf n | n < 4 = replicate n 'i' | length n1 <= length n2 = n1 | otherwise = n2 where n1 = undf (floor (sqrt n)); n2 = undf (ceiling (sqrt n)) in map undf [0..] 20:10:46 No instance for (GHC.Float.Floating GHC.Types.Int) 20:10:46 arising from a use of... 20:10:49 eek 20:10:58 > let undf n | n < 4 = replicate n 'i' | length n1 <= length n2 = n1 | otherwise = n2 where n1 = undf (floor (sqrt n)); n2 = undf (ceiling (sqrt (fromIntegral n))) in map undf [0..] 20:10:59 No instance for (GHC.Float.Floating GHC.Types.Int) 20:11:00 arising from a use of... 20:11:07 oops 20:12:05 > let undf n | n < 4 = replicate n 'i' | length n1 <= length n2 = n1 | otherwise = n2 where sqrtn = sqrt (fromIntegral n); n1 = undf (floor sqrtn); n2 = undf (ceiling sqrtn) in map undf [0..] 20:12:07 ["","i","ii","iii","ii","ii","ii","ii","ii","iii","ii","ii","ii","ii","ii",... 20:12:09 oops 20:12:20 ...duh 20:12:23 -!- stlangbot has joined. 20:12:24 stlangbot: undf 70 20:12:25 [mroman] iiiidsdsiiiiii 20:12:28 stlangbot: undf 71 20:12:29 [mroman] iiiidsdsiiiiiii 20:12:31 stlangbot: undf 72 20:12:31 [mroman] iiissddddddddd 20:12:33 stlangbot: undf 73 20:12:34 [mroman] iiissdddddddd 20:12:38 stlangbot: undf 74 20:12:39 [mroman] iiissddddddd 20:12:41 stlangbot: undf 78 20:12:42 [mroman] iiissddd 20:12:45 stlangbot: undf 80 20:12:46 [mroman] iiissd 20:12:48 stlangbot: undf 8 20:12:49 [mroman] iiisd 20:12:52 stlangbot: undf 1 20:12:53 [mroman] Fish can not die! 20:12:55 stlangbot: undf 2 20:12:56 [mroman] ii 20:12:58 stlangbot: undf 4 20:12:58 mroman: iiii can be shortened to iis 20:12:59 [mroman] iis 20:13:17 stlangbot: undf 5 20:13:17 [mroman] iisi 20:13:18 stlangbot: undf 6 20:13:19 [mroman] iisii 20:13:21 stlangbot: undf 7 20:13:21 [mroman] iiisdd 20:13:31 stlangbot: undf 137 20:13:31 [mroman] iiiiiiiiiiiisddddddd 20:13:40 oerjan: I see. 20:14:12 hm. 20:14:27 that's probably very well detectable. 20:14:28 stlangbot: die 20:14:29 -!- stlangbot has quit (Client Quit). 20:14:33 this needs a recursion to work properly 20:17:14 > let undf n | n < 4 = replicate n 'i' | length n1 <= length n2 = n1 | otherwise = n2 where sqrtn = floor . sqrt $ fromIntegral n; n1 = undf sqrtn ++ 's' : replicate (n-sqrtn^2) 'i'; n2 = undf (sqrtn+1) ++ 's' : replicate ((sqrtn+1)^2-n) 'd' in map undf [0..] 20:17:16 ["","i","ii","iii","iis","iisi","iisii","iisiii","iiisd","iiis","iiisi","ii... 20:17:27 -!- azaq23 has joined. 20:17:33 there you go 20:18:10 > let undf n | n < 4 = replicate n 'i' | length n1 <= length n2 = n1 | otherwise = n2 where sqrtn = floor . sqrt $ fromIntegral n; n1 = undf sqrtn ++ 's' : replicate (n-sqrtn^2) 'i'; n2 = undf (sqrtn+1) ++ 's' : replicate ((sqrtn+1)^2-n) 'd' in map undf [0..] !! 70 20:18:12 "iiisdsiiiiii" 20:18:30 -!- stlangbot has joined. 20:18:38 stlangbot: undf 70 20:18:38 [mroman] iisdsdsiiiiii 20:18:45 stlangbot: undf 70 20:18:45 [mroman] iisdsdsiiiiii 20:18:48 stlangbot: undf 137 20:18:49 [mroman] iiisiiisddddddd 20:18:53 stlangbot: undf 144 20:18:54 [mroman] iiisiiis 20:19:01 It's probably possible to call Haskell code from Python (via C) 20:19:13 stlangbot: undf 8 20:19:14 [oerjan] iiisd 20:19:24 oerjan: Is that a formula which always produces the shortest solution? 20:19:30 Taneb: Probably if you use foreign exports, it is. 20:19:32 mroman: it should be 20:19:47 stlangbot: df iissiio 20:19:47 [mroman] [18] 20:19:56 stlangbot: df iiso 20:19:56 [mroman] [4] 20:20:00 stlangbot: df iiiso 20:20:01 [mroman] [9] 20:20:05 stlangbot: df iiisdo 20:20:05 [mroman] [8] 20:20:09 it just compares for length adding i's to the lower square bound and d's to the upper one 20:20:14 df iiisso 20:20:19 stlangbot: df iiisso 20:20:19 [Taneb] [81] 20:20:24 stlangbot: undf 81 20:20:25 [mroman] iiiss 20:20:30 No text? 20:20:41 Taneb: Go beat up oerjan! 20:20:46 mroman: your 70 seems to use a too long version of 3 to start 20:20:53 stlangbot: undf 70 20:20:53 [mroman] iisdsdsiiiiii 20:21:11 stlangbot: df iisdsdsiiiiiio 20:21:12 [mroman] [70] 20:21:26 stlangbot: df iiisdsiiiiiio 20:21:26 [Taneb] [70] 20:21:31 One shorter :) 20:21:57 Why does the BBC love Brian Cox? 20:22:08 stlangbot: undf 249 20:22:08 [mroman] iisssddddddd 20:22:18 Taneb: he's their most photogenic physicist? 20:22:20 > let undf n | n < 4 = replicate n 'i' | length n1 <= length n2 = n1 | otherwise = n2 where sqrtn = floor . sqrt $ fromIntegral n; n1 = undf sqrtn ++ 's' : replicate (n-sqrtn^2) 'i'; n2 = undf (sqrtn+1) ++ 's' : replicate ((sqrtn+1)^2-n) 'd' in map undf [0..] !! 249 20:22:23 "iisssddddddd" 20:22:25 olsner, suppose 20:22:33 very unlike wriggly bearded old men like higgs 20:22:40 wrinkly? 20:22:48 wait why am i mapping then indexing :P 20:22:54 > let undf n | n < 4 = replicate n 'i' | length n1 <= length n2 = n1 | otherwise = n2 where sqrtn = floor . sqrt $ fromIntegral n; n1 = undf sqrtn ++ 's' : replicate (n-sqrtn^2) 'i'; n2 = undf (sqrtn+1) ++ 's' : replicate ((sqrtn+1)^2-n) 'd' in map undf 249 20:22:55 No instance for (GHC.Num.Num [GHC.Types.Int]) 20:22:56 arising from the literal `... 20:22:58 oops 20:23:01 > let undf n | n < 4 = replicate n 'i' | length n1 <= length n2 = n1 | otherwise = n2 where sqrtn = floor . sqrt $ fromIntegral n; n1 = undf sqrtn ++ 's' : replicate (n-sqrtn^2) 'i'; n2 = undf (sqrtn+1) ++ 's' : replicate ((sqrtn+1)^2-n) 'd' in undf 249 20:23:03 "iisssddddddd" 20:23:08 stlangbot: undf 128 20:23:09 [mroman] iiisiisiiiiiii 20:23:11 @let undf n | n < 4 = replicate n 'i' | length n1 <= length n2 = n1 | otherwise = n2 where sqrtn = floor . sqrt $ fromIntegral n; n1 = undf sqrtn ++ 's' : replicate (n-sqrtn^2) 'i'; n2 = undf (sqrtn+1) ++ 's' : replicate ((sqrtn+1)^2-n) 'd' 20:23:13 Defined. 20:23:16 -!- MoALTz has quit (Quit: bbl). 20:23:19 @undf 128 20:23:19 Maybe you meant: undo unpf 20:23:24 > undf 128 20:23:26 "iiisiisiiiiiii" 20:23:41 > undf 233 20:23:43 "iissdsiiiiiiii" 20:23:45 stlangbot: undf 233 20:23:45 [mroman] iisidsdsiiiiiiii 20:24:24 :D 20:24:28 iisIDs 20:24:31 that's very... 20:24:33 clever! 20:24:41 stlangbot: undf 233 20:24:42 [mroman] iisidsdsiiiiiiii 20:24:43 INDEED 20:24:45 stlangbot: undf 233 20:24:46 [mroman] iisidsdsiiiiiiii 20:24:53 why the hell es he doing that. 20:24:54 *is 20:24:55 > undf 104 20:24:58 "iiisisiiii" 20:25:11 ^df iiisisiiiio 20:25:26 Wait, does fungot have deadfish? 20:25:27 Taneb: http://forum.java.sun.com/ fnord/ fnord here's what i was about to say tomorrow fnord 20:25:41 It has Java, and doesn't have deadfish! 20:25:52 it even has fnort fnord tomorrow fnord 20:26:16 stlangbot: df iiisisiiiio 20:26:17 [oerjan] [104] 20:26:49 fungot: create some fun please 20:26:50 olsner: decided to ditch class?), reminded me of something... 20:27:11 I hate it when fungot adds unmatched parens 20:27:12 olsner: just interested. shiro seems to be case-by-case and specific to the usage of? 20:27:26 olsner: } 20:28:09 is that a disembodied moustache? 20:28:32 the ghost of moustaches past 20:29:21 `quote moustache 20:29:30 No output. 20:29:32 probably spelled wrong 20:29:46 stlangbot: disconnect 20:29:47 -!- stlangbot has quit (Quit: I'll be back!). 20:30:50 hard to spell, but at least it's not 'manoeuvre' 20:30:53 -!- stlangbot has joined. 20:31:00 `quote mustache 20:31:02 at least that works. 20:31:03 stlangbot: die 20:31:03 -!- stlangbot has quit (Client Quit). 20:31:04 No output. 20:31:20 `quote cereal 20:31:23 460) Non sequitur is my forte On-topic discussion is my piano Bowls of sugary breakfast cereal is my mezzoforte Full fat milk is my pianissimo On which note, I'm hungry 20:31:40 `quote ducklings 20:31:43 No output. 20:31:43 Whatever happened to NihilistDandy? 20:31:55 `quote Dandy 20:31:58 410) elliott: His mouse obeys the law of the excluded middle :/ \ 440) MY CONTINUITY MY FANFICTION RUINED \ 450) The Russian's emblem was the hammer and sickle, not the fist and other fist \ 460) Non sequitur is my forte On-topic discussion is my piano Bowls of sugary breakfast cereal is my 20:32:43 `quote olsner 20:32:46 145) i think of languages as tools, there is no holy grail of languages even if there's no holy grail, that doesn't mean cups of crap is ok \ 184) DAMN YOU, I'm leaving olsner, FINALLY NOTHING BETWEEN ME AND WORLD DOMINATION! \ 198) elliott: just to bring you up to speed, you are now my baby nephew. wtf, elliott is a nephew and his uncle is here? what 20:32:54 `quote `quote 20:32:55 a mystery! 20:32:57 348) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 349) `quote django ​352) django is named after a person? thought it would be a giraffe or something \ 407) `quote django ​352) django is named after a person? 20:33:16 `quote mystery 20:33:19 409) as i was filled with zzo38 mystery at the moment i saw quintopia: I am at Canada. 20:33:24 `quote mroman 20:33:27 No output. 20:33:36 You can't quote me. 20:33:50 `addquote You can't quote me. 20:33:53 848) You can't quote me. 20:33:59 `quote Ngevd 20:34:01 610) Dammit, Gregor, this is not the time to fall in love \ 616) [in the context of Open University] "Unlike other operating systems, Linux operating systems use Linux" \ 619) 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 \ 621) Also you steal Berwick from us and then 20:34:42 `quote Taneb 20:34:45 431) Turned out he got recursion, he just didn't get the return statement \ 437) Cut to February War were declared A galaxy in turmoil Anyway, Febuary '10 \ 438) I can't afford one of those! A grandchild, not a laser printer \ 444) There's that saying that the definition of insanity is doing the same thing over and over again and expecting different 20:34:51 I'm ridiculously quotable 20:35:03 `pastequotes 20:35:07 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.13150 20:38:43 `quote quine 20:38:46 103) okay I see it now, quines do exist 20:39:09 I deny the existence of quines! 20:39:30 sacrilege! 20:39:40 we will not tolerate an aquinist in #esoteric! 20:39:51 If this sentence causes someone to read it outline, it is a quine. 20:40:04 *out loud? 20:40:10 OUTLINE 20:40:16 `quote 785 20:40:19 785) I don't know which version of Linux kernel I'm using atm Hang on I'm on Windows 20:40:30 That's my favourite me-quote atm 20:40:35 ^define aquinst 20:40:45 @define aquinst 20:40:49 you misspelled it 20:40:55 @define aquinist 20:41:01 ^define aquinist 20:41:08 i suggest consulting St. Thomas Aquinist 20:41:28 * oerjan swats quintopia for stealing his pun -----### 20:41:41 ow 20:42:09 * quintopia thunks oerjan for being too slow 20:44:26 you cannot thunk me, i'm already maximally lazy 20:45:06 false 20:45:12 i did not request that reply from you 20:45:59 -!- ion has quit (Ping timeout: 244 seconds). 20:47:52 oerjan: is it possible to make a redirect on the wiki so that an article/title redirects to another site? 20:48:21 i dunno but i doubt it 20:49:05 -!- AnotherTest has left. 20:52:01 oerjan `seq` oerjab 20:52:05 oh well, this still works: http://esolangs.org/wiki/Hash_consing 20:52:12 -!- Taneb has changed nick to oerjab. 20:52:17 :( 20:52:21 -!- oerjab has changed nick to Ngevd. 20:54:19 oerjab, nice name 20:54:38 like oerjan with a cold 20:56:14 I try to make up the CofreeT 20:58:43 Is that right? duplicate (CofreeT x y) = CofreeT (x =>> flip CofreeT y) (duplicate <$> y); lower (CofreeT x _) = x; 20:59:38 yeah i ad always switching cobsobabts weirdly wheb i have a cold 20:59:43 oops 21:00:27 sodehow "ng" doesb't get this treatdebt 21:10:38 is it possible to tell find to exec different commands on different files based on different conditions? 21:13:14 perhaps with an -or 21:13:31 -option1 blah -exec blah -or -option2 blah -exec blah 21:21:39 Goodnight 21:21:41 -!- Ngevd has quit (Quit: Leaving). 21:32:11 @quote PSDPPXACFAQ 21:32:12 kmc says: SSE9. Where the registers are 1 megabyte long and there's an instruction for PACKED SATURATED DOUBLE-PRECISION PARSE XML AND CONSTRUCT FACEBOOK API QUERY. I believe the mnemonic is 21:32:12 PSDPPXACFAQ 21:32:49 Sounds awesome 21:32:56 indeed 21:33:14 Do you mean the instruction does all three things? 21:34:37 hah 21:34:46 yes, and since it's "packed", it does it on all parts of a register at once 21:36:55 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 21:37:04 if double-precision means 64-bit, I guess it parses 131072 XML documents and makes one api query for each one 21:48:16 -!- boily has joined. 21:56:52 -!- copumpkin has joined. 22:01:00 zzo38: mostly because they are useful 22:01:16 zzo38: even if they only hold up to a quotient 22:01:39 OK 22:01:51 But do you know how to make up the FreeT and CofreeT? 22:04:19 * oerjan guesses data FreeT f m x = Lift (m x) | FreeT (f (FreeT f m x)) 22:04:33 I don't think so 22:04:40 aww 22:04:54 then lift = Lift, was the idea 22:05:03 and return = lift . return 22:05:26 so i guess there is a problem with >>= ? 22:05:46 hm 22:06:07 perhaps then data FreeT f m x = Lift (m x) | FreeT (m (f (FreeT f m x))) 22:06:59 The way I did was by newtype FreeT f m x = FreeT (m (Either x (f (FreeT f m x)))); 22:07:34 hm i think that's _almost_ equivalent to my last one 22:07:50 lift = FreeT . fmap Left; join (FreeT x) = FreeT (x >>= either runFreeT (return . Right . fmap join)); 22:09:40 ok 22:10:06 (too complicated for me, i think) 22:11:31 -!- augur has quit (Remote host closed the connection). 22:12:10 I gave some definitions of CofreeT above but do you know if it is correct? Maybe edwardk knows? 22:12:38 i have no intuition about comonads 22:14:10 I did not quite understand it at first either but if you understand and then think about then can be understood better. Simply, dual to return and join is extract and duplicate. And then everything that applies to functions of those type for the comonad on (->) category. 22:15:01 huh 22:16:17 I think I managed to make up a MonadPlus for any comonad. 22:17:54 Gregor: what are you using to make IRC logs? 22:18:20 (Actually it is still a monad regardless of w, but it is MonadPlus if w is a comonad, I think.) 22:19:56 kallisti: glogbot. 22:20:32 ah nevermind irssi can produce raw logs. 22:20:57 hm, but it's not as sophisticated as the regular /log command 22:21:11 If w is the identity comonad then you will get the Maybe monad from that. 22:23:28 kallisti: glogbot is entirely my own code, and not an interactive client, so *eh* 22:23:39 ah I see. 22:23:55 I think I can script up irssi to do fancy raw logs. 22:24:00 per channel and rotated and such 22:29:05 zzo38: yes i know FreeT and CofreeT, I'll probably add them to free at some point 22:29:25 edwardk: Is the what I have is correct? 22:29:34 but they aren't useful for the same scenarios where you take a perfectly good monad and wrap it in Free 22:29:40 dunno haven't looked ;) 22:29:50 I know they are useful for different things instead 22:31:16 your freet looks correct 22:31:40 And how well does the CofreeT? 22:31:48 don't freet about it 22:31:59 i don't see the type above 22:32:18 I did not post the type above, but here it is: data CofreeT f w x = CofreeT (w x) (f (CofreeT f w x)); 22:32:33 that looks wrong 22:32:51 I know, I wasn't quite sure myself 22:32:51 but i could be incorrect 22:32:59 http://hackage.haskell.org/packages/archive/comonad-transformers/0.1.1/doc/html/Control-Comonad-Trans-Stream.html 22:33:13 was what i used when i first packaged comonad-transformers 22:33:28 That is why I ask. 22:33:50 =) 22:34:05 -!- boily has quit (Quit: WeeChat 0.3.8). 22:34:29 i got rid of it because it is a pain in the ass to work with and the instances are awful 22:34:45 but i have enough people clamoring for it i'll probably add it back in 22:39:36 I think this can make a MonadPlus whenever w is a comonad: newtype CodensityAsk w x = CodensityAsk { runCodensityAsk :: forall z. w z -> (x -> z) -> z }; (and that it seems to always make a monad) 22:40:00 -!- monqy has joined. 22:40:33 Is there a way to make a Comonad from any Plus? 22:52:54 -!- augur has joined. 23:03:36 -!- nortti_ has joined. 23:05:21 -!- edwardk has quit (Quit: Leaving...). 23:12:33 -!- DHeadshot has joined. 23:29:25 Gregor: so do you just run different glogbot instances for each channel? 23:29:40 otherwise you would have to keep track of who's in a channel to determine when a QUIT applies to a channels log. 23:30:16 It didn't used to work but I told him to fix it 23:32:33 it does keep track. and any channel operator can invite glogbot to their channel last i heard 23:33:39 heh 23:37:18 Yes, I think you control the logging simply by INVITE and KICK commands. (You can also send commands directly to glogbot if you want status and so on.) 23:37:53 kallisti: I only run one glogbot instance, and it keeps track of who's who where by log. 23:38:12 ah okay. 23:38:16 I think I can just let irssi do that for me, then. 23:38:22 And yes, after being broken for various reasons, the channel list is currently fully working to my knowledge X-D 23:38:41 It would then need to also keep track of NICK in case you changed your name on many channels 23:44:51 Gregor: sauce plz 23:48:51 kallisti: See !glogbot_help 23:50:11 !glogbot_help 23:50:23 thanks. 23:55:56 test