00:12:26 -!- ihope_ has quit (Read error: 104 (Connection reset by peer)). 00:27:13 sdfkhgklsfjghklshgksg MEGAHAL IF YOU DON'T ACCEPT -r -g OR -B WHY ARE THEY IN YOUR -h?!"?!?!?!! 00:36:36 -!- puzzlet has quit (Remote closed the connection). 00:36:38 -!- puzzlet_ has joined. 00:41:52 -!- Sgeo has joined. 00:44:24 -!- ehird` has quit (Read error: 113 (No route to host)). 00:45:10 -!- ehird` has joined. 01:09:36 -!- sebbu has quit ("@+"). 01:13:02 -!- AnMaster has quit (Read error: 104 (Connection reset by peer)). 01:25:06 -!- lucas- has left (?). 01:29:35 -!- AnMaster has joined. 01:34:31 -!- ehird` has quit (Remote closed the connection). 01:51:52 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 02:01:56 -!- ihope_ has joined. 02:06:24 -!- AnMaster has quit (No route to host). 02:07:38 -!- AnMaster has joined. 02:36:19 -!- AnMaster has quit (No route to host). 02:36:57 -!- AnMaster has joined. 03:03:21 -!- miiro has quit (calvino.freenode.net irc.freenode.net). 03:03:22 -!- EgoBot has quit (calvino.freenode.net irc.freenode.net). 03:03:24 -!- puzzlet_ has quit (calvino.freenode.net irc.freenode.net). 03:03:24 -!- sekhmet has quit (calvino.freenode.net irc.freenode.net). 03:03:25 -!- tejeez has quit (calvino.freenode.net irc.freenode.net). 03:03:25 -!- Possum has quit (calvino.freenode.net irc.freenode.net). 03:03:25 -!- AnMaster has quit (calvino.freenode.net irc.freenode.net). 03:03:25 -!- calamari has quit (calvino.freenode.net irc.freenode.net). 03:03:26 -!- oklopol has quit (calvino.freenode.net irc.freenode.net). 03:03:26 -!- pikhq has quit (calvino.freenode.net irc.freenode.net). 03:03:28 -!- cherez has quit (calvino.freenode.net irc.freenode.net). 03:03:28 -!- cmeme has quit (calvino.freenode.net irc.freenode.net). 03:03:28 -!- Overand has quit (calvino.freenode.net irc.freenode.net). 03:03:28 -!- johnl has quit (calvino.freenode.net irc.freenode.net). 03:03:28 -!- GregorR has quit (calvino.freenode.net irc.freenode.net). 03:03:29 -!- bsmntbombdood has quit (calvino.freenode.net irc.freenode.net). 03:03:29 -!- Slereah_ has quit (calvino.freenode.net irc.freenode.net). 03:03:31 -!- xristos has quit (calvino.freenode.net irc.freenode.net). 03:03:31 -!- RodgerTheGreat has quit (calvino.freenode.net irc.freenode.net). 03:03:33 -!- Maxdamantus has quit (calvino.freenode.net irc.freenode.net). 03:03:33 -!- dbc has quit (calvino.freenode.net irc.freenode.net). 03:03:34 -!- SimonRC has quit (calvino.freenode.net irc.freenode.net). 03:03:34 -!- ihope_ has quit (calvino.freenode.net irc.freenode.net). 03:03:35 -!- lifthras1ir has quit (calvino.freenode.net irc.freenode.net). 03:03:35 -!- johnk has quit (calvino.freenode.net irc.freenode.net). 03:03:35 -!- mtve has quit (calvino.freenode.net irc.freenode.net). 03:03:35 -!- lament has quit (calvino.freenode.net irc.freenode.net). 03:03:36 -!- DocWilco has quit (calvino.freenode.net irc.freenode.net). 03:04:11 -!- AnMaster has joined. 03:04:11 -!- ihope_ has joined. 03:04:11 -!- puzzlet_ has joined. 03:04:11 -!- calamari has joined. 03:04:11 -!- Slereah_ has joined. 03:04:11 -!- oklopol has joined. 03:04:11 -!- pikhq has joined. 03:04:11 -!- xristos has joined. 03:04:11 -!- mtve has joined. 03:04:11 -!- johnk has joined. 03:04:11 -!- dbc has joined. 03:04:11 -!- DocWilco has joined. 03:04:11 -!- SimonRC has joined. 03:04:11 -!- lament has joined. 03:04:11 -!- Maxdamantus has joined. 03:04:11 -!- cherez has joined. 03:04:11 -!- bsmntbombdood has joined. 03:04:11 -!- GregorR has joined. 03:04:11 -!- cmeme has joined. 03:04:11 -!- Overand has joined. 03:04:11 -!- johnl has joined. 03:04:11 -!- tejeez has joined. 03:04:11 -!- sekhmet has joined. 03:04:11 -!- Possum has joined. 03:04:11 -!- EgoBot has joined. 03:04:11 -!- RodgerTheGreat has joined. 03:04:11 -!- lifthras1ir has joined. 03:05:43 -!- miiro has joined. 03:05:47 -!- miiro has left (?). 03:05:47 -!- miiro has joined. 03:06:37 -!- miiro has left (?). 03:06:37 -!- miiro has joined. 03:32:25 -!- miiro has quit (calvino.freenode.net irc.freenode.net). 03:33:55 -!- miiro has joined. 03:34:02 -!- miiro has left (?). 03:34:02 -!- miiro has joined. 03:36:08 holy fuck 03:36:16 alive 2007 is sooooo good 03:39:35 what is that 03:41:07 a live recording of daft punk 03:45:10 Damn. 03:48:41 what? 03:52:49 Um. Ne ideo. 03:58:40 -!- puzzlet has joined. 03:58:42 -!- puzzlet_ has quit (Remote closed the connection). 04:17:00 bsmntbombdood: alive 2007 ftw! 04:18:14 indeed 04:22:24 Daft Punk FTW. 04:39:35 i don't like studio daft punk 04:39:51 -!- ihope_ has quit (Read error: 110 (Connection timed out)). 05:07:03 RodgerTheGreat: NEW. DC. 05:07:05 EARLY. 05:07:21 ? 05:07:36 -!- calamari has quit ("Leaving"). 05:07:38 OOH 05:07:45 dresden codak? 05:07:48 YES. 05:07:54 took me a second to make that connection 05:08:11 And yes, I do sound a bit like an addict. ;p 05:09:06 ehird: it's certainly possible, but prolly not in a way you'd want. 05:09:21 also, have no idea whether you read logs, guess this is a test 05:09:53 fuckin' AWESOME! 05:13:51 the new xkcd is kinda neat, too 05:14:23 Heheheh. 05:15:33 good night, everyone- wish me luck on my finals tomorrow morning 05:16:39 * oklopol wishes 05:18:17 * pikhq wishes to take posession of your luck for finals. :p 05:19:33 heh, i remembered the time my exam is only 9 hours wrong :) 05:19:43 thought it's at 8 am, it's at 5 pm 05:21:10 hmmm, actually, i have no idea how to break python's stmt/expr distinction 05:21:24 i'm pretty sure i've done that somehow 05:22:32 whhhell, guess i haven't 05:22:38 i'll do some more sleeping -> 05:24:41 -!- immibis has joined. 05:25:40 why is msn messenger randomly sending messages along the lines of "are these your pics? http://msgrpics.net/?msn=YOUR-MSN-ADDRESS-HERE" 06:15:37 -!- immibis has quit (Remote closed the connection). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:00:30 -!- xristos has quit (Remote closed the connection). 09:53:32 -!- sebbu has joined. 12:08:27 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 12:09:28 -!- oklopol has joined. 12:40:48 -!- Maxdamantus has quit ("# killall -9 xchat && shutdown now"). 12:40:52 -!- Maxdamantus has joined. 13:26:48 -!- sebbu has quit (Connection timed out). 13:26:54 -!- sebbu has joined. 13:41:02 -!- sebbu2 has joined. 13:58:22 -!- sebbu has quit (Connection timed out). 14:06:07 j'vient de gagner 170ko/s de débit :D :) 14:07:03 lopzol inggggharhar hihihihiip xD 14:31:21 -!- Slereah_ has quit (Read error: 110 (Connection timed out)). 14:32:20 -!- sebbu has joined. 14:49:13 -!- sebbu2 has quit (Connection timed out). 14:57:08 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)). 14:57:59 -!- puzzlet has joined. 15:12:57 -!- xristos has joined. 15:19:10 -!- jix has joined. 15:32:21 -!- puzzlet has quit (Remote closed the connection). 15:32:25 -!- puzzlet has joined. 15:37:20 -!- GregorR has quit (Read error: 110 (Connection timed out)). 15:48:49 -!- EgoBot has quit (Read error: 110 (Connection timed out)). 16:14:24 -!- Jontte has joined. 16:15:53 -!- Slereah has joined. 17:15:01 -!- Slereah_ has joined. 17:19:47 -!- puzzlet has quit (Remote closed the connection). 17:20:35 -!- puzzlet has joined. 17:30:56 -!- Slereah has quit (Read error: 110 (Connection timed out)). 17:35:24 What does "halting" mean, exactly, for a Turing machine? 17:36:42 -!- Slereah has joined. 17:40:30 Slereah: how much do you already know about turing machines? 17:42:28 Depends what's the measure for this knowledge. 17:43:02 erm... that is not a helpful answer at all 17:43:22 I'm not sure what to answer! 17:43:43 it's a simple question: how much do you know about turing machines? 17:44:25 Enough to program one, and knowing some basic concepts I guess 17:44:55 ok, are you familiar with finite state machines? 17:45:23 Yes. 17:45:52 so, you understand how an FSM accepts strings, right? 17:46:20 Hm. Not sure of this. 17:46:51 are you familiar with regexes? 17:47:03 halting = entering a predetermined special state where the machine stops moving ? 17:47:06 no? 17:47:27 I know what regular expressions are. 17:47:35 Not sure if I could go as far as "familiar" 17:48:11 oklopol: yes, TMs have specified halting states 17:48:32 Oh. 17:49:05 (I'm a little surprised because the original article doesn't include one) 17:49:19 oklopol: I'm trying to build up the full explanation of how regexes, grammars, FSMs and TMs fit together 17:49:52 yarrrrr, just thought a oneliner explaining it quickly might be a helpful start ;) 17:49:53 well, a TM will also halt if it's in a state where it has no further acceptable transitions, but this is generally considered halting on an error condition 17:50:50 I was originally thinking of some state (or states) where no action could change the tape any longer. 17:51:02 Hence my question. 17:56:47 -!- puzzlet has quit (Remote closed the connection). 17:56:48 -!- puzzlet_ has joined. 18:03:44 -!- ais523 has joined. 18:03:44 -!- Slereah_ has quit (Read error: 110 (Connection timed out)). 18:05:38 -!- puzzlet has joined. 18:05:39 -!- puzzlet_ has quit (Remote closed the connection). 18:09:59 -!- ais523 has quit ("Konversation terminated!"). 18:13:03 -!- puzzlet_ has joined. 18:18:08 -!- Slereah has quit (Read error: 110 (Connection timed out)). 18:20:04 -!- Slereah has joined. 18:20:33 Aaaargh. 18:23:19 -!- puzzlet has quit (Read error: 110 (Connection timed out)). 18:34:20 ? 18:35:45 Let's just say that my connection too has a halting problem. 18:38:30 you're trying to disconnect, but it keeps reconnecting? 18:44:19 Mostly trying to stay on 18:46:17 so it terminates easily, but it's hard to loop infinitely? Sounds like ///. 18:46:41 I guess the metaphore doesn't extend that far. 18:52:26 -!- Sgeo has joined. 19:08:12 hah 19:08:24 I initially got today's Xkcd backwards 19:12:09 hmm 19:12:13 seems like I did too 19:44:23 -!- puzzlet_ has quit (Read error: 104 (Connection reset by peer)). 19:44:29 -!- puzzlet has joined. 19:52:33 http://youtube.com/watch?v=zJOS0sV2a24 19:52:36 Heh. 20:12:31 -!- JontteG has joined. 20:12:31 -!- Jontte has quit (Read error: 104 (Connection reset by peer)). 20:29:57 Slereah: sinit 20:32:57 Wut? 20:33:25 I have seen it already. 20:33:56 Lucky you. 20:36:03 -!- JontteG has quit (Read error: 110 (Connection timed out)). 20:36:32 -!- puzzlet has quit (Remote closed the connection). 20:36:34 -!- puzzlet_ has joined. 20:41:34 zzzzzzzzz 20:42:08 Don't you zzzz me! 20:50:29 -!- puzzlet_ has quit (Remote closed the connection). 20:50:29 -!- puzzlet has joined. 20:55:37 -!- oerjan has joined. 21:04:11 Well, the pre-nuclear wasteland is so banal. 21:04:38 you could have the game's purpose be to turn it post-nuclear, of course :) 21:05:37 the red ball could be a mad scientist! 21:05:42 actually, it's blue now. 21:06:30 something made it sad? 21:06:54 or did it turn away from its evil communist ways? 21:06:54 there could be a green glowing ball that is a nuclear bomb! 21:07:15 doesn't sound very green to me 21:07:29 not CO2-based, though 21:15:35 oerjan : There was a game. 21:15:39 "Nuclear war" 21:15:51 The goal was to rule the radioactive wasteland at the end! 21:16:10 You could play all the nuclear powers of the cold war! 21:18:28 the commands were mostly build nuclear stuff-build shelter-make propaganda 21:23:59 the red, blue and green faction. all with balls! 21:24:44 sadly, the reason is a much more boring one: red is ugly 21:24:47 "TURN OFF THE GRAVITY, AT FULL POWER!" 21:24:52 :D 21:25:06 clearly a good color for your adversary, then 21:25:06 the game would be great if i just added scrolling 21:25:06 and then, everybody dies 21:25:10 guess i'll do just that 21:25:15 heh, indeed 21:25:29 ...my adversary, or the ball's? 21:26:17 ah, but secretly they're the same! 21:26:34 Maybe you could some sort of one-buttoned controler, for hours of enjoyment 21:26:36 you could explain that in the Epilogue 21:26:52 how did you know i myself am a small 2d ball whose only means of movement is turning gravity on/off 8·|| 21:27:14 i didn't. but now i do. 21:27:15 We're all the same here, oklopol. 21:27:42 We're trying to pretend we're discussing esoteric language, but this is all about the sorrows of being an agravitic ball. 21:27:46 i am a number, not a man! 21:27:51 or a ball. 21:28:05 What's your number? 21:28:53 oh, a little singing and dancing, and a couple of jokes. 21:29:46 http://membres.lycos.fr/bewulf/Divers2/Applause%20(Bender).jpg 21:30:48 and more puns than you can shake a stick at. 21:31:06 heh, i love pun floods 21:31:08 but you could all guess that already. 21:31:11 I'll accept that stick shaking challenge. 21:31:57 * oerjan hates it when his jokes approach too close to actual work. 21:32:38 oklopol: your puny floods are of no consequence 21:34:09 too close to actual work? 21:34:21 or was that just another pun i didn't get :P 21:35:05 i nearly had to enter a challenge there. 21:35:18 lopzol inggggharhar hihihihiip xD 21:35:24 ^^ very eloquent. 21:35:36 Dude, I was just thinking that. 21:35:46 LOPZOL 21:36:20 :D 21:36:22 i try my best 21:37:14 Can't wait for that week to end. 21:37:25 Maybe I can get back on that code of mine. 21:40:20 oerjan: can you honestly say there's a better way to respond to someone using another language than english? 21:40:46 also, i keep trying to save the irc window... and then i don't remember to save my code 21:40:48 lolz 21:50:08 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)). 21:50:43 -!- jix has quit ("CommandQ"). 21:51:00 -!- puzzlet has joined. 22:39:52 -!- ihope_ has joined. 22:44:27 -!- ihope_ has quit (Read error: 104 (Connection reset by peer)). 22:49:13 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 22:55:37 -!- immibis has joined. 22:57:28 * immibis is surprised he's the only person running windows here - it may be evil but it's not THAT evil (at least xp isn't, vista is) 22:57:57 i am running windows 22:58:03 eeew 22:58:27 but also ssh to linux -> irssi 22:58:36 * Slereah runs on windows 22:58:48 I don't even have Linux installed! 22:59:17 i guess this makes this obligatory: http://dotnet.org.za/codingsanity/archive/2007/12/14/review-windows-xp.aspx 22:59:58 3:59PM up 92 days, 5:51, 2 users, load averages: 0.79, 0.71, 0.67 23:00:00 wewt 23:00:04 get that on windows 23:01:13 i think i would get close to that if windows updates didn't have that tendency to require a reboot 23:03:01 slereah: beware of msn virus in that case. 23:03:06 and oerjan too. 23:03:23 bsmntbombdood: why would i WANT to run my computer for 92 days? 23:03:45 * oerjan has it set to hibernate when he closes the lid 23:05:10 try not to get a heart attack or anything from the surprise when i tell you this, but it's actually quite hard to maneuver the ball with just the gravity switch :O 23:05:28 ayeeh, the PAIN 23:05:35 oh, right. 23:06:23 try harder! 23:09:33 the ball? 23:09:39 what ball? 23:09:57 my ball game 23:10:37 guess i'll up it just in case, i'm sure everyone is interested as hell ;)))) 23:12:41 wwhat's a gravity switch? 23:13:25 switches gravity on/off 23:13:45 just an ugly 2d quickie 23:13:46 ummm 23:13:48 Gravity. It's not just a good idea, it's the LAW. Unless you press this switch... 23:15:17 It could be the plot. 23:15:24 A blue ball. On the run from the law. 23:15:27 Of gravity. 23:15:48 Maybe you could include that gravirrific monster from... Final Fantasy? 23:15:49 http://www.vjn.fi/gz/bounca/ 23:15:58 tell me if you 1. try it 2. find bugs 23:15:59 Atomos, the big cubic dude 23:16:10 err 23:16:12 bsmntbombdood: presumably it's so you can run the game so the screen shows either a vertical plane , or a horizontal one (with gravity off). 23:16:16 you don't have to tell me if you try it.. 23:16:23 Which file is it? 23:16:27 both 23:16:29 gravity on = like a vertical plane. gravity off = like a horizontal one. 23:16:32 lev.lev is the lev. 23:16:56 that's one way to reason about it 23:17:06 What should I open it with? 23:17:10 but, i'm not sure whether it's possible for a human to learn to use that 23:17:13 python 23:17:15 and you need pygame. 23:17:26 Not sure I have it 23:17:45 that's the problem with using python 23:17:53 sometimes, others don't 23:18:18 ImportError: No module named pygame 23:18:23 Well, I guess not. 23:18:47 you didn't miss a lot, believe me :) 23:20:04 Come on 23:20:07 A blue ball? 23:20:13 On the run from the law? 23:20:18 With nothing left to lose? 23:21:31 :D 23:21:40 http://dan-ball.jp/en/javagame/dust/ 23:21:43 well, when you put it that way, it's a pretty awesome game 23:22:21 Well, except maybe the "blue ball" part. 23:22:34 Can't you use some picture of a cougar instead? 23:24:22 i've been thinking of making a powder game with an idea 23:24:48 guess i could make one tomorrow or something, since it seems i'm making games now. 23:25:31 i prefer blue balls over cougars 23:26:46 >_< 23:28:49 oerjan: character suggestion? 23:29:05 that was a grown 23:29:12 er, groan 23:29:39 Heh. Gunpower, oil, C4, nitroand some magma. 23:29:51 Great way to scatter som powder. 23:30:09 oh, heh, i never consider smileys anything that complicated 23:33:15 Wikipedia: (>_<) or (>_>) in pain, frustration 23:34:45 ah, i though grown was something a cougar says 23:34:58 errr 23:34:59 ah, there are the rolling eyes i was looking for. 9_9 23:34:59 groan 23:35:16 what was your pain about? 23:35:18 no, it signifies the pain from a bad pun 23:35:27 oklopol> i prefer blue balls over cougars 23:35:41 ohehe 23:35:54 you should be careful with balls, if not deliberately making puns. 23:36:00 >_> is often shifty eyes 23:36:18 "my eyes goin thattaway, me going thisaway" 23:36:23 >_> 23:36:24 <_< 23:36:46 ^_^ 23:37:07 heh 23:37:08 is there a smiley programming language yet? 23:37:13 that used to be my nick 23:37:17 smiley based* 23:37:18 yeah 23:37:23 emoticon, i think 23:37:40 hmm 23:38:02 yeah, emoticon 23:38:13 oh dear 23:38:14 yeah 23:38:18 found it on 99 bottles 23:38:21 ^_^ enters obfuscation mode, but that's pretty much all i remember 23:38:32 oh, cool 23:39:01 mmm 23:39:31 whoever wrote the 99 bottles emoticon entry didn't get into the spirit of things enough 23:39:45 yeah, that's quite boring :\ 23:40:11 too many Song's and Final's 23:40:29 I think my favorite on that site so far is Piet 23:48:11 wtf 23:48:21 i think i've mastered the movements of the ball :O 23:48:32 -!- puzzlet has quit (Remote closed the connection). 23:48:33 -!- puzzlet_ has joined. 23:48:41 at least i can pass the level quite quickly, and it requires you to go through a small hole 23:50:51 hehe, quite awesome 23:51:42 So, mastered your ball hey? 23:51:46 Through a small hole? 23:53:29 holy 23:53:29 This web game is a game that reels the powder by using the mouse, 23:53:30 sends the wind, and enjoys that the dot dances. 23:53:32 engrish 23:59:49 It is quite procrastinating.