00:00:46 -!- MigoMipo has quit (Ping timeout: 264 seconds). 00:04:01 -!- BeholdMyGlory has quit (Remote host closed the connection). 00:05:04 fuck gnome 2.30. They *edited* the old icon theme for the worse. It looks ugly as fuck. And no they didn't save the old icon theme under another name as far as I can tell. 00:05:12 * AnMaster is really annoyed now 00:16:00 ah here we go. Old version extracted to /usr/share/icons/gnome-previous 00:34:39 -!- jcp has quit (Quit: I will do anything (almost) for a new router.). 00:35:50 -!- jcp has joined. 01:38:32 -!- Alex3012_ has joined. 01:39:11 -!- Alex3012 has quit (Ping timeout: 265 seconds). 01:39:15 -!- Alex3012_ has changed nick to Alex3012. 01:45:32 -!- adam_d__ has joined. 01:48:22 -!- adam_d_ has quit (Ping timeout: 265 seconds). 02:01:54 -!- adam_d__ has quit (Ping timeout: 265 seconds). 02:11:47 -!- Oranjer has left (?). 02:17:37 DOCTORRRRRRRR 02:17:39 :DDDDDDDDDDDDD 02:19:09 hi augur 02:19:20 FAXXXXXX 02:19:28 help 02:19:35 i need somebody 02:19:39 HELP 02:19:42 not just anybooody 02:19:45 ;D 02:20:26 sup girly 02:21:35 idk I can't figure out what to do now 02:23:05 for? 02:23:47 for my self :S 02:23:52 hey augur 02:23:56 o.o 02:24:02 watch the new doctor who episode! 02:24:04 I understand why you can't trisect an angle :D 02:24:15 everyone talks about doctor who 02:24:16 well you CAN trisect an angle 02:24:19 I haven't been watching it 02:24:23 just not with a compass and straightedge 02:24:26 yes 02:24:30 augur want me to tell you i 02:24:31 augur want me to tell you it 02:25:55 what who how huh 02:27:16 the proof 02:36:40 augur 02:36:41 fat head 02:36:47 :| 02:36:59 * augur rapes fax 02:37:01 wait damnit 02:37:04 you're a girl 02:37:05 fuck 02:37:13 that didnt happen 02:37:15 so are you 02:37:30 am not 02:37:46 IZE A BOY 02:55:15 :/ 02:58:39 By "rape" he of course means "scour one's existence from the earth". 02:59:08 And I'm not sure where that takes me, but in the end, your mom's a whore. 03:07:13 I bite off augurs hand 03:07:18 sucker 03:18:24 fax, what's the proof? 03:18:42 Sgeo -- okay 03:19:17 the first thing is to notice that if we have lengths x and y on our paper -- we can also construct x+y, x-y, xy, x/y using our straightedge and compass 03:20:05 How do you do xy and x/y? 03:20:12 the only other thing we can really do is draw a circle and intersect a line with it: analytically this means solving something like x^2+y^2=r^2 against a linear equation -- all in all we can take square roots this way 03:22:33 hm 03:27:05 you put x and y at right angles 03:30:06 no you don't sorry 03:30:10 you put x and 1 at right angles 03:30:17 1? 03:30:18 then you draw the hypotenuse, and exend it out (forever) 03:30:25 you need a '1' value to multiply things 03:30:39 I mean you could just use a thumbwidth or something 03:30:41 Oh, you're responding to my x*y x/y question 03:30:53 so this is a triangle with sides, 1:x 03:31:24 you exend the baseline too, until you find a place where the height down is y, and that gives a (similar) triangle with is y:xy 03:31:37 to divide numbers you can just reverse this procedure 03:31:38 you can construct sqrt(x) toooooo 03:32:52 Sgeo, so in effect we have a field (have you met this structure from algebra before??) 03:33:13 I've heard of fields, don't really know what they are. They define certain operations on them? 03:33:39 well a field is just something which has +,-,*,/ and stuff like (x+y)z = xz+yz 03:34:03 so we can construct every element of our field with a ruler and compass! 03:34:51 say our field so far is R, we can adjoin some square roots to get R[sqrt(x)] which is again a field 03:36:11 obviously constructing an angle is equivalent to constructing it's cosine. In the case of the angle being 360/n it's equivalent to constructing the n-gon right? 03:36:39 * Sgeo is only half paying attention, tbh 03:50:38 -!- fax has quit (Ping timeout: 240 seconds). 05:44:36 Sgeo: you pissed fax offfffffff 06:07:14 -!- oerjan has quit (Quit: Good night). 06:09:47 -!- zzo38 has joined. 06:10:43 I found another esolang called ModanShogi it is based on a shogi game movements 06:10:47 http://github.com/yhara/ShogiModan 06:20:01 Nice. 06:32:00 * Sgeo can easily imagine writing a Haskell implementation of BF before ever understanding a nice way to write a Python implementation of BF 06:34:01 Mind you, with Haskell, I can use Parsec 06:34:43 Which is severe overkill for Brainfuck parsing. 06:37:20 I guess it's healthier to figure out how to do without 06:58:11 Sgeo: you saw my parser in Haskell, did you not? 06:58:12 Nobody expects the Spanish Inquisition. 06:58:26 coppro, um, part of it 06:58:32 I don't think I saw the full thing 06:58:48 And at any rate, I want to process everything into BFCmds before processing 06:58:53 And nobody expects the big monster with three tentacles on the same ship either, unless *I* say so. 06:59:20 Sgeo: um 06:59:26 http://hpaste.org/fastcgi/hpaste.fcgi/view?id=24645#a24645 06:59:27 are you dumb 06:59:50 ? 07:00:14 * Sgeo obviously shouldn't have said processing in both places, if that's what you mean 07:01:09 And yes, I think BFComment can be useful. Say I also want to write a simple optimizer 07:01:19 Don't need to interpret to do that 07:01:26 And I can leave comments in place 07:01:49 Sgeo: I hope one day you learn python and haskell and maybe even scheme 07:02:08 [and brainfuck for that matter] 07:02:11 * Sgeo knows Python fairly well 07:05:43 Quadrescence, are you going to explain yourself? 07:07:47 no 07:08:02 If a good friend was here, I'd have him explain 07:09:19 -!- dixon has joined. 07:09:22 ohai 07:09:59 I heard someone was being stupid and wanted to use monadic parsing for brainfuck. 07:10:15 Who gets to wear the dummy hat? 07:10:36 * Sgeo wants to see proof that dixon /= Quadrescence 07:10:49 AWWW Sgeo GETS TO WEAR THE DUMMY HAT! 07:11:02 Well, first you should /msg nickserv info dixon all 07:11:24 And see that I've been registered years before Quadrescence with an entirely different account. 07:12:25 Then you should stop using monadic parsing, which I'm guessing at least 100 people in this channel told you was a bad idea. 07:13:22 Overkill == bad idea? 07:14:06 Always. 07:14:18 It'd be like driving your children to school in a tank. 07:14:28 When all you really wanted was side-impact airbags. 07:15:18 Do you think 42 is really the proper answer to life, the universe, and everything, or do you think not? 07:15:36 zzo38: i think ur homosexual 07:17:02 Quadrescence: Why do you think that, please? 07:17:30 zzo38: evidence suggests so 07:18:09 Can you please explain what evidence and how you can come to that conclusion from the given evidence, I would like to know how 07:18:41 Turing was gay, we in this channel talk about stuff that Turing did a lot, therefore we are all gay. 07:18:55 Sgeo: That's a dumb way. 07:19:11 Perhaps it was true of Turing but it doesn't make that of everyone 07:19:13 zzo38: do you mind if I finish these sun chips and mtn dew 07:19:24 zzo38, no kidding? 07:19:31 Quadrescence: I really don't care. They aren't mine 07:19:34 zzo38: He integrated you over a finite portion of a hypergeometric function and realized you swung the wrong way. 07:19:47 thx dixon 07:19:51 np 07:19:53 I'm actually asexual 07:19:53 (=p) 07:20:01 (virgin) 07:21:24 zzo38: oh and i have some sixlets to eat too 07:21:48 I have some twins to eat later. I'm waiting for them to arrive :3 07:22:02 wat 07:22:24 was that sexual innuendo 07:22:26 "eat" 07:22:47 ;) 07:23:10 Why? 07:23:31 When? 07:24:08 (In case you didn't know, I was asking "Why?" to Quadrescence's) 07:24:49 zzo38: oh I guess I am hungwy 07:25:12 Do you mean "hungry" or "hungwy"? 07:25:42 the latter 07:26:12 * Sgeo should really be sleeping 07:26:42 Or using Python. 07:27:38 And I have never heard of such a word as "hungwy" and I don't know what it means 07:28:35 It's etymologically related to "twat." I would ask if you were familiar, but it seems you've already implied not. 07:37:51 Do you have any idea of making spell in D&D game? 07:40:43 I have ideas to make spell to swap the text contents of two books or scrolls, and also to make the caster's hand fall off, and so on 07:46:04 The real country of freedom is "Pull down to select" 07:49:49 -!- pikhq has quit (Read error: Connection reset by peer). 07:50:36 And when Sevil arrives on the ship, if there is not a big monster with three tentacles arriving on the same ship, something has gone wrong and you have to figure out what's wrong. 07:50:39 -!- zzo38 has quit (Quit: zzo38). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:01:29 -!- pikhq has joined. 08:15:08 * Sgeo was thinking about how to get the optimizer working, and it helped me figure out a bit of the parsing 08:19:05 * dixon was thinking about how to get Sgeo's brain working, and it helped me figure out that he's probably just hopeless :\ 08:24:57 I wuv you Sgeo, I do, I'd just wish you'd listen to the four people telling you that you're strangling kittens with oil pipeline. 08:25:09 I'm not using Parsec 08:25:15 You promise? 08:25:20 Yes 08:25:36 I would give you a hug, but I have a tendency to cop a feel. 08:26:02 I _am_ using a data BFCmd that means I can't just write parseBFChar '+' = BFInc etc 08:27:43 You could always try python-llvm, for the lulz. 08:28:22 * Sgeo should be sleeping 08:28:31 Sleep will probably let me think better when I awake 08:28:36 It's 3:26AM here 08:28:43 03:30 here. 08:29:14 o.O 08:29:32 Either you're rounding, or there's a mysterious 3min difference 08:29:47 erm, *looks at timestamp* 4min 08:29:52 between 3-4 08:30:25 Well, I'm using NTP, so I hope it's not wrong. 08:34:25 night 08:34:33 nini 08:58:31 -!- FireFly has joined. 09:16:08 -!- jcp has quit (Quit: I will do anything (almost) for a new router.). 09:39:26 -!- adam_d has joined. 09:50:30 -!- tombom has joined. 09:54:31 -!- Gracenotes has joined. 10:23:39 -!- olsner_ has joined. 10:26:06 -!- MigoMipo has joined. 10:31:38 -!- Tritonio_GR has quit (Quit: Leaving.). 10:47:53 -!- BeholdMyGlory has joined. 11:47:24 -!- BeholdMyGlory has quit (Remote host closed the connection). 12:00:51 -!- olsner_ has quit (Quit: olsner_). 12:32:22 -!- cheater2 has quit (Ping timeout: 268 seconds). 12:38:20 -!- cheater2 has joined. 13:06:44 -!- olsner_ has joined. 13:14:39 -!- fax has joined. 14:17:11 -!- olsner_ has quit (Quit: olsner_). 14:30:16 -!- MigoMipo has quit (Remote host closed the connection). 14:43:14 -!- oerjan has joined. 15:30:02 -!- BeholdMyGlory has joined. 16:13:44 -!- oerjan has quit (Quit: leaving). 16:23:47 -!- MigoMipo has joined. 16:28:01 -!- adam_d has quit (Ping timeout: 265 seconds). 16:39:10 -!- hiato has joined. 16:46:15 -!- hiato has quit (Ping timeout: 276 seconds). 16:47:56 -!- hiato has joined. 16:54:21 * Sgeo goes to write a separate tape manipulation module 16:55:24 * fax does something more interesting than implement brainfuck 16:58:56 * hiato comments 16:59:54 * Sgeo wonders if he's over-engineering 17:01:21 -!- jcp has joined. 17:23:21 what is that sort of "always" falling tone called now again? 17:23:25 well not always falling 17:23:27 it just sounds like it 17:23:47 there was one in Mario64, if you went up the final stairs before collecting enough stars 17:24:06 I remember hearing some name for that sort of sound once 17:25:33 fizzie, do you happen to know? I think I remember you were involved in a discussion about them here ages ago? 17:31:18 I vaguely remember a discussion about them, but not any specific name. I think the tones themselves were mentioned on some "auditory illusions" page. 17:33:30 Apparently it's sometimes called Shepard’s paradox, though that name seems to be a bit ambiguous. 17:33:36 http://www.moillusions.com/2006/05/audio-optical-illusions.html 17:34:06 "Audio optical illusions" 17:34:09 Stupidest phrase EVER 17:34:17 heh 17:34:33 Everyone seems to call them that. :p 17:34:57 http://angrydylan.blogspot.com/2007/11/shepards-paradox.html is another bit, and you can obviously google more. 17:35:47 http://en.wikipedia.org/wiki/Shepard_tone is also related. 17:35:52 Phew, maybe that was enough linkery. 17:37:52 -!- olsner_ has joined. 17:39:41 That's a lot less of a trick than I originally assumed it might be :P 17:40:42 fizzie, no! need more links! 17:40:45 quick! 17:40:47 XD 17:43:05 www.www.com.com 17:43:29 I wonder if someone owns that 17:43:51 www.com.com seems to redirect to cnet 17:44:00 so presumably they own www.www.com.com too 17:44:01 hmmm 17:44:02 It's a subdomain of com.com, which belongs to cnet 17:44:10 damnit 17:44:11 though it isn't in dns 17:45:14 http://org.org/ --- wth is this place? 17:46:19 Someone's random photos is what it looks like. 17:46:31 fizzie, why not call it audio illusions instead? 17:46:41 I mean, there is no good reason to include the word optical there 17:46:57 meh, with such n awesome name 17:47:09 unlike if you were to use the Swedish word for optical illusions: "synvillor" where "syn" refers to "sight" 17:47:27 calling it "ljudsynvillor" would be quite reasonable then 17:47:56 (because "villor" alone means nothing related to illusions. It means "villas". Go figure) 17:48:12 I guess ljudvillor would be interpretable too 17:48:23 Was gonna ask 17:49:30 * Sgeo wonders if his decision to make moveRight :: Tape a -> Maybe (Tape a) will just confuse him beyond all home 17:49:33 *hope 17:51:11 Sgeo: BF in Haskell? I have but one question: why? 17:54:44 Sgeo: what's the meaning 17:55:12 Sgeo, why maybe? 17:55:23 Sgeo, won't moving right always be possible? 17:55:36 while moving left might hit the start 17:55:41 if there's a wrap 17:55:57 hiato, then it will always be possible in both directions 17:56:20 yeah, that's how i'd do it 17:56:50 Well, I want there to be several kinds of tape 17:57:03 It's possible to make tape unbounded at both ends, or bounded at both ends 17:57:40 hiato, nah I would do infinite tape upwards, but finite downwards 17:57:44 data Tape a = Tape [a] a [a] 17:57:45 -!- coppro has quit (Ping timeout: 276 seconds). 17:57:52 thus forming an analogy to N 17:57:59 With the head of each list being the element closest to the head 17:58:03 while infinite in both directions would be an analogy to Z 17:58:05 erm, tape head 17:58:11 uphill both ways 17:58:26 your tape hiato would be an analogy to N modulo x 17:59:02 * AnMaster wonders what a tape analogous to Q or R would be 17:59:03 I guess 17:59:16 also what a finite, non-wrapping one would be 17:59:20 a finite set I guess 17:59:25 yep 17:59:26 without modulo 17:59:41 How would I make a tape that wraps? let the_list = [0,0,0,0,0] in Tape (reverse the_list) 0 the_liist? 18:00:01 No, I don't.. think so 18:00:03 Sgeo: it's impossible 18:00:04 now I want an uncountably infinite bf tape :( 18:00:12 :( 18:00:15 Sgeo, what is? 18:00:22 wrapping around in a tape? no 18:00:29 I donno, I just find it easier to give a generous length, then rotate tape as needed, always working on the first element 18:00:34 just take the current position modulo the length of the day 18:00:39 s/day/tape/ 18:00:41 weird typo 18:00:48 heh 18:00:55 OR do rotatinos 18:01:02 rotatinos? 18:01:18 rotations 18:01:21 :P 18:01:30 hiato, using a linked list? 18:01:31 tail a ++ [head a] 18:01:44 then yes it makes sense to use a circular linked list 18:02:15 no it doesn't 18:02:27 hiato, if the language is single assignment that would be rather inefficient 18:02:37 assuming cons style lists that is 18:02:48 fax, why not? 18:02:54 use a double linked circular list 18:02:59 moving left or right is trivial 18:03:06 just follow the pointer in the relevant direction 18:03:11 of course that requires a low level language 18:03:23 if you are going to use mutable variables then you should make the values mutable rather than the cons 18:03:36 AnMaster: yeah, true, but that's the concpt, and if mage lazy it doesn't really matter - all operationse on the first etement only 18:03:49 hiato, "mage lazy"? 18:03:54 heh 18:04:03 I have no idea 18:04:10 hiato, what the heck was "mage" a typo for... 18:04:12 New keyboard layout 18:04:25 made? 18:04:28 aha 18:04:32 yeah, made 18:04:37 hiato, dvorsak? 18:04:44 err modulo spelling 18:04:51 Naah, my own 18:04:57 was on colemak 18:05:12 I'm perfectly happy with qwerty 18:05:24 I don't type that much, I code. Meaning I think more than I type 18:05:37 (becuase I don't use asm) 18:05:37 Ah, right 18:05:49 naah, just an experiment 18:06:00 (I do :P) 18:06:11 well okay I use inline asm in C sometimes... 18:06:38 You're just afraid of it's power 18:06:50 nah 18:06:56 :P 18:06:56 I prefer high level languages 18:07:09 I like extremes 18:07:48 because what needs 200 lines of C needs maybe 20 lines of erlang. (well usually not quite as dramatic ratio, but when the stuff is heavy on memory handling it might be) 18:08:30 how many lines of C would it take you to write a program that recurse through a set of directories given on the command line, finding duplicate files 18:08:38 it should avoid reading files if possible 18:08:44 by checking the size of the files 18:08:57 yeah, well, if people talk efficiency and anything other than ASM, they're just making up useless -etrics 18:09:07 hiato, har. 18:09:12 heh, 10000's 18:09:14 hiato, well, efficient in programmer time 18:09:31 no not 10000s 18:09:39 I think maybe 1000 lines at most 18:09:45 some 900 more likely 18:09:53 but in erlang it took me, what, *checks* 18:10:18 232 lines, including comments and blanks 18:10:31 Yeah, 10000's because I know no C libraries and would prob implument another language and link to bash or something 18:10:35 Language Files Code Comment Comment % Blank Total 18:10:35 ---------------- ----- --------- --------- --------- --------- --------- 18:10:35 erlang 1 119 81 40.5% 32 232 18:10:45 according to ohcount 18:10:46 nice 18:11:04 it does it in three steps 18:11:18 yeah? 18:11:39 step 1: recurse and read file info, store in a dict the size as key, and append the filename to the value 18:11:48 so all files with the same size is in the same key 18:12:24 clever start 18:13:16 step 2/3: (2) for each such key it goes through and calculate the hash of each file, stores a 2-tuple {size,md5sum} with filenames (3) for each such key, now it finally checks that they are the same, and we don't have a theoretical hash collision 18:13:25 step 2/3 are done interleaved to make use of disk cache 18:13:32 that is, it won't need to read the files in again 18:13:48 step 2 is done to not have to load as much file data into memory at once 18:13:56 since I need to run this on fairly large files 18:14:02 say 200-300 MB each at most 18:14:27 a lot often the files will be much smaller 18:15:10 Hmmm, but as you probably considered, tle size comparison isn't really necessary, in fact, i'm sure any decent hash takes it into account anyway 18:15:29 but, still clever 18:15:47 hiato, the size is to reduce having to read the files from disk 18:15:55 if there are no two files of the same size 18:16:00 it doesn't have to read those at all 18:16:10 since getting the size is way faster than reading the file 18:16:19 it maps to a simple stat() or such at some level 18:16:21 Oh, right. Heh 18:16:37 ok, cant fault you then 18:16:38 hiato, I ran this on the linux source tree with a compiled kernel in it 18:16:50 it was way faster than a naive bash script that I used before 18:17:07 as in, 30 seconds vs. 7 minutes 18:17:14 both on cold cache 18:17:22 Really? I thought pipes and such are lazy 18:17:27 eh? 18:17:30 what are you talking about 18:17:31 wow 18:17:57 a | grep b && c 18:18:07 or, rather 18:18:26 eh 18:18:39 wait, I'm slow with kbd 18:18:51 Please hold 18:19:30 -!- iamtheobject has joined. 18:19:35 -.- 18:20:28 well 18:20:42 hiato, they just work concurrentlyu 18:20:45 concurrently* 18:20:47 not lazily 18:21:25 Gregor, btw wth is up with the topic? You set it last it looks like 18:21:57 You don't like it? :P 18:23:19 An efficient implementation in *sh would take into account that pipes as data flow are lazy, more specifically, if used as a source, it will only feed as much as is requested, so you could easily implement a naieve list and glob for files based on hashes andpipes that feed data only to the point that the conditional request fails 18:24:04 hiato, no that is incorrect 18:24:12 oh? 18:24:22 pipes are just concurrent, not lazy 18:24:28 damnit 18:24:30 the kernel has a buffer 18:24:38 and i did all that typing 18:24:39 and writes block if that buffer is full 18:25:49 theoretically I could optimise my implementation by doing the md5 calculation while data is being read in 18:25:55 shouldn't be too hard in erlang 18:26:09 -!- ehirdiphone has joined. 18:26:14 * hiato wouldn't know 18:26:16 hi ehirdiphone 18:26:26 Yo 18:26:55 Hi ehirdiphone 18:27:01 Why are you on the iPhone? 18:27:04 ehirdiphone: phone? 18:27:07 Ah 18:27:19 Meh reasons. Not important. Hello! 18:27:42 I think I'm overengineering my BF interpreter 18:27:54 Have you seen the cw input interface for the iPhone? 18:28:04 BRB 18:28:19 hiato: ? 18:28:22 No? 18:28:44 Morse Code iput, er, iDitDah or somesuch 18:28:50 -!- olsner_ has quit (Quit: olsner_). 18:28:54 ehird god dammit 18:30:06 ehirdiphone: http://kb1ooo.com/iditdahtext/iDitDahText.html 18:30:51 Sgeo: You are *probably* overengineering it. 18:30:52 fax: What?! 18:31:20 I was wanting to talk to you for ages 18:31:57 fax: At most you had to wait two days. 18:32:24 I /do/ have to pick things up from the old house. 18:32:26 ehirdiphone you and fax have been missing each other with like 5 minutes for *days* 18:32:33 hiato: Ha 18:32:44 ehirdiphone, have things improved btw? 18:32:50 AnMaster: Aha :-D 18:33:04 fax: Dude, some people have real lives. Granted, ehird is normally an exception. Still. :P 18:33:10 pikhq, :D 18:34:32 ais formulated me getting a girlfriend as the most ludicrous explanation for the unit absence possible. Nuff said :P 18:34:50 nuff said?? 18:35:10 well gf's are extremely easy to get 18:35:17 Enough. Except more nuff-y. 18:35:36 AnMaster: Answered in MSG 18:35:37 oh she didn't get the nuff 18:35:42 msg 18:36:00 * AnMaster looks 18:36:02 wnat the fucking hell is going on 18:36:07 was watching that video hiato linked 18:36:16 fax: Whaddya mean? 18:36:35 is "pareto optimal" in common usage? 18:36:41 do you all know what it means? 18:37:10 no 18:38:01 okay that's enough of an answer for me 18:38:45 :C 18:39:16 fax: Be more precise and if you want to talk do. 18:40:24 ehirdiphone do you know who I am ?? 18:40:25 -!- ehirdiphone_ has joined. 18:40:26 -!- ehirdiphone has quit (Remote host closed the connection). 18:40:28 -!- ehirdiphone_ has changed nick to ehirdiphone. 18:42:14 fax: I was under the impression you wanted to talk :P 18:42:38 hi 18:43:01 http://www.nuffy.net/pics/funny/toilate/toilete_signs_08.jpg Little did they know that ZW birds are female :P 18:50:10 is "pareto optimal" in common usage? <-- what *does* it mean 18:50:49 fax: Be more precise and if you want to talk do. 18:50:49 ehirdiphone do you know who I am ?? 18:50:50 * ehirdiphone_ (~ehirdipho@82.132.248.25) has joined #esoteric 18:50:50 * ehirdiphone has quit (Remote host closed the connection) 18:50:50 * ehirdiphone_ is now known as ehirdiphone 18:50:50 fax: I was under the impression you wanted to talk :P 18:50:52 hi 18:50:55 ehirdiphone, in case you missed some of that 18:51:32 fax: What do you mean, do you know who I am? 18:51:34 http://www.nuffy.net/pics/funny/toilate/toilete_signs_08.jpg Little did they know that ZW birds are female :P <-- ZZ? ZW? 18:52:31 I'm your father ehirdiphone. NOOOOOOOOOOOOOOOOOOOOOOOOOOO! 18:52:32 Bleh at there being no Integer -> Char 18:52:36 XX is female, ZW is female, so in fact these bathroom signs are indicating that male birds (and some insects, etc) use the same restroom as female mammals (e.g. humans :P ), and female birds (etc) use the same restroom as male mammals (e.g. humans) 18:52:46 Sgeo: Int 18:52:54 Gregor, har 18:52:56 + fromInteger 18:53:04 Gregor, "restrooms"? 18:53:05 toEnum ? 18:53:17 ... yes? 18:53:18 Gregor, do you mean toilets? 18:53:19 Gregor: Hawt :P 18:53:30 Maybe I should just have the tape be Tape Char 18:53:37 Gregor, what is the circle and the triangle symbols? 18:53:39 are* 18:53:40 AnMaster: In the US, that's just about the only word we don't use to refer to the room :P 18:53:47 Gregor, heh 18:53:48 Although that complicates + and - slightly 18:53:50 AnMaster: That I can't answer ... 18:53:54 well, not really, I guess 18:53:57 Gregor, ah 18:54:11 Sgeo: succ. pred 18:54:19 Char will do fine. 18:55:04 Gregor, why call it restrooms? 18:55:10 Gregor, also what about "loo"? 18:55:20 "water closet: a toilet in Britain 18:55:20 wordnetweb.princeton.edu/perl/webwn" 18:55:23 hm I guess not 18:55:23 That's a word with no meaning whatsoever here. 18:55:40 "Loo" is just fine. Don't think many people *use* it, but I'm pretty sure most people would understand it just fine. 18:55:53 apparently Gregor didn't 18:55:56 pikhq: GET OUT OF MY COUNTRY YOU TRAITOR COMMY 18:55:58 pikhq, I would use toilet? 18:56:00 *COMMIE 18:56:01 Gregor: Hah. 18:56:03 Crapper 18:56:10 AnMaster: "Uh, the toilet's in the bathroom..." 18:56:17 har 18:56:20 Nobody says water closet 18:56:21 ehirdiphone: "Uh, the toilet's in the bathroom..." 18:56:24 you don't need to call them anything, just say you're gonna take a shit 18:56:29 WC, /maybe/. 18:57:13 "i intend to leak fecal matter out of my ass, where should i do this" 18:57:14 OK, OK, so most people would know what "loo" means. 18:57:27 pikhq, here in Sweden toalett can be both the room, or the equipment. When referred to as the room it is a room which contains only the equipment and handfat (English word slipped my mind, you was your hands there) 18:57:33 But it would be like this "loo" -> "funny British word for bathroom" -> "bathroom" 18:57:38 Not "loo" -> "bathroom" 18:57:40 it wouldn't be used for a room that contained a bathtub or such as well 18:57:48 Whereas WC would just have people scratching their heads. 18:58:07 AnMaster: "handfat" is officially the greatest word ever. 18:58:09 WC is common on signs for toilets around here 18:58:11 AnMaster: Sink? 18:58:14 AnMaster: A room with just a toilet is also a bathroom. ;) 18:58:18 no one would *say* it though 18:58:22 Gregor, ah yes 18:58:25 AnMaster: yeah 18:58:28 Exactly 18:58:31 pikhq, it is not! 18:58:34 well maybe in English 18:58:37 "restroom" and "bathroom" are used interchangeably here. 18:58:39 In floor plans, it's termed a "quarter bath". In spite of having 0 baths. 18:58:41 Not in English, in American vernacular. 18:58:50 I always thought that abba song was about toilets when I was really young 18:58:55 WATERLOO! 18:59:02 ehirdiphone, well no one would say "water closet" in the same way as no one says "dihydrogen monoxide" 18:59:19 as in, I actually heard people using it, but just as a joke 18:59:31 ehirdiphone, hehe 18:59:56 argh now I feel I have that tune on my head 19:01:01 ehirdiphone, that "water closet: a toilet in Britain" was from define:loo btw 19:17:01 Flood 19:17:03 -!- dixon has quit (Ping timeout: 276 seconds). 19:17:08 Upfpdgkglc fyoddv fypf cups tx hung ufgo 19:17:35 ehirdiphone, flood? 19:17:53 Izi USB jai ow zkqodj wkdhf euwixb jdb jd dk ne fdisk zlqpxh 19:18:04 -!- jcp has quit (Quit: I will do anything (almost) for a new router.). 19:18:04 * AnMaster goes elsewhere 19:18:42 Ozowkd abxoxbs fowoxjwj x dj jz. I icori h dj oso odj jebwkxodocidisbbaixieisoso kj jwoxppskjajco ackvpgirurvx iwospwiiqbzbc woxpfkf. 19:19:17 -!- tombom has quit (Quit: Leaving). 19:19:50 -!- dixon has joined. 19:20:43 -00:01/10:33, and I'm near the end of this file 19:20:46 says vlc 19:20:47 near the end 19:21:02 19:33 < AnMaster> was watching that video hiato linked <------ er? 19:21:06 funny the way it continues to count 19:21:10 -00:-02 19:21:23 okay now it is worse 19:21:29 01:08/01:03 19:21:46 hiato, the link you linked 19:21:57 had a video demoing the thing on it 19:22:11 Ooooooh. Heh 19:22:54 also, at least vlc can count, dont get me started about mpd and streams 19:26:28 -!- dixon has quit (Ping timeout: 240 seconds). 19:26:39 hiato, oh? 19:26:51 -!- Sgeo has quit (Ping timeout: 265 seconds). 19:28:06 It just gives seemingly random numbers. Fair enough, it cant be expected to track position in a stream, but it gives me things like 99:01:01:01 19:28:23 -!- dixon has joined. 19:28:25 i mean, what is that? The radio station is older 19:28:44 and I've been listening for maybe ten minutes 19:28:45 hiato, possibly in the current segment? 19:28:52 of something 19:29:18 Heh, exactly 19:30:33 hiato, or 99 indicates a stream 19:30:45 se posible 19:30:50 se? 19:31:02 it is, IIRC 19:31:10 French 19:31:15 non? 19:31:16 99:01:01:01 <-- is 99 in hundreds of hours? 19:31:18 or what 19:31:25 No idea 19:31:33 hiato, well what is the last unit in? 19:31:39 let me connct now and show you 19:31:41 seconds? centiseconds? 19:32:37 Pfftt.... no idea 19:32:51 07:17:47 is the one pice of info 19:33:04 the other is my corroct listen time 19:33:07 * AnMaster has a 3 line, 14 column lcd here 19:33:18 should I make it possible to get a console on it? 19:33:21 or try to at least 19:33:27 would need a user space daemon for it 19:33:28 FTW\ 19:33:36 since I need to program it with libusb 19:33:39 isn't se written c'est 19:33:42 s/\//! 19:33:48 it can only display a limited charset btw 19:34:19 oklopol: wouldn't know, never took french 19:34:28 ic 19:34:44 ("isn't ic written i see") 19:34:53 ;) 19:36:00 -!- MigoMipo has quit (Read error: Connection reset by peer). 19:37:19 AnMaster: 20:30 < AnMaster> since I need to program it with libusb ---> what about a parallel port? Significantly easier 19:37:22 -!- Sgeo has joined. 19:37:54 My dad stepped on the switch for the power thing that powers the cable modem 19:38:13 Gregor: what is a "mandelstam"? 19:38:23 -!- jcp has joined. 19:38:48 It's a verb. "to mandelstam" 19:39:09 Ok, and it's meaning is? 19:39:14 -!- dixon has quit (Ping timeout: 276 seconds). 19:39:25 Well ... it's a mandelly kind of ... stamming. 19:39:26 *its 19:41:24 Oh? Wouldn't have guessed that, sneaky and deceptive. So it's like like a not so frabtious way of presbiedling 19:41:52 -like 19:47:54 I think my bftape.hs is good enough 19:48:10 -!- adam_d has joined. 19:48:51 http://hpaste.org/fastcgi/hpaste.fcgi/view?id=24660#a24660 19:50:39 Sgeo: any particular reason for moveby? 19:50:52 -!- lament has joined. 19:51:05 The main program stores BF commands as, e.g., BFMove 5 19:51:15 Instead of just BFRight 19:51:17 or something 19:51:29 Oh, ok 19:53:20 I like the modifyTapeHead 19:53:38 nice thinking 19:53:49 ty 19:57:24 It seems like it can take a while to figure out how to write a line of Haskell, but reading it is easy 19:57:33 [in general] 19:58:09 And it's generally important to be able to read code later, more so than writing it now.. 19:58:46 -!- dixon has joined. 19:59:07 Gregor, there? 19:59:15 Yes? 19:59:20 Gregor, I have a little request for your musical skills 19:59:24 Oh? 19:59:27 Gregor, something I think might be interesting 19:59:54 Go on 19:59:57 Gregor, the result of merging the internationale and some of Chopin's music 20:00:04 I have no idea what it would sound like 20:00:12 but it sounds interesting 20:00:18 and I lack the skill to do it myself 20:01:19 Guhhh uhh? 20:01:27 Gregor, eh? 20:02:09 Gregor, is that a good or bad sign? 20:02:26 I don't yet know :P 20:02:35 However, I do believe this is probably beyond my skills. 20:03:02 Gregor, ah :/ 20:03:09 Did you have anything more specific than "Chopin's music"? 20:03:39 Gregor, well, some suitable music by him. I'm not quite enough expert on him to be able to name a specific piece 20:03:46 Gregor, but iirc you liked him a lot 20:04:03 so I assumed you would be able to pick a suitable, slow piece that is typical Chopin 20:04:16 e.g. "Any Chopin Nocturne #whatever" :P 20:04:35 Gregor, well yes sounds good. 20:04:46 just pick the number you want 20:05:24 Gregor, you see, I and some other people were discussing this in another channel (on another network). 20:05:55 I imagine the fact that you've ever heard The Internationale before and I have not has a lot to do with our respective positions on Earth :P 20:07:12 Gregor, eh? 20:07:24 Gregor, you haven't heard the Internationale?! 20:07:29 Well, I have now. 20:07:38 (assuming that "ever" was a typo for "n&" 20:07:40 ) 20:07:54 Maybe I have before, but dismissed it as "extraordinarily generic anthem-sounding music" 20:08:03 Gregor, well so it is! 20:08:08 Gregor, kind of 20:08:27 Gregor, it is just that it is about as far as you can get from a Chopin nocturne 20:08:34 which is why we were discussing merging them 20:08:40 I see :P 20:09:09 Gregor, I have no idea if it is possible, and if it is, if the result is interesting 20:09:11 So I assume you were referring to merging not so much in creating a piece of music which is a stylistic merge, but actually mixing recordings of both into some horrible mutant. 20:09:31 but considered that I once heard a boogie-woogie waltz... 20:09:37 I don't consider it *impossible* 20:10:22 i'm good at mixing X and deathcore for any value of X, if anyone's interested 20:10:30 heh 20:10:46 oklopol, to what ratio? 20:11:11 to any X/deathcore ratio less than or equal to 0.5, i suspect 20:11:48 that was actually mostly a joke, deathcore isn't what i usually write (although it is what i usually listen to). 20:11:56 Gregor, http://www.youtube.com/watch?v=eFO0SXf4mw4 (lyrics in Swedish btw, but the music itself should be interesting, the boogie-woogie waltz) 20:12:38 the composer and perfomer is the famous (in Sweden) comedian Povel Ramel 20:12:44 performer* 20:15:26 that's some serious liquid insanity 20:17:36 -!- Alex3012 has quit (Read error: Connection reset by peer). 20:17:36 -!- Sgeo_ has joined. 20:17:36 -!- Alex3012 has joined. 20:19:05 oklopol: set X = 0 20:19:23 write me some nothing music 20:19:52 if i mix deathcore and nothing, won't the result be just deathcore 20:20:52 also people generally manage to name the genre of any of my music, except those who hear an electric guitar and say metal or rock 20:20:57 *don't 20:20:58 -!- Sgeo has quit (Ping timeout: 265 seconds). 20:21:05 oklopol: hmm right 20:21:10 god i'm getting tired of inequalities 20:21:23 X = -deathcore 20:21:48 Don't what? 20:22:07 X = -deathcore + i :| 20:22:13 there should be a don't somewhere in there 20:22:20 X usually denotes a set 20:22:23 they manage not 20:22:32 or matrix 20:22:40 Or something that isn't a variable. 20:22:50 eh? 20:23:17 you mean in something like let (X, S, m) be a measure space, X is not a variable? 20:23:32 or what do you mean by variable 20:23:39 A variable varies. 20:23:52 err no it doesn't, in math 20:23:57 Yes, it does. 20:24:02 In math. 20:24:03 oh 20:24:07 this is news to me 20:24:11 e.g., y = 3x+6 20:24:15 a variable is just something you plug in values for 20:24:18 but i believe you 20:24:24 x \in R, thus x can VARY to be any value in R 20:24:32 -!- ehirdiphone has quit (Quit: Get Colloquy for iPhone! http://mobile.colloquy.info). 20:24:38 and in (X, S, m), X can VARY to be any set 20:24:51 -!- ehirdiphone has joined. 20:25:27 Not ANY set. 20:25:34 dixon: That's a stupid definition of change. 20:25:46 ehirdiphone: Thanks? 20:25:53 absolutely any set can be made a measure space out of 20:26:01 x \in R has more constraints 20:26:10 Yw 20:26:38 if you say let x \in R and then prove something about x, you're doing it for any value of x. similary, if you let (X, S, m) be a measure space, and prove something about it, you prove something for any measure space. 20:26:46 what's the difference making x a variable and X not one? 20:26:50 oklopol: Vitali set, boiiiiii 20:27:26 what 20:28:06 i'll assume you were joking above 20:28:55 I'll assume you're pretending not to know about non-measurable sets. 20:29:29 i know about non-measurable sets 20:29:45 i just don't see how vitali set made any sense 20:29:52 * Sgeo_ wonders if making his parser blind to too many [ is a bad idea 20:30:35 Sgeo_: "meh" 20:30:42 oh you meant 20:30:46 well, too many ] will probably cause it to ignore everything after the extra [ 20:30:48 erm ] 20:30:48 Bad program = undefined behaviour :P 20:30:53 if X is a vitali set, then you can't make a measure space out of it? 20:30:55 ehirdiphone, heh 20:30:56 that's not true 20:31:04 obviously 20:32:16 ... 20:32:49 ehirdiphone: wrong 20:33:14 Quadrescence: about what 20:33:16 bad program = doesn't do what it's supposed to 20:33:26 or it does but exceedingly poorly 20:33:36 dixon: any set X can be made into a measure space by setting S = {{}, X} and m(a) = 0 for all a \in S 20:33:38 This parser is getting uglier by the second :/ 20:33:42 even a vitali set 20:33:46 Quadrescence: I meant 20:33:47 So if a measurable space has a lebesgue measure, and the Vitali set isn't lebesgue measurable 20:33:55 Feed nonprogram to interpreter 20:33:58 => UB 20:34:05 oh okay 20:34:12 then you're off the hook 20:34:23 That's wonderful, but is that making a measure space of the Vitali set itself, or a different set containing the vitali set as a subset? 20:34:25 THE HOOK 20:34:49 Sgeo_: Use parsec :P 20:34:57 it's making a measure space of the vitali set, X = vitali set. i assumed the vitali set was an example of something X can't be 20:34:59 ehirdiphone, is that a joke? 20:35:04 because you said X can't be *absolutely any set* 20:35:04 After several people told me NOT to? 20:35:05 Sgeo_: no 20:35:13 They're fucking idiots 20:35:21 and said this is because "vitali set boiiiiii" 20:35:24 ehirdiphone: Brainfuck parsing. 20:35:25 Were they in #haskell? 20:35:31 If not disregard them 20:35:36 also you can even make R^n into a measure space such that all vitali sets are measurable 20:35:42 i'll leave this as homework 20:35:43 pikhq: Is a two liner in parsec 20:35:52 ehirdiphone, pikhq and Quadrescence and dixon 20:35:58 And 4 lines out of it. :P 20:36:10 pikhq, um, this is much much more than 4 lines 20:36:27 Sgeo_: dixon is a moron and pikhq should be ashamed :P 20:36:38 And Quadrescence is a fluffy bunny. 20:36:46 Thusly he can do no wrong. 20:36:52 He is excused. 20:37:07 How about this: I do it both ways 20:37:19 TMI 20:37:30 rofl 20:37:47 that's some serious liquid insanity <-- what is? 20:37:48 ehirdiphone: dixon is certainly not a moron 20:38:21 Quadrescence: can you explain his statement about X vs x? 20:38:45 i hope there's a better argument out there than vitali set boiiiii 20:38:56 Which is better: A language that's easy to write in but difficult to read, or a language that's easy to read in but difficult to write? 20:39:00 Boiiiii 20:39:09 Sgeo_: neither 20:39:14 Sgeo_: One that's difficult to both! 20:39:22 oklopol: I don't really remember what the argument was 20:39:41 It's just that it seems that Haskell tends to be a bit of the latter, imo 20:39:51 Quadrescence: then nm 20:40:07 or read logs, it's not a very interesting argument 20:40:14 Sgeo_: Only because it is new to you. 20:40:26 you can reiterate the question/whatever so we are all on the same page 20:40:38 Avoid stating informed opinions until you're informed :P 20:41:03 the claim was that X usually denotes matrices or sets and is therefore not a variable, unlike x which denotes things like real numbers 20:41:20 -!- Oranjer has joined. 20:41:26 and that in x \in R, x can *vary*, whereas if you say (X, S, m) is a measure space, X can't vary 20:41:38 dixon: do you agree with what he just said (that this was the claim, be it true or false) 20:41:51 i don't see how there's any distinction between those 20:41:55 Quadrescence: I said X can't assume all values. 20:42:08 well X \in Set, of course 20:42:13 e.g., a non-measurable set 20:42:27 Assuming lebesgue measure 20:42:32 that statement i just find plain weird 20:42:43 why couldn't you make a non-measurable set into a measure space 20:42:44 oklopol: X \in Set or MeasurableSet 20:42:48 Set 20:43:13 any set made into a measure space as for instance (X, {{}, X}, m), m(a) = 0 for all a 20:43:25 *can be 20:43:40 Dear Notepad++: Please don't attempt to match [ and ] if they're in single quotes 20:43:57 Any negative number can be made nonnegative by adding its inverse. That doesn't make it initially nonegative. 20:43:58 Dear Sgeo_, learn to use a decent fucking editor 20:44:13 also x \in R, so even if it was MeasurableSet, X would still be a variable in the same sense that we name an arbitrary element of some class 20:44:47 dixon: what? a vitali set is not in any way inherently non-measurable, as i said there are measures on R^n where vitali sets can be measured. 20:44:49 Actually I don't think X is a variable now 20:45:01 why? what's the difference? 20:45:09 oklopol: It's not Lebesgue measurable! 20:45:16 we say let X \in Set, and we say x \in R 20:45:26 and then we talk about that one x or X that can't change during the discussion 20:45:27 I just said "assuming Lebesgue measure" like 10000000 times 20:45:59 err right, the second time i missed that 20:46:01 I did for a second but now I don't. When I think variable, I think: forall X in D, f(X) 20:46:13 that's a weird assumption because it's not relevant that X can be non-measurable in some measure 20:46:31 The most popular measure :\ 20:46:39 (among the ladies anyway) 20:46:51 (i thought boob size was the most pop) 20:46:53 it's still irrelevant if we're talking about whether X can be made into a measure space 20:47:05 obviously there will be some spaces where X is not a measurable set, for any X except {} 20:47:22 and yeah sure it's the most popular 20:47:35 Quadrescence: Make a measure space of boobies. Get your sigma algebra all over that :3 20:48:11 oklopol: also IIRC you just interchanged "measure space" and "measurable space" a few times 20:48:22 Quadrescence: can you explain why "forall X in D, f(X)", as a definition for variable, makes x a variable in "x \in R", but not X in "X \in Set" 20:48:35 i seriously doubt that, but maybe, let's see 20:48:51 oklopol: I can explain if I add more context to the question 20:48:53 oh well 20:49:27 i did talk about non-measurable set, and meant non-lebesque measurable, that might not have been clear from context 20:49:30 idk this discussion is boring let's listen to Sgeo_ talk about stuff 20:49:31 Awesome, this parser seems to actually be working 20:49:32 sure add context 20:49:37 yes it's very boring 20:49:50 cool his parser is working 20:50:14 I wonder if his parser is parsing or if he is confusing lexing with parsing or both 20:50:28 Well, kind of. Extra ] causes it to cut off, and it seems to automatically put ] at the end if needed 20:50:40 What do you guys think? 20:51:19 hmm 20:51:21 It's not working 20:51:40 Ah nvm guys his parser isn't working 20:51:40 the fact ] is causing him trouble suggests parsing 20:52:23 i ate so much pizza i'm all twitchy 20:52:32 oklopol: yes I agree so I suppose he is talking about parsing and not lexing 20:52:38 is that healthy / even possible? 20:52:43 maybe it's caffeine kicking in 20:52:47 no that is not healthy and it is not possible 20:52:59 thought so 20:53:31 Quadrescence: but what do you think, is he using a separate module for the parser and the interpreter 20:54:04 speaking of caffeine, i should probably make some coffee before i get tired 20:54:06 probably because he seems to be the type that would overengineer the dick out of something 20:54:19 God did that to women 20:54:21 hence men 20:54:42 "out of something", so i think god did it to guys 20:54:51 I have the definition of the tape and functions that operate on it in a separate module 20:54:59 women are more optimal in many ways 20:55:00 oklopol: the pizza is slowing you down 20:55:18 I'm going to win our pseudo-argument now >:) 20:55:38 Sgeo_: so do you really have a stateful tape? or do you have a thing that generates new tapes from old ones 20:55:50 men are more in the direction of movie-autistic genius in that they suck and own at things more often than women 20:55:51 new tape from old ones 20:56:06 http://hpaste.org/fastcgi/hpaste.fcgi/view?id=24660 20:56:16 which is away from the equilibrium of perfect humanness 20:57:01 dixon: i never considered it a pseudo-argument, although i agree it was a complete waste of everyone's time 20:57:15 oklopol: If we didn't have time to waste, we wouldn't be on IRC 20:57:17 Haskell is so anti-climactic. 20:57:25 You slave for hours and what do you have to show for it? 44 lines. 20:57:44 fuck yeah C \o/ 20:57:44 | 20:57:44 |\ 20:57:51 haha i love this bot 20:57:59 It can't count. 20:58:12 counted just fine on my screen 20:58:24 Have a monospaced font? 20:58:26 The modify lines seem to be below the 44 20:58:26 dixon: you probs have that alignment junk I hate 20:58:33 Quadrescence: DO NOT 20:58:33 at a margin 20:58:37 yes, i consider non-monospace ugly 20:58:48 oklopol: Do you read websites in monospace? 20:58:50 yes 20:58:55 haHAHAHahahAHA 20:58:55 oklopol: that is terrible 20:58:56 so weird 20:59:01 that is the worst idea i've ever heard 20:59:10 also i disable all features on pages, they are just white on black monospace 20:59:16 I helped him set up windows. Everything on his screen is 20:59:20 ehirdiphone made the theme for me 20:59:20 HAHahaAHaHahhahaHahahAHa 20:59:21 jk Sgeo_'s idea of using parsec to parse bf was the worst idea 20:59:21 yeah 20:59:23 White on black 20:59:27 Consolas 20:59:31 EVERY thing 20:59:37 You're so weird. 20:59:40 almost everything, some things override it 20:59:42 NO exceptions. It is beautiful. 20:59:51 ehirdiphone: not on the internet 20:59:54 even made an IE stylesheet for it 20:59:56 people are like wtf why is your computer broken 21:00:00 Quadrescence: oh yes 21:00:01 well, that is, if you use more than 2 websites on the internet 21:00:03 see ^ 21:00:06 oklopol: That's just because you use Windows. 21:00:21 what's just because? the override? 21:00:36 \o/ _o/ \o/ _o_ \o_ 21:00:36 | | | | | 21:00:36 /'\ >\ /´\ >\ |\ 21:00:50 who decided to give some of these penises? 21:00:52 oklopol: No the broken 21:00:56 he meant 21:00:58 If he used something other than Windows they'd say that because it's not Windows 21:01:01 oh hmm yeah maybe 21:01:25 well you see they don't actually say anything because i never take my computer outside and no one even visits me 21:01:31 i mean i meet people but never here 21:01:42 haha 21:01:52 oklopol: Sure you did. 21:02:07 oklopol: You just go to your measure theory class and home to fap to it. 21:02:16 We now know the truth! 21:02:19 :P 21:02:34 measure theory isn't really what i do, measure spaces are just the only thing i was sure everyone would know 21:02:46 Sgeo_: what is a measure space??? 21:02:58 not like let [n, k, d]_q R be a linear code 21:02:59 ? 21:03:08 Sgeo_: What Is A Measure Space? 21:03:15 well where everyone = {dixon} :D 21:03:22 Why are you asking me? 21:03:30 Sgeo_: i said everyone knows measure spaces 21:03:37 and *someone* decided to take that literally 21:04:08 Can you find someone else to assume to be ignorant? 21:04:18 yeah fuuuuuuuuk taking "everyone" LITERALLY since there are so many other ways to take it 21:04:23 \o_ 21:04:23 | 21:04:23 >\ 21:04:42 so broken 21:04:52 i never mean what i say 21:04:59 bee are bee i hav 2 pee 21:05:03 AnMaster: only for xchat users 21:05:18 ehirdiphone, and other similar clients 21:05:25 I made erc format it that way too 21:05:28 oklopol: Or because it was the highest level of knowledge you could surmount in order to battle my raging ego. 21:05:49 but it uses a static value 21:05:52 Woohoo, I think it's working 21:05:53 and a max column 21:05:55 \o_ 21:05:55 | 21:05:55 >\ 21:05:56 | 21:05:56 |\ 21:06:02 is what I see 21:06:30 AnMaster: That is a fekking bizarre alignment thing. 21:06:50 no, lowest 21:06:50 pikhq, well no. It is supposed to be like xchat. But Quadrescence's nick is one char longer than the max length 21:06:58 pikhq: aligned rightwards 21:06:58 pikhq, this it overflows into the other area 21:07:02 oklopol: Uh huh! 21:07:04 See, that's bizarro. 21:07:11 ehirdiphone: See? 21:07:13 the linear code thing was the highest level 21:07:15 :P 21:07:15 pikhq, rightwards is normal 21:07:17 to me 21:07:20 xchat does it too 21:07:23 there it looks like: 21:07:27 i assume you don't care what they are 21:07:30 *know 21:07:31 And that's all that does that. 21:07:31 \o_ 21:07:32 | 21:07:32 >\ 21:07:32 | 21:07:32 /´\ 21:07:34 oklopol: I lol'd. 21:07:38 pikhq, see ^ 21:07:46 pikhq, when I used irssi it did it too 21:07:48 http://hpaste.org/fastcgi/hpaste.fcgi/view?id=24662#a24662 21:07:52 because I set irssi up that way 21:07:53 Seems to be somewhat working 21:08:01 AnMaster: Why do you break your IRC clients? 21:08:05 Another function will combine BFAlters and BFMoves etc. 21:08:07 pikhq, I find it *WAY* easier to read 21:08:27 Bah. 21:08:27 * Sgeo_ wishes it wasn't so ugly 21:08:43 Sgeo_: Use another language. 21:09:02 dixon, then it wouldn't be a bf parser 21:09:03 actually Sgeo_ just wrote it badly :P 21:09:08 but, say, an intercal parser 21:09:21 ehirdiphone, any ideas for improvements? 21:09:24 or do you mean the language the parser is written in? 21:09:27 It wouldn't be in Haskell. 21:09:35 AnMaster: The language it was written in . 21:10:12 Sgeo_: don't mention parsing the rest twice. using god forbid a monad would avoid such duplication 21:10:25 EWW MONADS 21:10:34 codes are subsets of Q^n, where Q is some set. if we take Q to be the finite field of size q then Q^n is a vector space over Q, and linear codes of type [n, k, d]_q R are just subvector fields of Q^n of dimension k (d and R are minimum distance between two codewords and max distance between a non-codeword and the code) 21:10:35 Keep your sick functors away from my categories 21:10:53 so not very deep 21:11:06 (have to define what you mention) 21:11:06 Functor? 21:11:09 I hardly know her! 21:11:12 * Sgeo_ is not sure how he'd use a monad to help here 21:11:18 oklopol: igi 21:11:26 Sgeo_: Just use parsec 21:11:32 ew. 21:11:35 It's Easy. 21:11:49 ew at parsec or linear codes? 21:11:55 Parsec. 21:12:00 Linear codes are fine. 21:12:14 if you like coding theory (the theory of uniform length codes) then linear codes are very useful 21:12:31 ah cool 21:12:38 I like cryptography, so some information theoretic properties of coding and error correction come into platy. 21:12:39 play* 21:13:01 I'll also do it in Parsec 21:13:06 Both ways will be available 21:13:07 dixon: how about whenever anyone mentions haskell you take a big gulp of shut the fuck up- in place of the current pipe the fuck up 21:13:21 Sgeo_: now /that/ is pointless 21:13:24 ehirdiphone: Or I could not. That works better for me. 21:13:32 ehirdiphone: was that a joke 21:13:37 "pointless" 21:13:49 ehirdiphone, the non-Parsec way teaches me stuff, the Parsec way makes it a bit more useful for checking stuff 21:13:51 because haskell can be written in pointless/POINT-FREE style 21:13:51 Quadrescence: no, im not /that/ inanw yet 21:13:55 *inane 21:14:15 -!- tombom has joined. 21:14:20 -!- tombom has quit (Changing host). 21:14:20 -!- tombom has joined. 21:14:31 -!- coppro has joined. 21:14:32 i know very little cryptography 21:14:41 dixon: Yeah but you're the most irritating person here except me 21:15:03 ehirdiphone: I'm also the second-coolest person here. 21:15:03 I have an age exemption; are you royalty? 21:15:09 You'll have to live with the paradox. 21:15:27 am i the coolest?!?!? 21:15:38 a i am i ami amiai maimaimaiamiamiamai 21:15:45 oh i am in awe of your cool 21:15:53 Peanut is the coolest. 21:15:53 AM I COOLEST I WUN BE COOLAST :<< 21:15:58 oh 21:16:13 I'm peanutacus 21:16:15 http://i.imgur.com/cTSP2.jpg 21:16:27 ehirdiphone: you don't have an age exception for long. 21:16:30 *won't 21:16:36 Queen of her domain. 21:16:40 oklopol: orly, how about 18 21:16:43 * Sgeo_ wonders how this parser handles lazy lists 21:16:50 Erm, that was poorly phrased 21:16:55 yes that was 21:16:58 you should be embarrassed 21:16:59 sex in USA = unirritatibg 21:16:59 *exemption 21:17:03 that may be better 21:17:06 *unirritatibg 21:17:14 *unirritatibg 21:17:44 My spellchecker has now learned unirritatibg. 21:17:45 well i don't know which country you are now, although i have my guesses, but i consider 15 enough for everyone. 21:17:49 and everything 21:17:50 No joke 21:18:01 It seems to handle strings with _|_ in the middle nicely 21:18:07 oklopol: BAH 21:18:11 oklopol: The Swedish have a saying: If it's not in diapers, it's old enough to be stretched. 21:18:14 oklopol: i wonder why 21:18:28 dixon: yeah but they're perverts 21:18:35 yeah i'm no pervert 21:18:38 ehirdiphone: Neutral perverts. 21:18:42 tombom: 'cuz oklopol just turned 15 21:18:55 yes 21:18:59 that was what i was thinking 21:19:04 oh 21:19:11 dixon: the swiss are more neutral and THEY DEFEND CATHOLICISM 21:19:15 Or because his boyfriend just turned 15 21:19:21 :P 21:19:23 And he's CATHOLIC 21:19:28 or well they share a name with the pope's guards 21:19:33 purity brick 21:19:37 SAME THING; BOOYAH 21:19:37 HAHAHAHAHAHAHHA 21:19:49 pure, haskell 21:19:52 all makes sense now 21:20:04 anyway oklopol is like 52 now 21:20:16 * oklopol calculates again 21:20:18 That makes sense 21:20:23 pedopedo 21:20:33 Hitting on my young self. 21:20:35 ;))) 21:20:36 well i do find 15-yo girls sexy like any normal male 21:20:39 oklopol: how old are you if you can disclose 21:20:42 that's not pedo 21:20:47 i'm 21 21:20:48 Quadrescence: 21 iirc 21:20:53 just turned 21:20:56 i c 21:21:00 oklopol: Like you are a vampire 21:21:01 had this big party 21:21:04 "Just turned" 21:21:16 :))))))))))))))) 21:21:21 oklopol's bf is me he's saving my penile virginity for 15 21:21:22 ehirdiphone: how old are you if you can disclose 21:21:23 no wait i forgot fangs 21:21:27 tru story 21:21:48 Quadrescence: 3 21:21:59 ehirdiphone: next time just don't answer or say you don't want to 21:22:09 i would tell you but it may have changed since i last heard it 21:22:20 oklopol: Hasn't 21:22:21 i hate ages, should memorize years of birth instead 21:22:28 just retina irritate Quadrescence 21:22:33 *tryina 21:22:42 oh umm then i wish i hadn't said that 21:22:47 oklopol: Birthdays. Using coding theory. 21:22:50 because i have two numbers for your age 21:22:55 14 or 154 21:22:57 *15 21:23:11 Has iPhone in his name, obv 14. 21:23:15 birthday PARADOX mathematics is WRONG 21:23:27 what paradox? 21:23:28 Because YOU ARE EDUCATED EVIL 21:23:30 dixon: your accuracy is physically painful 21:23:34 time cube 21:23:34 oklopol: Birthday paradox 21:23:40 i have heard of that 21:23:52 was it about time dilation or something 21:24:01 no 21:24:01 No 21:24:01 :P 21:24:05 If it redeems me I bought this thing in 2007 when it was still uncool :| 21:24:09 i have a great memory 21:24:16 oklopol: EARTH HAS SIMULTANEOUS FOUR 25 HOUR DAYS 21:24:22 YOU ARE EDUCATED EVIL 21:24:23 ehirdiphone: and you waited until it was cool till you started using it? 21:24:23 etc 21:24:26 that's... much worse 21:24:27 http://timecube.com 21:24:28 ALL ELSE ARE EVIL 21:24:32 oklopol: No 21:24:34 :P 21:24:35 gene ray 2012 21:24:45 100% 21:24:46 YOU STUPID BECAUSE OF EDUCATION LIES 21:24:50 It's more likely that there are two people in a room of.. I forgot how many .. who share a birthday than you might intuitively think 21:24:58 -1 x -1 = -1! 21:25:00 Sgeo_: 23 21:25:03 oh that's the paradox? 21:25:07 i would never have guessed 21:25:20 As much of a paradox as banach-tatami 21:25:24 Tatami 21:25:27 Tarski 21:25:30 tarski? 21:25:31 At 23 the chance of there being two people who share a birthday is 50% 21:25:37 iirc 21:25:38 i forget, are larouchites rather dismissive of negative numbers 21:25:48 then as you get more than 23, that goes up rapidly. 21:26:07 http://en.wikipedia.org/wiki/Birthday_problem for epic win 21:26:08 Sgeo_: iirc? you mean "if i just looked at wikipedia behind this window a second ago correctly"? 21:26:12 24 = 100% because of synchronicity 21:26:17 Quadrescence, I didn't 21:26:20 k 21:26:22 jw 21:26:27 dixon: "epic win" oh please 21:26:30 Quadrescence: No, because It old him from my cryptographic memory of awesome 21:26:36 ehirdiphone: Yes dear? 21:26:36 i remember 23 from reading some book in like 5th grade 21:26:40 for that probability 21:26:47 not what it means, but the number in that context 21:26:47 dixon: I want a divorce 21:26:57 ehirdiphone: I keep the house. 21:26:59 And your penis. 21:27:10 You can have the kids. 21:27:11 i used to read all sorts of crap as akid 21:27:14 *a kid 21:27:20 Me too. Like Playboy. 21:27:23 dixon: ok how about an anullment 21:27:43 ehirdiphone: It'd be just like you to not put out and call it quits. 21:27:53 dixon, i heard that the library you wrote years ago is becoming an official part of the standard library for the D programming language 21:28:04 Why did I ever even think you were so much to want to than do anymore like? 21:28:07 it is so cool to meet people who know that much about crypto 21:28:18 Quadrescence: but that means dixon will be 21:28:21 INTERNET 21:28:24 FAMOUS 21:28:32 meh, it's D 21:28:33 Less Internet-famous than Q. 21:28:48 coppro: meh it's D, why meh 21:28:49 D is a bad attempt at fixing C++ 21:28:53 wrong 21:28:58 cpressey is more famous than walter bright :p 21:29:19 i'm less known than all of you put together 21:29:20 D was a very good attempt, and rather successful in terms of the language itself, but politics and everything around it was not good so etc 21:29:40 no, D as a language is pretty bad 21:29:41 oklopol: you're -1 famous 21:30:01 if not for time cube just become -1 times more famous 21:30:06 coppro: agreed 21:30:10 coppro: D as a language is fine. It's just the implementations that suck. 21:30:17 A hodgepodge of features 21:30:18 * Sgeo_ can't seem to copy from GTK+ applications to any other application 21:30:22 D as a language is good (pre 2.0) 21:30:27 no D is okay as a language and the politics is okay, but it has a crappy name 21:30:29 all apropos nothing 21:30:39 and the syntax, while easier to parse than C++'s, is even uglier 21:30:46 Wiat, it's working now? 21:30:50 wat 21:30:53 wat 21:30:56 ! for templates, wtf 21:30:59 Quadrescence: do you think his code is now working? 21:31:00 wiat 21:31:05 oklopol: no 21:31:08 oklopol: No copying 21:31:09 coppro: Fixes issues with <<<<<<<>>>>>>>. 21:31:12 From gtk apps 21:31:16 Why is it that all-of-a-sudden, copy/paste from XChat is working. It never worked before 21:31:19 dixon 21:31:21 I think the ! is much better than <>, parsing problems or not 21:31:22 (and Pidgin) 21:31:23 *dixon: what? 21:31:28 dixon: Instead !(!(!(!()))) 21:32:00 ehirdiphone: Much better to parse. 21:32:01 ehirdiphone: note that << is an operator in C++, so is >>, so is <, so is > 21:32:03 -!- MizardX has quit (Ping timeout: 276 seconds). 21:32:09 so is ! 21:32:14 dixon: yes, much better to parse. Also uglier 21:32:18 I'd prefer SPECS 21:32:22 ! is prefix 21:32:28 Quadrescence: yes 21:33:39 anyway it's a fact that if someone thinks D is uglier than C++, then that someone also think bjarne stroopywoopy's mop head is hotter than raven riley after a shower 21:33:54 Everything should just use Haskell's type system :D 21:33:55 AnMaster: You've inspired me to actually try to learn to /play/ something by Chopin properly :P 21:33:56 A TRUE FACT 21:34:08 Sgeo_: Yes definitely 21:34:28 Especially those things which require values to be a part of types 21:34:40 You know, like a type like Matrix(2,3) 21:34:45 haskell is totes appropriate for this 21:34:49 * Gregor looks up Raven Riley for comparison 21:34:53 Haskell's type system is nice but hardly ideal 21:35:05 Sgeo_: Nnnno 21:35:34 Sgeo_ is just amazed and etc after using haskell for one day and is professing wisdom and whatever he thinks he has obtained 21:35:57 I've been using Haskell for more than one day 21:36:05 NEEDS MORE LAMBDA 21:36:09 Just haven't written a large project in it before 21:36:13 Sgeo_: sorry 1 week 21:36:16 I mean 1/2 weeks 21:36:25 (one half) 21:36:38 THOU SHALT HAVE BUT ONE CHARACTER IN YOUR MACHINE ALPHABET. LAMBDA. 21:36:38 How about, I started no later than September 26, 2009 21:36:47 And have made Haskell puns before then 21:36:52 (Well, one pun) 21:36:54 LAMBDA LAMBDA LAMBDA, LAMBDA LAMBDA. 21:36:57 HASKELL PUNNNNS 21:37:06 It was not the best pun tbqh 21:37:07 Sgeo_: Oh it seems you've started about 1 day ago 21:37:35 ehirdiphone, execution-wise or concept-wise? 21:37:39 esp. since just yesterday you said "is it worth learning haskell?!?!?!" 21:37:50 Sgeo_: erm both :p 21:37:57 :/ 21:38:10 ;( 21:40:26 Sgeo_: Did you know that Haskell curries? 21:40:31 coppro, yes 21:40:35 :P 21:40:45 Did you know that curry is *delicious*? 21:40:48 Is there supposed to be a pun based on someone's name in there? 21:40:52 uh, yes 21:41:16 Howard you figure that out? 21:41:26 the guy the language is named after, even 21:41:33 Haskell my anus 21:41:34 coppro, yeah yeah 21:41:42 Haskell Curry. Hooray. 21:41:57 for whom both Haskell and currying are named 21:42:15 schoenfinkeling is the proper term 21:42:49 -!- impomatic has joined. 21:42:51 Only an iPhone user would schoenfinkel 21:42:58 Hi :-) 21:43:04 dixon: wat. 21:43:24 wat. 21:43:39 I think it should be "Haskelling". 21:43:47 "In Haskell, every function is haskelled." 21:43:56 but schoenfinkel invented it! 21:44:09 -!- MigoMipo has joined. 21:44:13 pikhq: untrue 21:44:16 Yeah, well. Schoenfinkel should change his name to Haskell. 21:44:24 (A,B) -> C 21:44:26 Wasn't currying invented before Haskell? Haskell Curry did Currying stuff, not Haskell stuff 21:44:35 Sgeo_: No duh 21:44:35 I think programmers should stop sullying great mathematicians by naming shitty languages after them. 21:44:49 Curry just popularised Schoenfinkeling. 21:45:01 heh 21:45:03 dixon: oh, go away 21:45:13 ehirdiphone: no u 21:45:32 everyone knows that things in math and science aren't named after the discoverer, but the researcher 21:45:37 dixon: our sole resident /actual/ mathematician has his name in the haskell98 report 21:45:47 http://verrahrubicon.free.fr/Combinator.pdf 21:45:58 ehirdiphone: Much to his embarrassment, I'm sure. 21:46:03 i agree with dixon 21:46:17 ehirdiphone, who? 21:46:20 dixon: why not ask oerjan? 21:46:28 And he's not your sole resident mathematician. 21:46:50 * Sgeo_ thinks ais523 counts as a mathematician. 21:47:04 Not if that's secretly alise. 21:47:14 Sgeo_: More of a computer scientists. 21:47:33 ais523 is multiple people now? 21:47:34 i am a journalist 21:47:39 I dunno, the 2,3 TM work was pretty mathy 21:47:40 dixon: Trolltastic. 21:47:45 Sgeo_: Hah. 21:47:51 pikhq: No, I'm serious. 21:48:02 dixon: ... Oerjan == alise wha? 21:48:11 pikhq: ais--whatever. 21:48:14 dixon: ais solved the 2,3 TM problem 21:48:29 ais523 == oerjan wha? 21:48:34 Admittedly, only Wolfram cared about the implications 21:48:39 pikhq: == me 21:48:44 apparently 21:48:53 ehirdiphone: ... The hell? 21:49:08 I propose we collectively ignore dixon on the grounds that he is duck-fuckingly annoying 21:49:36 dixon: http://en.wikipedia.org/wiki/Alex_Smith_(The_Simplest_Universal_Computer_Proof_contest_winner) Here's ais523's Wikipedia article. :P 21:49:47 pikhq: I asked if ais was alise? 21:50:12 dixon prolly hates wp too :p 21:51:37 I don't hate anyone. 21:51:55 but you hate entities 21:52:01 i have nothing against dixon but if everyone else ignores him i'll probably start talking to him here 21:52:07 *stop 21:52:25 Yes, the world needs more sheep. Good call. 21:52:44 ok operation Duck Fucking begins, im no longer highlighting dixon at all 21:53:16 nothing wrong with sheeps 21:53:33 I find it somewhat humorous, ehirdiphone, that you equate ignoring me to bestiality. 21:53:48 * ehirdiphone Fuchs some Duchs 21:53:51 No offense to anyone, but no academic institution would really accept this as something: http://www.wolframscience.com/prizes/tm23/TM23Proof.pdf 21:53:57 (thx iPhone spell corrector) 21:54:02 you wouldn't stop talking to someone if everyone else just saw your half of all your conversations? 21:54:11 Quadrescence: he wasn't exactly trying for that 21:54:14 why not just talk in pm and spam your half on the channel then 21:54:24 well i guess that's more work 21:54:29 he had his proof wolfram demanded shit he collated it 21:54:36 tada money 21:54:50 he was just playing around to find a proof 21:54:56 Quadrescence: why? (i haven't read it) 21:55:01 (well some of it) 21:55:09 * Sgeo_ doesn't ignore people 21:55:11 oklopol: idk becuz i sed so 21:55:15 oklopol: it's not in Computer Modern 21:55:29 Quadrescence: Yeah, it's up to Wolfram's standards, not anyone sane's standards. :P 21:55:29 oklopol: No, I'd keep talking just to annoy the people who were ignoring others. But I'm a bastard. 21:56:03 i might too, dunno 21:56:06 Quadrescence: Amuway it's being published in Complex Systems 21:56:19 admittedly 21:56:25 a wolfram journa 21:56:25 L 21:56:32 Last I heard they keep asking him to change it 21:56:42 Been years now 21:56:48 Prolly won't ever get published 21:57:14 oh it says "I" instead of "we" 21:57:23 therefore unpublishable 21:58:13 :D 21:58:24 I think it has more to do with the Impact headings and whatnot. 21:59:28 he just used the default openoffice style iirc :p 21:59:38 so probably not impact 22:00:23 Really? Looks like Impact Condensed :\ 22:00:33 it looks like shit 22:00:44 (literally, look from a distance) 22:01:12 (well of course it looks like shit, it's not monospaced!) 22:01:43 Quadrescence: You're just looking at the Perl code. 22:01:44 Quadrescence: Yeah so what 22:01:44 We're talking maths :P 22:02:02 dixon: oops yeah you're right 22:02:07 oerjan used latex so mush 22:02:08 *nyah 22:02:13 Math can be beautiful. 22:02:15 ehirdiphone: actually we are talking about some computer science 22:02:15 -!- jcp has quit (Read error: Connection reset by peer). 22:02:28 It's even more beautiful when typeset properly. 22:02:49 Quadrescence: oerjan is no CSer you whore 22:02:57 tru 22:02:57 :| 22:03:12 i was kidding anyway since CS is a subset of math 22:03:33 subfield, it retains its arithmetic and is closed under... I'm kidding. 22:03:38 yeah :P 22:03:42 also oklopol http://www.file-pasta.com/file/0/funktio_rec.pdf 22:04:07 closed under actual physical COMPUTERS OMG 22:04:32 much prettier 22:05:15 -!- ehirdiphone has quit (Quit: Get Colloquy for iPhone! http://mobile.colloquy.info). 22:05:38 -!- ehirdiphone has joined. 22:06:18 my dream is to become such a great mathematician my papers will be published in journals even though i mandate they be printed in monospace. 22:06:45 well actually my dream is to ever get anything published anywhere, but anyway 22:07:18 -!- charlls has joined. 22:07:26 submit it to Annals of Mathematics then Rejecta Mathematica 22:07:31 infallible 22:07:41 Keep your Masterpieces in a Personal Journal. 22:07:48 dixon++++++++++++++++++++++++ 22:07:56 dixon: you are zeilberger 22:08:00 oklopol: What about if you demand that they be in monospace with *unrendered* TeX? 22:08:01 Yeah, so? 22:08:03 this explains EVERYTHING 22:08:12 :D 22:08:27 o 22:08:28 actually i'm fine with math notation 22:08:43 well most of it 22:08:46 Me too. 22:09:00 Except pochhammer. 22:09:09 pochhammer l o l 22:09:16 I like it apart from the inconsistent/ambiguous bits 22:09:20 ...wwwwait 22:11:55 And there's some abuse of notation with matrices and unit vectors too, but nothing too bad. 22:12:37 |x| is crappy but most of the rest is fine 22:12:58 (1 massively ambiguous 2 starter = terminator) 22:13:05 |x| is amazing 22:13:10 |x| is wonderful 22:13:18 lol. 22:13:22 ||x|| is slightly annoying 22:13:40 Not so much when typeset, but in IRC, etc. 22:13:52 ||x||, for all those negative cardinalities 22:14:06 wat 22:14:11 wat 22:14:16 Precisely! 22:14:26 fungot, hi there 22:14:27 AnMaster: c-h b c-x o c-s eval c-s etc. automatically translating scheme to human language 22:14:36 AnMaster: You've inspired me to actually try to learn to /play/ something by Chopin properly :P <-- hahah 22:14:40 :D 22:14:51 ^style 22:14:51 Available: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube 22:14:53 if x is a set and its cardinality is negative, you need || 22:14:54 aha 22:14:56 ||.|| 22:15:03 oklopol, how rude :P 22:15:11 what is? 22:15:16 never mind :P 22:15:21 i will 22:15:34 innuendo 22:15:35 there 22:16:02 ||.|| looks like very squashed breasts obvs 22:16:18 ehirdiphone, goatse? 22:16:20 ehirdiphone has never seen boobs 22:16:29 you don't have enough imagination 22:16:42 Quadrescence has never seen ||.|| shaped breasts, ha! 22:16:47 Crazy man! 22:16:49 nor have I 22:16:56 Or have you 22:17:00 no 22:17:05 Coreutils... GNU coreutils... 22:17:07 ehirdiphone: you have never seen boobs 22:17:18 I have never before seen a 782 line "cat" program. 22:17:24 Quadrescence, he knows how to use internet. I doubt he hasn't. 22:17:34 Quadrescence: Stuck in a loop there 22:17:34 AnMaster: tru 22:17:40 USE INTERNET 22:17:42 -!- hiato has quit (Quit: underflow). 22:18:03 pikhq, I have! Last time coreutils cat was mentioned in here. 22:18:17 Hahah. 22:18:29 HOW DO YOU MAKE A FREAKING IMPLEMENTATION OF CAT THAT COMPLEX 22:18:42 pikhq, tell me 22:18:45 pikhq, what does it do 22:18:46 IDK ADDING ERROR CHECKING AND OTHER THINGS THAT COULD FUCK UP IN C 22:18:54 Cats are complex creatures. 22:19:04 Quadrescence: Hah. 22:19:10 ehirdiphone, yes, what with all the quantum state you have to emulate 22:19:13 AnMaster: ... Significantly more than file concatentation. 22:19:14 Quadrescence: 782 lines? you write really bad C 22:19:16 in case someone puts it in a box 22:19:25 i have seen more boobs online than irl 22:19:32 It does rather a lot of manual buffering, as well. 22:19:32 pikhq, you could try mmap()ing the file if possible 22:19:36 oklopol: shicking 22:19:37 hope this isn't too much of a shock 22:19:39 that should add some 20 lines at least 22:19:39 Shocking 22:19:43 -!- iamtheobject has quit (Quit: Leaving.). 22:19:52 oklopol: That's true of anyone. The difference being you have seen boobs IRL. The same cannot be said by ehird. 22:19:56 ehirdiphone: i am v bad at c 22:19:59 ehirdiphone, "shicking"? XD 22:20:02 AnMaster: That would be saner than what this is doing. 22:20:12 Manual. Buffering. 22:20:12 pikhq, then what *is* it doing 22:20:17 what the hell 22:20:23 *why* 22:20:27 cat is so well written 22:20:31 "Because." 22:20:34 There's something called *portable C* 22:20:45 but libc has buffering... 22:20:51 dixon and Quadrescence are currently embracing one another discussing their next contrarian move 22:20:55 Quadrescence: And then there's something called "crazy". 22:21:01 sweet, really 22:21:11 pikhq: Yes, and it happens this is just written in portable, robust C 22:21:16 they're allergic to agreeing with anyone else 22:21:17 Something that is apparently foreign to you all 22:21:32 I hope you are joking 22:21:37 ehirdiphone: Careful, we may include sardonicism. 22:21:43 also cat is afaik written for posix systems 22:21:50 Yes I am definitely joking because that would be a funny joke 22:22:07 Quadrescence: The point is that there are no C systems without buffered IO. 22:22:08 yeah thought so 22:22:28 pikhq, ds9k? 22:22:34 pikhq: actually, you're wrong 22:22:42 Fine, "almost no". 22:22:48 "Few" 22:22:49 pikhq, correction: "no hosted" 22:22:50 Most of the standard library stuff is *optional* 22:22:51 Probably not any one with libc. 22:22:56 The guys ate RedHat generally know what they're doing. 22:22:59 Quadrescence, freestanding ones 22:23:00 -e 22:23:01 Quadrescence: Buffered IO is K&R. 22:23:10 pikhq: K&R is not standard 22:23:23 dixon, I don't think that is good for your digestion 22:23:29 AnMaster: Me either :< 22:23:33 What I'm saying is that "dear God, it's a feature of C that is on any sane system and most insane ones." 22:23:34 dixon, :/ 22:24:06 So what's all this about maniacs thinking they're going to be using a C system where stdio is unbuffered? 22:24:07 pikhq: And it was probably written at least 100 years ago. 22:24:10 pikhq: What I'm saying is that it's better to support insane systems to than not at all for a library that is supposed to be portable across systems 22:24:31 Oh, look. And this is using 22:24:44 *read* instead of any buffered IO. 22:24:51 I think that if you manage to find a system for which the C library does not have buffered stdio, that will be the LEAST of your problems. 22:25:06 Note that read is actually less portable than buffered IO. 22:25:07 dixon, Yes it is well known Ada Lovelace wrote the first version of GNU cat! 22:25:09 The fact that it almost certainly won't have a filesystem, processes, or more than 256 bytes of memory are more significant. 22:25:28 pikhq, wonderful 22:25:35 pikhq, is it using write() or? 22:25:45 Gregor: A standard is made for a reason 22:25:47 AnMaster: read() and write(). 22:25:53 sigh 22:26:03 Which are common to all POSIX systems, sure, but are not standard C. 22:26:07 It's made to be followed, not made to be seen as a piece of paper and then users decide what is sane 22:26:28 Of course a specific C function is less portable than a general implementation strategy ;-P 22:26:50 "read" is portable than the buffered IO primitives in ISO C. 22:27:04 pikhq: ^less 22:27:12 ehirdiphone: Dankon. 22:27:36 So, all the manual buffering increases complexity and reduces portability. 22:27:50 That's fucking madness. Sheer fucking madness. 22:27:55 pikhq, you forgot a word there 22:27:58 " "read" is portable than the buffered IO primitives in ISO C." 22:28:02 more or less? 22:28:05 portability is completely irrelevant 22:28:10 yeah true it is definitely fucking madness 22:28:19 AnMaster: less. 22:28:21 i'd write cat in like 30 lines lol 22:28:22 right 22:28:27 30!? 22:28:31 Yes. 22:28:32 I'd write it in two 22:28:38 (If in C) 22:28:41 hah 22:28:42 oklopol: More complex, less portable, harder to read, less efficient. 22:28:44 AnMaster: /msg 22:28:54 pikhq: go do some benchmarks 22:28:59 then tell me about efficiency 22:29:00 pikhq: Less efficient? 22:29:10 ehirdiphone, mhm 22:29:21 This buffering is also done stupidly. 22:30:20 Not that it *matters*, but damn. 22:30:45 seriously were the coders drunk or something? 22:30:59 Quadrescence: GNU. 22:31:04 Ballmer peak 22:31:24 pikhq: Patch it? 22:32:03 I wonder if they would accept a patch for it 22:32:22 No. 22:32:45 Probably not. 22:32:47 ehirdiphone, you are probably correct 22:33:06 Nah the implementation is so shitty why wouldn't any sane person accept a patch 22:33:20 brb 22:33:23 If you made a funny webcomic about it though, they might. 22:33:26 read /msg people 22:33:29 Worked for XKCD. 22:33:38 terrible buffering technique 22:33:40 700 lines 22:33:59 not portable 22:34:00 inefficient 22:34:16 oh my god shut up 22:34:41 main(){while(!feof(stdin))putchar(getchar());} 22:34:42 :D 22:34:42 Done 22:34:43 Quadrescence: http://codepad.org/yG9ubkE2 obv we should've switched to BSD 22:34:58 pikhq: That's not standard C. 22:34:59 fax: aren't you interested in portability and buffering? 22:35:12 pikhq: You may get an error that isn't EOF 22:35:22 I am only interested in telling people to shut up 22:35:24 Deewiant: Meh. 22:35:25 :P 22:35:34 oh 22:35:43 Mine'd've been {int c; while((c = getchar()) != EOF) putchar(c);} 22:35:54 if you want your code to be correct, you don't use C 22:36:03 dixon: that is 250 lines that is terrible inefficient etc 22:36:11 Both aren't standard C. 22:36:38 What's nonstandard? 22:36:56 main() is assumed int and must return a value. 22:37:03 nonstandard C can do computation with infintesimals 22:37:11 Mine was just a compound statement, not the whole thing 22:37:15 heh 22:37:41 Deewiant: But it was in { } which was assumed to be main. 22:37:47 Yes 22:37:50 In standard C99 you don't have to explicitly return a value 22:38:07 main must return 22:38:12 both aren't standard C, but one is! 22:38:13 Not in C99. 22:38:16 hahahahaha 22:38:42 Yes you do. 22:38:49 No, you don't. 22:38:58 while(!feof(stdin)) putchar(getchar()); also has the problem that feof(stdin) returns true only after getchar() has actually returned EOF once, so you get an extra character at the end. 22:39:01 if only there were specs where you could check this stuff 22:39:07 Further, the standard restricts main() to main(void) and main(int argc, char **argv) 22:39:13 In C99, when control flow reaches the end of main, the return value is 0. This is an exception to the norm. 22:39:18 (Really, I left out #include and int main(void) and return 0; because I couldn't be bothered to type them out) 22:39:22 Though main() is "acceptable" 22:39:25 But not recommended 22:39:47 :3 22:39:49 Anyways. How's about non-retarded arguments? 22:39:54 yeah 22:39:57 like your mom 22:39:58 Love me some non-retarded arguments. 22:40:05 like acne and boils 22:40:17 like fax's fagoo 22:41:14 which do you think is better, O(n/\epsilon^2) or O(n^2/\epsilon)? 22:41:23 (ISO/IEC 9899:TC2 5.1.2.2.3 "Program termination": "reaching the } that terminates the main function returns a value of 0.") 22:41:32 \epsilon is the parameter of the approximation, n is the size of input 22:41:47 Deewiant: Yes, but still not recommended. 22:42:00 dixon: Yeah, shaddup. 22:42:01 Your recommendations weren't under consideration. :-P 22:42:11 not his recommendation 22:42:29 I recommend you all STFU 22:42:35 tru 22:44:00 oh, that was in the technical corrigendum number 2, which is why dixon said otherwise, because it's not in the standard prior to that 22:44:25 pikhq: yeah, shaddup 22:44:30 brb ham 22:44:35 OMG I WANT HAM 22:44:38 Quadrescence: We're in agreement, then. 22:45:24 Quadrescence: It's not in the TC2 changes, I'm pretty sure it was there from the original 9899 onwards... 22:45:27 I don't want anyone to shut up, so more oil to the flames: the } thing is in the original ISO/IEC 9899:1999 standard, too. 22:45:42 Yeah, it's not in the TC1 changes either. 22:46:46 I don't think it's 1999-specific 22:47:08 C++98 had it, and it's something that would only have been considered as a legacy feature 22:47:19 It certainly wasn't in C89 or C90. 22:47:47 And I don't know why they'd put it in TC2 if it was in the original draft. 22:48:44 9899:TC2 meant the original standard with TC up to 2 applied to it. 22:49:34 I don't think so 22:49:34 I wonder if there's any version of "cat" that has special-case code to use sendfile(2) on systems that provide a suitable one. (I'm also not sure if any do; Linux's out_fd must be a socket, and I'm not sure it handles well the case where the amount of input bytes isn't known.) 22:50:26 The corrigenda are individually referred to as ISO/IEC 9899/Cor.#:200# 22:50:36 err 22:50:44 ISO/IEC 9899:1999/Cor.#:200# 22:50:57 I do not believe there is a term to indicated the consolidated Standard 22:51:22 I do not care whether it was correct, I said it's what it meant and I know what I meant :-P 22:51:42 "ISO/IEC 9899:TC2" was from the header of http://www.open-std.org/JTC1/SC22/wg14/www/docs/n1124.pdf 22:51:48 The WG14/N1124 draft pdf has... right. 22:52:00 Deewiant-ninjutsu is too fast. 22:52:08 Quite. 22:52:17 anyways 22:52:25 Speaking of C99, does anyone know a compiler that implements the full standard? 22:52:43 Cormac or something? 22:52:46 Almost does it 22:52:48 Sun Studio, supposedly. 22:52:52 Sun's supposedly does 22:53:09 the FDIS for ISO/IEC 14882:1998 included the text about implicitly returning 0 after main. This is not a feature that would have been considered except as a legacy feature from C, and due to the timing it could not have been a C99-only feature 22:53:15 supposedly sun does that 22:53:33 SUN 22:53:38 ... supposedly 22:54:19 coppro: It was a compiler extension long before it became standard, but it was never standard. 22:54:25 I fucking hate GNU compilers. 22:54:46 dixon: like I said, I cannot imagine this feature being included in C++ unless it was standard in C prior 22:55:00 "before it became standard, but it was never standard" 22:55:11 Yes. 22:55:25 oh please guys, dixon is just changing his opinions according to ours 22:55:34 First it was LOL GNU IS ROBUST 22:55:39 So, what you're saying is that it is not standard and that it was an extension before it was standard. 22:55:45 Then LOL CRAZY CODE 22:55:47 You're an idiot, and /ignore. 22:55:56 woah wait are you saying dixon is trolling 22:55:57 pikhq: To C89, yes. 22:56:04 fax: Nah, really? 22:56:09 woah woah that is a pretty strong statement 22:56:15 fax: GOSH 22:56:37 pikhq: You can't honestly think implicitly returning 0 was in the C89 standard. 22:56:40 unfortunately, I cannot see a public list of DRs for C90 22:57:00 btw, let us discuss C90, not C89 22:57:08 Bet dixon doesn't even know there was a C94; well, almost. 22:58:39 C89 and C90 are equivalent 22:59:08 -!- augur has quit (Ping timeout: 246 seconds). 22:59:53 how do I generate numerals from 000-999 in bash? 23:00:07 jot perhaps? 23:00:29 coppro: seq 23:00:39 thanks 23:00:56 a nice command 23:02:27 -!- calamari has joined. 23:02:27 ehirdiphone: are you sure all your insults to dixon are justified? 23:02:36 lol 23:03:07 -!- Mibbigal has joined. 23:03:23 bak 23:03:54 * coppro wants a 'wgrep' command 23:04:00 also btw C89 is the best 23:04:01 -!- charlls has quit (Ping timeout: 264 seconds). 23:04:08 C99 is only good for crypto libs 23:04:10 but that's it 23:04:13 no exceptions 23:04:14 coppro: w? 23:04:23 fax: And I wasn't trolling. It's well-known that several compiler extensions were in place before and after the C89/90 standards were ratified. Allowing 'void main()' and 'implicitly returning 0' were part of those extensions. They're still enabled in the GNU compiler by default. Yes, C99 made this 'standard' behavior, but it's still not recommended. Your functions should always return a value if they're stated to. 23:04:25 But seq(1) is not POSIX! How can you suggest such a thing! 23:04:29 Quadrescence: Sorry, I like for(int i = ...) 23:04:34 fizzie: Nor's bash. 23:04:40 pikhq: I feel sorry for you too 23:04:54 int i = 0;for(...) is dumb. 23:05:02 pikhq: Yes, though bash was already given in the question. 23:05:07 int i; for (i = 0; ...) is not, however 23:05:20 Anyways. Imma go do something more intelligent than talk to you. 23:05:26 tru 23:05:32 Like feign intelligence. 23:06:01 The irony of him ignoring me because his misunderstood what I said is just precious. 23:06:01 Anyway, I am going to assume you've never written a compiler before and wouldn't understand why declaring variables at the start of a block is good, and also beneficial for those who maintain. 23:06:14 he* 23:06:37 i don't understand it at all 23:06:45 hmm oh 23:07:08 well maybe i wouldn't understand it either 23:07:40 but i know for a fact maintainability is really uninteresting 23:07:52 tru 23:08:20 if you wanna write big programs, you're just fucking stupid imo 23:08:27 -!- coppro has quit (Ping timeout: 260 seconds). 23:08:35 why not write small ones and not write big ones 23:08:37 The maintainability thing is also debatable; a for loop index variable isn't that much more unclear, no matter whether it's defined where the loop start or at the beginning of some arbitrary block where the loop happens to be in. 23:08:57 ummm 23:09:19 fizzie: suppose you are changing variables from int to long in order to use arrays larger than 4GB 23:09:28 But god damnit you can't seem to find that bug in your program 23:09:33 programming language trolls handbook, page 12, section 3: "maintainability is a good one to use because if anyone disagrees you can just tell them they haven't worked on any REAL programs" 23:09:48 fax has never written in C, btw 23:09:57 fizzie: You haven't worked on any REAL programs. 23:09:59 that's funny... 23:10:09 also fax forgot an apostrophe in "trolls" 23:10:13 Quadrescence: Shouldn't you be using size_t to begin with?-) (There's a huge mess of a thread in comp.lang.c unmoderated about that.) 23:10:19 fizzie: no 23:10:27 I work on a "real" program, in development since 1977.. and it is the biggest pipe of shit code I've ever seen 23:10:36 **pile 23:10:39 Why would you use size_t for loop indexes? It can be negative. 23:10:47 unsigned int all the way, baby. 23:10:54 size_t is unsigned, you know. 23:10:57 ssize_t is signed. 23:11:02 -!- coppro has joined. 23:11:12 And noone argue with me saying my situation is impractical because it indeed is! 23:11:55 fizzie: See /msh 23:12:01 /msg 23:12:55 fizzie: Can't you just play along? This is all part of an elaborate plot to annoy the hell out of ehirdiphone. 23:13:07 however, having said that.. the program works well.. but you just have to be a little flexible and not assume a single programming style throughout 23:13:29 dixon: I'm not annoyed. 23:13:35 the biggest problem with programs like that is idiots that can't be flexible 23:13:46 ehirdiphone: tru 23:13:50 (fax has never written a program before) 23:13:56 they spend years trying to save themselves from getting into fights by making up 'guidlines' and stuff 23:14:20 (fax has never followed a guideline before) 23:14:59 guidelines change.. so I don't see how that helps long term 23:15:13 calamari: really? 23:15:29 Well, guidelines never work out in the open source world where there are no dictators 23:15:35 calamari: You have to be like the ISO people and have your guidelines change once a decade or so. 23:15:44 yes.. short term it helps but long term you're still going to have a mess 23:16:10 Then it all kinda smooths out, because only one compiler (Sun, apparently) fully supports your changes 11 years after you make them. 23:16:21 hahaha 23:17:02 fizzie: ping 23:17:12 But if you find yourself unstandardized, then you get the mess of incompatibility that is D, Python, Java, etc. 23:17:18 hahahahahahhahahaha i found a video of fax on youtube 23:17:20 ^echo hi fizzie 23:17:21 hi fizzie hi fizzie 23:17:46 http://www.youtube.com/watch?v=jeK1g2L1C6o 23:18:00 -!- ehirdiphone has quit (Quit: Get Colloquy for iPhone! http://mobile.colloquy.info). 23:18:41 -!- ehirdiphone has joined. 23:18:53 I wonder how they talked their mom into doing this. 23:19:15 -!- augur has joined. 23:19:30 shut up augur 23:19:40 :( 23:19:47 Someone fax hates more than me? Pleasure to meet you. 23:19:48 fax = pthug? :( 23:20:08 -!- tombom has quit (Quit: Leaving). 23:20:38 Nevermind, sad face and lack of retort means he's a pussy. 23:20:42 dixon: oblique raises [in the] neuromuscular junction 23:21:00 Quadrescence: Bicept Lift Ankle Krossover 23:21:11 That's Krossover with a K 23:21:14 :3 23:21:30 * Sgeo_ tries to again focus on Brainfuck 23:21:47 I'm amazed what bad trolls you are. 23:21:50 Quadrescence: sexy 23:21:55 i took my pants of 23:21:56 *off 23:22:06 oklopol: me too 23:22:17 Do you think we would have talked to you if we had anything interesting to discuss? 23:22:33 oklopol: :o 23:22:35 oklopol: Aw, I was hoping that to be some sort of "pants of X" special-pants thing. 23:22:43 * augur lays on oklopol 23:22:49 oklopol: this is also worth seeing: http://www.youtube.com/watch?v=4MjTb5A68VA&feature=channel 23:22:53 fizzie: hi 23:22:54 * Quadrescence gets augur off 23:22:57 f u 23:23:00 nooo 23:23:03 oklopol is MINE >O 23:23:06 ehirdiphone: hey 23:23:19 Quadrescence: maybe. if you're nice. 23:23:25 um but augur you are mine therefore by the law of transitivity................................................... 23:23:35 -!- MigoMipo has quit (Read error: Connection reset by peer). 23:23:35 since when am i yours >| 23:23:48 also, possession is not a transitive relation. 23:23:58 infact, it's antitransitive 23:24:00 uh since I beat some sense into you about rewrite rules 23:24:09 YOU? hah! 23:24:20 you're the one who was all like "yeah ok i see your point ill take that into consideration" 23:24:44 "ehirdiphone: Do you think we would have talked to you if we had anything interesting to discuss?" <<< what do you mean? 23:24:49 Well yeah I had to be respectful since last time I was not respectful fax got super pissed and began to talk shit about me 23:25:01 are there older women in that vid too? 23:25:57 ah younger women and pencils with faces. you know what i like man 23:26:24 wtfbbq 23:27:54 pedopen's signature of approval 23:28:57 http://image.fpsbanana.com/ico/sprays/pedobear4dzsmalll.jpg 23:31:02 -!- Mibbigal has changed nick to mibygl. 23:31:39 Anyone have a suggestion for a good high-school level algebra book? 23:31:55 my suggestion is no one learns high school level algebra 23:32:17 Who's the author? 23:32:34 everyone is their own author in that one 23:32:44 no wait 23:32:57 maybe more like no one. 23:33:36 -!- FireFly has quit (Quit: JO). 23:33:50 -!- Quadrescence has quit (Ping timeout: 245 seconds). 23:34:00 -!- oerjan has joined. 23:34:30 -!- Quadrescence has joined. 23:35:38 hay guise 23:35:39 Welcome back, Quadrescence. 23:35:50 We missed you. 23:36:06 Thanks 23:36:17 don't worry oerjan we noticed you too 23:37:23 argh! 23:37:29 * oerjan tries to be invisible 23:37:52 it says i have the +i flag, why isn't it working? 23:40:54 no, i am not ashamed to be mentioned in the haskell report. although the reasons _are_ trivial corrections. 23:41:06 * oerjan skips the rest of the logs 23:41:27 fax: ping 23:43:07 oerjan: It's alright, we know The Truth(R)(TM)(C) 23:43:15 oerjan: you shouldn't, there was this fascinating conversation about all sorts of things 23:44:11 Yes, it was wonderful. Especially the part about measure spaces, linear coding, and compiler extensions. 23:44:48 actually part of both conversations was about variables 23:45:16 They're an important topic. 23:45:28 variables don't exist 23:46:13 Your mood is a variable. 23:46:15 afk 23:53:42 I, uh. Do complain to me if you feel like what will follow is a miscarriage of justice or anything such. I don't promise I'll be awake very much longer, though; but then again, this is just an IRC channel, not the end of the world. 23:54:01 Also preliminary apologies if I mess up chanserv manipulatations somehow. It's amazing what I can mess up. 23:54:12 Hm. Besides dealing with consecutive + and -, and > and <, what optimizations can I easily make 23:54:31 fizzie is so soft and sensitive 23:54:40 Sgeo_: printing using printf or equivalent, and not simple char in and char out 23:54:41 Obviously, two loops means the second can be discarded 23:55:10 Quadrescence, I'm talking about manipulating the BF at this point, not the interpreter 23:55:23 idgi 23:55:51 optimize :: [BFCmd] -> [BFCmd] 23:56:01 -!- ChanServ has set channel mode: +o fizzie. 23:56:16 fizzie: Chanserv is hard. Let's go shopping! 23:56:27 —and neutralised... 23:56:34 Yes, I don't really know why I bother with it anyway. 23:56:37 the Lord Pilot. 23:56:37 ...why would dixon be kicked? 23:56:44 -!- dixon has joined. 23:56:44 -!- ChanServ has set channel mode: +b *!*@unaffiliated/reikon. 23:56:44 Quadrescence: ... 23:56:46 fizzie: You missed one. 23:57:07 fizzie: ban me too plz 23:57:33 Quadrescence: I'm trying, I'm trying. It's not as easy as it looks like. 23:57:46 any day now 23:57:58 You have a very difficult nickname to spell. 23:58:03 :P 23:58:05 q u a d r e s c e n c e 23:58:18 I think I got it now. 23:58:23 -!- Quadrescence has joined. 23:58:24 -!- ChanServ has set channel mode: +b *!*@unaffiliated/quadrescence. 23:58:33 That "akick" thing is really brain-dead. 23:58:49 Why can't it just kickban people, instead of just adding them to some sort of mysterious list that is only checked at join-time. 23:59:06 And nothing of value was lost. 23:59:11 Beats me. 23:59:13 Thanks fizzie! 23:59:26 Have you considered therapy for your op allergy? :D 23:59:40 Maybe there's some sort of topical cream I could use.