00:00:07 oh so guys 00:00:17 we need to make a language thats highly parallel in its primitives 00:00:30 where parallelization is trivial 00:00:33 everything is executed at the same time INFINITE TIMES 00:00:38 not in the haskell sort of fashion 00:00:52 haskell i dont like because its very recursive in its parallelism 00:00:55 same with erlang 00:00:56 ALSO ALL COMBINATIONS OF ALL OPERATIONS ARE EXECUTED IN PARALLEL GARAGHAHAHGRAREDS 00:01:01 ... 00:01:06 * tusho orgasms 00:01:10 O_O 00:01:19 i mean, look at the haskell map function: 00:01:42 map f [] = [] 00:01:42 map f x:xs = f x : map f xs 00:02:16 thats not really parallelizable! you've got all sorts of crazy recursions that need to be distributed, thats just crazy talk there 00:02:29 better: 00:02:32 map f [] = [] 00:02:33 psygnisfive: that map function... 00:02:35 now look at map in Ef: (f .l){\x:l => ?x = f x} 00:02:35 what is its type... 00:02:38 tell me... 00:02:42 oh god 00:02:43 it's 00:02:43 it's 00:02:47 map f [..x..] = [..f x..] 00:02:47 (a -> b) -> [a] -> [b] 00:02:49 * tusho orgasms 00:03:03 yes, that is correct tusho 00:03:14 oklopol: Ef? 00:03:23 ef is one of my awesomest languages 00:03:23 in erlang i think it'd be 00:03:27 map([]) = [] 00:03:30 er 00:03:36 map(f, []) = [] 00:04:03 map(f, [x|xs]) = f(x)|map(f,xs) 00:04:04 erlang is explicitly parallel psygnisfive 00:04:06 not automatically 00:04:09 its the same thing! 00:04:35 in erlang you just do it with existential quantification and you can parallelize it all mwahaha!!! 00:04:35 i just wanna experiment with a language that doesn't define things in such a way that parallelism has to be explicit 00:04:41 PARALLLLLLLEL 00:04:49 errr 00:04:52 not erlang :D 00:04:53 Ef 00:04:54 nor do collections have to be accessed by defining recursions 00:04:59 * oklopol slaps oklopol 00:05:07 * psygnisfive slaps oklopol 00:05:17 * psygnisfive slaps tusho 00:05:57 * tusho slaps tusho 00:06:06 i'm gonna do some sleeping now. 00:06:38 WHEN YOU FAIL IT'S TIME TO BAIL 00:07:00 yes, it fucking rhymes. 00:08:44 so, an episode of awesome south park, or sleep? 00:09:54 sleep 00:10:04 tusho: comments? 00:10:20 sleep 00:10:30 i need to ask the bot 00:11:06 02:10… +oklopol: %choice jax sleep 00:11:07 02:10… @trazer: jax 00:11:11 thought so 00:11:14 jax? 00:11:17 jax is finnish for episode ofc 00:11:35 sure its not finnish for masturbate on camera? 00:11:36 ...raped finnish 00:12:06 -!- olsner has quit ("sleep 21600 && wakeup"). 00:13:05 im pretty sure it means "masturbate on camera" 00:13:50 no what's runx 00:19:04 mah bumper sticker dont stick to mah bumper 00:19:06 D: 00:20:13 -!- Sgeo has joined. 00:37:04 -!- tusho has quit. 00:55:30 -!- calamari has joined. 01:36:19 -!- tritonio has joined. 01:36:35 -!- tritonio has quit (Client Quit). 01:36:41 -!- Tritonio_ has joined. 01:36:51 hello 01:37:36 calamari are you here? 01:44:40 hi Tritonio 01:51:59 hi. do you remember my table implementation? 02:30:47 -!- pikhq has joined. 03:05:52 -!- Tritonio_ has quit ("Leaving"). 04:45:46 -!- Sgeo has quit ("Ex-Chat"). 04:50:19 -!- RodgerTheGreat has joined. 04:57:02 -!- GreaseMonkey has joined. 05:01:27 -!- calamari has quit ("Leaving"). 05:03:19 -!- pikhq has quit ("leaving"). 06:13:22 -!- olsner has joined. 06:29:21 -!- Corun has joined. 06:50:09 -!- CakeProphet has quit (Remote closed the connection). 07:03:50 -!- lament has joined. 07:45:00 ok, laugh when I say shovel 07:45:07 ... 07:45:09 SHOVEL! 07:47:20 -!- olsner has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:03:58 -!- Corun has quit ("This computer has gone to sleep"). 08:36:01 you crazy lament 08:41:27 -!- AnMaster has joined. 08:42:01 -!- jemarch has joined. 08:42:46 hi 08:44:14 morning 09:00:01 morning! :D 09:01:15 -!- lament has quit. 09:35:22 -!- CakeProphet has joined. 10:34:48 -!- tusho has joined. 10:35:47 -!- GreaseMonkey has quit ("HydraIRC -> http://google.com <- Go find something better"). 11:08:59 -!- RedDak has joined. 11:09:04 -!- ihope_ has joined. 11:26:43 -!- ihope has quit (Read error: 110 (Connection timed out)). 12:28:11 -!- RedDak has quit (Remote closed the connection). 12:51:46 -!- RedDak has joined. 14:03:39 -!- pikhq has joined. 14:15:41 -!- Polar has quit (Remote closed the connection). 14:30:12 -!- RedDak has quit (Read error: 104 (Connection reset by peer)). 15:56:40 -!- MikeRiley has joined. 16:21:03 -!- MikeRiley has quit ("Leaving"). 16:29:22 -!- MikeRiley has joined. 16:50:31 -!- Corun has joined. 17:11:02 -!- Sgeo has joined. 17:15:55 -!- lament has joined. 17:27:13 -!- lilja has joined. 17:28:33 -!- lament has quit. 17:30:34 -!- psygnisfive has quit (Read error: 104 (Connection reset by peer)). 17:30:48 -!- psygnisfive has joined. 17:46:57 -!- AnMaster has quit ("thunderstorm"). 17:52:16 -!- atrapado has joined. 17:52:46 -!- jemarch has quit ("ERC Version 5.0 (CVS) $Revision: 1.1.1.1 $ (IRC client for Emacs)"). 18:03:55 -!- ais523 has joined. 18:04:23 hi tusho 18:04:27 ... 18:04:28 * tusho kills himself 18:04:38 bye tusho 18:04:49 hah 18:06:16 :D 18:06:32 urgh 18:06:36 I hate having to write addons for php software 18:06:41 foo(bar)[N] is invalid in php 18:06:43 you have to do 18:06:45 $junk = foo(bar); 18:06:46 $foo[N[ 18:06:48 *[N] 18:06:48 why do you have to write an addon for php software? 18:06:59 yeah that's quite stupid 18:07:00 ais523: So that the PHP software gains the features I want? :P 18:07:14 at least this app is well-written as php stuff goes 18:07:33 a fairly arbitrary restriction considering you can make any kinds of long expressions usually, but have to do that with a temp var 18:08:04 probably it can't figure out the data type of foo(bar) until it's called, so can't tell whether it can be subscripted 18:08:27 ais523: um no 18:08:29 you can do 18:08:31 $a=2; 18:08:32 $a[0] 18:08:33 ais523: that sounds unlikely 18:08:41 ais523: it's actually the syntax 18:08:46 it's defined as var '[' expr ']' 18:09:01 it's just because the php devs don't know shit about programming :) 18:09:09 oh, ok 18:09:21 well, INTERCAL has something similar 18:09:29 but that's not a problem because no expression returns an array value 18:09:33 they're second-class in INTERCAL 18:10:00 yeah but this is something php definitely should allow as it everything is first-class 18:10:06 *as everything 18:24:34 -!- olsner has joined. 18:32:13 -!- ihope_ has changed nick to ihope. 18:35:35 -!- oklopol has quit (Client Quit). 19:05:25 -!- ais523 has quit ("(1) DO COME FROM ".2~.2"~#1 WHILE :1 <- "'?.1$.2'~'"':1/.1$.2'~#0"$#65535'"$"'"'&.1$.2'~'#0$#65535'"$#0'~#32767$#1""). 19:05:27 -!- Hiato has joined. 19:08:57 -!- Corun has quit ("This computer has gone to sleep"). 19:22:09 -!- ais523 has joined. 19:23:52 -!- oklopol has joined. 19:41:57 -!- sebbu has quit (Read error: 60 (Operation timed out)). 19:45:07 -!- sebbu has joined. 19:54:41 -!- AnMaster has joined. 20:05:42 :O 20:07:47 hi AnMaster 20:10:30 hi ais523 20:10:37 ais523, any cool new stuff? 20:10:46 not really 20:10:54 likely there will be sometime 20:10:56 just not right now 20:11:08 I've spent a day or so reading the source code to Nethack 20:15:38 what do you all think of this domain pun: 20:16:10 desrever.su (backwards: 'us.reversed') 20:16:31 clever 20:16:33 what's .su? 20:16:40 ais523: soviet union 20:16:42 you can still register it... 20:16:52 600 rub/year, so £12/year 20:17:04 * tusho is certainly considering it for the thing he's setting up 20:17:37 i mean, as well as the clever domain pun 20:17:37 Or about $1,000/year? :p 20:17:44 i can say that I own a domain from the soviet union 20:17:53 which is pretty cool right :P 20:17:56 pikhq: *g* 20:18:13 Of course, if anyone else provides a better pun I might go for it. 20:18:19 but desrever.su is also quite nice to _type_ 20:18:28 oh. 20:18:28 'Attention! To execute orders for registration of second level domain names in RU and SU domains, written contract must be signed. ' 20:19:03 * tusho kills himself 20:19:09 (second time today) 20:19:44 in soviet russia, domain name request executes YOU!" 20:19:51 hah 20:20:00 ais523: do you think the domain pun is worth a signed bloody contract 20:20:03 i'm not so sure 20:20:06 no, it isn't 20:20:10 £12/year, sure. written contract? no. 20:20:14 what pun are you going for now? 20:20:23 psygnisfive: that's where YOU come into play!!!!!!111 20:20:26 where YOU = #esoteric 20:20:44 so its not a specific pun? 20:20:49 you just want _a_ pun? 20:20:55 yeah. 20:21:02 involving 'us' or 'ourselves' would be nice 20:21:13 ourselv.es? 20:21:16 taken 20:21:36 ours.elv.es 20:21:42 you can oh 20:21:43 damn 20:21:52 elv.es is taken too 20:21:55 fuckers! 20:22:04 pretty picture tho 20:23:25 esot.er/ic 20:23:27 :D 20:23:53 heh 20:24:20 httpcolonslashslashhttpcolonslashslashhttpcolonslashslashdotdotdotdotcom.com 20:24:38 although maybe the first dotdotdot should be ellipsis 20:24:49 change the "com" to taste 20:24:50 http://httpcolonslashslashslashdotdotorg.org 20:24:58 is that one real? 20:25:02 no 20:25:03 it should be 20:25:04 should be though 20:25:06 heh 20:27:05 forwardslash not slash 20:27:17 psygnisfive: the BBC says slash 20:27:17 no, should be slash because that's what Slashdot uses 20:27:24 so thar 20:27:51 bbc and slashdot are wrong :( 20:28:05 \ and / are both slashes 20:28:13 http:\\slashdot.org 20:28:15 doesnt work! :( 20:29:31 hm interesting 20:29:55 in the middle ages, / was like , and // was like - 20:30:14 you ever wonder what orthography will be like in the distant future? 20:31:48 so 20:31:50 domain puns 20:31:54 psygnisfive: http://en.wikipedia.org/wiki/Slash_(punctuation) 20:32:25 a slash, by itself, refers specifically to / 20:32:49 calling it a forward slash is redundant 20:33:20 shut up dewiant 20:33:44 'SHUT UP YOU AND YOUR TRUTH' 20:34:44 EXACTLY 20:34:51 REALITY IS WRONG. 20:35:17 lmfao 20:35:23 http://en.wikipedia.org/wiki/Space_%28punctuation%29 20:35:32 theres a big blank space displaying... a space character 20:35:47 depends on your font :-P 20:36:09 what? 20:36:23 well, if your font displays the space character as a smiley face 20:36:27 you'd see a smiley face 20:36:40 oh, well yes, if you're using a retarded font then you're correct ofcourse 20:37:36 * MikeRiley returns 20:37:41 wb 20:37:45 thanks!! 20:37:59 damn you mikeriley!!! 20:38:05 ???? 20:38:17 psygnisfive: ? 20:38:28 are you trolling or trying to make a joke, or something? 20:39:00 psygnisfive: when you say -, do you mean dash? 20:41:01 yes, - is a dash 20:41:15 or is it a hyphen 20:42:44 yes, thats a hyphen 20:42:59 or is it a minus sign 20:43:05 no its a hypen 20:43:05 or what kind of dash 20:43:08 a minus is – 20:43:25 oh, no, 20:43:28 – is a figure dash 20:43:34 - – — ― − 20:43:36 - 20:43:39 thats a minus 20:43:42 ― 20:43:47 − is a minus 20:44:01 U+2212 20:44:05 oh yes, there we go 20:44:12 why wasnt that next to + 20:44:13 thats weird 20:44:23 + is ASCII 20:44:33 no id ont mean like that 20:44:37 but - is a "hyphen-minus" 20:44:48 my character palette displays the hyphen-minus next to + 20:45:00 and then displays − next to ∓ 20:45:24 yes, because it displays it in numerical order by codepoint, probably 20:45:38 no, i was looking at it by character type and junk 20:45:54 maybe it sorts like that anyway, though 20:45:56 tho maybe within that its humerical, you could be right 20:46:06 double hyphens! = ＝ 20:46:14 ゠⸗ 20:46:30 no it doesnt 20:46:39 ÷± 20:46:44 thats the order of those two characters 20:46:59 00F7 and 00B1 20:47:04 ー 20:47:21 ⨌ 20:47:25 a∕b 20:47:45 :) 20:47:50 \ 20:48:00 is set minus used? 20:48:26 − again 20:48:57 or \ 20:49:37 my semantics prof used a minus sign for set minus 20:49:42 A-B instead of A\B 20:49:48 yep 20:50:00 as I said, those are the two that are generally used 20:50:41 ah ha, I knew there was a code point for it 20:50:42 ∖ 21:01:07 -!- pikhq has left (?). 21:06:27 gah 21:06:33 velociraptu.re is not taken 21:06:38 but you have to be in reunion something 21:07:35 veloci-rapture? lol 21:23:50 Deewiant, http://www.dsource.org/projects/llvmdc/ 21:23:57 Deewiant, does that work with ccbi? 21:32:52 bah 21:32:54 .st costs a lot 21:32:56 27 poudns a year 21:33:02 otherwise I'd get bolog.ist (inside joke) 21:33:20 -!- Hiato has quit (Read error: 104 (Connection reset by peer)). 21:36:49 ah, the wonders of spam: http://spamusement.com/forums/viewtopic.php?t=8621 21:37:00 specifically, the subject lines 21:37:36 -!- timotiis has joined. 21:41:47 bologist? 21:41:57 psygnisfive: inside joke. 21:42:06 you're someone who reads/edits Bolog? 21:42:11 no. 21:42:16 it's from biologist, obviously 21:42:31 oh, thats a dZ not a g 21:43:28 -!- MikeRiley has quit ("Leaving"). 21:49:50 -!- atrapado has quit ("Abandonando"). 21:52:28 -!- ihope has changed nick to comexicomex. 21:52:52 -!- comexicomex has changed nick to ihope. 21:58:46 -!- RedDak has joined. 21:59:13 night btw 21:59:27 night 22:04:24 -!- pikhq has joined. 22:05:37 * ais523 just had a strange moment: I was looking up how to build mingw programs on cygwin 22:05:45 and found it on delorie.com, of all places 22:05:49 that's the website of DJGPP... 22:06:35 weird 22:06:49 but not totally random 22:07:04 no, not totally 22:07:34 I was just amused at the profusion of compilers that compiled UNIXy stuff for windows, on one webpage 22:07:37 or at the involvement of such 22:10:45 anyway, it took about 24 hours to make, but I finally have Cygwin on my USB stick 22:10:48 working pretty well 22:10:55 and working on more than one compuer 22:11:17 the long time period was because I installed directly onto the USB stick for disk space reasons 22:11:54 you lack the disk space to install cygwin? 22:12:11 the Windows computer I have doesn't have much disk space left 22:12:26 also, having it on a USB stick means I can use it on multiple computers 22:12:40 although I haven't yet figured out what to do about /etc/passwd 22:12:50 but an install to disk then copy to USB would have been faster presumably 22:13:01 yes, it would have been 22:13:08 I didn't mind running cygwin setup overnight, though 22:16:00 unless it goes: 10% complete. I must now ask you a pointless question I have just worked out the answer to myself. 22:16:28 no, there were no pointless questions 22:16:34 not during the install, anyway 22:16:44 a couple beforehand but it guessed wrong so I'm glad it asked 22:17:26 ISTR exim does that 22:25:04 who wants a cleveland steamer? 22:25:13 olsner: ? 22:25:20 just asking... 22:27:07 please, this is a PG-13 channel 22:27:44 Lies. 22:27:50 * pikhq walks around the room naked 22:28:19 uh oh 22:28:57 it's not a pg-13 channel SimonRC 22:29:03 it should me 22:29:05 s/me/be/ 22:29:07 hasn't been since oklopol and bsmnt arrived 22:29:11 which was ages ago. 22:29:38 heh 22:29:42 well, it still is as long as the guilty parties (which has expanded to more now) aren't talking 22:30:13 ah, but IRC speech acts are of 0 duration, so almost all the time it is so 22:32:43 ais523: who cares though, honestly 22:32:56 the only people under 13 who visit here (3 of them) aren't exactly innocent little things 22:33:13 I care because I visit this channel to talk about esolangs 22:33:23 and other similar stupid things to do on computers 22:33:24 ais523: and we do. 22:33:26 but when there's nothing to talk about 22:33:29 we talk about random crap 22:34:01 I was joking goshdarnit; the joke was that I was taking "cleveland steamer" as sexual innuendo. 22:34:07 tusho: indeed 22:34:52 SimonRC: it's not you I was complaining at, nor olsner 22:35:16 it's oklopol and psygnisfive, yes, we know 22:35:19 but who cares? 22:35:24 it only goes on when there's no reasonable discussion. 22:35:33 and it's amusing, to some of us at least 22:35:39 what? 22:35:41 what'd i do? 22:35:52 psygnisfive: ais523 is complaining that the channel isn't pg13 22:36:13 oh yes 22:36:37 so i was assraping a goat earlier and.. 22:36:48 oh you wacky psygnisfive 22:36:51 :D 22:39:21 * tusho awaits domain propogation 22:41:19 -!- AnMaster has quit (Connection timed out). 22:42:21 which domain did you get. tusho? 22:42:37 it's sekrit! and also an injoke. 22:42:39 also, ais, i recently downloaded 29 books on theory of computation, do you want? 22:42:54 did you get bologi.st?? 22:43:00 no 22:43:03 tusho: which domain did you register? 22:43:05 .st costs £27/year 22:43:05 :( 22:43:08 oh right 22:43:22 ais523: it's sekrit! also an injoke. but rutian's apache config files have it obviously. 22:43:28 being an injoke you're unlikely to get it. 22:43:34 ok, I'll look 22:43:35 also don't give anyone the url. it's sekrit. 22:43:54 sekr.it? 22:43:58 :O 22:43:58 no. 22:44:01 damn 22:44:21 tus.ho! 22:44:50 no. 22:45:10 >.< 22:45:23 what do you mean no.? 22:45:30 i didn't get tus.ho 22:46:04 has ais blocked me or something? 22:46:07 oh, ok, I was only seeing one side of the conversatoin 22:46:10 yes, I had you on ignore 22:46:12 at the time 22:46:13 oh thats lame :P 22:46:14 ... why? 22:46:27 when people start talking about that sort of thing I just put them on /ignore for a while usually 22:46:34 so it doesn't disturb me while I'm doing other things 22:46:36 psygnisfive: also, ais, i recently downloaded 29 books on theory of computation, do you want? 22:46:37 what 22:46:38 raping goats? 22:46:40 about what sort of thing? 22:46:49 well, anything that's widely offtopic and I'm not interested in 22:46:51 ais523: why not just not look at irc? 22:47:05 lol. ais, you have no sense of humor 22:47:08 SimonRC: I have notifications pop up on top of everything when something comes through on IRC 22:47:09 normally it's usual 22:47:15 ok 22:47:35 psygnisfive: no, I just have a different sense of humour from you, I don't mind you showing yours to other people in the channel, so I just filter it out my end 22:47:41 that way everyone's happy except when the subject changes 22:48:05 also, ais, i recently downloaded 29 books on theory of computation, do you want? 22:48:12 I saw that 22:48:16 but not particularly 22:48:19 ok. 22:48:23 psygnisfive: legality? 22:48:32 definitely not if it was illegal, as I'm deliberately keeping this computer copyright-clean 22:48:34 probably completely illegal 22:48:45 and also I don't like breaking the law in general anyway 22:48:50 STUPID DOMAIN PROPAGATION 22:48:58 -!- Sgeo has quit (Connection timed out). 22:49:07 ais523: indeed, you should see me at traffic lights 22:49:07 * tusho adds to /etc/hosts for now 22:49:10 tusho: anyway I couldn't figure out what domain it was even after looking at the conffiles 22:49:26 tusho: propagation takes hours, you know 22:49:31 SimonRC: I know. 22:49:37 But eso-std.org propagated in like 22:49:38 5 minutes 22:49:42 luck? 22:49:45 yes. 22:49:47 I want luck 22:49:59 try throwing gems at unicorns 22:50:00 with any decent client you could just filter by message.split(' ') intersection badwordlist == [] 22:50:23 lol oklopol :D 22:50:28 also i'm rarely all that foulmouthed unless provoked 22:50:49 ill have to use good words in highly euphemistic ways :D 22:51:19 SimonRC: doesn't it depend on what colour of unicorn 22:51:24 and how genuine the gem is? 22:51:32 if not, you could just throw the gems at an off-aligned unicorn 22:51:37 then kill it and sacrifice it for the alignment 22:51:42 ais523: oh, yeah 23:06:57 -!- sebbu2 has joined. 23:10:10 -!- ais523 has quit ("(1) DO COME FROM ".2~.2"~#1 WHILE :1 <- "'?.1$.2'~'"':1/.1$.2'~#0"$#65535'"$"'"'&.1$.2'~'#0$#65535'"$#0'~#32767$#1""). 23:20:09 -!- sebbu has quit (No route to host). 23:31:18 BAHAHAHA 23:31:45 Gwen: Have you ever eaten alien meat? 23:31:45 Jack: Yes. 23:31:46 Gwen: What was it like? 23:31:48 Jack: Well, he' seemed to enjoy it. ;D 23:36:21 *groan* 23:45:00