00:00:19 * oerjan virtually changes his homepage to google advanced search to escape the pacman 00:07:07 s/homepage/start page/ 00:09:10 hm scratch that s/// 00:20:58 -!- elliottcable has changed nick to HARPOONS. 00:22:19 -!- HARPOONS has changed nick to elliottcable. 00:25:47 back 00:26:03 fizzie, well, do you know anything about software raid under linux 00:26:09 or dmraid or whatever 00:29:52 I use it, but I'm very much not a specialist. 00:31:21 fizzie, mdadm or dmraid? 00:31:24 or are they the same= 00:31:27 s/=/?/ 00:32:13 fizzie, or is it some build in RAID on drive? As in, setup during bios 00:32:16 my mobo has that 00:32:26 I'm wondering if I should use it 00:32:33 don't know how much "hardware" it is 00:32:43 I suspect not a lot since iirc it needs special windows drivers 00:32:58 but perhaps it does something in hardware... 00:33:00 From what I hear, the Linux software raid usually works better. (Unless you need Windows compatibility.) 00:33:12 fizzie, don't need windows at all :) 00:33:33 But there *are* some motherboard with real RAID controllers integrated, it's just that most are not. 00:33:35 fizzie, but can I do RAID apart from on a tiny bit of the disk? it seems pointless to do RAID on the swap 00:33:54 fizzie, VIA VT8237 00:34:12 is the controller in question 00:34:28 That's close to what I have, though I think the RAID bit is by someone else; I think it's pretty softwarey thing. 00:34:46 Er, or "had"; it seems I've switched motherboards at some point. 00:35:43 And RAID on swap is not pointless, for stability reasons; you don't want a disk crash to potentially kill your system when it takes swapped-out programs with it. 00:35:59 strange... I have two 1 TB devices. Same model. Same speed. SMART extended polling time differs (171 minutes vs. 167 minutes) 00:36:01 I don't have hot-swap-capable anything, though, so I didn't bother with swap-on-raid either. 00:36:13 that is the "recommended" estimate 00:36:16 pretty strange 00:36:53 But yes, you can partition the disks however you want, and then select (preferrably same-sized) partitions to build a raid array from. 00:36:53 -!- FireFly has quit (Quit: swatted to death). 00:37:16 fizzie, so you could do RAID 1 on everything except swap (and do RAID 0 on that :D) 00:37:42 Right, though you don't need RAID 0 on swap, you can just make two separate swap devices. The kernel's supposed to be smart enough to utilize them in a stripingy way. 00:37:52 fizzie, how do you handle /boot? Do you need an initramfs if / is on RAID 1? 00:38:43 Probably, though it's been possible to build raid support as non-modules and have the kernel automagically bring the / array up at boot-time. 00:39:07 fizzie, I would prefer to avoid initramfs 00:39:15 fizzie, but yeah how do you handle /boot? 00:39:19 and grub 00:39:53 AnMaster: On a RAID-1, all you need to do is install the bootloader into each individual drive's MBR if you want to be able to boot off of any arbitrary drive. 00:40:01 Currently I don't, since my system stuff (/boot, /, /usr, /var) is on that non-RAID SSD (I don't really have money for 2*SSD here...) and I just regularly back it up to the terabyte-or-so /home. 00:40:21 Since grub doesn't *write* anything, it'll just see a fairly normal partition for /boot. 00:40:30 But yes, grub can boot from a /boot that's on a raid-1 array. 00:40:46 ah 00:40:49 It does write things if you do "savedefault", I think there was some sort of a potential issue for that. 00:41:03 hm will have to stop using savedefault then 00:41:08 Yeah, there's potential issues with that... 00:41:39 still what about /? And avoiding initramfs that is 00:41:42 Unless it saves in the MBR, that'll just break, and if it does save in the MBR, then it won't propogate to other drives. 00:41:53 plus I want to do lvm2 for everything except / 00:42:03 (on top of raid that is) 00:42:25 pikhq, it saves in a file in /boot, which is created to have a fixed size 00:42:32 so it won't have to change the file size 00:42:46 AnMaster: Then it'll break a RAID-1. 00:42:53 yep I can see that 00:42:53 There's a MBR-saving patch, though. 00:43:06 -!- ais523 has quit (Remote host closed the connection). 00:43:20 fizzie, wouldn't help for EFI (not that I have that) 00:43:39 For EFI, I'm sure you can prepare an even nicer place for storing that. 00:44:00 hah 00:44:02 Possibly that boot-loader storage-place GRUB wants on EFI disks, or however it worked, can't recall. 00:44:15 Still won't propagate to the other drive(s), though. 00:45:07 I'm not sure how non-module raid-support brings up the / array nowadays. It might be that it Just Works (tm). 00:45:20 LVM on top of the raid is of course no problem, I do that too. 00:46:24 fizzie, how did that non-module raid stuff use to work? 00:47:17 * AnMaster imagines RAID on LVM on dmcrypt on RAID on LVM 00:47:18 ouch 00:47:54 fizzie: GRUB1 does not handle EFI. 00:48:02 And GRUB2 handles RAID and LVM natively. 00:48:07 ... *And* EFI. 00:48:13 IIRC (and this might be wrong), there was some sort of kludge that it sniffed likely/listed-as-an-argument device partitions for RAID array metadata blobs, and brought easily assemblable stuff up. 00:48:44 fizzie, XD 00:49:04 AnMaster: From mdadm --auto-detect, which starts kernel auto-detected arrays: "This can only work if md is compiled into the kernel - not if it is a module. Arrays can be auto-detected by the kernel if all the components are in primary MS-DOS partitions with partition type FD." 00:49:31 fizzie: Linux RAID partitions have their own partition type. And those partitions have metadata on them. 00:49:34 Also "not recommended for new installations -- using mdadm to detect and assemble -- possibly in an initrd -- more flexible and should be preferred" and so on and so on. 00:50:04 pikhq: Yes, I know that. 00:50:10 fizzie, but I hate initrd 00:50:23 I'm proud my desktop manages without it 00:50:38 AnMaster: initramfs is a bit nicer. 00:50:45 pikhq, not much 00:50:49 and it manages without it too 00:50:50 :D 00:51:00 initrd loads a filesystem into /dev/ram0 and mounts it. 00:51:08 pikhq, it makes a difference in boot time, I measured stock kernel and custom kernel 00:51:13 initramfs unpacks a cpio into a tmpfs that's mounted on root. 00:51:24 stock kernel had only the modules needed on the actual initramfs 00:51:30 some 10 seconds difference 00:51:59 Also, initramfs always exists on Linux 2.6. 00:52:13 pikhq, embedded? 00:52:27 Yes. 00:52:46 pikhq, anyway it might be supported but if you don't use it? 00:52:57 Then there will still be one. 00:53:09 There is one compiled in. 00:53:11 pikhq, a dummy one provided by the kernel? 00:53:14 which does what= 00:53:18 s/=/?/ 00:53:22 Not much by default. 00:53:39 pikhq, where are the files for it in the kernel source? 00:54:03 * pikhq does not recall 00:54:14 * AnMaster files a bug against pikhq ;P 00:54:48 "Memory issues" 00:55:02 * pikhq looks 00:55:46 anyone here on a Mac? 01:10:45 I just realised harddrives have a realtime clock... 01:11:04 to be able to put into the SMART data the time of the event 01:11:11 (in hours of usage) 01:11:36 well might not technically be a realtime clock 01:17:42 -!- sdorand2 has quit (Quit: sdorand2). 01:23:37 -!- Slereah has quit. 01:45:47 -!- AnMaster has quit (Quit: ZNC - http://znc.sourceforge.net). 01:47:39 -!- Slereah has joined. 01:57:43 -!- Gregor-L has changed nick to Gregor. 01:59:23 "Thanks to a millennium of meticulous record-keeping, Icelanders are a genetically perfect people." 01:59:26 That's probably true. 02:16:10 -!- uorygl has quit (Ping timeout: 260 seconds). 02:17:59 -!- uorygl has joined. 02:45:51 -!- Slereah has quit (Ping timeout: 240 seconds). 03:07:34 -!- MizardX has quit (Read error: Connection reset by peer). 03:08:49 -!- MizardX has joined. 03:27:27 -!- Sgeo_ has joined. 03:30:04 -!- Sgego has quit (Ping timeout: 245 seconds). 03:35:56 -!- Gregor has quit (Ping timeout: 252 seconds). 03:48:51 -!- Gregor has joined. 03:50:25 -!- augur has joined. 04:10:58 -!- sdorand has joined. 04:17:08 -!- sdorand has quit (Remote host closed the connection). 04:18:24 -!- sdorand has joined. 04:32:28 -!- poiuy_qwert has quit (Quit: Leaving). 04:38:50 -!- gm|lap has joined. 04:55:19 -!- poiuy_qwert has joined. 05:19:37 -!- augur has quit (Ping timeout: 240 seconds). 05:25:56 -!- sdorand has left (?). 05:27:41 -!- Rugxulo has joined. 05:33:53 -!- sdorand has joined. 05:35:42 -!- augur has joined. 05:39:51 -!- lament has joined. 06:00:30 -!- augur has quit (Remote host closed the connection). 06:00:36 -!- augur has joined. 06:02:18 -!- Slereah has joined. 06:08:27 -!- oerjan has quit (Quit: Good night). 06:48:09 -!- Rugxulo has quit (Quit: Rugxulo). 07:01:53 -!- adu has joined. 07:25:10 So I ran into a surprisingly ridiculous problem today. 07:25:18 I wanted to benchmark a browser's /rendering/ performance. 07:25:32 -!- adu has left (?). 07:25:48 To that end, I was going to render a bunch of random stuff from JS in a loop, using setTimeout(..., 0) to yield to the browser so it would actually render. 07:26:09 However, the event loop in every major browser seems to be timer-based, not truly event based. 07:26:28 So on e.g. Firefox, that just ends up rendering something once every 10ms. 07:26:51 As far as I can tell, there is no way (from JavaScript) to render something, then immediately come back to JS. 07:26:54 *annoying* 07:32:41 * Sgeo_ really, really likes Tremulous's AFD prank 07:36:25 I'm not sure you can deduce any far-reaching conclusions about the browser's internals from that; it may be just that setTimeout(..., N) even for N=0 always uses a timer of that resolution, and doesn't just post a do-some-JS event. 07:37:08 I actually tried various alternatives to setTimeout. 07:37:18 Generating DOM elements that create onload events that fire back to my JS, etc. 07:37:32 All had the same delay. 07:40:57 Did you happen to test with Opera? One of its dev pages said it renders stuff even during the JS event dispatch, while FF and others postpone it until you get out of JS stuff. (Anyhow, it's still very unpredictable and browser-dependent.) 07:41:14 I didn't try with Opera. FF, Chrome, IE. 07:41:37 Anyway, it's all very depressing for people who actually want to measure rendering performance :P 07:45:18 There was that one "canvas-rendering filters and show the FPS rate" benchmark floating around, you could try to see how that was done. Although it might use some canvas-specific trick. (Or just not care about a 10ms diff.) 07:48:48 Gregor! fizzie! Sgeo_! :D 07:48:59 It's an agar! 07:49:14 With a u instead of a second a and an extra u! 07:49:32 augur! 07:49:38 i have a logic/computing challenge for anyone who's interested :) 07:49:46 Go listen to http://codu.org/music/op13/GRegor-op13-wipp3.ogg :P 07:49:56 listening! 07:50:43 Gregor: did you write this? 07:50:54 Yes, hence why it's on my web page :P 07:51:06 well you mightve just recorded your performance 07:51:09 i like it 07:51:10 its pretty 07:51:15 you should go easy on the chords tho 07:51:36 "Go easy on the chords" 07:51:38 Haw 07:51:43 I have no idea what to make of that :P 07:51:54 well, in the first minute and a half or so 07:52:04 there are these times when you play chords 07:52:08 Yeah, so "the section before everything changes" :P 07:52:11 not arpegiated or anything, proper chords 07:52:28 you emphasized the chords more than the rest, if only slightly 07:52:34 you should reverse that 07:52:35 Ahhhhhhhhhhhhhhhhhhhh 07:52:43 OK, now I understand your meaning. 07:53:10 and you should extend the first part, because stylistically it makes wonderful melancholy jazz 07:53:49 It's repeated thrice, it's sort of the refrain from the storm that is the rest of the piece. 07:54:04 ah well 07:54:17 you should write another piece that plays up those themes as its entirety 07:54:22 Heh 07:54:31 This piece is a work in progress, so you never know :P 07:54:32 it evoked much bladerunnerness for me 07:54:41 The end, for example, I will probably scrap entirely >_> 07:55:01 it needs to be more coherent too, btw. 07:55:16 like i said, the refrain is a bit jazzy 07:55:29 but the rest is decidedly classical 07:55:30 of some sort 07:55:51 And ... there's a problem with that? I mean, that's straight-up intentional ... 07:56:06 well, its just a bit disjointed, i feel 07:56:16 Hm. 07:56:27 for me, style is very closely associated with mood, and i cant get into this piece because it has no mood 07:56:43 it feels like a jumble of moods 07:56:48 which is not itself a mood. 07:57:23 if you were aiming for disorientation, or tumultuous psychology, or whatever, for me this doesnt capture it 07:57:25 See, that to me is amusing, because the somewhat chaotic jumps back and forth between styles or moods is /exactly/ what I was going for X-D 07:57:40 because those are moods in and of themselves 07:57:46 not composed of the use of other moods 07:58:09 bouncing back and forth from cheerful to sombre doesnt create a "bipolar" mood 07:58:16 its simply two moods 07:59:03 I don't think "bipolar" is an accurate description of what I was aiming for either :P 07:59:12 no i know 07:59:16 it was merely an example 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:00:29 -!- gm|lap has quit (Quit: ilua). 08:03:01 im not saying that a chaotic mood is easy to come up with on its own terms, mind you 08:04:10 also, im fairly certain there is a blade runner song that you're unintentionally citing in this piece 08:04:19 no, sorry, not blade runner 08:04:27 I've never seen that ... movie? I'm pretty sure that was a movie, right :P 08:04:58 it the song Clubbed2Death from the Matrix. 08:05:11 it has a piano interlude 08:05:23 and your piece is remeniscent of that 08:06:02 That I have seen ... 08:06:03 Lesse 08:07:31 actually i think its not an interlude but an outro of sorts 08:07:37 oh no 08:07:38 here we go 08:07:42 around 4:25 08:07:58 * pikhq listens to Opus 13, WIP3 08:08:50 Hmmm ... not hearing it, but maybe I have no perspective. 08:09:05 its not a direct quote 08:09:08 its just an evocation 08:09:12 Ah 08:09:40 OK, I think I get your connection then. 08:09:52 I also feel I didn't lift anything, inadvertantly or otherwise :P 08:10:09 right 08:10:17 its not lifting, its just evocation 08:10:40 Gregor: Not bad so far. 08:10:44 there are some two or three note progressions here or there that are similar across the pieces 08:12:06 -!- coppro has quit (Ping timeout: 265 seconds). 08:12:21 Ack, I need to sleep >_> 08:12:32 Stupid having to wake up while the clock reads AM. 08:12:34 Feh 08:15:19 Gregor: My only complaint so far is that it feels *kinda* like you've got two seperate pieces going on here. 08:15:31 Hah 08:15:39 So, roughly the same as augur's complaint. 08:16:01 you should try to find some historical pieces that convey chaos and disarray 08:16:11 Which I find unfortunate because A) that's pretty much what I was going for and B) if everybody's complaining about it then that means I did a terrible job at making it work :P 08:16:14 without combining stylistically different components in the way you did 08:16:32 again, moods are not compositional 08:16:40 Gregor: ... Rather than feeling more like a single piece that switches between calm and chaos. 08:16:43 you cannot take two moods, put them together, and get a third mood 08:16:55 you just get the two moods. 08:17:06 there is no beat frequency 08:17:08 augur: Yes, we all understand your calculus of moods at this point :P 08:17:13 no moire patterns 08:17:21 oh if only it were so advanced as to be a calculus! 08:17:41 augur: The term "calculus" is much more general than you think. :) 08:17:50 not for me 08:17:57 im a formalist, remember 08:18:04 * pikhq still finds it amusing that the calculus of derivatives & integrals gets called just "calculus" 08:18:18 meh 08:18:25 its the first calculus people are introduced to 08:18:33 probably the only one ever called a calculus 08:18:34 Still amusing. 08:18:43 They should bring the lambda calculus to middle school. 08:18:48 *cough*lambda calculus*cough* 08:18:50 Gregor: YES 08:18:52 so its entirely predictable that it would be called just calculus 08:19:55 Lesse whether calculus gives a disambiguation page or the calculus of derivatives and integrals with a "for general calculi, see Calculus (disambiguation)" 08:20:03 (On Wikipedia) 08:20:15 Ohhhh, failzors 08:28:40 ? 08:28:51 o.O 08:28:54 Night all 08:30:06 -!- lament has quit (Ping timeout: 240 seconds). 08:36:24 -!- MizardX has quit (Ping timeout: 276 seconds). 08:44:17 Gregor! 08:44:20 pikhq! 09:12:05 -!- alise has joined. 09:13:03 When was the last time Phantom_Hoover was here? 09:19:07 alise! 09:19:14 Yes. 09:19:25 i havent spoken to soupdragon since her banning but according to her now im a troll. 09:19:26 lol 09:20:08 That's actually a remarkably long time talking to soupdragon before seeing her go batshit, at least if me and Phantom_Hoover are any guideline :P 09:20:38 what? 09:21:25 She tended to start yelling incomprehensible things at me about once every two days, usually 09:22:29 crazy girl 09:22:31 well whatever 09:22:33 hows life 09:22:43 Shit, as usual. 09:23:26 :( 09:23:26 ::hug:: 09:24:06 But at least the shitness is predictable. 09:25:12 Meanwhile, the complexities of moving country continue to elude me. 09:25:20 moving country 09:25:20 ? 09:25:34 Forgotten about the unit again? Come on! 09:25:52 but moving country? 09:27:13 -!- Phantom_Hoover has joined. 09:27:20 augur: has always been the exit plan. 09:27:37 where are you moving to? arent you a bit young to flee an entire country? 09:28:21 It's not like I'm the only person in this household who hates the unit. 09:29:20 oh? 09:30:29 Such as... the parental overlord? 09:30:55 your /parents/ are considering moving out of the country in order to get you out of the psych ward? 09:34:47 -!- BeholdMyGlory has joined. 09:38:52 alise: Someone built a Life self-replicator. 09:39:24 Yeah, link? 09:39:28 How big is it? 09:39:43 http://www.conwaylife.com/forums/viewtopic.php?f=2&t=399 09:39:53 It's ~4000000 along each side. 09:40:33 Practical. 09:40:40 It's a spaceship. 09:40:43 So not really a replicator. 09:40:54 It *replicates itself*. 09:40:57 Replicators must leave theirselves behind. 09:40:58 IMO 09:40:59 -!- tombom has joined. 09:41:06 Phantom_Hoover: By that definition a glider is a replicator 09:41:27 No, because there are never two copies in existence at the same time. 09:41:50 Fair enough. 09:42:00 Also, it would be easy to rewrite the program tape to disable the destruction arm. 09:42:07 "That would be the 13th spaceship velocity in Life attained so far." 09:42:15 Yes, that is the truly impressive thing about it, its speed :P 09:42:35 Well, there has been a long-lasting search for an oblique spaceship. 09:42:49 Oblique? 09:43:20 Not diagonal or orthogonal. 09:43:35 Ah. 09:44:18 Keeping track of the spaceship velocities is pointless now, though. 09:44:56 It isn't; this spaceship will only handle multiples of some N above a certain constant. 09:45:56 Someone mentioned a proof that a UC-based spaceship could go at any velocity less than c/2. 09:46:24 Greater, surely, not less. 09:46:28 Anyway, yes, theoretically, but this model not. 09:46:44 Phantom_Hoover: What, so diagonal c/3? 09:46:48 That is impossible. 09:46:57 Greater, surely, not less. <-- no, less 09:48:11 The bounding box is 4217802x4220190 instead of 4217807x4220191 (I was too lazy to renormalize it to the original phase) and it moves correspondingly faster, (5120,1024)c/33699578. Let's see, this is the fourteenth explicitly constructed spaceship speed -- and I think it was probably time to stop counting at thirteen...! 09:48:43 "Gemini can be accelerated by another 4064 generations (and shortened by 508fd) beyond what Dave has done. Any further and it crashes." 09:52:09 I'm not very familiar with Herschel technology, annoyingly... 09:52:22 I'MA DOWNLOAD UBUNTU LOL. 09:53:42 Whoa 09:53:47 I hit 8MiB/s there 09:54:08 I am so close to the exchange that I could have a 64 megabit connection. 09:54:11 But it is capped :( 09:54:55 -!- FireFly has joined. 09:57:51 "the maximum period of a spaceship in an x * x box is an uncomputable function in x, similar in nature to the Busy Beaver function." 09:57:52 Sweet 09:58:16 I hereby declare the disturbingly named "Conway's beaver" -- Cb(x) -- to be the maximum number of spaceships in Game of Life in a bounding box of x^2. 09:58:40 That's pretty easily computed. 09:58:45 It would just take ages. 09:58:49 Nope. 09:58:56 http://247wallst.com/2010/05/21/the-limits-of-science-oil-leak-at-95000-barrels-a-day/ 09:59:01 Phantom_Hoover: Consider an exploding pattern. 09:59:05 How do you KNOW it's never a spacesip? 09:59:07 *spaceship 09:59:10 It never disappears (terminates). 09:59:14 It's the same as the Busy Beaver function. 09:59:16 Yes, I suppose. 09:59:21 You don't suppose, you know. 09:59:59 Cb(0) = 0; Cb(1) = 0; Cb(2) = 0; Cb(3) = 1 10:00:06 (blank space is a 0-period spaceship) 10:00:12 (I guess :P) 10:00:14 Yes, but saying "I know" gets boring. 10:01:01 Anyway -- hexagonal life. Any work on that? 10:01:12 Tonnes. 10:01:13 http://upload.wikimedia.org/wikipedia/commons/8/86/Oscillator.gif 10:01:28 There are even emulations of it in Golly. 10:01:49 Although they're a bit confusing.... 10:02:33 Why do people try and stuff everything into Golly? 10:03:31 Because it's the only program with proper support for hashlife. 10:03:43 And unbounded universes. 10:04:06 10:04:39 Bah, alise isn't going to show up, is he? ;; My gender may be male, but the gender of the nick alise is the gender formed by augmenting the male gender with female pronouns! This is to confuse you and everyone. 10:04:15 10:11:18 What time does he usually show up on Friday? ;; Not at all, usually. 10:04:34 10:42:47 Igors did not believe in "Forbidden Knowledge" and "Things Man Was Not Meant To Know" but obviously there were /some/ things a man was not meant to know, such as what it felt like to have every single particle of your body sucked into a little hole, and that seemed to be one of the options available in the imediate future. 10:04:34 10:42:56 --Terry Pratchett, Theif of Time 10:04:34 10:43:00 *Thief 10:04:35 *immediate. 10:04:46 I need to go. 10:06:18 I MUST GO -- AND I MAY NOT BE BACK AGAIN -- 10:06:22 [dramatic outro] 10:19:39 12:46:02 Ashes to Ashes is on next. 10:20:06 I watched it and was vastly disappointed but then I stopped following as soon as Life on Mars ended, so I'm sort of missing every bit of context imaginable. 10:20:10 12:46:26 * impomatic never watches TV 10:20:11 Area Man. 10:22:26 16:20:58 --- nick: elliottcable -> HARPOONS 10:22:27 16:22:19 --- nick: HARPOONS -> elliottcable 10:22:30 Oh, FUCK no. 10:37:40 -!- MigoMipo has joined. 10:38:08 08:24:31 So travelling along the time dimension means your speed is dt/dt, which makes no sense. 10:38:13 We're all really standing still, dude. 10:38:47 11:19:08 You should take an unicode-shower. 10:38:48 Oonicode? 10:39:38 11:22:59 oerjan, now, does that ever exist outside pure math? as in real world. Drawn circles and so on 10:39:51 you ["almost certainly"] cannot store infinite amounts of information in finite space 10:39:56 so, no, true circles do not exist 10:41:47 11:33:29 AnMaster: perhaps the original character set had different forms for variations of the same character 10:41:52 yeah they did a bunch of Han unification for unicode so 10:42:35 11:37:24 AnMaster: Han unification is the process whereby the glyphs for pretty much all CJK characters were merged into codepoints based on abstract meaning, regardless of (sometimes quite major) glyph variations. 10:42:35 this 10:42:44 it's also why the japanese... don't use unicode. 10:51:57 Is this some kind of bot? 10:52:50 What; me? 10:52:57 yes you 10:53:00 No, I just logread because I can't be here Monday-to-Friday. 10:53:14 Before that I was basically the most regular regular here; I believe I've talked to you under a different nick. 10:53:16 Hi. 10:53:54 I dont think you have, unless the different nick was in the form of Zuu 10:54:15 * Zuu sticks to his nick :) 10:54:15 My nick was the one that was different. 10:54:20 Oh 10:54:28 ehird? 10:54:42 ehird, that sounds familiar, yes :) 10:55:32 At least familiar in the sense that i've seen someone use that nick :P 11:27:39 -!- AnMaster has joined. 11:29:27 Let's KEEL EVERYBODY 11:31:26 alise, why? 11:31:48 Why not 11:31:56 ah 11:31:59 makes sense 11:35:51 AnMaster: Wasn't it so that you haven't done any money-changery recently? I found some made-in-1976 SEKs, and quick googling seems to suggest that they're still just fine. 11:41:53 money-changery? 11:42:03 oh you mean changing to EUR or such 11:42:21 well correct, they should be fine 11:42:30 Or just different style of coinage. We did a one-to-one mapping even during the FIM age in the 1990s or so. 11:42:59 what for? 11:43:14 fizzie, well actually, for the non-coins there might be an issue 11:43:16 I have no clue. But we got those fancy two-different-colors-of-metals coins for it. 11:43:25 fizzie, what with the 20 SEK changing size 11:43:32 not sure the old one is still legal tender 11:43:36 I think they added the 10 FIM coin at that point, too; 5 FIM used to be the largest. 11:43:55 fizzie, well that sort of things happened before I knpow 11:43:56 know* 11:44:02 a number of times 11:44:11 FIMs 11:44:15 fims, seks and flobs 11:44:33 fizzie, but 0.5, 1, 5, 10 SEK should be valid as coins today 11:44:56 fizzie, for paper money: 20, 50, 100, 500, 1000, [more iirc but never used those] 11:45:06 fizzie, but yeah 20 SEK changed size some years ago 11:45:14 and the other gained more security things 11:45:32 Right. Well, there was just 1*10 + 6*1 SEK wort of it, so it wouldn't been a great loss; I just don't want to get caught when trying to buy a subway ticket or something. 11:45:36 like holographic stuff in the paper 11:46:09 those should be perfectly valid afaik 11:46:23 fizzie, but I'm not sure that is enough for a subway ticket ;P 11:46:53 Probably not, but we've got more, more modern money. I just came across those coins when trying to find some papers. 11:46:58 Time to go catch a bus, bye. 11:47:08 fizzie, and lots of things like buses in many parts in the country only take credit card or pre-bought ticket these days 11:48:08 fizzie, as in, no paper money/coins accepted on the bus or such. To reduce risk of someone attacking the driver and stealing it I think 11:58:29 I like how UNION(0) = 0; UNION(S(w)) = w. 11:59:08 Clearly we should say ⋃w instead of pred(w). 11:59:15 Or even ∪w. 12:00:15 (Big-intersection is much more boring, because INTERSECT(0) = 0; INTERSECT(1) = 0; INTERSECT(S(S(w))) = {} intersect ... = 0) 12:01:03 Dangit, I knew I should have stayed up 24/7 12:02:31 alise, I wanted to say something like "Well, that was an interesting week. Got my laptop working again, the Holy Grail of Life was created, got addicted to Aquaria" or somesuch 12:04:20 Funny; I got addicted to cocaine!* 12:04:22 *Not actually true. 12:07:17 * Sgeo_ closes his laptop and goes back to sleep 12:09:10 Anyone know an algorithm to generate a denormal floating-point number? 12:13:26 no. do you know an algorithm to take arbitrary pair-based objects and substitute an arbitrary element in them with some arbitrary new element? 12:13:31 :X 12:17:09 sure. 12:17:10 dwim; 12:21:50 alise: Wait, you watched the finale of Ashes to Ashes without having watched any of the series? 12:26:13 -!- marchdown has joined. 12:26:14 -!- marchdown has quit (Excess Flood). 12:28:03 -!- marchdown has joined. 12:28:04 -!- marchdown has quit (Excess Flood). 12:28:47 Anyone know an algorithm to generate a denormal floating-point number? <-- just enter a small enough constant 12:28:51 in a C program 12:28:53 then compile 12:28:57 and extract the constant 12:29:28 or just write some program to take a number on stdin and write the binary representation to stdout 12:29:29 -!- marchdown has joined. 12:29:35 then get_float > foo 12:29:39 and get the value from foo 12:30:42 alise, I refer you to IEEE 754 for more details of the range 12:30:43 -!- Phantom_Hoover has quit (Remote host closed the connection). 12:30:49 alise, wikipedia also have it iirc 12:32:00 I won't give you my copy of IEEE 754 because it says at the bottom of every page: Authorized licensed use limited to: . Downloaded on April 18,2010 at 14:43:10 UTC from IEEE Xplore. Restrictions apply. 12:35:23 Sneaky, it really does say that :/ 12:35:30 Zuu, eh? 12:35:44 Zuu, you have access to ieee xplore too and just checked? or what? 12:35:49 I just fetched it myself 12:35:52 ah 12:36:05 I was curious it it was really true :P 12:36:07 Zuu, everything from ieee xplore says that 12:36:17 apparently 12:37:16 btw I wonder what "restrictions apply" 12:38:00 Zuu, I recommend you print it. Since that is likely outside the margin of the printer ;P 12:38:16 i dont mind it 12:38:49 Zuu, yet you used ":/" 12:39:11 Because i find it sneaky 12:39:26 hm true 12:43:27 -!- marchdown has quit (Quit: marchdown). 12:44:55 -!- kar8nga has joined. 12:56:28 -!- jcp has quit (Quit: Later). 12:59:29 -!- Guest27685 has joined. 13:09:04 -!- Phantom_Hoover has joined. 13:11:29 alise: Wait, you watched the finale of Ashes to Ashes without having watched any of the series? 13:11:31 yep 13:11:38 Anyone know an algorithm to generate a denormal floating-point number? <-- just enter a small enough constant 13:11:41 unhelpful :P 13:11:52 alise: Why? 13:11:52 I won't give you my copy of IEEE 754 because it says at the bottom of every page: Authorized licensed use limited to: . Downloaded on April 18,2010 at 14:43:10 UTC from IEEE Xplore. Restrictions apply. 13:12:02 i won't distribute :P 13:12:12 You have no idea what the hell is going on! 13:12:21 Phantom_Hoover: quite 13:12:42 Why did you watch it ay all, then? 13:12:44 i watched some of it tho 13:12:49 intermittently 13:13:07 alise, why is it unhelpful? 13:13:09 and i watched all of life on mars 13:13:21 alise, the limit for denormal number is mentioned on wikipedia iirc 13:13:24 AnMaster: finding that constant 13:14:01 alise, I remember using it from there before having access to IEEE 754 13:17:07 * Phantom_Hoover wonders if it would be practical to implement a von Neumann architecture in Life. 13:17:41 All the ingredients are there... 13:28:35 tom's foolery. 13:29:40 grr 13:29:49 FLT_MIN isn't a good infinitesimal 13:30:26 Can't you just assemble one yourself? 13:30:52 Or write 0.00000000000000000000000000001? 13:31:11 I'm looking for a floating point number such that x^2 = 0. 13:31:23 These actually exist but right now I'm just using approximations. 13:31:35 Is that XOR or exponentiation? 13:31:58 Exponentiation. 13:32:02 They're called denormal numbers. 13:32:13 sqrt(machine_epsilon) provides an okay approximation -- by okay I mean meh. 13:33:37 alise, one such number is 0 13:34:12 fits for non-floating point too 13:34:13 ;P 13:34:14 bbl 13:34:28 alise: Surely it depends on the exact nature of the floating-point processor? 13:35:16 Phantom_Hoover: The IEEE standards are strict enough to require one to exist. 13:35:50 They're electronics engineers! 13:35:53 Burn them! 13:36:00 $ ./inftes 13:36:00 0.0003452670 0.0001316071-0.0004272461-0.0006408691-0.0008544922 13:36:00 -0.0010681152-0.0012817383-0.0014953613-0.0017089844 0.0091266632 13:36:00 -0.0021362305 0.0086994171-0.0025634766-0.0138244629 0.0191059113 13:36:00 0.0078449249-0.0034179688 0.0295143127-0.0259437561 0.0069885254 13:36:01 0.0399208069-0.0155334473 0.0173988342-0.0380592346 0.0832633972 13:36:03 0.0278053284-0.0276489258-0.0831069946 0.0382118225-0.0172424316 13:36:09 Table of errors when using sqrt(machine_epsilon) 13:36:12 sqrt(-1) is called i by all right-thinking people! 13:36:27 Is it? 13:36:31 Have you forgotten about -i? 13:36:50 OK, fine/ 13:36:55 Just don't call it j. 13:37:01 You forgot to specify that you're using a sqrt() extended to work on negative reals, too. 13:37:04 Not the principal square root. 13:37:16 Pedantry! 13:37:35 So is mandating the use of the letter "i" for the imaginary unit. 13:37:47 Why j, though? 13:37:51 It's just confusing. 13:38:36 Because i is current 13:38:39 -!- MigoMipo_ has joined. 13:38:48 [[In the novel The Da Vinci Code, the character Robert Langdon jokes that character Sophie Neveu "believes in the imaginary number i because it helps her break code" (Brown 2003, p. 351).]] 13:38:49 I thought that was I? 13:38:50 Thanks, MathWorld 13:38:55 Phantom_Hoover: i or I. 13:38:59 (Either way it's confusing) 13:41:31 -!- MigoMipo_ has quit (Remote host closed the connection). 13:42:09 -!- MigoMipo has quit (Ping timeout: 245 seconds). 13:42:34 * Phantom_Hoover still wants to know the complex structure of circles 13:42:36 They're electronics engineers! Burn them! z 13:42:42 s/z/<-- why/ 13:42:42 Phantom_Hoover: Eh? 13:43:06 I want to know how the circle extends into the complex plane. 13:43:18 Howso? 13:43:19 For x^2+y^2=1. 13:43:22 Ah. 13:43:31 Just don't call it j. <-- I = 2*e^(-j38°) ;P 13:43:32 What sense of how? 13:43:38 * AnMaster watches Phantom_Hoover cringe 13:43:50 AnMaster: Degrees? 13:43:53 AnMaster: Ugh; go fuck a goat. 13:43:58 alise, common in electrical engineering 13:44:01 not my fault 13:44:11 Because, for instance, (2, root(3)i) satisfies the equation. 13:44:13 GOAT-FUCK. 13:44:20 alise, I agree it is annoying 13:44:23 root(3)i? 13:44:28 I'm just describing what happens 13:44:28 What kind of notation is that? 13:44:31 root 3 times i. 13:44:36 i^1/3? 13:44:38 Phantom_Hoover: Which root? 13:44:43 Cube? 42 root? 13:44:44 The square root. 13:44:54 So, you actually meant sqrt. 13:44:57 Yes! 13:45:03 You should have said sqrt. 13:45:06 Burn the witch. Burrrn. 13:45:08 I say "root" in real life! 13:45:12 You are retarded! 13:45:14 Burrrrrrrrrrrrrn 13:45:22 It's easier to say! 13:45:38 I would say square root in RL 13:45:42 or rather kvadratrot 13:45:46 (Swedish) 13:45:47 Fun fact: Pronouncing mathematics is fucktardedly hard 13:45:51 At least anything non-trivial 13:45:56 Of course. 13:46:03 indeed 13:46:07 We must invent a spoken language for the purpose! 13:46:28 We shall call it... TeX! 13:46:40 That's meant to be typed! 13:46:43 Backslash sqrt oh 2 ah. 13:46:45 Oh is {, ah is }. 13:46:55 Frac oh 1 ah oh 2 ah. 13:47:00 The best thing would be if we had sensible terms for brackets... 13:47:05 Note: Sufficiently nested expressions just make people think you are engaging in sexual congress. 13:47:07 Yes, like that. 13:47:43 Also, "Frac oh 1 ah oh 2 ah" is stupidly long. 13:47:58 "1 slash 2" is much shorter. 13:50:26 1 over 2. 13:50:30 Also, it TeX is designed to make it look like it would if you wrote it down, not to be said easily. 13:50:42 "over" is two syllables. 13:50:47 TO MANY. 13:50:53 s/TO/TOO/ 13:50:53 Shut up. 13:51:08 Why? 13:51:40 Sum k from k equals 1 to n equals n times n plus one [-] over 2 13:51:42 [-] is a short pause. 13:51:45 Sum k from k equals 1 to n equals n times n plus one, over 2 13:52:02 -!- MigoMipo has joined. 13:52:06 Already, however, this is completely incomprehensible to anyone if they can't look at it for a few seconds. 13:53:15 Hence why brackets should be easily pronounced. 13:54:32 We don't have a big enough cache to understand things like that, sorry. 13:54:36 Just bring pencil and paper. 13:54:40 Hmm. 13:54:59 Hence we need to stick a cache into people's brains... 13:55:54 Also, does anyone know where that Brainfuck assembler went? 13:56:51 Which? 13:56:55 Huh. 13:57:02 I have stumbled upon an /excellent/ epsilon value. 13:57:08 I need pikhq or AnMaster, stat, to explain this. 13:57:37 c2bf is on Sourceforge! 13:57:40 Must look! 13:58:19 Let dx = FLT_MIN * FLT_MAX. Then let D(f,x) = (f(x+dx) - f(x))/dx. Let square(x) = pow(x,2). Now note that D(square, n) - 4 is almost exactly 2*n for all n. The error becomes ~0.0000152588 very quickly. 13:58:34 Question: Why? Is this just coincidence? And why the almost-constant error of ~4? 13:59:44 Blargh, I hate Sourceforge's CVS. 13:59:54 alise, no clue 14:00:02 alise, you need pikhq 14:00:12 (or stat, not sure who that is) 14:00:28 AnMaster: That was a joke, right? 14:00:39 alise, yes 14:00:42 Good :P 14:00:53 alise, now: which was? ;P 14:00:57 (and that was too) 14:01:02 Anyway, hmm, if we consider an infinitesimal e = 1/infinity, then dx = inf * 1/inf = 1. 14:01:21 Aha 14:01:22 $ ./inftes 14:01:22 3.99999976158142089843750000000000000000000000000000 14:01:29 That's why it's such a "good" approximation :P 14:01:32 almost 4 14:01:47 Of course, it only works because the derivative of x^2 doesn't mind how big dx is, really, as long as you scale it... 14:02:31 * AnMaster uses a table fan to cool the external harddrive 14:02:39 it's hot today 14:02:54 lol 14:03:10 AnMaster: can you give me a 64-bit denormal number such that x^2 = 0? 14:03:12 alise, well I'm doing ddrescue from the disk in question 14:03:15 it doesn't have to be much smaller than that 14:03:18 just quite small, you know 14:03:20 alise, too hot to think today 14:03:22 too small and calculations will fuck up 14:03:22 :( 14:03:32 besides the table fan can't cool both the harddrive and me 14:03:34 so no 14:04:05 alise, do a binary search? (no idea if this will work...) 14:04:50 AnMaster: Meh :P 14:05:02 Anyway, yes, too hot. Ow. 14:05:05 What is it there? 14:05:14 In Stockholm 22C apparently. 14:05:15 It gets hot in Sweden? 14:05:18 *22 C 14:05:19 Phantom_Hoover: Yes. 14:05:23 alise, too hot to go to the other room and check the temp 14:05:24 Phantom_Hoover: Nordic countries have summers. 14:05:28 alise, also very humid 14:05:29 Phantom_Hoover: They just have colder-than-usual winters. 14:05:34 Well, that's them spoilt. 14:05:35 Phantom_Hoover: It's not that bad if you're not in the north actually. 14:05:37 alise, hot and dry is less annoying than hot and humid 14:05:50 Phantom_Hoover: Anyone who lives in, say, Britain, could deal with Stockholm or whatever 14:05:54 Just a bit chillier in the winters 14:06:00 alise, and it was like 60% humditity in the morning iirc 14:06:06 AnMaster: It's 25 degrees in Hexham apparently but it's nowhere near that temperature here indoors 14:06:06 meh I need to go to that room anyway 14:06:08 will check 14:06:08 50% humidity apparently 14:06:15 "Partly cloudy" my ass, fuck you Google, fuck you in the ass 14:08:03 alise, 23 C, 42% downstairs (indoors) 14:08:13 took the device up here 14:08:17 where it is warmer 14:08:21 Finland's been rather warm these last week or two too. 14:08:22 to see what it ends up at 14:08:54 already at 67% humidity 14:09:01 68... 14:09:26 Stockholm's weather forecast looked like it's going to get a bit colder now. But no rain tomorrow-midday, when we have to walk through it, hopefully. 14:09:32 -!- augur has quit (Remote host closed the connection). 14:09:39 fizzie, I'm not in Stockholm thougj 14:09:43 though* 14:10:13 fizzie, be sure to send updates as you go ;P 14:10:18 Right; but I can never recall where you were, or where it was. 14:10:37 fizzie, well if you are going by train you are probably going south of Mälaren right? 14:10:46 fizzie, in which case it is unlikely you will pass nearby 14:10:57 well, 20 km away or so I guess 14:11:15 if you were going north of Mälaren you would pass like a few hundred meters away 14:11:19 I guess. I know nothing of you geography, but generally southwards. 14:11:28 heh 14:11:39 It's that X2000 Stockholm-Copenhagen train. 14:11:45 fizzie, Mälaren = big lake starting from Stockholm and going inwards 14:11:51 you can go either north or south of it 14:11:55 when going by train 14:12:13 the track are connected on the opposite side 14:12:28 -!- oerjan has joined. 14:12:32 I live quite near that connection point but not close enough to see the south track 14:12:38 hi oerjan 14:13:01 alise, the temp shows 24 C now, but it haven't stabilised yet 14:13:09 *hasn't 14:13:16 hi AnMaster, alise 14:13:20 alise, right 14:13:43 fizzie, as in, ~20 km from the south track meeting up with the north one 14:13:45 There was some sort of train-wlan opportunity, but it cost money, and I'm not made out of it, so skipped. 14:13:49 or some such 14:14:01 fizzie, browse with n900? 14:14:34 It's something silly like 3 eur/MB when abroad. 14:14:40 fizzie, just the single "hi, I'm in Halsberg" would be nice. (that is the closest you will get to me if going the south track) 14:15:35 fizzie, and that would be a few kB or such I bet for connecting, saying that line, disconnecting. 14:15:53 It's a 250 kB minimum charge too. 14:16:48 halsberg is just in the neck of the woods 14:18:32 fizzie: Here, you give me a way to calculate a float x s.t. x^2 = 0. 14:18:35 OR ELSE. 14:18:57 x = 0 14:18:58 O_o 14:19:32 oerjan, AUGH 14:19:49 :D 14:19:55 oerjan, specially since berg = mountain 14:20:02 that joke ended up as very very bad 14:20:09 well berg = rock too 14:20:10 well i couldn't fit a mountain in there 14:20:46 Deewiant: and x =/= 0 14:21:12 oerjan, does "neck of the woods" mean something? 14:21:24 AnMaster: "vicinity" 14:21:28 ah 14:21:55 wait you groaned without getting the whole pune? 14:21:58 *pun 14:22:03 ? 14:22:08 oerjan, yes it was easily detectable as bad anyway 14:23:05 btw, copying 250 GB at an average speed of 26 MB/s takes quite a lot of time 14:23:16 about 3h? 14:23:30 olsner, more I think 14:23:37 olsner, but meh 14:23:41 it seems like more 14:23:54 alise: 0x1p-149 :-P 14:24:03 Deewiant, p? 14:24:05 Deewiant: p? 14:24:08 google says (250 GB) / (26 (MB / s)) = 2.73504274 hours 14:24:12 Yes... p 14:24:13 alise, hey stop copying me 14:24:14 Deewiant: isn't that FLT_MIN? 14:24:14 -!- Gracenotes has quit (Ping timeout: 245 seconds). 14:24:22 Deewiant, what is p 14:24:23 I don't know, maybe 14:24:32 Deewiant: Calculations with FLT_MIN are... unreliable 14:24:37 p signifies where the exponent is 14:24:40 Specifically, computing derivatives with them seems to always yield 0 14:24:43 Like e in decimal 14:24:53 alise: You wanted "a float which != 0" :-P 14:25:07 alise, what is FLT_MIN now again? 14:25:18 Deewiant: Shaddup :P 14:25:26 AnMaster: smallest float... "sort of" 14:25:35 ah 14:25:43 Actually that's smaller than FLT_MIN 14:25:48 alise, smallest normal or smallest denormal? 14:26:19 What are these nomals and denomals you are talking about? 14:26:30 AnMaster: Not sure. 14:26:34 Zuu: floating-point oddities 14:26:36 1.175494e-38 is FLT_MIN, that's 1.401298e-45 14:26:57 alise: and what is the difference bwtween the two? 14:27:03 Zuu, a normal fp number starts with a non-zero in the mantissa. A denormal one can start with 0 14:27:03 like 14:27:12 oh that 14:27:15 i get it 14:27:30 Zuu, like: 1.4*10^-3 vs. 0.14*10^-2 14:27:32 kind of 14:28:02 In IEEE 754-2008, they're called subnormal numbers 14:28:02 Why is Brainfuck low-level? 14:28:05 Zuu, if the exponent is at minimum number then you can use the denormal numbers to get even smaller numbers 14:28:10 Deewiant, ah right 14:28:11 It has all sorts of abstractions. 14:28:18 Phantom_Hoover, like? 14:28:28 The [], for a start. 14:28:35 tell me even more i already know 14:28:41 alise, temp stabilised on 25 C 14:28:48 at 70% humidity 14:28:54 alise, now you see why I can 14:29:00 can't* easily think 14:29:11 Hi Deewiant :) 14:29:22 AnMaster: Your hard drive does not matter as much as you ffs. 14:29:24 Yello 14:29:26 Phantom_Hoover, how is that an abstraction 14:29:31 alise, sure but I'll live 14:29:53 Well, it's not working on a machine level. 14:30:06 Phantom_Hoover, machine level is an abstraction 14:30:07 Excepting CPUs designed explicitly to run BF. 14:30:21 But how is it low-level? 14:30:26 BF, I mean. 14:30:28 Phantom_Hoover, we should program directly in transistors and electrons 14:31:05 Phantom_Hoover, if the CPU is designed to run BF directly then it is 14:31:08 and there are BF CPUs 14:31:09 iirc 14:31:26 Phantom_Hoover, and after this summer there will be a befunge93 CPU I hope :D 14:31:27 Yes, but it's not low-level when it's running on anything other than them. 14:31:50 alise, 26 C 14:32:02 Put fan on you. 14:32:28 AnMaster: you don't take the heat well either? 14:32:32 I must now go.. AND I MAY NOT RETURN. 14:32:41 alise, how did people manage before fans 14:32:51 Phantom_Hoover, but do you plan to return? 14:32:51 They dies young. 14:33:02 Phantom_Hoover, died* 14:33:06 Yesyesyes. 14:33:09 or die* 14:33:09 AnMaster: Hotly 14:33:14 *died 14:33:15 alise, cool. 14:33:25 alise, well it could be in underdeveloped countries today 14:33:26 Anyway, I must go and possible not return. 14:33:36 alise, in which case die* would be accurate 14:34:13 * AnMaster looks for a blank cd 14:34:31 Have you forgotten about -i? 14:34:38 that's for the left-thinking people, duh 14:34:49 wut 14:35:01 AnMaster: Or he could be talking about only ONE rolling square 14:35:04 Phantom_Hoover: What, ever? 14:35:26 alise, what? rolling square? 14:36:13 Whoosh. 14:36:20 oerjan, explain pun 14:36:26 alise, I blame heat 14:36:35 alise, please make more wind pass 14:37:00 * alise farts 14:37:04 LOL IT IS FUNAY 14:37:10 AnMaster: sqrt(-1) is called i by all right-thinking people! 14:37:51 alise, XD 14:38:01 oerjan, ah 14:39:04 -!- kar8nga has quit (Remote host closed the connection). 14:40:52 -!- Tritonio_GR has joined. 14:44:05 alise, 26.5 C, 70% humidity 14:44:13 You can stop now. 14:44:24 stop what? 14:45:41 AnMaster: no need to fan the flames further 14:46:15 oerjan, XD 14:46:29 26.8 C now btw 14:46:42 * AnMaster ponders getting a huge silca gen bag 14:46:51 gel* 14:47:56 27 C but ony 68% humidity now 14:48:39 its 26.6C and 68% humidity here :P 14:48:54 * 26.8C 14:50:12 * Zuu notices AnMaster sitting under his table :o 14:51:26 :P 14:52:35 fizzie, there? do you need to do something special when shutting down when you have mdadm stuff? 14:52:41 fizzie, like vgchange -a n for lvm 14:56:16 madadmin 14:57:17 oerjan, stands for multi disk admin 14:57:48 or some such 14:57:49 THAT'S WHAT THEY WANT YOU TO THINK 14:57:55 XD 14:59:39 -!- marchdown has joined. 15:04:40 "If you are looking to install Arch on something more exotic, such as your kerosene-powered cheese grater, please consult http://wiki.archlinux.org" 15:04:51 shown at boot of arch linux 15:04:55 Old. 15:04:57 arch linux live cd 15:05:00 I meant 15:05:03 Old text, and also a very old joke. NetBSD did it first. 15:05:05 I desire a kerosene-powered cheesegrater. 15:05:06 alise, probably, never noticed it before 15:05:13 Phantom_Hoover, me too! 15:05:23 Cheese: TOTALLY AWESOME 15:05:28 Think of how much cheese you could grate! 15:05:44 alise, yes, bovine byproducts often are 15:05:56 IMAGINE: Chicken milk. 15:06:01 Now you have imagined chicken milk 15:06:11 I can't imagine chicken milk! 15:06:24 heh 15:06:54 whew, that's disgusting! 15:07:05 oerjan, what? 15:07:19 Chicken milk, presumably. 15:07:19 chicken milk 15:07:32 *eww 15:08:13 oerjan: You're disgusting! 15:08:27 i know! 15:11:05 Chickens aren't even mammals! 15:12:03 so they tell me 15:12:17 14:16:28 used to be functional analysis and dynamical systems 15:12:23 dynamical, the most redundantest of words 15:12:43 No it isn't. 15:13:17 not in that context 15:13:36 i suppose the opposite would be static systems 15:13:42 Statical 15:13:55 Yes, it should just be "dynamic". 15:13:58 alise, alligator milk 15:14:09 um 15:14:09 milk milk 15:14:14 milk... that is milked out of MILK 15:14:16 alise, cool 15:14:39 Recursive milk... 15:14:41 alise, void milk. 15:15:05 that is used to drive a perpetum mobile 15:15:18 (spelling?)( 15:15:23 s/($// 15:15:30 *perpetuum 15:15:46 That's a type of music, according to WP. 15:15:48 ah 15:15:51 -!- Tritonio_GR has quit (Read error: Connection reset by peer). 15:16:01 Phantom_Hoover, it is also a perpetual motion machine 15:16:05 afaik 15:16:40 Phantom_Hoover, at least it is in Swedish 15:16:48 and it sounds very much like latin 15:16:53 so I assume it was the same in English 15:16:59 presumably because it is (latin) 15:17:07 Phantom_Hoover, "This article is about a musical term. Please see perpetual motion for the physical concept, Perpetuum Mobile (album) for the album, and perpetual motion (disambiguation) for other uses." 15:18:14 english just likes to twist the suffixes around a bit 15:18:24 heh 15:19:04 *switch 15:20:36 Det är en evighetsmaskin! 15:21:28 -!- hiato has joined. 15:21:54 http://www.youtube.com/watch?v=Hccf-8BYaDg 15:21:55 -!- Phantom_Hoover_ has joined. 15:23:30 oerjan, sounds familiar 15:24:05 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 15:24:06 -!- Phantom_Hoover_ has changed nick to Phantom_Hoover. 15:28:42 -!- hiato has quit (Quit: underflow). 15:29:14 * oerjan feels old now 15:29:21 I feel old. 15:32:49 I'm 14 and I feel old! 15:35:00 Evidently esoteric programming accelerates aging. 15:35:11 s/aging/ageing/ 15:39:49 -!- Phantom_Hoover has quit (Remote host closed the connection). 15:40:40 -!- Phantom_Hoover has joined. 15:43:35 -!- Gregor has quit (Ping timeout: 252 seconds). 15:46:27 Non-standard analysis is awesome. 15:46:37 I'm 17 and I don't feel old. 15:46:54 Evidently you haven't been doing enough esoteric programming. 15:47:01 True. 15:47:29 So, often, I look at Wikipedia, see some content, and feel like it should be removed. 15:47:33 In this case... 15:47:36 http://en.wikipedia.org/wiki/Senior_Skip_Day 15:48:14 * uorygl deletes all but the first sentence. 15:49:03 a deletionist! burn him! 15:49:06 Do it! 15:49:25 Done. 15:49:29 My edit summary: "Removed some apparent original research and some non-factual content." 15:50:56 -!- oerjan has quit (Quit: Later). 15:56:21 uorygl: You left an empty references section, GJ deletionist 15:56:26 (/&¤()/&"(/!#&¤=!"(#/=!)¤ 15:56:37 I agree! 15:56:38 dropped to initram fs root shell 15:57:44 alise: eh, stick a "This article doesn't have any references!" template in there and call it good. 15:57:53 Or just remove the section. 15:57:59 It's an empty header; that's not good in any situation 15:58:06 Or shrink the "External links" section, thereby making the external link a reference. :P 15:58:12 AnMaster: Why? 15:58:25 Phantom_Hoover, couldn't mount / 15:58:25 Say, shouldn't that be an "External link" section, since there's only one? 15:58:32 Phantom_Hoover, due to not finding the device 15:58:35 Yeah, I had that problem. 15:58:42 Phantom_Hoover, due to the initramfs missing the software raid tool 15:58:44 I still haven't wolved it... 15:59:11 Phantom_Hoover, so now I'm just going to compile my own kernel which won 15:59:15 won't* need that crap 15:59:18 from a livecd 16:00:25 Nope, WP:LAY says that it should be plural. 16:00:26 will move laptop and do it over ssh 16:00:28 too hot here 16:01:02 lets see if znc manages the jarring change from eth0 to wlan0 fine or not 16:02:03 alise: two Ts in your first name, right? 16:02:18 -!- Deewiant has quit (Ping timeout: 276 seconds). 16:02:23 uorygl: I'd like to know why before I answer that :-) 16:03:17 -!- ZeroOne has quit (Ping timeout: 276 seconds). 16:03:24 It's public information. 16:03:36 * uorygl takes that as a "yes". 16:03:41 Trust me, it's easier to explain this way. :P 16:04:13 New edit summary: 'Removed empty "References" section. Thanks, Elliott!' 16:04:48 -!- BeholdMyGlory has quit (Remote host closed the connection). 16:05:25 -!- AnMaster has quit (Ping timeout: 260 seconds). 16:05:36 * alise feels vague uncomfortability at being referred to online by eir own name but cannot seem to articulate why after-the-fact 16:05:48 I'd appreciate it if you'd answered my question before doing that 16:07:57 -!- AnMaster has joined. 16:08:21 * uorygl nods. 16:08:56 http://www.wolframalpha.com/input/?i=(1%2Fa)^n+%3D+a^-n WHAT IS THIS PLOT. 16:09:16 uorygl: thanks 16:09:18 so 16:09:25 that is pretty conclusive proof it didn't work 16:09:39 It's like someone doing a really ridiculous drawing 16:09:51 alise: You *don't* want to know 16:09:52 alise: wow, that's a really impressive plot. 16:10:01 I know :D 16:10:23 "Implicit plot"? 16:10:26 wth is that 16:10:34 Have you tried pugging it into Mathematica and seeing if it's insane too? 16:10:40 It is 16:10:44 It gets no less insane with different bounds 16:10:47 AnMaster: It's just a plot. 16:10:52 alise, ah 16:10:58 nice function 16:10:59 In this case a contour plot 16:11:14 alise, countour of? 16:11:16 where it is true=? 16:11:18 yes 16:11:19 s/=// 16:11:22 ContourPlot[(a^(-1))^n == a^(-n), {a, 0.076, 5.6}, {n, 4.6, 14}] 16:11:25 Don't know why it picked those bounds 16:11:29 Maybe it selects something suitably insane 16:11:35 okay that is awesome 16:12:16 alise, but it says it is true for all positive n and a below 16:12:21 Alternate form assuming a and n are positive: 16:12:21 True 16:12:32 Yeah, well, it's still awesome 16:12:57 alise, so the graph seems to be in error 16:13:06 I guess with complex exponentiation, it's not always true. 16:13:18 Since complex exponentiation is a multi-valued function. 16:13:27 Is it complex though? 16:13:29 uorygl, look at the plot though 16:13:37 AnMaster: contour plot is things like 16:13:37 not complex as far as I can see 16:13:41 x^2 + y^2 == 1 16:13:43 plots a circle 16:13:48 alise, right 16:14:10 AnMaster: complex exponentiation doesn't have to have complex numbers as arguments. 16:15:17 With real exponentiation, 1^(1/3) = 1. With complex exponentiation, 1^(1/3) = {1, -1/2 + i sqrt(3)/2, -1/2 - i sqrt(3)/2}. 16:15:26 uorygl: True but I don't think it's using complex exponentiation 16:15:30 I mean, why would it? 16:15:38 Well, why not? 16:15:42 In[26]:= 1^(1/3) 16:15:42 Out[26]= 1 16:15:46 Because ^ is real exponentiation in Mathematica. 16:15:51 * uorygl shrugs. 16:15:53 uorygl, ah 16:16:08 Although, you may be right. 16:16:44 I am not sure it even has complex exponentiation on non-complexes 16:19:39 alise, what does (1+0i)^(1/3) show (rewrite to mathematica notation as required) 16:19:56 In[38]:= x + 0 I 16:19:56 Out[38]= x 16:20:03 hm 16:20:05 In[40]:= (1 + 0 I)^(1/3) 16:20:05 Out[40]= 1 16:20:15 okay 16:20:22 was worth a try at least 16:22:26 In[41]:= ComplexExpand[(a + 0 I)^b] 16:22:26 Out[41]= (a^2)^(b/2) Cos[b Arg[a]] + I (a^2)^(b/2) Sin[b Arg[a]] 16:22:36 So maybe ContourPlot IS using complexes. 16:22:45 In[42]:= ComplexExpand[a^b] 16:22:45 Out[42]= (a^2)^(b/2) Cos[b Arg[a]] + I (a^2)^(b/2) Sin[b Arg[a]] 16:34:02 -!- Phantom_Hoover has quit (Remote host closed the connection). 16:34:56 -!- Gregor has joined. 16:39:25 -!- Slereah has quit (*.net *.split). 16:41:19 -!- Slereah has joined. 16:43:34 -!- Phantom_Hoover has joined. 16:57:55 Phantom_Hoover hooves up phantoms. 16:58:44 ??? 17:00:20 guys -- copying 1.8G from one drive to another 17:00:22 how long will it take? 17:00:33 Why would we know? 17:00:45 There is a plurality of factors to consider. 17:01:21 same computer or different? 17:01:47 Correction: 1.1G 17:01:48 and if different, how are you accessing the files? scp feels like it's slower than max network speed 17:01:51 pineapple: Same computer 17:01:59 scp is slower because of encryption overhead I think 17:02:03 Copying to NTFS, from ext 17:02:04 yeah 17:02:12 or, hmm 17:02:15 I might tar it all up first 17:02:19 same thing though, basically 17:02:30 and also i think that it gets an additional penalty for lots of smaller files 17:02:30 Drives are, you know, not so good; not slow, but not fast in any way 17:02:43 (not "small" on a ReiserFS scale, mind you) 17:03:37 Wife-killing joke 17:04:43 if i ever make something useful, there may end up being a parent-killing joke as a punchline 17:04:47 tar -cjf foo/x.tar foo/ won't recurse, right? 17:05:01 pineapple: Is the implication here that you killed your parents? :P 17:05:24 don't know... i'd be inclined to test in a smaller folder first 17:05:36 and... not yet, but sometimes i feel like it 17:06:16 has why he did it ever been asked? 17:07:28 I think the evidence points strongly to "he was crazy" 17:07:43 She was a mail order bride iirc, and he wanted his kids to play violent video games for the /purpose/ of making them tough -- again iirc 17:08:06 Wait, who are you talking about? 17:08:19 Hans Reiser, creator of ReiserFS. 17:08:21 He murdered his wife. 17:08:34 Phantom_Hoover hooves up phantoms. <-- no he is the ghost of a hoover! 17:08:47 A filesystem created by a serial killer... 17:08:50 AnMaster: Or both. 17:08:56 alise, could be 17:08:57 Phantom_Hoover: No; someone who murders isn't a serial killer. 17:08:59 And he created the filesystem first. 17:09:15 Ssh! I'm being dramatic! 17:09:23 Wired did a really cheesy article where they used vaguely-related snippets of ReiserFS code to illustrate the story. 17:09:37 Anyway, you're just asking for it to be possessed. 17:09:38 Like loops and stuff that had "metaphorical implications" if you interpret things like "children" literally and whatnot 17:10:10 alise, "mail order bride"? 17:10:25 AnMaster: What it says on the tin 17:10:33 alise, huh 17:10:38 what a crazy idea 17:10:39 i know what it means, but not how to explain it 17:10:39 In 1998, while working in Saint Petersburg, Russia, Hans Reiser reportedly selected from a mail-order bride catalogue,[9] and subsequently married, Nina Sharanova (Нина Шаранова), a Russian-born and trained obstetrician and gynecologist[10] who was studying to become an American licensed OB/GYN. 17:10:42 why would anyone want that 17:10:55 AnMaster: Send mail, obtain hot russian, endless sex <-- this is the general theory 17:11:00 To get into the States easily. 17:11:04 obstetrician? 17:11:06 alise, but what do the russian think of it 17:11:08 On the part of the bride. 17:11:11 ah 17:11:13 AnMaster: I imagine they don't give a shit. 17:11:19 Oh, the russian in particular. 17:11:20 pineapple: Childbirth and stuff. 17:11:22 Yeah, to get into the states. 17:11:26 alise, yes 17:11:42 It's basically legalised human trafficking & sex slavery :P 17:12:05 Although if she was an OB/GYN probably a bit more benign than that. 17:12:24 hah 17:12:34 Okay, now to copy contents.tar.gz. 17:12:40 (Preparing for Ubuntu clean-slate upgrade.) 17:12:45 This install is a bit crufty. 17:12:56 And 10.04 is ooh-shiny. And this thing is versions behind; 9.04. 17:13:01 if she had skills then she was probably getting something out of the deal 17:13:22 alise: i'm not sure that 10.04 is worth it 17:13:30 "Reiser has stated that he met Nina when he went to a date set up by a Russian dating service; Nina had come along to translate for his date. They had two children." 17:13:36 So really it was a bit more than your typical mail-order marriage. 17:13:44 pineapple: Well, 9.10 definitely is, and no point upgrading to an old version. 17:13:55 if you're happy to have "more of the same" while still being newer, then i'd recommend 9.10 17:14:00 I definitely want to have actually recent software! And 10.04 doesn't seem to have any abject *evil* in it, so... 17:14:15 Upgrading to an old version will not be easy, supported, or, you know, a reasonable thing to do. 17:14:15 depends on how you define evil 17:14:28 Which is it you hate, the social networking software or the Yahoo! deal? 17:14:30 Or the purple? 17:14:32 the default settings leave something to be desired 17:14:51 the social networking and the default gnome theme (the latter of which is at least changable) 17:15:12 although gnome-terminal actually had a useful option added 17:15:28 I /like/ the new theme. 17:15:35 And the social networking apps are just fluff to ignore, like so much of Ubuntu. 17:15:40 I don't mind them much. 17:15:45 option to set the colour of bold normal text as being different from normal text 17:15:46 359.96M 43% 12.06MB/s 0:00:37 17:15:49 This is better than I expected! 17:16:26 i'm using 10.04 as the base system for the LFS install i'm trying to do 17:16:48 trying as in "very trying"... the damn thing crashed while compiling glibc 17:16:58 use slackware or gentoo for something like that 17:17:00 ubuntu is too "custom" 17:17:07 too custom 17:17:08 ? 17:17:19 modifies too much stuff, mostly inherited from debian's culture of extensive patching 17:17:32 anyway fuck lfs, I have more interesting things to do than make a hard-to-maintain linux distro, maybe if it was a good OS and not linux i'd do it 17:17:44 i'm not doing it on my main system 17:17:54 and yes, i already know your opinion on lfs 17:19:18 I don't believe I've expressed it to you before 17:19:47 it was discussed a couple of weeks ago 17:19:48 in here 17:19:55 topic raised by me 17:24:53 -!- kar8nga has joined. 17:34:51 man: can't execute /usr/bin/less: No such file or directory 17:34:51 man: command exited with status 255: /usr/bin/less 17:34:54 guess cause 17:35:00 less was installed 17:35:06 and worked fine like: less foo 17:35:10 alise, ^ 17:35:15 i know 17:35:19 AnMaster: not in /usr/bin 17:35:23 yeah 17:35:27 likely in /bin 17:35:50 alise, correct. But that doesn't explain it since /etc/man_db.conf didn't have the path to less 17:35:55 and even setting it to /bin didn't work 17:35:57 now why? 17:36:02 because of your mother. 17:36:06 this may be tricker to guess 17:36:15 alise, wronn 17:36:18 wrong* 17:36:22 no, very correct 17:36:28 she was out in the garden when this happened. so no 17:36:36 workaround: symlink so that /usr/bin/less points to /bin/less 17:36:41 messy, but it works 17:36:43 pineapple, I found the cause 17:36:48 HINT: I was in a chroot 17:36:51 but why 17:36:55 did that cause it 17:37:14 pineapple, any idea? 17:37:25 it was a one-command fix btw 17:37:27 umm... because you don't have a /bin folder in your current... 17:37:33 shit, i don't know how chroot does 17:37:43 pineapple, unset PAGER fixed it 17:37:44 :D 17:37:50 lol? 17:37:54 the host system exported PAGER=/usr/bin/less 17:38:00 which was incorrect in the chroot 17:38:02 aaah, fun 17:38:24 pineapple, livecd based on a different distro than the system I'm trying to get working 17:38:26 AnMaster: heh 17:38:27 yeah, i wouldn't have thought of that 17:38:37 pineapple, took me a few minutes to figure it out too 17:39:06 good puzzle 17:39:09 but the fact that editing man_db.conf didn't help made me suspect it *was* something in the environment overriding it 17:39:18 so env | grep less 17:39:37 i wouldn't have thought to look at man_db.conf either 17:39:39 there are some other wtf things in the environment there (wrt chroot that is) 17:39:47 pineapple, well I knew that was declared in there 17:41:03 btw EDITOR=/bin/nano but in the chroot nano is in /usr/bin 17:43:26 -!- kar8nga has quit (Remote host closed the connection). 17:44:49 AnMaster: ouch! 17:45:30 -!- MigoMipo has changed nick to MigoMipo_. 17:45:33 my personal opinion is that nano and less should both be in /bin 17:45:35 -!- MigoMipo_ has changed nick to MigoMipo. 17:45:48 but that's because nano is my main text editor 17:45:55 and i can see root needing both 17:46:20 (applying the old logic of /usr being a seperate partition, i know, but...) 17:48:37 pineapple, my /usr _is_ a spearate partition 17:48:53 pineapple, / is on RAID1, /usr is on lvm2 on RAID1 17:48:56 and atm I 17:49:06 I'm* trying to get a kernel able to boot this 17:49:15 so you agree with me that root should have access to an editor that ey know how to use in /bin ? 17:49:55 pineapple, I prefer emacs, but can accept nano otherwise 17:50:05 I do not accept vi 17:50:09 it's a personal preference 17:50:18 i don't think i've ever used emacs 17:51:37 i know people in another channel whose primary preference is joe, with nano as the first alternative 17:52:18 kernel /kernel-current root=/dev/md1 ro 17:52:22 lets hope that works 17:52:30 AnMaster has basically a religious objection to vi. 17:52:39 -!- Deewiant has joined. 17:52:42 Basically just accept it. 17:52:50 alise, I find myself unable to do anything in it 17:52:53 *shrug* 17:53:00 AnMaster: Have you ever considered that might be a problem with you, not vi? 17:53:07 alise: i know a few people that feel that way about vi 17:53:17 You're not compatible, get over it 17:53:20 alise, I never claimed it was a vi problem 17:53:38 I said it was a mutual incompatibility 17:53:49 wait... don't you 2 have each other on ignore? 17:53:49 You seem a bit too hostile about vi for that to be all the story... 17:53:58 pineapple, we do from time to time 17:54:00 not currently 17:54:12 should i ask why? 17:54:12 alise, well I'm quite happy to use ed 17:54:14 rather than vi 17:54:27 pineapple: I never ignore AnMaster, he's too hilariously idiotic to miss! 17:54:36 And that remark will probably make him reinstate his ignore. 17:54:42 ... 17:54:42 alise, you have ignored me in the past 17:55:45 -!- lament has joined. 17:56:09 -!- BeholdMyGlory has joined. 17:58:49 SO-- 17:58:55 I guess I will upgade. 17:58:58 *upgrade, also. 17:59:05 I'm debating: gnome or xfce 17:59:10 Are the sound effects annoying? They change them a lot. 17:59:21 AnMaster: Gnome. XFCE seems nice but then you realise it's quite unpolished and just has a bunch of meh corners. 17:59:28 alise, update/upgrade what? 17:59:28 Both suck, so better to use the more polished turd. 17:59:34 AnMaster: Ubuntu from 9.04 to 10.04. 17:59:40 ah 17:59:49 sound effects? 17:59:59 You know, the startup sounds and whatnot. 18:00:04 Just wondering if they're irritating; they change a lot. 18:00:06 alise, oh I never turn those on 18:00:11 alise, what about fluxbox? 18:00:12 They're on by default. 18:00:24 alise, then I guess I turn them off. Along with splash screen 18:00:31 AnMaster: Fluxbox is a bit too "31337"-style. Everything is an annoying right-click menu, and it's fundamentally boring. 18:00:36 Only interesting thing: the tabbing stuff. 18:00:39 Pekwm has that. 18:00:52 hm 18:01:05 alise, there is some fluxbox fan at university 18:01:13 He's stupid. 18:01:16 Poke him with forks. 18:01:27 alise, why do you assume "he"? 18:01:34 Or she, fine. 18:01:38 she indeed 18:01:44 Blame the sexism of the English language. 18:01:49 hah 18:01:52 I'm not going to say he/she all the time and I forget to use Spivak. 18:01:54 AnMaster: I'm not joking. 18:02:26 alise, hshe? 18:02:47 AnMaster: read this http://www.cs.virginia.edu/~evans/cs655/readings/purity.html 18:02:50 if you haven't already 18:02:54 great article 18:02:55 bbl food 18:02:57 Good morrow. 18:05:34 Interesting fact: You can turn any poem into an Emily Dickinson poem by inserting a lot of line breaks, capitalising random words and inserting a copious amount of em dashes. 18:05:47 So -- I will Upgrade -- 18:05:50 This Linux -- distribution -- 18:06:03 From nine oh four, to ten oh four -- 18:06:09 * alise reboots 18:06:39 -!- alise has quit (Remote host closed the connection). 18:14:27 -!- Dooglass has joined. 18:15:43 -!- Dooglass has left (?). 18:32:05 -!- sdorand has quit (Quit: sdorand). 18:35:35 -!- MizardX has joined. 18:37:10 -!- Mathnerd314 has quit (Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.2.3/20100401080539]). 18:55:44 AnMaster: on the gnome vs xfce choice: i don't know if you're the type who needs to randomly paste shit into a text editor so that you don't forget it while you use the clipboard for other things (something that notepad on windows is well suited to) 18:56:29 but if you are, then xfce is a more favourable choice, as mousepad loads a lot faster than gedit does 18:56:30 pineapple, what has that got to do with it? 18:56:40 and is less bloated 18:56:48 pineapple, I don't use gedit under gnome 18:56:50 I use kate 18:56:51 from KDE 18:57:00 heh 18:57:05 which is arguably more bloated and has more features 18:57:15 either that or emacs 18:57:17 no... jedit is bloated 18:57:23 depends on which language I'm working against 18:57:26 pineapple, jeddit? 18:57:33 java text edit 18:57:36 oh 18:57:41 s/$/or/ 18:57:43 but what does that have to do with geddit? 18:57:48 or emacs or kate 18:57:54 jedit is even more bloated than gedit 18:58:03 but i know someone who swears by it 18:58:06 ah 18:58:12 pineapple, emacs is not bloated then? 18:58:21 because it's the only editor he's found that can handle having 900 files open at once 18:58:27 pineapple, I mean, I'm using an irc client in emacs atm... 18:58:52 one that doesn't respond to VERSION, evidently 18:59:26 pineapple, I filter ctcp apart from CTCP ACTION 18:59:33 aah 18:59:36 pineapple, but it is ERC 18:59:55 and... not sure how to respond to that point about emacs 19:04:41 -!- alise has joined. 19:04:48 Hello! 19:05:01 i 19:05:01 Now that I've installed Ubuntu, time to poke it with a rusty stick until it's usable. 19:05:07 !olleH, esila 19:05:20 Network meters in XChat: I most definitely do not need those 19:05:31 alise, I liked those back when I used xchat 19:05:32 There are only a few things I am adamantly certain of in life but that is one of them 19:05:38 ehh... i always liked them 19:05:39 AnMaster, What do you use now? 19:05:44 alise, ERC 19:05:47 Ew 19:05:50 *Ew. 19:05:53 we were just talking about that, heh 19:05:56 alise, as you very well know 19:06:03 No, I forgot. 19:06:10 -!- alise has set topic: http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 19:06:14 No mandating what we talk about in here! 19:06:17 That's, like, the first rule of #esoteric. 19:06:26 The second rule of #esoteric is not the first rule of #esoteric. 19:06:36 alise, no, the first rule of #esoteric is that it is the first rule of #erlang 19:06:37 err 19:06:39 #esoteric 19:06:45 tab complete channel name sucks 19:06:45 XD 19:06:50 I liked "the first rule of #esoteric is that it is the first rule of #erlang" more 19:06:52 And why is ais not here? 19:06:54 haha 19:07:01 just as long as there's no esolangs rule 34... 19:07:05 alise, because is not absent from here 19:07:07 The first rule of #erlang is "No mandating what we talk about in #esoteric!". 19:07:10 pineapple, AUGH 19:07:17 pineapple, just mentioning it invented it 19:07:19 i know 19:07:22 No, it exists platonically. 19:07:25 Whether or not you mention it. 19:07:38 it violates the principle of rule 34 to hope that it doesn't exist 19:07:39 alise, no, computer programmers are lazy, it is created on demand 19:07:45 It may not, however, be realised in a physical form in this universe; thus there are no Rule 34 "challenges", just complaints about the latency between these two realms. 19:07:55 This is the epistemologically and theologically correct way to interpret rule 34. 19:08:09 (I have a Ph.D.) 19:08:15 you know... now i want to write a short story involving a deity who is the "god of rule 34" 19:08:24 alise, the youngest person to have that? 19:08:34 alise, also: a Ph.D. in what 19:08:35 ? 19:08:42 Rulology. 19:08:45 hah 19:08:50 Rulololology. 19:09:14 augh 19:09:32 http://www.drexel.edu/univrel/drexelink/story.asp?ID=1594&vol=10&num=2 19:09:36 14-year-old Ph.D. student. 19:09:40 One word: NOOOOOOOOOOOOOOOO! 19:09:44 Bastard. 19:09:47 Three words: FUCK. THAT. SHIT. 19:09:50 pikhq: Bitch, actually. 19:09:56 Four words: I will destroy her. 19:10:19 "This is such a phallic vegetable" --a friend, on cucumbers 19:10:42 alise: should i ask how old this friend is/ 19:10:44 ? 19:10:55 He's studying mathematics at Oxford :P 19:11:14 has he actually experienced a cucumber, though? 19:11:20 He's cutting one right now 19:11:38 that wasn't what i meant by "experienced" 19:11:48 Oh. 19:11:49 Oh my. 19:11:59 I'm not shocked by the question, just by the implication that I should ask it. 19:12:06 Or already know the answer. 19:12:14 heheheh 19:12:58 "yes, cucumbers are phallic; but i wouldn't recommend them in that way..." 19:13:07 Answer just back from the source: "No" 19:13:14 This is a man who has never "experienced" a cucumber. 19:13:23 "Although the thought did occur to me what it would look like when I went to the checkout with it" 19:13:28 He is a shining beacon of intellectuality 19:14:30 unrelated: http://s1.b3ta.com/host/creative/42654/1274544726/buickregalgsshowcareatme.jpg 19:14:39 sfw; nsfh 19:14:52 h? What is h? 19:14:58 It's not mind, so i-- OH GOD WHAT 19:14:59 hangover 19:15:28 :D 19:17:25 * alise installs Pidgin 19:17:36 Empathy is still crap 19:17:55 anyone here on using a Mac on Snow Leopard? 19:18:03 No, but I have a Mac on Leopard. 19:18:04 Why? 19:19:02 well I might be looking for some people to try out an esolang interpreter that im currently working on my Mac 19:19:15 Might be. I see :P 19:19:33 Is it OS X-specific? 19:19:35 Howso? And why? 19:20:13 -!- coppro has joined. 19:20:22 no, i just only have my MacBook Pro and then a family windows machine, so im doing it on my mac then gunna get it going on windows 19:20:31 Pooppy! Hi! 19:20:35 poiuy_qwert: I can run it on Linux. 19:20:41 If it's written in C or similar it'll almost certainly work. 19:21:08 well actually its fairly high level, but it uses Qt so should be perfectly fine on Linux too 19:21:19 Why do you need Qt for an interpreter? 19:21:28 its for Zetaplex 19:21:31 Ahh. 19:21:36 I'd have used SDL. 19:21:51 i just already had some experience with Qt 19:22:06 SDL is really simple and more suited for graphics work. 19:22:09 Qt is mostly GUI interfaces. 19:22:17 SDL will also make the code run more smoothly and easily on Windows, I think. 19:22:25 i know Gammaplex used SDL, and thats why I planned to use before, but I didn't feel like learning it too :X 19:22:33 -!- Tritonio_GR has joined. 19:22:34 alise: RAS Syndrome! 19:22:58 Phantom_Hoover: DOESN'TMATTER prescriptivist 19:23:13 GUI forms a single word, even if it is "actually" composed of multiple words. 19:23:21 Phantom_Hoover: what's the A? 19:23:25 Qt also had a lot of extra stuff that made it easier to make, like QTcpSocket and their threading stuff. very easy to y 19:23:25 "PIN number", "ATM machine", "GUI interface" -- are all perfectly valid. 19:23:27 pineapple: Acronym. 19:23:31 Redundant Acronym Syndrome syndrome. 19:23:32 But it's pointless to add the extra word! 19:23:32 s/y/use/ 19:23:36 what i thought 19:23:46 Phantom_Hoover: It increases readability and understandability. 19:24:00 Radar ranging. 19:24:04 OOPS LOL RADAR ENDS WITH "RANGING" HAHA 19:24:22 WHAT'S THAT IT'S CONSIDERED A SINGLE WORD? 19:24:26 [gaspeth] 19:24:27 ... 19:24:49 what :P 19:24:55 But it's unnecessary. 19:25:05 Phantom_Hoover: So's pleasure. 19:25:44 EXACTLY! 19:27:01 WHY OH WHY DOES EVERY GNOME IRC CLIENT SUCK 19:27:38 http://www.drexel.edu/univrel/drexelink/story.asp?ID=1594&vol=10&num=2 <-- wow 19:28:08 AnMaster: yup. 19:28:16 -!- Phantom_Hoover has quit (Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100423140709]). 19:28:19 THE JEALOUSY IS OVERWHELMING :( 19:28:45 He is a shining beacon of intellectuality <-- sarcasm or not? 19:28:50 Take a guess 19:29:39 alise, hard to tell in that context: 1) He's studying mathematics at Oxford :P 2) "Although the thought did occur to me what it would look like when I went to the checkout with it" 19:29:53 they seem to suggest different things 19:30:03 Since it came right after the latter... I was being sarcastic. 19:30:30 unrelated: http://s1.b3ta.com/host/creative/42654/1274544726/buickregalgsshowcareatme.jpg <-- wonderful 19:30:46 AnMaster: No; horrific. 19:30:54 alise, nice photoshotp 19:30:58 photoshop* 19:31:05 sad that it isn't real 19:31:50 Say... I wonder if there's some sort of e-book reader for Linux that uses high-quality typesetting algorithms like those from TeX. 19:32:00 Does all the nice typographic trimmings, etc. 19:32:28 alise, aren't ebooks generally pdf anyway? 19:32:38 No 19:32:48 alise, what other formats? 19:32:51 There's some standardish format for them 19:33:00 Can't you get Gutenberg books in some formatted format? 19:33:03 Instead of the silly plain text 19:33:03 alise, pdf is fairly common though 19:33:13 images iirc? 19:33:14 not sure 19:33:27 or could be the Swedish equiv. of Gutenberg 19:33:29 http://www.gutenberg.org/dirs/etext01/2000010ah.htm 19:33:36 Gutenberg has HTML, but maybe that's just for some books 19:33:52 actually nordic, not just Swedish 19:33:56 http://runeberg.org/ 19:34:19 "EPUB", also. 19:34:24 I think that is the semi-standard one. 19:34:30 EPUB (short for electronic publication; alternatively capitalized as ePub, EPub, or epub, with "EPUB" preferred by the vendor) is a free and open e-book standard by the International Digital Publishing Forum (IDPF). Files have the extension .epub. EPUB is designed for reflowable content, meaning that the text display can be optimized for the particular display device. The format is meant to function as a single format that publishers and conversion houses c 19:34:30 an use in-house, as well as for distribution and sale. It supersedes the Open eBook standard.[1] 19:34:36 alise: Gutenberg is an old, old, *old* project. 19:34:38 * Free and open 19:34:38 * Re-flowable (word wrap) and re-sizable text 19:34:38 * Inline raster and vector images 19:34:38 * Embedded metadata 19:34:38 * DRM support 19:34:39 * CSS styling 19:34:41 * Support for alternative renditions in the same file 19:34:43 * Use of out-of-line and inline xml islands to extend the functionality of EPUB 19:34:46 pikhq: yeah but i'm meaning "most" books 19:34:59 anyway not /that/ old, 1971 19:35:07 weren't they digitising the OED by then? 19:35:28 Still incredibly old in computer-years. 19:35:46 yes. 19:35:46 And they didn't start digitising OED for a few more years, IIRC. 19:36:06 "Two fully-bound print editions of the OED have been published under its current name, in 1928 and 1989." 19:36:12 I didn't realise there were so few editions of the OED. 19:36:36 The OED is a bit ridiculous really, you don't need /all/ those words in dead tree. 19:36:49 The OED takes ages to prepare. 19:37:35 Anyway, what I'm saying is that if you had such a wonderful typesetting program, you could make an eBook reader by... hooking it up to an appropriate screen. Job done. 19:37:45 You could also port it to other mobile devices, etc. 19:37:45 alise, you did before there was internet 19:37:54 there was nowhere to look it up then 19:38:02 AnMaster: Have you ever seen a full printing of the OED? 19:38:20 alise, I have seen up to and including "advanced learner's edition" or such iirc 19:38:21 Even for the most pedantic stickler determined to know about every single word used in relevant history, 90% of the OED is useless. 19:38:24 which was pretty thich 19:38:27 thick* 19:38:37 AnMaster: The whole thing is... a great many volumes. 19:38:39 not sure how the full OED looks like 19:38:43 alise, picture? 19:38:50 The dictionary's latest, complete print edition (Second Edition, 1989) was printed in 20 volumes, comprising 291,500 entries in 21,730 pages. 19:38:56 wow 19:39:00 photo 19:39:05 you can't imagine this 19:39:11 http://mydailycolumn.files.wordpress.com/2009/08/graphics-mdc-oxford-english-dictionary.jpg 19:39:25 The book barely fits on a CD. 19:39:37 540 megabytes 19:39:42 wow... that's nearly as big as the Encyclopaedia Britannica 19:39:47 (granted, that's uncompressed *and* with metadata) 19:39:52 If it's aiming for absolute mass... 19:39:55 Then it failed! 19:40:02 "Woordenboek der Nederlandsche Taal" is a bigger dictionary. 19:40:14 Published, in parts, 1863-1998. 19:40:16 alise: It's aiming for comprehensive treatment of English. 19:40:30 pikhq: Beyond comprehensive. 19:40:33 * Sgeo_ is interested in Tremulous again 19:40:35 It's aiming for fanatical treatment. 19:40:45 Perhaps even religious treatment. Obsessive-compulsive treatment. 19:42:03 Maverick Meerkat? 19:42:05 Shitty name! 19:42:27 heh 19:42:43 Update: Apparently the cucumber was "distinctly unsatisfying". 19:43:02 alise, ^_^ 19:43:19 alise, btw male or female? 19:43:22 I am not sure in which sense he meant this. 19:43:27 And I just answered AnMaster's question 19:43:31 ah 19:44:40 coppro: do you own the E.B.? 19:45:00 if so, which edition? 19:46:32 alise, does the OED just define the words or does it also describe what they mean=? 19:46:42 define as in listing with gramatical info 19:46:47 Describe, of course. 19:46:51 alise, ah 19:46:55 All the condensed OEDs have nothing added to the OED. 19:47:00 Just cutting downs. 19:47:08 And have comprehensive etymology. 19:47:22 "The longest entry in the OED2 was for the verb set, which required 60,000 words to describe some 430 senses. As entries began to be revised for the OED3 in sequence starting from M, the longest entry became make in 2000, then put in 2007." 19:47:36 alise, then there is some pretty heavy Swedish such. So heavy they only finished to to t (iirc). Started over 100 years ago 19:47:45 AnMaster: Name? 19:47:54 Svenska Akademins Ordbok 19:48:05 (not same as Svenska Adademins Ordlista) 19:48:14 # Contemporary beliefs about race and ethnicity are included in the Encyclopedia's articles. For example, the entry for "Negro" states, "Mentally the negro is inferior to the white... the arrest or even deterioration of mental development [after adolescence] is no doubt very largely due to the fact that after puberty sexual matters take the first place in the negro's life and thoughts."[4] The article about the American War of Independence attributes the su 19:48:14 ccess of the United States in part to "a population mainly of good English blood and instincts".[5] 19:48:16 alise: My school library does 19:48:29 dunno which edition; haven't seen it in a while 19:48:37 # Many articles are now factually outdated, in particular those on science, technology, international and municipal law, and medicine. For example, the article on the vitamin deficiency disease beriberi speculates that it is caused by a fungus, vitamins not having been discovered at the time. Articles about geographic places mention rail connections and ferry stops in towns that today no longer employ such transport. 19:49:05 sounds likely; it's pretty old 19:49:14 "Encyclopedia Americana" x_x 19:49:23 coppro: It's still updated; that's only one edition. 19:49:27 It was first published in the 1700s. 19:49:48 yeah 19:49:56 alise, when was the last edition? 19:50:10 Present day. 19:50:22 alise, that no longer has texts like that above I presume? 19:50:27 -!- MigoMipo has changed nick to MigoMipo_. 19:50:29 -!- MigoMipo_ has changed nick to MigoMipo. 19:50:51 Obviously. 19:50:55 It's a modern encyclopedia. 19:51:01 A bit rubbish nowadays, but there you go. 19:59:22 -!- cheater2 has quit (Ping timeout: 260 seconds). 19:59:53 -!- cheater2 has joined. 20:04:36 huh 20:04:48 package gnome did not depend on xorg-server 20:04:59 I guess that does make kind of sense 20:05:09 but it seems somewhat strange still 20:05:47 Only needs the libraries. 20:05:59 It can use a server on another system just fine. 20:06:27 Ubuntu 10.04 is frighteningly polished. 20:06:30 Could this OS actually become usable? 20:06:51 The only words that occur to me are "surely not". 20:09:49 -!- augur has joined. 20:09:59 The next version of Ubuntu will, inevitably, do something absolutely retarded like use a very buggy repository release of Pulseaudio. 20:10:08 Of course. 20:10:26 But hey... this is quite nice. 20:10:59 heh 20:11:11 TERMINAL IS TRANSPARENT BY DEFAULT WHY WHY 20:11:20 alise, so not perfect then 20:11:22 ONLY PEOPLE WHO DON'T ACTUALLY USE THEIR TERMINAL MAKE IT TRANSPARENT 20:11:24 also *shudder* 20:11:29 AnMaster: It's Ubuntu. Of course it's not perfect. 20:11:35 alise, so change the setting 20:11:45 I'm trying!! 20:12:01 ONLY PEOPLE WHO DON'T ACTUALLY USE THEIR TERMINAL MAKE IT TRANSPARENT <-- says a lot about ubuntu 20:12:09 Done 20:12:20 AnMaster: Not really, because the theme will have been created by graphics designers. 20:12:25 Who, you know, don't generally use terminals. 20:12:37 alise, graphics designers.... 20:12:46 WHAT DO THEY HAVE TO DO WITH THEMES AND GUIs? 20:12:53 KEEP THEM AWAY FROM IT 20:13:14 AnMaster: Would you prefer to have a programmer do it? 20:13:17 alise, anyway I will continue to use clearlooks + old gnome icon theme 20:13:24 pikhq, yes. twm isn't too bad at all 20:13:32 -!- coppro has quit (Ping timeout: 276 seconds). 20:13:38 Well, a graphics designer/human-computer interaction/typography specialist is who you want to do it. 20:13:40 alise: mine is transparent 20:13:41 AnMaster: On the other hand, CDE hurts. 20:13:51 pikhq, okay good point 20:13:59 alise: In other words, you want a UI designer to do it. :) 20:14:03 Graphics designer so that it's pleasing on the eye, human-computer interaction expert for incredibly obvious reasons, and typography to present the information well. 20:14:09 pikhq: Well, yeah. Exactly. 20:14:11 Pity that those hardly even exist. 20:14:29 * alise installs Emacs, thus directly contributing to the nonexistence of UI designers 20:14:38 heh 20:14:40 alise, :D 20:15:07 alise, thought the same would apply to vi(m) 20:15:11 It would, yes. 20:15:17 *though, I think. 20:15:22 You know, I like this purple colour. 20:15:25 It's much better than the orange. 20:15:31 orange? 20:15:34 orange where? 20:15:41 The orange/brown of past Ubunti. 20:15:44 ah 20:15:58 * AnMaster is on a blue ubuntu (no, not kubuntu) 20:16:05 (just no logo in sight anywhere) 20:16:10 It's now purple-background with beigey-yellow window colours and dark brown/dark greyish window decoration. 20:16:16 Plus dark grey menus. 20:16:18 It's nice. 20:16:27 alise, I prefer very light colours personally 20:16:27 Something new for a change. 20:16:46 (So do I but the light version of this theme is hideous and I don't like the other light Gnome themes) 20:16:52 i'd like it if it wasn't a dark theme 20:16:56 alise, clearlooks? 20:16:56 Using a light background would perk this up just fine. 20:17:00 AnMaster: No thanks. 20:17:05 Used Clearlooks for months now but not happily 20:17:09 alise, what is wrong with clearlooks? 20:17:09 i just don't think they work as well as they should do... 20:17:18 alise, it is unobtrusive 20:17:33 I don't find it very usable. 20:17:40 alise, in what way? 20:17:58 For various reasons I find this theme more easily usable, because the menus are better-highlighted, there aren't copious borders everywhere cluttering up the interface, and the default colours are a lot easier on the eyes. 20:18:07 I just find it more pleasant to use. 20:18:35 Ubuntuers intersect Emacsers: emacs-snapshot-gtk or emacs23? 20:19:23 alise, I prefer stable one in general 20:19:32 not sure what emacs-snapshot-gtk is 20:19:38 but this laptop is still jaunty 20:19:39 From trunk, but Emacs trunk never breaks. 20:19:44 (update planned to june) 20:19:55 And Debian/Ubuntu would never ship a broken emacs-snapshot anyway. 20:19:55 alise, it doesn't? It broke on me before 20:20:02 A /lot/ of people use that package. 20:20:05 but true 20:20:16 debian or ubuntu wouldn't ship broken versions 20:20:54 -!- SgeoN1 has quit (Ping timeout: 245 seconds). 20:21:15 * alise loads up HAKMEM to have a little browse. 20:22:11 Ouch, their ASCII mathematical notation is unreadable :) 20:22:54 Hey! They have results obtained with MATHLAB in there -- the first ever CAS! 20:22:59 Cool. 20:23:18 alise, HAKMEM? 20:23:35 You /don't know what HAKMEM is/? 20:23:37 pikhq: Stab him. 20:23:38 no 20:24:06 AnMaster: Only one of the most influential and awesome MIT A.I. Lab notes. Circa 1972, it contains many pieces of apocrypha, algorithms, neat tricks, anecdotes, properties, solutions, and, well, everything. 20:24:08 http://home.pipeline.com/~hbaker1/hakmem/hakmem.html 20:24:30 "HAKMEM is notable as an early compendium of algorithmic technique, particularly for its practical bent, and as an illustration of the wide-ranging interests of AI Lab people of the time, which included almost anything other than AI research." 20:24:35 from wikipedia 20:24:35 XD 20:24:36 Topics include the "bananananananana..." problem with letter-based Markov chains, algorithms for calculating all kinds of stuff, 20:24:46 lots and lots of random interesting mathematics, 20:24:58 games and stuff, ideas for computer programs, 20:25:11 and machine-specific hardware hacks. 20:25:21 * pikhq stabs everyone 20:25:33 # Problem 95 Solve chess 20:25:33 # Problem 96 Solve Go 20:25:39 Not without ambition, either. 20:25:41 [[PROBLEM 95: 20:25:41 Solve chess. There are about 10^40 possible positions; in most of them, one side is hopelessly lost. 20:25:41 PROBLEM 96: 20:25:41 Solve Go. About 10^170 positions.]] 20:26:16 AnMaster: Anyway if you can get past the hideous ASCIImathematics (it's not linear, it's just really ugly 2D notation) it's a joy to read. 20:26:38 alise, example of the notation? 20:26:44 Lots of famous figures referred to in it 20:27:04 ==== K K 20:27:04 \ (-1) (delta A0) 20:27:04 A0 - A1 + A2 - ... = > ----------------- 20:27:04 / K+1 20:27:04 ==== 2 20:27:04 K 20:27:06 ==== 20:27:08 K \ K-m 20:27:10 (where (DELTA A0) = > BINOMIAL(K, m) (-1) Am = Kth forward difference on A0) 20:27:12 / 20:27:14 ==== 20:27:16 m=0 20:27:21 *Ugh*. 20:27:24 hm 20:27:25 night 20:27:27 /===\ 20:27:27 ! ! 2 20:27:27 ! ! (ROOT - ROOT ) = square of determinant whose i,j element is 20:27:27 ! ! i j 20:27:27 i < j 20:27:27 Thank $diety for TeX 20:27:29 i-1 20:27:30 ROOT . 20:27:33 j 20:27:41 pikhq: Yeah, but still, you gotta admire these guys for typesetting non-trivial mathematics like that. 20:27:52 It was, after all, done on a PDP in the 70s. 20:27:56 alise: True. That's pretty dang hard to do in ASCII. 20:28:07 [[In work on education at our lab, we built a motorized "turtle" controlled by computer commands in the child-oriented language "Logo".]] 20:28:13 Particularly when you consider that the whole idea of a *visual editor* was relatively new. 20:28:26 To be honest, though, they should have just handwritten it like so: 20:28:26 http://home.pipeline.com/~hbaker1/hakmem/Item187I.gif 20:28:41 But then the formulas were designed for snarfing into other stuff, I suspect, while doing that with the diagram would be patently impossible in the 70s. 20:28:53 Or got Knuth to invent TeX a bit faster. 20:29:08 Could have given it in linear, computerised notation + a drawing of the mathematical notation. 20:29:47 Proving that short programs are neither trivial nor exhausted yet, there is the following: 20:29:47 0/ TLCA 1,1(1) 20:29:47 1/ see below 20:29:47 2/ ROT 1,9 20:29:47 3/ JRST 0 20:29:48 This is a display hack (that is, it makes pretty patterns) with the low 9 bits = Y and the 9 next higher = X; also, it makes interesting, related noises with a stereo amplifier hooked to the X and Y signals. Recommended variations include: 20:29:51 CHANGE: GOOD INITIAL CONTENTS OF 1: 20:29:53 none 377767,,377767; 757777,,757757; etc. 20:29:55 TLC 1,2(1) 373777,,0; 300000,,0 20:29:57 TLC 1,3(1) -2,,-2; -5,,-1; -6,,-1 20:29:59 ROT 1,1 7,,7; A0000B,,A0000B 20:30:01 ROTC 1,11 ;Can't use TLCA over data. 20:30:03 AOJA 1,0 20:30:05 So interesting to see the very theoretical mathematics juxtaposed with dirty PDP tricks. 20:30:10 I wish I was in the AI Lab back then... and born. 20:30:23 Much awesomeness was happening then. 20:30:24 -!- augur has quit (Remote host closed the connection). 20:30:31 The myth that any given programming language is machine independent is easily exploded by computing the sum of powers of 2. 20:30:31 * If the result loops with period = 1 with sign +, you are on a sign-magnitude machine. 20:30:31 * If the result loops with period = 1 at -1, you are on a twos-complement machine. 20:30:31 * If the result loops with period > 1, including the beginning, you are on a ones-complement machine. 20:30:31 * If the result loops with period > 1, not including the beginning, your machine isn't binary -- the pattern should tell you the base. 20:30:34 * If you run out of memory, you are on a string or Bignum system. 20:30:35 * If arithmetic overflow is a fatal error, some fascist pig with a read-only mind is trying to enforce machine independence. But the very ability to trap overflow is machine dependent. 20:30:38 By this strategy, consider the universe, or, more precisely, algebra: 20:30:40 let X = the sum of many powers of two = ...111111 20:30:42 now add X to itself; X + X = ...111110 20:30:45 thus, 2X = X - 1 so X = -1 20:30:46 therefore algebra is run on a machine (the universe) which is twos-complement. 20:31:43 That uses the sum of powers of two = -1 result :-) 20:34:18 -!- Tritonio_GR has quit (Read error: Connection reset by peer). 20:43:03 1 20:43:03 / 20:43:03 [ 1 20:43:03 K(m) = I ------------------------- dt 20:43:03 ] 2 2 20:43:03 / sqrt((1 - t ) (1 - m t )) 20:43:05 0 20:43:08 Why did they use such strange ASCII notation for big symbols? 20:43:29 -!- Phantom_Hoover has joined. 20:48:14 Ugh; this video driver is wonky. 20:51:28 -!- Mathnerd314 has joined. 20:52:09 Oh, alise, I've been thinking about the c signal thing. 20:52:13 -!- hiato has joined. 20:52:38 It is possible to have signals that travel at c but stop, but they have to be subject to some restrictions. 20:53:19 Phantom_Hoover: Oh? 20:53:20 pikhq: Are you there 20:53:25 s/$/?/ 20:53:40 Yes. 20:53:48 Do you have a nvidia card? 20:53:53 Basically, the distance left to go has to be encoded into the first row of cells. 20:53:54 No. 20:54:00 Why not :( 20:54:17 Because my onboard video card is ATi, and I'm too lazy to get an Nvidia card. 20:54:28 But, but, I need help with a driver. 20:54:34 But eh, it's alright. The free software drivers for ATi cards don't suck too bad. 20:54:49 I've used Nvidia in the past. 20:54:53 Whaddya need help with? 20:56:07 I'm using the "current" nvidia drivers, but I can switch to versions 96 and 173. 20:56:20 In Emacs 23, after a while, text distorts with random lines and stuff. 20:56:31 Pretty soon the actual typed text becomes incomprehensible blobs of random black and white. 20:56:32 Halp. 20:57:03 * alise screenshots 20:57:25 Doesn't Ubuntu default to Nouveau drivers? 20:57:46 pikhq: http://imgur.com/D7aCd.png 20:57:51 pikhq: Yes, but those distorted every single piece of text. 20:57:55 Which I thought was significantly worse. 20:58:02 WTF? 20:58:17 I have never ever ever seen that behavior with official Nvidia drivers. 20:58:31 nor me 20:58:40 and my desktop is nvidia 20:58:49 This is a shitty onboard nvidia card btw. 20:58:51 Not that recent. 20:58:58 I wonder if disabling Compiz would help. 20:59:01 Nvidia's drivers for Linux are very well-tested. Same drivers used for Windows, in fact. 20:59:08 This didn't happen in 9.04, by the way. 20:59:12 (they interact with kernels via an abstraction layer) 20:59:18 pikhq: I'm wondering if downgrading might help; they may have done changes without testing old low-end models. 20:59:26 alise: Try it. 20:59:31 Also, only Emacs does this. 20:59:32 That seems plausible. 20:59:34 pikhq: Requires a reboot, so... 20:59:37 I'm reluctant :P 20:59:43 I guess I could just restart X. 20:59:46 But defying Ubuntu is Unwise. 20:59:50 Unbuntu. 20:59:53 alise, I use 173 series drivers, not the last ones there. For other bugs 21:00:01 lockup with DVI bugs 21:00:03 to be specific 21:00:05 I might do that, then. 21:00:36 alise, completely different bug though 21:00:47 alise, also you need something that supports your card 21:01:32 This didn't happen in 9.04, by the way. <-- what about 9.10? 21:02:03 Has never graced this machine. 21:02:51 alise, how comes? 21:03:48 Just didn't upgrade. It's an old machine. 21:05:13 ^source 21:05:13 http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 21:08:43 Oh dear. I just looked at shish.c again. 21:08:52 My goodness that was crazy code. 21:11:57 night 21:12:04 pikhq, link? 21:12:36 http://sprunge.us/QcPH 21:12:50 Needs to be built with -nostdlib 21:12:59 And x86 only. 21:14:50 pikhq, what does it do?= 21:14:55 s/=// 21:14:57 It's a shell. 21:15:00 ah 21:15:14 Does it... work? 21:15:20 Barely. 21:15:53 I saw it some time ago... 21:16:13 Yes, it was written a while back. 21:19:41 Does x86_64 work? 21:20:08 Probably not. 21:20:20 shish.c:57: error: __NR_waitpid undeclared (first use in this function) 21:20:21 shish.c:57: error: (Each undeclared identifier is reported only once 21:20:21 shish.c:57: error: for each function it appears in.) 21:20:22 I guess not. 21:20:39 I doubt -m32 will help with THAT 21:20:42 but who knows 21:20:50 it's the header files I need 21:20:52 the 32-bit ones 21:21:32 alise, well yes maybe but more importantly is that int $0x80 doesn't work to do a system call on x86_64 linux afaik 21:21:42 Ah. 21:22:09 alise, it is syscall or nothing iirc 21:22:11 And my string comparison trick might not work either. 21:22:25 pikhq, you wrote it!? 21:22:40 /* shit shell -- Copyright Jeffry Johnston, Josiah Worcester 2010. License: GNU GPLv3 */ 21:22:42 AnMaster: Yes, I am one of the two authors. 21:22:42 At least partly. 21:22:47 *Worcestershire 21:22:49 which one? 21:22:54 Josiah. 21:22:57 ah 21:22:59 Jeffry is calamari. 21:23:00 Josiah "pikhq" Worcester 21:23:06 *"Pik Headquarters" 21:23:08 ah I see 21:23:52 Johnston? Not Johnson? 21:23:55 alise: So I was 8, into Pokemon, and trying to make a website when I first started having screennames... 21:23:57 typo? 21:24:12 Jeffry is a typo too. 21:24:15 :P 21:24:18 His name is one big typo. 21:24:24 Jeffry Johnston is correct. 21:24:34 Correct as in "dear parents why god why" correct. 21:24:41 pikhq: Wait, what does pikhq have to do with pokemans? 21:24:46 alise, XD 21:24:50 alise: pik->pikachu 21:24:54 pikhq, :D 21:25:03 Your name is pronounced like "pikachu"? 21:25:06 Wow. I never knew! 21:25:16 ... Pik-etch-kyuu. Yes. 21:25:18 I never new q -> chu. 21:25:23 *knew 21:25:33 wonderful 21:25:35 pika: Mind if I call you pika? 21:25:39 :D 21:25:42 Or would pika-pikAA be better? 21:26:02 alise: XD 21:26:02 ouch my mouth, these smilies hurt 21:26:28 -!- alise has changed nick to raihq. 21:26:30 Anyways. I was 8, and I'm too lazy to change my nickname. 21:26:44 pikhq: I evolved from you. 21:26:47 It's freaking been 12 years now. I think it's just stuck. 21:26:54 POKEMON: Totally how evolution really works. 21:27:02 raihq: You bastard, finding a thunderstone. 21:27:12 -!- raihq has changed nick to pihq. 21:27:17 Diminutive am I. 21:27:28 Hi, Pichu. 21:27:33 -!- pihq has changed nick to alise. 21:27:35 Alisian am I. 21:27:51 I'm afraid my nickname is pretty much stuck in a similar way 21:28:06 AnMaster unfortunately refuses to become an hero. -- example usage. 21:28:31 "an h" always hurts to look at. 21:28:47 Why is your name alise? 21:29:00 Also, it's "a hero". 21:29:08 Phantom_Hoover: Trolling is a art. 21:29:12 I quote Eddie Izzard: 21:29:24 Phantom_Hoover: In other words, you fail hard. 21:29:48 "You say 'erb', we say 'herb', because there's a fucking h in it." 21:29:54 yay 1:45. Perfect 21:30:15 or hm 45:1 rather I guess 21:30:16 Phantom_Hoover: You truly are oblivious, aren't you? 21:30:20 Phantom_Hoover: Anyway: An honour killing. 21:30:25 What? 21:30:28 Ergo GTFO QED 21:30:32 Oblivious to what? 21:30:37 Phantom_Hoover: "an hero" is intentional. 21:30:42 Oh, OK. 21:30:45 But, I repeat: an honour killing. 21:30:48 alise: See, that usage of "an" doesn't hurt because the "h" is unpronounced. 21:30:54 pikhq: I was rebutting: 21:30:56 "You say 'erb', we say 'herb', because there's a fucking h in it." 21:30:57 Yes it is! 21:31:04 There is a fucking "h" in "honour". 21:31:05 Fair 'nough. 21:31:09 But it's "an honour killing". 21:31:19 alise: STOP ASSUMING THAT ENGLISH SPELLING IS SANE. 21:31:20 Phantom_Hoover: You say "haa nur"? 21:31:26 No. 21:31:29 Phantom_Hoover: YOU FIRST 21:31:34 Phantom_Hoover: STOP WHINING ABOUT STUFF, PRESCRIPTIVIST 21:31:44 YOU MADE THAT WORD UP. 21:32:00 alise, when measuring gear ratio, if you are gearing down relative the motor, is it 1:45 or 45:1 ? 21:32:13 AnMaster: My expert opinion is that it is 45:1. 21:32:28 alise, okay then 21:32:37 YAY 45:1 is the perfect gear ratio! 21:32:41 Why? 21:32:43 Clearly 1:phi is. 21:32:48 Or phi:1. 21:33:01 alise, well blame lego for making the wrong engine speeds then 21:33:14 it is the perfect gear ratio for this application 21:33:41 which is to turn the turn table of the panohead for the camera 21:33:48 "An analogous distinction to that of "a" and "an" was once present for possessive determiners as well. For example, "my" and "thy" became "mine" and "thine" before a vowel, as in "mine eyes". This usage is now obsolete." 21:33:55 ... That usage is obsolete? 21:34:03 I honestly never realised. 21:34:26 pikhq, who would say "mine eyes"? 21:34:28 Well, lots of "obsolete" things are used for humourous effect. 21:34:30 you mean "my eyes" 21:34:32 AnMaster: I would. 21:34:41 pikhq, sounds archaic 21:34:53 pikhq also says thou and such :P 21:34:53 It 21:35:01 pikhq, well yes 21:35:03 's an *unintentional* archaicism from me, though. 21:35:04 and "good morrow 21:35:05 " 21:35:12 alise: Yes, but I'm *aware* that that's archaic. 21:35:16 which sounds extremely archaic 21:35:18 pikhq, ^ 21:35:24 I say "heaven forfend" a lot. 21:35:28 AnMaster: Archaicisms amuse me. 21:35:36 Phantom_Hoover, what does that even mean? 21:35:49 AnMaster: ~= "heaven forbid". 21:35:53 * AnMaster will begin saying anno domino bricks 21:36:13 * pikhq actually does say anno domini 21:36:34 XD 21:36:45 i nådens år! 21:36:45 * pikhq also says etc. as et cetra with a hard 'c', because Church Latin sucks 21:36:53 (not sure how to translate that) 21:37:07 "In the Year of our Lord"? 21:37:38 pikhq, google translate suggests "in the year of grace" but I suspect your suggestion is better 21:37:44 (this was used in English up until about the 1800s) 21:37:49 though google is more literal 21:37:56 but same meaning as what you suggested 21:38:15 For instance, the Declaration of Independence is dated "1776, in the Year of our Lord" 21:38:18 pikhq, it is extremely archaic in Swedish 21:38:41 It had a somewhat formal tone to it even then, though. 21:42:27 -!- Tritonio_GR has joined. 21:42:44 * pikhq also says etc. as et cetra with a hard 'c', because Church Latin sucks 21:42:52 Sheesh, we all know "etc." is pronounced "and c"! 21:43:57 alise: So you too know that the ampersand is a ligature of et. 21:44:12 I was actually uncapable of writing it until I learned that. 21:45:04 The prettiest ampersands are written like that. 21:45:18 The vulgar & form in which that almost certainly just displayed is hideous. 21:45:33 Here's one I particularly like: http://www.merton.ox.ac.uk/images/indexquote.jpg 21:45:40 But I also like the regular Et versions. 21:46:04 pikhq: Whenever I typeset "etc.", I set "&c." in an italic font with an ampersand that closely resembles Et. 21:46:13 Very nice results. 21:46:21 Also, don't you mean incapable? 21:46:40 alise: Yes, yes I do. 21:47:19 But, yeah. I write it as a ligature because I really have no clue how you're supposed to write the more typical form. 21:47:23 -!- augur has joined. 21:47:27 I can do it, it just looks ugly. 21:47:37 And thel ligature looks nice. 21:47:57 Probably the best way to handwrite & is a curly E with two sticks at top and bottom, but the Et form is certainly the prettiest and it's the one I use even though my handwriting is atrocious (like that of a three year old's). 21:48:15 I have no desire to improve my handwriting, though, because, um, it doesn't fucking matter. 21:48:25 Learn Chinese, and your handwriting shall improve! :P 21:49:34 As will my ability to communicate with people in fascist countries! 21:49:56 And mostly unrecognised ones! 21:50:03 "Hi there!" "Hi!" "JUNE FOURTH INCIDENT LOL (runs away)" 21:50:06 alise, if your have a & that is bound together at a top the best way is the form the lower curve then continue with the upper 21:50:22 (The Republic of China is certainly not fascist, but not exactly recognised by most nations) 21:50:24 the symbol on my keyboard is bound together like that 21:50:31 the symbol in this font is not 21:50:40 South Korea seems to be the sanest of that block of countries. 21:50:54 Along with Japan. 21:51:02 (Why did I forget about Japan?) 21:51:17 alise, because manga and anime aren't sane? ;P 21:51:24 alise, also what about ROC? 21:51:32 as opposed to PRC 21:51:45 It's not like surrounding countries don't inherit some of the manga/anime culture. 21:51:55 true 21:52:04 Anyway it's not something I'd call "insane"; I'd call Japanese culture fucked up for entirely different reasons 21:52:11 Such as... their entire attitude to sex. 21:52:22 Also, Taiwan is better than China but not by /that/ much. 21:52:50 alise: What, you're not going to go for Japanese nationalism as what's really fucked up about it? 21:53:02 -!- hiato has quit (Quit: laptop work ensues). 21:53:07 what is fucked up about the view on sex+ 21:53:12 s/+/?/ 21:53:37 AnMaster: They have a very, very stifled and prudish attitude towards sex -- which just means that closeted perversion is the norm. 21:53:45 And Japanese marriage isn't so very nice either. 21:54:01 ah 21:54:10 AnMaster: (This also results in strange things such as having hentai manga not actually making you a complete social outcast.) 21:54:19 XD 21:54:31 No, I'm serious; people have it on the train. 21:54:37 pikhq: Okay, well, yes, that too. 21:54:46 alise, what about nintendo love hotel? 21:54:53 and love hotels in general... 21:55:12 AnMaster: Love hotels are both the result of perversion *and* just a fairly simple practical need... 21:55:29 Dense population makes reasonable amounts of privacy when having sex hard. 21:55:37 Ah, I love Nintendo's history! 21:55:38 -!- ws has joined. 21:55:40 alise, closeted perversion + hentai on the train OK... doesn't add up 21:55:47 AnMaster: Well, it doesn't, does it. 21:55:50 Particularly with children. 21:55:51 I told you it was fucked up. 21:56:15 Nintendo: [1889] Handmade card company --> cab company & love hotel --> video games [2010] 21:56:27 cabs too? 21:56:32 Yes. 21:56:33 Yes, and a TV network. 21:56:36 alise, did the continue with the cards during that time? 21:56:39 They still have the card company, I think. 21:56:41 And they tried to sell instant rice -- like instant noodles. 21:56:47 hah 21:56:54 [[Nintendo continues to manufacture playing cards in Japan[11] and organizes its own contract bridge tournament called the "Nintendo Cup".[12]]] 21:56:59 bbl urg 21:57:04 They've ventured out into a fairly large number of things. 21:57:25 And they run the Seattle Mariners. 21:57:29 Anyway, I hate Nintendo. Why? Super Mario Galaxy. 21:57:50 You complete the game, it's easy. Now you do all the levels you didn't do, including the single most evil level of any video game ever created: Luigi's Purple Coins (YOU DO NOT WANT TO KNOW). 21:58:01 Then you play the entire game again, including boss level, as Luigi, who jumps and moves differently. 21:58:19 Oh, did I mention? Before Luigi you do the boss level again. 21:58:22 Then you finish off all the levels you didn't do as Luigi. 21:58:27 Then you do the boss level for the fourth and final time. 21:58:37 Now you get one shitty, small congratulation world that you can do in five minutes and is not much at all. 21:58:39 Do it as both Luigi and Mario. 21:58:43 Tada, you now hate life. 21:59:16 Do not do 100% completion on games. It isn't worth it. 21:59:29 Except *possibly* Mario 64? 21:59:32 -!- bughi has joined. 22:01:46 -!- bughi has left (?). 22:03:40 pikhq: Nothing else to play at the unit, though. 22:03:41 More or less. 22:03:54 Except Mario Kart, which is only fun if you have a good opponent and haven't played the same levels over and over already. 22:05:08 alise: Ah. 22:05:50 alise: So, they'd frown on, say, hacking the Wii so you could have Super Mario World going? 22:05:56 Can't you even bring stuff of your own? 22:07:57 pikhq: Probably. 22:08:01 Phantom_Hoover: I don't own a Wii, or any Wii games. 22:08:09 Oh. 22:08:24 -!- Phantom_Hoover has quit (Remote host closed the connection). 22:10:00 Wow, there's a tex2mail. 22:10:02 pikhq: You'd hate that. :-) 22:10:12 Bit crappy, though: 22:10:13 ehird@ehird-desktop:~/research/2010-05$ perl tex2mail 22:10:14 $$zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s}, \quad Re(s) > 1.$$ 22:10:14 22:10:14 \~~ oo1 22:10:14 zeta(s) = > --, Re(s) > 1. 22:10:14 /__ n=1 s 22:10:16 n 22:10:30 Other things it handles better: 22:10:32 ehird@ehird-desktop:~/research/2010-05$ perl tex2mail 22:10:32 $$\int x^m (\ln x)^n\; dx 22:10:32 = \frac{x^{m+1}}{m+1} 22:10:32 \cdot \sum_{i=0}^n (-1)^i \frac{(n)_i}{(m+1)^i} (\ln x)^{n-i}$$ 22:10:32 22:10:33 m+1 (n) 22:10:35 ,- m n x \~~ n i i n-i 22:10:37 | x (ln x) dx = ---- . > (-1) ------ (ln x) 22:10:39 -' m+1 /__ i=0 i 22:10:41 (m+1) 22:11:41 Except *possibly* Mario 64 <-- almost worth it there 22:11:43 not quite 22:12:00 AnMaster: It's at least amusing most of the way. 22:12:39 pikhq, you can't ride on yoshi though 22:12:40 :/ 22:12:57 If you could, it would *definitely* be worth it. 22:13:00 Freaking Yoshi! 22:13:09 exactly 22:13:38 pikhq, also that wet-dry land thing where you have to go into that town thingy is freaking annoying 22:13:59 the one were you adjust water levels 22:14:01 Guys, I just realised something. 22:14:05 roff is actually... pretty good. 22:14:15 alise, nroff? groff? troff? 22:14:31 I mean the language itself, but let's just say groff. 22:14:38 ah 22:14:39 eqn is also pretty okay for doing mathematics in roff. 22:14:48 alise, it is pretty annoying IMO 22:14:53 much worse than TeX 22:14:54 Yes, the excuse for 22:15:00 UNIX being developed is not terrible. 22:15:01 :P 22:15:19 pikhq, ? 22:15:20 (well; getting *funded* and developed) 22:15:42 .nr PS 12 22:15:42 .nr PO 1i 22:15:42 .nr LL 6.5i 22:15:42 .TL 22:15:42 Howdy doody 22:15:42 .AU 22:15:44 Elliott Hird 22:15:46 .LP 22:15:48 Totally bitchin'. 22:15:50 I don't see anything abhorrent about that. 22:15:54 Sure, manpage roff is an abomination. 22:15:58 But -ms is... just fine... 22:16:03 -ms? 22:16:11 AnMaster: UNIX was made to play a game. Then, AT&T wanted a typesetting system. So, they made one for UNIX and claimed the whole thing as the typesetting system. 22:16:13 The general paper/article writing command set. 22:16:13 and man page roff is the only roff I know 22:16:20 AnMaster: Different macro sets. 22:16:28 Also, eqn's input format is actually more legible than TeX's: 22:16:32 pikhq, ... which game? 22:16:32 sum from {k=1} to N {k sup 2} 22:16:37 AnMaster: Spacewars 22:16:44 *Spacewar! 22:16:57 alise, hm... is that the one where you have two opponents= 22:17:08 Dunno 22:17:18 hm not the one 22:18:33 Haha wow, nroff even handles EQN equations 22:18:43 actually 22:18:44 "The basic gameplay of Spacewar! involves two armed spaceships called "the needle" and "the wedge" attempting to shoot one another while maneuvering in the gravity well of a star. The ships fired missiles that were unaffected by gravity (due to a lack of processing time)" 22:18:54 yes it is the one I was thinking about 22:22:58 * alise typesets the definition of the zeta function with eqn and groff 22:23:08 pikhq: You know... the HAKMEM authors had no excuse. 22:23:24 They had a perfectly cromulent typesetting system available to them -- they just didn't like Unix. :-) 22:23:25 alise: Yeah... 22:24:15 \[*z](s) = sum from {n = 1} to inf { 1 over {n sup s} } 22:24:17 ^^ Not hard. 22:24:41 Can actually be simplified to: 22:24:44 -!- Phantom_Hoover has joined. 22:24:47 \[*z](s) = sum from n=1 to inf {1 over n sup s} 22:25:02 Also 22:25:03 \[*z](s) = sum n=1 to inf {1 over n sup s} 22:29:53 pikhq: Oh, and did I mention? 22:29:59 pikhq: EQN invented the $...$ notation. 22:30:00 If you do 22:30:01 .EQ 22:30:02 delim $$ 22:30:02 .EN 22:30:04 Then you can say 22:30:16 Let $alpha sub i$ be the primary variable, and let $beta$ be zero. Then we can show that $x sub 1$ is $>=0$. 22:30:26 And it can even handle inline sums, etc. 22:30:33 This thing invented TeX before Knuth! 22:33:26 alise, what about TeX line break algorithm? 22:33:32 -!- oerjan has joined. 22:33:44 fun thing... fsck sda1 vs. fsck /dev/sda1 22:33:45 groff has good justification (it was used for lost of articles and such) 22:33:48 the former shows help 22:33:52 Not quite as mathematically perfect as TeX, but just fine. 22:33:55 the second does what you expect 22:33:56 WTF 22:33:58 And roff is more modular: 22:34:03 Gregor: hackbot is missing 22:34:09 eqn is an entirely separate program to all the roffs. 22:34:16 It generates the relevant roff instructions. 22:35:13 .EQ 22:35:14 delim $$ 22:35:14 .EN 22:35:19 what if you don't include that 22:35:25 what are the delimiters then= 22:35:31 s/=/?/ 22:35:35 None by default. 22:35:49 alise, so why did it invent $$ then? 22:35:56 was it just a common choice of letter? 22:35:58 Because that's included in the manual. 22:36:07 ah 22:36:17 -!- calamari has joined. 22:36:49 Ha, it lets you use actual tabs to space out stuff. 22:37:26 -!- calamari has quit (Client Quit). 22:41:58 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 22:45:00 brb 22:46:17 im all spaced out 22:48:10 -!- tombom has quit (Ping timeout: 260 seconds). 22:49:30 -!- tombom has joined. 22:51:19 night 22:51:57 -!- AnMaster has quit (Quit: ZNC - http://znc.sourceforge.net). 22:52:04 -!- Guest27685 has quit (Changing host). 22:52:04 -!- Guest27685 has joined. 22:52:12 -!- Guest27685 has changed nick to jcp. 22:52:31 heyo 22:52:48 Gregor: *hackego 22:57:12 Phantom_Hoover: No; someone who murders isn't a serial killer. 22:57:24 the series was abrupted cancelled after the first episode 22:57:28 *abruptly 22:58:25 which series 22:58:50 the reiser series 22:59:27 o 22:59:56 -!- tombom has quit (Ping timeout: 240 seconds). 22:59:59 -!- tombom_ has joined. 23:00:02 * oerjan ponders whether to include more context in his log quotes in the future. Nah. 23:00:09 I agree, nah 23:01:39 alise, but what do the russian think of it 23:01:48 http://filebin.ca/jfjfa/zeta.pdf A test of groff+eqn, and the code generating it: http://pastie.org/972803.txt?key=7lsbxeagajpofaixjsn5ya 23:01:49 pikhq: ^ 23:02:03 russia has an extreme shortage of men, that may have something to do with it too 23:02:09 Easy? Yep... pretty easy. 23:02:25 And people say roff is all incomprehensible dots and backslashes. 23:02:55 oerjan: extreme? "Russia has always suffered from a shortage of men relative to the number of women (currently men make up only 44% of the total population)." 23:03:04 a shortage, but extreme? 23:05:27 !haskell (\(.)->('H':).('i':).(' ':).('r':).('o').('f':))(.)"f" 23:06:01 grmbl 23:06:33 !haskell (\(.)->('H':).('i':).(' ':).('r':).('o':).('f':))(.)"f" 23:06:35 "Hi roff" 23:07:14 ok could need more backslashes 23:07:27 Lambdalambdalambda 23:12:32 No, it exists platonically. 23:12:44 nothing involving rule 34 can exist platonically, sheesh 23:12:50 Platonic sex! 23:28:40 http://zaidwaqi.files.wordpress.com/2010/03/mathinputpanel.png 23:28:49 Wow. The first useful Windows 7 feature is discovered. 23:29:26 13:25:18 I never new q -> chu. 23:29:37 isn't that approximately what it is in pinyin? 23:30:32 e.g. the dynasty from which the western word "china" is derived is now spelled Qin 23:31:21 oerjan: q in pinyin is a ch-like sound 23:31:25 but pinyin also has ch 23:31:34 (the chinese themselves prefer the Han dynasty, since Qin was a book-burning despotism 23:31:38 ) 23:31:41 they differ slightly in the shape and position of the tongue 23:33:21 -!- tombom_ has quit (Quit: Leaving). 23:39:50 oerjan: As do the rest of the CJK languages. 23:51:47 -!- MigoMipo has quit (Read error: Connection reset by peer). 23:54:35 alise: that is rather useful! 23:54:44 (bit late but ...) 23:55:47 augur, I sometimes respond to things hours later 23:55:54 ;) 23:57:50 What's the most common font size used with LaTeX? 23:58:03 augur: yeah apparently you can use a laptop touchpad to input the maths 23:58:08 not sure how it'll do advancing though 23:58:12 but still: kick ass! 23:58:18 now put that on a tablet computer 23:58:20 and hook it up to a CAS 23:58:22 bliss achieved? 23:58:23 11, the default. 23:58:41 Funny. With roff people seem to use 10pt and 12pt, but not 11pt. 23:58:49 its probably a bit slower than typing tho 23:58:51 Of course with -ms you can set it easily: 23:58:53 .nr PS 23:58:57 augur: not for complex mathematical notation 23:59:01 typing with automatic math recognition, i mean 23:59:04 it requires mental translation 23:59:11 eh 23:59:13 i dont know 23:59:16 grapher has a nice interface for that 23:59:42 that equation is simply 23:59:55 -!- EgoBot has quit (Remote host closed the connection). 23:59:57 -!- EgoBot has joined. 23:59:57 -!- HackEgo has joined.