00:01:43 huh 00:02:51 -!- FireFly has quit ("Later"). 00:03:22 -!- augur has quit (Read error: 54 (Connection reset by peer)). 00:07:33 -!- BeholdMyGlory has quit (Remote closed the connection). 00:15:11 -!- meanburrito920_ has changed nick to meanburrito920. 00:16:27 -!- Pthing has quit (Remote closed the connection). 00:18:27 night 00:32:03 http://corefault.de/uploads/2009-07-31_140758_webgui.jpg 00:32:09 Do not put the baby in this book. 00:32:32 Did you droo a moustache on it 00:37:13 Not mein! 00:37:18 Apparently it's a university's admission book 00:40:54 -!- NoiseIncreaser has changed nick to Sgeo. 00:49:21 -!- Judofyr has quit (Remote closed the connection). 00:56:46 I seem to kind of remember that book. 00:57:00 Nah. 00:59:25 -!- augur has joined. 01:16:31 -!- jix has quit (Read error: 113 (No route to host)). 01:41:07 -!- meanburrito920 has left (?). 01:44:58 -!- GregorR-L has joined. 01:47:21 -!- zzo38 has joined. 01:47:39 -!- coppro has joined. 01:47:40 Did you see that now I have a formatted IRC log too, for each channels, in HTML format? 01:48:16 Please other people can save the log too while I am not 01:48:55 um 01:48:57 what? 01:49:12 zzo38: fyi it's considered incredibly bad taste to log channels without asking, in general 01:49:16 and often gets you banned 01:49:25 But they are my own channels that I created 01:49:31 oh 01:49:36 which 01:49:47 http://zzo38computer.cjb.net/irclog/ 01:50:00 My projects are on IRCNET however, not Freenode 01:50:20 i'd join but I can't be bothered to connect to another server for the purpose 01:50:26 And do you know TheDailyWTF? I posted some FlogScript codes there too 01:50:34 You can view the logs without going to IRCNET 01:50:43 viewing logs != talking 01:51:18 And if you want the codes for the log module (it is a PHP module for PHIRC, and then a CRISC script also for automating set-up of logging on the channels) 01:51:59 Think you could learn a less awful language, like Perl, INTER 01:52:01 If they add support for modeless channels to Freenode then I might move the channels to Freenode 01:52:05 CAL, or Malbolge? 01:52:29 zzo38: why does it need to be modeless 01:52:52 TDWTF has "Programming Praxis" challenges where you post the codes in whatever way you want it posted, including your own way, I wanted to do code-golfing so I did. 01:53:20 There are a few other esoteric languages used there too 01:53:25 zzo38: why does it need to be modeless 01:53:26 if I find the time, I'm doing this one in library-less INTERCAL 01:53:39 Because I want it modeless, that's why. 01:53:50 zzo38: so it being modeless trumps anyone actually talking there? 01:53:55 i'm not sure you understand what irc is for 01:54:00 Which one are you doing in library-less INTERCAL? 01:56:36 I also set my client to beep when anyone joins in that window, so I can be notified if someone joins. The titlebar also flashes whenever anything other than PING or ignored messages is received 01:57:47 you gonna answer me? 01:58:59 I don't know. 01:59:07 helpful 02:00:42 Really, I don't know. 02:09:19 -!- rodgort has quit (bartol.freenode.net irc.freenode.net). 02:11:28 -!- rodgort has joined. 02:12:27 There's an example of the logging software: http://zzo38computer.cjb.net/irclog/PHIRC/20090806.html 02:13:13 -!- zzo38 has quit (Remote closed the connection). 02:23:09 -!- ehird_ has quit. 02:42:52 -!- oerjan has joined. 03:02:17 -!- Asztal has quit (Read error: 110 (Connection timed out)). 03:35:23 -!- oerjan has quit ("leaving"). 03:42:29 -!- pikhq has quit (Read error: 104 (Connection reset by peer)). 03:54:04 -!- Gracenotes has joined. 04:17:00 -!- pikhq has joined. 04:18:07 !bf .+++++++.>+.<+++.>-..<.,,,[-].+.-.++++++++++.>.<--.>.,+[,.]++.>[-]+++++++++++++++++.<++.>-------.>[-]+[[-].+..+++++++++.,,,.]++.-.-.++++++++++. 04:18:14 !bf 04:19:09 * Sgeo realizes that there's indication in there that it's PSOX 04:25:24 -!- GregorR-L has quit ("Leaving"). 04:25:38 -!- pikhq_ has joined. 04:26:44 -!- pikhq has quit (Nick collision from services.). 04:26:52 -!- pikhq_ has changed nick to pikhq. 04:28:50 yourworldoftext.com/static 04:38:58 -!- pikhq has quit (Read error: 104 (Connection reset by peer)). 04:39:37 -!- pikhq has joined. 04:51:40 -!- pikhq_ has joined. 04:57:59 -!- pikhq has quit (Read error: 60 (Operation timed out)). 05:16:14 -!- pikhq_ has changed nick to pikhq. 05:27:56 -!- immibis has joined. 05:45:05 -!- augur has quit (Read error: 104 (Connection reset by peer)). 05:46:25 -!- augur has joined. 05:49:31 * coppro just discovered PRIMARY 05:49:33 neat 05:49:45 What, the prime material plane? 05:49:46 05:52:35 :D 05:52:39 no, the X selections 05:52:58 namely that it lets you copy without the clipboard on intelligent applications 05:53:10 so you can keep stuff clipboarded for later use 05:53:40 Ah. 06:03:17 try it 06:03:25 select text without copying, then middle-click somewhere 06:05:08 -!- coppro has quit ("The only thing I know is that I know nothing"). 06:05:39 -!- coppro has joined. 06:08:09 Yes, I'm very well aware of it. 06:08:51 A "clipboard" is a higher-level abstraction offered by the GTK+ and Qt toolkits. 06:09:04 Quite different from the X selection buffer that X has had for ages. 06:12:01 well, they use the X selections in the same way, so all is happy 06:15:15 No, they don't. 100% completely different. 06:16:05 Not just a different buffer for things to be stored. The two are completely independent of each other. 06:40:22 yeah, shit sucks 06:44:35 -!- FireFly has joined. 06:46:25 -!- immibis has quit ("On the other hand, you have different fingers."). 06:46:54 bsmntbombdood: Yup. 06:48:17 you still live in colorado right? 06:48:42 what school are you going to? 06:51:37 I live in Missouri. 06:51:49 I used to live in Colorado. 06:51:54 ah 06:52:01 Anyways, I'm going to the Missouri University of Science & Technology. 06:52:18 (which is to say, the only academically notable place in this entire state) 06:52:26 i can imagine 06:53:07 -!- kar8nga has joined. 07:33:37 -!- kar8nga has quit (Remote closed the connection). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:42:43 -!- MigoMipo has joined. 09:24:22 -!- oklofok has joined. 09:42:19 -!- oklopol has quit (Read error: 110 (Connection timed out)). 10:00:21 -!- Pthing has joined. 10:03:13 -!- BeholdMyGlory has joined. 10:05:42 -!- M0ny has joined. 10:38:46 oklofok 10:38:58 augur 10:39:02 teach me finnish. 10:39:03 right now. 10:39:07 in 5 minutes 10:39:14 the whole finnish? 10:39:17 yes 10:39:27 i'd get an excess flood! 10:39:32 :| 10:39:34 condense it 10:39:56 well, first of all the word for "to slumber" is "uinua" 10:40:14 awesome 10:40:20 do i know finnish yet? 10:40:40 Learn you a Finnish. 10:40:47 :D 10:40:51 augur: i'd say you know most of it 10:40:53 someone should write that. 10:41:05 i want to see a language-learning site for coders. 10:41:22 something that isnt afraid to use theory-relevant stuff, too. 10:41:41 where like 10:42:07 if you're a computational linguist, you'll learn it really quickly. 10:42:18 if youre just a coder or a linguist, rather quickly 10:42:28 and if youre neither, you wont learn it at all because you're dumb. 10:42:35 :D 10:42:39 sounds good 10:42:53 oklofok, do one for finnish. 10:43:02 but i'm not a linguist! 10:43:08 but you ARE a coder! 10:43:27 somewhat, yes 10:43:32 therefore, do it. 10:43:36 but.............................. 10:43:40 but nothing. 10:43:41 buttt 10:43:47 oklobutt. :D 10:43:57 i can't, fizzie can do it 10:44:05 -!- oklofok has changed nick to okloput. 10:44:07 fizzie do you speak finnish fluently? 10:44:13 hah 10:44:24 it's funny because he lives in helsinki 10:44:35 does he? 10:44:37 well then! 10:44:39 fizzie, do it 10:44:40 I don't speak anything very fluently, but this IRC client text input box displays "fl" and "fi" as ligatures. 10:44:54 flnnish. 10:46:13 flinnish. 10:46:25 Whoops, where did that extra i come from. 10:46:47 fizzie, you should do it. seriously. 10:46:56 write it up using some formal grammar 10:47:13 i've never seen the use of language learning sites, the only hard part is to learn the vocab, and there's no magic bullet for that; i mean there are tricks, sure, but it's still a fucking quadrillion word ride 10:47:21 or you know grammar books 10:47:23 or anything 10:47:33 grammar can be tricky in some languages 10:47:36 once you learn the words, just read a few pages from a book and you'll know it all 10:47:37 it depends on the language, ofcourse 10:47:38 but 10:47:44 I'm not sure I have an affinity for writing things. 10:48:14 granted, a good grammar book written for smart readers can be condensed to a few dozen pages, for most stuff 10:48:16 but there are nuances 10:48:40 italian is relatively similar to english, but even so there need to be a bunch of specifications of the differences 10:48:43 odd differences too 10:48:54 ones that dont easily map to english 10:49:13 i'm sure a very smart reader can guess the odd differences! 10:49:24 maybe from lots of practice! 10:49:52 there are a lot of things that would be simplified, tho, with just a simple formal treatment 10:50:19 so much of commonly used italian grammar could be condensed down to like two or three pages of tree diagrams and stuff 10:50:42 like 10:51:06 i just know "noun adj", the rest comes naturally 10:51:18 (i'm like totally fluent in italian) 10:51:20 Oh, and incidentally, I still don't live in Helsinki; I live in Espoo, which (despite several attempts) has not yet transmogrified into one big city with Helsinki. I think I pointed this out once already. 10:51:44 "head movement to T in for non-aux T's, object shift for non-3p.pl pronouns, optional WH movement with T-to-C" 10:51:48 fizzie: right, then again my joke was, for some reason, completely missed by augur anyway 10:51:52 that describes a huge portion of the differences 10:52:13 it's as if he doesn't know what a guy in turku could joke about in someone from helsinki 10:52:13 "espoo" hahaha 10:52:19 :D 10:52:38 http://en.wikipedia.org/wiki/File:Espoon_Tapiola_kesällä.jpg <3 10:53:55 was about to say that was a goddamn sexy view, but when i saw the kids, i figured it might be a bit inappropriate 10:54:06 haha 10:54:18 hey youre the one who had a 13 year old girlfriend when you were 19 10:54:22 or whatever 10:54:27 when i was *18* 10:54:32 whatever 10:54:33 same thing 10:54:34 :D 10:54:37 pedo 10:54:53 okloput, be my finnish boyfriend. ill pretend im 13 10:55:16 Hey augur 10:55:19 wat 10:55:19 Knock knock 10:55:22 no. 10:55:25 go away 10:55:25 Knock knock 10:55:36 13-yo's are physically adults, they're just stupider 10:55:44 4chan partyvan, augur 10:55:48 Open the door! 10:56:11 okloput: and with smaller cocks. 10:56:50 well, umm, i guess. 10:57:15 Haven't you done a comparative study? 10:57:45 i know very little about people's cocks after about 12, because i haven't seen one in years 10:58:00 okloput, shame. 10:58:06 you should fix this. 10:58:08 actually i may have seen tons in the sauna 10:58:25 cocks are lovely things. 10:58:28 But not in erection, though 10:58:34 Unless you went to that kind of sauna 10:58:35 especially uncut cocks, which im sure finnish cocks are. 10:58:51 Slereah: i'm not sure i've seen another man's erection irl, ever 10:59:15 ...wait that's another lie, there was this one dude once who started stroking his in the sauna when i was a kid 10:59:22 lol 10:59:36 okloput, if i build a sauna, will you come sit in it? :o 10:59:39 true story, my shortest swimming trip ever 11:00:14 heh 11:00:22 i have nothing against naked mixed gender sauna with strangers 11:00:32 awesome. 11:00:37 so, probably i would 11:00:40 Trust me 11:00:46 augur's sauna won't be mixed genders 11:00:48 how about hot sauna sex? 11:01:11 slereah: well it could be. i dont care if girls are there. as long as i dont have to fuck them what do i care 11:01:12 :o 11:01:14 sauna is not so good for sex 11:01:22 you're not going to the right saunas 11:01:24 at least if over 60 11:01:28 celsius 11:01:41 Sauna sex is a good way to get a stroke 11:01:43 well we could turn off the heat and generate some ourselves, so 11:03:05 i think i need to go to the shoppe now 11:03:22 I think you're doing something wrong if you generate ~80 degrees Celsius of body heat. 11:03:45 fizzie: or something very very right ;D 11:03:49 Slereah: that, plus usually the seats are not very comfy, there are some technical difficulties 11:04:15 But they sell these special "sauna pillow" things. 11:04:25 Plus, augur, how do you want to get the horse in the sauna 11:04:26 We have one, I've never quite understood the point of it. 11:04:29 but you can get interesting positions if you're not afraid to use the rail... well, assuming traditional finnish sauna blueprints 11:04:49 slereah: well we'll work on that 11:04:53 You also get interesting burns if something slips, I assume. 11:05:20 I knew a girl who sat on a sauna stove (is that what "kiuas" officially is) at the age of four or something. 11:05:39 personally i'd love to install kiuas in the english language 11:05:56 they already fucked up sauna in pronunciation 11:06:01 Sauna's already in there, why not all related paraphernalia. 11:06:05 SOOONA. 11:06:10 uh 11:06:17 its not said sooooooona in nglish 11:06:37 how then? 11:06:38 unless you're using that to mean the sound in the word "saw" 11:06:42 "saw-nuh" 11:06:46 he was 11:06:55 he said it to me, the other finn 11:06:57 Well, yes, you have to read the "soooona" word like a Finn would, also. 11:07:16 i dont know how "ooooooooo" would be pronounced by a finn 11:07:29 augur: o is always the "aw" thing 11:07:33 interesting 11:07:43 finnish has the same vowels as lojban, except for y 11:07:50 i presume "sauna" is "sah-oo-nuh"? 11:07:56 the lojban y is in finnish 11:08:00 well, sah-oo-nah 11:08:19 how is nah 11:08:22 *ah 11:08:23 pronounced 11:08:25 er 11:08:31 sau like sound 11:08:34 nah like not 11:08:40 yeah 11:08:44 exactly like that 11:09:26 well you cant really blame english speakers for doing it wrong 11:09:33 they adopt words using the spelling as a guide 11:09:37 i can't, i was just making a joke. 11:09:43 but they use english pronunciation for the spelling 11:10:07 and au in english is finnish o 11:10:25 What I didn't know is that it's a verb too, according to Wiktionary. 11:10:29 "to sauna (third-person singular simple present saunas, present participle saunaing, simple past and past participle saunaed)" 11:10:41 almost every noun can be used as a verb in english 11:10:44 How are you saunaing today? 11:11:00 great saunation so far 11:11:45 saunation? 11:12:11 Soon shall be the time of the Great Saunification. 11:12:41 augur: as a finn, i find that a natural way to abuse your language 11:12:50 clearly fizzie agrees. 11:13:04 saunification is grammatical, saunation isnt 11:13:09 saunation is just weird 11:14:08 well it's from the verb saunate, which clearly has something to do with sauna 11:14:12 There's "tarnation", there should be "saunation". 11:14:22 saunate is a verb now? 11:14:25 What the saunation?! You haven't saunaed at all today?! 11:14:39 the phrase is "what in tarnation" 11:14:41 It's a bit like the smurfs do, except, you know, boiling heat. 11:14:48 Oh. Well. 11:14:55 augur: it's not completely a verb. 11:15:12 "tarnation is also not from "tarnate" 11:15:15 its from "entire nation" 11:15:26 i really don't try to make my purposefully horrible word bendings grammatical 11:15:33 you should 11:15:40 no i shouldn't 11:15:42 theyre better when theyre grammatical but nonsensical 11:15:55 that's what most finns say about my finnish bends 11:15:59 lol 11:16:26 not a lolling matter 11:16:33 LOLOLOLOLOLOLOL 11:17:08 so. what if you made childish porn 11:17:13 wut 11:17:27 random word association 11:17:43 i think /you/ should make porn 11:17:49 i've made porn 11:17:55 gimme :o 11:18:03 it's with girls, you wouldn't like it 11:18:06 thats ok 11:18:09 as long as it has you in it :D 11:18:14 \o/ 11:18:34 i doubt i have anything left, and i probably wouldn't give it to you 11:19:12 :( 11:19:19 :D 11:19:24 meany 11:19:40 meany is not adjective 11:19:44 no 11:19:45 its a noun. 11:19:49 no it's not 11:19:52 yes it is. 11:19:54 NO 11:19:57 yes. 11:20:02 i will go check?? 11:20:26 alternatively spelled meanie 11:20:30 http://en.wiktionary.org/wiki/meanie 11:20:31 well what do you know it's an alternate spelling i haven't seen 11:20:55 this was, though, exactly how i planned this conversation to go 11:21:06 with you being wrong? 11:21:09 yes 11:21:18 awesome. 11:21:26 it was a clever ruse of mine 11:21:40 you can't possibly remember what we were talking about, now 11:21:42 :o 11:21:46 because you got to be right 11:21:50 and that's the best porn of all 11:21:57 no no 11:22:01 the best porn of all is you naked 11:22:08 :D 11:22:24 seriously, i'm not *that* much above average hotness 11:24:04 you are to me! 11:24:09 and thats all that matters *.* 11:24:22 i suppose 11:24:25 now shoppe! -> 11:24:28 <3 11:35:11 -!- BeholdMyGlory has quit (Remote closed the connection). 11:48:31 -!- Asztal has joined. 11:52:23 -!- MigoMipo has quit (Read error: 110 (Connection timed out)). 11:58:17 -!- MigoMipo has joined. 12:18:45 -!- BeholdMyGlory has joined. 12:25:08 -!- nornalbion has joined. 12:32:26 -!- jix has joined. 12:37:42 -!- upyr[emacs] has quit (Read error: 104 (Connection reset by peer)). 12:46:44 -!- M0ny has quit. 12:50:19 -!- ski__ has quit (Read error: 104 (Connection reset by peer)). 13:29:40 -!- Pthing has quit (Read error: 110 (Connection timed out)). 13:45:35 -!- upyr[emacs] has joined. 13:53:59 -!- ehird has joined. 13:56:54 joy, a fucking stupid reddit post saying that apple should have an antitrust suit filed against them 13:57:09 the rules that apply to MS do not apply to apple because THEY ARE PROTECTIONS BECAUSE THEY ARE A MONOPOLY 13:57:12 idiot 13:57:13 s 13:57:23 and for the last time hardware DRM isn't illegal! 13:57:30 gawd 13:59:30 22:03:25 select text without copying, then middle-click somewhere 13:59:32 seriously? 13:59:36 you don't know about this? 14:00:33 02:44:07 fizzie do you speak finnish fluently? 14:00:36 gahahahaha 14:01:17 02:51:20 Oh, and incidentally, I still don't live in Helsinki; I live in Espoo, which (despite several attempts) has not yet transmogrified into one big city with Helsinki. I think I pointed this out once already. 14:01:17 that's what they want you to think 14:01:56 02:54:18 hey youre the one who had a 13 year old girlfriend when you were 19 14:01:56 02:54:22 or whatever 14:01:56 02:54:27 when i was *18* 14:01:56 02:54:32 whatever 14:01:57 02:54:33 same thing 14:01:57 from this we can conclude that 1=2 14:02:17 and we can conclude from it that true is false, and therefore everything is true. 14:02:24 and false 14:02:29 indeed 14:02:35 o 14:02:35 o 14:02:35 o 14:02:51 02:55:36 13-yo's are physically adults, they're just stupider 14:02:51 i'm gonna be like this as an adult? 14:02:52 well shit. 14:03:10 02:57:45 i know very little about people's cocks after about 12, because i haven't seen one in years 14:03:10 i'm afraid to ask how much you know about people's cocks before 12 14:03:13 well i was talking about girls 14:03:37 ehird: a lot, because one of the subjects at school involved getting in the shower with guys. 14:03:47 oh well that doesn't count 14:03:50 that's just their fake penises 14:03:53 ah! 14:04:22 03:01:41 Sauna sex is a good way to get a stroke 14:04:23 BUT WHAT WAS STROKE? (A: Genitals.) 14:04:27 *THEN. 14:04:28 Not but. 14:04:30 Then. 14:05:23 also okloput i have this awesome mental image of saunas where it's physically impossible to see anything more than, say, 5cm in front of you 14:05:26 please tell me it's true 14:05:36 there are such saunas 14:05:52 because of steam 14:05:55 yeah 14:06:05 could make sex rather hard, unless you have a really tiny penis 14:06:07 in most saunas, it's just dark 14:06:16 err why? 14:06:21 well not hard 14:06:24 just risky 14:06:40 well yes, probably, in a sauna 14:06:55 because the seats are a few meters from the floor 14:06:59 exactly 14:07:07 omg 14:07:07 omg 14:07:08 okloput 14:07:11 zero gravity sauna 14:07:15 :D 14:07:19 awesome 14:07:25 i love ideagasms 14:07:39 There's also the whole savusauna thing, without a chimney. 14:07:41 http://en.wikipedia.org/wiki/Sauna#Smoke_sauna 14:07:48 fizzie: that, in zero gravity 14:07:48 sex in a zero-gravity sauna while having tea 14:07:54 yes 14:07:57 fizzie: in those, you can see 5cm 14:08:00 s/sauna/smoke sauna/ 14:08:04 oh 14:08:05 that's lame 14:08:06 because there is no smoke in a smoke sauna 14:08:07 utterly lame 14:08:10 ... 14:08:10 xD 14:08:22 because you'd die otherwise 14:08:35 The ones I've been to tend to be pretty black, though, and just generally dark too. 14:08:40 sex in a fatal zero-gravity smoke sauna while having tea and coffee at the same time 14:08:43 well yes, they are very dark 14:09:08 ehird: that sounds pretty awesome, we should totally implement it 14:09:23 right except i'm not too sure about the whole fatal part 14:09:31 ...also lyly would work great as a loanword 14:09:45 would probably beat kiuas in unpronounceability 14:09:55 keeooass 14:11:14 ehird: well right the fatal part may need some honing 14:11:30 unless you want like a perfect final experience thing 14:11:57 i'm thinking that dying of being in the same room as smoke is unpleasant 14:12:24 well stop thinking then 14:12:28 ...or soemthing 14:12:32 *something 14:14:28 Just don't inhale. 14:19:13 -!- upyr[emacs] has quit (Remote closed the connection). 14:19:43 -!- upyr[emacs] has joined. 14:25:47 basically i think oxygen like 14:25:48 sucks 14:29:37 I don't think, I just ask the computer to think for me: 14:29:39 i think oxygen going "oh no", then? brilliant! who's driving it? maybe syntax-e identity in psyntax? 14:29:59 "Oxygen going 'oh no'" sounds like trouble ahead. 14:31:25 :D 14:31:50 RecursionRecursionRecursionRecursionButtcursion 14:38:39 http://man.cat-v.org/plan_b/1/ego 14:39:30 Cool, this "in-browser implementation of Python" chokes on class A(object): pass. 15:02:07 http://s3.amazonaws.com/data.tumblr.com/PwccqNBl5qtxvki3vTc7oo9no1_1280.png?AWSAccessKeyId=0RYTHV9YYQ4W5Q3HQMG2&Expires=1249740096&Signature=iPL8Sjiw8BVkaPnSLT5dhf3vbU8%3D ;; Well, this is simple! 15:03:08 "Quick! In five seconds, how do you upgrade from Vista Business 32-bit to Windows 7 Professional 64-bit?" 15:11:00 -!- MigoMipo has quit ("QuitIRCServerException: MigoMipo disconnected from IRC Server"). 15:13:07 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 15:21:08 -!- oerjan has joined. 15:35:14 its from "entire nation" 15:35:29 and here i assumed it was a euphemism for damnation 15:36:23 Be more amusing if it were a euphemism for euphemism. 15:37:36 i will take your word for that. 15:39:28 from this we can conclude that 1=2 15:39:41 and from that we can deduce that bertrand russell is the pope. 15:40:01 (he did it himself, you know.) 15:40:10 mope the pope tote 15:40:22 And from that we can deduce that the Pope is not really Catholic. 15:40:45 systematic! 15:41:03 oerjan: anyway that's clearly a bit off 15:41:07 isn't it three/ 15:41:10 father son holy ghost 15:41:16 so you'd want to be proving 1=3 15:41:18 or rather infinity=3 15:41:39 ehird: i don't think the trinity entered the proof 15:44:10 ehird: n=succ(n), more like. 15:44:10 :) 15:44:25 Is that an infinite recursion of oral? 15:44:35 It may be. 15:44:47 Weird. 15:48:46 "Quick! In five seconds, how do you upgrade from Vista Business 32-bit to Windows 7 Professional 64-bit?" <-- my first guess would be, "not in five seconds." 15:48:53 :D 15:51:25 WTF Starbucks? 15:51:49 what did they do now? 15:51:49 They've started opening unbranded "stealth cafés" in order to compete with local coffee shops. 15:51:57 :D 15:52:06 pikhq: FUD 15:52:25 for one, it says starbucks all over, and there's tons of news about it; nobody's going to be "fooled" 15:52:25 ehird: ? 15:52:39 for the other, most reports from people who have actually been there suggest it isn't really a starbucks 15:52:48 Fair enough. 15:52:49 as in, business-wise it is, but coffee-wise it's better 15:52:54 but i admit 15:52:57 "inspired by starbucks" 15:53:02 is some weird-ass wording 15:53:11 Though if it still has the shit coffee, not worth going. 15:53:50 Uhh, NSFW: http://imgur.com/VJzZW.jpg 15:54:56 More naked obama + unicorn than you could shake a horn at: http://wildammo.com/2009/07/27/unusual-paintings-of-obama-naked-with-unicorns/ 15:55:37 is that Dr. House on the right? 15:56:01 Yes. 15:56:08 And Stalin on the left. 15:56:49 so where are the _usual_ paintings of obama naked with unicorns? 15:57:03 I DON'T WANT TO KNOW 15:57:44 My brain basically shut off with http://wildammo.com/wp-content/uploads/2009/07/obama-painting10.jpg 15:58:35 hmm 15:58:38 the painter appears to be a right-winger 16:00:37 a wing-nut? 16:01:22 obama's testicles are as of yet not painted. 16:01:27 (i hope, at least.) 16:11:10 -!- kar8nga has joined. 16:31:10 ehird: Is that an infinite recursion of oral? <<< what? 16:31:21 n = suck(n) 16:31:49 fix suck 16:33:31 mycroftiv: you there? 16:34:05 oh oral, you mean like oral 16:34:16 i assumed that was "or all", written in a condensed form 16:34:17 ... 16:34:31 meaning some well-known function 16:34:36 xD 16:34:46 okloput: well or all is just fold or, obviously 16:34:53 so "or all" is a funny way of saying "any" 16:35:24 exactly, kinda like your mother is 16:35:42 my mother is indeed a funny way of saying any 16:36:03 kar8nga: party! 16:36:13 okloput: we thus must consider the dual abbreviation of "and all" 16:36:30 yessir 16:36:33 andal 16:36:44 R andal l Munroe 16:36:48 * oerjan swats okloput for ruining the joke -----### 16:36:55 andal is also known as all, okloput :P 16:37:37 !haskell :t all or 16:37:49 oerjan: sorry, i wasn't thinking. 16:38:06 all or :: [[Bool]] -> Bool 16:38:20 EgoBot: you're a bit slow today 16:38:27 i like "allor" 16:39:43 !haskell all or [[True,False],[False,True]] 16:39:44 YAY 16:39:44 True 16:39:55 then again, anyand is even nicer 16:40:13 !haskell any and [[True,False],[False,True]] 16:40:14 False 16:41:14 haha wow the LoseThos guy is even turning on the Loper OS guy, who praised it 16:41:18 "I hope your code reads better than your prose:-) 16:41:19 You ripped-off my name, asshole. LoseThos. http://www.losethos.com" 16:41:28 i wonder how he ripped off his name 16:41:31 it has OS in it? 16:41:34 Ah, LoseThos. 16:41:36 then 16:41:46 "You just sound a little stilted. Nice vocabulary, but tone-down the arrogance. 16:41:46 I can read fancy words. God makes riddles when he talks to me. 16:41:47 [another god speak thing] 16:41:47 Your writing sounds like a rant of a person more crazy than I am." 16:42:06 The juxtaposition of "END displacing large servants" and "Your writing sounds like a rant of a person more crazy than I am." is hilarious. 16:42:28 ehird: some people's motivations seem just destined to remain riddles 16:42:48 he's just insane 16:42:50 ridiculously insane 16:42:58 got worse though, he was less crazy beforehand, slightly 16:42:59 I still love his theory that "finished programs don't need memory protection, because they don't malfunction". 16:43:16 if he keeps at this, uh 16:43:17 doesn't seem like that's what his theory is 16:43:24 I really think he needs serious psychiatric help 16:43:29 okloput: It's one of many theories he has. 16:43:39 ehird: there is no such thing as "just insane". insane just means anyone falling outside the very narrow region known as "normal", afaiac 16:43:51 pikhq: seems like he's more saying no protection is fun for certain types of hacking 16:44:04 okloput: really, don't try and justify the guy, it might seem ok on the surface 16:44:08 s/normal/sane/ 16:44:08 but if you really read about it you'll go insane 16:44:09 "Finished programs don't need memory protection, because they don't malfunction." 16:44:17 oerjan: colloquial language in your face 16:44:23 pikhq: that's true actually 16:44:27 pikhq: it's just that there's no finished program 16:44:29 except maybe hello world 16:44:39 ehird: Right. 16:44:52 And maybe junk that's been formally verified. 16:45:07 ... But you really don't design your OS assuming that, now do you? 16:45:07 pikhq: errors in proof, errors in proof system 16:45:09 well 16:45:11 errors in what you're proving 16:45:12 rather 16:45:20 Right. 16:46:15 * ehird realises that for C strings, regexp ^ can be represented as [^\0] 16:46:17 cute 16:46:19 $ as \0, ofc 16:47:13 ehird: er, you mean . ? 16:47:25 oops 16:47:26 i mean 16:47:31 ^ can be represented as [^\0](backtrack) 16:47:31 ofc 16:47:45 or rather 16:47:48 i don't see that 16:47:50 (don't advance [^\0]) 16:47:58 er wait 16:47:59 well hm 16:48:03 there is no \0 at the start 16:48:10 uhh yes that's the point 16:48:11 $ = [\0] though i guess 16:48:17 hm wait 16:48:20 you're right 16:48:24 ^ does have to be special cased 16:48:28 since it's not enforcing not-end 16:48:31 it's enforcing start 16:49:18 take a glio, put it in your pocket 16:49:25 you could use a reverse negative lookahead, i forget the syntax 16:50:20 (?<=[^\0]) 16:50:30 not \0, . 16:50:45 -!- ais523 has joined. 16:50:49 er wait 16:50:55 no you're right 16:51:18 Deewiant is always right 16:51:35 hi ais523 16:55:27 http://pastie.org/575607.txt?key=jkkr84jcur9wbhf8clemq ;; I think this is an optimal compilation of the regexp (save tricks like reading multiple bytes at a time etc) 16:55:38 -!- kar8nga has quit (Remote closed the connection). 16:55:54 hmm that has a redundant break 16:56:02 } 16:56:02 break; 16:56:02 default: 16:56:07 the break can be omitted there 16:56:53 though probably the nfa stuff beats it 16:58:05 hi 16:58:08 hi 16:58:37 you have a regex to C compiler? 16:58:51 no, i'm just toying with writing one for the hell of it 16:58:58 but only actually regular regexs 16:59:11 for (a) simplicity, (b) performance 16:59:21 (Waiter, you got an exponential search in my matcher.) 16:59:35 apparently Perl compiles regexes behind the scenes, when they're encountered 16:59:41 although they have a /o option to only compile once 16:59:45 ais523: its algorithm is terrible, though 16:59:47 http://swtch.com/~rsc/regexp/regexp1.html 16:59:49 exponential 16:59:54 also note that the first graph is in second 16:59:55 s 16:59:58 the second is in microseconds 17:00:41 * ehird rewrites his compilation as a state machine 17:00:48 it's well-known that there are certain classes of regexen that Perl handles badly, although they tend to be not too hard to avoid 17:00:56 a better algorithm seems like a good idea 17:01:08 although the existing algorithm should be available as an option, for golfing 17:01:16 ais523: the paper covers this 17:01:22 you can just check if there's a backreference in the regexp 17:01:27 and use the exponential algorithm then 17:01:40 no reason to make something an option that can be trivially automatic 17:01:57 ah, ok 17:02:24 I was thinking of code like 'aaaa' =~ /a?a?a?a?(?{print "Hello, world!\n"})aaaa/ 17:02:34 but clearly, it would detect the coderef there and fall back 17:02:42 ais523: that stuff can be done with an NFA, prolly 17:02:50 as long as the actual expression is regular 17:03:01 yes, but it's semantically incorrect to optimize that 17:03:08 "optimise"? 17:03:10 if you don't print hello world 16 times, you're violating perl's spec 17:03:11 it's not an optimisation 17:03:13 it's just a compilation 17:03:23 ais523: it doesn't... constant fold or whatever 17:03:23 so you have to be exponential in expressions like that one 17:03:26 oh 17:03:34 ais523: i don't expect perl would actually adopt it 17:03:41 since it exposes the implementation so much like in that case 17:03:53 also, note that speed of compilation is often more important than speed of execution 17:04:00 the compilation is fast 17:04:01 because regexes are compiled every time they're encountered 17:04:57 ais523: why is that aaaa thing exponential? 17:05:12 cuz perl is stupid 17:05:12 err hmm ?, right 17:05:15 ais523: i would assume that applies only to regexes that contain interpolated variables or such 17:05:38 oerjan: you'd think so, but Perl's really stupid at that, you have to write /o to say "I'm not using an interpolated variable" 17:05:46 (yes a)(not a) is different from (not a)(yes a), so there are 2^(amount of a's) possibilities 17:05:48 in theory, at least; in practice they probably use the as-if rule 17:06:05 okloput: yes, that's it 17:06:23 and IIRC the code-block could even be able to tell which sort of match it was, in a more complicated regex 17:06:25 ais523: huh? i thought /o was for when you _are_ using an interpolated variable but don't want the regex to change after the first use 17:06:32 could be 17:06:41 how often does that happen, though? 17:07:00 ais523: if the variable is not actually changed, that could be common 17:07:02 IIRC perl caches regexes that don't have interpolated variables by default 17:07:17 But if they do have interpolated variables you have to use /o manually 17:07:58 http://pastie.org/575625.txt?key=qetirlttqkzlvzaqnllg 17:08:05 the regexp as an FSM 17:08:13 the string is touched by his noodly appendage 17:08:19 * ehird rewrites it with gotos 17:08:27 (↑ This is considered a socially unacceptable thing to say.) 17:10:41 http://pastie.org/575632.txt?key=maxdtnu8lhtptvmdwqwkfq 17:10:42 Voila. 17:10:45 And this is surely optimal. 17:10:50 er, drop the case 4: line 17:11:03 of course, this doesn't gather the groups 17:11:04 but whatever 17:11:36 * ehird tests it :P 17:12:29 -!- augur has quit (Read error: 110 (Connection timed out)). 17:14:28 L2: 17:14:29 movl8(%ebp), %eax 17:14:29 movzbl(%eax), %eax 17:14:29 movsbl%al,%eax 17:14:29 cmpl$97, %eax 17:14:30 jeL4 17:14:35 that's some pretty darn optimal code 17:15:04 wow, it gets even better with -O3 17:15:12 L3: 17:15:12 movzbl(%eax), %edx 17:15:12 cmpb$97, %dl 17:15:13 jeL14 17:15:20 ehird: that's an interesting paper, it's mirroring what happened in parser development 17:15:26 ais523: do you know of a good asm→C decompiler? 17:15:31 ehird: no 17:15:31 I wanna see what the heck it compiles my state machine to 17:15:37 darn 17:15:43 whatever it is, it's pretty amazing 17:16:06 http://pastie.org/575640.txt?key=fdsiy0eymjwr3etpfdhx7g 17:16:09 the full code 17:16:57 * ehird constructs a multi-MB string to test it with 17:17:49 -!- Pthing has joined. 17:22:20 ehird: http://www.pastie.org/private/zsluf1vbdaqlnpfzeeftq 17:22:37 Decompilation of that asm, modulo any errors I made 17:22:56 bahaha, it rolled up the bbb check! 17:22:58 It could be optimized in one place 17:23:02 that's just perversely great 17:23:13 Unless it did what it did for alignment reasons 17:23:26 who cares? it did it 17:23:35 Namely, that 'ret = 1' in l6 (movl $1, %eax) 17:23:50 Which is pointless if you jump to l8 immediately afterward 17:24:23 anyway, even the plain state machine would be fast enough 17:24:26 with -O0 17:24:29 I actually missed that jump there: http://www.pastie.org/private/uqvjwjnkm1w0njxdnoqyfw 17:24:46 that is odd indeed 17:25:34 Alternatively, it's doing it there to have some space between the test and the jump 17:25:48 Which might make the pipeline happier or something 17:26:27 I didn't specify -march 17:26:28 I'll try to 17:27:10 ehird: Your C seems to have a floating 'case 4:' 17:27:18 Read the next lines kthx 17:27:32 K 17:27:51 http://pastie.org/575666.txt?key=orndvz7i6izopps9u6gy6q 17:27:51 I actually did, I just completely ignored them thereafter 17:27:54 with march=core2 17:28:02 it just rearranges a bit and aligns 17:28:35 Yep 17:28:49 Yeah, that's the expected behavior of -O0 -march. 17:29:27 pikhq: no, -O3 17:29:47 ehird: Use cfunge's compilation flags and see what happens 17:30:04 Deewiant: give me them and I'll use them; I think actually thinking about them to copy them in would kill m 17:30:04 e 17:30:06 (A good reference for when you want excessive optimization) 17:30:13 anyway, what's the simplest way to get time() except w/ msec 17:30:19 there seems to be no easy function 17:30:24 (measuring how long it takes to match 100mb str) 17:30:29 ehird: I could've sworn that GCC compiled it into a jump table. 17:30:31 *shrug* 17:30:36 pikhq: It did. 17:30:38 More or less. 17:30:41 Oh. 17:30:45 Then I'm just blathering. 17:30:49 well, sort of 17:30:51 it has comparisons 17:30:54 but that's the best way to do it 17:33:13 Hey, he doesn't appear to use them any more, just a bunch of -W 17:33:26 Oh well, whatever 17:33:35 Deewiant: Haha, unlikely. 17:33:50 Maybe you're in the development subbranchtree or something. 17:34:00 Maybe 17:34:54 Blah. 17:35:11 LLVM might give something different if you care enough 17:35:14 I conclude that time() sux because it doesn't have a brother that does milliseconds unpainfully. 17:35:32 Deewiant: I'm kind of unmotivated to compile clang 17:35:45 Whatever 17:35:57 clang seems to compile pretty easily 17:36:00 the makefile worked for me 17:36:21 ais523: you have to do it in-tree with llvm 17:36:24 an svn llvm 17:36:29 yes, I know 17:36:31 so? 17:36:38 well, it didn't work for me, so I don't care 17:40:22 Blargl. 17:41:48 "We conclude that it is certainly fine to use a 160-bit hash function like SHA1 or RIPEMD-160 with compare-by-hash. The chances of an accidental collision is about 2^-160. This is unimaginably small. You are roughly 2^90 times more likely to win a U.S. state lottery and be struck by lightning simultaneously than you are to encounter this type of error in your file system." 17:43:06 (But, however, from our own acooke: 17:43:08 andrew cooke on April 14, 2008 5:50 PM 17:43:08 the 2^-160 is a bit misleading. as the first paper points out (search for "birthday") you're going to start getting collisions when you have around 2^80 blocks. that's still a lot of blocks, but *significantly* less than the 2^160 you might infer from what you wrote.) 17:43:15 (Solution: Use a bigger hash.) 17:47:53 I think, following careful consideration 17:47:55 that my program has a bug. 17:49:11 It seems not. 17:49:54 (pikhq: Deewiant: ais523:) It appears that my program can match a 1gb string in less than a second. 17:50:09 not bad 17:50:12 but, against which regex 17:50:21 Or it can deduce a non-match due to the first char? ;-) 17:50:35 Deewiant: No, the string is carefully constructed to match. 17:50:42 ais523: ^a*(bbb)*$, hand-compiled. Admittedly, not the most complex thing, HOWEVER 17:50:51 there isn't really any more complex operation in regular expressions 17:50:59 and there's no penalty for a long regex in my system 17:51:02 alternation? 17:51:05 so it's about as fast as any 17:51:10 ais523: nope, not more expensive 17:51:15 I already have that, essentially 17:51:19 in my handling of (bbb) 17:51:19 imagine (a|aaaaa)(aaaaaaa*)(aaa)? 17:51:39 ais523: http://pastie.org/575632.txt?key=maxdtnu8lhtptvmdwqwkfq (ignore the case 4:) line 17:51:48 As you can see from how it handles (bbb), we already do such skipping. 17:52:03 Just s/return 0/goto sN/ 17:53:55 Anyway, dammit, if I have this code right, a JIGGABYTE. 17:54:04 The memory usage matches up, so I don't think I'm overflowing any counters or anything. 17:54:16 And I assert it, so it definitely gets to a return 1. 17:54:24 And my other tests work, and it doesn't look buggy. 17:55:37 I'd test a bigger string but I don't have the ram. 17:55:43 Hey fizzie! Get that cluster up here :P 17:56:50 -!- Gracenotes has quit (Read error: 104 (Connection reset by peer)). 17:56:53 ehird: incidentally, I think b?(bbb)* is more complex than a*(bbb)* 17:57:06 because in the second there, there isn't any ambiguity about how to match any given string, in the first, there is 17:57:18 ehird: Gimme a test proggy, I have about 7 GB available 17:57:42 Deewiant: I'll cook something up. 17:58:05 Deewiant: I 17:58:23 'm afraid that my time counting code didn't work, so you'll just have to clockball how long it takes after printing "Go!". 17:58:23 I 17:58:26 Should only be a second or two. 17:58:51 gettimeofday()? 17:59:09 Deewiant: write me the code to measure how long it took in ms and I'll be happy to pop it in :P 17:59:44 http://ubuntuforums.org/showthread.php?t=966499 18:00:05 regex7gb.c:53: warning: integer constant is too large for ‘long’ type 18:00:13 well fuck you! :P 18:00:16 Deewiant: kay 18:00:18 Well s/int64/long/ 18:00:37 It's the Ubuntu forums, whaddya expect :-P 18:00:44 I didn't comment 18:01:33 Argh, even dividing by ten it's too big :P 18:01:48 fff 18:01:51 It's microseconds 18:01:54 i need a new approach 18:02:00 Deewiant: I'm talking about my string-builder 18:02:06 Right 18:02:10 -!- augur has joined. 18:02:16 oh wait 18:02:19 it was complaining about another part of code 18:02:20 lol 18:02:30 char *s = malloc(7516192768), *t = s; in particular 18:02:43 hmm there's not actually a way to do that is there 18:02:55 i don't think malloc takes a long long 18:02:56 UL 18:03:00 It takes a size_t 18:03:05 Which will be big enough on my machine 18:03:18 oh, I forgot -m64 18:03:21 * ehird slaps forehead 18:03:36 Silly 32-bit people :-) 18:03:50 Snow Leopard :-P 18:03:59 Silly 32-bit people :-) 18:04:20 Snow Leopard will be 64-bit. >:( 18:04:26 Deewiant: http://pastie.org/575711.txt?key=tymvrwsyvuypohm5h5mra; I didn't add the timer cause I'm lazy 18:04:31 and it'll only take a few secs after go 18:04:47 Like I'm going to bother to get an even semiaccurate measurement 18:05:39 "These kinds of discussions often use Turing machines, but these days not many people are comfortable with Turing machines, so I'm going to use Scheme. [؟]" 18:06:46 9250853 microseconds 18:07:19 It pushed some things into swap though, let's try again 18:07:43 Yeah, more like 4.2 seconds on average 18:07:49 Deewiant: Irrelevant 18:07:52 Most of that is building the string 18:07:57 You have to count after "Go!" 18:08:07 ehird: I added the timer code 18:08:14 Oh :P 18:08:15 And init after go. 18:08:19 Well, that's very good if you ask me. 18:08:40 Built with -O3 -march=native on GCC 4.4.1 18:08:41 Not that anyone's going to be matching 7gb strings, but... it's nice to be able to. 18:08:56 Deewiant: Pfft, you didn't even unroll loops! :-P 18:09:05 What loops? :-P 18:09:14 Deewiant: The string-building ones, duh! 18:09:21 >_< 18:09:34 There should be an -O4 that enables every safe optimisation, and -O5 that enables every optimisation. 18:10:01 you mean -O666 18:10:03 Some optimizations counter each other's work, I think 18:10:16 And some are of course just parameters you can tune 18:10:50 just try every permutation and pick the best 18:10:58 pick the best by timing it by fuzz testing it 18:11:12 (if it takes input) 18:11:36 So what you actually want is -Ojustloopforever 18:11:53 Do them all in parallel of course 18:12:02 -!- FireFly has quit (bartol.freenode.net irc.freenode.net). 18:12:02 -!- EgoBot has quit (bartol.freenode.net irc.freenode.net). 18:12:02 -!- Leonidas has quit (bartol.freenode.net irc.freenode.net). 18:12:14 Like that. 18:12:14 -!- FireFly has joined. 18:12:14 -!- EgoBot has joined. 18:12:14 -!- Leonidas has joined. 18:12:17 So what you actually want is -Ojustloopforeveronallavailablecores 18:13:39 Deewiant: For some definition of "forever"? 18:14:29 There's probably around 100 optimization options 18:14:39 So you have 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000 permutations 18:14:58 So yeah, that definition of "forever" 18:15:41 Except that I guess we're not talking about the order in which they're applied 18:16:00 You could have it update the executable to the fastest as it goes. 18:16:01 But rather, whether each one is applied or not 18:16:10 right 18:16:12 ehird: It still has to try every one 18:16:27 1267650600228229401496703205376 18:16:38 Deewiant: yes, but you can use it as you go 18:16:51 anyway, let's assume we have 128 cores; a Nehalem-EX system will be able to do that and we are after all in the future 18:17:00 each of these can run two threads 18:17:18 → 4951760157141521099596496896 18:17:30 let us assume that our program takes 1ms to execute 18:18:07 it will only take 1.56915162 x 10^14 millenia 18:18:11 to fully complet 18:18:11 e 18:18:25 and I can't think of a bigger unit than millenia. 18:18:51 aeon 18:19:03 ill defined 18:19:15 -!- Judofyr has joined. 18:19:15 okay then let aeon := 1 billion years 18:19:32 What's a billion here 18:19:36 10^9? 18:19:39 10^9 of course 18:19:44 anyway 18:19:47 Deewiant: 156915162000000000 years isn't bad 18:19:48 who the fuck uses anything else apart from dead people 18:19:57 156911811 aeons then 18:20:06 I guess I'm dead according to your definition 18:20:14 no, you're just non-english 18:20:21 I also use it in English 18:20:22 if you're not and think a billion is 10^12 you sure should be! 18:20:29 Deewiant: don't 18:20:32 nobody uses it that way in english 18:20:34 not even the british 18:20:38 I know 18:20:50 well, don't, it's dangerous 18:20:59 kalpa 18:21:16 I don't use it in dangerous contexts 18:21:23 Typically I just use milliard and people stare blankly 18:22:03 yes because that is dead people talk 18:22:18 Pthing: Jolly good old bean. 18:22:22 you are grandpa moses' economist talking about grain exports in the bronze age 18:22:28 :D 18:22:34 I guess Canadians have it well since French uses the long scale 18:22:37 10^12 is the superior definition 18:22:39 Pthing: Not quite that dead 18:22:42 okloput: it is 18:22:46 but it's not what is used 18:22:50 also, 10^12 comes up less 18:22:56 whereas 10^9 comes up more 18:22:56 for less = hardly ever 18:22:57 well i don't give a shit, naturally 18:22:57 in, you know 18:22:59 real people units 18:23:03 but yeah billion is a bad name 18:23:10 because it's not a billion like a million is. 18:23:11 yeah who cares about real people 18:23:12 Who cares whether it comes up more 18:23:19 zipf 18:23:24 Deewiant: people who don't want to say "three thousand million" 18:23:26 "10^9 is more common than 10^12 so let's call it billion instead of milliard" 18:23:39 Just use milliard, much easier 18:23:43 milliard + scratchy communication line = million 18:23:54 also it sounds even more french than million 18:24:00 It's shortened to "yard" 18:24:04 hehe 18:24:05 yard 18:24:22 ehird: billion + scratchy communication line = million 18:24:32 Much more so than milliard, IMO :-P 18:24:35 Deewiant: if you can't pronounce things properly 18:24:57 All you need to have is a flu and they sound the same 18:25:07 So, Terry Pratchett says he's going to kill himself. 18:25:07 In financial markets, yard (derived from milliard) is still often used instead of "billion" to avoid ambiguity between "million" and "billion". -- http://en.wikipedia.org/wiki/Milliard 18:25:39 fuck the financial markets 18:25:50 get off my mill yard 18:26:15 anyway who gives a shit what the idiots still using a 10-base number system use for shorthands 18:26:18 also 18:26:25 you could just use SI prefix + years 18:26:33 okloput: what's your favourite base 18:26:47 2 is fine 18:26:54 okloput: too verbose 18:26:58 i don't really use numbers much 18:27:01 so 156 petayears 18:27:17 Closer to 157 18:27:17 ehird: there are well-known shorthands for writing base-2 18:27:24 like what 18:27:26 using base 4? 18:27:26 hex 18:27:32 for instance 18:27:32 that's not base 2 18:27:34 that's base 16 18:27:39 ehird: it's /also/ a shorthand for base 2 18:27:40 how is that relevant 18:27:51 okloput: because then you like base 16, not base 2! 18:27:58 who gives a shit 18:28:03 numbers are pretty useless anyway 18:28:08 anyway base 3 is better 18:28:10 because you have a middle 18:28:35 or rather base 9 :P 18:28:39 trinary has it's funny bones, yes. 18:30:26 -!- ehird_ has joined. 18:30:43 i hate computers and their disconnection 18:30:46 The Nonary system of notation is used by the fictional civilization, The Culture, found in Iain M. Banks' books.[citation needed] 18:30:48 see 18:30:50 fictional support 18:30:52 nonary 4eva 18:31:45 happy 2672- 18:31:47 er 18:31:49 happy 2672-08-07, anyway 18:36:42 -!- Slereah_ has joined. 18:40:59 i wish there was a vm os 18:41:07 where all its resources are dedicated to running multiple vms at once 18:41:25 current ones sorta don't cut it because your vm is noticeably slower etc than your host 18:44:09 * ehird_ wonders why people write in pseudocode that's so much like real code 18:44:59 ehird_: A VM OS, you say? 18:45:03 yes 18:45:09 it'd make trying OSes out so much nicer 18:45:14 Sounds like an IBM mainframe. 18:45:16 if you could say "dedicate all resources to this OS" 18:45:18 etc 18:45:21 and no partitioning 18:45:33 of course you'd have to insanely optimise the hardware layers 18:45:38 specifically, make them almost direct drivers 18:45:41 Mainframe. 18:45:45 with everything else being optional 18:45:47 pikhq: on consumer hardware. 18:45:54 it's perfectly doable, just hard 18:45:57 ehird_: Fair enough. 18:46:00 easier than writing a full OS, though :P 18:46:02 Perfectly doable, just hard. 18:46:12 Basically, that would amount to a good hypervisor. 18:46:38 yep 18:46:51 anyone know a super-simple png loader/writer lib for c 18:47:01 basically http://pngwriter.sourceforge.net/ for c 18:47:01 -!- Slereah has quit (Read error: 110 (Connection timed out)). 18:47:50 -!- ehird has quit (Read error: 110 (Connection timed out)). 18:53:07 -!- Gracenotes has joined. 18:53:12 mh 19:00:28 Microsoft just patented XML document formats... 19:00:34 wat 19:00:35 so they now seem to have a patent on XHTML and ODF, among other things 19:00:44 hopefully, there's no way that particular patent will stand 19:00:51 Not ODF. Their patent specifies "in a single XML file". 19:00:59 ODF uses multiple. 19:01:05 ODF uses single, too 19:01:08 as in, they're both valid 19:02:00 only that part is patented, then 19:02:15 yes 19:02:45 This summary is probably not complete or fully accurate, but it is an impressive collection of distributed computations, produced within or on top of the Arpanet. Much of this work, however, was done in the early 70s; one participant recently commented, “It's hard for me to believe that this all happened seven years ago.” Since that time, we have not witnessed the anticipated blossoming of many distributed applications using the long-haul capabilities of 19:04:52 the Arpanet. 19:12:59 http://www.youtube.com/watch?v=qYluZRwrw9w 19:14:06 anyone? 19:14:46 perjan, no 19:14:51 oerjan* 19:15:02 it is not a euphemism for damnation 19:15:17 "what in the entire nation" ~ "what in the world" 19:15:51 so, if someone writes a rap in lojban I'll paypal them $0 19:16:03 not much of an incentive! 19:16:12 extra incentive: you'll be fucking awesome 19:16:21 no 19:16:25 also it has to rhyme 19:16:27 youll be a guy who wrote a rap in lojban 19:16:32 equivalent 19:17:06 more like opposite 19:17:55 augur you just hate lojban because you suck 19:18:13 no, im just aware of how much of a nerd you have to be to rap in lojban. :P 19:18:15 Oh wow 19:18:21 A lojban rap would rule. 19:18:54 yeah 19:19:02 augur: nerd increases awesomeness 19:19:18 wrong kind of nerdery 19:19:47 augur: yeah well you're a fag 19:19:52 true. 19:20:46 nerdation 19:21:45 speaking of lojban, http://jbotcan.org/xamselsku/index.cgi?id=17 19:23:10 also http://jbotcan.org/xamselsku/index.cgi?id=61 19:23:14 this qdb is hilarious 19:34:08 -!- Asztal has quit (Success). 19:35:33 -!- Asztal has joined. 19:35:59 -!- Pthing has quit (Remote closed the connection). 19:36:19 http://www.express.co.uk/posts/view/115736/Sin-bins-for-worst-families 19:36:20 wow 19:38:11 old 19:38:18 1984 ftw 19:40:18 thats crazy, dude 19:56:25 -!- oerjan has quit ("orwlly?"). 20:03:30 -!- ehird_ has quit. 20:07:44 hehehehehe balls 20:21:18 -!- ehird has joined. 20:25:44 guys 20:25:49 simple png reader/writer lib in c 20:25:50 point me! 20:25:57 :P 20:25:58 ehird: libpng 20:26:14 I mean http://pngwriter.sourceforge.net/ simple, not libpng "simple" 20:26:22 pngwriter's in c++ though 20:27:08 libpng has a simple API as well as the full one, IIRC 20:27:13 although IME the full one's been more usefu 20:27:15 *useful 20:27:31 http://www.google.com/search?hl=en&safe=off&client=safari&rls=en-gb&ei=FIB8SrGqOMOfjAf6laGIBw&sa=X&oi=spell&resnum=0&ct=result&cd=1&q=libpng+simple+api&spell=1 20:27:32 third link 20:27:33 latent content: LIBPNG: Worst API, Ever 20:27:33 lawl 20:27:35 ehird, simple as in "simple implementation, low level API" or simple as in "easy to use high level API" 20:27:46 AnMaster: no contradiction. 20:27:59 ehird, well not in theory indeed :P 20:28:03 i already gave a relevant pointer. http://pngwriter.sourceforge.net/quickstart-en.php should remove all doubts as to which 20:28:10 in practise it seems to be 20:28:44 AnMaster: yeah, the functions filename→vector and vector*filename→void must be soo complex 20:29:06 vector? png is bitmapped... what are you talking about 20:29:27 I know you said Swedish mathematics education was piss-poor, 20:29:33 but did they actually give you any classes at all? 20:29:48 oh *that* type of vector. 20:32:02 ehird, it is a hot day here, excuse me for not being up to speed. 25 C at 72% humidity in the evening... Was over 30 C during the day 20:32:19 I so hate early August... 20:32:27 (and late July) 20:32:30 -!- augur has quit (Read error: 104 (Connection reset by peer)). 20:32:36 So, the Swedes have resorted to complaining that it's over twenty degrees to justify their intelligence. 20:32:49 -!- augur has joined. 20:32:56 AnMaster: ... That's hot? 20:32:59 ehird, nah. Math education is poor too. Vectors were only introduced in late high school 20:32:59 Somehow, my brain hasn't yet melted from hot temperatures. 20:33:02 pikhq, for Sweden yes 20:33:05 AnMaster: What?! 20:33:07 Vectors, late high school? 20:33:08 That's "finally, it fucking *cooled down*" temperature. 20:33:10 pikhq, and very high humidity 20:33:11 EVEN THE US IS BETTER THAN THAT 20:33:15 I think, at least. 20:33:19 ehird, see. That is what I told you 20:33:20 ehird: ... No, no. 20:33:25 pikhq: oh. 20:33:25 Vectors are covered in college. 20:33:28 Well that's m— 20:33:30 ... 20:33:35 With a *tiny* bit in high school. 20:33:45 AnMaster: 90%? 20:33:47 pikhq, quite close to here 20:33:54 Do USians really not know calculus before they enter university? 20:33:57 Like, even the good ones? 20:34:03 ehird: Only the good ones. 20:34:05 pikhq, well, 72% atm says the thingy that measures it. Was close to 80% yesterday at least 20:34:13 didn't check in the middle of the day 20:34:28 ehird: US public education is *staggeringly* bad. 20:34:48 So much for Ivy League, huh. 20:34:54 all Swedish education is like the US public education 20:34:59 You probably know more mathematics than the average US high school graduate. 20:35:00 Ivy Ihopeyouknowcalculusleague. 20:35:12 we have vectors in high school as well 20:35:13 Why did I attach that to league and not ivy? 20:35:15 The US at least makes up for it by having decent to good post-secondary education. 20:35:15 WE WILL NEVER KNOW 20:35:19 since private education only recently started to grow from some tiny fraction of a percent 20:35:26 pikhq: Vectors are covered in college. <<< xD 20:36:04 okloput: In precalc (an optional course for HS students). 20:36:08 well, there wasn't a *lot* about vectors in high school in fact. 20:36:11 just the basics 20:36:15 ehird, ^ 20:36:28 not that it matters, no one learns anything in high school anyway they can't learn in about 5 hours of lectures in uni. 20:36:46 I learned plenty *in* high school. 20:36:49 okloput, that is probably true 20:36:52 Just... Not *from* high school. 20:36:59 :P 20:37:09 pikhq: been there 20:37:16 I can safely say that from middle school onwards, the school education in this country teaches you precisely and exactly zip. 20:37:18 pikhq, private education? Or a joke about other stuff? 20:37:23 ...until university, at least 20:37:35 AnMaster: He's talking about pornography, duh. 20:37:39 AnMaster: I'm autodidactic. 20:37:42 (Note: He's not, actually.) 20:37:45 ehird, yes that is what I meant with "other stuff" 20:37:47 :P 20:37:52 ehird: Which is an improvement on the US. You stop learning in about elementary. 20:38:01 hmm, he's actually talking about his ability to use a pretentious word to mean "I read Wikipedia" 20:38:11 Autodidactic. I read Wikipedia. The choice is clear. 20:38:16 * AnMaster googles autodidactic 20:38:24 ehird: I had the same tendency to self-teach things before Wikipedia existed. 20:38:32 "self-education" heh 20:38:33 I just read a lot. 20:38:33 right 20:38:45 same with me for programming at least. And some of the math. 20:38:47 Wikipedia used to be more distributed and less accurate /shrug 20:39:28 hah :P I meant learning by reading, not wikipedia specifically 20:40:16 I want to do some hivemind applications; e.g. answering questions by collating the web and IRC etc. 20:40:26 (Then FOOM) 20:40:37 (I'd better do it before someone adds another fact to Cyc!) 20:42:39 ehird: The average USian reads about as well as a US 4th grade student. 20:43:09 Which is to say, they can't even read a novel of moderate length. 20:43:39 About 80% of Americans did not read a single book last year. 20:44:03 well books can be kinda annoying 20:44:28 okay you know what 20:44:29 fuck america 20:44:41 let's gather up all the cool people in the US — should take a few hours — 20:44:42 ehird: My thoughts exactly. 20:44:44 hey this nick is ugly 20:44:47 -!- okloput has changed nick to oklopol. 20:44:53 and shoot it into orbit 20:44:56 oxygen not required 20:44:59 ehird: So, most Americans on Freenode, friends of theirs? 20:45:00 hmm not orbit 20:45:03 send it off to pluto 20:45:14 pikhq: dunno there are plenty of cool people who abstain from freenode for good reasons 20:45:31 (for example, freenode's founder and administration are uh, questionable) 20:45:36 so you want to kill all the cool people in usa 20:45:42 add OFTC and find a way to include the non-programmers 20:45:49 ehird: That's why I said "and friends of theirs". 20:45:55 true 20:45:57 pikhq: recursive? 20:45:59 About 80% of Americans did not read a single book last year. <-- I suspect things are close to as bad in Sweden, That is from personal experience talking to people; I don't have actual numbers handy. 20:46:04 cuz i'm sure that way you'll get a bunch of idiots 20:46:09 ehird: Within reason. 20:46:10 AnMaster: no, that's almost certainly untrue 20:46:14 yeah take the whole closure 20:46:18 sweden is ranked among the top places to live etc 20:46:27 leaving like 5 hermits 20:46:40 ehird: Probably you need a function "coolPerson :: Person -> Bool" 20:46:50 pikhq: x -> Bool, aka Set x 20:46:56 so that's not terribly helpful 20:47:25 Person would have to be a typeclass... 20:47:27 ehird, http://www.scb.se/statistik/LE/LE0101/1976I02/LE0101_1976I02_BR_06_LE103SA0401.pdf seems to indicate it was 30% for men in 1999 20:47:36 nornalbion: really? 20:47:37 and 76% for women 20:47:39 howso 20:47:40 who *read books* 20:47:41 in 1999 20:47:42 ehird, ^ 20:47:49 ehird: I don't think it's a builtin in Haskell, somehow... 20:47:49 so possibly *worse* than US? 20:47:57 nornalbion: type Foo = ... 20:48:00 data Foo = ... 20:48:08 wait misread. Even worse 20:48:10 AnMaster: well we all know men just want sex and women are gentle and emotional 20:48:18 QED 20:48:20 Clearly I shouldn't talk about Haskell because I don't know much :P 20:48:38 typeclasses have existing types as instances anyway 20:48:41 so that wouldn't help 20:48:42 AnMaster: ... That's more than 20% of people reading books. 20:48:57 anyway nornalbion where did you come from anyway 20:48:59 pikhq, ah yes. you said *who didn't read* 20:49:03 ehird: Sine 20:49:07 Yup. 20:49:10 confused me 20:49:21 nornalbion: don't recall seeing you in sine, k 20:49:24 according to that pdf traditional dance is one of the most unpopular activities in Sweden 20:49:24 heh 20:49:32 traditional dance is pretty suck 20:49:44 Adherents of it include: Stallman. 20:50:00 ... I do *not* want to see fat man dancing, thank you. 20:50:01 ehird, well, for women snowboard/windsurfing is even less popular (why combine those two!? makes no sense to me!) 20:50:13 pikhq: http://www.youtube.com/watch?v=Pube5Aynsls 20:50:16 rms + soulja boy 20:50:58 ehird: Old. 20:51:11 not exactly traditional dance :P 20:51:16 The Census bureau defines literacy as "being able to read and write to any extent"... 20:51:19 traditional dance... wait... bad translation. Seems it is called "folk dance" says interwiki links 20:51:25 same thing 20:51:29 ah 20:51:38 and yeah it's suck 20:51:49 -!- KingOfKarlsruhe has joined. 20:51:55 AnMaster: also combined snowboarding/windsurfing sounds amazing. 20:51:56 Including "a small handful of familiar words"... 20:52:00 yes yes i know 20:52:03 ehird: I'm Miya 20:52:08 nornalbion: o 20:52:10 ehird, heh 20:52:14 God. So much suck. 20:52:15 silly people and their silly names 20:52:17 ehird: I tried to show you in sine, then noticed you weren't in it. Woops :\/ 20:52:29 blame dylan :P 20:52:38 What did he do to you? :O 20:52:52 dunno i think i asked about something trivial and he got all pissy at me 20:53:13 Kay 20:54:06 ... Only 13% of the US population is able to compare viewpoints in two editorials; interpret a table about blood pressure, age, and physical activities; or compare and compute the cost per ounce of common food items. 20:54:11 D': 20:54:25 hm a question ehird... not sure if you know about this, but... When a laptop is suspended the fans turn off. Could that have any bad effects if the fans were working at full speed just before suspending? 20:54:29 in theory I mean 20:54:35 reduced cooling or something 20:54:36 no 20:54:47 * ehird attempts to rewrite the rest of Baby Got Back, but finds that "when a coder walks in with an itty bitty instruction set" doesn't fit 20:54:48 hm guess no need for cooling once cpu turns off 20:55:06 it shouldn't, although it isn't cooling, the CPU won't get any hotter because it isn't running 20:55:07 guess I could use "lang" 20:55:21 ehird: Listen to Jonathan Coulton singing it for inspiration. 20:55:23 ais523, true. But it won't cool down as fast 20:55:30 in theory 20:55:35 (depending on workload) 20:55:55 compared to suddenly reduced workload I mean with fans still running for a few seconds 20:56:02 AnMaster: i don't think you understand how cooling works 20:56:15 it's not producing heat, so it'll just dissipate into the air 20:57:04 hmm an issue with Baby Got Back is that it's rather biased towards the object being large 20:57:11 whereas we stereotypically go the opposite way 20:57:27 ehird, true. But question is how fast it will cool down. Considering how hot the air becomes where it exits... I'm not positive but it feels like it could melt stuff standing too close, so putting the laptop in a backpack directly after... hrrm 20:58:01 Yeeeeeeeeeeeno. 20:59:02 -!- nornalbion has left (?). 20:59:10 if CPU is around 60 C, then the air exiting would be a bit lower. Not sure how much but let me get a thermometer and put full load on both cores.. brb 20:59:21 AnMaster. It is not going to melt your backpack. 20:59:33 Your CPU will also not die after suspension because that's not how cooling works. 20:59:48 AnMaster: just buy a laptop pad if you're worried anyway 20:59:50 ehird, well that is true. I realised that after I asked 20:59:55 AnMaster: it won't /warm up/ after shutting down, though 20:59:58 *I* need more cooling atm 20:59:59 :) 21:00:09 and so if it would have melted after turning it off, it would have melted beforehand 21:00:19 ais523, don't be too sure. My old first model ibook sometimes failed to shut down the cpu when you put it to sleep 21:00:27 I mean using a non-netbook laptop without a cooling pad is asking for trouble 21:00:32 as in, it crashed right after turning off fan and right before turning off cpu 21:00:42 of course, that was mac os 9 21:00:46 overheating of both your components and uh, making you infertile 21:00:47 rather different 21:00:58 ehird, I use it on a table anyway 21:01:04 yes 21:01:06 it'll still overheat 21:01:13 most companies strongly recommend you use a laptop pad 21:01:34 ehird, didn't see anything about that in the manual from lenovo though 21:01:52 it will be there 21:01:54 Of course they do, so that they can sell you one 21:02:00 in the safety stuff, say 21:02:03 btw, it seems it is quite easy to replace many parts of it. With warranty left I mean. Unlike those macs I have seen ;P 21:02:05 Deewiant: uhh, no 21:02:11 adoption is a simpler alternative to procuring a laptop pad 21:02:16 most laptop companies don't sell laptop pads 21:02:22 oklopol: that doesn't solve it turning off because it overheated 21:02:23 you can even easily replace harddisk by just following three easy steps in the manual :P 21:02:34 ehird: i'm sure it does! 21:02:41 somehow 21:02:41 Then they have some kind of deal with a company who does, same difference 21:02:47 Deewiant: not IME, no. 21:02:52 AnMaster: that's funny, because with a mbp you just screw open the case, take it out and put a new one in 21:03:07 ehird, well, you only need one screw here. 21:03:27 That's good; I can replace the laptop every time I sit it down easily. 21:03:32 s/laptop/HD/ 21:03:34 ehird, :D 21:03:35 I've always wanted to do that. 21:03:41 -!- Pthing has joined. 21:04:38 ehird, does macbook pros have PC-card? 21:04:46 the expresscard thing? 21:04:47 I'm fairly certain plain macbooks doesn't 21:04:50 the 17" one does. 21:04:59 ehird, well similar thingy. Possibly not exactly the same 21:05:00 not sure 21:05:17 also, *do ma 21:05:24 ehird, eh? 21:05:33 21:04] AnMaster: ehird, does macbook pros have PC-card? 21:05:37 s/^2/[2/ 21:05:38 ah 21:05:44 :D 21:05:57 if anyone presents me with a gui irc client for os x that lets me copy lines without fucking the formatting up, I will love them forever 21:06:20 ehird, I was writing "mac book pro" first and added the s afterwards, forgot to change the "does" then 21:06:33 also 21:06:40 funny, because apple's marketing refer to them as singular 21:06:43 macbooks pro? macbooks pros? macbook pros? 21:07:01 MacBook Pros, or, if you're apple, awkawrd sentences like "It makes MacBook Air incredibly light," 21:07:02 ehird, I think I just demonstrated the reason :P 21:07:04 *awkward 21:07:12 As we all know, they only sell one unit of every model. 21:07:16 First come, first served! 21:07:26 ehird, no 21:07:36 They are very clear. 21:07:36 First come, only served! 21:07:40 is what you meant 21:07:47 My statement is still correct. 21:07:57 well ok, but less useful 21:08:39 ehird, btw why would only the 17" model have express card? 21:08:56 I mean, lenovo managed to fit *two* slots in this 15.4" model 21:09:09 stacked on top of each other 21:09:29 because they did a study, found out almost everyone doesn't use it, find out that those who do just put in an SD card reader, replaced it with an SD card slot. Left it in the 17" model for the business/uber-pro people that really, really need it. 21:09:37 AnMaster: that would not work because the macbook pro is a lot thinner 21:09:50 ehird, hm true 21:10:03 0.95" thick, including closed display 21:10:09 ehird, btw, this has an sd reader too 21:10:10 well 21:10:14 on the 15" model 21:10:23 combined SD/MemoryStick/a/few/other/ones 21:10:35 sadly not the single format I actually use. which is CF 21:11:14 incidentally, thing that i learned recently: 21:11:20 movies aren't edited uncompressed or losslessly 21:12:15 ehird, indeed, they are usually scanned from analogue master 21:12:20 at least were 21:12:20 LOL 21:12:22 no, no they're not 21:12:47 ehird, it was ages ago I read about professional movie editing 21:12:51 so yeah, things changed 21:12:59 Middle Ages thereabouts, I assume. 21:13:11 ehird, 2002? 2003? Something like that 21:14:09 so, the lojbanic term for MOO is "computerized imaginary universe" 21:14:13 well, translates as 21:15:00 oh, wait 21:15:04 that's just the name for _the_ lojban moo 21:15:15 then it was like: low quality scan from master, *edit and save the edits*, scan high quality, auto apply the edits (would be too slow to work at the high quality when actually editing, yeah it was a while ago), reprint to analogue film "master" which is then used to create the film reels sent to the cinemas 21:15:37 I was referring to http://en.wikipedia.org/wiki/ProRes_422 21:15:40 ehird, err, name for a word? 21:15:51 AnMaster: ..........no? 21:16:27 well, what do you mean about that "moo" then 21:16:32 >_< 21:16:37 what you said was confusing 21:16:52 Moo is the noise cows make. 21:16:55 do you mean the word "moo" is Lojban for "computerized imaginary universe" 21:16:56 or what 21:16:59 ehird, yes I know that 21:17:17 -!- Judofyr has quit (Remote closed the connection). 21:17:21 It's a joke about how lojban uses short words to represent useless, abstract concepts. 21:17:32 oh ok 21:17:52 I'm not familiar enough with lojban to know that it did that 21:18:06 -!- Judofyr has joined. 21:18:08 And that was a joke about the word "gullible" not being in the dictionary. 21:18:33 ehird, :D 21:18:43 Since you didn't get it, let me repeat: 21:18:49 I was bullshitting. 21:19:00 ehird, yes I understand that now 21:19:27 but does it really use short words for useless (in everyday context) concepts? 21:19:48 Yes, and I'm an elephant that can fly. 21:20:03 guess that means "no" 21:20:17 never know with you 21:20:17 Did I say "no"? 21:21:07 -!- jix has quit (Read error: 113 (No route to host)). 21:26:57 -!- Gracenotes has quit (bartol.freenode.net irc.freenode.net). 21:26:57 -!- EgoBot has quit (bartol.freenode.net irc.freenode.net). 21:26:57 -!- Leonidas has quit (bartol.freenode.net irc.freenode.net). 21:26:57 -!- FireFly has quit (bartol.freenode.net irc.freenode.net). 21:26:57 -!- ineiros has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- GregorR has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- Pthing has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- Asztal has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- ais523 has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- upyr[emacs] has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- BeholdMyGlory has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- oklopol has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- lifthrasiir has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- sebbu has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- dbc has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- rodgort has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- MizardX has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- fungot has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- Deewiant has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- Slereah_ has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- coppro has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- nescience has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- Warrigal has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- Robdgreat has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- Dewio has quit (bartol.freenode.net irc.freenode.net). 21:26:58 -!- pikhq has quit (bartol.freenode.net irc.freenode.net). 21:26:59 -!- Judofyr has quit (bartol.freenode.net irc.freenode.net). 21:26:59 -!- ehird has quit (bartol.freenode.net irc.freenode.net). 21:26:59 -!- bsmntbombdood has quit (bartol.freenode.net irc.freenode.net). 21:27:48 -!- randomity has quit (bartol.freenode.net irc.freenode.net). 21:27:49 -!- augur has quit (bartol.freenode.net irc.freenode.net). 21:27:49 -!- puzzlet has quit (bartol.freenode.net irc.freenode.net). 21:27:49 -!- cmeme has quit (bartol.freenode.net irc.freenode.net). 21:27:49 -!- CESSMASTER has quit (bartol.freenode.net irc.freenode.net). 21:27:49 -!- olsner has quit (bartol.freenode.net irc.freenode.net). 21:27:49 -!- HackEgo has quit (bartol.freenode.net irc.freenode.net). 21:27:49 -!- comex has quit (bartol.freenode.net irc.freenode.net). 21:27:49 -!- Ilari has quit (bartol.freenode.net irc.freenode.net). 21:27:49 -!- olegfink has quit (bartol.freenode.net irc.freenode.net). 21:27:49 -!- mycroftiv has quit (bartol.freenode.net irc.freenode.net). 21:27:49 -!- ineiros_ has quit (bartol.freenode.net irc.freenode.net). 21:27:49 -!- mtve has quit (bartol.freenode.net irc.freenode.net). 21:27:49 -!- SimonRC has quit (bartol.freenode.net irc.freenode.net). 21:27:50 -!- fizzie has quit (bartol.freenode.net irc.freenode.net). 21:27:50 -!- AnMaster has quit (bartol.freenode.net irc.freenode.net). 21:27:50 -!- KingOfKarlsruhe has quit (bartol.freenode.net irc.freenode.net). 21:28:03 -!- Judofyr has joined. 21:28:03 -!- Pthing has joined. 21:28:03 -!- KingOfKarlsruhe has joined. 21:28:03 -!- augur has joined. 21:28:03 -!- ehird has joined. 21:28:03 -!- Asztal has joined. 21:28:03 -!- Gracenotes has joined. 21:28:03 -!- Slereah_ has joined. 21:28:03 -!- Leonidas has joined. 21:28:03 -!- EgoBot has joined. 21:28:03 -!- FireFly has joined. 21:28:03 -!- ais523 has joined. 21:28:03 -!- upyr[emacs] has joined. 21:28:03 -!- BeholdMyGlory has joined. 21:28:03 -!- oklopol has joined. 21:28:03 -!- coppro has joined. 21:28:03 -!- pikhq has joined. 21:28:03 -!- rodgort has joined. 21:28:03 -!- ineiros_ has joined. 21:28:03 -!- Warrigal has joined. 21:28:03 -!- ineiros has joined. 21:28:03 -!- CESSMASTER has joined. 21:28:03 -!- puzzlet has joined. 21:28:03 -!- olsner has joined. 21:28:03 -!- MizardX has joined. 21:28:03 -!- nescience has joined. 21:28:03 -!- bsmntbombdood has joined. 21:28:03 -!- HackEgo has joined. 21:28:03 -!- GregorR has joined. 21:28:03 -!- AnMaster has joined. 21:28:03 -!- fizzie has joined. 21:28:03 -!- olegfink has joined. 21:28:03 -!- Dewio has joined. 21:28:03 -!- Robdgreat has joined. 21:28:03 -!- mycroftiv has joined. 21:28:03 -!- cmeme has joined. 21:28:03 -!- comex has joined. 21:28:03 -!- Ilari has joined. 21:28:03 -!- randomity has joined. 21:28:03 -!- SimonRC has joined. 21:28:03 -!- mtve has joined. 21:28:03 -!- fungot has joined. 21:28:03 -!- Deewiant has joined. 21:28:03 -!- dbc has joined. 21:28:03 -!- sebbu has joined. 21:28:03 -!- lifthrasiir has joined. 21:28:15 and the clothes 21:28:15 the old style I mean 21:28:15 anyway, with these hydraulic stilts 21:28:15 you could get really long trousers 21:28:15 and get into the guiness book of records 21:28:24 clog: 23:39:46 -!- clog has joined. 23:39:46 -!- clog has joined. 23:39:50 wb clog 23:40:28 i think quite a few people are actually working on integrating plan9 better with the functional paradigm, since the functional approach is very strong in network/signal processing/messaging type scenarios that are generally a good match for plan9 architecturally 23:40:31 mycroftiv, btw. Once plan9 supports modern hardware better I might actually consider switching. Oh and I guess once more software is ported to it as well.. 23:41:00 basically when it works just as out of box on my new thinkpad as ubuntu did. Which I realise is not a reasonable goal at all. 23:41:15 AnMaster: my opinion is that the right way to make use of plan9 is not at all to consider 'switching' - but rather to integrate whatever plan9 tools and tech is useful to you, via one of several methods 23:41:27 mycroftiv, I do have plan9port installed 23:41:30 if that is what you mean 23:41:32 (which might range from an old box acting as a plan9 server, to using plan9port, to using a virtual machine, etc) 23:42:32 I use it sometimes. But really I'm way more used to (gnu) emacs than sam or acme 23:42:33 that is one way to access some of the tools, if you like them - i also think having a small qemu VM running as a headless cpu server is also a very nice and resource efficient way of adding plan9 stuff to your toolset 23:44:08 mycroftiv, does erlang/otp run on plan9... I don't remember that being supported. And I tend to use my old headless computers as parts of a distributed erlang network. Which means I can select between solaris, freebsd and linux really 23:44:45 mycroftiv, otherwise I would probably run it natively already on them 23:44:45 let me do a quick scan of contrib and see if i see anything erlang-related - not sure if someone has ported stuff or not 23:45:21 nope, looks like if any erlang stuff has been done, its not on sources server at least 23:45:30 it would be rather non-trivial I suspect. 23:45:42 certainly, it isn't something I would consider doing. 23:45:51 what with the JIT stuff and such 23:46:22 well, not JIT, more like AOT. Still way over my head. 23:46:37 I guess the basic interpreted bit, maybe. 23:48:23 mycroftiv, anyway. I would really want to use the network fs thingy, but I never figured out where to start with it under linux... So I ended up using nfs over the lan 23:48:51 yes I realize it can do much more than just files. 23:48:56 -!- augur has joined. 23:48:58 still didn't figure out how 23:49:10 there is the kernel option thingy and that is all 23:49:20 well, honestly, the 9p stuff in linux is kind of a hassle, in my experience - i use plan9port but mostly for venti and some other stuff 23:50:15 mycroftiv, since I have modern hardware and I use 3D graphics quite a bit (and want reasonable frame rates) I don't expect I will run anything but linux as the "base" OS during the next few years 23:50:17 :/ 23:50:48 erlang sorta sucks 23:51:03 AnMaster: im not expecting to change away from linux controlling most of my hardware either, but that doesnt interfere with my use of plan9 at all 23:51:48 ehird, that is your opinion. IME all non-trivial programming languages has both good and bad bits. Every non-trivial language has some quirk. 23:52:10 god, I can't state one opinion without AnMaster turning into plato or whatever mentioning "OH, THAT'S YOUR OPINION" 23:52:12 I'm pretty sure I heard you mention some in haskell too ehird. 23:52:20 no, it's an objective fact woven into the universe that erlang sucks!!! 23:52:27 "ERLANG SUCKS" was encoded in the big bang 23:52:29 ehird, ...? 23:52:41 factory 23:52:42 mycroftiv, right. 23:52:46 in fact the LHC has proved that it is a universal truth that erlang sucks 23:52:46 fun fact. 23:53:01 ehird, why do you never give up... 23:53:12 ehird: are you trying to yank my chains there......?? 23:53:13 (with being so childish) 23:53:16 the point <-------------> anmaster's head 23:53:26 The LHC didn't run yet, ehird 23:53:29 Don't be silly 23:53:30 why would you tell such an outrageous lie 23:53:35 Slereah_: doesn't matter, i used the sucking of erlang to see into the future 23:53:47 i mean god, someone tell me what time it id 23:53:48 AnMaster: to spell it out for you 23:53:48 *is 23:53:51 every time i say an opinion 23:53:53 But if you can see the future with it, that doesn't suck 23:53:54 you go "THAT'S YOUR OPINION" 23:53:58 like you're making some epic point 23:53:59 How do you resolve that paradox? 23:54:01 ehird, not every time 23:54:02 of course it's my damn opinion, I SAID IT 23:54:03 check logs 23:54:10 Slereah_: it sucks as a programming language 23:54:12 ehird: really, isnt it just YOUR OPINION that every time you say an opinion, he says that? 23:54:16 oh fuck you, shall i talk in objective predicates all the time? 23:54:23 HEY BY EVERY TIME MAYBE I JUST MEAN REALLY OFTEN 23:54:24 crazy 23:54:34 human communication being subjective and imprecise. who'da thunk it! 23:55:09 ehird, isn't lojban supposed to "fix" that? 23:55:20 now you're surely trolling 23:55:23 i rate ehird's rant 9.0 out of 10 on the rantmeter 23:55:26 ehird, yes :P 23:55:37 imo AnMaster doesn't use "that's your opinion" too much, or in stupid ways, then again that's just my opinion 23:55:43 mycroftiv, only? I would place it at 9.8 at leasyt 23:55:44 least* 23:55:48 oklopol: THAT'S JUST YOUR OPINION 23:55:52 mycroftiv: why thank you 23:55:54 oklopol, :D 23:55:58 AnMaster: i have pretty high standards for rants, since i deliver quite a few myself when triggered 23:56:20 ehird: good point! 23:56:37 oklopol: anyway it's 23:56 bst 23:56:39 mycroftiv, ouch 23:56:50 which is, fun fact, gmt+1 23:56:52 ehird: i envy your pasty present. 23:56:59 in here it's much later 23:57:03 00:56 here 23:57:17 no it's not, it's 00:57 there 23:57:23 was when you said that line, too 23:57:30 this reminds me actually of one of my own rants: when i was in school, we had to learn to classify statements as 'fact' vs. 'opinion' - but the problem is, the definition of 'fact' was basically purely based on authority 23:57:35 and for mycroftiv it seems to be much much earlier 23:57:45 oklopol: just go around the world 23:57:46 really fast 23:57:50 ehird, damn yes, I looked at clock and then it switched half a second later 23:57:51 and you'll never spend any time 23:58:09 FACT: Gay marriage will destroy the world. 23:58:27 ehird, so slighly slower than a concorde then? 23:58:29 (FACT: Dettol protects?) 23:58:41 AnMaster: concorde goes faster than sound, not time. 23:58:55 gay marriage is meaningless 23:58:58 ehird, faster than timezones 23:59:13 oklopol: tru dat, also interracial marriage 23:59:17 if they already get the legal benefits 23:59:26 the secret of eternal youth is circling the pole going against the flow of timezones, you go back in time one day per revolution 23:59:39 mycroftiv: but that's what i'm saying! 23:59:41 just go fast enough 23:59:47 well marriage isn't pointless, from a legal standpoint 23:59:48 and time will never pass an hour