00:00:34 Big Ben is late 00:00:39 by a few seconds 00:00:46 either that, or ja.net is early 00:00:53 but I trust it more than I trust a mechanical clock 00:00:57 HAPPY 2011.9999999999999, EVERYBODY!!!!!!!!!!!!!!!!!!!!!!! 00:01:06 elliott is even later 00:01:13 it's 12:01 already 00:01:23 HAPPY 2011.9999999999999[10], EVERYBODY!!!!!!!!!!!!!!!!!!!!!!! 00:01:31 the [] signifies a single digit 00:01:41 you could just use A? 00:01:54 happy new year in UK 00:02:34 fST? 00:02:39 ? 00:02:44 -christel- [Global Notice] Happy new Year to the those on fST which covers UK, Portugal, Morocco, Ireland, parts of Spain, Iceland, Cote d'Ivoire, Mali, Togo, Senegal, Gambia, Faroe Islands, Guinea-Bissau, Isle of Man, Greenland, Saint helena, Mauritania, Sao Tome, Guinea, Western Sahara, Ghana, Burkina Faso, Sierra Leone and Liberia! Welcome to 2012 - Year Of The Troll! 00:02:54 200C, like they say in "200%X" terms. 00:02:57 I think all the freenode staff are drunk today. 00:02:57 wut 00:03:01 elliott, fST 00:03:01 lol 00:03:04 freenode Standard Time? 00:03:04 All these messages have been massively typo'd. 00:03:06 Oh. 00:03:09 That's stupid. 00:03:12 ais523, but then it's hexadecimal. I suppose pointing that out would break the joke? 00:03:14 That's what it *sounds* like. 00:03:15 Almost as stupid as "libya". 00:03:18 And "Most of Congo". 00:03:25 I don't know if it is. 00:03:28 heh 00:03:31 http://freenode.net/faq.shtml#fst 00:03:36 It is that, yes; you made me remember. 00:03:47 I like how I can hear, but not see, fireworks here. 00:03:47 Sgeo: it's just standard to use letters for digits past the 10th 00:04:01 Oh, so it "sort of" is. 00:04:07 happy year of the apocalypse, everybody! 00:04:18 -christel- 2012 - Year Of The Troll! 00:04:20 I hope you have a nice apocalypse and lead up to the apocalypse 00:04:36 I thought Freenode /disliked/ trolls? 00:04:40 have they changed their mind? 00:04:54 Clearly their mind change will take effect in 2012. 00:05:06 i at first misread it as year of the trolley 00:05:13 elliott: you do know there's no reason to think the world will end in 2012, right? 00:05:14 year of the trolley would be good 00:05:15 #freenode-newyears s very quiet 00:05:23 s/s // 00:05:32 the common theory about the Mayan calendar was a mistranslation 00:05:36 ais523: sure there is: everyone who said that would look really stupid 00:05:53 wait, you think the world would end just to stop people looking stupid? 00:06:01 no, just to make them look stupid 00:06:09 surely it'd be more in character for it to keep hanging on out of spite? 00:06:46 anyway, _you_ can hardly talk about there being no logical reason to think that something will happen to the physical universe 00:07:41 -!- Phantom_Hoover has joined. 00:07:53 Phantom_Hoover <- 2011 00:07:58 i wonder if i am still ignored 00:07:59 That bloody church blocked the fireworks again, of course. 00:08:15 Oh no, luke-jr is in #freenode-newyears. 00:08:20 * elliott exits stage left. 00:08:28 Al Qaeda have been slacking, evidently. 00:08:41 elliott: who's luke-jr? 00:08:45 is he an ssh fanboy? 00:09:01 That bloody church blocked the fireworks again, of course. <-- huh? 00:09:04 ais523: no, he's from #jesus 00:09:16 Vorpal, see log from exactly a year ago. 00:09:55 good thing fireworks are awful 00:10:00 ssh fanboy? 00:10:17 Phantom_Hoover, okay 00:10:19 Sgeo: elliott didn't believe me either when I said I knew one 00:10:22 until I gave some examples 00:10:41 How does one be a fan of a simple tool? 00:10:49 00:10:51 monqy, hahahaha you suck 00:10:56 monqy++ 00:11:02 As does elliott. 00:11:10 You are evidently also an English pansy. 00:11:12 I agree with Phantom_Hoover on something? 00:11:31 Wait, why would I disagree randomly with Phantom_Hoover? 00:11:41 Sgeo, have you long been of the opinion that monqy sucks? 00:11:41 I agree with someone against elliott? 00:12:10 Phantom_Hoover, I guess after he said that fireworks are awful 00:12:45 This is the right place. 00:12:59 Wow, this firework sounds like a cat dying. 00:13:38 Ha ha ha you just have amateur crappy fireworks in people's back gardens. 00:13:50 Not a giant castle with loads and loads of fireworks. 00:14:10 Phantom_Hoover: we're watching the celebrations in London on TV 00:14:16 although they're winding down now 00:14:20 /those/ aren't pansy fireworks 00:14:26 They don't have a castle?? 00:14:28 Phantom_Hoover: These fireworks aren't from a garden. 00:14:31 Pretty sure they're the official thing. 00:14:39 hahahaha 00:14:59 last I checked fireworks are too illegal here for back gardens to do them 00:15:02 I live like two blocks away from the official fireworks here. They are quite good. 00:15:18 monqy: sure? there are fireworks visible from where I live 00:15:19 monqy, and yet gun control??? im politic 00:15:22 well, not sure 00:15:24 from where I am currently 00:15:35 I don't actually live here, maybe they're visible from where I am too 00:15:41 monqy, where I am, illegality of fireworks does not stop usage of fireworks. 00:15:46 on Guy Fawkes Day, some people set off a firework from the pavement 00:15:49 I'm reasonably sure /that's/ illegal 00:15:55 I was a few metres away at the time, so I ran 00:15:57 monqy: sure? there are fireworks visible from where I live 00:15:59 ais523: in America? 00:15:59 as I wasn't sure how good their aim was 00:16:03 I think fireworks are illegal in Ireland for obvious reasons. 00:16:05 elliott: oh, monqy's American? 00:16:09 I thought he was British for some reason 00:16:25 but I wouldn't expect fireworks to be illegal in a land of republicans 00:16:31 Good thing America isn't that, then. 00:16:35 nor would I expect democrats to try to ban them 00:16:39 too much fallout for too little gain 00:16:42 Do you mean rd or RD? 00:16:53 err, do I mean either? 00:16:56 I'm not sure what either manes 00:17:00 Phantom_Hoover, what are the obvious reasons? 00:17:01 Republicans and democrats or Republicans and Democrats? 00:17:06 They're vastly different things. 00:17:17 oh, rD in that situation 00:17:27 Vorpal, do you know, like, anything about Irish history in the second half of the 20th century? 00:17:32 Specifically, Northern Irish? 00:17:33 My state apparently bans all consumer fireworks. 00:17:36 ais523: The obvious answer is that the Republicans would ban them, then... 00:17:37 Phantom_Hoover, oh right that 00:17:40 Phantom_Hoover, yeah makes sense 00:17:46 I have seen home Fireworks every year (more often) 00:17:48 Phantom_Hoover, not sure it makes sense for the entire island though 00:17:49 Phantom_Hoover: (Vorpal just googled it.) 00:17:56 elliott, no I didn't 00:17:56 elliott: why? they normally wouldn't offend their core voters for no good reason at all 00:18:04 Vorpal, Ireland has two nations on them. 00:18:09 Phantom_Hoover, indeed 00:18:09 they probably would if given large enough political donations 00:18:12 *on it 00:18:14 but nobody really has an incentive to do that either 00:18:19 Phantom_Hoover, I assume you mean the nation Ireland 00:18:20 ais523: I don't see why that would offend their core voters. 00:18:29 Phantom_Hoover, no? 00:18:35 I mean in both. 00:18:38 elliott: banning fireworks? 00:18:44 Phantom_Hoover, well that doesn't make much sense to me. 00:18:52 imagine you're ESR and you find out that the government is banning fireworks, what's your reaction? 00:18:53 http://en.wikipedia.org/wiki/Consumer_fireworks#United_States, anyway. 00:19:02 ais523: Hahahaha, you think ESR is the typical Republican supporter? 00:19:13 no, I think he's an extreme version of a subset of Republican supporters 00:19:15 ESR is strongly libertarian, the Republican party is nothing of the sort. 00:19:19 "In the Republic of Ireland, the law on fireworks is governed by Part 6 of the Criminal Justice Act 2006. Generally, fireworks are illegal. Private fireworks displays are allowed on two conditions; the fireworks must be licensed for import and a professional fireworks operator must be used." 00:19:21 do you think there's any chance he votes Democrat? 00:19:36 (he may well vote third party, I guess) 00:19:40 No, but that's quite irrelevant; Republicans aren't, as a general rule, libertarian. 00:19:47 anyway, in practice, libertarians normally vote republican 00:20:01 and it's not like the majority of actual republicans would care either way about fireworks 00:21:25 Upon further consultation, my mother isn't actually sure whether fireworks are banned in NI, although she's never seen them on sale. 00:22:05 http://www.nio.gov.uk/the_law_on_fireworks.pdf 00:22:35 Everything other than indoor fireworks is banned. 00:22:42 *requires a licence 00:22:45 why do you think your mother would know whether fireworks are banned in northern island? 00:23:05 Indoor... fireworks? 00:23:34 elliott: not much different to indoor skiing, surely? 00:23:35 fireplaces, arson 00:23:36 ais523, because she is from it, also insists on dragging me there every available opportunity?? 00:23:41 ah, I see 00:23:50 northern ireland is quite a way to drag someone from scotland 00:23:50 (this also applies to my father, my parents are awful) 00:23:57 my kneeees 00:24:01 Phantom_Hoover: your parents are both northern-irish? 00:24:08 Yes. 00:24:17 hahahahaha, lkml.org has google +1 buttons 00:24:18 so why are you Scottish? 00:24:20 on every message 00:24:26 ais523: no true scotsman! 00:24:56 ais523, because I was born there and I have lived there all my life? 00:25:02 Phantom_Hoover: hmm 00:25:14 so what would possess northern-irish parents to have a scottish child? 00:25:23 X-D 00:25:30 Phantom_Hoover: WHY ARE YOU SUCH A DISAPPOINTMENT 00:25:50 Mum, dad.... I'm Scottish. 00:26:53 "Category 4 ("professional") fireworks are for sale only to fireworks professionals. They have no restrictions," 00:27:07 OK I need to become a pyrotechnician. 00:30:19 Phantom_Hoover: that's like wanting to become a locksmith 00:30:32 so that you can legally own lockpicks 00:30:37 Did I mention when I wanted to become a locksmith? 00:30:39 I totally did. 00:30:50 `addquote "Category 4 ("professional") fireworks are for sale only to fireworks professionals. They have no restrictions," OK I need to become a pyrotechnician. Phantom_Hoover: that's like wanting to become a locksmith so that you can legally own lockpicks Did I mention when I wanted to become a locksmith? 00:31:00 789) "Category 4 ("professional") fireworks are for sale only to fireworks professionals. They have no restrictions," OK I need to become a pyrotechnician. Phantom_Hoover: that's like wanting to become a locksmith so that you can legally own lockpicks Did I mention when I wanted to become a locksmith? 00:31:05 (Can you stab people with lockpicks, I need to be able to enforce the Skyrim protocol. 00:31:07 ) 00:31:11 lkml? 00:31:26 Oh 00:31:35 elliott: hmm, I'm one of those people who's interested in picking locks from a theoretical point of view, because it's interesting in how it works 00:31:43 and yet don't do it because I fear it'd get me into trouble 00:31:55 it's hard to come up with lawful-good reasons to illegally pick locks 00:32:13 What about picking your own locks, or does that damage them? 00:32:35 Sgeo: doesn't damage them 00:32:43 just, they're all far too secure for me to stand any chance 00:32:54 I picked the lock on a classmate's pencil case once, with their permission 00:33:00 but they didn't believe I'd done it when break ended 00:33:05 (I guess it was a really weak lock) 00:33:06 ais523, what about that time I wanted to pick a lock because there was a chair behind it and then I nearly stabbed some people in enforcement of the Skyrim protocol. 00:33:19 what /is/ the Skyrim protocol? 00:33:23 and does it involve BF derivatives? 00:33:25 northern ireland is quite a way to drag someone from scotland <-- not really. I just checked in google earth 00:33:42 Vorpal: but dragging people across water's a bit tricky 00:33:50 there are bits of scotland that are nearish to bits of northern ireland 00:33:51 well, I'll grant you that 00:33:52 `addquote northern ireland is quite a way to drag someone from scotland <-- not really. I just checked in google earth Vorpal: but dragging people across water's a bit tricky 00:33:56 790) northern ireland is quite a way to drag someone from scotland <-- not really. I just checked in google earth Vorpal: but dragging people across water's a bit tricky 00:33:58 but the crow-flies route is rather awkward 00:34:09 I think practical routes for getting from one to the other mostly go via England 00:34:24 ais523, still not very long 00:34:26 `quote 00:34:28 `quote 00:34:30 471) doctor who. i saw part of one episode of that and it reminded me of buffy the vampire slayer. 00:34:30 `quote 00:34:31 `quote 00:34:32 `quote 00:34:39 I think practical routes for getting from one to the other mostly go via England 00:34:41 88) bi is like sqrt(2)/2 * straight + i * sqrt(2)/2 * gay 00:34:43 596) elliott: ppl should vote clinton because obama is biracial every1 knows that dood, look at him he has been on something lately. 00:34:47 ais523, I mean I travelled longer distances by far in Sweden. 00:35:01 The one I get dragged on involves driving to a ferry port in the southwest and sailing to Larne. 00:35:25 240) vorpal: a lot of people in AK fly quintopia, well getting a pilot cert is a lot more complex than a driving license :P being an AK resident is a lot more complex than a driver's license too 00:35:25 673) ais523: those suck hmm, those are all pretty good 00:35:45 what is AK now again? 00:36:04 arkansas, perhaps? I don't know 00:36:13 alaska maybe? 00:37:25 Would anyone be upset if I linked to US political news? 00:37:59 Alaska, apparently. 00:38:11 Sgeo, probably, but do it anyway. 00:38:17 ... 00:38:20 http://abcnews.go.com/blogs/politics/2011/12/virginia-gop-will-require-voters-to-sign-loyalty-oath/ 00:38:44 Sgeo, GOP? 00:38:55 Vorpal, the Republican party 00:39:02 "Grand Old Party", I think. 00:39:13 -!- Phantom__Hoover has joined. 00:39:40 Sgeo: sadly, I'm desensitized by American politics to the point I can no longer really facepalm at it 00:39:43 -!- zzo38 has joined. 00:40:41 -!- oerjan has quit (Quit: Good night). 00:42:36 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 00:47:59 I love how carefully that article tries to hide the fact that it's the Republican primaries, not the actual elections, to which this is applied. 00:48:57 ^choo choo 00:48:57 choo hoo oo o 00:50:19 * Phantom__Hoover switches back from DDG to Google. 00:50:43 Phantom__Hoover: it was pretty obvious to me that it was just applied to primaries 00:50:46 ^blah blah 00:50:51 in fact, I thought that was plausible even before the article outright said it 00:50:57 ^choo blah 00:50:57 blah lah ah h 00:51:08 ais523, sure, but it's not nearly as up-front about it as it should be. 00:53:03 -!- DCliche has joined. 00:56:15 -!- Klisz has quit (Ping timeout: 240 seconds). 01:02:42 UTC-1 is reasonably empty? 01:03:14 I guess UTC-2 will be even emptier, mostly ocean there 01:03:26 wouldn't iceland be in utc-1 if they were "normal" about it 01:06:22 -!- Patashu has quit (Read error: Connection reset by peer). 01:06:34 -!- Patashu has joined. 01:13:16 -!- Sgeo has quit (Ping timeout: 240 seconds). 01:14:04 ais523: I misread that as "UCS-1" and "UCS-2" for a second and was quite confused. 01:14:20 there's a UCS-1? 01:14:21 -!- Sgeo has joined. 01:16:14 Whatever corresponds to the mid-Pacific? 01:17:35 isn't Australia in the mid-pacific, in longitude terms? 01:18:27 Nothing's -10, it seems. 01:20:03 Phantom__Hoover, lol 01:20:30 wouldn't iceland be in utc-1 if they were "normal" about it <-- they are UTC (possibly with summer time as well? I don't know) 01:20:39 This includes Antarctica and summer times. 01:20:47 I checked though so I could SMS a friend on iceland happy new year at the right time 01:20:48 Vorpal: Yes, I know. 01:21:40 there's a UCS-1? <-- that would be like quite similar to ASCII? 01:21:46 not quite though 01:21:55 ascii with surrogates 01:21:57 so uh 01:21:57 utf-8 01:22:07 elliott: no, UCS doesn't have surrogates 01:22:10 elliott, err UCS lacks surrogate stuff 01:22:17 e.g. UCS-2 has no surrogates, UTF-16 does and can encode the whole set 01:22:22 so I guess UCS-1 would just be Latin-1 01:22:38 oh, right 01:22:46 who was it in here that played Magicka? 01:22:49 kallisti 01:22:54 ah 01:23:00 ais523: http://www.youtube.com/feather_beta 01:23:15 elliott: I hope that link's offtopic except for the name 01:23:22 hmm, if it's offtopic, I probably don't want to click it 01:23:24 elliott, I bought the game today. It was on sale. Again. I think it been on sale like 10 times since it was released less than a year ago 01:23:26 and if it's ontopic, I definitely don't 01:23:36 so I could play co-op if anyone is interested 01:23:36 * ais523 doesn't click the link 01:24:24 elliott, huh? What does it actually do (wrt how it displays to the user)? 01:24:40 elliott, the top way of doing it to me would be cutting out the ads. But they are never going to do that 01:25:21 Dunno, don't care. 01:26:15 -!- {happy_new_year} has joined. 01:26:28 `welcome 01:26:31 Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 01:26:33 `welcome 2012 01:26:36 2012: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 01:26:45 o 01:27:21 monqy, that is a regular with a new nick 01:27:29 no need to say welcome, we are rude like that 01:27:30 :o 01:27:52 monqy, look at the host ffs 01:27:55 * {happy_new_year} (~PiRSquare@wikipedia/PiRSquared17) has joined #esoteric 01:28:04 * {happy_new_year} ! 01:28:31 -!- {happy_new_year} [~notaregular@yep] has joined #esoteric 01:28:32 help 01:28:38 monqy, ... 01:28:44 <{happy_new_year}> ? 01:28:54 <{happy_new_year}> monqy: when was that? 01:29:03 a few minutes ago 01:29:10 <{happy_new_year}> ??? 01:29:20 <{happy_new_year}> I was this nick for ~an hour 01:32:17 UPDATE 01:32:23 kallisti, elliott update 01:32:24 `welcome 01:32:27 Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 01:32:51 Sgeo, excuse me I don't recall asking to be removed from the update list. 01:32:52 <{happy_new_year}> umm 01:32:57 <{happy_new_year}> `log {happy_new_year} 01:33:11 Phantom__Hoover, sorry 01:33:21 You should be. 01:33:26 2012-01-01.txt:01:32:52: <{happy_new_year}> umm 01:33:46 <{happy_new_year}> monqy: you're kidding, right? 01:34:04 ":asimov.freenode.net 391 zzo38 asimov.freenode.net :Sunday January 1 2012 -- 01:33:39 +00:00" 01:34:29 {happy_new_year}: kidding about what 01:34:34 In my timezone is "2011/12/31 17:28:08 -0800" 01:34:42 @time zzo38 01:34:43 Local time for zzo38 is 2011/12/31 17:28:27 -0800 01:34:46 <{happy_new_year}> -!- {happy_new_year} [~notaregular@yep] has joined #esoteric 01:34:58 yes 01:35:04 you caught me 01:35:27 rip 01:35:33 `welcome monqy 01:35:36 monqy: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 01:35:43 `hi 01:35:47 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hi: not found 01:36:08 -!- {happy_new_year} has changed nick to PiRQuared. 01:36:18 -!- PiRQuared has changed nick to {happy_new_year}. 01:37:20 -!- {happy_new_year} has quit (Quit: be back right away... MAYBEEEEEEEEEEE). 01:37:32 Caught you? Caught you with what? 01:37:59 @time centrinia 01:38:01 Local time for centrinia is Sat Dec 31 20:37:53 01:38:21 -!- {happy_new_year} has joined. 01:38:26 * {happy_new_year} ! 01:38:28 @time lambdabot 01:38:28 I live on the internet, do you expect me to have a local time? 01:38:31 oh 01:38:37 @time EgoBot 01:38:49 <{happy_new_year}> @time ChanServ 01:39:28 @time time time, look what's become of me 01:39:30 Local time for Time is Sat Dec 31 20:39:21 2011 01:40:29 @version lambdabot 01:40:30 lambdabot 4.2.2.1 01:40:30 darcs get http://code.haskell.org/lambdabot 01:41:16 I managed to make lambdabot to tell anything after "Local time for zzo38 is " including control characters, by using the option /SET ANSWER - 01:41:27 @time Zetro 01:41:28 Local time for Zetro is Time: Sun Jan 1 02:38:52 2012, uptime: 19w 3h 37m 36s 01:41:28 oops 01:41:30 /SET ANSWER + makes it auto answering 01:41:30 @time zzo38 01:41:32 Local time for zzo38 is 2011/12/31 17:35:15 -0800 01:41:46 Well, I turned back on auto answering now 01:41:58 @time ais523 01:42:00 Local time for ais523 is Sun Jan 1 01:41:51 2012 01:42:01 zzo38, do the not auto answering thing 01:42:08 oh, it does it via ctcp 01:42:10 ais523, Happy new year! 01:42:11 Auto answering is off. 01:42:15 that's cheating, I thought it had a timezone database 01:42:18 happy 2012, centrinia 01:42:19 @time zzo38 01:42:28 Local time for zzo38 is ACTION 01:42:36 <{happy_new_year}> lol 01:42:46 * {happy_new_year} . 01:43:02 -!- ais523|direct has joined. 01:43:10 now I have an idea… 01:43:15 @time ais523|direct 01:43:22 monqy: you ruined it 01:43:28 utterly 01:43:32 I was going to send a CTCP response 01:43:35 oh no 01:43:36 /without/ the @time having been given 01:43:47 -!- ais523|direct has quit (Client Quit). 01:43:47 ais523: I tried that; it doesn't work 01:44:20 oh, ofc, lambdabot would have no way of knowing what channel to send the response to 01:44:50 ais523: Yes. That is what I thought but tried it anyways to see if it would do anything at all. 01:45:15 @ping ais523 01:45:15 pong 01:45:24 @ping ais523 01:45:24 ah, I was wondering if it'd ctcp ping me 01:45:24 pong 01:45:29 Why do you have two connections? 01:45:37 I only have one at the moment 01:45:49 Are you unable to send CTCP response on the main one? 01:46:23 zzo38: I'm not convinced my client would correctly send a CTCP response 01:46:32 so I wanted to handcraft it to make sure it worked properly 01:46:37 it sends them automatically 01:46:43 Well, did you try making your client send a CTCP response? 01:46:49 but clients generally aren't designed to send people unsolicited CTCP responses 01:46:53 I don't know what the command would be 01:47:00 I can do /notice, but not really literal control-a 01:47:44 At least in my client, any control character can be sent by prefixing it with CTRL+P. Maybe in some client you can use CTRL+V for that, though, maybe some others support CTRL+P as well. 01:47:56 /notice is not a CTCP command 01:48:00 it's an irc NOTICE command 01:48:13 coppro: a CTCP reply is an irc NOTICE command 01:48:16 with control characters in 01:48:25 <{happy_new_year}> ... 01:48:30 <{happy_new_year}> lol 01:48:36 specifically, /notice ^ATIME Sun Jan 1 01:41:51 2012^A or whatever 01:48:42 ah, yeah 01:48:42 <{happy_new_year}> TEST 1 2 3 01:48:44 in theory, you can put multiple CTCP responses in the same line 01:48:56 but I'm not sure if any client actually parses them as such 01:49:06 elliott: You should join the atto project 01:49:06 -!- azaq23 has joined. 01:49:12 My client parses CTCP requests anywhere in a line. 01:49:21 However, the only thing it does with CTCP responses is displays them. 01:49:33 It doesn't attempt to parse them. 01:49:37 but clients generally aren't designed to send people unsolicited CTCP responses <-- xchat has /ctcp and /nctcp iirc, the latter for the reply 01:49:54 [Error] nctcp: Unknown command. 01:50:01 coppro: No. 01:50:03 ais523, I sent you a ctcp and a ctcp reply 01:50:05 did they work? 01:50:05 Did you try pushing CTRL+A? 01:50:09 Vorpal: yes 01:50:11 <{happy_new_year}> ACTOIN tests 01:50:13 right 01:50:16 <{happy_new_year}> >_> 01:50:16 zzo38: selects all text on the line 01:50:20 I knew that even before testing it 01:50:22 but I tested it anyway 01:50:23 <{happy_new_year}> WHY AM I FAILING> 01:50:25 actoin 01:50:26 <{happy_new_year}> ACTIN tests 01:50:31 good good 01:50:31 <{happy_new_year}> O_O 01:50:31 If you push CTRL+P first (or CTRL+V maybe) will that work? 01:50:34 * {happy_new_year} tests 01:50:35 {happy_new_year}: you can't spell action 01:50:40 <{happy_new_year}> Did it work? 01:50:46 on the third time yes 01:50:51 zzo38: control-v is paste; control-p has no obvious effect 01:50:54 sorry for this: 01:50:57 VERSION 01:50:59 and doesn't escape control codes 01:51:00 Not even printing? 01:51:12 zzo38: you can't really print an IRC channel 01:51:16 you could print a log, perhaps, or scrollback 01:51:21 -Zetro- VERSION ((\w+) (v?(\d+(?:[a-z]|(?:\.\d+[a-z]?)*(?:[_-](?:\d+[a-z]?|[a-z]?\d*))?)))(?: (.*))?) <-- lol 01:51:22 <{happy_new_year}> QUIT :oops 01:51:23 but neither is an immediately useful thing to do 01:51:27 <{happy_new_year}> Darn 01:51:33 CTCP QUIT? 01:51:40 no idea what that is for 01:51:41 <{happy_new_year}> I thought it might work... 01:51:43 I doubt any client would fall for that by replying with QUIT not with NOTICE 01:51:48 -!- NihilistDandy has joined. 01:51:50 <{happy_new_year}> lol 01:51:54 you could test using CTCP PRIVMSG, I guess 01:52:04 which would be just as futile 01:52:06 <{happy_new_year}> PRIVMSG :oops 01:52:07 * Phantom__Hoover → later today 01:52:07 -!- Phantom__Hoover has left ("Leaving"). 01:52:09 -!- Phantom__Hoover has quit (Quit: Leaving). 01:52:14 <{happy_new_year}> >_> 01:52:24 <{happy_new_year}> Is there a list of commands? 01:52:25 {happy_new_year}, also it isn't going to work, no client responds to unknown ctcp as far as I know 01:52:36 Mine simply ignore any request it doesn't understand, but it does display it regardless. If auto answer is turned off, it doesn't respond to anything either. 01:52:42 elliott: why did Canada collapse? someone's asking about IRC nomics in another channel 01:52:53 Vorpal: No I have seen some that makes error message 01:52:57 {happy_new_year}, and supported CTCPs are client dependent. There is a generic "get list" which may or may not be supported, which I forgot the name of anyway 01:53:04 zzo38, heh, really 01:53:12 I seem to remember an edit war over something or other, but can't remember what 01:53:14 Vorpal: you were there too, can you remember? 01:53:44 ais523, Canada? Oh the IRC nomic that was stupidly renamed to try to do something silly with agora 01:53:51 I left around the time it was renamed iirc 01:53:51 yep 01:53:51 As far as I know, once someone in this channel tried sending CTCP request in the middle of another message, and my client is the only one that responded. 01:53:58 but there was a war about something earlier 01:54:06 ais523, don't remember 01:54:13 gah 01:54:22 Because I think my client is the only one following the specifications of IRC more closely than any other one does. 01:54:24 anyone still have Canada's ruleset after this long? ISTR Vorpal hosted it 01:54:30 no I didn't 01:54:44 ais523, check your logs? I can't they are on another computer that dual boots and is booted into windows. 01:55:11 ais523: there's a copy 01:55:11 ais523, I might check when I reboot to linux 01:55:15 can't, I lost my logs from that long ago, IIRC 01:55:15 of a slightly old ruleset 01:55:23 ais523: anyway, it died due to becoming #nomic 01:55:30 before that, just lack of activity 01:55:35 talking about agora was more interesting 01:56:16 it wasn't doing too well as a nomic even before that 01:57:04 anyway, New Canada never died 01:57:08 it just barely even lived 01:57:36 elliott: why not? 01:57:47 coppro: Why not what? 01:57:55 elliott: join the atto project 01:58:20 sounds like a very small project 01:58:42 coppro: I doubt it will be written in a programming language I will code in for fun, I doubt it will ever actually go anywhere, and I doubt I would find the end result all that useful/interesting, although that's the point I'm least sure of. 01:59:12 elliott: what is the set of programming languages you code in for fun? 01:59:16 just {Haskell}, or larger? 02:00:06 in my case, I wanted to have a go at implementing scapegoat myself 02:00:11 but couldn't think of an appropriate language 02:00:17 ais523: {Haskell, occasionally C, sometimes Python, rarely Perl, probably all sorts of obscure things like ATS and Rust and Bit-C and stuff, not C++, not C++, not C++} 02:00:25 elliott: what's that OS you're building called? 02:00:26 hmm, fair enough 02:00:29 elliott: it definitely won't be C++ 02:00:35 if I ever bother actually coding it 02:00:46 coppro: we don't know yet; but all instances of @ in a nounish position in the logs are going to be copy-replaced with its name once it is named 02:00:48 so we just call it @ 02:01:00 (I would try to escape those @s, but apparently it can't be escaped) 02:01:10 ais523: thankfully, replacing X with X is a nop 02:01:13 err, find-replaced 02:01:21 also, nounish? 02:01:24 it's a global replacement 02:01:39 not even email addresses will survive the Revelation 02:01:42 coppro: what will it be, then? 02:01:58 elliott: don't you do C++ sudoku for fun sometimes? 02:01:58 dunno 02:02:02 or does that not count as C++ programming? 02:02:24 ais523: that's not fun, that's zen 02:02:26 elliott: the atto project is to create a user environment based on vim, but expanded to cover more applications 02:02:39 also no suck is allowed 02:02:40 coppro: oh, that's even less interesting than what I thought it was 02:02:43 coppro: sort-of like vimperator? 02:02:46 and you're doomed from the start 02:02:48 ais523: yes, except not 02:02:48 only not limited to firefox? 02:03:05 vimperator isn't either 02:03:05 more like a vim-like DE 02:03:07 http://vimperator.org/ 02:03:16 elliott: somehow I'm not surprised 02:03:19 coppro: oh good, it's layering Unix on top of Unix 02:03:29 are you /sure/ you thought out the no suck rule fully? 02:03:35 coppro: isn't that just Emacs? 02:03:43 ais523: most emphatically not 02:03:51 at least, the major defining difference between Emacs and vim is that Emacs is a DE and vim isn't 02:03:58 things like controls can be remapped 02:04:21 emacs doesn't nicely support the notion of a mode 02:04:56 -!- itidus22 has quit (Quit: Leaving). 02:05:06 emacs has a concept called "mode", you know; and emacs minor modes could be used for vim modes very easily 02:05:13 probably are, in fact 02:05:33 unless I misunderstand, not the in the way I envision them 02:05:40 it /is/ possible I misunderstand myself 02:05:56 -!- {happy_new_year} has quit (Quit: ChatZilla 0.9.88 [Firefox 11.0a2/20111230042026]). 02:06:11 coppro: well, things like insert/visual/command mode in vi are basically different sets of keybindings, right? 02:07:12 whereas an emacs major mode sets things like keybindings and syntax tables and indentation functions and (insert lots of other things here), and a minor mode sets some subset of those 02:07:22 so it's easy to envisage a minor mode whose only purpose is to change keybindings 02:07:51 ais523: Not entirely true. Visual mode, for instance, has the notion of a selection 02:08:10 if you don't think emacs modes can add functionality like that... 02:08:22 oh, I certainly do 02:08:26 -!- Darth_Cliche has joined. 02:08:48 but the thing is, it needs to be able to be as uniform as possible across different purposes 02:10:01 hmm, I was just testing out M-x viper-mode 02:10:11 which is basically vi keybindings in Emacs 02:11:33 brb, restarting 02:11:40 -!- NihilistDandy has quit (Quit: Linkinus - http://linkinus.com). 02:12:11 coppro: I think part of the problem is that a vi-like interface makes no sense for many programs 02:12:12 -!- DCliche has quit (Ping timeout: 248 seconds). 02:12:17 how would you put one on a calendar program, for instance? 02:12:53 -!- copumpkin has joined. 02:13:28 Vorpal: whenever I buy my wicked gaming desktop I'd be down for some co-op 02:13:42 because I actually own the game, but lack a computer with which to play it. 02:14:24 so how are you on IRC? 02:14:29 ais523: cursor navigates time, can insert events at cursor, or whatever 02:14:34 or is this one of those games that doesn't run well on low-end laptops? 02:14:38 ais523: I'll let you figure that out. 02:14:40 :> 02:14:47 s/run well/run at all/ 02:14:58 coppro: oh, I forgot the last reason: I have about 10x more projects than I can handle anyway 02:15:03 elliott: duh 02:15:03 hmm, I'm used to new games running even on old hardware 02:15:14 why do you think I'm starting this one? 02:15:16 typically not with massively good graphics/framerates/etc 02:15:23 it's not even because it's old. 02:15:36 ais523: modern computers with integrated graphics cards just don't cut it 02:15:50 it's just because the code throws an exception due to the lack of a good graphics cards or something. I don't remember the specific error. 02:15:50 sure? I've played computer games on them 02:16:21 I play Neverwinter Nights on my integrated laptop even now, and played it on an integrated graphics laptop back when I first bought it 02:16:22 but it's an indie game made by like, ~5 people I think? So I'm not going to expect them to add every feature that you'd expect from a more expensive game. 02:16:25 and I think it was reasonably new then 02:16:34 nwn predates shaders doesn't it 02:16:47 * kallisti can even play SC2 on his laptop though it's a bit laggy. Magicka? nope. 02:17:16 -!- NihilistDandy has joined. 02:17:35 kallisti: just patch the library it's using to determine the graphics card to return a different result? 02:17:48 granted, despite the fact that Magicka doesn't seem like a graphically intense game, it does employ a lot of shaders, particle effects, physics, etc. 02:17:55 ais523: .. 02:18:08 I doubt that's going to be easy. 02:18:14 kallisti: might be a patch on the forums to do that 02:18:21 that's what happened with Neverwinter Nights, for me 02:18:24 last I checked there was no way to fix it. 02:18:30 it was crashing on Linux but there was a patch that masked the existence of a capability, then it wasn't 02:19:13 ais523: the reason modern games don't work on intel is that intel only has old shaders 02:19:20 flipping a gfx card check will not help. 02:20:01 old shaders = fixed pipeline where you only get to plug numbers into a prewritten shader, effectively? 02:20:10 hmm, are you sure? 02:20:25 err, what? 02:20:32 shaders are programmable pipeline 02:20:37 intel just only does glsl 1.2 02:21:41 ah, OK 02:21:45 that makes a lot more sense 02:22:04 (fixed pipeline can be seen as simply being forced to use prewritten shaders) 02:22:45 anyway, comparing neverwinter nights to current games is ridiculous, because GPUs have advanced a few lightyears since then 02:23:17 -!- MSleep has changed nick to MDude. 02:23:26 and desktops have got many times more powerful; so have laptops, but lower-end ones skimp heavily on things like graphics relative to mid-end-upwards stuff to save power, so that their batteries last a lot longer than they did back then 02:23:54 adanaxis runs nicely on this laptop too, and it does crazy things with shaders 02:24:10 pity that normal GPU matrices only go up to 4x4, adanaxis could really do with 5x5 02:24:10 -!- PiRSquared17 has joined. 02:24:33 -!- PiRSquared17_ has joined. 02:24:36 -!- PiRSquared17_ has left. 02:24:59 I doubt it does /that/ crazy things 02:25:01 -!- ais523 has quit (Remote host closed the connection). 02:26:01 Are there any five dimensional space shooters? 02:27:09 heh 02:27:32 Well, are there? :p 02:29:10 Make one 02:31:01 Make two 02:31:30 make 0 02:31:36 make clean all 02:31:37 Make -1 02:32:44 make pi r^2 17 02:38:10 make make 02:38:13 man make 02:38:14 make man 02:41:43 `man man 02:41:46 man: can't open the manpath configuration file /etc/manpath.config 02:41:52 `make man 02:41:55 make: *** No rule to make target `man'. Stop. 02:42:40 ^ celebrate you know what celebrate needs? 02:42:42 ^celebrate you know what celebrate needs? 02:42:42 \o| |o| |o/ \m/ \m/ |o/ \o/ \o| \m/ \m/ \o| |o| |o/ 02:42:43 | | | `\o/´ | | | `\o/´ | | | 02:42:43 /| /| /| | /'\ /| >\ | /| /| /< 02:42:43 (_|¯'\ /'\ 02:42:43 |_) (_| |_) 02:42:49 ^rainbow a little more rainbow 02:42:49 a little more rainbow 02:43:15 everything needs a little more rainbow 02:43:29 yes 02:43:33 all my websites will be in rainbow colors 02:43:43 even the ones people pay me to create. 02:44:02 -!- NihilistDandy has quit (Quit: Leaving...). 02:44:23 * kallisti bset wob dseinger 02:44:32 ^celebrate 1 2 3 4 5 6 7 02:44:32 \o| |o| |o/ \m/ \m/ |o/ \o/ \o| \m/ \m/ \o| |o| |o/ 02:44:32 | | | `\o/´ | | | `\o/´ | | | 02:44:33 /< |\ |\ | |\ |\ |\ | |\ /´\ |\ 02:44:33 /'¯|_) /´\ 02:44:33 (_| (_| |_) 02:52:30 elliott, kallisti update. Phantom_Hoover's not on the list because he's not here. 02:52:54 Sgeo: thanks for the elliott update earlier 02:53:08 You're welcome 02:53:15 I AM NOT WELCOME 02:53:20 WHAT THE FUCK IS WRONG WITH YOU 02:53:31 `welcome Sgeo 02:53:34 Sgeo: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 02:53:35 this is weclome 02:53:40 this is weclome 02:53:45 THIS IS WECLOME 02:53:48 aaaaaaaaaaaah 02:53:51 `unwelcome kallisti 02:53:53 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: unwelcome: not found 02:53:56 yes. 02:53:59 much bteter 02:55:07 ihihihihihihihihihihihihih 02:55:22 > 3 :> [4] 02:55:23 Not in scope: data constructor `:>' 03:00:47 Finnmark is RELLLLAAAALKLLL~! 03:01:48 -!- PiRSquared17 has changed nick to [Finnmark|Away]. 03:02:25 -!- Ngevd has joined. 03:02:32 Hello! 03:02:33 Ngevd: You have 1 new message. '/msg lambdabot @messages' to read it. 03:02:39 @messages 03:02:39 Phantom__Hoover said 1h 13m 41s ago: CRITICAL INTELLIGENCE UPDATE: elliott lives in the Abbey, move to intercept. 03:02:54 elliott, any good torrent client suggestions for windows? 03:03:26 I have used a program called "Another BitTorrent Client" 03:04:04 also wtf make cancel the default button in an open dialogue 03:04:10 I use Torrent 03:04:12 why does ktorrent (on linux) do that 03:04:25 I don't know! 03:04:34 Ngevd, thanks. How does it compare to ktorrent in functionality 03:04:37 No idea 03:04:45 zzo38, it was a rhetorical question 03:04:53 I've never used ktorrent, and I've barely used Torrent 03:04:57 ah 03:05:03 I'll wait for elliott then 03:05:13 ? 03:05:15 I really only use... Transmission? THe one that's default on Ubuntu 03:05:22 Vorpal: just use utorrent 03:05:25 elliott, okay 03:05:45 or deluge 03:05:46 i guess 03:05:49 but everyone just uses utorrent 03:05:55 Ngevd: Bit late for you to be on. 03:05:58 actually... I forgot the port forwarding assignment for that computer. I'll just use the configured ktorrent on my laptop 03:06:02 and then scp it over 03:06:06 @hoogle stdGen 03:06:07 System.Random data StdGen 03:06:07 System.Random getStdGen :: IO StdGen 03:06:07 System.Random mkStdGen :: Int -> StdGen 03:06:09 elliott, I was saving up 03:06:10 I'm so lazy 03:06:24 :t random 03:06:25 forall g a. (Random a, RandomGen g) => g -> (a, g) 03:06:26 kallisti, I bought magicka on the sale today 03:06:44 Whoever reads MSPA: Possibly update? 03:06:47 kallisti, (complete pack even, it was so cheap) 03:06:49 Dunno if you know already 03:07:19 kallisti, I still find it very hard. I guess I could play co-op with someone. Don't know any friend who owns it. Unless I count you as a friend. 03:10:06 -!- itidus21 has joined. 03:12:43 -!- NihilistDandy has joined. 03:12:51 Vorpal, which game? 03:13:07 Or, magicka 03:13:10 I should read 03:14:53 I wish strings has an option to ignore stupid strings like "T$4P" 03:16:47 Ngevd: Dude, it's way past your bedtime. You're scaring me. 03:17:02 elliott, it is way past my bedtime too 03:18:07 whats a bedtime 03:18:12 I wonder whether the attention to detail in this feature request is a sign that it will never get fixed, or that it will get fixed rapidly. 03:29:57 -!- [Finnmark|Away] has changed nick to PiRS|Finnmark. 03:30:08 Hi 03:30:36 -!- centrinia has quit (Quit: Leaving). 03:39:21 hi 03:39:32 Phantom_Hoover_Not_here, elliott kallisti update 03:41:11 im phantomhoovernothere 03:41:18 my traditional scottish name 03:41:28 Ngevd: It's almost 4 am, man. 03:44:15 Can I disable space to scroll in Chrome? 03:53:04 probably not unless there's some exttension 03:54:57 I downloaded Firefox instead :/ 03:57:33 -!- kallisti has quit (Ping timeout: 244 seconds). 04:13:02 -!- PiRS|Finnmark has changed nick to PiRSquared17. 04:22:24 -!- copumpkin has quit (Ping timeout: 255 seconds). 04:22:50 -!- copumpkin has joined. 04:29:25 -!- Ngevd has quit (Quit: Goodbye). 04:47:37 copumpkin: Does the new kind-lifting stuff in GHC let me have type-level rational literals? 04:53:50 happy new year folks 04:58:21 -!- Klisz has joined. 04:59:02 -!- Darth_Cliche has quit (Ping timeout: 244 seconds). 05:05:56 elliott, update 05:15:27 -!- van3 has joined. 05:16:22 `welcome van3 05:16:25 van3: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 05:18:36 -!- Klisz has quit (Ping timeout: 240 seconds). 05:18:49 -!- van3 has left. 05:23:12 -!- yorick has quit (Remote host closed the connection). 05:23:24 -!- yorick has joined. 05:25:07 "[...] very soft and savory with a hint of ammonia." --[[Brie]] 05:25:15 Delicate ammonia flavours. 05:27:33 I'm gonna create a language and call it Computer Language Especially Atrociously Named Ex Retronym. 05:31:57 tswett: Crass. Only ocular lenses should take over really yawnful brands. Really ostentatious. 05:32:01 cleaner is stupid 05:32:01 tswett: no, it has to be recursively acronymed! *wink* 05:32:09 I like how all three of us responded at once. 05:32:12 Minutes after the original message. 05:32:55 and i was waiting for the next train while diligently searching for free Wi-Fis 05:33:23 the perfect moment to answer such message. 05:36:32 * elliott just assumes tswett decoded his CLEVER HIDDEN MESSAGE. 05:36:50 happy new year elliott 05:37:00 Happy new year 05:38:16 Clearly loads'a effort vanquished egregious retardations, hailing immaculate decisions deduced excellently, natch. Must emissaries so slowly aggregate greater extensionality? 05:39:24 :( 05:39:56 you have no sympathy for drunk me do you elliott 05:40:22 quintopia: Happy axiomatically passing pages, yes. Never entirely wishful, ye ending alienates really epic lying losers. Oh, tut tut. 05:41:30 you missed an i 05:41:45 :( 05:41:52 *losers, idiot. 05:42:30 that works 05:43:03 -!- kallisti has joined. 05:43:03 -!- kallisti has quit (Changing host). 05:43:03 -!- kallisti has joined. 05:44:20 quintopia: You, oak underneath, hellishly amputate viral exoskeletons. Nashville, Oklahoma, Sydney: You may pass all these houses, yet for only raucous drunkness realise ugliness' new kin. Masculinity exits, dodos opine. Yeah, only umbral exegeses light likenesses, in other terms: tawdry. 05:45:37 *likenesses; 05:45:37 kallisti, you may have missed updates 05:46:13 http://esolangs.org/wiki/Malbolge 05:46:15 mother of god ... 05:51:21 elliott: all real exogenous yeomen originate under sexually urban crushing herbal arid dungeons. only underground citizens have exceptionally badass gregarious selves. 05:51:24 ? 05:51:52 Are you such a douche bgs? 05:51:59 I... don't know whether I'm such a douche bgs. 05:52:43 baf ass should have been two words 05:52:50 forgive me, i'm drunk 05:53:10 -!- MDude has changed nick to MSleep. 05:53:25 I just came back now, saw the message starting "You, oak underneath, hellishly amputate..." and immediately understood what it meant... you aren't hiding anything, really... 05:54:22 quintopia: Fortunately, opium-red grass imitates vain endings. Moreover, entities' idolaters move drunk robotic understandings. Never know. 05:56:59 such ostentatious drivel. really underestimating new krewlness 05:57:34 i agree @ elliorr 05:57:42 ^tt 05:57:50 Sod runk indeed. 06:00:48 hmm 06:01:29 I don't understand what zzo38 said 06:02:12 The prior statement was an attempt at a joke, which I am now aborting. 06:02:13 i think what zzo38 said is "You, oak underneath, hellishly amputate..." translates to "you aren't hiding anything, really..." 06:02:40 ie. 06:03:21 "saw the message starting X and immediately understood what it meant... Y" is akin to "X translates to Y" 06:04:02 with temporal qualifiers removed 06:21:29 hi 06:23:19 * quintopia hugs zzo38 06:23:39 happy new year zzo38 ... in a couple hours 06:28:57 -!- NihilistDandy has quit (Quit: Linkinus - http://linkinus.com). 06:33:32 which year is it in china? 06:41:15 itidus21: No. That isn't what it translates to. 06:41:18 That isn't what I meant. 06:42:07 quintopia: I don't know what year it is in China, but I know when Chinese New Year is (although it only applies when using Chinese calendar; even in China they do not use it all the time as far as I can tell) 06:43:16 -!- Madoka-Kaname has quit (Ping timeout: 240 seconds). 06:45:58 Do you know the timezones in China? I don't know what all the timezones of the world are, although I could look it up in a book or in Wikipedia 06:48:22 what's a good frontend for gnuplot? 06:48:23 or 06:48:32 what's good software for generating a plot of a sinwave? 06:48:40 s/sin/$& / 06:53:22 -!- Guest64412 has joined. 07:00:37 zzo38: when tne chinese new year happens what animal will it be 07:03:01 I don't know that either 07:04:05 oh 07:06:59 -!- Guest64412 has quit (Quit: SLEEP, GLORIOUS SLEEP). 07:07:52 -!- PiRSquared17 has quit (Quit: Bye!). 07:45:27 -!- Vorpal has quit (Ping timeout: 240 seconds). 07:55:10 -!- Vorpal has joined. 07:55:14 My internet just died /badly/ 07:55:18 I'm on 3G atm 07:55:28 it says it is connected but it just doesn't work 07:56:03 it works 07:56:13 quintopia, obviously my 3G works 07:56:16 but not my ADSL 07:56:17 duh 07:56:44 -!- itidus21 has quit (Ping timeout: 252 seconds). 07:57:12 quintopia, but the 3G is so much slower and also restricted to my laptop unless I setup some fancy sharing or something 07:58:29 oh kay! 07:59:50 ah now my ADSL works intermittently, will keep the chat over 3G for a bit until it stabilised... 08:02:56 -!- zzo38 has quit (Remote host closed the connection). 08:07:02 and switching back 08:17:31 hm 08:20:15 -!- elliott has quit (Ping timeout: 240 seconds). 08:55:25 -!- kallisti has quit (Ping timeout: 268 seconds). 10:32:24 -!- Phantom_Hoover has joined. 10:54:16 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 10:59:24 -!- oerjan has joined. 11:07:11 -!- Phantom_Hoover has joined. 11:20:19 CTCP QUIT? 11:21:02 it's times like these when it's annoying to read the logs, when they don't include everything people are talking about :( 11:21:24 Gregor: ^ *cough* 11:21:50 oerjan: Yes, I think they should include non-channel PRIVMSGs too. 11:22:08 fizzie: um i was assuming that was sent to the channel? 11:22:22 Could be; that was an irrelated comment. 11:23:17 basically on a channel as experimental as #esoteric, a logbot shouldn't filter out information, not even malformed such 11:23:38 (yeah i know about the raw logs) 11:23:59 HOWDOESTHISAPPEARINMYLOGS 11:24:48 Hah, my bouncer doesn't log CTCP either. What a multiball. 11:25:09 -!- GreaseMonkey has quit (Quit: The Other Game). 11:28:57 In the bad old days, a CTCP PING +++ATH0 used to drop a number of people. 11:29:28 -!- Ngevd has joined. 11:29:55 As well as "ping -p 2b2b2b415448300d0a". 11:30:17 Hello! 11:30:23 (There's also the variant which dials up a phone sex number afterwards.) 11:31:37 elliott: don't you do C++ sudoku for fun sometimes? <-- what is C++ sudoku? i assume it's nothing as boring as programming sudoku in C++ 11:33:17 IIRC it's just "C++ as a time-wasting brain exercise". 11:35:13 Vorpal: You know how people play Sudoku as a time-wasting brain exercise? 11:35:13 C++ is like that, but better. 11:35:13 [...] 11:35:13 I failed at C++ Sudoku for the first time today :( 11:35:13 it is not possible to create a boolean type such that "if (True)" works but 11:35:13 "if (True && 9)" doesn't 11:35:15 [...] 11:35:17 monqy: c++ sudoku is my invention and mine alone, also im the only known player, you should try though, you just need a copy of the C++0x features list, a recent g++ compiler, and an ability to forget that things aren't jokes 11:36:16 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 11:37:42 mhm 11:40:54 ^celebrate 11:40:54 \o| |o| |o/ \m/ \m/ |o/ \o/ \o| \m/ \m/ \o| |o| |o/ 11:40:54 | | | `\o/´ | | | `\o/´ | | | 11:40:55 /`\ >\ |\ | /'\ /'\ /< | /´\ |\ >\ 11:40:55 (_|¯`¯|_) /'\ 11:40:55 (_| |_) 11:41:14 * oerjan was testing if it did anything different with +c off 11:42:19 What about a \o/ 11:42:19 | 11:42:20 /`\ 11:42:34 Aw, no color-following; now it just looks like an excessively angry dude. 11:42:43 explosive man 11:43:18 I was hoping for it to pretend the color code had a width 11:44:17 I wonder if it also doesn't mind \o/ 11:44:17 | 11:44:18 /´\ 11:44:42 Very good. 11:44:48 it uses all those strange control codes itself (which i cannot see in irc but which show up in the logs) 11:45:03 \o/ 11:45:04 | 11:45:04 /< 11:45:32 good ideas:\o/ 11:45:33 | 11:45:33 |\ 11:45:49 Oh no, the blockhead. 11:46:04 \m/ \m/ 11:46:05 `\o/´ 11:46:05 | 11:46:05 (_|¯'\ 11:46:05 |_) 11:46:32 0 isn't black? 11:46:37 1 is black 11:46:41 0 is white. 11:46:52 \m/ \m/ 11:46:52 `\o/´ 11:46:52 | 11:46:53 /´\ 11:46:53 (_| |_) 11:47:52 \o| |o| |o/ \m/ \m/ |o/ \o/ \o| \m/ \m/ \o| |o| |o/ 11:47:53 | | | `\o/´ | | | `\o/´ | | | 11:47:53 /| /< |\ | |\ /< /| | /< |\ /`\ 11:47:53 /´¯|_) /'\ 11:47:53 (_| (_| |_) 11:49:19 Finnmark is RELLLLAAAALKLLL~! <-- how sad that i broke him 11:49:51 It's a screwy set of colors, but OTOH no-one seems to be able to agree on what the 16 terminal colors should look like, beyond the overall "four bits stand for IBGR, more or less" direction. 11:49:53 and of course there's Hordaland when you want some hordes 11:50:26 and all us ops are from Oppland, naturally 11:50:52 `words --finnish 15 11:51:03 vananistaan riippulstetys hahteessämme säisimpieskiehum pelömme muodollamme pohjakavakiirtämiä saanemiltäni pitämällään mella mallani tupelakommillomiksi ulkevyempinertä ahdistuttavissa kateuttamme 11:51:14 the rogues come from Rogaland 11:51:41 basically norwegian counties contain all the names you need for a proper D&D game 11:52:08 Lots of long-ish real words there, "muodollamme", "pitämällään", "ahdistuttavissa", "kateuttamme". 11:52:21 `words --norwegian 15 11:52:25 sursforsøk radiner tankaperapen logien fasissamlovertykksamvir tillene dampbevistilla formeieorierordr trafikaeneruneskyla yrkeroinstor marbehandle mimregn hodeltaktet tingsbehandpla hovektens 11:52:51 sursforsøk is clearly a scientific term 11:53:19 and biologists have seeked long for the mysterious tankaperape 11:53:57 and when your proofs are not up to steam, use dampbevistilla 11:54:24 marbehandle sounds like the kind of treatment you want to avoid 11:54:34 (That is: "with our shape", "with the thing e held", "in the anxiety-inducing" and "our regret" in the partitive case, i.e. used as an object.) 11:54:39 marbehandle sounds like a Dwarf Fortress 11:54:44 mimregn is like rain, except it makes no sound 11:55:34 -!- Phantom_Hoover has joined. 11:55:34 and if you don't know how much ho you have, use a hovekt 11:56:10 i have always wanted to know how much ho i have 11:56:16 Or just get a ho-over. A phantom such. 11:56:19 after which you can split them with the hodeltakt 11:56:54 monqy, so you want a hovekt with type indices? 11:57:44 my ho is very precious to me; i want only the best 11:58:10 -!- Ngevd has quit (Quit: Goodbye). 11:58:12 Are all your hovekt manipulation functions formally verified? 11:58:24 Ngevd could not deal with all these hos. 11:58:26 monqy: but is it a forward or backward ho? 11:58:41 sorry -a 11:58:42 oerjan, hos only go one way, you dolt. 11:58:55 it's a mass noun 11:59:09 Ho only goes one way, you dolt. 11:59:15 ok 11:59:22 always forward ho, check 12:00:24 ho also means "she" in nynorsk 12:00:52 Ho ho ho? 12:01:20 oh and who wouldn't want some nice dried radiner 12:01:58 `words --english 15 12:02:02 Unknown option: english 12:02:05 :( 12:02:15 `paste bin/words 12:02:19 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.20211 12:02:36 `words --eng-gb 15 12:02:41 eed fix hornicagli splum donary puftyfrydic signie mufk quho ston legealessio lehing incaryfev navige hon 12:02:46 (one problem with inserting norwegian into english sentences is whether to strip suffixes or not - if you don't strip the definite suffix it feels wrong whether you put a "the" in front or not) 12:02:51 puftyfrydic, yum yum 12:03:16 I think I've been to Incaryfev. 12:03:36 `words --irish 15 12:03:39 b'iora sceiltír spalasaí bpeir gcugan harfóra néivear m'uragaigh gcoirní staíl spiachánach ráfla sciméapa neamhbhreach m'easuaiméis 12:03:44 i need some splum for the donary, hon 12:04:14 Neamhbhreach is only a little implausible as an Irish name. 12:04:28 Phantom_Hoover: you know irish? 12:04:29 -!- baesemada has joined. 12:04:35 oerjan, I know Irish names. 12:05:05 They're characterised by 'h'es where no 'h'es should there be. 12:06:30 03:02:39: @messages 12:06:30 03:02:39: Phantom__Hoover said 1h 13m 41s ago: CRITICAL INTELLIGENCE UPDATE: elliott lives in the Abbey, move to intercept. 12:06:36 hexham will never be the same 12:10:18 -!- baesemada has quit. 12:15:43 * elliott just assumes tswett decoded his CLEVER HIDDEN MESSAGE. <-- ejatdhCHM? that makes no sense man 12:16:48 it's backwards for MHChdtaje. 12:16:52 ah. 12:17:31 -!- Madoka-Kaname has joined. 12:17:32 -!- Madoka-Kaname has quit (Changing host). 12:17:32 -!- Madoka-Kaname has joined. 12:20:32 05:46:13: http://esolangs.org/wiki/Malbolge 12:20:32 05:46:15: mother of god ... 12:20:40 no, more like the opposite, i'd say 12:20:47 ? 12:21:31 opposite of mother of god. 12:21:32 dog fo rehtom 12:21:46 god of mothers? 12:21:51 father of god? 12:22:00 mother of satan? 12:22:08 I could go on for hours, which one do you mean? 12:22:09 getting close 12:22:20 lahwran: well which one fits with malbolge? 12:22:34 * oerjan pun appreciation lessons 12:22:39 "mother of god" works nicely 12:22:44 zbgure bs tbq 12:22:56 http://www.urbandictionary.com/define.php?term=mother+of+god 12:23:03 "If something unbelieveable happens or is so unexpected and you cant believe your eyes, you can then say 'Mother of GOD!'" 12:23:05 I rest my case :3 12:23:53 yes, but that's not punny enough. 12:24:14 or wordplay, whatever 12:26:46 I'm busy reading gender-related holy wars on reddit, can't think about puns 12:27:12 lahwran: Solution: Stop reading Reddit. 12:27:25 yeeeeaahhh that's a good idea 12:27:29 Reddit is stupid. Especially "gender-related holy wars" on it. 12:28:11 "holy wars" on the internet in general are stupid, but very entertaining 12:28:14 i don't visit the reddit front page any more these days. 12:28:33 holy wars as in 12:29:03 The Reddit front page is OK once you unsubscribe from every single subreddit. 12:29:04 "you're right and I'm wrong, and I won't listen to reason even if you're not trying to disagree with me" kinda stuff 12:29:21 shachaf: i'm not logged in, so i mean the default set 12:29:22 happens a lot with programming languages, too. perl vs python, anyone? 12:29:26 :D 12:29:51 never heard a proper perl vs python 12:29:58 oerjan: I'm not logged in either. 12:30:14 I don't really log in to websites anymore. 12:30:20 monqy: honestly, I haven't either 12:30:58 of what use is a holy war if both sides are wrong 12:31:15 you don't need that qualifier on there 12:31:16 monqy: Eliminating wrong people from both sides. 12:31:23 That's what war is about. 12:31:37 in general holy wars imply that any aggressive side is wrong :P 12:31:44 and, often the unaggressive sides too 12:32:31 I'm in a holy war with my pants -- in particular the knee area. 12:32:34 I'm losing. :-( 12:32:47 hah 12:33:06 I'm proud to say the knees of my pants have stayed mostly assembled in recent years 12:33:08 my pants and I have a mutual respect 12:33:24 i'm in a holy war with god. it's rather frustrating. 12:34:03 oerjan: A holier-than-thou war? 12:34:52 shachaf: the guy just won't come to his senses 12:36:46 i mean i keep saying "making a universe where suffering is a building block, that's just atrocious" but he just won't have any of it. 12:41:07 "Can't you just _fix_ it already?" "*THUNDERBOLT*" 12:41:53 nahahaha 12:41:59 s/n/b/ 12:46:08 -!- Ngevd has joined. 12:46:43 -!- mr_schlauch has joined. 12:50:16 Hello! 12:51:01 Goodbye! 12:51:03 -!- Ngevd has quit (Client Quit). 13:29:11 -!- kallisti has joined. 13:29:11 -!- kallisti has quit (Changing host). 13:29:11 -!- kallisti has joined. 13:29:17 ARISE COMPUTER 13:29:20 I SUMMON THEW 13:29:22 so after playing some Skyrim 13:29:25 I think I've decided 13:29:51 that I'm not going to spend money on what is essentially a huge, monotonous, buggy, unbalanced game. 13:32:51 -!- kallisti_ has joined. 13:33:35 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 13:46:54 hmmm I think for the first time ever wikipedia's donation drive is behind its budget. 13:48:02 -!- kallisti_ has left. 13:48:09 they need to come up with an actual fundraiser if they want to keep drawing millions from the general public 13:48:28 quintopia: what's the difference between an "actual fundraiser" and what they're doing. 13:48:35 if I don't give them money, they'll give me more faces, and I love the faces 13:48:58 I think their fundraider campaign is kind of poorly executed. 13:49:11 fundraider! 13:49:15 lol yes 13:49:21 not enough fun raiding 13:49:23 needs more raids 13:49:39 I think they should have stuck to the "here's the bar showing how much money we need" 13:49:42 instead of the faces. 13:49:53 but 13:49:54 facesssssss 13:49:55 faces are good 13:50:00 faces are friend 13:50:01 it worked fine in the past, and gave people an indication that there is a need to donate. 13:50:15 they could even have faces /and/ the progress bar. 13:50:20 ,,,,,,,,, 13:50:22 progress bar made of faces 13:50:26 yes. 13:50:40 face made of bars 13:50:44 give more money to get more faces 13:50:47 now everyone will donate 13:51:03 yes. all the donate. 13:51:08 all the faces do is attract people to click and read their shitty advertising spiel. 13:51:15 nope 13:51:25 they attract people to look at faces 13:51:32 to admire the faces 13:51:37 it's all so facetious 13:53:04 .. 13:53:10 monqy: hi I got idea for game 13:53:13 super game. 13:53:15 but complicated 13:53:25 you flip a face but it's really really big 13:53:26 maybe I shouldn't plan so comlpicatedly 13:53:54 no it's like RPG + RTS 13:54:12 + maybe dynamically generated storyline/world but I doubt I'll be good at that. 13:54:26 definitely randomly generated world would be nice. 13:55:06 the idea started as a desire to have an RPG where careful consideration and planning are required 13:55:08 and you can go back in time and kill the royal family and everything is different 13:55:22 like, with magic, for example, you can't just run around and throw fireballs everywhere. 13:55:52 you can only throw them where they wont hurt anyone 13:56:21 if you're in a forest, the forest will catch on fire. also, good spells are slow and require no interruptions. Anything fast is either a) not very strong b) drains a lot of magical resources (I haven't decided what that is) 13:56:33 forest fires mean more things dead 13:56:35 perfect 13:56:37 lol 13:56:39 yes. 13:56:44 though if there is an enemy wizard 13:56:47 he could conjure rain. 13:56:48 dead 13:56:50 oh 13:56:53 try megafire 13:56:58 (thumbs up) 13:57:07 megarain though 13:57:25 D: 13:57:57 also another idea is to have the game progress from a small scale to large scale while being interesting the entire time. 13:57:59 do recommend nuclear blast 13:58:06 so, to start with you'd be one person. the main hero character. 13:58:29 oh sort of like battles in brutal legend 13:58:34 then you'd develop a following, and eventually you would control a town, then a county, then a kingdom. 13:58:56 -!- derdon has joined. 13:58:57 though I don't if I actually want to do that. 13:59:07 you dont want to do that 13:59:09 I think just having a small city under your control would be good enough. 13:59:19 -!- oerjan has quit (Quit: leaving). 13:59:19 you want a game company with resources to do it for you 13:59:27 also I'd rather focus on a small group of awesome hero characters than armies and stuff 14:00:07 the way I see it working is you have military squads that you can train, but all of the epic questy stuff would be handled by your heros 14:00:14 but yeah 14:00:15 that's like 14:00:17 a game I'll never make 14:00:21 that I've thought about a lot recently 14:00:31 I'd like to be a game company 14:00:34 like the entire game company 14:00:35 at once 14:00:41 like a hivemind 14:00:42 yeah man 14:00:45 developing a game 14:01:20 my dream existence is as a hivemind 14:01:28 a hivemind of robots 14:01:30 or perhaps hiveminds 14:01:40 my existence hive is a dream of minds. 14:01:47 is this a good dream or a nightmare 14:02:26 my dream existence is of mind hives 14:02:45 my dream dream is of dream dreams 14:04:08 mmmm cole slaw 14:04:20 what the hell does cole mean 14:04:23 also slaw 14:04:37 coles law 14:04:43 colesl aw 14:04:44 cole is cabbage, slaw is salad 14:05:00 The term "coleslaw" arose in the 18th century as an Anglicisation of the Dutch term "koolsla", a shortening of "koolsalade", which means "cabbage salad".[2] It is originally from Ireland and was made at the end of the month from leftover vegetables and cream. 14:05:04 indeed 14:05:23 coleslaw is good except when it isn't 14:05:29 yeah 14:05:38 "closeup of Kentucky Fried Chicken's coleslaw" WHYYYY 14:05:44 thanks 14:05:58 enlarged for texture 14:06:02 they make the worst 14:06:04 delicious coleslaw texture 14:06:05 WHY DOES WIKIPEDIA RUIN EVERY FOOD WITH PICTURES OF SHITTY VERSIONS OF THAT FOOD 14:06:30 is the picture good at least 14:06:49 artistically 14:07:25 "here's some shitty grits I got no 14:07:55 http://en.wikipedia.org/wiki/File:KFC_coleslaw.JPG 14:08:06 mmmm grits 14:08:08 ew 14:08:14 imagine cabbage now imagine KFC sucks 14:10:25 the only retouching they did was a crop 14:10:44 i am glad to in all other respects witness the unadulterated glory of kfc coleslaw 14:10:56 viesual respects i mean 14:11:03 except for some of them 14:12:38 yes 14:18:16 http://en.wikipedia.org/wiki/Brunswick_stew 14:18:22 I love brunswick stew. 14:18:24 so goood. 14:19:52 dont make me hungry when there is no food 14:20:52 http://en.wikipedia.org/wiki/Southern_American_cuisine 14:21:02 http://en.wikipedia.org/wiki/Fried_chicken 14:21:15 http://en.wikipedia.org/wiki/Biscuits_and_gravy 14:21:47 http://en.wikipedia.org/wiki/Gumbo 14:21:58 the american quisine picture is a burger, great 14:21:58 http://en.wikipedia.org/wiki/Jambalaya 14:22:05 monqy: yeah I found that funny 14:22:27 http://en.wikipedia.org/wiki/Hushpuppy 14:22:53 * quintopia does not click on food pron 14:23:14 it's informative it has words 14:23:20 don't you want education 14:23:24 food education 14:23:50 i am hungry! 14:24:33 quintopia: http://en.wikipedia.org/wiki/Chicken_and_dumplings 14:24:40 http://en.wikipedia.org/wiki/Cornbread 14:24:47 http://en.wikipedia.org/wiki/Apple_butter 14:24:54 http://en.wikipedia.org/wiki/Chow-chow 14:25:07 http://upload.wikimedia.org/wikipedia/commons/2/23/Ni%C3%A8r_beurre_National_Trust_for_Jersey_2007_a.jpg yum yum 14:25:17 kallisti is hating me :( 14:25:31 http://en.wikipedia.org/wiki/Fried_green_tomatoes_(food) 14:25:40 kallisti: Here's your sine wave: https://chart.googleapis.com/chart?cht=lc&chd=t:-1&chs=250x150&chfd=0,x,0,6.28,0.1,sin(x)*50%2b50 14:25:49 http://en.wikipedia.org/wiki/Sausage_gravy 14:25:51 what am i seeing here monqy 14:26:08 you'd know if you clicked kallisti's links!! 14:26:54 fizzie: I was having a drunken conversation with someone and they started talking about audio stuff in relation to films and they kind of knew what spectrograms were but I wanted to clarify by showing a pure sine tone and its corresponding spectrogram. 14:27:02 or you could just tell me 14:27:06 quintopia: foods 14:27:12 Making black butter in Jersey - wikepid 14:27:20 oh 14:27:21 first image on the appel buter page 14:27:23 kallisti: I'm not sure you can get Google's image chart API to make a spectrogram, sadly. 14:27:48 it takes a metal-melting forge to make black butter it seems 14:28:04 it's okay I could have just drawn a vertical line on a 2D chart somewhere :P 14:28:06 how else would you butter the apples 14:28:11 those things are hard! 14:28:42 we have "apple houses" here 14:28:46 which just sell all apple 14:28:49 stuff 14:29:03 just tons of different kinds of apples, apple cider, apple butter, apple fritters, apple pie. 14:29:10 probably other things made of apples that I didn't know existed 14:29:13 apple chips 14:29:16 oh, yes. 14:29:58 apple sauce 14:30:44 Apple iBook. 14:30:49 no 14:30:52 bad 14:31:02 not very nutritioys 14:31:02 Apple iRack 14:33:35 is that a pun on Iraq .. 14:33:41 yes it is. 14:34:06 apple macintosh, yum yum 14:36:26 There's a garlic-themed restaurant in Helsinki, they do some a bit strange garlicy things. (Like garlic beer and garlic ice-cream.) 14:37:08 yecch 14:38:17 chocochip waffles? 14:38:49 garlic chocochip garlic waffles 14:39:00 garlic garlic in a garlic sauce 14:39:20 fizzie: can you order a whole bulb of garlic. 14:39:28 * quintopia dips it in garlic butter 14:39:57 kallisti: It's not on the menu, but I'm pretty sure you could. 14:39:59 maorp 14:40:11 Also there's a viking-themed restaurant chain that sells tar ice-cream. 14:40:19 what 14:40:30 It's not entirely unique, but top Google hits about "tar ice cream" seem to be about it. 14:40:40 tar is not food 14:40:49 http://susan-stepney.blogspot.com/2011/06/tar-ice-cream.html <-- see, #1 hit is some computational blogger blogging about it. 14:41:03 It's not too bad. 14:41:50 wat ice cream tarpit? 14:41:55 is it the smallest ice cream? 14:42:11 The ice cream with the least amount of instructions. 14:42:23 yeah i just read that 14:42:30 she seems to think it is nice 14:42:52 I'm not sure that's what turing tarpit was originally coined to mean. 14:44:08 "There is a small but thriving community on the Internet of hobbyists who program in and design esoteric programming languages." -- haha Wikipedia 14:44:26 does it have a citation 14:44:36 no 14:44:39 i dont buy it 14:44:41 "The esolang community is active sporadically, and topics of discussion range from debate as to whether a language is Turing-complete to how one would go about representing abstract and hard to visualise mathematical concepts in a programming environment. There is a mailing list, but it is nearly abandoned and most discussion happens on the wiki (see below) or on IRC." 14:45:12 other topics include: apple butter and garlic-themed restaurants. 14:45:16 wikipedia............................. 14:45:26 oh no it gives 14:45:29 lolcoad as its 14:45:32 firsst iexampel 14:45:33 no bad 14:45:55 first example should be Malbolge 14:46:40 ('&%:9]!~}|z2Vxwv-,POqponl$Hjig%eB@@>}= 14:47:56 Their Befunge Hello World uses a nonstandard 3x2 print loop, but I suppose that's justifiable, because the standard 5x1 >:#,_ is not "2D" at all. 14:52:23 As ... blah as Cyanide and Happiness is, I do like the time travel strips, I think 14:52:39 Once a year. Apparently since 2006 14:53:21 S "I like station v3" geo 14:54:40 I was waiting for that to come up 15:00:53 I officially hate commentors on dilbert.com 15:01:19 So far, two people think Oxytocin is a misspelling. 15:02:31 http://dilbert.com/strips/comic/2011-12-31/ 15:05:24 i officially hate dilbert 15:05:36 and scott adams too 15:17:54 Ah yes. 15:18:02 It's that time of year where I have to remember to update copyright lines. 15:19:11 why not just write them so they dont have to be updated? 15:20:19 Because then they wouldn't be legally correct ... 15:23:18 -!- azaq23 has quit (Quit: Leaving.). 15:23:39 under which law? 15:38:44 -!- cswords has joined. 15:39:19 -!- cswords has quit (Client Quit). 15:44:51 quintopia: None I suppose, under Berne you don't need a copyright notice at all *shrugs* 15:45:44 Apparently a copyright notice can defeat a defense of "innocent infringement" 15:46:13 I need a VCS that can tell me when I need to update copyright notices 8-D 15:46:22 I wonder if there's a plugin for Mercurial to do that ... 15:47:02 You could just not put the year into the copyright notice 15:47:18 Some GNU files have such a careful correspondence between "years mentioned in the copyright notice" and "edits that touched the file in the VCS" that one might believe they use some kind of a tool. 16:23:30 -!- Sgeo_ has joined. 16:24:57 -!- Sgeo has quit (Ping timeout: 240 seconds). 16:31:31 Do I want to know -cafe's opinion of conduits? 16:31:45 Or is the rest of cafe as stupid as that person in the thread? 16:34:47 -!- elliott has joined. 16:39:12 -!- Slereah_ has quit (Ping timeout: 248 seconds). 16:40:20 -!- Ngevd has joined. 16:40:22 Hello! 16:40:34 I'm mildy surprised that http://hackage.haskell.org/package/piet exists 16:41:14 -!- Slereah_ has joined. 16:43:33 Ngevd: There's a -- rather vaguely specified -- P programming language http://oshs.sourceforge.net/docs/oshs-osfil.ud-P.html in the equally vapoury OSHS, "The Operating System of The Holy Spirit". 16:43:35 pietiful 16:44:04 fizzie: A few hundreths of kilobytes, eh? 16:44:40 IOW, a few dozen bytes. 16:45:07 That's how holy it is. (In related news, I haven't yet found out what makes OSHS holy at all; all the stuff that's in there seems to be just about the technical side of it.) 16:45:35 11:23:17: basically on a channel as experimental as #esoteric, a logbot shouldn't filter out information, not even malformed such 16:45:45 @ask oerjan Pings? NAMES lists? 16:45:45 Consider it noted. 16:46:11 11:31:37: elliott: don't you do C++ sudoku for fun sometimes? <-- what is C++ sudoku? i assume it's nothing as boring as programming sudoku in C++ 16:46:11 11:33:17: IIRC it's just "C++ as a time-wasting brain exercise". 16:46:24 fizzie: With an eye towards treating it as a functional language. Especially if you do it at compile-time. 16:46:33 11:35:13: I failed at C++ Sudoku for the first time today :( 16:46:33 11:35:13: it is not possible to create a boolean type such that "if (True)" works but 16:46:33 11:35:13: "if (True && 9)" doesn't 16:46:33 I later figured this out, BTW. 16:46:36 @tell oerjan Re logs: See raw logs. I can't turn every line into something meaningful, but the raw logs never fail. 16:46:37 Consider it noted. 16:47:16 Gregor: He just said "I know about timed hit^W^Wraw logs" on the next line or so. 16:47:39 Er, not the bit about timed hits. In retrospect, putting quote marks around that was probably a mistake. 16:47:41 Anyway. 16:48:29 Gregor: You /could/ add unknown lines raw to the text logs (past parsing who sent them). 16:48:46 elliott: I /could/ 16:48:51 I /choose/ not to ^^ 16:49:23 12:15:43: * elliott just assumes tswett decoded his CLEVER HIDDEN MESSAGE. <-- ejatdhCHM? that makes no sense man 16:49:23 12:16:48: it's backwards for MHChdtaje. 16:49:23 12:16:52: ah. 16:49:23 yeah 16:49:58 elliott: YunXttm? 16:50:09 i guess so? 16:53:09 :/ 16:53:38 15:00:53: I officially hate commentors on dilbert.com 16:53:44 Sgeo_: You could try not reading dilbert.com. 16:54:02 's better than XKCD. 16:54:22 At least the author of xkcd isn't a scumbag :P 16:54:23 15:18:02: It's that time of year where I have to remember to update copyright lines. 16:54:23 15:19:11: why not just write them so they dont have to be updated? 16:54:23 15:20:19: Because then they wouldn't be legally correct ... 16:54:35 Gregor: Most people just have the year be when the thing was last updated... 16:54:51 Yes, but you have to remember to do that when you /update/ it. 16:55:10 Well, not really :P 16:55:13 hmmm I wonder if I have arthritis, or some kind of joint problem. 16:55:15 You could just not put a year. 16:55:24 15:47:02: You could just not put the year into the copyright notice 16:55:24 Yes, that. 16:55:47 16:43:33: Ngevd: There's a -- rather vaguely specified -- P programming language http://oshs.sourceforge.net/docs/oshs-osfil.ud-P.html in the equally vapoury OSHS, "The Operating System of The Holy Spirit". 16:55:51 my fingers kind of ache a lot lately, and then sometimes there's a sharp pain and I can't move my wrist very well for about a second or two. 16:55:53 -!- Gregor has set topic: This channel Copyright © 2005 Gregor Richards | http://codu.org/logs/_esoteric/. 16:55:55 fizzie: Wait, what *was* the context for this? 16:56:03 kallisti: Sounds RSIish. 16:56:12 from..... typing?> 16:56:19 I guess I type a lot. and weirdly 16:56:27 elliott: E was looking for single-letter-name programming languages a day or a few ago, and didn't find a P (just P'') at that time. 16:56:28 elliott, one letter programming language names 16:56:45 kallisti, you probably want to get a doctor to look at that. 16:56:54 a doctor? seriously? I'm shocked. 16:56:58 doctors fix medical problems? 16:57:03 Some do 16:57:08 Others just time travel 16:57:11 kallisti, that is at least the goal 16:57:14 I thought they just gave people drugs. 16:57:20 kallisti, if they are doctors in medicine 16:59:56 do you guys have anything like that? 17:00:11 seems like RSI would be common with programmers and whatnot 17:00:45 thankfully I don't have it 17:01:10 hm, maybe I should learn how to type like a normal person 17:01:30 what with 3 fingers on each hand? XD 17:01:37 yes 17:01:47 (I don't think that many people use all five fingers on each hand to type) 17:01:53 I let my middle finger do too much I think. 17:02:01 they kind of dance around the keyboard :P 17:02:11 that's a poor explanation though 17:02:53 I haven't slept for over 24 hours. Going to sleep now. Hopefully I will kind of sync up with the time zone I live in that way. 17:03:01 cya tomorrow 17:03:04 that never works for me 17:03:05 but good night 17:03:32 Vorpal: that doesn't work, you already fucked up 17:03:49 elliott: hi do you ever get RSI you type a lot. 17:04:09 you don't "ever get" RSI, you just "get" RSI 17:04:15 have you considered that it might be carpal tunnel, hth 17:04:26 seriously it's going to be so hard to type differently if that's what the problem is. 17:04:49 install xwrits or sth 17:05:01 "Patients with CTS experience numbness, tingling, or burning sensations in the thumb and fingers, in particular the index, middle fingers, and radial half of the ring fingers, which are innervated by the median nerve. Less-specific symptoms may include pain in the wrists or hands and loss of grip strength" 17:05:08 ...oh. no I hadn't considered that. but that sounds pretty accurate. 17:05:13 fun. 17:05:30 if you think you have anything like that (a) stop typing and (b) go and see a doctor 17:05:48 or it'll get bad enough that you won't be able to type. 17:05:55 but typing is fun. 17:05:57 type type type 17:07:05 Type if your nose 17:07:11 Nasal tunnel syndrome 17:07:17 s/if/with/ 17:07:25 I typo phonetically... 17:07:25 -!- Vorpal has quit (Ping timeout: 252 seconds). 17:09:08 http://en.wikipedia.org/wiki/Phalen%27s_maneuver this does not cause any symptoms. 17:09:46 oh no -- 160 over 7 :/ 17:10:08 http://en.wikipedia.org/wiki/File:Carpal_Tunnel_Syndrome,_Operation.jpg 17:10:14 this looks fun. 17:21:41 urgh 17:22:19 kallisti: pls don't link things like that without some kind of rudimentary warning, i'm afraid of my hands now :p 17:22:35 oh by the way if you don't like looking at meaty human insides then don't click that link. 17:22:43 excellent 17:22:44 not that it isn't totally obvious from the filename. 17:22:53 >_> 17:22:54 just sayin' 17:23:08 do you guys actually read links before you click them? 17:24:32 I didn't know how they fixed carpal tunnel :'( 17:25:12 but using sharp things to literally split the problem in half, of course. :P 17:25:16 divide and conquer algorithm. 17:25:21 s/buy/by/ 17:26:12 I like how surgery is just really precise beneficial maiming. 17:26:37 -!- Ngevd has quit (Quit: Goodbye). 17:29:30 * kallisti thinks he would enjoy learning how to do surgery but is way too clumsy and shakey to ever be good at it. 17:29:53 it's kind of one of those things where you can't fuck up without massive legal consequences. 17:30:40 * kallisti comes into work hungover. accidentally leaves bonesaw in someone's abdomen. 17:32:12 i'm looking for a small language to play 17:32:34 what was I even doing with a bonesaw for a surgery involving the abdomen? no idea. 17:32:59 Potion by _why was promising but then I found out that it's unusable 17:33:15 pail 17:33:33 network headache. 17:33:50 pail 17:34:00 it's like MMO coding (also it isn't hosted anymore, but maybe you can change that!) 17:34:11 ? 17:34:52 elliott? 17:35:38 nooga: http://catseye.tc/projects/pail/ 17:36:23 nooga: flogscript 17:36:39 (I'm in a zzo mood) 17:37:12 nooga: if you learn flogscript you'll immediately become a leet golfer 17:37:24 or well, I think that's how it works. 17:40:52 no docs 17:43:59 writen in php 17:44:01 yuck 17:45:13 Why would you want docs to be written in PHP? 18:00:15 Ha, my feature request got promoted from feature request. 18:07:58 Or should that be "demoted". 18:14:33 -!- oerjan has joined. 18:15:40 @messages 18:15:41 elliott asked 1h 29m 56s ago: Pings? NAMES lists? 18:15:41 Gregor said 1h 29m 3s ago: Re logs: See raw logs. I can't turn every line into something meaningful, but the raw logs never fail. 18:17:21 elliott: ok maybe not pings. NAMES lists could be useful. 18:18:11 oerjan: Gregor: You /could/ add unknown lines raw to the text logs (past parsing who sent them). elliott: I /could/ I /choose/ not to ^^ 18:18:58 Gregor: it's also somewhat about not knowing that the information _exists_ in the raw logs. 18:19:34 * elliott sigh. 18:19:40 oerjan: If you're trying to make me want to dust off ch2, it's working :P 18:19:47 yay :D 18:20:31 Depends whether Gregor will allow Haskell onto his bless-ed servers tho >:) 18:21:36 WHY DOES WIKIPEDIA RUIN EVERY FOOD WITH PICTURES OF SHITTY VERSIONS OF THAT FOOD <-- clearly people geeky enough to edit wikipedia only eat at fast food restaurants. 18:22:36 * oerjan unprejudiced 18:23:07 -- oerjan "microwave lutefisk" oerjan 18:23:53 Gregor: How do you know whether a QUIT results in a user leaving the channel in your log-baker? You don't do regular NAMES queries, so it should require unbounded lookback in the logs to determine that... 18:24:21 i only mentioned those two terms together in order to point out you _cannot_ microwave lutefisk. sheesh. 18:24:44 oerjan: yes, and that's why you didn't have any :P 18:24:57 check. 18:25:27 i did, however, have microwave pinnekjøtt. 18:28:03 http://en.wikipedia.org/wiki/Gumbo <-- the creole restaurant i knew about closed years ago :( 18:32:08 @src length 18:32:08 Source not found. :( 18:32:12 fucking piece of 18:32:20 wat 18:32:25 @source length 18:32:26 length not available 18:32:36 What's the difference between src and source? 18:32:38 @src maybe 18:32:39 maybe n _ Nothing = n 18:32:39 maybe _ f (Just x) = f x 18:32:40 Sgeo_: *BZZT* WRONG 18:32:40 @source maybe 18:32:41 maybe not available 18:32:54 @source Prelude 18:32:55 http://darcs.haskell.org/packages/base/Prelude.hs 18:33:03 OH 18:33:09 it's for modules. i also suspect it's very outdated. 18:33:31 like, ghc no longer uses darcs 18:33:40 > maybe undefined id (Just 5) 18:33:41 5 18:33:53 I was expecting it to be overly strict 18:33:54 oerjan: that's irrelevant, darcs.haskell.org hosts git repos 18:34:01 elliott: okay 18:34:15 Sgeo_: it could not be overly strict without explicitly using seq, parametricity... 18:34:41 http://darcs.haskell.org/packages/base/ seems to be a checkout of http://darcs.haskell.org/packages/base.git/ 18:34:59 I guess Haskell doesn't always go left to right in pattern matching? 18:35:53 Sgeo_: sure it does. 18:35:57 -!- ais523 has joined. 18:36:14 But then why doesn't it die on pattern matching ... oh, I think I get it 18:36:18 id a = 42 18:36:27 *foo 18:36:27 Because to pattern match there, it doesn't need to evaluate it 18:36:30 OMG id pattern-matches on its first argument, foo _|_ must = _|_ 18:36:47 pattern-matching doesn't cause any kind of reduction itself, only discrimination 18:36:49 i.e. constructors 18:36:58 Ok, thanks 18:37:02 Sgeo_: in maybe n _ Nothing = n, n is an irrefutable pattern and thus not strict. only the last argument is actually evaluated to check the constructor. 18:37:23 But there are functions in Haskell that are overly strict, and this makes me sad. 18:38:10 oerjan, I get it, thanks 18:38:12 Sgeo_: it annoys me slightly that show for Chars is overly strict 18:38:35 > fix (concatMap show) 18:38:38 show (undefined::Char) 18:38:38 Sgeo_: i take it you read conal's blog or something 18:38:39 mueval-core: Time limit exceeded 18:38:40 > show (undefined::Char) 18:38:41 "*Exception: Prelude.undefined 18:38:57 elliott, I've read the occasional post 18:39:11 wat 18:39:13 > fix (concatMap show) 18:39:17 mueval-core: Time limit exceeded 18:39:30 ...what gave the "? 18:39:44 > fix show 18:39:45 "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\... 18:40:04 Sgeo_: Oh, I assumed you were referring to 18:40:07 http://conal.net/blog/posts/functional-concurrency-with-unambiguous-choice 18:40:07 http://conal.net/blog/posts/merging-partial-values 18:40:15 http://conal.net/blog/posts/lazier-function-definitions-by-merging-partial-values 18:40:17 http://conal.net/blog/posts/lazier-functional-programming-part-1 18:40:25 http://conal.net/blog/posts/lazier-functional-programming-part-2 18:40:29 elliott, I had unamb-style stuff in mind, yeah 18:40:33 > show (undefined::Char) 18:40:34 "*Exception: Prelude.undefined 18:40:39 But I think I only read some of those 18:40:40 oh wait of course 18:40:52 I don't think it's all that big a deal in practice. 18:41:01 the " is not for the explicit show, but for the implicit one lambdabot uses on the resulting String 18:41:07 I'm not the biggest fan of unamb, and the left-to-right behaviour is at least predictable. 18:41:20 Also, it really needs to be in the language; HasLub sucks. 18:41:31 oerjan: i could have told you that 18:42:32 "The unsafePerformIO is actually safe in this situation because amb is deterministic when the precondition of unamb satisfied." 18:42:42 Similarly, unsafePerformIO is safe because unsafePerformIO is deterministic when the precondition of unsafePerformIO is satisfied. 18:46:58 -!- oerjan_ has joined. 18:47:53 -!- oerjan has quit (Disconnected by services). 18:47:59 -!- oerjan_ has changed nick to oerjan. 18:48:29 19:43 oerjan> and the mueval-core timeout prevents any partial result from being printed at all. or... 18:48:32 19:43 oerjan> > "test" ++ fix id 18:48:38 > "test" ++ fix id 18:48:42 mueval-core: Time limit exceeded 18:50:48 WTF 18:50:53 fix isn't in Prelude? 18:50:59 @hoogle fix 18:50:59 Control.Monad.Fix module Control.Monad.Fix 18:51:00 Data.Fixed module Data.Fixed 18:51:00 Data.Function fix :: (a -> a) -> a 18:51:00 indeed not 18:51:49 -!- xandy has quit (*.net *.split). 18:51:50 -!- quintopia has quit (*.net *.split). 18:52:39 -!- xandy has joined. 18:52:39 -!- quintopia has joined. 18:53:33 -!- zzo38 has joined. 18:54:44 `welcome xandy 18:54:47 xandy: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 18:56:19 `welcome everyone 18:56:23 everyone: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 18:56:45 HackEgo: Why thank you. 18:57:38 `welcome FireFly 18:57:39 oops 18:57:41 `welcome fizzie 18:57:42 FireFly: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 18:57:43 `swat FireFly 18:57:44 fizzie: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 18:57:46 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: swat: not found 19:00:01 oerjan holds the swatopoly. 19:05:37 -!- augur has quit (Remote host closed the connection). 19:09:56 hmm, there's no way i'm getting 200 rep today 19:11:10 they have finally caught on to you being a disreputable scoundrel 19:12:17 quite. wait, didn't you get mad at me for calling someone a scoundrel once? 19:13:31 i cannot possibly have done such a thing *erases evidence* 19:14:29 oerjan: It would be quite a scoundrely thing to do. 19:14:30 if i did, it would have been under circumstances where it might conceivable have been interpreted seriously. 19:14:38 *ly 19:14:40 -!- Ngevd has joined. 19:15:05 Hello! 19:15:09 now who are you, scoundrel. <-- i'm going to assume you secretly know Tenacity from before, as otherwise i think this channel is _really_ going downhill 19:15:22 (2009-09-07.) 19:15:22 oerjan: hm if contravariant functors are (b -> a) -> f a -> f b, are normal functors covariant 19:15:38 ah a newbie. yes, it's a rather bad first channel impression. 19:15:39 oerjan: oh right i remember, you had no idea that "scoundrel" was old-timey-sounding :P 19:16:23 yes and maybe. 19:16:42 i sure was hyper that day 19:16:45 * elliott stops logreading 19:17:04 oerjan: ok, so is there a name for class Cocontrafunctor f where wtfmap :: (a -> b) -> (b -> a) -> f a -> f b 19:17:09 where you have both covariant _and_ contravariant parts 19:17:10 e.g. 19:17:26 data F a b = F (b -> a) (a, b) 19:17:30 i cannot fathom to whom scoundrel would be old-timey-sounding 19:17:34 Cocoafunctor, the sweetest of functions. 19:17:49 oerjan: Allegedly it "evokes images of top hats and curled moustaches." 19:17:56 What doesn't. 19:18:01 (You realise oerjan was punning?) 19:18:34 -!- olsner has joined. 19:19:06 That wtfmap looks useless 19:19:12 I mean, what's the b -> a for? 19:19:18 Sgeo_: 19:19:18 where you have both covariant _and_ contravariant parts 19:19:18 e.g. 19:19:18 data F a b = F (b -> a) (a, b) 19:19:21 hth hand 19:19:37 you can't give a Functor or Contrafunctor instance for F, but you can give it a Cocontrafunctor instance 19:19:51 elliott: ah that bifunctor question? i'm sure there's any term other than "bifunctor covariant in the first and contravariant in the second parameter" 19:19:52 * Sgeo_ knows nothing about Contrafunctor 19:19:56 indeed I believe _every_ haskell ADT of the right kind has a Cocontrafunctor instance 19:20:06 Sgeo_: contramap :: (b -> a) -> fa -> f b 19:20:23 * Sgeo_ blinks 19:20:24 Ah, ok 19:20:35 elliott: oh hm wait that wasn't what you were asking 19:20:37 Sgeo_: e.g. (a -> Bool) has a Contrafunctor instance 19:20:38 oerjan: what question? I thought bifunctors were of kind (* -> * -> *) 19:20:44 http://hackage.haskell.org/packages/archive/bifunctors/0.1.2/doc/html/Data-Bifunctor.html 19:21:06 -!- Klisz has joined. 19:21:07 elliott: i just assumed you were asking about a question i'd recently seen in -cafe or somewhere 19:21:21 lol 19:21:47 hmm... that wtfmap has a flaw 19:21:51 or rather 19:21:58 I don't know what the law has to be to stop you writing 19:22:20 wtfmap f g (a,b) = (a, f (g (f b))) 19:22:31 which is ofc not allowed, you should only apply f and g to the right positions, once 19:24:46 indeed I believe _every_ haskell ADT of the right kind has a Cocontrafunctor instance <-- i think that's the way free theorems based on parametricity usually look, no? 19:25:19 oerjan: er what way 19:25:22 sorry, i'm dumb :( 19:25:46 @free f :: (a -> b, a, b) 19:25:46 (forall p q. h . p = q . g => k p = q) => $map_Triple k g h f = f 19:25:58 wtf 19:26:47 that's ugly 19:27:03 @free f :: (a -> b, a) 19:27:03 (forall p q. h . p = q . g => k p = q) => $map_Pair k g f = f 19:27:18 ok maybe not 19:27:29 @free f :: a -> b 19:27:30 h . f = f . g 19:27:32 no language 19:28:46 @free f :: [a] -> a 19:28:46 g . f = f . $map g 19:29:29 * oerjan isn't quite sure what he meant 19:30:20 * elliott too :P 19:30:48 what are the Functor laws again? including the ones that are impossible to violate in Haskell 19:31:02 oh hmm, it's just fmap id = id isn't it, and that's a free theorem 19:31:46 Surely with unsafeCoerce and unsafePerformIO, nothing is impossible to violate? 19:32:00 (Well, some things may be impossible to violate) 19:32:27 (Like the whatchamacallit that says f _|_ = non-bottom and f non-bottom = _|_ is impossible 19:32:52 monotonicity of information, or whatever 19:33:04 it's actually stronger than that 19:33:14 f _|_ [= f x for all x 19:33:19 where [= is a symbol i can't type 19:33:25 |_|| but sideways 19:33:42 Lessthanorequalto? 19:33:43 <= 19:33:56 ...no. 19:34:08 if you think |_|| turned on its side looks like < with _ below it, you're blind 19:34:20 it's less-than-or-equally-defined-as 19:35:05 The Commodore logo?! (Yeah, yeah, that's even further away; but [= is not much farther than the common C=.) 19:37:33 =c 19:38:06 elliott: fmap id = id and fmap (f . g) = fmap f . fmap g 19:38:47 it's not _entirely_ a free theorem btw, you could do fmap' f = fmap (f $!) 19:38:52 or wait hm 19:38:58 Wow, I think I've just understood the . thingy 19:39:09 that doesn't do anything to id 19:40:13 (Like the whatchamacallit that says f _|_ = non-bottom and f non-bottom = _|_ is impossible <-- well, with unsafePerformIO and catch, you can cheat for some bottoms 19:40:37 oerjan: hmm... so wtfmap id id = id, wtfmap (f . g) (h . i) = wtfmap f h . wtfmap g i 19:40:39 @free (a, a -> Int) 19:40:40 Pattern match failure in do expression at Plugin/Free/FreeTheorem.hs:54:20-34 19:40:44 argh 19:40:44 that second one might ban wtfmap f g (a,b) = (a, f (g (f b))), dunno 19:40:50 @free f :: (a, a -> Int) 19:40:51 (forall k. h (k . g) = k) => $map_Pair g h f = f 19:41:57 Finally they fixed it I can remove tags from the git 19:43:18 elliott: i suspect you want some swapping in the latter equation 19:43:56 wtfmap (f . g) (h . i) = wtfmap f i . wtfmap g h 19:44:02 er, right 19:44:29 hmm 19:44:36 and of course only if the right side types 19:44:47 duh :P 19:46:21 it _does_ look like a categorical bifunctor map on the incoming end. there's probably some name for it. 19:47:48 that is, if it was wtfmap :: (a -> b) -> (a' -> b') -> bf a b' -> bf b a' it would obviously be one 19:48:54 so what is the categorical term for a bifunctor with its output parameters smushed together :P 19:49:18 hm... 19:49:54 elliott: for any adt you could probably separate the covariant and contravariant parts into two different parameters and get a genuine bifunctor that way 19:49:59 oerjan: i find that a fairly odd way of thinking about it, even if the types do match up :P 19:50:00 hm 19:50:04 so turn 19:50:19 data F a = F (a -> Bool) a 19:50:20 into 19:50:23 data F a b = F (a -> Bool) b 19:50:24 ? 19:50:40 (incidentally strict fields can mess up the exact functor laws, i found the other day) 19:51:02 elliott: yeah 19:52:27 oerjan: hm I suppose you could do 19:52:44 class Cocontra f where type Split f :: * -> * -> *; to :: f a -> Split f a a; fro :: Split f a a -> f a 19:52:45 or something 19:53:01 heh 19:53:22 I think the Functor laws are simply that it is an endofunctor from objects (x) to objects (f x) isn't it? While Arrow laws for arr are that it is a functor from (->) category to another category with the same objects isn't it? 19:54:22 That is why I think it should be generalized to any input category and separate arr from the other things in Arrow 19:56:43 oerjan: How do strict fields mess up the exact functor laws? 19:58:15 -!- DCliche has joined. 19:59:44 zzo38: say if you have data T a = T1 !a | T2 , then you cannot get fmap (const ()) . fmap undefined = fmap (const ()) because fmap undefined will wipe out the constructor 20:01:22 -!- Klisz has quit (Disconnected by services). 20:01:24 -!- DCliche has changed nick to Klisz. 20:01:33 But then, you are having fmap undefined anyways so it doesn't completely matter depending on opinion of such thing; the laws only have to work when defined, I think. 20:01:59 zzo38: for many types such as [] and Maybe, the laws work always 20:02:23 Yes 20:02:49 But still, that is simply that you use strict stuff, can cause lazy stuff to stop working 20:02:55 It is expected. 20:06:43 Feh, OS X's X11's fonts seem to have become screwy. 20:11:45 150 over less than 4... yeah, not happening today. 20:12:40 Hahahah a couple screaming, cursing and crying at each other in an airport. 20:12:52 Hil...arious? 20:12:58 I'm glad I so enjoy the suffering of others 8-D 20:20:05 no language for me 20:20:34 nooga: Itflabtijtslwi, hth 20:21:08 * oerjan le caqulesse evilment 20:35:55 -!- Sgeo_ has quit (Read error: Connection reset by peer). 20:36:07 -!- Sgeo has joined. 20:55:07 It's Alan Turing year 20:55:22 Let's create as many imaginitively Turing-Complete esolangs as we can! 20:57:01 isn't that what we always do? 20:57:13 Let's make even more! 20:58:44 have we had an imaginatively TC esolang for a while? 20:58:57 Possibly Brook? 20:59:02 pretty much every TC lang is TC for one of a few simple reasons 20:59:07 It's not been proven TC yet 20:59:10 Also, Geom? 20:59:17 hmm, remind me of how http://esolangs.org/wiki/Brook works again? 21:00:59 It's a simple queue based linear-bounded automaton except for the c and C commands 21:01:22 c pushes a char into the next stream, C pushes a number 21:01:44 As soon as a stream has enough characters to be executed unambiguously, it is 21:02:04 and the original keeps executing? or stops? 21:02:20 The original pauses until the one below it can't keep on going 21:02:28 ah, OK 21:02:45 so it's a bit like Muriel, but more awkward 21:02:49 It's got no explicit conditional or infinite loops 21:03:01 Yes 21:03:08 Or is implicit the word I want? 21:04:02 Point is, it's tricky to make it loop forever or on a condition 21:04:21 right, I see 21:04:42 so the problem is, that it has loops, but it's not obvious that it has conditionals 21:05:28 Conditionals are comparatively easy 21:05:34 It's infinites that aren't 21:06:10 Well, I say "easy" 21:06:45 It's impossible to give any information to a higher stream 21:07:04 Unless you give the user instructions to input any output 21:07:08 Which is cheating 21:08:09 To do a conditional, you just do C, followed by instructions to write the rest of the program 21:08:26 As 0(blah) doesn't run blah, but 1(blah) does 21:09:47 The article really needs a complete rewrite 21:10:33 Esolangs?? What is this witchcraft? 21:10:55 I had a really weird dream last night involving witchcraft 21:10:58 And US politics 21:11:04 `quote dream 21:11:06 Ngevd: well, the idea is you don't go to higher streams at all, surely? 21:11:08 190) catseye: Please wake up. Not recorded for this timezone. The big spider is not your dream \ 285) back to legal tender, that expression really makes me daydream. Like, there'd be black-market tender. Out-of-town hug shops where people exchange tenderness you've NEVER SEEN BEFORE. \ 297) Gregor, yeah, but Purdue has poultry science facilities beyond the dreams of avarice. 21:11:09 just do it Muriel-style 21:11:18 Hmm, yes 21:11:25 `quote singularitarians 21:11:27 786) I had a dream last night where I got hit by a van but the van had a brain uploader in it and I was uploaded and I angsted because I was stuck spending eternity with singularitarians? 21:11:36 `quote malaria 21:11:40 497) itidus20: i saw a dancing cgi skeleton named malaria. i danced and played with him. 21:11:56 `quote balloon 21:11:59 No output. 21:12:14 `quite 21:12:17 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: quite: not found 21:12:21 `quote 21:12:25 412) The eigenratio of reality has to be enormous, though. 21:12:32 `? Taneb 21:12:36 Taneb is not actually Ngevd, no matter what you may have heard. 21:12:41 `? Ngevd 21:12:45 B./mf\j.R.X-8.t.k`fc.:{bR;OF.b:n2bUa!c. 21:13:05 That garble is so reassuring 21:13:43 Weren't you there when that was defined? 21:13:48 Yes 21:13:48 `ls 21:13:52 Mineso \ bin \ canary \ karma \ lib \ main \ min.sh \ paste \ quotes \ share \ typetest.hs \ wisdom 21:13:58 `ls -l wisdom 21:14:02 ls: invalid option -- ' ' \ Try `ls --help' for more information. 21:14:11 -!- pikhq has joined. 21:14:18 * Phantom_Hoover frowns 21:14:56 `? nooga 21:15:02 `ls wisdom 21:15:05 ​? \ ais523 \ augur \ banach-tarski \ c \ cakeprophet \ category \ coppro \ egobot \ elliott \ esoteric \ everyone \ finland \ finns \ fizzie \ flower \ friendship \ functor \ fungot \ glogbot \ gregor \ hackego \ haskell \ ievan \ intercal \ itidus20 \ itidus21 \ kallisti \ lifthrasiir \ mad \ misspellings of croissant \ monad \ monads \ monoid \ monqy \ ngevd \ nooga \ oerjan \ oklopol \ phantom___hoover \ phantom__hoover 21:15:15 hm 21:15:30 no phantom hoover with one underscore? 21:15:36 `? phantom_hoover 21:15:39 Phantom_Hoover is a true Scotsman and hatheist. 21:15:50 nooga hate OS X. NOOGA SMASH. 21:15:55 oh, clearly it just ended after a while 21:16:23 `run ls wisdom | paste /dev/stdin 21:16:27 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.24186 21:16:30 (I know, I have no idea what I'm doing.) 21:16:35 `? haskell 21:16:39 Haskell is preferred by 9 out of 10 esoteric programmers. Ask your GP today! http://learnyouahaskell.com/ 21:16:44 `? oklopol 21:16:48 oklopol "so i hear these blogs are getting popular, people like writing about their lives and shit. on this thing called the internet which is like a neural network only really stupid." 21:16:48 That's inaccurate. 21:17:00 `? friendship 21:17:03 friendship wisdom 21:17:04 Oh, wait, do they call them GPs in the states? 21:17:11 `? u 21:17:13 u monad? 21:17:17 `? monad 21:17:20 `? monad 21:17:20 Monads are just monoids in the category of endofunctors. 21:17:24 Monads are just monoids in the category of endofunctors. 21:17:25 `? monoid 21:17:28 Monoids are just categories with a single object. 21:17:36 :D 21:17:37 `? misspellings of croissant 21:17:40 misspellings of crosant? ¯\(°_o)/¯ 21:17:58 `run cat wisdom/mis* 21:18:01 misspellings of crosant? ¯\(°_o)/¯ 21:18:19 `? quine 21:18:22 ​`? quine 21:18:32 `? zzo38 21:18:35 zzo38 is not actually the next version of fungot, much as it may seem. 21:18:49 `? banach-tarski 21:18:53 ​"Banach-Tarski" is an anagram of "Banach-Tarski Banach-Tarski". 21:18:57 :D 21:19:00 `? php 21:19:03 PHP is preferred by 9 out of 10 idiots. Ask your GP today! [Website redacted] 21:19:14 `? wiki 21:19:17 The wiki is at http://esolangs.org/wiki 21:19:24 `? you 21:19:27 you a haskell 21:19:32 `? HackEgo 21:19:33 `learn PHP is preferred by 9 out of 10 idiots, and past elliott. Ask your GP today! [Website redacted] 21:19:35 HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. 21:20:20 I knew that. 21:20:26 `cat wisdom/* | paste /dev/stdin 21:20:29 cat: wisdom/* | paste /dev/stdin: No such file or directory 21:20:34 `run cat wisdom/* | paste /dev/stdin 21:20:40 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.31214 \ /hackenv/bin/paste: line 14: 282 File size limit exceededcat "$PASTE" > $HACKENV/paste/paste."$PASTENUM" 21:21:06 Oh, of course, ngevd. 21:21:47 Have I caused bad things 21:21:59 `? Ngevd 21:22:02 ​Y.su).R.$f1&3W....!d[Q.$Q.$zKMP5'Ϫ#.e.3B>u.JS׽βMAlʰ&Hpaj0..Dz 21:22:33 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.11204 <- head -n 1 wisdom/* 21:23:41 Uh 21:23:45 Why is stuff crashing on me? 21:23:47 -!- Sgeo has quit (Remote host closed the connection). 21:23:57 ... 21:25:50 Ngevd, the paste failed because your wisdom entry is linked to /dev/null, and cat was trying to print all of it into paste, which was upset about it. 21:26:08 Blame Sgeo 21:26:14 `? Sgeo 21:26:17 Sgeo invented Metaplace sex. 21:26:47 uuuh 21:27:12 Ngevd, the paste failed because your wisdom entry is linked to /dev/null, and cat was trying to print all of it into paste, which was upset about it. 21:27:14 Phantom_Hoover: *urandom 21:27:22 Argh, yes. 21:27:38 -!- Sgeo has joined. 21:28:06 How hard would it be to make something like HackEgo, but DOS-based? 21:29:23 reasonably hard, I think 21:29:37 DOS is not all that good in terms of security features 21:31:43 easy 21:31:45 just run it in a VM 21:32:24 there are DOS VMs that run on DOS? 21:33:32 do they have to run on DOS? 21:33:44 it wouldn't be DOS-based if they didn't 21:33:47 but yes, I suspect so 21:34:04 ais523: how do you know HackEgo doesn't run on Windows? 21:34:33 elliott: I don't for certain, although it seems unlikely; but I wouldn't call it purely UNIX-based if it did 21:34:51 you inserted a word "purely" not in Ngevd's statement 21:35:17 elliott: I was disambiguating what I said; I interpreted Ngevd's statement with that possible meaning 21:37:07 fair enough 21:37:08 I doubt he meant that 21:37:54 I think elliott is thinking what I'm thinking 21:38:08 And now I've got the theme to Bananas in Pyjamas stuck in my head 21:38:35 sure Ngevd, but where are you going to find seven goats and a hippopotamus at this time of night? 21:39:15 hexham 21:39:29 how convenient. 21:39:33 oerjan, argh, what's that a reference to. 21:39:44 Pinky and the Brain 21:40:14 a very loose reference 21:40:57 Bananas, in Pyjamas, are coming down the stairs 21:41:06 Bananas, in Pyjamas, are coming down in pairs 21:41:17 Bananas, in Pyjamas, are chasing teddy bears 21:41:32 Because on Tuesdays the try to cath them unawares 21:41:38 s/the/they/ 21:42:05 But "cath" still? 21:42:19 s/cath/catch/ 21:42:20 it's a medical procedure 21:42:48 I think, in retrospect, it is obvious why I am so weird 21:43:16 Yes, it's the bananas. 21:44:20 Ngevd: You're not that weird. 21:44:40 elliott, I've heard stories about you 21:44:43 -!- DCliche has joined. 21:47:54 -!- Klisz has quit (Ping timeout: 252 seconds). 21:47:58 Ngevd: gah, I've heard that too 21:48:02 is it a nursery rhyme? 21:48:09 it sort-of sticks in the head because it's so stupid 21:48:12 It's the theme to a children's TV show 21:48:25 Bananas in Pyjamas 21:48:30 I used to love it when I was little 21:55:54 -!- augur has joined. 21:59:41 do you think that LOOSE is a good name for a military grade RTOS? 22:00:04 No 22:02:05 oh 22:02:20 Because it looks too much like LOSE 22:13:32 LooseThos, on the other hand... 22:18:43 lossy thossle 22:24:16 I made a TeX program for making binary specials in DVI files 22:25:02 http://sprunge.us/EVHW 22:28:44 -!- zzo38 has quit (Remote host closed the connection). 22:29:43 -!- myndzi has quit (Read error: Connection reset by peer). 22:29:59 -!- cswords has joined. 22:30:08 -!- cswords has quit (Read error: Connection reset by peer). 22:34:08 -!- myndzi has joined. 22:34:26 elliott, kallisti Phantom_Hoover update 22:34:37 And Ngevd 22:35:23 * Sgeo mentally notes to add Ngevd to the update list. 22:36:19 Could we define a hackego thing so we can just do `mspa and it will say "[names] update" 22:36:55 no 22:37:24 elliott hates automation of tasks 22:38:17 yes 22:38:22 also abbreviation 22:40:17 yes 22:52:57 -!- pikhq has quit (Ping timeout: 240 seconds). 22:53:06 -!- pikhq has joined. 23:07:52 -!- nooga has quit (Ping timeout: 252 seconds). 23:09:43 :t (<#>) 23:09:55 Not in scope: `<#>' 23:16:27 Ngevd, elliott Phantom_Hoover kallisti update 23:16:49 Thanks 23:27:27 yw 23:27:31 -!- oerjan has quit (Quit: Good night). 23:27:38 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.9472 <-- @ design document 23:33:31 -!- Ngevd has quit (Ping timeout: 255 seconds). 23:46:41 -!- sebbu2 has joined. 23:46:42 -!- sebbu2 has quit (Changing host). 23:46:42 -!- sebbu2 has joined. 23:48:32 -!- sebbu has quit (Ping timeout: 252 seconds). 23:52:40 -!- pikhq has quit (Ping timeout: 240 seconds). 23:52:52 -!- pikhq has joined. 23:58:10 -!- derdon has quit (Remote host closed the connection).