00:02:25 Is Chomsky the grammar guy? 00:02:37 Yes. 00:02:40 Yes he is. 00:03:06 -!- olsner has quit ("Leaving"). 00:09:31 I wonder. 00:09:37 Why in basic are the lines numbered 10-20... 00:09:37 Why not 01? 00:09:48 Can you have a line numbered 1.5? 00:10:03 Who knows! 00:10:05 Slereah7: So you can insert ones. 00:10:06 :-P 00:10:08 11,12,etc. 00:10:12 Without renumbering the whole problem 00:10:14 *program 00:10:38 * ihope is repelled 00:11:09 You are both expelled. 00:11:26 Gladly. :-) 00:11:44 I mean, why wouldn't one want to be expelled from a repellant? 00:11:59 By which I must mean repellent, as my spell checker says so. 00:18:03 -!- timotiis has quit (Read error: 110 (Connection timed out)). 00:18:21 Who is bored. 00:18:35 You should read Order of the Stick? 00:18:38 Your mom. 00:54:53 "Thanks funny site fuck me pumps hppy" 00:55:03 Does this really describe Chris Barker? 00:56:08 No. 00:56:11 ihope: Revert time. 00:56:22 What, now? 00:56:28 Yes. 00:56:30 Chris Barker article. 00:56:39 (Which I assure you doesn't mean what you interpreted it as.) 01:05:58 CkyokokokokO. 01:07:11 Stop speaking in oklo 01:07:34 Slereah7: Oko? 01:07:41 Okokokockyoko! 01:12:36 I need a translator. 01:12:37 oklopol! 01:12:54 It is impossible to translate true oklo texts. 01:12:56 Right, oklopol? 01:24:35 -!- Corun has quit ("This computer has gone to sleep"). 02:07:19 Right! 02:07:25 ihope: Delayed much? 02:07:29 Welcome back 02:07:41 Ckyolo. 02:08:01 * ihope pops into #implang 02:08:23 I don't remember any words. I need someone to remind me of them. :-P 02:08:34 Well, I guess I could just consult the logs. But how boring. 02:20:44 bye for today :) 02:20:51 -!- tusho has quit ("This computer has gone to sleep"). 02:21:01 Hmm, now I'll have to spout gibberish somewhere else. 02:48:21 -!- ihope has quit (Read error: 110 (Connection timed out)). 03:15:30 oklopol! 03:21:54 -!- cherez has joined. 03:26:48 -!- cherez has left (?). 04:19:27 hm 04:19:48 what are some good ways to verify TC-ness? 04:20:16 should i just try to implement a basic turing machine? 05:21:51 oklopol 05:22:02 ive got some more stuff for the language 05:28:58 -!- GreaseMonkey has joined. 05:50:35 It's usually easier to implement something which is itself equivalent to a Turing machine. 05:50:46 Such as Brainfuck, or lambda calculus (depending on the type of language) 05:52:32 | well im going to have lambdas, which i suppose means its TC? 05:53:24 hm. 05:57:12 -!- augur has changed nick to psygnisfive. 06:21:43 -!- GreaseMonkey has quit ("Saliendo"). 07:46:36 -!- bsmntbombdood has quit (Read error: 110 (Connection timed out)). 07:48:24 -!- bsmntbombdood has joined. 07:54:49 -!- olsner has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:23:39 -!- olsner has quit ("Leaving"). 08:47:23 -!- Judofyr has quit. 08:55:42 why the fuck would anyone wanna program in english? well, that kind of imperative verbose shit anyway, i guess it might be nice to be able to code like "make me an awesome 3d game" 09:14:06 tusho: why do non-internet-experienced people SOMETIMES ASK QUESTIONS IN ALL CAPS? <<< caps make more sense, i think they have the same dislike for characters with random sizes that i do 09:15:01 i wish small letters were the big ones, but small 09:17:29 tusho: What about an esolang designed for making electronic music? <<< been on it for some time 09:17:32 but i'm on so many thing i doubt i'll ever get down 09:18:35 okoing doesn't convey information, except the occasional "i don't really give a shit, hear me oko instead" 09:20:17 yay i like it when people shut up while i'm logreading 09:20:17 thank you 10:03:29 -!- RedDak has joined. 10:03:41 -!- Corun has joined. 10:05:06 -!- Corun has quit (Client Quit). 10:39:08 -!- psygnisfive has quit (Read error: 104 (Connection reset by peer)). 10:39:42 -!- augur has joined. 10:43:45 -!- Judofyr has joined. 10:59:09 -!- jix has joined. 11:07:22 -!- berni_e has joined. 11:07:41 -!- berni_e has left (?). 11:27:56 -!- UnrelatedToQaz has joined. 11:34:19 -!- UnrelatedToQaz has quit ("ChatZilla 0.9.82.1 [Firefox 3.0/2008052906]"). 11:58:59 -!- sebbu2 has changed nick to sebbu. 12:25:04 about the flow thingie, here's some of my python interps output and sample code http://www.vjn.fi/pb/p335414614.txt 12:25:19 must be parsed manually atm 12:57:37 -!- jix has quit ("CommandQ"). 13:06:21 -!- timotiis has joined. 13:09:35 -!- jix has joined. 13:30:35 -!- Deewiant has quit (Remote closed the connection). 13:36:02 ircbrowse says it's searchable, is it really? i can't search with it 13:40:14 00:55:01 slereah__: [08:49] Because Kronecker was a giant dick. 13:40:14 00:55:07 My mind read 'was' as 'had' 13:40:19 i read thata as "had" too 13:40:21 *that 13:40:39 Well, he was. 13:40:52 And Osama quoted Kronecker in the instruction manual of Plain English :o 13:40:55 COINCIDENCE? 13:41:21 I WANNA SEARCH THE FUCKING LOGS 13:41:31 #esoteric logs are the only thing i've ever had to search 13:41:31 oklopol : Use google. 13:41:39 how? 13:41:43 site:[site of the logs] keywords 13:41:54 yes, but how to search so that it actually works? 13:42:51 Slereah site:http://tunes.org/~nef/logs/esoteric/ 13:43:05 i mean 13:43:06 http://www.google.fi/search?hl=fi&q=http%3A%2F%2Ftunes.org%2F%7Enef%2Flogs%2Fesoteric&btnG=Google-haku&meta= 13:43:24 fuck. 13:43:25 i mean 13:43:26 http://www.google.fi/search?hl=fi&q=Slereah+site%3Ahttp%3A%2F%2Ftunes.org%2F%7Enef%2Flogs%2Fesoteric&btnG=Hae&meta= 13:43:35 http://www.google.fr/search?hl=fr&client=firefox-a&rls=org.mozilla%3Afr%3Aofficial&hs=AQk&q=site%3Ahttp%3A%2F%2Ftunes.org%2F%7Enef%2Flogs%2Fesoteric%2F&btnG=Rechercher&meta= 13:43:49 Yeah, it doesn't seem to go into thelog files 13:44:01 indeed it doesn't 13:44:12 asdadsasdasdasdasdasdsadasdsadasdsadsadsads 13:44:21 okay, i'll make the fucking python script 13:44:27 but i shall hate. 13:44:33 i shall hate big time. 13:59:48 the first years of esoteric logs are basically lament's join/quit messages :D 14:00:13 oh 14:00:25 these actually start @ 04 14:00:31 so they're prolly not the first years 14:03:50 -!- ihope has joined. 14:17:15 hmm... why the fuck am i loading years i wasn't on this channel during 14:20:46 -!- RedDak has quit (Read error: 104 (Connection reset by peer)). 14:25:32 How old is this channel? 14:26:57 very 14:27:35 i guess 03 14:27:50 Well, that's not that old. 14:28:11 i thought it was 99 or smth, don't know where i'd gotten that 14:32:06 02:22:19 hm, there doesn't seem to be a mandelbrot generator in brainfuck <<< 03.01.21 14:32:12 lament: is that ready yet? 14:32:27 Isn't there already one? 14:32:53 oh, sorry 14:32:55 wrong paste 14:33:05 02:22:22 i should fix that 14:33:11 http://esoteric.sange.fi/brainfuck/bf-source/prog/mandelbrot.b 14:34:26 Slereah7: made by lament? 14:34:36 Apparently not. 14:34:43 "Erik Bosman" 14:34:44 well, i guess lament's way is to make others do stuff 14:34:52 And IIRC, Lament has a terribly russian name. 14:34:58 like that 2,3 machine 14:36:16 lament, dbc and fizzie seem to be the only ones still active 14:36:20 "active" 14:36:24 on channel anyway 14:36:48 What do you mean by active 14:37:20 on channel 14:38:13 I don't remember the last time dbc or fizzie talked. 14:38:22 you're new 14:38:53 dbc is a bf wiz, fizzie is occasionally triggered by finland / finnish :P 14:38:57 Oh, you mean from the olden days? 14:39:11 Perkele! 14:39:14 they are on the channel, and they're not full idlers 14:39:19 Wait, that's not finnish enough. 14:39:26 so they are somewhat active 14:39:26 Pėrkėlė! 14:39:50 using characters finnish doesn't have *does* make it seem more finnish, yes 14:40:15 It's a strange strange world, oklopol 14:40:21 Especially when Finland is involved. 14:40:25 cool world 14:46:34 -!- Hiato has joined. 14:47:48 -!- ihope_ has joined. 14:48:04 Hello you two people 14:48:15 Ello. 14:48:21 I didn't know I was two people. 14:48:34 This probably has something to do with my IP address being 64.241.37.140, doesn't it? 14:48:40 yes 14:48:43 No. 14:48:46 Slereah7: stfu 14:48:51 Yes. 14:48:54 good 14:48:56 AM I DOIN IT RITE? 14:49:04 ihope: now try to figure it out 14:49:19 you might wanna start with factoring out the numbers 14:49:52 Slereah7: yeah, your latter answer was correct 14:49:53 Maybe the clue is in the XKCD number steps of its look-and-say sequence :o 14:50:15 Or something 14:50:32 -!- ihope has quit (Read error: 110 (Connection timed out)). 15:09:05 -!- tusho has joined. 15:09:29 Hi. 15:11:39 Hello my good man. 15:16:56 :P 15:21:08 -!- ihope_ has quit (Read error: 110 (Connection timed out)). 15:29:35 ValueError: unichr() arg not in range(0x10000) (narrow Python build) 15:29:37 Oh dang. 15:31:35 -!- ais523 has joined. 15:31:42 hi ais523 15:32:05 hi 15:37:15 okokokokokokokokokokokokokokokokokokokokokokokokokokokokokokoko 15:37:56 I think it's time to have oklopol commited 15:37:58 okkokokoko 15:38:00 oh no 15:38:02 i made a mistake 15:38:06 commited? 15:38:10 %okocheck 15:38:11 You know 15:38:15 In a nuthouse. 15:38:49 ah 16:01:24 -!- Sgeo has joined. 16:06:37 hhmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm 16:07:18 Stop it. You sound like a power line. 16:08:13 cool line 16:08:39 Like most awesome line, I stole it from Sam and Max. 16:08:56 SAM AND MAX YES. 16:09:49 south park is so awesome 16:10:15 i don't need friends anymore, i can just watch south park 16:10:17 -!- oklopol has left (?). 16:10:17 -!- oklopol has joined. 16:10:20 so 16:10:25 this /hop was like parting 16:10:30 because i don't need friends 16:10:39 but it wasn't a /part, because i didn't wanna miss anything 16:10:40 South Park is getting too much libertarian. 16:10:52 libertarian? 16:10:55 Fuck you Trey Parker, we get it you don't like taxes. 16:11:00 Libertarian. 16:11:19 Also known as "South Park republican" nowadays, FOR SOME REASON 16:12:07 all i care about is it surprises me, while making at least some sense 16:13:07 i don't know the reason 16:13:07 and i don't really care 16:14:09 You're a lucky man. 16:14:24 The ham-fisted political propaganda just make me so mad :o 16:19:42 -!- ais523 has quit ("rebooting, will be back soon"). 16:19:44 i haven't seen propaganda 16:20:13 but i've only seen the 12th season episodes about 2 times each 16:20:18 so i don't know those that well 16:20:32 You haven't been paying attention then! 16:20:46 Here's a hint : When they say "I've really learned something today!" 16:20:53 Because they're that subtle 16:21:18 those are the propaganda? 16:21:31 No. 16:21:42 the addition of "really" does it? 16:21:47 They're usually the summary of the episode's propaganda. 16:22:01 In case the viewers are too stupid 16:22:14 And after seeing the south park forum, I'm not sure what to think 16:22:41 the things i've learned something today contains are pretty middle in every way 16:22:57 and i've always assumed those are a joke 16:23:15 Well, it depends on episodes 16:23:24 oklopol: if it's south park presumably everything is a joke or near it 16:25:06 -!- ais523 has joined. 16:25:17 WB ais523 16:25:34 well, it worked, I think 16:25:38 although it didn't shut down properly 16:25:42 it got most of the way through shutdown, and then locked up with the caps lock and scroll lock lights flashing 16:25:50 and wouldn't respond to anything, not even magic SysRq 16:25:57 so I hard-rebooted and it seems fine now 16:26:10 haven't tried re-shutting-down, yet, though, I hope it works this time 16:26:47 ais523: you took only a segment of Augmatic Disport, so I'd say that's a pretty fast upgrade 16:27:04 speaking of which I should upgrade to leopard 16:27:04 well, it was only 85 packages 16:27:15 that had got their dependencies muddled 16:27:49 Slereah7: if those are propaganda, then trey parker could be teaching @ any kindergarten 16:28:01 but whatever, i 16:28:07 http://imgs.xkcd.com/comics/purity.png 16:28:16 'll continue to think "i've learned something today" is a joke 16:28:23 (I linked it that way so that ais523 would click it) 16:28:30 (But then you miss out on the alt text. Such is life!) 16:28:36 (ais523 has refused to be caught up in the xkcd trap before) 16:28:58 tusho: is it a good one? most of xkcd doesn't look all that good 16:29:08 some are very funny, but they tend to get linked everywhere anyway 16:29:17 so I come across them without the need to visit xkcd 16:29:21 ais523: I like most of xkcd, personally 16:29:27 but- a lot of them are crap until you read the title text 16:29:32 which is, well, the whole point 16:32:02 though I guess it's kind of love-hate (say, like dinosaur comics, but less dividing) 16:33:13 Good thing that XKCD has those awesome graphics when the joke isn't funny. 16:33:19 You can just sit back and admire. 16:33:24 Slereah7: Oh shush you. 16:33:43 xkcd usually makes bad jokes funny 16:33:58 (just like south park, btw :P) 16:34:10 http://images.encyclopediadramatica.com/images/2/28/Epic_thread12s.jpg 16:34:27 xkcd is divided pretty evenly between bad jokes made funny, good but incredibly geeky jokes, and multi-part comics that don't have punchlines but are still funny 16:34:36 so, uh, there's not that much more left :P 16:36:13 What about those horrible emo comics? 16:36:28 what emo comics? 16:36:35 LINK 16:36:40 I CAN'T REMEMBER ANYTHING 16:36:42 Slereah7: but they aren't emo! 16:36:43 they fall into the last category. 16:36:45 The ones about LOVE that don't include 3 lines of equations 16:37:16 Slereah7: I think this is a case of 'you didn't get it' 16:37:26 OR DID I? 16:37:43 unless you're making a joke yourself 16:37:45 which would be confusing 16:38:06 Recursive joke :o 16:38:18 that's awesome 16:38:28 I've had a conversation with 16 levels of sarcasm before 16:38:35 but I've never had infinite levels of anything 16:39:49 okay i admit this sp episode was propaganda :P "you can't change history", fuck you trey, we don't care about your sick beliefs! 16:40:04 Which one was that 16:40:06 oklopol: clearly he has never heard of the doctor 16:40:09 * tusho tuts 16:40:26 Slereah7: the red badge of redness 16:40:49 Season 1-3 aren't very much propaganda. 16:41:28 ais53 did you figure out what depth of brackets you need to write a brainfuck interpreter in brainfuck? I was guessing 2. 16:41:39 dbc: no, I didn't 16:41:39 ais523 (to cause a ping to happen) 16:41:43 heh 16:41:45 2 wouldn't surprise me 16:41:45 i was late! 16:41:52 I suspect it's 2, 3 or 4 16:41:58 Well, I would have said like 3 or 4... 16:42:00 But after 'dei'.. 16:42:02 i suspect 2 is tc. 16:42:06 hmm 16:42:06 I'll say 2. 16:42:07 right 16:42:18 I mean I didn't think dei would be TC. 16:42:20 not that different :P 16:42:20 But it is! 16:42:33 So matching thingies are overrated. 16:43:12 I have a match. 16:43:16 My butt and your butt. 16:43:40 * tusho forks conversation, tags as 'innuendo' and 'brainfuck' 16:43:49 (YES I CAN PRETEND I HAVE ACTUALLY IMPLEMENTED THINGS I THINK OF AIS523) 16:44:06 tusho: nah, you'd have to tag each individual comment 16:44:08 and stop shouting 16:44:28 ais523: it was said in a 'LA LA LA I CAN'T HEAR YOU' 16:44:30 and no 16:44:32 I wouldn't have to 16:44:46 since they don't need to be explicitly retagged 16:44:52 they can just flow into another tag 16:51:57 -!- Sgeo has quit (Remote closed the connection). 17:01:10 Hm 17:37:50 -!- Judofyr has quit (Remote closed the connection). 17:38:30 -!- Judofyr has joined. 17:42:34 http://www.w3.org/TR/2008/WD-html5-diff-20080610/ 17:42:34 Yay! 17:42:57 yay for what? HTML5? 17:43:28 Yes. 17:43:28 :P 17:44:51 -!- kar8nga has joined. 17:48:29 beh, I just lost the game 17:48:35 how? 17:49:41 ais523: http://forums.xkcd.com/viewtopic.php?f=2&t=22741 17:49:49 specifically, this edit: http://forums.xkcd.com/download/file.php?id=4491 17:50:46 that thread's sort of a MFD thread in reverse 17:50:52 quite 17:50:58 MFD is unfortunately back 17:51:07 Alex is some kind of delusional idiot 17:51:11 did he think we really liked it? 17:51:19 I don't think he thinks we do 17:52:22 but I think he still has a reason for putting it there 17:52:22 so what, he hates us with a passion? 17:52:22 possibly a non-obvious one 17:52:22 maybe he likes the user-created comics 17:52:23 ais523: maybe if you read every single one in a certain way 17:52:23 there's a stenographic encryption code 17:52:23 and Alex is in fact kidnapped 17:52:23 by the FBI 17:52:23 but if the encryption code to their doors lock systems are revealed 17:52:23 then the fake Alex would be killed by the fbi 17:52:23 so he has to encode them by modifying MFD comics subtly before he publishes them 17:52:27 or something 17:54:48 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 17:56:01 -!- oklopol has joined. 17:56:01 ais523: is that the sound of the fbi agents in here furiously tracking me down 17:56:01 no 17:56:01 they don't make a noise when you do that 17:56:01 s/you/they/ 17:56:01 that's the sound of all the journalists following them around 17:56:05 sometimes i hate being right 17:57:13 ais523: oh dear 17:57:20 why the oh dear? 17:57:23 "Interesting. I find MFD to be absolutely hysterical" -Alex 17:57:41 i always knew it was wrong for a msftie to run tdwtf 17:57:47 :-P 17:57:55 what, did you email him 17:58:07 or where did you get that comment of Alex's from? 17:58:12 ais523: the forum 17:58:19 which is, as oft pointed out, the real WTF 18:01:31 hmm 18:01:37 based on a post from that forum 18:01:40 I had a dinosaur-comicsy idea 18:01:48 you use the same art every day, but you improve it a little every day 18:01:57 i.e. start really rough 18:01:59 end up really polished 18:02:02 then, you draw a new scene 18:02:03 tusho : but what if you don't? 18:02:06 and start all over again 18:02:17 well 18:02:19 not every day 18:02:21 just every comic 18:04:50 ais523: oh lord 18:04:53 "While it may *seem* like copy-paste comicing, it's polymorphism. You see, the later (1.8) inherits from the former (1.3)." -- Alex 18:04:55 totally delusional 18:05:09 no, that's clearly a joke 18:05:14 yes 18:05:17 but it's also a bad one 18:05:21 and dodging the question 18:07:42 -!- RodgerTheGreat has quit. 18:08:45 ais523: "Also, you may have noticed that DoctorFriday was absent from the commentors. This was for good reason: Mark Bowytz is DoctorFriday. " 18:08:46 are DoctorFriday's posts as bad as his comics? 18:08:47 ohelo 18:08:53 lament: oleho 18:08:56 hi 18:09:01 wassabi 18:10:05 * Hiato wonders if the silence is a good time for another shameless plug 18:10:13 * Hiato reaches a resolution 18:10:18 ais523: what the hell, can you only reply with images to that MFD page? 18:10:19 apparently so 18:10:26 so people are taking screenshots of text editors 18:10:30 Hiato: yes, it is 18:10:59 http://img113.imageshack.us/img113/1583/psinbmpgm5.jpg HAHAHAHAHAHAHAHA 18:12:21 updated the language doccies so there is now an actual reference to check your grammar against and coherent rules, still on http://eyo.icr38.net/phorum 18:12:21 http://img131.imageshack.us/img131/1834/omgwtfbbqnx8.jpg oh jeez 18:12:21 Hiato: what language 18:12:21 my language 18:12:21 proglang or conlang 18:12:21 the spoken/written one :P 18:12:21 conlang 18:12:25 loglang- esque 20:21:34 -!- clog has joined. 20:21:34 -!- clog has joined. 20:24:13 -!- Slereah has joined. 20:24:13 -!- Slereah7 has quit (Read error: 104 (Connection reset by peer)). 20:26:23 -!- kar8nga has joined. 20:27:18 Earlier grouping symbols are after the year 1000, apparently 20:36:52 -!- Deewiant has joined. 20:46:22 -!- timotiis has joined. 20:49:18 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 20:55:08 -!- Slereah7 has joined. 20:57:34 -!- RedDak has joined. 20:58:48 -!- GregorR has quit ("Leaving"). 20:59:30 -!- mib_rlpqtbfw has joined. 21:00:27 has anyone used Refal? 21:00:55 What? 21:01:20 $ENTRY Go { = ;} 21:01:20 Hello { 21:01:20 = ; 21:01:20 } 21:01:35 I'm not using any language that has "prout" in its instruction set. 21:01:41 hahaha, ok 21:01:45 ("Prout" means "fart" in French) 21:01:49 ok 21:04:21 -!- augur has quit (heinlein.freenode.net irc.freenode.net). 21:04:21 -!- fizzie has quit (heinlein.freenode.net irc.freenode.net). 21:06:25 -!- mib_rlpqtbfw has quit ("http://www.mibbit.com ajax IRC Client"). 21:06:46 -!- fizzie has joined. 21:07:18 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 21:07:34 -!- oklopol has joined. 21:10:08 -!- augur has joined. 21:13:30 -!- Hiato1 has quit (Read error: 104 (Connection reset by peer)). 21:21:55 Slereah7: I think it means Print Out here 21:23:49 But it still means fart in French 21:23:52 So no dice. 21:51:03 netsplits are my enemy >| 22:09:08 -!- tusho has quit ("Leaving"). 22:12:45 -!- kar8nga has left (?). 22:17:18 -!- nice_ka has joined. 22:17:46 -!- nice_ka has left (?). 22:21:01 -!- jix has quit ("CommandQ"). 22:37:11 -!- Judofyr has quit. 22:37:33 -!- Judofyr has joined. 22:52:46 -!- Corun has joined. 22:53:24 augur: did you look at the interp? 22:53:56 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 22:54:01 -!- oklofok has joined. 22:55:20 augur: did you look at the interp? 22:55:21 if you have ideas for flow control, i'll gladly add 22:56:03 hey 22:56:11 yeah i looked at it and didnt understand. :) 22:56:33 koed is the code 22:56:38 it's a list of flows 22:56:47 [from, to, keep, guard] 22:56:51 where guard can be omitted 22:56:58 no no stop :P 22:57:48 -!- oklofok has quit (Read error: 104 (Connection reset by peer)). 22:58:10 -!- oklopol has joined. 23:00:32 -!- oklopol has quit (Connection reset by peer). 23:00:49 -!- oklopol has joined. 23:00:56 o.o 23:01:41 hey 23:01:50 last msg seen? 23:02:00 nothing after no no stop 23:02:13 wellnowwhat.net/transfers/reactance_ideas.rtf 23:03:09 nothing after no no stop? 23:03:34 nothing 23:03:55 nothing? 23:04:03 you've never seen a message sent by me? 23:04:04 Nothing! :o 23:04:08 NEVER 23:04:26 augur: no no stop :P 23:04:26 oklofok has left IRC (Read error: 104 (Connection reset by peer)) 23:04:27 oklopol has joined (n=nnscript@spark.turku.fi) 23:04:29 oklopol has left IRC (Connection reset by peer) 23:04:31 oklopol has joined (n=nnscript@spark.turku.fi) 23:04:33 augur: o.o 23:04:35 augur: hey 23:07:16 o.o 23:08:44 i'll check the logs i guess 23:08:56 you read the ideas? 23:09:24 yes 23:09:30 :) 23:09:42 as an esolang guy i find pure lambdas a bit impure 23:09:46 i added in some haskel-like functional stuff 23:09:50 i noticed 23:09:53 and complained! 23:09:57 pure lambdas a bit impure? 23:10:02 yes 23:10:10 ??? 23:10:59 i think the functions are actually relevant. firstly, the way they work is obviously just shorthand for some reaction form 23:11:05 so like i said, something like 23:11:07 foo x -> y 23:11:15 gets processed down into x*2 -> y 23:11:19 because foo v = v*v 23:11:57 the pattern matching is just an extension on decomposition 23:12:22 if 2,3 -> a,b is equivalent to 2 -> a, 3 -> b 23:12:39 then why cant [2,3] -> [x,y] be similar? 23:12:42 or even 23:12:47 [1,2] -> x:xs 23:12:47 ? 23:13:32 i just don't like the idea of non-flow definition of functions :D 23:13:43 well, they're just shorthands tho, remember 23:13:50 x*x isn't flow related 23:14:12 f x = x*x is just shorthand 23:14:36 plus, we need some primitive funtions for doing stuff like math, or delays 23:14:37 higher order reactions for functions: ([a] * 5 -> [r]) -> foo; foo 5 23:14:46 where [] is the port syntax 23:14:50 [i] for input 23:14:53 [o] for output 23:14:56 [a] for arguments 23:14:59 [r] for return 23:15:04 something like this i wouldn't mind 23:15:43 -!- ehird has joined. 23:15:58 that looks more like an actual function tho 23:16:07 -!- ehird has changed nick to tusho. 23:16:17 foo = [a] * 5 -> [r] 23:16:29 foo = lambda a. a*5 23:17:26 augur: more than what? 23:17:32 it's purely reactional 23:18:04 not really 23:18:27 because foo 5 isn't a reaction 23:18:33 to make it reactional you'd need something like 23:18:39 that's just syntax for executing the reactions inside f 23:18:42 5 -> foo.i 23:18:42 *foo 23:18:48 foo.r -> blah 23:19:03 it's a functional way to use that, yes 23:19:50 that is just a syntactical difference 23:20:05 my way lets you use foo as a function, but keeps it all nice and pure 23:20:15 come up with an evaluation trace for that method tho 23:20:28 i'd need to see it 23:20:29 what's hard about it? 23:20:33 hmm 23:20:36 because i dont see how it'd work. 23:21:13 umm, isn't it kinda trivial 23:21:18 you execute the reactions of foo 23:21:26 but [a] and [r] have a special meaning 23:21:42 they will be removed from the global reaction stack after foo 23:25:25 -!- olsner has joined. 23:26:29 http://uncyclopedia.org/wiki/Turing_Duck_Test 23:41:05 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 23:44:45 -!- oklopol has joined. 23:44:58 OKLOPOL HI 23:45:27 lo 23:49:22 oklopol: we should code a random implementation of something 23:49:25 without thinking about the language 23:49:38 and just see what happens 23:49:42 :OOOOOOOOOOOOOO 23:50:05 i'm thinking about making this collaborative text editor 23:50:12 oklopol: they already exist 23:50:13 real time 23:50:16 already done 23:50:18 many times 23:50:21 perfected, even 23:50:23 i don't see your point 23:50:47 oklopol: check pms 23:51:24 do eet 23:52:08 -!- Slereah has joined. 23:53:58 -!- RedDak has quit (Read error: 104 (Connection reset by peer)). 23:56:51 -!- timotiis has quit (Read error: 110 (Connection timed out)).