00:00:31 fizzie, ah 00:06:30 Happy New Year for REAL! 00:06:59 Of course, my view of the Edinburgh fireworks was completely spoilt by a church in the way. 00:07:39 I shall have to consult with the local branch of Al Qaeda. to have it removed. 00:07:54 NOTE TO MI5: I DO NOT REALLY INTEND TO DO THIS 00:08:22 al qaeda demolition services 00:08:39 NODE TO MI5: Phantom_Hoover JUST TOLD ME HE REALLY INTENDS TO DO THIS 00:08:42 PLEASE MONITOR THIS COMMUNICATION 00:08:51 TERRORIST CHILD PORNOGRAPHY BOMB BOMB 9/11 AMERICAN BASTARDS CAPITALISM 00:08:53 REVENGE 00:08:55 ALLAH 00:08:58 *NOTE 00:09:25 NOTE TO MI5: ELLIOTT IS A MENTAL PATIENT AND CANNOT BE TRUSTED 00:09:46 terrorist child pornography bombs are all the rage 00:20:44 NOTE TO MI5: HEY GUYS, I'M IN THE US 00:23:56 -!- Sgeo has quit (Ping timeout: 264 seconds). 00:24:58 oooooooo 00:25:00 drunk 00:25:05 -!- Sgeo has joined. 00:25:20 aaaaaaaaaa 00:25:21 sober 00:25:46 i just spoke with thomas from trontheim via phone 00:25:51 *d 00:25:54 and he's sooooo drunk 00:26:03 trondhein* 00:26:08 *m 00:26:09 trondheim* 00:26:18 shut up oerjan, i know 00:26:23 tromdein 00:30:37 ▜▘ ▄ ▄ ▌▗ ▄ ▗▘▛▖▗ ▖▖▐ ▚ ▗▖▗▖▖▖▝ ▄ ▟▖ ▗▖▗ ▖▖ ▟▖▌ ▝ ▗▖ 00:30:37 ▐ ▛▌▄▌▞▌▛▘ ▄▌ ▐ ▛ ▛▘▛ ▐ ▐ ▘▖▌ ▛ ▐ ▙▘▐ ▙ ▌▌▛ ▐ ▛▖▐ ▘▖ 00:30:37 ▀▘ ▘▘▀▘▝▘▝▘ ▀▘ ▘▘ ▝▘▘ ▘▘ ▀ ▝▘▘ ▝ ▌ ▘ ▘ ▝ ▘ ▘▘▘▝ ▀ ▝ 00:30:46 int main(int ac, char **av) 00:30:47 { 00:30:47 #define typedef 00:30:49 #define uint8_t a[printf("hello world\n")] 00:30:51 #include 00:30:52 } 00:30:55 ^ lol what 00:30:57 that is the most beautiful thing ever 00:31:03 fizzie: Translation? 00:31:36 "I made a (Perl) script for this." It's readable even in the logs if you just manually swomp your browser into an UTF-8 frenzy. 00:32:25 elliott, how does it work? 00:32:36 Phantom_Hoover: That C program? 00:32:55 Phantom_Hoover: The line in stdint.h looks like "typedef unsigned char uint8_t;". 00:33:06 Phantom_Hoover: Of course, depending on this is LOL NO, especially as .hs don't even have to be written in C technically. 00:33:12 fizzie: No, it isn't. 00:33:19 fizzie: I think some of my chars are non-monospaced. 00:33:33 Oh. Well, that's a shamey. 00:33:50 I guess the space might not be spaced like the Unicode block-drawing ones, but that's just weird. 00:34:06 I don't think there is a specific "block-drawing space". 00:34:30 -!- Phantom_Hoover has quit (Changing host). 00:34:31 -!- Phantom_Hoover has joined. 00:49:46 http://www.youtube.com/watch?v=2qbG0zi9ZeE (don't watch this :P) 00:52:12 #define uint8_t a[printf("hello world\n")] <--- ....... wow 00:52:29 Gregor: wow you look different 00:52:39 elliott: NORLY? :P 00:52:45 Ten years does a lot to a man :P 00:52:55 Esp. when they're the years of 14-24 00:52:56 Gregor: yeah like make him not suck at making music OH SNAP 00:53:02 :P 00:53:03 elliott, that depends a LOT on what exactly stdint.h does on that given system 00:53:03 Gregor: ok question why are you dressed all normally and shit 00:53:08 Gregor: where is the pink man 00:53:09 WHERE IS THE PINK 00:53:11 elliott, I mean, exactly how it is implemented 00:53:12 elliott: Ten years does a lot to a man :P 00:53:21 Gregor: I THOUGHT YOU WERE GREGOR FROM THE MOMENT YOU WERE BORN 00:53:22 sheesh 00:53:51 good thing i'm 15, i can totally preempt all my 24-year-old-self's objections to current me and reverse them, I'VE GOT IT ALL FIGURED OUT (<-- note: same words that probably went through Gregor's head at the time :P) 00:54:12 I have no objections to 14-yr-old me :P 00:54:31 He just happens to be a different person is all. 00:54:58 Gregor: EXCUSE ME, he is NOT wearing ANY pink at ALL? 00:55:12 Gregor: I mean HELLO? 00:55:15 Like I said, different person. 00:55:21 Gregor: WORST PERSON? 00:55:30 YOU ARE THE WORST PERSON 00:55:35 Gregor: Man, I just realised that talking to you instantly turns me into T-Rex. 00:55:43 I think that is because you are T-Rex. 00:56:39 http://www.youtube.com/watch?v=2qbG0zi9ZeE (don't watch this :P) <-- quite nice 00:56:51 though you developed a lot since then 00:57:33 Gregor, where was that? 00:57:44 Vorpal: I have noooooooooo idea :P 00:57:49 (and seems you already liked to compose music that takes some effort to listen to) 00:58:58 -!- Wamanuz3 has joined. 00:59:20 elliott: you were right 00:59:30 i'm drunk as f*******\ 00:59:32 Gregor, how comes you didn't become a professional composer instead? 00:59:48 Vorpal: Because I'm a far better computer scientist. 01:00:05 i think Gregor does not make the best music 01:00:06 Gregor, then you must be really good at that! 01:00:10 soorry Gregor 01:00:17 Case in point :P 01:00:29 btw Pink Floyd did 01:00:39 nooga, you don't like classical I guess? 01:00:47 i like classical 01:01:00 i like almost every kind of music 01:01:08 hm, true I would not say Gregor's work is classical 01:01:16 rather, modernistic 01:01:26 -!- Wamanuz2 has quit (Ping timeout: 240 seconds). 01:01:32 Apparently I time travel. 01:01:33 WHO KNEW. 01:01:37 brb, have to walk to the gas station to buy cigs 01:01:41 Gregor, what 01:01:53 Gregor, well, neo-classical in /style/ 01:01:58 :P 01:02:02 I prefer "neo-romantic" 01:02:06 Gregor, I think defining it by when it was made is silly 01:02:52 Gregor, why: because it breaks down for that is often called "baroque music" (which is really not a single style) 01:03:17 also you get neo- a lot 01:03:43 Gregor, anyway your music is not really romantic 01:04:17 Gregor, too much dissonance for it. Maaaybe neo-"late romantic" 01:04:36 oerjan: still here 01:04:38 ? 01:06:24 at greg, i play electric guitar alot 01:06:39 and i can't play any. whole song 01:07:10 i just improvise in major and minor penatatonic scales 01:07:37 and septimal* eee i don't know if * this is good word in english 01:07:38 hm? 01:07:49 but my gr is playing piano as well 01:08:01 gf* 01:08:19 oerjan: ignore me, wait 30*60 s 01:09:53 food -> 01:13:34 -!- Wamanuz4 has joined. 01:14:44 nooga, half an hour? 01:14:50 oerjan, WHAT 01:14:53 oerjan, food now!? 01:15:05 of course 01:15:17 oerjan, ... lunch or just some snaks? 01:15:19 snaks* 01:15:22 snacks* 01:15:23 Vorpal: you know that oerjan operates on a 25-hour schedule 01:15:26 (like harry potter!*) 01:15:31 (*according to Yudkowsky canon) 01:15:34 i haven't eaten a proper meal for nearly six hours 01:15:42 oerjan, well and? 01:15:43 well, not so much 25-hour schedule 01:15:49 as oerjan's body is convinced that days last 25 hours 01:15:53 did have some snacks though 01:15:55 and, accordingly, sleeps at the same time every 25-hour day 01:16:07 elliott: my doctor thinks melatonin may be a good idea 01:16:07 i.e. one hour forwards in the blatantly incorrect 24-hour day system 01:16:22 oerjan: great to hear 01:16:30 elliott, my body thinks it is 25.5 hours, but I keep ending up resetting it all the time 01:16:43 well mostly all the time 01:16:44 -!- Wamanuz3 has quit (Ping timeout: 264 seconds). 01:17:20 oerjan: according to the highly reliable internets, btw, 1.5 mg is a good dose and lasts about an hour to kick in 01:17:23 just call me mr. doctor 01:17:23 Vorpal: well something is wrong with my resetting 01:17:35 most sites selling it i've seen recommend rather higher dosages 01:17:39 i rather suspect a doctor might too 01:17:42 oerjan, mine is failing atm, due to holidays 01:17:43 thanks pharma companies *tinfoil hat* :) 01:17:50 (for obvious reasons) 01:17:58 elliott, melatonin, what does that do now again 01:18:04 Vorpal: makes you sleep. 01:18:06 elliott, ah 01:18:48 elliott, wasn't there something similar-named that had something to do with getting brown when being in the sun? 01:18:52 (skin that is) 01:19:21 Vorpal: Yes. 01:19:29 But I've forgotten what it is :-P 01:19:37 elliott, same... 01:20:32 elliott, Vorpal, melanin. 01:20:44 elliott, wow, check the various boxes below http://en.wikipedia.org/wiki/Melatonin#External_links 01:20:47 that is absurd 01:20:51 Phantom_Hoover, ah thanks 01:21:01 Melatonin is in TiHKAL? X-D 01:21:18 elliott, I meant the boxes below that 01:21:44 I was just remarking. 01:21:57 Vorpal: TiHKAL is actually the second-last box, anyway. 01:22:10 http://isomerdesign.com/PiHKAL/read.php?domain=tk&id=35 Anyone wanna try the recipe? :-P 01:22:15 elliott, what is tihkal? 01:22:27 i wonder if i'll end up buying it from the internet, it's rather expensive says my doctor and a bit of googling seems to imply it isn't covered by the norwegian medical expenses cap 01:23:00 Vorpal: tryptamines i have known and loved, sequel to PiHKAL. drug stuff. 01:23:16 oerjan: It's expensive? 01:23:23 oerjan: he's full of shit -- it's incredibly cheap on the interwebs at least 01:23:26 and that's from reputable sites 01:23:27 *she 01:23:32 erm sorry 01:24:17 elliott: well i assume this is from a norwegian pharmacy, and moreover she may be referring to the fact it's not subsidized 01:24:33 oerjan: right. i assume you guys have "herbal stores" and the likes there? 01:24:36 like holland and barrett 01:24:39 sell tons of supplements and crap 01:24:52 oerjan: you can either find it in those or the internet equivalents of those, for $nothing 01:25:07 failing even /that/ (which I doubt) you could import it from http://melatonin.com/ i guess, but the shipping is going to be non-zero 01:26:09 elliott: yes, there are herbal stores, including some pharmacies (i noticed one the other day advertising homeopathic remedies) 01:26:43 oerjan: yeah. there's no real point in getting it from a pharmacy if it's considered a health supplement, not a drug, which it is just about everywhere 01:26:47 otoh if melatonin is registered as a medical drug then it is unlikely to be legal for non-pharmacies to sell it here 01:27:00 oerjan: I doubt it is -- Wikipedia says it is in the UK and it's _not_ 01:27:09 you can find it on tons of (reputable enough) herbal online stores 01:27:14 *online herbal 01:27:18 (only a few very common drugs are allowed to sell in ordinary shops) 01:27:34 oerjan: well it's likely not considered a drug. 01:27:40 just a supplement. 01:27:40 (and even that is a relatively new change) 01:27:47 e.g. in america it's a "dietary supplement". 01:30:15 * oerjan googles 01:30:40 oerjan: can you make oklopol come back?? 01:30:47 i want to tell him that Phantom_Hoover totally got his 2d physics working 01:30:54 oerjan, go to Finland and make him come back. 01:30:56 -!- poiuy_qwert has quit (Ping timeout: 240 seconds). 01:31:02 elliott, oh, he knows about gravity. 01:31:07 Phantom_Hoover: well get the other parts working 01:31:17 oerjan: yes do it. actually do you have his phone number. just call him and yell at him. 01:31:20 elliott, angular momentum? 01:31:20 act drunk (or get drunk first) 01:31:26 Phantom_Hoover: LOCALISED PHYSICS DISTORTIONS 01:31:38 oerjan: say #ESOTERIC AND ABANDON AND 01:31:45 do the needful 01:31:55 Actually, that could slot nicely into my existing classes for masses. 01:32:09 Classes for masses. 01:32:11 <3 01:32:16 Best nomenclature EVER 01:32:22 Make angular-mass a subclass of point-mass, add some extra stuff. 01:32:25 Phantom_Hoover: Bear in mind that Amber doesn't have any classes, though :-P 01:32:33 elliott, no CLOS? 01:32:34 :( 01:32:46 Phantom_Hoover: Why not add an angular-stuff field to point-mass, that can be NULL? 01:32:53 (Substitute appropriate nothing-value for NULL.) 01:32:59 Phantom_Hoover: Or how about making all point-masses angular-masses? 01:33:17 elliott, because I'd like to be able to make bullets point-masses. 01:33:41 Phantom_Hoover: I'm tempted to say that bullets should bypass physics altogether and just have their movement hardcoded. 01:33:47 Since there could be thousands of them at any one time. 01:34:23 re 01:34:33 i have cigs and beer 01:34:42 ;et's continue 01:34:49 l* 01:34:51 elliott, but curve shots around planets! 01:35:54 Phantom_Hoover: Have you got polygon collision yet? 01:36:06 elliott, I've done basically nothing! 01:36:09 * oerjan does not have oklopol's phone number 01:36:23 oerjan, use your mathematician powers to calculate it! 01:36:32 -!- poiuy_qwert has joined. 01:36:55 Phantom_Hoover: Do polygon collision :P 01:37:24 elliott, I have not the STRENGTH 01:37:24 -!- Wamanuz5 has joined. 01:37:29 Phantom_Hoover: :< 01:37:30 Phantom_Hoover: :{ 01:37:32 Phantom_Hoover: pweeze 01:37:39 No. 01:37:43 googling suggests that melatonin requires a prescription in norway 01:38:10 Phantom_Hoover: ;( 01:38:39 elliott, QUITE 01:39:02 -!- Wamanuz4 has quit (Ping timeout: 240 seconds). 01:39:46 -!- Wamanuz5 has quit (Read error: Connection reset by peer). 01:40:34 -!- elliott has quit (Remote host closed the connection). 01:41:00 -!- Wamanuz5 has joined. 01:41:17 -!- elliott has joined. 01:43:26 -!- Wamanuz has joined. 01:44:34 oerjan, so ask the doctor then? 01:45:12 i did mention it 01:45:50 -!- Wamanuz5 has quit (Ping timeout: 265 seconds). 01:46:22 Phantom_Hoover: if you ever want to see Asteroids II out you better code polygon collision >:) 01:46:22 oerjan, yes I mean ask again if you need a prescription 01:46:33 elliott, it is too late 01:46:35 elliott, can't you do it? 01:46:47 Phantom_Hoover: tomorrow then! 01:46:48 Vorpal: i'm lazy 01:46:52 i already have to write a compiler for this 01:48:22 it seems like melatonin is falling a bit between the cracks in norway, simply by not being properly registered there. you can get it but it's more complicated and unsubsidized. 01:48:38 elliott, it is tomorrow already 01:48:42 oerjan: just import it from the us >:) 01:49:37 elliott, see note about prescription. I doubt importing it is legal then 01:49:56 oerjan: Hear that? The police are gonna get you for drug smuggling. 01:50:01 "...found with whole GRAMS of melatonin..." 01:50:37 ... 01:50:50 elliott, why do you always exaggerate everything 01:51:16 i guess it's unregistered because it's natural and therefore unpatentable... 01:51:16 Vorpal: I'm trying to demonstrate that importing melatonin being illegal is completely irrelevant as no non-ridiculous response could be taken. 01:51:43 Also, they'd be incriminating oerjan for importing something harmless that's ALREADY INSIDE HIS BODY. 01:52:21 elliott, by that logic DMT should be okay everywhere, since the human body naturally have traces of DMT 01:52:27 elliott: i suspect if i got a prescription first i could legally import it 01:52:34 Vorpal: I see no issue with that statement 01:52:37 well that would be sane, at least 01:52:55 elliott, hm 01:53:11 elliott, indeed. But that is not the case 01:53:17 Admittedly, importing poop would be kind of weird :P 01:53:18 -!- Wamanuz2 has joined. 01:53:28 Vorpal: No, but you can't get high off melatonin :P 01:55:27 elliott, well why is it in that tihkal then? 01:55:52 Vorpal: Who knows? The entry just talks about it being unclear whether it's effective for sleep or not, going by WP's link. 01:56:04 hm 01:56:05 It's not solely a book to get high off, unless I'm sorely mistaken :P 01:56:08 -!- Wamanuz has quit (Ping timeout: 272 seconds). 01:56:10 (INHALIN' PAPER) 01:56:20 elliott, :D 01:57:08 I mean, melatonin is a tryptamine with interesting properties, thus explaining its presence. 01:57:48 but does it involve lipase amylase and trypsin? 01:57:58 they gonna help with my digestion 01:59:08 WHY DOESN'T MY SHELL WORK 01:59:43 what about insulin, glucagon, coming from the islets of langerhans? 01:59:45 coppro: fix my shell ok 02:00:42 elliott: give me root ssh 02:00:52 nou 02:00:57 i think the mmap might be failing or something 02:04:20 wtf@@this 02:09:59 elliott: hey 02:10:09 hi augur 02:10:20 http://www.reddit.com/r/programming/comments/etw3g/problem_boole_comparisons_in_php/c1awit4 02:10:22 4u 02:10:37 augur: lol depends 02:10:41 it does! 02:10:53 it depends on what the other things are! 02:11:09 augur: I have a better table 02:11:12 augur: I will express it in html 02:11:12 :P 02:11:17 no! 02:11:23 use your css! 02:11:23 D: 02:11:27 it's a table, doofus 02:11:33 nooooooo ~#@_@#~ 02:11:37 yes i know im just being a dick 02:11:58 augur:

x	y
x	True	False
y	False	True

02:12:03 the important point tho is the conversation with kamatsu 02:12:13 augur: tada, a perfect description of a (properly-implemented) equality function in Haskell! 02:12:17 assuming all Eq classes are done right that is 02:12:18 true ;) 02:12:24 technically x can == y 02:12:31 but only if x is indistinguishable from y /outside/ the module 02:12:32 it can indeed! 02:12:34 if x == y 02:12:36 so it's x == x from outside 02:12:36 :D 02:12:39 augur: shut up :) 02:12:41 ;D 02:12:43 augur: ok new table 02:12:46 x 02:12:48 x (x==x) 02:12:50 erm 02:12:53 x 02:12:53 lolol 02:12:55 y (x==y) 02:12:57 PERFECT TABLE 02:13:00 the convo with kamatsu is the important bit 02:13:26 augur: meh, mere misunderstanding :P 02:13:32 not really 02:13:43 he originally said it compared forall a. (Eq a) => a 02:13:46 which is also false 02:14:07 the point is that (==) only compares two things of the same type 02:14:25 and he said it could compare bool to string if you wanted 02:14:34 right 02:14:36 which is false, without some major magic 02:15:04 but god damn if that little ascii table didnt get me some karma 02:17:16 one thing i fucking love about haskell is (G)ADTs 02:17:28 i love that i can define new atomic values out of nothing 02:17:33 yes 02:17:39 and theres no possibility of misusing them as some other type 02:17:50 it's awesome 02:18:16 enums are nice and all, but the fact that they're usually just another name for an int is a problem 02:18:43 yeah 02:18:54 i mean, obviously you could do atomic values as ints and shit, but the type system enforces the opacity 02:18:56 and OO languages typically add too much baggage to ADTs 02:19:03 indeed 02:19:25 i mean, i like OO for some reasons, but GADTs and type classes are sexy 02:20:14 OO style for certain things is quite appealing. 02:20:27 yeah 02:20:35 list functions, for instance 02:20:54 hmm? 02:21:29 i much prefer xs { |x| x.odd? }.map { |x| x ** 2 } over map (**2) (filter odd xs) 02:21:43 er.. xs.filter { ... 02:22:10 tho i'd prefer if i could do xs.filter(odd?).map(**2) 02:22:15 augur: that's just concatenative :) 02:22:17 is that perl 6? 02:22:22 ruby 02:22:26 oh 02:22:38 elliott: no, i know, i just like the style of having Collection Method PRoc 02:22:44 rather than Method Proc Collection 02:22:58 augur: true. currying gets ugly though. 02:23:05 i know 02:23:07 admittedly you can say .filter(odd?) in a platonically perfect language 02:23:08 but still 02:23:08 i think in haskell theres a reverse apply isnt there? 02:23:09 it's less pure 02:23:12 like $ but backwards? 02:23:14 augur: sure, "flip" :P 02:23:19 but yeah, i think there is 02:23:23 elliott: APL? 02:23:25 yeah yeah but i think theres a built in flip ($) 02:23:29 lets call it $$ 02:23:44 and lets say its left associative 02:23:49 obviously: xs $$ filter odd $$ map (**2) 02:24:02 * Phantom_Hoover → sleep 02:24:05 so haskell doesnt make this style impossible 02:24:13 coppro: what about APL? 02:24:18 which is all the more reason to fuckin love haskell 02:24:20 augur: nothing built in, maybe in a module 02:24:20 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:24:25 augur: haskell's type system is bad :) 02:24:29 elliott: whatever. its easily definable, anyway 02:24:31 elliott: bad how 02:25:10 elliott: you can probably do .filter(odd?).map(**2) in APL, except it would be 5 characters long 02:25:28 augur: too restricting 02:25:34 also, i think Perl 6 actually does allow .filter(odd?).map({* ** 2}) 02:25:36 coppro: i can probably do that in J 02:25:37 coppro: probably 6 02:25:42 coppro: don't need that {} do you? 02:25:43 if it doesn't, it certainly ought to 02:25:46 elliott: maybe not 02:25:47 elliott: restriction in what fashion? 02:25:52 .. restricting** 02:25:54 augur: compare to Coq's 02:25:58 i dont know coqs 02:25:59 elliott: I'm not up-to-date in Perl 6 02:26:00 (a middle-ground is probably nicest for actual programming) 02:26:03 augur: then i can't explain sry 02:26:05 its dependently typed tho isnt it? 02:26:07 yes 02:26:14 well there you go 02:26:19 there's more than that though 02:26:30 any type system that isnt itself a turing complete programming language is too restricted to you, isnt it? 02:26:30 :P 02:26:39 augur: um Coq's type system is sub-TC 02:26:41 and so is Coq itself 02:26:44 oh is it? 02:26:51 but i thought dependent types are TC 02:26:54 augur: yes, otherwise _|_ would prove any proposition 02:26:57 no 02:27:02 or is it only _some_ DT systems 02:27:18 augur: well with dependent types your type system basically becomes a special part of your value system 02:27:24 so if you use your TC language to do it, yes, it becomes TC 02:27:25 right 02:27:31