00:29:42 -!- oerjan has quit ("leaving"). 00:44:47 -!- SevenInchBread has joined. 00:47:49 -!- anonfunc has joined. 00:51:57 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 00:52:04 -!- death has joined. 00:53:21 -!- death has changed nick to nazgjunk. 00:57:23 -!- nazgjunk has quit ("Bi-la Kaifa"). 01:06:37 -!- kxspxr has quit. 01:16:58 -!- EgoBot has joined. 01:22:19 -!- GregorR has joined. 02:12:28 heh, fuzzy booleans 02:51:25 -!- anonfunc has quit. 03:47:51 -!- SevenInchBread has quit ("haaaaaaaaaa"). 03:49:34 hmph 03:49:46 in a lazy evaluation system, when do things get evaluated 03:49:47 ? 04:06:57 -!- ShadowHntr has quit (Client Quit). 04:53:42 -!- anonfunc has joined. 05:25:54 when they need to be..? 05:32:48 -!- digital_me_ has quit ("Lost terminal"). 05:37:45 -!- Arrogant has joined. 05:39:26 oklopol: yeah... 05:39:29 but when 05:52:22 -!- digital_me has quit (Connection timed out). 06:01:04 -!- Sgeo has quit ("Leaving"). 07:07:08 -!- Arrogant has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:10:44 -!- RodgerTheGreat has quit. 08:11:22 -!- RodgerTheGreat has joined. 08:43:45 -!- anonfunc has quit. 08:43:51 -!- anonfunc has joined. 08:45:10 -!- anonfunc has quit (Client Quit). 10:17:58 -!- oerjan has joined. 10:20:07 bsmntbombdood: awake? 10:43:50 -!- oerjan has quit ("Apparently not"). 11:34:51 My univeresity seems to have comissioned the building of two doors that lead into midair. 11:35:10 The look much more like doors than like windows. 11:35:33 But they are on the first and second floors, not the ground floor 11:36:14 Where they are placed makes it impossible to attach a fire escape to them that would reach the ground. 11:36:42 as they are on a walkway that goes over a road. 11:37:50 and they aren't giong to connect to something else, as there is nothing to connect to except an office that is only 10sec walk away anyway. 11:37:54 WTF WTF WTF 12:27:40 * SimonRC luncherises. 12:47:42 -!- sebbu has joined. 14:00:18 -!- jix__ has joined. 14:07:23 hm 14:40:32 -!- RodgerTheGreat has quit (zelazny.freenode.net irc.freenode.net). 14:40:33 -!- puzzlet has quit (zelazny.freenode.net irc.freenode.net). 14:40:35 -!- bsmnt_bot has quit (zelazny.freenode.net irc.freenode.net). 14:40:37 -!- cmeme has quit (zelazny.freenode.net irc.freenode.net). 14:40:58 -!- RodgerTheGreat has joined. 14:40:58 -!- bsmnt_bot has joined. 14:40:58 -!- puzzlet has joined. 14:40:58 -!- cmeme has joined. 14:55:26 whoa, psychadelic, maan. 14:55:28 http://www.albinoblacksheep.com/flash/mario-remix.php 15:02:12 -!- jix__ has changed nick to jix. 15:02:18 :) 15:10:38 -!- tgwizard has joined. 15:27:53 hi 16:03:20 :) :) 16:03:25 :| 16:09:16 -!- nazgjunk has joined. 16:24:44 jix: ?? http://www.teuton.org/~stranger/code/emoticon/emoticon.html 16:25:02 nope... 16:25:13 :) :) because i have a girlfriend now 16:25:31 :| because i won't see her the next 2 days 16:26:14 HEREIC! 16:26:20 * HERETIC! 16:26:43 ? 16:26:45 Bah, I don't seem to want a girlfreind much 16:26:57 you're supposed to be a geek 16:27:39 well i fell in love so... 16:28:00 and i prefer spending time with her over programming etc.... 16:32:37 ah dear 16:32:41 we must cure him 16:33:12 geeks are supposed to have paraphilias not fall in love. 16:33:15 :-) 16:37:52 I repel women in the most literal sense imaginable. 16:40:27 Maybe I'm just envious of jix. 17:08:57 -!- nazgjunk has quit (Read error: 131 (Connection reset by peer)). 17:09:27 -!- nazgjunk has joined. 17:11:13 mh 17:24:48 :/ 17:26:40 hmm start.sh wird also ignoriert 17:26:50 wrong channel 17:27:21 bah 19:16:41 -!- FabioNET has joined. 19:20:17 Mmmm, explosion: http://www.i-am-bored.com/bored_link.cfm?link_id=21881 19:23:18 cool 19:26:52 but fake, I htink 19:28:06 possibly an ad 19:39:09 well duh 19:39:26 It's called "viral advertising". 19:40:23 Actually, I think all online ads should be released to be redistributed freely as long as they are unmodified. 19:40:56 I mean, every time the ad is watched the company benefits, and they don't charge for it, so it is quite tough to object. 19:48:26 -!- FabioNET has quit (Remote closed the connection). 20:04:57 -!- oklopol has quit (Read error: 110 (Connection timed out)). 20:26:04 -!- oklofok has joined. 20:28:10 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 20:28:19 -!- UpTheDownstair has joined. 21:02:05 -!- tgwizard has quit (Remote closed the connection). 21:17:00 -!- kxspxr has joined. 21:24:41 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 21:36:40 -!- oerjan has joined. 21:44:58 -!- Arrogant has joined. 21:47:05 -!- UpTheDownstair has quit (Read error: 104 (Connection reset by peer)). 21:47:16 -!- nazgjunk has joined. 22:33:42 oerjan: am now 22:34:28 -!- Arrogant has quit ("Leaving"). 22:36:14 SimonRC, what's your university? 22:37:43 bsmntbombdood: What kind of lazy evaluation is it you want to know about? 22:38:02 I'm trying to write a lazy lisp interpreter 22:40:18 Complete lazyness means evaluating an expression the moment something needs to be known about its actual value. 22:40:43 -!- ihope has joined. 22:41:07 how do we know when something needs its exact value? 22:41:22 However, if the language is pure you can also evaluate an expression earlier as long as it terminates - Haskell compilers do this for efficiency, using what is called strictness analysis. 22:42:01 *terminates or is guaranteed to be used 22:42:49 How do we know when to create a delay, and when to force it? 22:44:27 Well, basically you can make every expression a delay 22:44:49 (Avoiding it is just an efficiency matter) 22:44:56 to call (foo x y), we give foo two delays, right? 22:44:57 I hereby nominate myself for the position of Esoteric Operating System Project Leader, accept the nomination, vote for myself, close the vote, and claim the position. 22:45:16 Yep 22:45:35 but then what about ((lambda (x) (foo x) bar) 22:45:41 foo gets (delay (delay bar)) 22:45:54 I then resign and hold an election for the next leader. 22:46:34 You don't need to delay variables - assume their contents are already delayed as needed 22:47:26 so foo just gets bar, which may contain a promise 22:48:18 hrm 22:48:54 or put another way, x is a binding not an expression 22:49:28 -!- crathman has joined. 22:50:22 we do we create a delay then? 22:51:25 for ((lambda (x) (foo x)) bar) i would assume (delay ((lambda (x) (delay (foo x))) bar) 22:52:17 that seems to be the same as delaying everything, then removing delay around variables 22:52:26 bsmntbombdood: the one specified in my hostname of course! 22:52:53 dur 22:52:59 yes 22:53:11 hint: go to that domain 22:54:12 of course special forms may need special handling 22:55:18 I would look up graph-reduction 22:56:59 * SimonRC lols at a paper abstract: 22:57:01 "To tag or not to tag: that is the question: 22:57:01 Whether 'tis faster in the cache to suffer 22:57:01 The delays of tagless nodes, 22:57:01 Or break the pipe no more 22:57:03 And make a branch that hits the cache. 22:57:06 To load, to jump; 22:57:09 To jump: perchance to stall; Ay, there's the run." 22:57:14 hehehe 22:57:45 i remember in GHC's STG machine, forcing is only done in case statements. 22:58:04 bsmntbombdood: Read some papers on implementing lazy functional languages. 22:58:30 like? 22:58:31 oerjan: or equivalents, like ifs, guards, or any pattern-matching 22:58:36 The paper on STG for example 22:58:38 bsmntbombdood: STFW 22:58:50 http://portal.acm.org/citation.cfm?id=99385&coll=portal&dl=ACM 22:58:55 yes, but those are all made into case statements in the STG language 22:59:36 (spineless tagless G-machine) 22:59:49 indeed 23:00:02 bsmntbombdood: specifically, see google Scholar 23:00:09 there are some freely-available versions 23:00:20 it's probably the most efficient lazy language machine around 23:00:56 or maybe i just bought its hype :) 23:01:01 well... 23:01:31 the paper I quoted above is about how the cache-misses tend to negate the benefits of no tag checking 23:01:40 seeing as how it is the only lazy language machine i know thoroughly 23:04:55 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 23:04:57 -!- UpTheDownstair has joined. 23:05:06 ACM portal is useless to me 23:05:36 there isn't even a free abstract - but I remember reading some free article on it 23:30:30 -!- crathman has quit (Read error: 110 (Connection timed out)). 23:37:23 -!- UpTheDownstair has quit ("Bi-la Kaifa").