00:12:19 -!- Tritonio_GR has quit (Read error: Connection reset by peer). 00:16:46 http://z7.comicostrich.com/comic.php?cdate=20050530 00:28:46 -!- HackEgo has quit (Ping timeout: 265 seconds). 00:28:48 -!- ais523 has quit (Remote host closed the connection). 00:28:49 -!- HackEgo has joined. 00:32:14 -!- Mathnerd314 has joined. 00:43:00 -!- Alex3012 has quit (Read error: Connection reset by peer). 01:10:20 -!- Sgeo has quit (Ping timeout: 265 seconds). 01:25:44 -!- Sgeo has joined. 01:27:16 -!- ws has quit (Quit: Grab life by the BitchX). 01:31:50 -!- Gregor-L has joined. 01:33:15 -!- Gregor-L has changed nick to Gregor. 02:04:40 -!- augur has joined. 02:04:57 -!- Gracenotes has joined. 02:45:37 -!- oerjan has quit (Quit: Good night). 02:56:00 -!- Gracenotes has quit (Ping timeout: 276 seconds). 02:56:51 -!- Gracenotes has joined. 02:57:44 anyone here played with the Gammaplex interpreter? 03:02:43 Gammaplex? 03:32:55 -!- augur has quit (Ping timeout: 265 seconds). 03:41:34 -!- Corninthekitten has joined. 03:42:14 -!- Corninthekitten has left (?). 04:08:12 -!- lament has joined. 04:11:48 -!- sshc has quit (Quit: leaving). 04:42:59 -!- poiuy_qwert has quit (Quit: Leaving). 04:44:14 -!- augur has joined. 04:50:14 -!- augur has quit (Ping timeout: 265 seconds). 05:04:50 -!- SgeoN1 has joined. 05:08:26 -!- gm|lap has joined. 05:15:57 -!- coppro has joined. 05:24:49 -!- Oranjer has left (?). 05:25:41 -!- Rugxulo has joined. 05:25:53 * Rugxulo wonders if AnMaster ever got the cross compiler going 05:28:38 -!- sshc has joined. 05:36:09 -!- augur has joined. 05:41:56 -!- Rugxulo has left (?). 06:07:45 http://codu.org/music/op13/GRegor-op13-wipp2.ogg 06:42:29 -!- FireFly has joined. 06:49:51 -!- coppro has quit (Quit: I am leaving. You are about to explode.). 06:53:58 -!- marchdown has quit (Ping timeout: 265 seconds). 06:55:48 -!- Sgeo has quit (Remote host closed the connection). 06:58:49 -!- marchdown has joined. 07:09:32 -!- tombom has joined. 07:11:51 -!- augur has quit (Ping timeout: 265 seconds). 07:30:52 Wish I had my earbuds right now. 07:31:15 -!- augur has joined. 07:32:52 Awesome! I can't play downloads and do other things at the same time. 07:39:36 -!- kar8nga has joined. 07:53:03 -!- tombom has quit (Quit: Leaving). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:02:03 -!- SgeoN1 has quit (Read error: Connection reset by peer). 08:02:21 -!- SgeoN1 has joined. 08:11:27 -!- SgeoN1 has quit (Quit: Bye). 08:25:21 -!- MigoMipo has joined. 08:34:06 -!- gm|lap has quit (Ping timeout: 258 seconds). 08:42:57 -!- FireFly has quit (Quit: null). 08:52:01 -!- MigoMipo has quit (Remote host closed the connection). 08:52:18 Gregor: that was pretty good music 09:08:55 -!- BeholdMyGlory has joined. 09:22:23 -!- lament has quit (Ping timeout: 246 seconds). 09:31:23 -!- Tritonio_GR has joined. 09:33:11 -!- sdorand2 has joined. 09:33:29 -!- clog has quit (Ping timeout: 268 seconds). 09:33:29 -!- clog has quit (ended). 09:33:34 -!- clog has joined. 09:33:34 -!- clog has joined. 09:35:13 *growl* 09:35:21 -!- olsner has quit (Ping timeout: 246 seconds). 09:39:52 -!- BeholdMyGlory has quit (Remote host closed the connection). 09:47:07 -!- olsner has joined. 10:07:04 -!- hiato has joined. 10:11:15 -!- MigoMipo has joined. 10:11:17 -!- sdorand2 has quit (Quit: sdorand2). 10:12:10 -!- BeholdMyGlory has joined. 10:37:24 -!- marchdown has quit (Read error: Connection reset by peer). 10:47:04 -!- marchdown has joined. 10:48:23 -!- pikhq has quit (Read error: Connection reset by peer). 10:56:59 -!- Phantom_Hoover has joined. 11:00:42 -!- oerjan has joined. 11:04:39 -!- iamcal has joined. 11:05:59 -!- cal153 has quit (Ping timeout: 268 seconds). 11:07:10 -!- Quadrescence has quit (Ping timeout: 245 seconds). 11:08:33 -!- Quadrescence has joined. 11:09:08 -!- Phantom_Hoover has quit (Remote host closed the connection). 11:09:51 -!- Tritonio_GR has quit (Ping timeout: 246 seconds). 11:15:20 -!- pikhq has joined. 11:26:00 -!- Phantom_Hoover has joined. 11:30:44 -!- kar8nga has quit (Remote host closed the connection). 11:33:49 -!- hiato has quit (Ping timeout: 265 seconds). 11:34:40 -!- hiato has joined. 11:49:24 -!- kar8nga has joined. 11:50:38 -!- Phantom_Hoover has quit (Remote host closed the connection). 11:56:39 -!- bsmntbombdood has quit (Ping timeout: 260 seconds). 12:09:01 -!- bsmntbombdood has joined. 12:11:49 -!- hiato has quit (Ping timeout: 258 seconds). 12:12:44 -!- hiato has joined. 12:17:42 hi 12:26:36 -!- oerjan has quit (Quit: Later). 12:29:36 -!- hiato has quit (Quit: bbl). 12:37:12 -!- SgeoN1 has joined. 12:38:02 Would an aperiodic pattern moving through space have a speed? 12:42:09 why wouldn't it? 12:42:42 how do you define speed? 12:45:26 I think it's defined in terms of how many generations it takes for a pattern to translate itself how far. 12:50:22 -!- Tritonio_GR has joined. 12:50:38 -!- Slereah has quit (Ping timeout: 246 seconds). 12:55:38 -!- Slereah has joined. 12:58:56 -!- Sgeo has joined. 13:23:46 Is there even example of aperioidic pattern that moves? 13:26:02 Pattern that could be interesting: 1) Aperioidic and 2) coordinate limits for some axis tend to same direction without bound. 13:27:43 -!- BeholdMyGlory has quit (Remote host closed the connection). 13:27:53 Except that rake that fires ships with component in direction of motion would satisfy that... 13:34:41 -!- Gregor has quit (Ping timeout: 252 seconds). 14:12:12 http://superosity.keenspot.com/d/20050304.html http://superosity.keenspot.com/sup20100516-big.jpg 14:13:53 -!- Phantom_Hoover has joined. 14:15:02 Hi Phantom_Hoover. Read logs? 14:15:10 No... 14:15:20 * Phantom_Hoover reads logs 14:17:53 Sgeo: There's a pattern that makes the whole universe aperiodic, if it helps. 14:18:22 ? wouldn't that be any gun? 14:18:53 No, not if you run them for eternity. 14:19:05 The spaceships are emitted periodically. 14:23:21 -!- ais523 has joined. 14:29:50 Fun fact: According to the Scotsman, a million people die of hepatitis C per year. 14:30:12 Even though in the same article they said that only 400000 people had it. 14:30:45 In the UK, BtW. 14:31:01 hmm 14:31:25 And the population of the UK is only 60 million. 14:31:52 And only 500,000 people die in the UK per year. 14:37:31 -!- MigoMipo has quit (Read error: Connection reset by peer). 14:46:45 -!- BeholdMyGlory has joined. 15:02:08 -!- Gregor-L has joined. 15:04:15 -!- FireFly has joined. 15:21:05 `translate Yo como esto. 15:21:07 I like this. 15:21:08 WHY WHY WHY 15:21:37 ? 15:22:06 "Yo" means "I"; "como" means either "eat" or "similar to"; "esto" means "this". 15:22:48 Google Translate apparently translated it word-for-word, assuming that "como" in that context meant "similar to", i.e. "like". 15:28:39 I am like this :P 15:29:12 `translate Estoy como esto 15:29:13 I like this 15:29:29 `translate Yo soy como esto 15:29:30 I am like this 15:29:47 `translate uorygl esta como esto 15:29:49 uorygl this like this 15:29:53 Erm 15:30:28 `translate uorygl es como esto 15:30:30 uorygl is like this 15:30:34 Why did I think "esta" X-D 15:31:49 `translate A uorygl es les gusta esto. 15:31:51 A uorygl is like this. 15:32:01 ... 15:32:22 `translate A Kelsey le gusta la comida. 15:32:24 A Kelsey likes the food. 15:32:32 `translate uorygl es les gusta esto. 15:32:34 uorygl is like this. 15:32:52 I conclude that Google Translate is stupid. 15:34:43 `translate uorygl aspira pene de burro 15:34:45 uorygl sucks donkey penis 15:34:59 I don't think Google Translate likes you! 15:38:31 Which language is this? 15:38:51 Malay 15:39:20 ... 15:48:33 -!- Gregor-L has changed nick to Gregor. 15:50:15 -!- ais523 has quit (Remote host closed the connection). 16:02:49 -!- MigoMipo has joined. 16:11:47 -!- rodgort has quit (Quit: Coyote finally caught me). 16:31:26 -!- Mathnerd314_ has joined. 16:32:54 -!- pikhq has quit (Ping timeout: 246 seconds). 16:33:15 -!- yiyus has quit (Ping timeout: 246 seconds). 16:33:36 -!- SimonRC has quit (Ping timeout: 246 seconds). 16:33:36 -!- BeholdMyGlory_ has joined. 16:33:38 -!- olsner has quit (Ping timeout: 246 seconds). 16:33:56 -!- BeholdMyGlory has quit (Ping timeout: 246 seconds). 16:34:09 -!- Mathnerd314 has quit (Ping timeout: 240 seconds). 16:34:11 -!- Mathnerd314_ has changed nick to Mathnerd314. 16:34:34 -!- BeholdMyGlory_ has quit (Changing host). 16:34:34 -!- BeholdMyGlory_ has joined. 16:34:40 -!- BeholdMyGlory_ has changed nick to BeholdMyGlory. 16:35:31 -!- lament has joined. 16:38:03 -!- Gregor has quit (Ping timeout: 252 seconds). 16:38:03 -!- Gregor-L has joined. 16:38:04 -!- pikhq_ has joined. 16:38:04 -!- olsner has joined. 16:39:56 -!- ais523 has joined. 16:41:31 -!- rodgort has joined. 16:42:35 -!- pikhq has joined. 16:42:49 -!- pikhq_ has quit (Ping timeout: 252 seconds). 16:43:39 -!- SimonRC has joined. 16:47:42 -!- yiyus has joined. 16:50:36 -!- pikhq_ has joined. 16:51:08 -!- pikhq has quit (Ping timeout: 246 seconds). 16:51:46 -!- lament has quit (Ping timeout: 264 seconds). 16:59:12 -!- pikhq has joined. 16:59:31 -!- cheater2 has quit (Ping timeout: 248 seconds). 16:59:32 hmm, trying to compile someone else's C++ program, and I'm getting a bizarre error 17:00:03 -!- pikhq_ has quit (Ping timeout: 248 seconds). 17:00:12 "error: no matching function for call to ‘QSet::contains(QSet&)’" "note: candidates are: bool QSet::contains(const T&) const [with T = int]" 17:00:27 in other words, no function matches, or possibly more than one, look, here's exactly one 17:00:47 -!- Tritonio_GR has quit (Read error: Connection reset by peer). 17:01:01 I wonder if something's weird about the mismatch in the amount of constness 17:01:15 -!- kar8nga has quit (Read error: Connection reset by peer). 17:03:17 -!- cheater2 has joined. 17:03:38 -!- marchdown has quit (Read error: Connection reset by peer). 17:08:39 Yes, the "candidates" it list are (I think) just the ones with the same name. 17:09:18 And for QSet, you only have that one that takes a const int&, and your argument is actually a QSet. 17:09:28 aha 17:09:41 the existing function is set-contains-member, rather than set-contains-set 17:10:08 I fear I have the wrong version of various libraries, but I'm just going around fixing things up by hand atm 17:10:20 working out what they're meant to do and rewriting them to something that works 17:10:55 -!- pikhq_ has joined. 17:11:38 -!- pikhq has quit (Ping timeout: 240 seconds). 17:12:01 -!- tombom has joined. 17:13:12 It's even better when the missing library function is a local patch which no-one has bothered to document. 17:13:17 seems the set in question is fixed-size, so I just changed it into four contains calls separated by && 17:16:05 I /did/ notice that the Linux binaries of the thing in question were 404s, which is not an encouraging sign 17:16:11 maybe someone broke the Linux build recently 17:23:16 -!- pikhq_ has quit (Read error: Connection reset by peer). 17:26:54 -!- pikhq has joined. 17:28:03 -!- charlls has joined. 17:36:04 -!- pikhq_ has joined. 17:36:14 -!- pikhq has quit (Ping timeout: 246 seconds). 17:37:01 I think at this point, it's just dropping connections to fuck with me. 17:45:20 -!- pikhq_ has quit (Read error: Connection reset by peer). 17:48:03 * Rugxulo wonders if AnMaster ever got the cross compiler going <-- will look at it during the weekend and later 17:48:07 no time currently 17:48:38 -!- pikhq has joined. 17:49:57 Yeah, the modem is fucking with me. 17:50:00 It keeps resetting. 17:50:32 -!- impomatic has joined. 17:50:36 Hi :-) 17:58:09 -!- cheater2 has quit (Ping timeout: 240 seconds). 18:01:22 -!- pikhq_ has joined. 18:02:11 Modem hates me *so much* 18:02:22 -!- kar8nga has joined. 18:02:31 -!- pikhq has quit (Ping timeout: 260 seconds). 18:12:20 I'm starting a collection of flowchart templates. 18:13:20 -!- pikhq_ has quit (Read error: Operation timed out). 18:13:50 -!- pikhq has joined. 18:18:30 Flowcharts are for cissies! 18:21:44 "Computer and information scientists"? 18:21:52 (Our lab used to be called "CIS".) 18:23:43 No. 18:24:39 (Before it merged with the TCS -- theoretical computer science -- lab to form an ICS -- information and computer science -- department. I can manage to remember that much, but never the corresponding Finnish terms.) 18:25:37 If you mean [[1. sissy, pantywaist, pansy, milksop, Milquetoast -- (a timid man or boy considered childish or unassertive)]], that's spelt differently. 18:28:47 You're such a fizzie 18:29:01 I mean, Hi! 18:29:20 A common typo. 18:29:31 Wordnet doesn't know about me, but as far as I've been told, I'm some sort of a bath product. 18:29:47 :O 18:30:28 This thing you dump in a bath tub and it goes fizzly and gives out some scents and colours the water and whatever. 18:31:34 http://en.wikipedia.org/wiki/Bath_fizzie has a redirect. 18:33:27 * Zuu plobs fizzie into his bath tub 18:34:02 Pretty colors :) 18:34:42 -!- kar8nga has quit (Remote host closed the connection). 18:40:39 -!- Phantom_Hoover_ has joined. 18:44:15 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 18:44:20 -!- Phantom_Hoover_ has changed nick to Phantom_Hoover. 18:47:21 -!- cheater2 has joined. 18:48:57 -!- Phantom_Hoover has quit (Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100423140709]). 18:58:06 -!- Phantom_Hoover has joined. 19:11:20 -!- Phantom_Hoover has quit (Remote host closed the connection). 19:11:39 -!- Phantom_Hoover has joined. 19:16:25 ais523, yay I finally got the toolchain to compile 19:30:43 only to find out the thing needed a C++ cross compiler too 19:30:44 oh well 19:30:48 *starts to compile that* 19:33:41 The Scottish curriculum is the stupidest *ever*. 19:34:30 Where saner systems have GCSEs, the SQA has Foundation, General, Credit (all Standard Grade), Access 3, Intermediate 1 and Intermediate 2. 19:34:41 -!- oerjan has joined. 19:35:23 * oerjan thinks #b3s23 is a rather bad name if you want _other_ than #esoteric regulars to find the channel 19:35:24 And the Standard Grade grading system has 6 types of pass and *4* kinds of fail. 19:35:47 oerjan: Yeah, but #life and #gol were taken. 19:36:05 I might make an announcement on the conwaylife forum. 19:36:12 and they weren't on the same topic? 19:36:53 They may well have been, but both are dead. 19:37:13 hm 19:37:58 #life is registered by one Grub, and #gol by Fluke. 19:38:37 #gameoflife maybe? 19:38:47 oerjan, ? 19:38:51 Baah! 19:38:56 alise missed that. 19:39:16 AnMaster: it's available, it seems 19:39:24 Shouldn't game-of-life talk be on a ##channel anyhow? 19:39:32 Phantom_Hoover, wasn't grub one the nicks that the founder of this network owned? 19:39:33 Hmm, yeah. 19:39:48 hm no 19:39:51 it can't have been 19:39:58 AnMaster: Maybe you're confusing with lilo. :p 19:39:59 "-NickServ- Last seen : (about 2 weeks ago)" 19:40:04 AnMaster: Both are bootloaders, after all. 19:40:06 fizzie, yes but I thought he owned both nicks 19:40:12 The yeah was aimed at fizzie, BtW. 19:40:28 fizzie, Hm is Conway still alive? 19:40:36 if yes he could register a #channel one ;P 19:40:39 certainly 19:41:07 he's probably far too busy to be on irc 19:41:14 heh 19:41:30 -!- Tritonio_GR has joined. 19:41:49 and life is just one of his many inventions, anyway 19:42:27 Conway's done a *lot* of stuff. 19:42:57 some of which is much more mathematically impressive than game of life 19:43:01 good point 19:43:04 Yeah. 19:43:12 AnMaster: Possibly, though the "primary channel" rules say "groups and organizations", not individuals. But he's a mathematician, he can always define himself to be a single-element group. 19:43:13 but GOL *is* most well known 19:43:16 without a doubt 19:43:29 Yes, it's the most well-known bit of his recreational mathematics work. 19:44:09 fizzie: he knows a lot about finite groups, that's for sure ;) 19:44:30 (some of the simple finite groups are named after him) 19:45:10 ("simple" here is in the technical sense, btw, which is far from simple) 19:45:27 He also invented an algorithm for calculating days of the week that can reasonably be done in your head. 19:45:40 (called the "Doomsday algorithm") 19:45:49 pikhq, day of the week given a date or? 19:46:01 AnMaster: Given a date. 19:46:13 pikhq, also does it take into account the Julian/Gregorian switch? 19:46:21 pikhq, and if so, for which country 19:46:24 No, it's purely Gregorian. 19:46:37 hmph, _i_ can calculate days of the week in my head, given enough time, no formula needed ;) 19:46:52 Well. You can adapt the algorithm easily to Julian, but it doesn't account for switch dates. 19:46:58 oerjan: In a few seconds? 19:47:14 pikhq, considering Sweden had a especially funny and problematic switch. IIRC we tried to switch slowly at first by skipping leap year for several years. Except we failed to skip it a lot of the time 19:47:17 given enough time, i said 19:47:26 so one year we gave up, went back to julian by inserting *two* leapdays 19:47:42 then some 50 or whatever years later we switched it all in one go 19:48:02 pikhq, could you handle that ;P 19:48:09 AnMaster: Not trivially. 19:48:30 AnMaster: fwiw the original romans had the same problem with the julian calendar, after julius caesar died there was a messy time when they had leap years every third instead of every fourth year iirc 19:48:43 described under http://en.wikipedia.org/wiki/Gregorian_calendar#Adoption_in_Europe 19:48:58 It would also probably get *royally* screwed up by things like Japan's switch from the Chinese lunar calendar to the Gregorian calendar. 19:49:16 augustus had to fix it, i think 19:49:56 ... And reign years. 19:50:00 pikhq, :D 19:50:16 Japan still uses reign years! 19:50:51 the romans _before_ caesar had a _real_ mess, they had leap months that were inserted by whim by politicians 19:50:53 -!- charlesq__ has joined. 19:51:45 and could be used to shorten or prolong elected terms 19:52:05 -!- charlls has quit (Read error: Connection reset by peer). 19:52:12 Thailand's current official calendar is currently in year 2553, but I don't know/remember the details. 19:52:35 oerjan, ... how silly 19:52:42 Japan is currently in the year 22. 19:52:52 Heisei 22, to be specific. 19:52:53 pikhq, oh? and what do computers in Japan say? 19:53:00 AnMaster: 2010. 19:53:04 good 19:53:09 Anno Domini years are *also* in use. 19:53:19 pikhq, just don't push one? 19:53:20 ;P 19:53:23 AnMaster: especially since they were corrupt enough that it caused the year to drift 19:53:35 And fortunately, the only difference *is* the epoch, so it doesn't matter too much. 19:53:48 http://en.wikipedia.org/wiki/Thai_solar_calendar -- I don't know about computers, but at least product "best before" labels used those years. 19:53:48 oerjan, why didn't they just insert months forever then? 19:53:59 AnMaster: max 1 per year 19:54:13 oerjan, ah. But they did insert one every year presumably? 19:54:51 AnMaster: well sometimes they wanted to _shorten_ the term of someone they didn't like, i think 19:55:15 oerjan, wouldn't it shorten the term for themselves too? 19:55:18 i'm not exactly who decided and whose terms were affected 19:55:23 *+sure 19:55:26 ah 19:56:04 oerjan, also how could it be used to shorten things? After all wouldn't that require inserting a negative leap month!? 19:56:11 the consuls were affected, i think. the years were _named_ after their consuls, so they sort of had to be i think 19:56:44 AnMaster: well shorter than if they inserted one 19:57:44 ah 19:58:12 fizzie: What's with the Chinese numerals? o.O 19:58:27 (the consuls were the two most powerful officials in rome, when there wasn't a dictator) 20:00:10 04:38:02 Would an aperiodic pattern moving through space have a speed? 20:00:22 a truly aperiodic pattern would have to be growing 20:00:48 Hence its growth rate is its speed. 20:00:56 um no 20:01:09 Well. 20:01:12 if it grows to both directions, the average speed might be zero 20:01:18 Yeah, that doesn't work. 20:01:31 i assume "moving through space" implies it moves mostly in one direction, though 20:01:38 -!- impomatic has left (?). 20:01:53 pikhq, says on the page it often also lists that and Gergorian as well? 20:02:07 AnMaster: I'm just not comprehending why is all. 20:02:12 ah no iea 20:02:15 idea* 20:02:19 It's not like Thai is written with Chinese characters! 20:02:42 in which case you could define the speed as the limit of the displacement of the "center of mass" divided by time. there is no guarantee the limit actually _exists_, though 20:02:50 fizzie, since computers internally work with unix time commonly, presumably it might, but it is just a string formatting thing 20:03:41 (the pattern could stop for a while, then go on, then stop, in such a way that the average fluctuates and the limit fails to exist) 20:06:36 Is there even example of aperioidic pattern that moves? 20:07:02 in principle it should exist, since you have constructors, arbitrary computation and stuff 20:11:30 10:33:27 * Zuu plobs fizzie into his bath tub 20:11:30 10:34:02 Pretty colors :) 20:11:54 it's not _healthy_ when someone turns blue in the bath tub, you know 20:13:03 :P 20:13:58 Also, i would just like to inform that it is very annoying to write whitespace sensitive parsers 20:14:23 Zuu: What sort of whitespace sensitivity? 20:14:25 ais523: russian wiki spam 20:14:47 the kind where whitespace have meaning in some places, and doesnt in other places 20:15:14 structure by indentation for instance 20:15:25 So, like Python? 20:15:44 for instance 20:15:56 haskell's indentation system is rather awkward to implement 20:16:17 Do the Python solution. Have the lexer convert it into up-indentation and down-indentation tokens. 20:16:48 hmmm... but that would just be a nasty lexer then 20:16:52 Yeah, Haskell's indentation is very much for the sake of people writing code, not the sake of the compiler. 20:16:53 as in, you cannot do it purely in the lexer - it interacts with the grammar's error rules 20:17:03 although i suppose it could turn out to be better than soing it in the parser 20:17:18 but still, i have linebreak sensitivity too 20:17:18 oerjan: deleted 20:18:28 oh well, my language is soon done, sooo... 20:21:02 pikhq, but how does it handle blank lines with no indentation? 20:21:10 Zuu: I haven't seen you before. 20:21:13 because I'm pretty sure that works 20:21:14 like 20:21:19 (- is indent here): 20:21:23 --code 20:21:25 20:21:29 --more code 20:21:35 AnMaster: only the indentation of actual tokens matter, iirc 20:21:42 oerjan, exactly 20:21:54 but checking for that seems rather nasty 20:22:13 also, indentation of tokens can matter even if it's not the first token on the line 20:22:32 oerjan, also line continuations: 20:22:35 Nasty! 20:22:43 --code(blah blah 20:22:50 although only after the indentation block starters (do, of, where, let) 20:22:51 -- blah blah blahg) 20:22:53 like that 20:22:54 Phantom_Hoover: i think i have peeked in here a few time before :) 20:23:00 if the indention is also done with spaces 20:23:07 then it will be painful 20:23:09 oerjan, ^ 20:23:10 *times 20:23:53 AnMaster: er -- is a line comment in haskell, no continuation involved 20:24:22 line-continuations 20:24:23 oerjan, .... 20:24:25 oerjan, see above 20:24:26 duh 20:24:29 (- is indent here): 20:24:39 oerjan, and I was referring to python mostly 20:24:44 oerjan, as in, in general terms 20:24:58 oerjan, because well, tab tends to render badly with many irc clients 20:25:05 and it was important to be make the thing clear 20:25:12 AnMaster: oh. python is simpler i believe, although even it allows some things to continue, yeah 20:25:31 oerjan, yes and it allows the first case too of no indention on a blank line afaik 20:25:58 in haskell to continue things you need to indent them more than the current block, though, so _that_ detail is simpler in haskell 20:26:48 although it still trips up people in some situations, notably if then else in do blocks (which is modified in the new Haskell 2010 revision) 20:27:23 oerjan, sigh, I was talking about python all along. Not about haskell.. 20:27:30 *shrug* 20:27:37 so? i can talk about haskell for comparison. 20:27:50 well, it seems rather fixed at haskell 20:27:56 :P 20:28:11 er english parsing error 20:29:28 also I do believe my computer is estimating charge time left somewhat incorrectly... "59% charged, 28734e+23 hours and 23 minutes left until fully charged" 20:30:06 AnMaster: also you started your part of the discussion by asking pikhq how the blank lines were done in haskell, which was what i started answering 20:30:07 "ETA 24855d 3:14:07" said a download thing to me an hour ago. 20:30:11 (It's done already.) 20:30:23 fizzie, well that could have been plausible stalled 20:30:24 but... 20:30:42 Maybe your battery-charging is stalled too. The electrons are resting. 20:30:55 fizzie, as far as I know the gnome power applet thingy does this is based on previous charges 20:30:56 as 20:31:04 it looks at the time left before 20:31:22 since percentage charged it isn't a linear function of time 20:31:33 so it uses previously calculated curves for it 20:31:44 okay now it looks even stranger.. 20:32:00 "60% charged, -2 hours and 0 minutes left until fully charged" 20:32:17 and no it wasn't fully charged back then :P 20:34:07 I desire a Klein Bottle hat. 20:35:26 Phantom_Hoover, what does it look like? 20:36:44 A bobble hat with a tube coming from the top and connecting to the side. 20:40:13 * Phantom_Hoover ponders the topology of Life on a Klein bottle. 20:41:19 I suppose that most cylindrical technology would work properly. 20:41:27 And a lot of toroidal stuff. 20:42:00 you just need to connect the top of a cylinder to the bottom in the wrong way 20:42:41 so toroidal mapping on left and right edges, mirror wrapping on bottom/top 20:43:13 Yeah. 20:43:30 The real projective plane might be interesting. 20:44:32 the tricky part with these 2-manifolds i think is convincing yourself each cell still has 8 neighbors in the corners 20:44:32 ais523, gcc configure options docs: "Native Language Support is enabled by default if not doing a canadian cross build." 20:44:36 what on earth XD 20:44:52 oerjan: How can they not? 20:45:04 What happened? I was sleeping 20:45:07 Well, I suppose you'd get into problems on a sphere. 20:45:29 yeah 20:45:38 Someone pinged me 20:46:00 But tori, Klein bottles and the RPP should be fine. 20:46:22 as long as each corner borders the four others it's fine, i think 20:46:27 *three 20:46:57 * Phantom_Hoover looks up topology on WP 20:47:31 this sewing together two-manifolds was basically the starting part of our algebraic topology course 20:47:40 *stuff was 20:48:10 I have not taken an algebraic topology course, wop the advantage is yours. 20:48:18 *MWAHAHAHA* 20:48:28 I dont like how the 'bottle' intersects its own surface 20:48:47 I had to revise complex numbers for about half an hour in class today. 20:48:56 Would be more awesome to have a 'one sided bottle' that didnt intersect itself 20:48:57 Zuu: that's the price for picturing it in three dimensions 20:49:00 Not even difficult complexes, just basic stuff. 20:49:26 Zuu: It's the same reason you can't have a Moebius band in 2D. 20:49:41 oerjan: if you picture it in four dimensions, can you please picture me while holding the bottle? :P 20:50:04 If you can visualise 4D I am utterly envious of you. 20:50:11 I spent several days trying. 20:50:36 Zuu: i don't think there are any non-oriented 2-manifolds without borders (the technical term for one sided bottle :D) that can be embedded without intersection in three dimensions 20:50:44 *non-orientable 20:51:00 That's what soupdragon was on about a while ago 20:51:13 oerjan: i have no idea what you just tried to tell me there :P 20:51:31 Zuu: i repeat, *MWAHAHAHA* 20:51:35 Zuu: You can't have a 3-sided bottle in 3D unless it intersects itself. 20:51:36 :) 20:51:41 s/3-/1-/ 20:51:50 Phantom_Hoover: good, because i dont want one 20:52:03 -!- ChanServ has set channel mode: +o oerjan. 20:52:06 i want a 'one sided' 20:52:11 * Phantom_Hoover is scared 20:52:25 Muhaha, scared fo the one sided bottle :P 20:52:27 * Phantom_Hoover retreats to logs 20:52:27 -!- oerjan has set channel mode: -b *!*quantum@unaffiliated/fax. 20:52:40 me shakes the bottle in front of Phantom_Hoover's face :P 20:52:41 -!- oerjan has set channel mode: -o oerjan. 20:52:47 Zuu: No, oerjan opped himself. 20:52:59 The last two times he did that he banned someone. 20:53:01 unless there are protests 20:53:08 this time, the reverse 20:53:22 Zuu: I meant 1-sided 20:53:38 :) 20:54:17 I suppose i'd have to settle for one with edges then 20:54:55 But a while ago fax/soupdragon said that s?he had a marvellous demonstration of the falsehood of string theory based on the non-orientability(?) of the Klein bottle. 20:55:50 that sounds like two completely unrelated topics to me, but oh well 20:56:16 Yeah, no-one else got it. 20:56:24 Zuu: i think that was about when s?he started unhinging 20:56:32 Without quite a lot of explanation which you can just logread for. 20:56:47 Hehe 20:57:09 Someone pinged me, I was napping 20:57:16 oerjan: It was a sort-of sane argument, but it fell down easily and fax was bloody obnoxious about it. 20:57:51 thats the problem of spending too much time on something, you become too comitted :) 20:59:02 * Sgeo finds it and reads it 20:59:02 Phantom_Hoover: does fax have something against you personally btw, i have a vague idea this is not the first time s?he curses you 20:59:12 *cursed 20:59:25 Um... 20:59:43 this may just be my faulty memory 21:00:12 I ignored h(im|er) during the Brainfuck->Nat thing, and s?he took it badly. 21:00:25 It was not in bad faith, I add. 21:00:32 Sgeo: i pinged you but i've forgotten what i twas 21:00:58 oerjan, about aperiodic needing to be growing, stuff like that 21:01:19 Must revise. 21:01:23 i just wondered if s?he had any remotely sane reason to assume you were actually trying to insult her 21:01:26 Sgeo: yeah 21:01:30 oerjan: No. 21:01:46 ok then 21:01:54 Though I did insult her during the Life thing, sort of. 21:02:04 that's what i meant 21:02:15 But this was after the Klein bottle thing, and she was slightly unhinged already. 21:02:27 OK, I really must go noe. 21:02:37 bye 21:03:19 Bye Phantom_Hoover 21:24:16 -!- poiuy_qwert has joined. 21:25:04 ais523, any idea? 21:30:16 Whoah, my parser seems to work pretty well :) 21:30:43 AnMaster: context? 21:31:26 clearly it's a general statement 21:31:35 do you have _any_ idea 21:32:22 Yeah, as great the amount of different stuff string theory can reproduce, there are limits for it... 21:34:31 -!- augur has quit (Ping timeout: 240 seconds). 21:42:00 -!- charlls has joined. 21:44:54 -!- charlesq__ has quit (Ping timeout: 258 seconds). 21:45:07 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 21:49:22 -!- Phantom_Hoover has joined. 21:59:49 -!- augur has joined. 22:11:00 -!- Phantom_Hoover has set topic: For Game of Life discussion go to ##gameoflife | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 22:14:17 ais523, hm? 22:14:22 ais523, gcc configure options docs: "Native Language Support is enabled by default if not doing a canadian cross build." 22:14:23 ais523, that 22:14:29 ok, I didn't see that line 22:14:38 and canadian cross, it would probably be too tricky to write the configure file 22:14:57 ais523, eh? 22:15:12 because Canada is bilingual? 22:15:15 ;P 22:15:23 no, look up what a canadian cross actually is 22:15:28 you cross-compile a cross-compiler 22:15:29 ah 22:15:34 okay that explains it 22:15:42 Is nice and crazy stuff. 22:15:46 ais523, it did seem very wtf if you interpreted it as I did 22:16:07 ../../gcc-3.4.6/gcc/c-dump.c:136:5: warning: case value '152' not in enumerated type 'enum tree_code' 22:16:07 ../../gcc-3.4.6/gcc/c-dump.c:121:5: warning: case value '153' not in enumerated type 'enum tree_code' 22:16:07 ../../gcc-3.4.6/gcc/c-dump.c:163:5: warning: case value '154' not in enumerated type 'enum tree_code' 22:16:10 lots of warnings 22:16:11 like that 22:16:14 somewhat scary 22:16:23 and yeah I haven't got C++ compiler to work 22:16:48 -!- MigoMipo has quit (Read error: Connection reset by peer). 22:17:20 the thing is... it ends in a non-deterministic place kind of. Sometimes a sub-configure, sometimes in linking, sometimes in compiling. Then in the same sub-configure again even though the issue was supposedly solved already... 22:17:34 and sometimes I made no changes between those 22:25:42 oerjan: Ping pong. 22:26:13 gnop gnip 22:26:21 Excellent. 22:26:27 My very own tac. 22:26:35 *facepalm* 22:26:48 Why? 22:26:55 !userinterps 22:26:57 Installed user interpreters: aol austro b1ff bc bct bfbignum brit brooklyn bypass_ignore chaos chef chiqrsx9p choo cockney ctcp dc drawl drome dubya echo eehird ehird fudd funetak google graph gregor hello id jethro kraut num ook pansy pirate plot postmodern postmodern_aoler redneck reverse rot13 sadbf sfedeesh sffedeesh sffffedeesh sffffffffedeesh slashes svedeesh swedish valspeak warez yodawg 22:27:12 !reverse We automate things, here 22:27:16 ereh ,sgniht etamotua eW 22:27:18 !help postmodern_aoler 22:27:18 Sorry, I have no help for postmodern_aoler! 22:27:25 !help postmodern 22:27:26 Sorry, I have no help for postmodern! 22:27:45 none of those have help messages 22:27:53 !postmodern 22:27:53 they're user-defined commands 22:28:03 ^show 22:28:03 echo reverb rev rot13 rev2 fib wc ul cho choo pow2 source help hw srmlebac uenlsbcmra scramble unscramble 22:28:06 !sh ls interps 22:28:07 1l 22:28:20 ^rev Fungot can do stuff too 22:28:20 oot ffuts od nac tognuF 22:28:36 Is there anything he can't do? 22:29:03 who knows 22:29:05 !sh postmodern 22:29:26 i don't know if those actually are files 22:29:32 !ls 22:29:36 !postmodern Just try it like this 22:29:36 Just try the semiotic object like this semiotically 22:29:45 Oh. 22:29:49 !show postmodern 22:29:50 sh postmodern 22:29:54 oh 22:30:02 !postmodern The rain in Spain falls mainly on the plain. 22:30:03 Tted Kennedy rain the penetrated space of in the penetrated space of Spain the penetrated space of falls mainly on tted Kennedy plain the penetrated space of. 22:30:13 ok it actually _is_ defined that way :D 22:30:47 !sh postmodern Klein bottles are not much good as bottles. 22:30:57 !postmodern Klein bottles are not much good as bottles. 22:30:58 Klein the penetrated space of bottles are not much subliminated homosexuality type as bottles. 22:31:13 I once heard them described as pretzels. 22:32:40 !show graph 22:32:40 perl (sending via DCC) 22:32:58 -!- Phantom_Hoover_ has joined. 22:33:20 Oh, no, I've been underscored. 22:33:40 tragic 22:33:46 !show graph 22:33:46 perl (sending via DCC) 22:34:24 But yeah, the pretzel thing was IIRC in The Number Devil. 22:35:14 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 22:35:21 -!- Phantom_Hoover_ has changed nick to Phantom_Hoover. 22:36:02 That book was probably the first mathematical thing to which I was exposed. 22:37:06 * oerjan never heard of it 22:39:48 I don't know when it was written. 22:40:03 1998. 22:40:16 So you were far past the point of readi it 22:40:44 -!- tombom has quit (Quit: Leaving). 22:40:58 ah 22:42:17 It's for children and teenagers. 22:45:34 Hmm. You're a hard man to Googlestalk, oerjan. 22:45:42 And now I must try to sleep. 22:46:22 Isn't his name nearly the Norwegian equivalent of "John Smith"? 22:46:29 only the last name 22:46:42 -!- Phantom_Hoover has quit (Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100423140709]). 22:47:02 but the first name isn't too rare, either 22:47:41 * Sgeo is somewhat more difficult to Googlestalk than makes sense given his name. 22:48:00 There's some gay DJ in the area with my name 22:48:10 Erm, don't know if he's gay 22:48:17 But I seem to recall something like that 22:49:12 ^echo Fungot also has that confusing echo. 22:49:12 Fungot also has that confusing echo. Fungot also has that confusing echo. 22:49:49 Hm, he mostly plays music for gay people 22:52:00 -!- MizardX has quit (Ping timeout: 276 seconds). 22:56:46 YAY 22:56:53 \o/ 22:56:53 | 22:56:54 /| 22:56:56 ... 22:57:09 way to ruin by happiness... 22:57:22 O_o 22:57:25 I have BrickOS running 22:57:28 on my RCX 22:57:39 at last the cross compiler pain paid off 22:58:02 ais523, fizzie ^ 22:58:10 and oerjan too I guess ^ 23:02:40 A winner is you. 23:04:05 -!- FireFly has quit (Quit: null). 23:04:39 A \o| winner \o/ is |o/ you. 23:04:40 | | | 23:04:40 |\ /| |\ 23:05:19 :O 23:06:04 * Zuu takes the prize and runs 23:06:19 -!- BeholdMyGlory has quit (Remote host closed the connection). 23:06:44 oerjan is in the happy class of people who can utilize the dance and have the bodies align for both the "start of nickname" and "start of comment text" alignments. 23:07:35 What does it look like for start of nickname folks? 23:08:12 It gets unaligned for non-six-letter nicks. 23:08:35 Oh, I understand what you mean now 23:08:37 i thought myndzi's dancers _were_ start of nickname based 23:08:39 Er, I mean, for "start of comment text" folks. It's properly aligned for start-of-nickname alignment. 23:08:41 Yes. 23:08:47 I was confused there. 23:09:06 So \o/ won't work for me 23:09:06 | 23:09:07 |\ 23:09:09 Yeah 23:09:22 but looks right here 23:09:23 Well, it works if you do start-of-nickname. 23:09:24 Or at least, to me, it looks like it won't work for me 23:09:35 So \o/ won't work for me 23:09:35 | 23:09:35 |\ 23:09:35 | 23:09:35 /| 23:09:49 That looks a bit disturbing. 23:09:58 it looks awful in the logs though, with the special characters 23:10:06 whatever they are 23:10:13 Why are special characters even involved? 23:10:18 no idea 23:10:52 Oh look a guy whos leg itself have legs! 23:11:11 that's a nasty outgrowth you have there, sir 23:11:26 Must looke wicked to see that guy run ^^ 23:11:28 He looks like a double amputee 23:11:49 Um, actually, I just now realized that that interpretation is NSFW 23:12:13 it's frequently NSFW anyhow 23:12:21 \m/ \m/ 23:12:21 `\o/´ 23:12:22 | 23:12:22 /`\ 23:12:22 (_| |_) 23:12:32 -!- charlls has quit (Quit: Saliendo). 23:13:13 Can you spread the \m/s out further away and have it spread its hands without limit? 23:13:38 testing \m/ \m/ 23:13:41 nope 23:13:43 Aw. 23:14:45 I like how his feet and hands are several times larger than his head 23:14:59 Those are chains 23:15:19 eh? 23:15:31 At least, to me, they're "chain-y" 23:15:39 Sgeo: your _mind_ is NSFW 23:15:51 Oh, the ms are hands, aren't they 23:16:00 Therefore: remember to leave your mind when going to work. 23:16:05 so i used to think 23:17:12 -!- elliottcable has joined. 23:17:18 god, it’s been a while 23:17:20 ’sup peeps? 23:17:24 I'd have assumed that \m/ is that hand sign, http://en.wikipedia.org/wiki/Corna you know. 23:17:46 elliottcable: lots of life here recently 23:17:51 game of life, that is 23:17:52 no kidding 23:17:57 wasn’t it like 5 people last time I was in here? 23:18:10 O_o 23:18:34 that would have had to be before i joined, and i vaguely thought i'd seen you before... 23:18:45 (2006) 23:30:07 -!- augur has quit (Ping timeout: 260 seconds). 23:34:16 oh elliottcable != ehird? Just same first name XD 23:35:31 nah, it's ec, ehird's worst enemy 23:35:44 evil twin, possibly 23:35:47 good to see you back, anyway 23:35:51 no wait, good twin, obviously 23:36:17 oerjan, XD 23:36:46 ais523, are they really enemies? 23:36:52 worse than you and ehird 23:36:56 or so I'm told 23:36:58 ais523, impressive 23:40:10 -!- augur has joined. 23:43:36 -!- Mathnerd314_ has joined. 23:45:55 -!- Mathnerd314 has quit (Ping timeout: 245 seconds). 23:46:44 -!- Oranjer has joined. 23:47:48 -!- Mathnerd314_ has changed nick to Mathnerd314. 23:53:22 -!- andares has joined. 23:53:35 Hey, how do you copy a value in brainfuck? 23:53:39 I'm having trouble figuring it out. 23:54:04 From p[0] to p[1]? [>+<-] 23:54:15 pikhq, copy, as in non-destructively. 23:54:50 I'm trying to write a brainfuck program to print out a value in ascii (base 10). 23:54:53 Oh, copy. p[0] to p[1] using p[2] as a temporary cell: [>+>+<<-]>>[<<+>>-] 23:55:10 pikhq, thanks! 23:55:18 Oh, that's simple. 23:55:32 Also, the Brainfuck algorithms page on the Esolangs wiki is awesome. 23:55:48 -!- augur has quit (Remote host closed the connection). 23:55:55 Cooool. 23:56:09 I seem to recall that I've stuck everything on there but the array stuff as PEBBLE's standard library. 23:56:15 -!- augur has joined. 23:56:43 When is PEBBLE receiving PSOX integration? 23:56:47 heh. 23:56:54 Someone should play code golf with brainfuck. 23:57:18 anagolf has bf doesn't it? 23:57:38 Sgeo: Too lazy. 23:57:46 andares: Done several times. :) 23:57:49 :p 23:58:03 andares, iirc http://golf.shinh.org/ has brainfuck 23:58:24 ah fun. 23:58:27 Hmm. Perhaps I should make this Brainfuck-to-assembly compiler into a Brainfuck-to-machine-code compiler and port to Brainfuck. 23:59:15 pikhq, better: write llvm bindings for brainfuck ;P 23:59:16 somehow 23:59:22 AnMaster: Bah. 23:59:40 pikhq, well I guess PSOX with llvm bindings would work