00:21:36 night 00:42:26 -!- atrapado has quit (Excess Flood). 00:42:53 -!- atrapado has joined. 01:02:00 -!- atrapado has quit ("Abandonando"). 01:12:05 -!- tusho has quit. 01:38:24 -!- olsner has quit ("Leaving"). 02:37:55 -!- ihope_ has joined. 02:43:18 -!- calamari has joined. 02:55:24 -!- ihope has quit (Read error: 110 (Connection timed out)). 02:55:27 -!- Corun has quit (Read error: 110 (Connection timed out)). 03:10:16 -!- ihope_ has quit (Connection timed out). 03:37:04 -!- oc2k1 has joined. 03:45:45 Update on the BF computer idea: It looks like a (synchronous) up/down counter needs the same number of gatter like a adding unit 03:46:41 in that case it would be thinkable to wire a nibble fromt the code tape to that unit 03:48:12 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | Not bad.. 03:49:00 the next step would be to replace the condition == or != 0 by <0 (save the comparision unit, because only the MSB contain that state) 03:55:06 Maybe it's not the idea to minimize the functionality, but the hardware 03:55:13 -!- CO2Games has left (?). 04:14:47 -!- calamari has quit ("Leaving"). 05:10:11 -!- GreaseMonkey has joined. 05:57:37 -!- oc2k1 has quit (Remote closed the connection). 06:18:20 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 07:57:34 -!- Traveler03 has joined. 07:57:51 -!- Traveler03 has left (?). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:13:08 -!- kar8nga has joined. 08:55:04 -!- oklopol has joined. 08:55:32 -!- kar8nga has left (?). 09:13:34 -!- oklofok has quit (Read error: 110 (Connection timed out)). 09:15:12 hi 09:48:13 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | C guarantees 32 KB of auto storage, I wonder what it guarantees on nested function calls.. 09:48:18 optbot ? 09:48:18 Mony: I know that bf is turing complete but I needed to prove that it was possible to do 09:57:00 I wonder where that 32k number comes from; can't seem to find it in C99, the closest thing is "65535 bytes in an object (in a hosted environment only)" in the limits section. 09:57:13 optbot: Do you know where it came from? 09:57:14 fizzie: +-? 09:57:21 optbot: What? 09:57:22 fizzie: And I thought C++ was bad 10:04:34 optbot: I'm not seeing any guarantees about storage in the C++ standard either, although I might have missed something, it's so long. 10:04:34 fizzie: i tend to 10:14:07 fizzie, url to fungot again please? 10:14:08 AnMaster: very good chance. i called it a gallery 10:14:54 -!- Keymaker has joined. 10:15:48 ah found it 10:16:30 I just updated it, so you might want to refetch. 10:16:49 Or hmm, did I? Not sure. 10:17:01 I was almost certain I had gotten rid of the NULL usage, but apparently not. 10:17:16 i mainly stopped to advertise a new language i added to esowiki; figurehead: http://www.esolangs.org/wiki/Figurehead 10:17:20 Maybe I just thought about it. 10:17:25 just in case nobody visits that wiki 10:19:25 Only sequences of two or more of the same character are count, that is, only they cause computation to happen. <<< i think it's "counted" 10:19:49 It could also be "count" without the "are". 10:20:20 Loops may be nested, and a same loop sequence used later. <<< i can't parse this at all 10:20:42 count without are is better 10:20:57 i'm only correcting up to grammar 10:21:08 s/a/the/ maybe, but what else is wrong with the loop thing? 10:21:39 like that if there is loop sequence "aaa" (not sure if spaces show up here) can be used again after it's used, like aaaBBBaaaBaaaBBaaa 10:21:57 not very clear :D B marks | in that 10:22:24 That's how I parsed it. 10:22:34 yes, but i was talking to oklopol 10:23:00 so at least i wasn't completely unclear, then, maybe :) 10:23:52 s/a/the/ fixes it, yes, i'm being a bit pedantic atm, not even trying to fix the error myself 10:24:40 that's a somewhat interesting language, the memory is actually a set? 10:24:57 or, well, you could have a register for each ||...|, and just inc/dec it 10:25:18 mentioned there as well 10:25:21 oh minsky machine 10:25:24 :) 10:25:58 but i don't know what the memory is, technically. new values go to end and also when loop begins it takes value from end, but values are removed beginning from left/start 10:26:01 -!- SirDayBat has quit (Read error: 104 (Connection reset by peer)). 10:27:03 well, it doesn't really make much difference where the values are removed 10:27:41 what i'd suggest is a way to run multiple threads, and do multiset operations on the threads when they stop executing 10:27:42 it makes to keep it deterministic. if they were removed randomly, which i first did, the loop instruction might work differently 10:28:24 it might? 10:28:40 oh 10:28:47 rightmost value is popped 10:28:49 i see i see 10:28:52 imagine stack 2 3 2 and then you remove 2 randomly :) 10:28:53 yea 10:29:13 so basically what was last incremented 10:29:34 you could have it be a stack, and have that as like a separate rule... except it wouldn't work for nested rules 10:29:48 so okay, it can be a stack, i won't complain. 10:31:53 can you try the interpreter to see if it works? 10:32:06 on other system than mine... 10:32:39 Keymaker, interesting language 10:32:46 thanks! 10:48:27 well, hopefully someone will try the interpreter and minsky machine translator and find some "use" for this language. i must get going 10:48:45 -!- Keymaker has quit. 11:01:51 -!- GreaseMonkey has quit ("So, how much do you love noodles?"). 11:36:02 -!- oerjan has joined. 12:26:01 -!- oklofok has joined. 12:26:01 -!- oklopol has quit (Read error: 54 (Connection reset by peer)). 12:26:11 okokokokokokokokokokokokokokokokokokoko 12:26:58 Stop it. You sound like a parrot. 12:27:03 okokokokokokokokokokokokokokokokokoko 12:46:52 ^oko 12:46:52 okokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokoko ... 12:47:06 There's a complex task, automated. 12:47:51 ^huh 12:49:01 ^show oko 12:49:02 +10[>+11<-]>+[.-4.+4] 12:51:12 you have two digit numbers but not three? :D 12:51:12 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 12:51:16 -!- Slereah has joined. 12:51:49 it's not polite to mock, oerjan 12:52:06 fizzie can't help it if he's an incredible moron 12:52:14 whew 12:52:26 i thought you were being serious there for a moment 12:52:32 :D 12:52:39 Where would a three-digit number go there? 12:52:40 yeah, right 12:52:45 http://membres.lycos.fr/bewulf/Russell/Aaaaaaah.jpg 12:52:46 I think Spiderman just shat on my graph. 12:52:47 Oh, right. 12:53:01 -!- olsner has joined. 12:53:29 It only eats plain old brainfuck as input, so there are no numbers at all. 12:53:40 I have no idea what just happened. 12:53:40 They're supposed to be orbits. 12:54:07 ah so it is compressed after the fact 12:54:32 +10 = ++++++++++ 12:54:35 Yes, it is turned into a bytecode form, and the "show" command just sticks numbers there instead of repeating the characters. 12:54:35 `? 12:54:42 Slereah: i think you generated a black hole somewhere 12:54:43 ^def test bf ++++++++++ 12:54:43 Defined. 12:54:45 ^show test 12:54:45 +10 12:54:54 ohh 12:55:08 now i get it too! :P 12:55:44 There should also be some clear correlation in http://www.cis.hut.fi/htkallas/a_mess.png but it's not happening. 12:55:52 If we're comparing graphs here. 12:57:27 at least Slereah's is a bit pretty 12:57:28 Ah shit 12:57:33 I think I know what happened. 12:57:38 Cumulative error. 12:57:57 yeah you've got a cumulus at the center 12:58:07 If I reduce the plotting range, I get clearer figures 12:58:25 But they're full of angles, for some reason 12:58:35 Though they're supposed to be ellipses 12:58:39 It's full of stars. 12:58:59 fizzie: no that's yours 12:59:36 Slereah: a bit large delta somewhere? 13:00:09 It's hard to say 13:00:13 Part of the code was stolen 13:00:17 Recycled, I mean. 13:00:26 From there : http://demonstrations.wolfram.com/TheCelestialTwoBodyProblem/ 13:00:26 ah some DRM thing 13:00:32 * oerjan ducks 13:00:49 Heh. 13:00:57 I can see the deferent circles now :D 13:01:05 Let's reduce the range once more, see what happens! 13:01:25 oh you mean the time range? 13:02:28 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 13:02:37 -!- Slereah has joined. 13:02:46 Reduced a bit too much, eh? 13:03:02 yeah if it gets around the orbit in less time than your resolution and just uses lines between neighbors.. 13:04:33 Heh, my public_html directory at work is pretty much just a list of graphs that have made me go "huh?". Like in http://www.cis.hut.fi/htkallas/comp.png where methods 1 and 2 were supposed to give pretty much identical results. 13:05:13 need more context 13:05:33 I would provide some if I remembered it. 13:05:42 looks more like inverses... 13:05:50 just make something up 13:06:04 I think it's the output of abs(fft(x)), though, since the X range seems to be 1:129. 13:06:46 oklofok: it's based on tracing honey bees with infrared lasers 13:07:08 or with ultraviolet ones 13:07:16 ah right 13:07:20 the difference is because bees can see UV 13:07:21 Thanks, that was better than what I would have come up with. 13:07:30 yes, a rookie mistake 13:08:40 plus that the bees explode if the IR is turned to high 13:08:50 *too 13:09:18 heh, i kinda lolled @ reading lazy executiong as "crazy execution" 13:09:22 wonder what that is 13:09:27 *execution 13:10:18 being beaten to death with soft white bread 13:10:30 it's fun the first couple hours 13:10:42 :D 13:10:47 the bread must be changed regularly when going stale 13:10:53 of course 13:11:09 and this actually is not my invention 13:11:24 i think i've heard it before, i mean the soft white bread part 13:11:39 if it's actually called "crazy execution", then i didn't know that 13:11:49 ah no 13:11:57 it was just an example 13:12:55 there _has_ to be a monty python example. or several. 13:12:58 perhaps crazy execution could refer to opening both threads at every branch, and only using the result of the actual branch after both are done 13:13:50 purely crazy languages cannot be tc, obviously 13:14:23 sure they can 13:14:29 can they? 13:14:32 humm humm 13:14:34 just not in practice 13:15:06 languages that take longer to run than the lifetime of the universe come to mind 13:15:19 if we have a jump backwards 13:15:28 then execution will always take infinite time 13:16:03 hmm 13:16:18 i guess you could have instruction that change the code 13:16:23 and don't have conditions 13:16:38 *instructions 13:17:15 * oerjan changes his mind after reading properly 13:18:05 yeah if it doesn't matter that not all threads are done, it's basically just a... crazy way to do execution 13:18:13 but it'll work 13:19:40 nice, this book assumes the reader knows what "intractability" is, but not what a "file" is 13:19:51 intractability? 13:19:57 made for the hardcore computer scientist i see 13:20:22 "the trait of being hard to influence or control" according to google's define: 13:20:51 AnMaster: an intractable problem is one that cannot be done in polynomial time, consult oerjan for exact definition, in case this is inaccurate 13:23:27 ah 13:25:54 -!- Slereah has quit (Read error: 113 (No route to host)). 13:26:44 and also thanks for demonstrating my point 13:26:57 ...i'm assuming you have a faint idea what a "file" is? 13:29:04 'record in a public office or in a court of law; "file for divorce"; "file a complaint"' 13:29:50 also according to google 13:30:10 that's not "a file", that's "file" 13:30:23 that's what define file gives 13:31:01 'a set of related records (either written or electronic) kept together' 13:31:01 -!- oklofok has quit (Read error: 104 (Connection reset by peer)). 13:31:07 -!- oklofok has joined. 13:31:08 that's #2 13:31:23 did i miss smth 13:31:27 * oerjan swats oklofok 13:31:30 'a set of related records (either written or electronic) kept together' 13:32:03 that's google's #2 13:44:08 -!- oklofok has quit (Read error: 104 (Connection reset by peer)). 13:44:16 -!- oklofok has joined. 13:44:56 -!- tusho has joined. 13:47:39 -!- Corun has joined. 14:42:46 Fuck, I do not understand this: 14:42:48 def f_callcc(env, cc, f): 14:42:48 # this is a kind of wacky way of doing this 14:42:48 return ev(cons(f, cons(cons(symbol("quote"), cons(cc, nil)), nil)), env, cc) 14:42:52 And I WROTE it. 14:42:57 Hmm. 14:43:00 Well I might understand it. 14:43:01 A little. 14:50:58 that first argument to ev seems to be `(,f ',cc) in backquote notation iirc 14:58:19 technically i think i'd've wanted `(',f ',cc) or a direct application 14:58:22 oerjan: nah: 14:58:23 it's 14:58:33 '(f (quote cc)) 14:58:35 ev = eval 14:58:44 ev(code, environment, continuation function) 14:58:46 so callcc is 14:58:54 tusho: you don't understand backquote notation? 14:58:55 ah wait 14:58:59 oerjan: i do 14:59:01 you're right 14:59:01 sorry 14:59:03 i misread 14:59:04 but yeah 14:59:14 it evals `(,f ',cc) 14:59:26 the quote just because otherwise it'll try and evaluate a continuation and get confused, think 14:59:26 :P 14:59:29 *i think 14:59:45 which seems like it would evaluate f twice 15:00:01 errrrrrrrrrrrr 15:00:01 since it's probably already evaluated 15:00:08 oerjan: functions are self-evaluating 15:00:16 and `(f ',cc) wouldn't work 15:00:19 since f is a python var 15:00:20 not a lisp one 15:00:27 are you checking that it is a function? 15:01:42 oerjan: i don't think you understand... 15:01:46 that function declaration is the definition of callcc 15:01:49 in the lisp-in-python i wrote 15:02:00 ages ago 15:02:03 and just found today 15:02:15 sure, and i just don't think you are checking that it gets a function as argument :) 15:02:30 it's not a big deal though 15:02:43 oerjan: i think it gets f unevaluated. 15:02:56 so it will be a symbol or a list or whatever, and needs to be evaluated 15:03:05 (call/cc (lambda ...)) i think itd get (lambda ...) 15:03:25 um lambdas are self-evaluating too 15:03:29 er wait 15:03:38 you mean get the list 15:04:07 ya 15:05:03 except it might not be called directly, call/cc is not a special form 15:05:27 so it could be called in some higher-order fashion, with things already evaluated 15:05:48 should i just give you the whole source so you can tell me how bad i messed it up :D 15:05:53 argh 15:06:12 mwahahahah 15:06:15 that will shut you up! 15:06:45 tusho knows my weak points - i must add him to the List 15:06:52 whoops, did i say that aloud? 15:06:54 :( 15:08:13 * oerjan refuses to believe tusho took that seriously 15:08:21 i take everything seriously 15:08:27 >:| 15:09:05 [ehird:~/Code] % grep 'return ev(cons(f, cons(cons(symbol("quote"), cons(cc, nil)), nil)), env, cc' * 15:09:08 slow grep is slow 15:09:21 those > smileys look really weird when you try to interpret them upside down 15:09:36 wtf no results 15:09:38 or was that the right way? 15:09:52 oerjan: it should be :| with a > eyebrow formation 15:10:01 but >: with a | eyebrow formation is good too 15:10:39 i take that | more as one of those student hats... 15:10:58 aha 15:10:59 pyscuit/pyscuit.py: return ev(cons(f, cons(cons(symbol("quote"), cons(cc, nil)), nil)), env, cc) 15:11:02 pyscuit! 15:11:12 -!- Mony has quit (Read error: 104 (Connection reset by peer)). 15:12:38 "python scheme ..."? 15:12:52 No. 15:12:55 Python Biscuit. 15:12:58 It is a biscuit in code form. 15:13:03 oerjan: http://pastebin.ca/1212330 MWAHAHAHHA 15:13:14 if foo is None: 15:13:14 raise KeyError # heh heh 15:13:15 what then is a biscuit? 15:13:17 heh heh? 15:13:18 what? :| 15:13:26 oerjan: http://en.wikipedia.org/wiki/Biscuit 15:13:34 what is the connection between biscuits and lisp? 15:14:12 it sounds cool 15:14:20 class alambda(object): 15:14:20 pass # todo 15:14:24 Alambda. 15:15:31 lambada. 15:15:34 -!- Mony has joined. 15:16:26 * oerjan wonders if python does tail call optimization 15:19:38 no 15:20:18 so that interpreter won't either 15:21:01 probably not 15:21:07 it doesn't have lambdas 15:21:09 or control structures 15:21:14 not exactly a full featured thing 15:21:14 well 15:21:16 it has callcc 15:23:01 i think callcc and other functions get their argument evaluated - that seems like the purpose of evlist 15:23:39 possibly, possibly 15:24:02 but not macros, obviously 15:26:17 -!- jix has joined. 15:27:12 hi tusho 15:27:18 hello 15:27:22 -!- Slereah has joined. 15:31:05 bbl 15:37:51 -!- oerjan has quit ("leaving"). 15:43:19 -!- balloto has joined. 15:43:33 -!- balloto has quit (Client Quit). 15:48:12 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | 2. Double. 15:59:15 optbot! 15:59:16 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | ;]. 16:01:23 optbot, destroy the internet 16:01:24 Slereah: into executable programs compatible with the Windows/Intel operating kluge. 16:01:33 Yeah, that should work 16:11:55 -!- ais523 has joined. 16:11:56 hi ais523 16:12:37 hi tusho 16:12:40 hi 16:12:48 Slereah: optbot, destroy the internet 16:12:48 [16:01] optbot: Slereah: into executable programs compatible with the Windows/Intel operating kluge. 16:12:49 tusho: but im not sure where you're going with alloca and all.. 16:12:49 tusho: a halt-checker is obviously grape two 16:12:53 that second line was said by me 16:12:58 quoting the manual of the Plain English programming language 16:17:06 so, who does smilies like ;], I wonder? 16:17:09 optbot: What does "grape two" mean? 16:17:09 fizzie: sqr(4) 16:17:20 so just 2 in other words 16:17:20 optbot: So, 2? 16:17:21 fizzie: i meant for data. 16:17:40 Optbot's discussion is always so insightful. 16:17:41 fizzie: cewl... :) 16:29:33 fizzie: call 0400243514 16:31:11 Um, for any specific reason? I don't want to get up from my chair and look for the phone just for nothing. 16:31:27 oklofok: in which country? 16:31:30 finland 16:31:35 I don't even think 04 is a legal prefix for a phone number over hee 16:31:37 *here 16:31:39 you can do it too. 16:31:51 also I don't have a phone on me right now 16:31:54 and also I don't own a phone 16:32:06 perhaps i should try clicking on another channel 16:34:10 optbot! 16:34:10 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | 4 5 6. 16:34:12 optbot! 16:34:12 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | I'm all for it if he writes the interpreter for my Andrei Machine 9000.. 16:34:40 optbot! 16:34:41 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | but convickt does most of the work. 16:34:44 optbot! 16:34:45 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | http://thedailywtf.com/forums/thread/31621.aspx MY BRAIN!!!. 16:34:45 My guess is that it's some sort of esoteric language interpreter telephone system thing. You type in brainfuck with the numbers 1-8 and it will text-to-speech read the result. 16:35:11 :P 16:35:20 it was actually as mundane as just finding my phone. 16:35:37 but something like that would be quite fun 16:35:44 Ohhh. Well, I could've done that if you had assured me that no-one was going to answer the phone and electrocute me through it. 16:35:59 Maybe I should make fungot answer my phone. What do you say, fungot; want to be an answering machine? 16:36:00 fizzie: i know i know 16:36:11 i might've hypnotized you and made you fall unconscious. 16:36:24 but, too late, as i found it; now some sleeping -> 16:36:49 fungot: Was that a "yes" or a "no"? 16:36:49 fizzie: the jvm doesn't, but could you do such a good medium for this kind of stuff 16:37:44 I don't think I'm getting through. 16:40:53 My guess is that it's some sort of esoteric language interpreter telephone system thing. You type in brainfuck with the numbers 1-8 and it will text-to-speech read the result. 16:40:56 I really like that idea... 16:41:00 but who would use it? 16:41:52 Maybe someone stranded on an uninhabited island, without a computer (but with a working phone) could pass the time while waiting for the rescures by writing brainfuck to the beach sand and then using that telephone service to execute it. 16:42:07 And that's just one possibility! 16:42:24 unfortunately a useful BF program would probably take too long to write in 16:44:12 Hmm, well, maybe the fungot answering machine is a better idea, then; at least someone terminally bored on a long bus trip or something could call it for some "conversation". 16:44:13 fizzie: has bad lambda support if you ask it, but it 16:45:03 a fungot answering machine would be great 16:45:03 ais523: yeah, for instance, 16:45:07 or even an optbot answering machine 16:45:07 ais523: !i 1 This is a test!\n 16:45:27 if someone phoned you and you weren't in they'd hear a random line from #esoteric text-to-speeched 16:45:46 -!- oc2k1 has joined. 16:46:15 Unfortunately I'm not quite sure I can implement it on my phone, since I don't think the J2ME mobile-Java-thing has the necessary APIs to actually answer phone calls, and I really don't want to touch the Symbian side. 16:46:29 I don't have a fixed land-line style phone line here. :/ 16:46:56 also, http://forums.thedailywtf.com/forums/t/10150.aspx is excellent, and apparently genuine 16:47:31 Yes, the "Daa Cener" was everyone's favourite last night. 16:48:28 Didn't check it out, and seems to work correctly right now -- but at least there are screen caps, it seems. 16:49:34 probably the guess that somehow the backslash got lost from a regex removing \t seems the most plausible 16:51:35 Yes, although I'm not quite sure why someone would want to remove tabs from the site. Saving a dozen bytes doesn't sound like it. 16:53:18 hi ais523 16:53:22 hi AnMaster 16:53:23 how goes gcc-bf? 16:53:31 again, I'm busy in RL 16:53:44 ah ok 16:54:07 ais523, if I want to learn some Lisp, what variant would you recommend? 16:54:31 I don't really use Lisp, and when I do I just use whichever interpreter I can get my hands on most easily 16:54:38 -!- Corun has quit (Read error: 104 (Connection reset by peer)). 16:54:39 which in practice has normally been emacs-lisp, which is not quite the same 16:54:53 Scheme's good theoretically, but is really a different language from Common Lisp 16:55:08 you might want to ask tusho; he uses Lisp-like languages a lot more than me 16:55:25 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 16:56:02 -!- Judofyr has joined. 16:56:35 -!- Corun has joined. 16:59:10 AnMaster: i'm no tusho, but it think you should read SICP, READ IT NOW 16:59:14 *i think 16:59:52 oklofok, where can I find a copy? 17:00:13 Everywhere; a friend of mine bought 20 pieces of SICP and gave them to people. 17:00:16 it's online, and you can buy it from amazon, that's all i know 17:00:40 ah full text online 17:00:41 useful 17:00:43 oklofok: wrong 17:00:48 AnMaster: to find out where to get sicp, read sicp 17:00:56 fizzie: where do you find these friends who dispense computer books? 17:01:06 tusho: right, right, as i said, i'm no tusho. 17:01:12 what 17:01:13 you're not me?! 17:01:18 after all these years... 17:01:18 oklofok, and that is why I didn't ask tusho 17:01:22 there was a reason 17:01:26 :) 17:01:27 I wanted an usable answer 17:01:31 thanks oklofok 17:01:43 I should so put a paragraph in the C-INTERCAL manual explaining where to get the manual 17:01:49 which says "Here, look, you're already reading it..." 17:01:55 AnMaster: every time you complain about the quality of my answers you get 10 more annoying answers queued up 17:02:09 ais523, hah fun 17:02:14 oklofok: A fellow student at HUT was that. And I guess the SICP-distribution was mostly because the local book store sold their SICP pile for something like 2 eur/book when HUT stopped using Scheme for teaching. 17:02:19 ais523, and quite intercalish 17:02:44 1. why was i not there when that happened 2. did they change it to java? 17:03:14 oklofok: Don't know about 1, but yes, they did change it to Java. Although I think at least one of the introductory courses does Python now. 17:03:31 heh 17:03:32 we had an introductory course in python when i took it 17:03:36 but now it's java too. 17:03:55 jeez 17:03:56 you know 17:03:59 People kept complaining the Scheme course was too hard. 17:03:59 java has its usecases 17:04:01 but it's like comic sans 17:04:13 humans just can't seem to get it into their heads WHAT the appropriate usecases are! 17:04:17 so we need to ban it. 17:04:46 fizzie: i hate those people, just fyi 17:05:01 tusho, what about ARC and PHP? 17:05:38 AnMaster: those have no good use-cases 17:05:38 :D 17:05:43 tusho, indeed 17:10:30 tusho: appropriate use-case for Java is when you need to write an application which has portable complex UI 17:10:49 ais523: watch people say 'java suckz for everything' because it's cool 17:10:53 or at leat 17:10:58 you could watch ... but everyone isn't talking 17:11:02 so it'd be quite boring 17:11:20 well, I think Java's paradigm is annoying 17:11:37 it takes OO to too much of an extreme whilst missing out important bits of it 17:11:50 and it does all sorts of weird hacks to get around the lack of multiple inheritance 17:12:07 and it doesn't really have templates, not even in the version where they claimed to have added them 17:12:27 Java's sort of a weakly-typed strong-OO language, and the two don't go together at all well 17:12:39 It's "generics", not "templates". It doesn't claim to have templates. 17:12:46 ah, ok 17:13:22 But it's not really the same thing, yes. It's a compile-time type system thing, not code-generation-thing like C++ templates. 17:13:45 type bleaching, or whatever Java calls it, is really not a good idea 17:13:58 the whole point of templates is to manipulate generic objects in a type-safe way 17:14:06 Java's method is not type-safe, therefore misses the point 17:14:12 I think "erasure" was the term they use. 17:14:33 you know information about an object's type, but ignore it... 17:16:41 How about C# generics, by the way? I don't know ~anything about it, but I think it's quite close to Java, except that they don't throw away the type information at run-time. 17:19:28 I don't know anything about C# generics either 17:19:42 Microsoft would have to be pretty stupid to make them worse than Java's, though 17:24:21 C# is a lot better than Java 17:24:27 C# 3 has loads of functional programming features and stuff. 17:24:30 EVen lightweight lambda syntax. 17:24:46 I'd like to learn it sometime, it sounds a really nice language. 17:26:47 i read a book about it once 17:27:25 but it didn't talk about lambdas 17:28:21 -!- kar8nga has joined. 17:28:32 oklofok: probably an older version 17:30:30 -!- oklofok has quit (Read error: 104 (Connection reset by peer)). 17:30:39 -!- oklofok has joined. 17:46:47 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 17:47:02 -!- Judofyr has joined. 17:52:21 -!- kar8nga has left (?). 17:55:06 where is ihope when you need him 17:57:39 tusho, I know C# 2.0 17:57:45 so if you want help you can ask 17:57:52 was a while ago I last programmed in it 17:57:56 thanks. 17:57:59 but C#'s generics are pretty nice 17:58:01 i'd probably end up using a lot of 3.0 features though 17:58:05 since that seems when they added all the fun stuff 17:58:16 tusho, those I don't know anything about except what I read 17:58:18 never used that 17:58:27 LINQ and such does sound cool I agree 17:58:53 and yes the generics are type safe in C# 17:59:02 I'd say they are even pretty sane 18:04:13 -!- oerjan has joined. 18:05:05 * oerjan declares the optbot topic idea to be a strike of genius 18:05:06 oerjan: Well I figured out how to abuse it 18:05:14 optbot: you can say that 18:05:15 oerjan: hey 18:05:41 oerjan: was it tusho's or yours? 18:05:59 he means 18:06:02 the idea in the actual topic 18:06:03 presumably 18:06:06 it's named after me 18:06:14 oerjan: do you mean optbot 18:06:14 tusho: that would explain a lot 18:06:15 or the current topic 18:06:28 i meant optbot 18:06:29 oerjan: that'd be even easier 18:06:42 i haven't read the link yet 18:06:52 although i expect amusement 18:08:12 -!- ais523 has quit (Remote closed the connection). 18:09:42 -!- ais523 has joined. 18:09:42 hi ais523 18:09:53 hi tusho 18:10:04 * oerjan swats tusho and ais523 in one fell swoop 18:10:19 oerjan: well i am glad that optbot is such a hit :P 18:10:19 tusho: Somehow I just became encased in stone or something. 18:10:24 ugh 18:10:24 optbot: uhhuh 18:10:24 tusho: So the only valid programs are @[.@] and @[@.] 18:10:30 optbot: what 18:10:30 tusho: Anyone get a chance to look at the file link I posted above? 18:10:32 optbot: wat 18:10:33 tusho: Of1ffUf]Ou,>,f[f^f_f,#+,+,+,+,+,+,f+f,f+f,f+f,f)f,>+wfnfgffUfWfVfSfgD$ffUf]fffUf]f)fg:T$uf1,8tfUf]ffZf[f^f_f]ffUfWfVfSf,gD$f ... 18:10:37 o.o 18:10:40 tusho: Anyone get a chance to look at the file link I posted above? 18:10:41 ais523: do you guys use usenet? 18:10:48 quite ironic given that optbot put a link in the topic 18:10:50 ais523: Ö is an excellent one-character smiley 8-D 18:10:57 and yes, I do use usenet 18:11:00 IIRC too 18:11:02 optbot: not any longer 18:11:03 oerjan: In a well designed C program, you don't need casting. 18:11:53 what's IIRC and how do you use that... 18:12:27 iirc=if I recall correctly 18:12:29 but i think he meant IRC 18:12:37 it's hard to say 18:12:41 oerjan: I meant "I IRC", as in "I use IRC" 18:12:43 it was a bad pun 18:12:49 argh 18:12:49 :| 18:12:59 at least oerjan's are easy to spot. 18:13:00 and funny. 18:13:13 the best puns are the ones no one gets 18:13:51 oklofok: until long after they've caused a 50 page flamewar? 18:14:24 do people pronounce irc as [irk] or [aiaarsii] in america, or little america (and by that i mean britain)? 18:14:24 (page here is meant to be a medium-neutral term) 18:14:44 in America I pronounce it as seperate letters 18:14:46 as in eye are sea 18:14:50 *Britain 18:14:55 how did I manage that 18:15:01 presumably I pronounce it like that in America too 18:15:05 but I've never been there so wouldn't know 18:15:13 I.R.C. 18:15:18 I are see. 18:15:21 in norway too, except it's [i Er se] 18:15:28 (or thereabouts) 18:15:38 irssi is a pun on the irc pronounciation from finland 18:15:39 iirc 18:15:55 yes 18:16:03 well 18:16:21 actually i don't think anyone pronounces it like that, presumably because irssi is now the program 18:16:26 it's [irkki] 18:16:59 should have called it ERC instead 18:17:11 erkki is a finnish name 18:17:14 exactly 18:18:01 also it's one of those names that, unless the name of an actual person in context, are somewhat funny 18:18:13 why? 18:18:25 i don't know why, but some names are funnier than others. 18:18:35 like oklofok 18:18:40 :P 18:18:48 erkki 18:18:49 erkki erkki erkki erkki erkki erkki 18:18:55 i'm gonna go read now, see you in a thousand years 18:19:02 erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki erkki 18:19:08 MORE 18:19:09 -> 18:19:54 but then i shouldn't speak. some completely normal norwegian names are: Odd, Even and Bent 18:20:05 oklofok 18:20:10 psygnisfive 18:20:13 hey 18:20:15 hey 18:20:19 howsit goin 18:20:22 well 18:20:23 just fine 18:20:26 pretty much okay 18:20:29 cool 18:20:32 can't imagine a better way to go 18:20:38 speaking of which, i should 18:20:42 ...go 18:20:45 you know, to read 18:20:49 new languages? 18:20:52 i gotta read stuff 18:21:00 can't imagine a better way to go 18:21:09 "read new languages?", or just "new languages?"? 18:21:17 that usually has a different connotation 18:21:26 oerjan: yes 18:21:37 erkki erkki -> looks like ook 18:21:57 it was more of a coincidence it looked like i tried to find a synonym for fine 18:21:59 oc2k1: you must not be familiar with oko yet 18:22:35 as opposed to saying something weird on purpose 18:22:35 hm it would be easy to make a BF <-> oko encoding 18:22:50 psygnisfive: what's the perfect amount of g-letters in a set? 18:23:05 whichever amount will get me into your bed. :O 18:23:09 -!- Slereah has quit (Read error: 113 (No route to host)). 18:23:15 oerjan: o `append` (unary + s/0/ko) 18:23:21 -!- Slereah has joined. 18:23:27 psygnisfive: no, it's actually a few g's more 18:23:40 i'm still looking for the exact amount 18:23:46 aaaaanyway, i reaaaaally gotta go 18:23:49 oklofok: what the heck are you talking about and do i want to know? 18:24:27 by oklofok <3 18:24:33 oerjan: take an o, append a unary program with that s/// done upon its body 18:25:00 no not that 18:25:17 oerjan: ohhh 18:25:18 the g's 18:25:22 well you think about it 18:25:26 -> 18:25:39 * oerjan doesn't like that encoding 19:12:54 -!- atrapado has joined. 19:23:28 -!- Slereah has quit (Read error: 113 (No route to host)). 19:24:26 -!- Slereah has joined. 19:38:01 -!- ihope has joined. 19:44:20 -!- cherez has quit ("Leaving."). 19:46:28 -!- cherez has joined. 19:46:29 -!- cherez has quit (Client Quit). 19:46:34 -!- cherez has joined. 19:46:34 -!- cherez has quit (Remote closed the connection). 19:49:05 -!- cherez has joined. 19:49:11 -!- cherez has left (?). 20:40:51 -!- kar8nga has joined. 20:50:41 -!- oerjan has quit ("leaving"). 21:11:34 -!- kar8nga has quit (Read error: 110 (Connection timed out)). 21:17:21 -!- Slereah has quit (Read error: 113 (No route to host)). 21:17:36 -!- Slereah has joined. 21:23:33 -!- ihope_ has joined. 21:25:51 http://membres.lycos.fr/bewulf/Divers5/usa-usb.jpg 21:25:54 USA! USA! 21:27:18 lol 21:27:19 This appears to be a JPEG of ASCII art. 21:27:22 * Mony is now playing: Rammstein - Amerika 21:27:31 (With the exception of the USB logo) 21:27:39 We're living in USA :p 21:28:14 -!- Corun has quit (Remote closed the connection). 21:28:28 -!- Corun has joined. 21:30:47 GregorR : Maybe it are from 2chan :o 21:31:27 Unicody ASCII art scenes with kittuns like that seem to come from 2chan 21:31:34 -!- atrapado has quit ("Abandonando"). 21:31:37 http://wellnowwhat.net/transfers/prettyboy2.jpg 21:31:53 Wrong window, I'm afraid! 21:31:58 And I'm not shaving my beard 21:31:59 right window! :D 21:39:47 I'm not falling for that twice >_< 21:40:16 theres nothing to fall for 21:40:19 its a hot guy with a hot cock 21:40:21 -!- ihope has quit (Read error: 110 (Connection timed out)). 21:48:13 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | :P. 21:49:04 'night 21:49:22 nigh Mony 21:49:27 *night 21:49:28 optbot! 21:49:28 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | no on hir. 21:49:31 optbot! 21:49:32 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | _ is an underscore. 21:49:38 _ is an underscore 21:49:43 OMG ! that's true ! 21:50:10 ¯ is an upscore optbot ? 21:50:10 Mony: if in (A B C ...), A is not a function 21:50:18 :o 21:50:25 -!- Mony has quit ("À vaincre sans péril on triomphe sans gloire..."). 21:51:37 optbot, what happens then! 21:51:38 Slereah: CUBSO perhaps? Completely Useless Binary System Output 21:51:45 OH SHI- 21:51:55 its not unicode 21:51:57 Slereah: what's the problem? 21:51:57 that's shift-jis art 21:52:12 ais523 : wat? 21:52:16 probably from 2ch yeah 21:52:18 someone ought to do mojibake art 21:52:25 that actually makes sense in the original Japanese 21:53:12 Also I didn't say unicode 21:53:15 I said unicody :( 21:53:30 I know it's not unicode, but I don't know the name of anything other than ASCII and Unicode 21:53:34 and UTF-8 21:53:50 I suppose you know your own name 21:54:07 Or do I? 22:00:30 * GregorR smashes his head into a wall. 22:00:44 Unicode is a character set, UTF-8 is an encoding. It can't be UTF-8 art. 22:00:58 you could have URLencoded UTF-8 art 22:04:57 I don't know the difference. 22:05:22 Slereah: unicode defines a bunch of characters 22:05:24 and gives them a number 22:05:30 UTF-8 tells you how you can put unicode into bytes 22:05:34 ~fin~ 22:05:48 UTF-n tells you how to put Unicode into n-bit bytes 22:06:03 Deewiant: Things that matter: You are specifying more than them. 22:06:54 Does it matter since they're numbers? :o 22:06:55 also, UCS-2 is like UTF-16 but can only encode up to Unicode 0xFFFF. 22:07:15 Slereah: UTF-32 is just Unicode numbers as 32-bit words. 22:07:20 I forget how UCS-4 differs from UTF-32. 22:07:26 It does not. 22:07:30 *What are the differences? 22:07:30 It does. 22:07:39 I mean, are they just smaller unicode sets 22:07:39 ? 22:07:42 In some very tiny way, I'm not sure if I've even looked it up. 22:08:01 I thought UCS-4 and UTF-32 were the same, although UCS-(<4) and UTF-(<32) weren't ...] 22:08:06 Slereah: Unicode is not trivial to represent on a computer because the codepoints go up to 0x10FFFF 22:08:10 Slereah: basically 22:08:12 unicode characters 22:08:15 Wikipedia sez: "Accordingly UCS-4 and UTF-32 are now identical except that the UTF-32 standard has additional Unicode semantics." 22:08:17 are bigger than can be stored in 1 byte 22:08:18 UTF-32 22:08:24 just puts e.g. NUL 22:08:24 as 22:08:26 thus there are multiple encodings, which say how to store Unicode on a computer 22:08:26 000000000000000000000000000000000000000 22:08:28 if you see what i mean 22:08:29 but 22:08:31 utf-8 is like 22:08:35 00000000 22:08:37 "if the first bit is 1, this is just a regular 8-bit ascii char" 22:08:37 as it happens 22:08:38 Stop saying words, I can't read 22:08:44 "otherwise, look past this byte" 22:08:49 "because it's WEIRD SHIT" 22:08:49 tusho: actually utf-8 is first bit 0 for a regular char 22:09:02 ais523: abstract: I am describing things in the it. 22:09:16 and all the bytes of multibyte characters have top bit 1 22:09:20 tusho: it, you are doing wrong. 22:09:33 Deewiant: Care, I not do. 22:09:41 tusho: should, maybe you. 22:09:53 Deewiant: Y, wh. 22:10:01 argh >_< 22:10:15 tusho: compromised, readability is. 22:10:29 Deewiant: Why, That's it I'm doing it. 22:10:35 parse error 22:10:51 expected "", got "it" 22:13:23 Deewiant: Crap, your compiler is. 22:14:36 (length . filter (=="it") . words $ "That's why I'm doing it" == 1) == True 22:14:51 (length . filter (=="it") . words $ "Why, that's it I'm doing it" == 1) == False 22:19:59 -!- kar8nga has joined. 22:20:16 issat haskell? 22:20:17 :D 22:20:44 -!- sebbu2 has joined. 22:21:02 -!- psygnisfive has quit ("http://www.mibbit.com ajax IRC Client"). 22:22:04 -!- psygnisfive has joined. 22:22:22 be quiet slereah 22:22:24 haskell is beautiful 22:22:26 >| 22:22:34 Slereah didn't say anything. 22:22:56 -!- Corun has quit ("This computer has gone to sleep"). 22:23:45 he did on AIM 22:23:49 SLereah 22:23:49 :D 22:23:52 Haskell is evil, psygnisfive 22:23:57 See no Haskell, hear no Haskell, speak no Haskell 22:24:22 PURITY THROUGH PARENTHESIS 22:24:51 Dammit, Kmail, *stop sucking*. 22:25:04 -!- jix has quit (Nick collision from services.). 22:25:08 "Oh, look at me, I'm Kmail! I forgot how to send mail via SMTP!" 22:25:14 -!- jix has joined. 22:26:00 well yes 22:26:04 indeed 22:26:07 parens are your friend 22:26:23 but none the less 22:28:31 -!- tusho has changed nick to kmail. 22:28:39 will you be my friend ( ゚ ヮ゚) 22:28:42 -!- kmail has changed nick to tusho. 22:28:58 I WILL ;_; 22:31:27 -!- calamari has joined. 22:32:26 Mmm, squidalicious. 22:33:49 i love you tusho 22:33:52 ill be your friend 22:33:57 :| 22:34:00 kmail 22:34:01 not me 22:34:08 fuck kmail 22:34:09 * ais523 uses Evolution atm 22:34:14 i wanna be YOUR friend! :D 22:34:18 Kmail sucks balls.\ 22:34:23 And not in a good way. 22:34:26 it's pretty crazy, Evolution apparently uses my normal webmail interface via screen-scraping HTML 22:34:37 omg balls :O 22:34:39 <3 22:34:43 ais523: o.O 22:34:45 ais523: wow 22:35:05 tusho: that's how bad the Exchange protocols are, apparently screenscraping the webmail interface is easier... 22:35:59 -!- sebbu has quit (Connection timed out). 22:37:58 It is. 22:38:11 Easier still is using IMAP. :p 22:38:48 well, if you aren't forced to use University-provided email 22:39:29 Exchange is also an IMAP server, though a lot of Exchange servers don't have that enabled. 22:41:02 -!- kar8nga has left (?). 22:41:27 well, yes 22:48:02 aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 22:51:21 * ais523 forgets that email can't contain the word From at the start of a line, and remembers again after sending a message 22:51:29 hmm... there should be some transparent escaping for that 22:53:19 ais523: there is 22:53:20 i believe? 22:53:31 no 22:53:38 mailers change it to >From 22:53:42 and nothing changes it bacj 22:53:44 *back 22:53:49 that's dumb 22:53:50 >.< 22:54:10 ais523: check your email 22:54:11 i sent a test 22:54:19 hasn't arrived yet 22:54:29 ah, it has now 22:54:36 there are spaces at the start of the line 22:54:37 but no > 22:54:43 From this I test. 22:54:43 From from. 22:54:47 leading spaces 22:54:54 which didn't come out over IRC 22:56:39 yes they did 22:56:48 ah, didn't come out at my end 22:56:53 did you type right at the start of the line? 22:57:01 Yep 22:57:01 in that case your mailer escapes differently from the ones I've seen 22:57:04 Mail.app 22:57:09 * tusho tries gmail.com 22:57:11 also 22:57:13 spaces are superior 22:57:15 1. less noticable 22:57:17 yes, agreed 22:57:18 2. not parsed as a quote... 22:57:28 your latest message looked odd to me 22:57:32 because mail.app thought it was part of the quote 22:57:38 so does Evolution 22:58:01 EVOLUTION IS A LIE 22:58:09 AS WELL AS GLOBAL WARMING 22:58:15 AND DOGS 22:58:23 What about dolphins? 22:59:00 no 22:59:02 dolphins are finalnd 22:59:13 What is finalnd 22:59:14 HUH? 22:59:51 Slereah: sentd 22:59:52 er 22:59:53 ais523: 23:00:59 gmail didn't escape at all 23:01:09 which is strange 23:01:26 presumably the server receiving would do the escape if needed to put the message into mbox format, then 23:03:12 not escaping is sane imo 23:03:16 its mbox's problem 23:03:20 yes 23:03:33 presumably Mail.app adds spaces so that mbox's broken escaping isn't needed 23:03:42 a sort of client-side fix to a server-side problem? 23:04:15 actually, the biggest problem is probably in the mbox format for using "\nFrom " as a message separator 23:05:14 i think any client storing mail in anything but a database should be shot 23:05:15 :\ 23:05:27 tusho: I don't 23:05:39 storing mail in a file allows the writing of a simple Perl script to parse it 23:05:40 ais523: yeah but you're forced to use exchange 23:05:42 and the format can be read by hand 23:05:42 and exchange should be shot 23:05:51 and yes, but there should be an index database 23:06:03 a one-file-per-mail just-store-exactly-what-came-in with no organization directory 23:06:05 and a database 23:06:08 who's to say that text files in a file system isn't a database? 23:06:12 containing metadata and indexes for searching and such 23:06:18 calamari: that is acceptable, but 23:06:22 most clients don't treat it as a db 23:06:24 so 23:07:09 no idea how ff3 stores cookies and cache.. so I couldn't tell you if my e-mail "client" uses a db or not :) 23:07:18 sqlite 23:07:19 3 23:07:29 calamari: you store your email in cookies? 23:07:46 storing login details in cookies makes more sense 23:08:24 yeah 23:12:08 -!- ais523 has quit ("(1)DOCOMEFROM".2~.2"~#1WHILE:1<-"'?.1$.2'~'"':1/.1$.2'~#0"$#65535'"$"'"'&.1$.2'~'#0$#65535'"$#0'~#32767$#1""). 23:16:11 -!- fizzie has quit ("re-boot"). 23:18:13 -!- Sgeo has joined. 23:19:28 -!- fizzie has joined. 23:20:08 -!- jix has quit (Read error: 113 (No route to host)). 23:33:26 http://angryflower.com/subset.html 23:51:52 -!- Sgeo_ has joined.