00:07:33 6 But thou, when thou prayest, enter into thy closet, and when thou hast shut thy door, pray to thy Father which is in secret; and thy Father which seeth in secret shall reward thee openly. 00:07:33 7 But when ye pray, use not vain repetitions, as the heathen [do]: for they think that they shall be heard for their much speaking. 00:07:43 Been nice knowing you, church-going christians 00:07:49 Or hey anyone who uses the lord's prayer 00:07:53 See you guys in hell 00:08:21 :D 00:08:22 Hmm. Have I actually prayed in public? 00:08:39 It always struck me as kinda dumb to do so. 00:08:39 -!- pikhq_ has changed nick to pikhq. 00:08:53 Have you ever prayed in a church? 00:09:21 Yes. Aforementioned church was almost completely empty. 00:09:24 (preacher's kid) 00:09:32 heh 00:09:42 Ever used the Lord's Prayer more than once? :P 00:09:58 I... Don't think I've ever actually used it. 00:10:14 Well, keep it up :P 00:10:19 I certainly don't have it memorised. 00:10:30 how can't you 00:10:34 Our father, who art in heaven 00:10:36 hallowed by thy name 00:10:41 give us this day our daily bread 00:10:43 something about forgiveness 00:10:46 something about tresspassing 00:10:47 Okay, actually, I do have it memorised. 00:10:48 By accident. 00:10:50 for you are the something something 00:10:51 forgive us our trespasses 00:10:53 forever amen 00:10:59 as we forgive those who trespass against us 00:11:03 lead us not into temptation 00:11:04 I haven't said that since before middle school 00:11:12 or even read it more than once or twice beyond that 00:11:12 and deliver us from evil 00:11:14 so pretty good imo 00:11:40 ehird: It's also amusing to read this: "Judge not, lest ye be judged". 00:11:46 amen~~~ 00:12:11 (that is very, very hard to do, BTW) 00:12:14 pikhq: must be fun reconciling that with the bible 00:12:37 ehird: ... You mean people pay attention to more than the Gospels? 00:12:37 :P 00:12:54 So, where did God say that you should only look at the Gospels? 00:13:30 i may remember it in finnish, but i don't think i've ever actually understood a word of it 00:13:52 Nowhere. He said it replaced the old testament, and everything that comes after the Gospels is basically irrelevant. :P 00:14:14 translation of the lord's prayer to modern, streetwise English!: 00:14:22 Dad, in Heaven, 00:14:26 your name is pretty awesome. 00:14:31 -!- oklopol has quit (Read error: 54 (Connection reset by peer)). 00:14:35 Your ghetto will rock. 00:14:41 People will do shit you ask them to. 00:14:49 -!- oklopol has joined. 00:14:51 In the universe as well as that strange metaphysical dimension shit, man. 00:14:53 i mean i've probably understood it as i've said it, iirc we used to do that a lot in school, i just mean the way i remember it is 100% rote 00:14:55 We like food. 00:15:03 We like doing bad shit! 00:15:09 But we're okay with other people doing bad shit. 00:15:23 Don't make me buy the new iPhone 00:15:32 And stop me doing bad shit. 00:15:35 Amen! 00:16:24 what's the iphone part originally 00:16:43 no it literally says that 00:16:43 huh 00:16:45 stupid 00:16:46 duh 00:16:53 -!- BeholdMyGlory has quit (Remote closed the connection). 00:17:09 i doubt it 00:17:09 DEAR BILLY GRAHAM: We pray the Lord’s Prayer in our church every week, but do you think the time will ever come when God’s will actually is going to be done on earth as it is in heaven (as the prayer says)? The world is so full of evil that I honestly wonder how it could ever happen. — Mrs. D.C. 00:17:10 http://www.kansascity.com/238/story/1374439.html 00:17:25 i try to find anagrams for all 7 letters long words in ~35MB wordlist 00:17:35 and the script in ruby is riddiculously slow 00:25:07 ehird: that really opened my eyes 00:25:23 oklopol: to magic? 00:28:58 the coolest magic of all 00:30:20 i always get a weird feeling when i see someone start talking about the teachings of the bible, it's like that first moment in a movie when you see something that can't happen in real life, you kinda switch into fiction mode 00:30:52 :D 00:31:12 nooga: ruby is ridiculously slow in general 00:31:19 ais523: beep beep FUD 00:31:20 I did exactly that in Perl a few months ago, it took a few minutes 00:31:20 YARV isn't. 00:31:25 If he's using Ruby 1.9, it's not slow. 00:31:25 actually fairly similar to the feeling of the fourth wall being broken 00:31:29 Anything below, yeah, dog slow. 00:31:35 although that's kinda the other way around 00:34:03 -!- FireFly has quit ("Later"). 00:39:20 -!- ais523 has quit (Remote closed the connection). 00:42:31 ehird: It's still slow. And dynamic to boot. 00:42:33 :P 00:42:41 YARV is like python-speed. 00:42:45 i.e. slow 00:42:49 but not dog slow 00:43:22 vomits:its mist moist most omit omits sit sot vim vims vomit 00:43:41 sheesh, 00:43:41 int puts(const char * /*@ observer @*/) 00:43:45 /*@ modifies fileSystem, internalState @*/; 00:43:47 doesn't work 00:43:50 guess it needs to be on the same line 00:44:02 or not 00:44:08 is it asking for a name? xD 00:45:32 hello.c:5:5: Modifies list for main uses global file system state, not included 00:45:32 in globals list. 00:45:39 But I did! 00:45:56 A global variable is used in the modifies clause, but it is not listed in the 00:45:56 globals list. The variable will be added to the globals list. (Use 00:45:56 -warnmissingglobs to inhibit warning) 00:45:58 watttttttttttttttttttttttttttttttttttt 00:46:39 * oerjan read that as involving global warming somehow 00:46:47 -!- olsner has quit ("Leaving"). 00:47:30 also, terawattttttttttttttttttttttttttt 00:47:55 http://pastie.org/580711.txt?key=hshhnvulajwdtdccu5ddhq 00:48:02 I now hate splint. 00:48:12 (The error is that I missed a star.) 00:48:35 ehird: So, needs more type inference? 00:48:43 Shut up man 00:49:35 [22:34] ais523: in this case, it would be (const char * /*@ observer @*/) 00:49:35 ...or observer BEFORE that declaration 00:49:35 argh 00:50:15 what are those /*@ ... @*/ things? 00:51:47 Splint declarations 00:51:53 aka "holy fucking pedantic declarations" 00:52:12 basically once I'm done writing this hello world, if it doesn't work the world's collapsing 00:54:04 `define HFPD 00:54:05 No output. 00:54:16 `define define 00:54:18 * specify: determine the essential quality of \ * give a definition for the meaning of a word; "Define `sadness'" \ * determine the nature of; "What defines a good wine?" 00:55:23 uh 00:56:18 once i thought that such tool as splint might be nice, but then i ran away and never bothered to check how it actually works 00:58:27 i _am_ using it in super-pedantic mode 00:58:35 passing 25 flags 00:58:39 wait, 24 00:58:41 some with arguments 00:58:47 including +strict 00:58:50 which turns on a fuckload of others 00:59:29 wonder if someone uses it that way 00:59:44 no. 00:59:44 perhaps even in NASA they piss on that 01:00:08 hello.c:3:5: Name puts is reserved for the standard library 01:00:09 *groan* 01:00:16 ;D 01:00:51 so now i have to declare properties about puts... 01:00:52 without using it :D 01:03:44 If you use gets, does it delete all your source files and tell you to quit? 01:04:22 xD 01:05:37 AnMaster: there? 01:07:03 whaaaat eeeeeeeels is theeeeeere!? 01:08:12 (The -f flag loads options from filename. —splint) 01:10:14 nooga: i have a hovercraft full! 01:10:49 oh :D 01:11:41 [ehird:~/Code/scraps/2009-08/splint-hello-world] % ./run-splint 01:11:41 Splint 3.1.2 --- 11 Aug 2009 01:11:41 Finished checking --- no warnings 01:11:42 [ehird:~/Code/scraps/2009-08/splint-hello-world] % make 01:11:42 cc -std=c89 -Wall -Wextra -pedantic -c -o hello.o hello.c 01:11:43 cc hello.o -o hello 01:11:45 [ehird:~/Code/scraps/2009-08/splint-hello-world] % ./hello 01:11:45 -!- GregorR-L has joined. 01:11:47 Hello, world! 01:11:49 FUCK YEAH 01:12:19 ehird: Congrats. 01:12:27 pikhq: I didn't even have to declare anything on puts 01:12:31 It inferred everything for me 01:12:40 so I just wrote my puts-return-value-checking hello world, then added: 01:12:40 And you can be sure it's not doing anything you don't want it to. 01:12:43 ;) 01:12:47 /*@globals fileSystem@*/ 01:12:47 /*@modifies fileSystem@*/ 01:12:52 above { 01:12:59 now, to accept user input 01:13:04 (HAHAHAHAHAHAHAHAHAHAHA) 01:13:08 Pastebin? 01:13:17 Is this splint still? 01:13:22 yep 01:13:24 Yeþ. 01:13:25 lawl 01:13:32 I got my obsessive-compulsive splint to let hello world through 01:13:39 He just got "Hello, world" working. 01:13:43 http://pastie.org/580730.txt?key=yyfbz2lopd5zbrenhux4ja 01:13:45 err, s/int argc/void/ 01:13:51 stupid half-written code :D 01:14:02 The stunningly non-trivial Hello, world! 01:14:55 ehird: Hmm. When you write it like *that*, it doesn't seem that bad. 01:15:17 Yeah, it's actually quite simple ... for now. 01:15:21 Wait until I add a data structure. 01:15:28 Of course, nobody uses splint like this :P 01:15:31 It just makes it so that you have to check *all* the error conditions. 01:15:44 And there's far, far too many of them in the C library. 01:16:54 (how many people knew that puts could error out?) 01:17:10 pikhq: Well, 01:17:12 (void) puts("foo"); 01:17:16 voila, splint's off your back 01:18:38 * ehird writes array.h, array.c 01:18:46 (Can't go checking things ourselves now, can we?) 01:18:55 Who needs performance anyway 01:19:04 All the performance coders are using Haskell. 01:19:16 $ time ruby words.rb > anagrams.txt 01:19:16 real29m47.955s 01:19:21 ouch 01:27:06 gnight 01:27:14 -!- Asztal has quit (Read error: 60 (Operation timed out)). 01:33:41 Oh, farking brilliant. 01:33:54 Man carries gun to a town hall meeting where Obama is scheduled to appear. 01:34:05 While carrying a sign that says "It's time to water the tree of liberty." 01:36:37 Oh, and it was happening at a school. (you can't carry a gun within 1,000 feet of a school) 01:37:50 back 01:37:55 pikhq: x_x 01:38:32 I think the Republicans appear more crazy by the day. 01:38:58 And they've appeared pretty damned crazy for a while now. 01:41:06 http://www.fujinonbinos.com/ ← View source and grep hm 01:41:44 *hmm 01:41:47 if splint preprocesses 01:41:51 how can it enforce cpp naming conventions 01:42:10 it doesn't preprocess, it seems 01:42:16 or rather, does it after enforcing cpp 01:46:51 -!- fizzie has quit (wolfe.freenode.net irc.freenode.net). 01:46:52 -!- sebbu has quit (wolfe.freenode.net irc.freenode.net). 01:46:52 -!- bsmntbombdood has quit (wolfe.freenode.net irc.freenode.net). 01:46:52 -!- EgoBot has quit (wolfe.freenode.net irc.freenode.net). 01:46:52 -!- Leonidas has quit (wolfe.freenode.net irc.freenode.net). 01:46:53 -!- pikhq has quit (wolfe.freenode.net irc.freenode.net). 01:46:53 -!- Pthing has quit (wolfe.freenode.net irc.freenode.net). 01:46:54 -!- augur has quit (wolfe.freenode.net irc.freenode.net). 01:46:54 -!- nescience has quit (wolfe.freenode.net irc.freenode.net). 01:46:54 -!- lifthrasiir has quit (wolfe.freenode.net irc.freenode.net). 01:46:54 -!- dbc has quit (wolfe.freenode.net irc.freenode.net). 01:46:54 -!- oerjan has quit (wolfe.freenode.net irc.freenode.net). 01:46:56 -!- AnMaster has quit (wolfe.freenode.net irc.freenode.net). 01:46:56 -!- Slereah_ has quit (wolfe.freenode.net irc.freenode.net). 01:46:56 -!- rodgort has quit (wolfe.freenode.net irc.freenode.net). 01:46:57 -!- Deewiant has quit (wolfe.freenode.net irc.freenode.net). 01:46:57 -!- fungot has quit (wolfe.freenode.net irc.freenode.net). 01:46:57 -!- cmeme has quit (wolfe.freenode.net irc.freenode.net). 01:46:58 -!- CESSMASTER has quit (wolfe.freenode.net irc.freenode.net). 01:47:00 -!- Judofyr has quit (wolfe.freenode.net irc.freenode.net). 01:47:00 -!- ski__ has quit (wolfe.freenode.net irc.freenode.net). 01:47:01 -!- ehird has quit (wolfe.freenode.net irc.freenode.net). 01:47:02 -!- randomity has quit (wolfe.freenode.net irc.freenode.net). 01:47:03 -!- HackEgo has quit (wolfe.freenode.net irc.freenode.net). 01:47:05 -!- nooga has quit (wolfe.freenode.net irc.freenode.net). 01:47:05 -!- lament has quit (wolfe.freenode.net irc.freenode.net). 01:47:05 -!- comex has quit (wolfe.freenode.net irc.freenode.net). 01:47:06 -!- Ilari has quit (wolfe.freenode.net irc.freenode.net). 01:47:06 -!- mycroftiv has quit (wolfe.freenode.net irc.freenode.net). 01:47:07 -!- jix_ has quit (wolfe.freenode.net irc.freenode.net). 01:47:07 -!- SimonRC has quit (wolfe.freenode.net irc.freenode.net). 01:47:07 -!- Dewi has quit (wolfe.freenode.net irc.freenode.net). 01:47:07 -!- Robdgreat has quit (wolfe.freenode.net irc.freenode.net). 01:47:07 -!- ineiros_ has quit (wolfe.freenode.net irc.freenode.net). 01:47:08 -!- mtve has quit (wolfe.freenode.net irc.freenode.net). 01:47:08 -!- MizardX has quit (wolfe.freenode.net irc.freenode.net). 01:47:08 -!- GregorR-L has quit (wolfe.freenode.net irc.freenode.net). 01:47:10 -!- puzzlet has quit (wolfe.freenode.net irc.freenode.net). 01:47:10 -!- Warrigal_ has quit (wolfe.freenode.net irc.freenode.net). 01:50:12 -!- oklopol has quit (Read error: 110 (Connection timed out)). 01:50:31 -!- rodgort has joined. 01:50:31 -!- Slereah_ has joined. 01:50:31 -!- AnMaster has joined. 01:50:31 -!- GregorR-L has joined. 01:50:31 -!- pikhq has joined. 01:50:31 -!- ehird has joined. 01:50:31 -!- MizardX has joined. 01:50:31 -!- nooga has joined. 01:50:31 -!- oerjan has joined. 01:50:31 -!- puzzlet has joined. 01:50:31 -!- jix_ has joined. 01:50:31 -!- Pthing has joined. 01:50:31 -!- Deewiant has joined. 01:50:31 -!- ski__ has joined. 01:50:31 -!- CESSMASTER has joined. 01:50:31 -!- cmeme has joined. 01:50:31 -!- fizzie has joined. 01:50:31 -!- lament has joined. 01:50:31 -!- Judofyr has joined. 01:50:31 -!- sebbu has joined. 01:50:31 -!- augur has joined. 01:50:31 -!- comex has joined. 01:50:31 -!- bsmntbombdood has joined. 01:50:31 -!- SimonRC has joined. 01:50:31 -!- nescience has joined. 01:50:31 -!- Dewi has joined. 01:50:31 -!- Robdgreat has joined. 01:50:31 -!- Warrigal_ has joined. 01:50:31 -!- Leonidas has joined. 01:50:31 -!- EgoBot has joined. 01:50:31 -!- ineiros_ has joined. 01:50:31 -!- HackEgo has joined. 01:50:31 -!- mycroftiv has joined. 01:50:31 -!- Ilari has joined. 01:50:31 -!- randomity has joined. 01:50:31 -!- mtve has joined. 01:50:31 -!- fungot has joined. 01:50:31 -!- dbc has joined. 01:50:31 -!- lifthrasiir has joined. 01:51:57 -!- rodgort has quit (Remote closed the connection). 01:51:58 -!- rodgort has joined. 01:51:58 pikhq: I lied; that doesn't actually compile cleanly. 01:51:58 ...if you enable +strict-lib. 01:51:58 pikhq: "main.c:8:9: Called procedure puts may access global stdout" 01:51:58 -!- oerjan has quit ("Good night"). 01:51:58 Hahah. 01:51:58 /*@globals fileSystem, stdout, *stdout, errno@*/ 01:51:58 Now it compiles! 01:52:01 -!- GregorR-L has quit (Read error: 60 (Operation timed out)). 01:52:22 int main(void) 01:52:23 { 01:52:24 er 01:52:25 int main(void) 01:52:26 /*@globals fileSystem, stdout, *stdout, errno@*/ 01:52:26 /*@modifies fileSystem, stdout, *stdout, errno@*/ 01:52:26 { 01:53:19 pikhq: It feels ewwily implementation-exposing :P 01:54:13 ehird: Eeeeew. 01:54:25 pikhq: It's not looking at system code, though 01:54:28 It's in its definition file 01:54:34 So it's not exposing anything 01:54:46 just doing exactly what the C standard says 01:54:58 O_O 01:55:03 int main(const int argumentCount, const char *const argumentValues[]) 01:55:03 blah blah blah 01:55:03 printf("Hello, %s!\n", argumentValues[0]); 01:55:05 gets through 01:55:07 oh, wait 01:55:13 argv is always at least one element long 01:55:14 ha 01:55:26 ...[1] works too though. 01:55:32 Win? 01:55:32 oh 01:55:38 pikhq: argv is terminated with a NULL 01:55:42 too clever by half! 01:55:45 Yeah, I was about to say. 01:55:54 would be nice to be warned about that, still 01:56:05 ...okay, [2] works. 01:56:13 LOL 01:56:14 % ./hello 01:56:14 Hello, PATH=/Users/ehird/bin:/usr/local/bin:/opt/local/Library/Frameworks/Python.framework/Versions/2.6/bin:/opt/local/bin:/opt/local/sbin:/Users/ehird/.cabal/bin:/Applications/J/bin:/usr/bin:/bin:/usr/sbin:/sbin! 01:56:22 pikhq: it's picking up the third environ parameter 01:56:26 when i run it 01:56:36 since it's an array 01:56:39 and comes right after argv 01:56:47 (ofc splint doesn't know that, but i'm talking about when i run it) 01:56:58 ehird: Heheheh. 01:57:23 It's easy to forget that environ is also passed to main, isn't it? 01:57:33 oh 01:57:35 splint parse errors 02:00:42 -!- Slereah_ has quit (wolfe.freenode.net irc.freenode.net). 02:00:42 -!- AnMaster has quit (wolfe.freenode.net irc.freenode.net). 02:00:42 -!- rodgort has quit (wolfe.freenode.net irc.freenode.net). 02:00:43 -!- fizzie has quit (wolfe.freenode.net irc.freenode.net). 02:00:43 -!- EgoBot has quit (wolfe.freenode.net irc.freenode.net). 02:00:43 -!- bsmntbombdood has quit (wolfe.freenode.net irc.freenode.net). 02:00:44 -!- sebbu has quit (wolfe.freenode.net irc.freenode.net). 02:00:44 -!- Leonidas has quit (wolfe.freenode.net irc.freenode.net). 02:00:45 -!- lifthrasiir has quit (wolfe.freenode.net irc.freenode.net). 02:00:45 -!- dbc has quit (wolfe.freenode.net irc.freenode.net). 02:00:45 -!- nescience has quit (wolfe.freenode.net irc.freenode.net). 02:00:45 -!- Pthing has quit (wolfe.freenode.net irc.freenode.net). 02:00:46 -!- augur has quit (wolfe.freenode.net irc.freenode.net). 02:00:46 -!- pikhq has quit (wolfe.freenode.net irc.freenode.net). 02:00:46 -!- fungot has quit (wolfe.freenode.net irc.freenode.net). 02:00:46 -!- Deewiant has quit (wolfe.freenode.net irc.freenode.net). 02:00:48 -!- cmeme has quit (wolfe.freenode.net irc.freenode.net). 02:00:50 -!- CESSMASTER has quit (wolfe.freenode.net irc.freenode.net). 02:00:54 -!- ski__ has quit (wolfe.freenode.net irc.freenode.net). 02:00:54 -!- Judofyr has quit (wolfe.freenode.net irc.freenode.net). 02:00:55 -!- ehird has quit (wolfe.freenode.net irc.freenode.net). 02:00:56 -!- randomity has quit (wolfe.freenode.net irc.freenode.net). 02:00:57 -!- HackEgo has quit (wolfe.freenode.net irc.freenode.net). 02:00:58 -!- lament has quit (wolfe.freenode.net irc.freenode.net). 02:00:59 -!- nooga has quit (wolfe.freenode.net irc.freenode.net). 02:00:59 -!- Ilari has quit (wolfe.freenode.net irc.freenode.net). 02:00:59 -!- comex has quit (wolfe.freenode.net irc.freenode.net). 02:01:00 -!- mycroftiv has quit (wolfe.freenode.net irc.freenode.net). 02:01:01 -!- mtve has quit (wolfe.freenode.net irc.freenode.net). 02:01:01 -!- ineiros_ has quit (wolfe.freenode.net irc.freenode.net). 02:01:01 -!- jix_ has quit (wolfe.freenode.net irc.freenode.net). 02:01:02 -!- SimonRC has quit (wolfe.freenode.net irc.freenode.net). 02:01:02 -!- Robdgreat has quit (wolfe.freenode.net irc.freenode.net). 02:01:02 -!- Dewi has quit (wolfe.freenode.net irc.freenode.net). 02:01:02 -!- MizardX has quit (wolfe.freenode.net irc.freenode.net). 02:01:03 -!- Warrigal_ has quit (wolfe.freenode.net irc.freenode.net). 02:01:04 -!- puzzlet has quit (wolfe.freenode.net irc.freenode.net). 02:02:57 -!- nooga has joined. 02:02:57 -!- rodgort has joined. 02:02:57 -!- Slereah_ has joined. 02:02:57 -!- AnMaster has joined. 02:02:57 -!- pikhq has joined. 02:02:57 -!- ehird has joined. 02:02:57 -!- MizardX has joined. 02:02:57 -!- puzzlet has joined. 02:02:57 -!- jix_ has joined. 02:02:57 -!- Pthing has joined. 02:02:57 -!- Deewiant has joined. 02:02:57 -!- ski__ has joined. 02:02:57 -!- CESSMASTER has joined. 02:02:57 -!- cmeme has joined. 02:02:57 -!- fizzie has joined. 02:02:57 -!- lament has joined. 02:02:57 -!- Judofyr has joined. 02:02:57 -!- sebbu has joined. 02:02:57 -!- augur has joined. 02:02:57 -!- comex has joined. 02:02:57 -!- bsmntbombdood has joined. 02:02:57 -!- SimonRC has joined. 02:02:57 -!- nescience has joined. 02:02:57 -!- Dewi has joined. 02:02:57 -!- Robdgreat has joined. 02:02:57 -!- Warrigal_ has joined. 02:02:57 -!- Leonidas has joined. 02:02:57 -!- EgoBot has joined. 02:02:57 -!- ineiros_ has joined. 02:02:57 -!- HackEgo has joined. 02:02:57 -!- mycroftiv has joined. 02:02:57 -!- Ilari has joined. 02:02:57 -!- randomity has joined. 02:02:57 -!- mtve has joined. 02:02:57 -!- fungot has joined. 02:02:57 -!- dbc has joined. 02:02:57 -!- lifthrasiir has joined. 02:04:09 lol 02:04:14 if (argumentCount < 1) 02:04:15 { 02:04:15 printf("usage: %s greetee\n", argumentValues[0]); 02:04:19 wants me to check if I have an argv[0] :D 02:04:34 ...HOW DO I DO THAT X_X 02:05:32 ah 02:05:33 http://www.splint.org/manual/html/sec9.html 02:05:34 maybe 02:05:35 if (TRUE) 02:06:03 if (world_has_not_imploded) 02:06:05 Hmm. Actually, check to make sure argv is not NULL? 02:07:12 hee 02:07:16 /*@requires maxRead(argumentValues) == (argumentValues + argumentCount)@*/ 02:07:17 almost works 02:07:29 main.c:16:32: Possible out-of-bounds read: argumentValues[0] 02:07:29 Unable to resolve constraint: 02:07:29 requires >= 0 - 02:07:31 ahahahahahaa 02:07:36 * ehird makes it unsigned 02:07:50 LOL 02:08:06 even unsigned it wants me to check it's greater to or equal than a minus number 02:08:20 also (argumentCount < 1) is comparing incompatible types 02:09:17 pikhq: no 02:09:21 !NULL doesn't satisfy it 02:09:27 it could still be out of bounds 02:09:38 wait 02:09:41 it's complaining about another line 02:09:45 durr 02:09:51 it never complained about one of my lines 02:10:26 int main(const unsigned int argumentCount, const char *const argumentValues[]) 02:10:26 :P 02:11:46 hmm 02:15:39 fffffff 02:15:41 in if (argumentCount < (unsigned int)1) 02:15:45 it accepts argumentValues[0] 02:15:47 but in the else clause 02:15:48 it doesn't 02:16:28 Gwwwuhh? 02:17:14 hmm okay splint is on crack, it's satisfied that !(argumentCount < (unsigned int)1) but wants proof that (argumentCount >= 1) 02:17:16 :D 02:17:19 -!- nooga has quit (Read error: 54 (Connection reset by peer)). 02:17:34 If this were C++, it'd have a point. 02:17:37 I think 02:17:51 Operator overloading's a bitch. ;) 02:17:57 -!- Sgeo has joined. 02:18:09 -!- nooga has joined. 02:23:54 My brain is melting. 02:24:09 SPLINT 02:24:13 As it should be. 02:24:13 I KNOW YOU DON'T LIKE THE LAWS OF ARITHMETIC 02:24:15 BUT IN THIS HOUSE 02:24:19 WE OBEY THEM 02:24:33 NOW WHAT IS YOUR PROBLEM 02:24:54 pikhq: I think it's going on the principle "If we can do something in one branch, we probably can't do it in another". :D 02:25:32 oh brother 02:25:39 it errors out on the other if I comment out the latter 02:28:52 -!- nooga has quit (Remote closed the connection). 02:29:24 -!- nooga has joined. 02:42:30 -!- nooga has quit (Read error: 54 (Connection reset by peer)). 02:43:01 -!- nooga has joined. 02:56:41 -!- rodgort` has joined. 02:57:05 -!- nooga has quit (Remote closed the connection). 02:57:40 -!- fizzie has quit (wolfe.freenode.net irc.freenode.net). 02:57:40 -!- rodgort has quit (wolfe.freenode.net irc.freenode.net). 02:57:56 -!- nooga has joined. 02:59:23 * Sgeo msgs someone about Circe repos 03:00:32 -!- fizzie has joined. 03:00:34 -!- fizzie` has joined. 03:00:34 -!- fizzie has quit (Read error: 54 (Connection reset by peer)). 03:02:32 Sgeo: nobody cares about that shitty 100-line client. 03:02:49 It has more than 100 lines! 03:04:30 -!- ehird has quit. 03:08:41 -!- nooga has quit (Remote closed the connection). 03:09:32 -!- nooga has joined. 03:40:29 -!- nooga has quit (Success). 04:09:16 -!- Gracenotes has joined. 05:04:10 -!- Pthing has quit (Remote closed the connection). 05:06:30 Someone should make an esolang where the file has to start with .LOG 05:29:11 would it be possible to stream video in a way that bitrate can gracefully degrade on a low bandwidth connection? 05:57:48 Yes, but it's not all that good. 05:57:52 See Real Video. 06:06:42 you ought to be able to do it with n log n precomputation 06:50:35 -!- FireFly has joined. 07:06:27 -!- Xenophobe has joined. 07:06:34 -!- Xenophobe has left (?). 07:53:34 -!- Xenophobe has joined. 07:57:55 -!- Xenophobe has left (?). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:27:34 -!- coppro has joined. 08:36:21 -!- olsner has joined. 08:49:15 Someone should make an esolang where the file has to start with .LOG <-- eh why? 08:49:53 Windows Notepad, when it opens a file that starts with .LOG, automatically adds a datetime stamp 08:53:31 really? 08:54:38 http://support.microsoft.com/kb/260563 08:55:26 http://www.ehow.com/how_4887314_turn-xp-notepad-log-book.html 08:57:51 -!- M0ny has joined. 09:00:05 Anyways, sleep now 09:00:08 G'night all 09:00:33 hi 09:00:47 'night Sgeo 09:16:57 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 09:25:57 -!- MigoMipo has joined. 09:35:36 -!- CESSMASTER has quit (Read error: 110 (Connection timed out)). 10:50:53 -!- evenant has joined. 10:52:26 -!- nescience has quit (Read error: 104 (Connection reset by peer)). 11:11:24 -!- oerjan has joined. 11:22:33 * oerjan thinks xkcd has a math error today 11:23:45 that may of course be a result of hallucination 11:28:30 Well, "top prime's divisors'"... 11:28:54 Maybe it's some artistic license to fit in the haikuistic form. 11:29:19 the problem is, that is just a weird way of saying the top prime 11:29:55 you have to take the product of _all_ the primes 11:30:39 Why do I have some sort of stain in my name? 11:30:41 -!- fizzie` has changed nick to fizzie. 11:31:33 It's been noticed by many in the comment thread, but I guess those won't get any official justifications. 11:44:00 -!- oklopol has joined. 12:06:12 -!- oerjan has quit ("leaving"). 12:11:49 -!- BeholdMyGlory has joined. 12:18:43 -!- AnMaster has quit ("ZNC - http://znc.sourceforge.net"). 12:46:48 -!- M0ny has quit. 13:25:42 http://xkcd.com/281/ <-- Is more true than I've previously thought 13:26:16 FireFly : Tell me about it 13:26:23 I'm waiting for 4 different packages. 13:26:32 Ah, only two here 13:26:43 And they're all overseas 13:26:50 One is supposed to arrive today 13:26:54 But I was bored, so I wrote a lil' module for my IRC bot, so it tells me when their location updates 13:27:14 Both of mine are from the states, so they're overseas too 13:29:14 I'm waiting for my wandering-around Finland-local package; it was "sorted" the day before yesterday, delivered to a wrong place yesterday, resent and "sorted" again yesterday-evening, and now there's no new entries in the tracking system. 13:29:26 Maybe they've decided to ship it to Africa now. 13:29:35 Oh, do we complain about the postal system? 13:29:42 Because I have a totally good one. 13:29:59 See, thanks to the online tracking of packages, I knew that mine was coming yesterday 13:30:21 So I woke up early, because it's a big one and it won't fit in the mailbox and I don't want to go to the post office to get it 13:30:26 So I wait and I wait 13:30:39 And at 4PM, I'm thinking 'It's not gonna arrive now.' 13:30:53 So I go to my mailbox, and in there is a message from the mailman. 13:31:02 "Your package is too big, come take it here" 13:31:08 :o 13:31:08 I KNOW IT'S TOO BIG 13:31:15 WHY DIDN'T YOU RING 13:31:18 I WAS THERE 13:31:19 how did he know you are gay 13:31:25 do you live in a pink house or something 13:31:34 So I try to go to said postal center 13:31:40 I go to the wrong street 13:31:47 Turns out it's actually IN THE NEXT TOWN 13:32:00 I try to go there, but even before I reach it, it's closing time. 13:32:07 \o/ 13:32:13 So now, he's supposed to come back today 13:32:19 And HE'D BETTER RING 13:32:29 Slereah_: if you were a mailman, would you ring a doorbell at 4am? 13:32:49 You need to set up a trap. Maybe one of those rope-with-a-loop type of things. 13:33:00 oklopol : He passed at 3PM 13:33:04 Or a carrot in a box. 13:33:05 oh. 13:33:11 Iwas there 13:33:13 Awake 13:33:13 pm, right. 13:33:16 Waiting for him 13:33:59 -!- CESSMASTER has joined. 13:34:23 I don't think the local post service tries to ring either. In fact, I'm not sure they even take larger-than-average packages with them, they just bring the note. 13:34:59 But if that's the case 13:35:06 Why is he coming back today to try again? 13:36:05 I mean, if he's not going to ring, I'd rather go take it to the post office 13:36:06 That's different, of course. That sounds more like what the UPS-style delivery companies do. And I'm sure the postal system does have a direct-to-home delivery service, it's just that the default cheapest thing isn't it. 13:36:12 Also most of the time, they do ring 13:36:31 Maybe you got a terminally shy deliveryperson. 13:37:00 But I'm such a nice guy :3 13:37:10 He's intimidated by the size of your package. 13:37:15 Or she's. 13:37:20 <3 13:39:57 http://www.dailymail.co.uk/news/article-1156265/Radioactive-paedophile-suspect-run-skipping-court.html 13:42:30 -!- ehird has joined. 13:47:48 party ehird!" 13:47:50 *! 13:47:55 yeah party fuck yeah 13:49:06 "Partyhird" should have a meaning. 13:50:29 Party Hird 13:50:33 As a name 13:50:47 fucked up kids names are fun 13:51:54 "and this is Party Qwerty One Plus E To The Power Of I Times Pi Equals Zero Hird; One Plus E To The Power Of I Times Pi for short." 13:53:58 speaking of xkcd, I will, one day, make http://xkcd.com/413/ a reality 13:54:03 well, apart from the soul bit 14:10:56 -!- nooga has joined. 14:11:32 FO 14:13:36 A BCD number is not the same as a straight binary number. 14:15:23 no... nos hit 14:15:24 ... 14:15:26 no shit 14:16:55 05:39:57 http://www.dailymail.co.uk/news/article-1156265/Radioactive-paedophile-suspect-run-skipping-court.html 14:16:56 * ehird scratches head at that URL 14:16:59 * ehird clicks, but... carefully 14:17:02 in fact it's such a useless comment i'm wondering if it's a gay joke 14:17:10 although those are pretty rare in our lecture materials 14:17:15 oklopol: xD 14:17:56 oklopol: i saw someone say "duh, it's easy! " to a guy who said he never really "got" BCD 14:19:06 is this guy a baker or a cleaner 14:20:11 oklopol, not everyone who doesn't find exactly the same things easy as you is stupid :P 14:21:09 you only think that because you don't know what quotient rings are! 14:21:55 and in case that wasn't a very clear joke, yes, that is true, and i'm aware of that to some degree. 14:22:52 quotient rings are like... when you have a wizard 14:23:00 in a corridor (this corridor is the wizard) 14:23:07 and he moves along (entering the universe) 14:23:12 but then the corridor stops existing, yet it must 14:23:14 so it appears again 14:23:16 the wizard 14:23:17 he 14:23:20 he is trapped forever 14:23:27 he can't get out of the corridor. it's him. 14:23:29 I got into an argument because of BCD, since the lecturer of our "basics of digital systems" or whatever course insisted that absolutely all floating-point numbers everywhere use a powers-of-two representation, while in fact the TI-86 calculator uses something like 14-digit BCD floats with a decimal exponent in the [-999, 999] range. 14:23:47 fizzie: Your university sounds... good :-P 14:24:30 I had to email the lecturer some proof afterwards, IIRC. 14:24:31 fizzie: old 14:24:46 oklopol: Yes, it's not like I'd be getting any new stories from anywhere. 14:25:49 ehird: i have a CS professor who ends all his emails in either "hhhhhhhhhhhhhhhh..." or "ooooooooooo...", and never uses a computer for anything else 14:26:06 oklopol: never reads responses? :D 14:26:14 also do those two endings make any more sense in finnish than they do in english 14:26:21 the reason for those repetitions i don't know, but probably has to do with the fact he has no idea how computers work 14:26:29 if not I'm fairly sure you might be in an insane asylum not a university 14:26:32 it's worth considering 14:26:53 i haven't seen a counterexample yet, fizzie, you, Deewiant, BCD prof guy, esolang prof guy, hhhh/oooo prof guy 14:26:56 he's actually a pretty brilliant man for his age 14:26:56 worth considering. 14:27:13 oklopol: so what he's just trying to type "h"? xD 14:27:21 no matter what you ask him, after a while in solitary confinement in his room, he'll have a perfect answer and understanding of the matter 14:27:31 oklopol: P=NP 14:27:32 do it now 14:27:57 i'm not at uni 14:28:04 in fact i'm on the toilet 14:28:09 go there 14:28:38 ehird: i have no idea why those h's and o's appear, and i'm the only one who gets them 14:28:55 maybe it's code for "will you marry me" 14:29:01 We once found a ~/dead.letter file from the root account of the Linux server in our high school, which had some real content written by a math teacher first, and then a long string of stuff like "^X ^C ^D ^X ^X ^[ exit quit exit exit" and finally the Finnish sentences "millä tämän tösselön saa tallettamaan? ei tadia [sic] toimia." 14:29:05 h or o is 1 or 0, the repeating is just so it stands out 14:29:09 chronological order 14:29:13 Oklopol can translate the Finnish part so that it preserves the tone. 14:29:37 "BCD prof guy, esolang prof guy, hhhh/oooo prof guy" 14:29:38 Nice names 14:29:50 FireFly: yeah i make up names pretty spontaneously 14:29:53 hard to shake it after 14:30:00 fizzie: i'm not sure i can translate "tssel" :D 14:30:14 fizzie: Haha, he must've used vi[m] 14:30:20 Sounds like the name of some swedish island to me 14:30:27 Deewiant: Or mail(1) 14:30:31 No newline in what fizzie said 14:30:35 so it wouldn't cause an exit 14:30:47 hm wait 14:30:48 ^C 14:30:59 Deewiant: no 14:31:04 ^C and ^[ would have exited insert mode 14:31:28 There were newlines, though, I just compressed a bit. I'm not sure if there was the traditional single-dot-line attempted. 14:31:37 'then a long string of stuff like "^X ^C ^D' 14:31:42 mm 14:31:43 ^X ^K ^C ^D would've been nice 14:31:47 Oh, ^C leaves insert mode as well 14:31:48 s/ / /g 14:31:53 Deewiant: and ^[. 14:32:14 I don't remember details, but it was clear that a very large number of keyboard commands had been attempted. 14:32:16 Yeah, that one I just didn't notice at first 14:32:37 http://blogs.msdn.com/oldnewthing/archive/2004/06/03/147583.aspx <3 14:33:00 The BCD lecturer wasn't very high in the hierarchy, certainly no professor; maybe some sort of post-graduate student. 14:34:20 everyone in university is either a student or a professor, don't you know the basic hierarchy of everythings 14:34:24 sheesh 14:35:33 also they all have crazy white hair 14:35:40 are all male, are all like 70 14:35:56 and all wear white lab coats all the time 14:36:45 this is know to be true. 14:38:09 sounds about right 14:38:17 -!- randomit1 has joined. 14:38:59 randomit1: a few possibilities here 14:39:02 (a) random it 1 14:39:07 (b) rand omit 1 14:39:11 (c) rando MIT 1 14:39:12 which is it 14:39:29 Ayn Rand never forgets her 1's 14:39:44 yes he might be a heretic though. 14:39:46 you can never tell 14:40:13 rand-o-MIT 14:40:23 right! 14:40:34 left! 14:40:37 every day a random first-year (= year-1) MIT student gets to come on IRC and blab 14:40:39 it's brilliant! 14:41:36 "randomit" is finnish and means "randoms" 14:41:52 random's 1 14:42:06 anyway goddamn randomit1 put us out of our speculation 14:42:14 R and D omit one. 14:42:15 *goddammit, even 14:42:24 Wait, that's an extra D. 14:42:27 hey it's the six degrees of wikipedia guy 14:42:35 i found this out using hostname, realname and google 14:43:23 "22/7 (pi) is a non-terminating, non-repeating decimal. It is an irrational number." —yahoo answers 14:43:23 Obligatory cyber-stalking procedure has now been completed? 14:43:28 miss and a swing? 14:43:33 fizzie: quite so 14:43:34 i'd say we get a bit overenthusiastic over new people 14:43:39 oklopol: they're so rare! 14:43:44 we can harvest their organs and stuff. 14:43:45 well sure 14:44:09 also let me point out mine and fizzie's almost simultaneous stalking stoppery effort 14:44:13 it's kind of annoying when they don't say anything though. 14:44:33 oklopol: hey I'd whoised just to look 14:44:43 but then googled the name since he was stupidly refusing to talk! 14:44:55 then i saw that the website was .de which my brain had memorised his hostname as being 14:44:56 umm 14:44:58 well makes sense 14:44:59 okay this isn't sounding any less creepy 14:44:59 :D 14:45:08 Yes, it is certainly stupid not to talk to an overtly crazy person. 14:45:40 quite so 14:45:42 ehird: it's not .de though 14:45:50 at least not on my screen 14:45:52 http://www.netsoc.tcd.ie/~mu/wiki/ 14:45:55 (a) tcd.ie 14:45:57 (b) stephen dolan 14:45:59 (c) mu@ 14:46:06 from whois: 14:46:07 spoon.netsoc.tcd.ie 14:46:08 i=mu 14:46:10 Stephen Dolan 14:47:17 Next, find out his hair color and foot size and habitual body odor. 14:47:49 he's in here, it's fairly safe to assume that his body odour is more or less indescribably bad 14:47:58 :D 14:48:04 i just took a shower 14:48:12 hair color, I'm gonna say black or dark brown, there seems to be commonness of that among geeknerdthingies 14:48:16 umm foot size 14:48:20 either really tiny or really big 14:48:22 i have a blond hair 14:48:28 (also applies to nevermind 14:48:32 i have average size feet 14:48:45 oklopol: you're platonically not actually in here, though 14:49:18 sorry it's .ie not .de 14:49:24 i was wondering why its site was in english for a second there 14:50:05 randomit1: please don't make all this effort wasted 14:50:16 i told you so 14:50:22 ;_; 14:51:05 it seems even boolean algebras are pretty after a few courses of algebra 14:51:17 they'd gotten a bit dull 14:51:28 -!- GregorR-L has joined. 14:51:28 algebra is indian magics 14:51:39 party, GregorR-L! 14:51:42 hello GregorR-L 14:51:48 we're stalking a new guy who hasn't said anything 14:51:55 he's the six degrees of wikipedia guy, and uh that's about it 14:51:56 Woooh, who? 14:52:02 randomit1 14:52:11 randomit1: http://codu.org/5ctj/ woooh :P 14:52:12 stalking people is very boring when their name gives a relevant #1 google result 14:52:24 GregorR-L: he's been in for like 5-10 minutes and hasn't said a thing 14:53:27 It's the standard "play dead" response when confronted by a large, wild animal. 14:53:42 ehird, large? 14:53:49 wat 14:54:31 ehird: that you are a very small, domesticated animal 14:54:50 The ferocity makes up for any deficiencies in size. 14:55:00 That's what SHE said. 14:55:08 -!- randomity has quit (Read error: 113 (No route to host)). 14:55:12 :D 14:55:15 Womp womp :P 14:55:17 that's not randomit1 14:55:20 so it was just a nick change 14:55:26 oh? 14:55:28 i haven't seen randomity in here before though 14:55:29 so 14:55:30 oklopol: i meant 14:55:33 not the same connection 14:56:03 It does sort of explain the name; "randomit1" is a reasonable alt-nick for "randomity". 14:56:56 First signgs of any randomity in my logs are from 2009-07-07 and there's even some talk. 14:57:15 Signgngngns. 14:57:18 lawl 14:57:58 I decree that ehird's reaction is randumbity. 14:58:25 xD 15:08:16 http://imgur.com/9qS5U.png The first person to read this shorthand and tell me the English text gets a cookie. 15:08:38 Hm 15:08:44 I was expecting shorthand. 15:08:48 Oooh, a glider! 15:08:48 It is shorthand. 15:08:50 Not some encoding. 15:08:54 GregorR-L: it isn't 15:09:00 Suuuuuuuuuuuure 15:09:08 GregorR-L: Protip: The characters are all shoved together. 15:09:13 Also, you can clearly see commas. 15:09:13 In that case, I was expecting it to be scanned at more than 2dpi 15:09:19 It's not a scanning. 15:09:22 It's an accurate computer rendering. 15:09:37 uh 15:09:42 Srsly, if you find the commas, colons and the letter that occurs a lot, you've basically cracked it. 15:09:46 font size 1 ? 15:10:32 I can read parts of it, anyway. Would need more practice to read more effectively. But it'd be fine for notes, since you'd basically remember what you're writing anyway. 15:11:54 Oh, final hint: It's two columns; the second comes after the first. 15:12:10 No semantic reason, just using the space more effectively. 15:12:53 -!- Asztal has joined. 15:13:07 http://codu.org/imgs/dinosaurComic.php?panels=0,1,5&comics=92,07,1128&strip 15:14:16 xD 15:14:28 ehird: did you make that? 15:14:45 oklopol: Partly. 15:14:57 He just resized it to 50x25 :P 15:14:58 It wouldn't be nearly as short without my addition. 15:15:03 GregorR-L: stfu, I didn't do that at all 15:15:04 Congratulations! You found Jesus in 3 clicks! yay 15:15:07 no regular font was involved in the process 15:15:25 nooga: YAY 15:15:39 from a canadian hockey player 15:15:50 Pff, too easy. 15:15:55 -> Canada -> Christianity -> Jesus 15:15:59 yep 15:17:33 what's the different kind of restarts 15:17:50 ...? 15:17:55 Oh 15:18:05 Normally it prevents you from revisiting a page you've seen before. 15:18:11 So the more you go through the more difficult it gets. 15:18:19 But you can also restart that data if you're a wimp. 15:19:00 oklopol: If you want, an extra hint about the shorthand: The direct mappable result from it is 546 characters long; the text originally used and what you are meant to comprehend is 725 characters long. 15:19:36 what? where do the rest go 15:19:46 do you mean some characters just disappear 15:19:49 Graham_Land 15:19:50 Antarctica 15:19:51 South_America 15:19:53 Roman_Catholic_Church 15:19:54 oklopol: if you can get at the 546 long text, your brain can fill in the rest semi-easily 15:19:55 Jesus 15:19:57 tadaa 15:20:07 ehird: right. 15:20:17 well, not that easily, but the source text isn't very comprehendable really 15:20:26 oklopol: I'll help you by giving you one of the lord's prayer 15:20:35 not that you'll even bother 15:20:38 but i like to think you would. 15:22:46 as i if wouldn't bother. 15:22:50 *as if i 15:22:52 eh 15:23:31 http://imgur.com/GK8QT.png 15:23:35 lord's prayer, with linebreaks and shit 15:24:24 really, knowing the linebreaks there's some very obvious structure in some words 15:25:45 okay much harder than i though 15:26:01 oklopol: protip: first word of the second line 15:26:09 second word of the fourth line 15:26:13 "hallowed", "will" 15:26:33 if i need more hints, i'll ask 15:26:39 sure thing :P 15:36:37 okay, i don't want more hints, but i'm not going to crack it now 15:36:53 you suck 15:36:56 it's trivial 15:37:21 i only do the systematic approach well, and i don't have time for that 15:37:33 it's not anything special 15:37:38 the chars are just bunched up making it look hard 15:38:08 not sure how i'm supposed to respond to that 15:38:09 I drew a diagram of the communication done by a hypothetical program. For the part that's done over the Internet, I drew a big bubble and labeled it "WEBERNETS". My sponsor here was confused :P 15:38:36 isn't it *webbernets 15:39:14 ehird: That is not shorthand. 15:39:45 pikhq: Yes, 'tis. 15:40:13 ehird: Shorthand scripts are human scripts. 15:40:20 pikhq: ehird doesn't understand that "shorthand" isn't a general word for all forms of smaller writing. 15:40:24 That is not human. Thus, not shorthand. QED. 15:40:30 GregorR-L: Ah. 15:40:33 GregorR-L: That's because it isn't, idiot. 15:40:43 ehird: ... But it is. 15:40:44 ehird: Erm. Isn't. 15:40:56 :) 15:40:56 But hey, why not make assumptions about something that you've said is incomprehensible to you? 15:41:08 ehird: Shorthand is a script that is easier and faster to write than normal script. 15:41:20 and that isn't? 15:41:31 Unless you regularly write out bitmaps, that isn't shorthand. :P 15:41:41 pikhq: yeah, uh, I could have drawn it by hand 15:41:53 funnily enough, computers can draw nowadays 15:42:00 I didn't because it wasn't needed 15:42:09 ehird: ... You fail. 15:42:22 let me confirm 15:42:30 Pitman is a shorthand system. That is a binary text encoding. 15:42:32 if i wrote a computer program that spit out a blocky version of gregg's shorthand 15:42:38 then it wouldn't be shorthand>? 15:42:39 pikhq: BULLSHIT 15:42:42 there are letter forms there 15:42:52 "I can't read it" != "it's a bitmap representing binary" 15:43:02 Oh, there are actual letter forms? That's not shorthand, that's longhand. :P 15:43:17 Letter forms that mesh together, yes. 15:43:21 Not all of them though. 15:43:27 Longhand... 15:43:47 Not all the letters are written out. 15:43:53 Besides, it's way more concise than writing them out normally. 15:46:40 pikhq: I'll prove it to you 15:46:48 Give me some text, I'll give you an image of it. 15:48:28 ehird: so is that meant to be a script a human writes faster than the usual one? 15:48:54 if yes, i doubt it succeeds at that, if not, what's your definition of shorthand? 15:49:04 -!- MigoMipo has quit (Nick collision from services.). 15:49:05 -!- MigoMipo_ has joined. 15:49:13 -!- MigoMipo_ has quit (Remote closed the connection). 15:49:17 The writing time is probably about the same or a little shorter; but even a little bit is a great improvement. The major advantage is that it's much smaller. 15:49:24 -!- MigoMipo has joined. 15:49:41 You can fit many notes on one piece of paper quite quickly and then read them semi-easily later on. 15:50:30 i don't think that's one of the usual things "shorthand" implies 15:50:42 I don't see why no 15:50:42 t 15:50:57 if it's in your definition, then that's definitely shorthand 15:51:08 oklopol: anyway, the actual writing will be significantly shorter 15:51:17 there's much less to write 15:51:20 i'm just trying to resolve the conflict, because i'm annoyed by your definition conflicts 15:51:21 there's a small cognitive overhead, though 15:51:24 which would balance it out 15:51:31 as i am by all definition conflicts 15:56:33 -!- Asztal has quit (Connection timed out). 15:56:46 There is a microSD card slot in this GPRS/3G/etc. USB-stick-modem, but none of the instructions say what it's for, except that a microSD card is not included. I guess it shows up as a mass storage device, I'm just not quite sure why it's there. 15:57:29 Oh, and quite many of these sticks start out as pretending to be a mass storage device containing the (Windows) drivers; then you need to poke them so that they transmogrify to a USB serial device. 15:57:50 i hate usb stick 15:57:51 s 15:57:52 -!- Asztal has joined. 15:57:56 HURRRRRRRR I'LL JUST POKE OUT OF YOUR LAPTOP 15:57:57 fizzie: That is so dumb. 15:58:03 HURF DURF I'M A STICK 15:58:06 DO NOT COME NEAR ME 15:58:08 OR I WILL POKE YOU 15:58:12 "I HATE USB SPECS. MUST HAVE WINDOWS DRIVERS!" 15:58:16 I TALK USB ^______________^ 15:58:29 ehird: okay i think i've crached it, actually 15:58:36 I crached your mom 15:59:33 took me longer than it should've, maybe, but as i've mentioned, i don't like thinking outside the box, not at all the kind of puzzle i'm good at 15:59:48 so, what do you think it is 15:59:58 also i mean i crached the encryption, haven't looked at the actual code yet 16:00:28 well uh 16:00:31 there's no encryption 16:00:35 do you mean you decoded the letter forms or 16:00:43 i mean what i obviously mean 16:00:50 xD 16:01:14 exactly 16:03:42 Judge Leonard Davis of the U.S. District Court for the Eastern District of Texas issued a permanent injunction that "prohibits Microsoft from selling or importing to the United States any Microsoft Word products that have the capability of opening .XML, .DOCX or DOCM files (XML files) containing custom XML," according to a statement released by attorneys for the plantiff, i4i. 16:03:50 Die, Microsoft! Die! 16:03:57 um 16:03:57 Toronto-based i4i sued Microsoft in March 2007 alleging that the Redmond,Wash.-based software giant violated its 1998 patent (No. 5,787,449) for a document system that eliminated the need for manually embedded formatting codes. 16:04:04 APPEAL, MICROSOFT 16:04:04 APPEAL 16:04:20 ehird: "And the priests told M-someone..."? 16:04:48 oklopol: correct 16:04:54 do a bit more? 16:04:59 "M-someone" doesn't inspire confidence 16:05:00 :P 16:05:01 okay, then i can read it, and yes, it was trivial 16:05:03 err 16:05:04 no not now 16:05:06 shoppe time 16:05:10 oklopol: wait 16:05:13 what's the m-someone 16:05:14 full word 16:05:38 meh :P 16:05:50 "me"? 16:06:05 it's just m and a comma isn't it 16:06:31 oklopol: yes :P 16:06:41 anyway you probably dislike it because it's trivial eh 16:06:45 then why would you expect me to guess it without reading more 16:07:23 well as i suck at that sort of puzzles, it was relatively tedious to crack. 16:07:29 which makes it sorta fun 16:07:32 *made 16:07:37 shoppers -> 16:10:06 -!- nooga has quit (Remote closed the connection). 16:19:31 -!- Pthing has joined. 16:22:03 I'm so glad project Xanadu didn't take off 16:22:21 [[Every document can contain a royalty mechanism at any desired degree of granularity to ensure payment on any portion accessed, including virtual copies ("transclusions") of all or part of the document. 16:22:22 Every Xanadu service provider can charge their users at any rate they choose for the storage, retrieval and publishing of documents.]] 16:22:35 unenforcable, illogical DRM built right in... 16:28:52 There were OS X drivers on the fake mass-storage thing, so I installed those; the (very ugly, operator-themed) control program found the UMTS network, but said "general error: 1002" when trying to connect. So I told the laptop to restart (there were two modems in the network port list and everything), and now it no longer boots. 16:29:08 I'm used to incompetence by the telephone operators, but this is on another level entirely. 16:29:23 -!- Asztal has quit (Connection timed out). 16:30:20 There's the OS X boot screen (grey apple logo with the round animated twirly thing below it), but at some point a black square (approximately 1/3rd of the screen width/height) appears in the middle, and the animated thing freezes up. 16:30:45 i'm tempted to try and debug that over irc 16:31:13 I'm going to go make some food now, I doubt you can debug that without any assistance from me. Though it'd certainly be impressive. 16:31:25 aummmmmmmmmmmmmm 16:31:27 AUUUUUUUUUUUUUUMMMMMMMMMMMMMMMMMMMMMMMMMM 16:31:28 it's fixed 16:31:31 to start it up again 16:31:34 all you have to do is 16:31:36 step one 16:31:36 :P 16:31:51 -!- Asztal has joined. 16:38:43 -!- nooga has joined. 16:39:12 gawd i hate c++ 16:39:48 nooga: 'Tis awful. 16:39:48 heh 16:39:52 Or anything C D: 16:40:10 True, but not in the way you mean. 16:40:31 i'm serious 16:40:41 templates were the most stupid ideas on earth 16:40:50 idea* 16:41:15 Well, it did boot in the hold-shift "Safe Boot" mode. Going to try to deinstall those drivers; even if they worked, the control application was so incredibly ugly I can't see myself using it. 16:41:35 nooga: With the worst possible implementation. 16:41:38 so uh why do all laptops suck! 16:41:45 is important question of importantness. 16:42:01 stroustrup was on acid 16:42:02 Such a verbose notation for the untyped lambda calculus. 16:42:10 eyah 16:43:35 grr. 16:49:18 -!- Asztal has quit (Connection timed out). 16:49:51 -!- Asztal has joined. 16:58:43 -!- BeholdMyGlory has quit (Remote closed the connection). 16:59:08 hm? 16:59:16 hm what 16:59:29 hm grr 17:00:30 [16:41] ehird: so uh why do all laptops suck! 17:00:31 [16:41] ehird: is important question of importantness. 17:02:04 what's wrong with laptops 17:02:58 oklopol: they're all compromises. compromises of stupid. 17:03:07 pikhq: http://www.osl.iu.edu/~kyross/templ-interp.html ohhhh 17:04:13 either they're gigantic and you can't fit them on your lap, or they're really hot and you can't fit them on your lap, or they're really heavy and you can't loosely carry them around, or they have a shitty battery life (anything under six hours, basically; preferably 7+) so you can't go somewhere without worrying about charging them, or they have a dog-slow processor 17:04:24 oh, or they have a glossy screen and you can't use them in daylight at all 17:04:44 ehird: true 17:05:04 ehird: right, shitty battery life 17:05:11 i won't argue that 17:05:16 the thinkpad x200 comes pretty close; like nine hours battery life with the 9-cell battery, runs cool, is just 12" diagonal, has a matte screen, with the 9-cell battery is like 3.5lbs (= 1.58kg) 17:05:22 and has a proper core 2 duo 2.4ghz processor 17:05:35 stick an ssd in it and that weight goes down a bit too, speed up as well 17:05:54 disadvantages: doesn't have a trackpad, just a nipple mouse (may be a plus depending on which you prefer), 17:05:54 macbooks are pretty well designed 17:06:01 apparently the backlight isn't good enough for outdoor use 17:06:18 ibms always had those uncool lcds 17:06:37 nooga: the regular macbook is almost 1.5x the weight of the x200 with a 9-cell battery 17:06:44 and get four hours less battery life 17:06:47 and is a bit bigger 17:06:50 nooga: uncool? you mean matte? 17:06:51 yea 17:06:56 as in, not GLOSSY GLOSSY REFLECTING ALL OVER THE PLACE 17:06:58 ISN'T YOUR FACE SO PRETTY 17:07:05 I'M SURE YOU WANT TO SEE IT INSTEAD OF MY PIXELS 17:07:11 LET'S GO OUTSIDE SO WE CAN SEE EVEN MORE OF YOUR FACE! 17:07:14 yaaaaaaaay 17:07:16 my HP got 3h battery life under linux ;F 17:07:23 yes, that's exactly what i look for in a display, unusability 17:07:40 glossy displays are really bad 17:07:49 nooga: all macs are glossy 17:08:03 so i don't know what you're trying to say with "uncool" 17:08:04 i mean the colors and quailty of picture was poor on every ibm i looked at 17:08:12 mm 17:08:13 it's lenovo now 17:08:19 and the reviews of the screens are generally positive 17:08:23 oh 17:08:26 also some thinkpads have LED backlights nowadays 17:08:28 it was long time ago 17:08:28 which will be great 17:08:29 dunno if the x200 does 17:08:53 nah, oh well 17:09:01 so here's my list of changes to make the x200 absolutely perfect 17:09:21 - make the display LED-backlit, this should fix the supposed (ok, very anecdotal; just one review) outdoors problem; 17:09:23 - if not, fix it 17:09:32 - add a trackpad 17:09:38 - maybe make it a little lighter with the 9-cell 17:09:52 the list for most other laptops is like 10 items 17:10:46 (the list for the toshiba portege r600, as far as I can tell, is "make the processor regular core 2 duo instead of low-voltage without changing anything else at all", but obviously that's rather unrealistic) 17:10:48 brb reboot, my stable OS X 10.5.8 is unstable again 17:11:52 -!- nooga has quit ("Leaving..."). 17:19:06 -!- Asztal has quit (Success). 17:19:51 -!- Asztal has joined. 17:24:53 -!- nooga has joined. 17:25:24 fuck you Apple! 17:25:26 my OS X booted for 10 minutes! 17:25:51 Might I suggest using a quicker-booting OS? 17:26:08 Like... a Disk Operating System? 17:26:16 pikhq: macs boot from power button in 15-20 seconds to desktop 17:26:18 it always booted in 30 secs 17:26:27 ehird: I'm kidding. 17:26:28 it's not OS X's fault he's added a bunch of shit 17:26:30 :P 17:26:41 ehird: I'm well-aware that OS X has reasonable boot times. 17:26:51 However, nooga is easy to mock. 17:26:55 (and DOS boots faster!) 17:27:01 usually 20-30 secs 17:27:17 something strange happened and i can't even see what 17:27:20 do you think I could pay Lenovo to change the ThinkPad X200 to be just awesome enough that my misgivings melt away 17:28:58 you could manually replace the display 17:29:20 the display is almost perfect 17:29:28 just give it an LED backlight 17:29:35 but, kind of impossible to do manually 17:29:41 esp since it's high-dpi 17:29:44 12something 17:29:57 it has the same res as the 13" macbook/macbook air/macbook pro in 12" 17:30:08 probably they are 12something perfect displays with led backlight to buy 17:30:11 anyway that can't fix the fact that the 9-cell battery bulges a little 17:30:22 well i say a little 17:30:23 i mean a lot 17:30:24 or the fact that there isn't a trackpad 17:30:32 nooga: not really, no 17:30:34 connect a mouse? 17:30:50 one of those mini ones on bt 17:31:12 nooga: erm you realise that i wouldn't be wanting to pay the premium for a 12" laptop and <2kg and 9-hour battery life if I didn't want something I can just pick up and use forever 17:31:20 a mouse kinda breaks that 17:31:24 oh 17:32:21 it's so close though 17:32:31 adding a trackpad would be, I think, perfectly possible with basically no compromise 17:32:38 making the display LED obviously is too (well, you compromise on price) 17:32:53 making the 9-cell stick out less would be a challenge, but I wouldn't mind if the first two were done 17:32:55 well 17:33:00 you'd have extra space 17:33:05 since the trackpad would make it a little deeper 17:33:20 omg it's so cool that iPhone OS is almost BSD ;d 17:33:41 i could even use STL if i want 17:35:46 Uh, yeah... iPhone OS is heavily patched OS X... 17:35:48 hmm apparently the x200 might be led from googling 17:35:51 skeptical though 17:35:59 and there's still the claim that it isn't bright enough for outdoor use 17:36:09 nope 17:36:10 they're not 17:37:16 the x301 has it, but it only goes up to 1.40ghz low-voltage 17:37:22 = slooooooow 17:37:33 So, of course it's almost BSD. It's a bastardisation of the hybrid of NeXT, BSD, SysV, and Mac OS, with a couple splashes of GNU. 17:37:33 and since it has a 13" display, I can't pilfer it and put it in the x200 17:38:50 ugh 17:39:05 swing and a miss, so many times 17:39:11 just make a good laptop ff 17:39:11 s 17:39:18 -!- jix has joined. 17:41:27 pikhq: baaah 17:43:40 -!- Asztal has quit (Connection timed out). 17:45:50 -!- Asztal has joined. 17:46:46 pikhq: i can't tell the difference 17:46:57 -!- iano has joined. 17:47:07 got bash, got gcc, userland programming feels the same 17:47:24 ... Yeah, that's UNIX. 17:48:03 -!- Judofyr has quit ("raise Hand, 'wave'"). 17:51:19 -!- jix_ has quit (Connection timed out). 17:53:27 -!- BeholdMyGlory has joined. 17:56:05 -!- Judofyr has joined. 17:59:14 x_x 17:59:18 lenovo ships in 9 business days 17:59:25 and there's no option for faster shipping 18:04:22 *sobs* 18:05:28 GregorR-L: Shaddup. 18:05:45 Sweet, my sarcasm was visible EVEN IN TEXT. 18:06:20 GregorR-L: I'm not complaining just because I'm impatient, FYI 18:10:23 -!- Asztal has quit (Success). 18:11:52 -!- Asztal has joined. 18:16:16 pikhq: so it IS UNIX? 18:16:34 nooga: Like I said, it's heavily patched OS X. 18:16:44 Which is to say, it's heavily patched UNIX. 18:17:10 "Heavily patched OS X" = "UNIX patched so far it's unrecognizable" probably :P 18:17:32 GregorR-L: No, most of the patching is at the GUI level. 18:21:13 Crazitude. I got that 3G stick to work so that I try to run the "ISP" application, let it find the network and set the device up, press connect there and get a "error 1002", then sneakily open up OS X's built in "internet connect" tool and tell *that* to connect. 18:25:32 probably pikhq i right 18:42:10 GregorR-L: uhh, no 18:42:12 OS X is certified unix 18:42:54 UNIX is more than a certification. 18:43:02 It's a feeling. 18:43:02 A mood. 18:43:02 A flavor. 18:43:35 It is a state of mind. 18:43:56 A state of mind that OS X is SORELY lacking in. 18:44:19 GregorR-L: Translation of what you are attempting to say: 18:44:32 "I hate OS X; why must the facts oppose me so?" 18:45:04 I'm not denying that OS X is UNIX. 18:45:12 OS X is certainly more a true UNIX than Linux is. 18:45:32 But that's just a certification thing; there's more to UNIX than the certification. 18:45:46 Yeah, uh, GregorR-L? Shut up. What you are saying: UNIX = the GUI. 18:45:55 I open a terminal, and I get 100% unix, no exceptions, no "wrong state of mind". 18:46:08 Unless your argument is "ZOMG!! THEY CHANGED THE PATH NAMES!!" 18:46:15 In which case, consider yourself stabbed. 18:46:37 In spite of the fact that the path names are, in fact, a part of what makes the look and feel of UNIX? 18:47:55 Ladies and gentlemen, I give to you GregorR-L. He is so desperate for a rational reason to hate OS X and claim it's not a UNIX that he resorts to "they renamed the paths". 18:48:07 -!- kar8nga has joined. 18:49:34 You are an idiot ehird. Truly. This is not my rationale for hating OS X. This is a totally unrelated note on the look-and-feel of the BETTER part of OS X. Many of these things are IMPROVEMENTS from UNIX. Frameworks being one example. But all these improvements make it LESS LIKE UNIX. 18:49:37 You fucking moron. 18:49:50 Damn you an angry man. 18:50:14 You're putting words into my mouth. Stupid, stupid words. 18:50:48 Your face is stupid. 18:51:05 i always liked GregorR-L's face 18:51:23 it's an interesting face 18:51:25 I don't. My giant nose gets in the way :P 18:51:29 :DD 18:51:40 The topic of #esoteric is now GregorR-L's face. 18:51:44 well i'm not saying it's pretty 18:52:01 (note that i'm not saying it isn't either) 18:52:04 Oh zin 18:52:04 g 18:52:13 Why'dyou have to do that last line 18:52:43 because this is such a weird thing to talk about i want to make absolutely sure you see that i'm being absolutely serious. 18:55:37 That was a pretty powerful conversation killer there :P 18:55:55 :) 18:56:01 [19:52:58] well i'm not saying it's pretty 18:56:01 [19:52:58] (note that i'm not saying it isn't either) 18:56:01 [19:52:58] Oh zin 18:56:01 [19:52:58] g 18:56:01 [19:52:58] Why'dyou have to do that last line 18:56:02 [19:52:58] because this is such a weird thing to talk about i want to make absolutely sure you see that i'm being absolutely serious. 18:56:05 I'm lagspiking again? 18:56:12 (Timestamps...) 18:56:13 yes 18:56:17 I don't know what it means to have an "interesting" face necessarily :P 18:56:36 anyway let's talk about the minutiae of gregor's face to weird him out 18:56:42 quick, assemble all the pictures you can 18:56:48 GregorR-L: that if i saw you on the street, i'd probably consider you a human 18:56:59 Aha! 18:57:02 * GregorR-L writes this down. 18:57:03 xD 18:57:11 oklopol: that's what he wants you to think 18:57:14 he's a NWO reptilian 18:57:38 Now there's something to put in the CV for any future job-seeking: "oklopol would probably consider me a human". 18:58:39 http://www.facebook.com/profile/pic.php?uid=AAAAAQAQo5IfP_eRlyVPnmMf7lzfAQAAAArtQbYncsgD5DU6UUxM0zQo 18:58:39 A closeup of his face! 18:58:46 Thank you, Google Images. 18:59:04 I estimate it to have about five billion atoms. 19:00:50 sweet, Háskóli means University in icelandic 19:01:37 i wonder why real world haskell doesn't mention that! 19:01:53 they're dumber than a pile of brickrockshits!!! 19:06:57 -!- FireFly has quit (Read error: 104 (Connection reset by peer)). 19:07:57 -!- FireFly has joined. 19:08:57 So, people are stupid. 19:09:04 Also things 19:09:06 . 19:09:15 so have you noticed youtube comments are kinda stupid 19:10:09 How novel 19:10:29 oklopol: yeah but people and things are almost as stupid 19:10:42 Slereah_: are you saying someone has noticed that before 19:10:56 because it's kinda subtle. 19:11:30 Well no, that's why I said it was novel 19:11:45 i think xkcd did a comic about that once 19:11:51 he always sees the subtle side of things. 19:13:40 Theres the one about the function to force people to listen to their comments before sending them 19:13:43 and here i thought that comic was about being able to sing along with the music you're listening to 19:13:52 i mean. with the reader thingie. 19:13:58 FireFly: that doesnt' exist 19:13:59 you're lying 19:14:03 xkcd has never done that. 19:14:11 oklopol: :D 19:14:12 it was 19:14:15 FireFly is just stupi 19:14:16 d 19:14:18 with a d 19:14:35 Stupid with a D 19:14:47 yes. 19:15:13 D 19:15:18 is stupid 19:16:27 The language? 19:16:32 YOUR MOM 19:16:48 getting kinda nonsensical, people. 19:16:55 How original 19:16:57 YOUUUUUUUUURRRRRRR MOOOOOOOOOOOOOOOOOOOOOMMMMMMMMMMMM 19:17:04 IS NONNNNNNNNNNSENNNNNNNNNSIIIIIIIIIIIIIICAAAAAAAAAAAAAAAALLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLL:LLLLLLLLLLLLLLLLLLLLLL 19:17:04 what perceptional gems i sow today. 19:17:18 perceptional de,s dems dem sde 19:18:26 people:elope pole lope plop pele pope ole lop pop pep 19:18:35 Elope the people 19:18:43 pl0p your mony 19:18:44 lol 19:18:47 Elope the people who pl0p your mony 19:18:50 plop is a word :D 19:18:59 Elope the pole people who pl0p your mony 19:19:02 i knew this one guy who learned "elope" in a dictionary, then used it through high school in every situation possible 19:19:07 Elope the pole people who pl0p your loping mony pope 19:19:14 i also know a guy named plop 19:19:17 but that's another story 19:19:26 oklopol: How many situations to use the word "elope" are there? 19:19:32 although these two guys are actually childhood friends, and were both in that high school 19:19:36 Elope the popping, lopping pole pep people who pl0p your loping mony pope pele - ole! 19:19:43 GregorR-L: surprisingly many, unfortunately! 19:20:05 actually plop was once here 19:20:13 plopmania guy? 19:20:17 yes 19:20:19 is his name... really plop 19:20:20 like, irl 19:20:23 plop ploppingson 19:20:26 well not completely 19:20:33 more like something totally different 19:20:39 yeaaaaah, and you're oklopol omniovorol. 19:20:41 :P 19:20:50 yes, almost fully 19:20:55 or omnivorol, whatever 19:20:59 oklopol: what, really? 19:21:03 your parents are awesome. 19:21:09 or your deed poll, depending 19:21:15 almost:stoma molts moats malts loams atoms mats alms laos stoa last loam alts lost soma lots malt alto slot mast slat atom moas moat slam also most oast salt oats olms alt oat sam sat olm mat mas lot sot las lam 19:21:44 ehird: i've told my name numerous times :D 19:22:06 Almost molts the stoma moats of atoms; malts, mats and alms last Sam alt I give up 19:22:15 oklopol: not when I'm around :P 19:22:26 ehird: maybe not, maybe not 19:22:32 anagrams are awesome 19:22:54 "Almost molts the stoma moats of atoms" sounds awesome 19:23:56 i haven't done anagrams that much, more of a palindrome guy 19:24:01 I don't want to know what a stoma moat is. 19:24:29 Nor do I. 19:24:42 I know what a stoma is and what a moat is. I don't want the combination. 19:25:47 Exactly :P 19:27:10 lament:mental mantle mantel meant leant metal late elan name amen etal etna tale lame lane neat melt lean ante leat lent meat male malt tame mane teal team mean mate meal man mat let lea men lam met eta elm eat net ate ant tan tea ale alt ten 19:27:36 mental lame team ate late tea 19:27:51 .. 19:27:52 amen 19:28:25 haha i just remembered what a stoma is :D 19:28:59 oklopol: do an anagram palindrome 19:29:06 also fit an acronym in there while you're busy being awesome 19:30:06 Men named lament's mental mantle meant late leant metal. 19:31:27 That is, 19:31:43 Let M be the mental mantle of men named lament. 19:31:56 M meant, when it communicated some thing, P. 19:32:06 P is metal that was leant and was not returned on time (late). 19:33:22 i woder if it's possible to teach machine grammar and build a lexical knowledge base using raw data like wordlists and a clever contraption working like re-captcha 19:33:39 isn't that just nlp stuff 19:33:46 yea 19:33:52 but distributed 19:33:55 yes, when you lean, you better return on time or your back starts hurting 19:34:05 nooga: useless 19:34:07 nooga: Possible? Probably. Feasible? Questionable. 19:34:07 NLP works fine 19:34:17 uh 19:34:45 pikhq: nooga: Possible? Probably. Feasible? Questionable. && ehird: nooga: useless << WE'RE ON #ESOTERIC ! 19:34:53 duh 19:34:56 nooga 19:34:59 stop being stupid 19:35:07 guess what else is possible, unfeasible and useless 19:35:23 billions of things 19:35:24 You spelling "infeasible" properly? 19:35:27 yes 19:35:28 jumping off a cliff and landing on a trampoline, surviving and jumping back up 19:35:30 the different? 19:35:32 *difference 19:35:33 that's AWESOME 19:35:35 your idea isn't. 19:35:39 GregorR-L: see also my leaning joke! 19:35:57 oklopol: oh i just got that 19:35:58 ehird: that's not awesome 19:36:01 you can get hurt 19:36:11 nooga: aren't you polish 19:36:15 so? 19:36:17 QED 19:37:33 LADIES AND GENTLEMEN, LET ME INTRODUCE TO YOU THIS DUDE NAMED EHIRD WHO IS SO STUPID HE HAS TO RESORT TO FACTS ABOUT LESSER PEOPLES TO WIN AN ARGUMENT. 19:37:45 Quite so 19:38:46 really weird formal proof 19:39:11 indirect one i'd say 19:39:46 i'd say it wasn't very POLISHED 19:39:58 ahuhuhuh 19:41:15 seventeenfold glio 19:42:04 polish:spoil hips soil slop hops slip lips lisp silo shop oils ship posh oil lop sip lip hop soh his sop hip 19:42:48 what's soh ? 19:43:52 Silo shop spoils, soils Polish hips with posh oils; lopped lip sips hops, his sop slop lisps, slips, soh... 19:44:12 ("An anglicised spelling of so" :P) 19:44:52 ("(music) A syllable used in solfège to represent the fifth note of a major scale." :P) 19:44:54 ah, is þat ſoh? 19:44:58 lol 19:45:44 say "Silo shop spoils, soils Polish hips with posh oils; lopped lip sips hops, his sop slop lisps, slips, soh..." ten times fast 19:45:49 "sol" 19:45:54 People who say "soh" are weird. 19:46:01 Don't care :P 19:48:46 I dho noht har 19:48:56 Solfège abuse makes me cry. 19:49:15 "Soh" is solfège abuse. 19:49:23 It's "so", anyway. 19:49:58 Sow, a needle pulling thread, something something, tea, a drink with jam and bread, etc. 19:49:58 -!- iano has quit. 19:50:38 thread:hatred dearth earth heart heard rated hater trade death hated hared tread hard trad tear tahr rhea hare read hart rate hate drat dear date head hear dart dare heat herd her rad rat hat ate ear red eat had tar tea eta ted the era art are 19:51:08 Do, a deer, a female deer. Re, a drop of golden sun. Mi, a name I call myself. Fa, a long long way to run. So, a needle pulling thread. La, a note to follow so. Ti, a drink with jam and bread. And that brings us back to do. 19:51:13 Dearth Earth hatred rated hard death rate heat, something. 19:51:21 * pikhq has seen "The Sound of Music"... A few too many times. 19:51:39 "a note to follow so" is wayyyyyyyy copout. 19:51:52 Yup. 19:53:20 http://en.wikipedia.org/wiki/Trim_(programming)#Usage 19:53:21 Oh, Objective-C. 19:53:44 i lol'd 19:54:04 -!- oklopol has quit (Read error: 54 (Connection reset by peer)). 19:54:26 -!- oklopol has joined. 19:55:26 awk is a nice language 19:55:30 why don't people like awk? 19:55:41 It's the name. 19:55:46 AWKward. 19:56:06 Let's call it modernly; PERL is dead, long live Perl; AWK is dead, long live Awk! 19:56:18 It's too quacky. 19:56:29 Awk > Perl. :P 19:56:34 so's your mom, fizzie. 19:57:50 huh, awk doesn't support \d 19:57:53 or [:digit:] 19:58:31 -!- oklokok has joined. 19:58:51 I find that latter thing very unbelievable, since the [[:digit:]] construction is a POSIX thing. 19:59:35 awk '/^[[:digit:]]*$/ { print; }' does seem to do what one'd expect. 19:59:51 Though this is of course the GNU awk. 20:00:34 too verbose 20:00:52 nooga: you are uncouth as a horse. 20:02:58 awk could do with better one line syntax 20:03:04 erm 20:03:20 i just said that [[:digit:]] is too verbose 20:05:04 Yes, it should be something XML-based instead. 20:05:16 With namespaces and all. 20:05:35 Oh, you said "too verbose", not "not verbose enough". Nevermind. 20:06:35 \d is fine 20:06:48 regexps kinda suck 20:07:20 nah, they're cool 20:07:27 but mostly write only 20:07:33 Yes, I'd much prefer a language where you pick up a pen and a graphing tablet and draw a little FSM instead. 20:07:43 ;D 20:08:13 SQLs suck, they should think about something nicer 20:08:20 [[:digit:]], then you can just do [0-9] anyway 20:08:29 or use \d 20:08:39 Well, if \d isn't available 20:11:22 Also with [0-9] you don't get the arabic-indic digit zero .. nine, or the Nko digits, or Devanagari digits, or any others. (Though I'm honestly not sure about \d or [[:digit:]] either. I think in Perl at least \d equals [[:digit:]] equals \p{IsDigit}, and that last one is defined with the Unicode Nd property, which all those digits share.) 20:12:55 fizzie: graphing tablet? you mean tablet notebook! 20:13:05 fizzie: no, \[0-9\], isn't it 20:13:17 err 20:13:18 FireFly: 20:13:30 Ah 20:13:34 No ERE? 20:14:50 http://en.wikipedia.org/wiki/Regex#POSIX_character_classes <-- Wiki says [:digit:] == \d == [0-9] 20:14:55 But they may be inaccurate 20:15:20 I can't seem to make ५ match even \p{IsDigit}, so maybe it's actually limited to 0-9 really. 20:15:53 btw. any new, exciting esolangs? 20:15:56 * ehird wonders if sketching out a sane regex syntax would be sane 20:16:15 i feel that it's really hard to invent something that does not resemble existing langs 20:17:34 posix character classes need to be enclosed in another set of [ ] 20:17:44 [[:digit:]], [^[:digit]] 20:18:01 We have, in fact, sort-of established that already. 20:18:26 Maybe not explicitly, though. 20:19:26 -!- oklopol has quit (Read error: 110 (Connection timed out)). 20:19:30 http://www.regular-expressions.info/posixbrackets.html 20:19:50 \p{Nd} 20:21:12 Ah, it was just an encoding problem. 20:21:19 perl -e 'use utf8; print "yay\n" if "५" =~ /\d/;' does print out "yay". 20:21:51 what is ५ ? 20:22:05 Devanagari digit five. 20:22:22 http://en.wiktionary.org/wiki/%E0%A5%AB 20:22:43 eh 20:23:29 eh what 20:24:40 eh ird 20:29:31 "Password: must contain at least one uppercase character." 20:29:32 Fuck you! 20:31:03 if space and ! is permitted then you've gota nice password 20:31:59 :D 20:32:01 <3 gmail 20:32:10 emailing things to myself = awesome 20:32:22 google searchable, fluid, labelable, freetext remembering system 20:32:41 and accessible anywhere! 20:33:28 yep 20:34:06 the best way to remembre things not important enough to commit to memory, imo 20:34:09 *remember 20:36:59 now if only forums died and people used mailing lists instead 20:38:02 -!- oerjan has joined. 20:40:29 i have so many windows open right now, yet I'm planning to migrate to a 1280x800 12.1" laptop... 20:40:55 (yes, laptop; this one is small and cool enough to fit on my lap :P) 20:42:25 pikhq: aren't you a fan of tiling window managers? 20:42:30 i might be joining you in some days... 20:44:03 ehird: Tiling WMs are quite nice when you want to have everything use the entire screen. 20:44:21 Or, of course, if you just like ZOMG tiling. 20:44:23 12 inches of 1280x800... pretty sure I'm not gonna have more than two windows on the screen at once, ever 20:44:53 On a 12 inch screen? Yeah, more than two windows is sure to be painful. 20:45:02 still, that's over 120 dpi 20:45:11 so I'll be able to pack a good amount of pixels in 20:45:22 still have misgivings about 12.1" vs 13.3", though 20:45:30 1.2" can make all the difference; that's what she said. 20:46:16 http://www.youtube.com/watch?v=ZWpkZksn3Rw ;; the sleek laptop I'm prolly getting, except imagine a bit of poking out at the back due to the 9-cell battery 20:46:28 looks awesome closed 20:46:38 -!- oerjan_ has joined. 20:47:35 i hate how they compare it to the x300, it's annoyingly sleek :) 20:47:49 but x300 people only get an ultra low voltage 1.4ghz vs the x200's regular 2.4ghz, so ha. 20:47:54 yp;l 20:47:55 err 20:47:57 yolk's on you 20:49:26 if I could upgrade the x200 to 13" without too much weight impact I prolly would though 20:49:41 -!- oerjan has quit (Nick collision from services.). 20:49:44 -!- oerjan has joined. 20:50:00 oops 20:50:07 -!- oerjan_ has quit (Client Quit). 20:50:17 -!- oerjan has quit (Remote closed the connection). 20:50:29 -!- oerjan has joined. 20:56:14 -!- oerjan has quit ("leaving"). 20:57:21 -!- oerjan has joined. 21:02:31 * ehird moves his imac far away enough that it appears as the same size the 12" laptop would on his lap 21:10:17 * olsner buys a billion-inch screen then moves it up in space to simulate a 12" display 21:11:30 What a pointless thing to do. 21:11:40 * pikhq buys some screentime on the night sky 21:18:49 * GregorR-L buys all of space. 21:19:01 From ... Russia? 21:21:41 Yes. Russia owns space. 21:21:54 GregorR-L: what's pointless, olsner's idea or me? 21:23:18 err or mine 21:24:14 this mixup could have been hilarious 21:28:54 Yeah, but we screwed up the hilarity. 21:30:14 yeah, we dropped the ball on that one 21:30:25 ehird: Considering that my message was an entire two minutes before olsner's, I'm not sure how that could be confusing. 21:30:36 Wow, wtfbbq? 21:30:38 Some major lagliage going on somewhere. 21:30:42 From my perspective, my message was at 4:08, but the log says it's at 4:11 21:30:44 AMAZING 21:30:59 22:11:30 says mine 21:31:05 your clock is off 21:31:14 -!- GregorR-L has quit ("Leaving"). 21:31:24 -!- GregorR-L has joined. 21:31:32 No, it's not the clock, it's lag. 21:31:42 Because on mine, my message was two minutes BEFORE yours. 21:31:48 But in the canonical log, yours came first. 21:32:20 Stunning. 21:32:34 Now it seems to be working again. 21:33:51 GregorR-L: why pointless? 21:34:34 I refuse to dignify that question with an answer and/or don't care to :P 21:34:53 lol, this is the only level has restarted at stage 31, undefined 21:35:10 GregorR-L: i'm trying to ascertain if the 1280x800 @ 12.1" is sufficient for doing everything 21:35:11 so far, yes 22:11:28 -!- kar8nga has quit (Remote closed the connection). 22:33:21 -!- pikhq has quit (Read error: 104 (Connection reset by peer)). 22:36:50 * ehird mods his mouse 22:37:22 -!- pikhq has joined. 22:53:36 -!- pikhq_ has joined. 23:05:44 -!- GregorR-L has quit ("Leaving"). 23:06:50 -!- MigoMipo has quit ("QuitIRCServerException: MigoMipo disconnected from IRC Server"). 23:07:24 -!- pikhq has quit (Read error: 110 (Connection timed out)). 23:24:19 -!- pikhq_ has changed nick to pikhq. 23:24:28 ehird: by? 23:37:44 it's rather that space owns russia 23:38:11 -!- BeholdMyGlory has quit (Remote closed the connection). 23:38:38 In Soviet Russia... 23:43:28 Space owns YOU 23:43:41 * oerjan swats FireFly -----### 23:43:45 :< 23:43:48 That hurt like pain 23:43:57 sorry, i was getting low on my quota 23:46:43 I wish there were never any lag between my IRC client and the servers. 23:47:54 I'll just have to buy an indestructible dedicated cable going between my Slicehost data center and a freenode server and tell them both to put it in their routing tables. 23:51:54 With emphasis on "just" 23:55:28 it's only/fair