00:00:05 The loop seems curiously unrollable to me; and I don't quite see why it bothers to keep the loop counter updated at [rsp] while the body is really that simple. 00:01:15 Especially when it initializes it with a constant 10 at the top. 00:02:09 http://pastebin.com/U816YgtS is what it comes out with now (minus 30000 movb's) 00:02:17 Minus 29999 movb's, to be exact. 00:03:11 No inlining, which is a bit weird. 00:03:33 Maybe the 30k movbs make it too large to consider inlining. Though one use only... 00:03:36 I had rbx-based indexing in some earlier version too. 00:04:44 That variant seems to again do the "store 0 into [rsp], then add 10 to it later and use that as the loop condition". 00:05:09 At least the one I got out initializes [rsp] directly to 10, and then falls through to Block1 directly without a test. 00:08:30 -!- oerjan has joined. 00:08:45 For the record, these were from llvm version 2.6 (Debian 2.6-8), which might've been guessable. 00:09:48 Marking llbf as alwaysinline is obviously a win anyways 00:13:38 Deewiant: Hey! I got that puts("Hello World!"); out of it. 00:13:50 Great; what'd you do 00:15:07 what's the address to contact the mail server owner? 00:15:09 postmaster? 00:15:32 Deewiant: I changed my existing <> code of "%tmp1 = ptrtoint i8* %oldmem to i64; %tmp2 = add/sub i64 %tmp1, N; %newmem = inttoptr i64 %tmp2 to i8*;" into "%newmem = getelementptr i8* %oldmem, +-N". 00:15:53 That was it? Awesome 00:16:06 llvm-as < hello.ll | opt -O3 -std-compile-opts -std-link-opts -loop-unroll | llvm-dis => http://pastebin.com/AYiVB3pM 00:16:25 It still memsets the tape to 0 for some reason, but after that it's just a sequence of putchar() calls. 00:16:39 (I wasn't really expecting it to combine those into a puts().) 00:17:44 (And the -std-X-opts flags seem to be enough, they might even imply those others; I just tried them out earlier.) 00:18:10 Was that with the individual 30000 stores? 00:18:20 Yes. 00:18:33 Hmh 00:19:27 fizzie: Trunk manages to remove that memset 00:19:32 With the single zeroinitializer store, I get... uh, something rather strange. 00:19:46 From that putchar'ing code, I mean 00:20:04 Ah, okay. 00:20:19 This is with a zeroinitializer store: http://pastebin.com/sAzBM02t 00:20:57 Am I reading it wrong or has it actually removed the loop? 00:21:30 Yes, it appears to have. 00:21:51 fizzie: Replacing 30000 with 128 in that one, you again get only putchars. 00:21:59 Even with 2.6. 00:22:29 Strange sort of limit there. 00:22:48 Yes, I filed a bug about it. 00:22:57 Though I guess the 60k individual stores aren't much better. 00:23:17 -!- adu has joined. 00:23:49 Do you think it'd grok a zeroization loop (like I had earlier) as something that's replaceable by a memset? 00:24:11 Probably; not necessarily. 00:25:40 Let's see, I still have that loop as a commented-out bit. 00:28:50 Well, not my loop, but maybe my loop looks strange. :p 00:30:04 .LBB1_1: # %ZeroLoop.i 00:30:04 mov BYTE PTR [RSP + RAX], 0 00:30:04 inc RAX 00:30:04 cmp RAX, 30000 00:30:04 jne .LBB1_1 00:30:09 That's what it included in there. 00:30:31 Gimme .ll! 00:30:57 http://zem.fi/~fis/helloloop.ll 00:31:01 This time it's a bit smaller, too. 00:33:57 There's another size thing here; with 20 x i8 it's again all putchar. 00:34:01 That's another funny trick: opt turns my "%b0inmem = getelementptr [30000 x i8]* %tape, i32 0, i32 0 ... %p = getelementptr i8* %b0inmem, i32 %i" into a direct-reference "%p.i = getelementptr [30000 x i8]* %tape.i, i64 0, i64 %indvar.i". 00:34:26 I did that manually right away to see if it would help :-P 00:34:35 It still doesn't add inbounds 00:36:12 I need some sleeps now, nighty. 00:36:25 Night 00:53:20 -!- cal153 has joined. 01:10:47 -!- coppro has joined. 01:20:52 -!- augur has quit (Ping timeout: 245 seconds). 01:56:05 -!- augur has joined. 02:04:30 -!- lament has quit (Ping timeout: 252 seconds). 02:05:13 -!- lament has joined. 02:06:26 augur: how is your clique algorithm testing going? 02:07:11 -!- Sgeo has joined. 02:07:23 -!- augur has quit (Ping timeout: 240 seconds). 02:07:48 :( 02:08:05 -!- augur has joined. 02:10:30 :) 02:11:21 -!- fax has quit (Quit: Lost terminal). 02:20:23 -!- augur has quit (Ping timeout: 240 seconds). 02:24:06 -!- augur_ has joined. 02:24:53 oerjan: i tried to write it in C but im completely clueless. i dont know C well enough to do it correctly. 02:25:08 oh 02:26:49 -!- augur_ has quit (Read error: Connection reset by peer). 02:26:50 -!- augur has joined. 02:33:51 -!- Oranjer has left (?). 02:36:26 -!- augur has quit (Ping timeout: 265 seconds). 02:37:34 -!- augur has joined. 02:43:25 -!- augur_ has joined. 02:43:41 -!- augur has quit (Ping timeout: 265 seconds). 02:44:05 oerjan: interestingly, it seems to be maaaaaaybe exponential in the number of nodes, but linear in the number of edges 02:44:18 oh, hm. 02:44:35 that's bad for the thing i had been thinking of 02:45:08 i thought about why maxclique is NP-complete, and how to reduce circuit problems to it 02:45:33 alas the method i found ends up making _most_ vertices have edges between them 02:45:48 or wait 02:46:20 er, if it's linear in edges then it must be quadratic in nodes, since no. edges <= no. nodes squared 02:47:52 the algo i have sounded pretty simple to me, but alas 02:47:55 have you looked at it? 02:48:09 is it the one at http://wellnowwhat.net/linguistics/node-relative%20maximal%20clique.pdf ? 02:49:09 i think there's a typo there, should't it be "if |s| = m then" 02:56:44 -!- augur_ has quit (Ping timeout: 265 seconds). 02:58:13 -!- augur has joined. 03:02:44 -!- augur_ has joined. 03:03:31 -!- augur has quit (Read error: Connection reset by peer). 03:07:22 yeah :\ 03:07:24 its looking exponential in nodes 03:07:41 and linear in edges 03:07:43 which is interesting 03:08:07 but i guess maybe not, because edge random variables i think are exponential on nodes 03:08:08 you mean it's linear in edges given a particular node number? 03:08:12 so 03:11:55 Does anybody know how to make a user account that can be logged in via ssh with no password or key? (That is, anyone can log in as this user) 03:12:08 And don't ask why anyone would want to do something so stupid :P 03:12:21 O KAY 03:12:41 -!- augur_ has quit (Ping timeout: 265 seconds). 03:13:01 I could always just make a user account with an obvious, shared password, but that's not ideal. 03:14:18 i suppose what you want is an account that anyone can use but no one can prevent others from using? (not that i know how to do such a thing) 03:14:48 that's easy 03:14:55 just modify passwd not to change that user's password 03:15:30 you'd probably also want to make any startup files not writable by the user? 03:16:01 Gregor: password authentication, give it no password? 03:16:06 including any that might be created later... 03:16:18 coppro: No password != no password prompt 03:41:12 -!- MizardX has quit (Ping timeout: 258 seconds). 04:12:40 -!- jcp has joined. 04:13:20 !haskell let comb n m = product [n, n-1 .. n-m+1] `div` product [1..m] in [comb (2*n+1) n | n <- [1..20]] 04:13:31 [3,10,35,126,462,1716,6435,24310,92378,352716,1352078,5200300,20058300,77558760,300540195,1166803110,4537567650,17672631900,68923264410,269128937220] 04:37:03 -!- Sgeo_ has joined. 04:37:52 * oerjan concludes that that pdf page cannot possibly be augur's real algorithm 04:38:21 or alternatively, it cannot possibly be correct 04:40:22 -!- Sgeo has quit (Ping timeout: 264 seconds). 04:43:50 -!- jcp has quit (Quit: I will do anything (almost) for a new router.). 04:44:56 -!- jcp has joined. 04:49:32 although it does indeed look like it must either be quadratic, or loop infinitely. 04:49:51 hm wait no 05:00:53 it must be quadratic. 05:33:18 -!- oerjan has quit (Quit: leaving). 05:33:18 -!- myndzi has quit (Read error: Connection reset by peer). 05:33:50 -!- myndzi has joined. 05:51:11 -!- oerjan has joined. 05:56:55 augur: As far as I understand it, the algorithm in the pdf gives the wrong result for the following graph: 05:56:59 *--* 05:56:59 |\ | 05:56:59 | \| 05:56:59 *--* 05:58:35 With initial vertex the upper left, the algorithm removes the upper right and lower left vertices, giving a clique of size 2 instead of the correct 3. 06:22:40 -!- coppro has quit (*.net *.split). 06:22:40 -!- lifthrasiir has quit (*.net *.split). 06:22:40 -!- adu has quit (*.net *.split). 06:22:41 -!- yiyus has quit (*.net *.split). 06:22:41 -!- werdan7 has quit (*.net *.split). 06:22:41 -!- oerjan has quit (*.net *.split). 06:22:41 -!- Sgeo_ has quit (*.net *.split). 06:22:42 -!- cheater has quit (*.net *.split). 06:22:42 -!- Gregor has quit (*.net *.split). 06:22:42 -!- Deewiant has quit (*.net *.split). 06:22:42 -!- ineiros has quit (*.net *.split). 06:22:42 -!- jix has quit (*.net *.split). 06:22:42 -!- AnMaster has quit (*.net *.split). 06:22:43 -!- HackEgo has quit (*.net *.split). 06:22:43 -!- Ilari has quit (*.net *.split). 06:22:44 -!- sebbu has quit (*.net *.split). 06:22:44 -!- fizzie has quit (*.net *.split). 06:22:44 -!- Leonidas has quit (*.net *.split). 06:22:44 -!- myndzi has quit (*.net *.split). 06:22:44 -!- pikhq has quit (*.net *.split). 06:22:45 -!- cheater2 has quit (*.net *.split). 06:22:45 -!- EgoBot has quit (*.net *.split). 06:22:45 -!- comex has quit (*.net *.split). 06:22:45 -!- uorygl has quit (*.net *.split). 06:22:46 -!- lament has quit (*.net *.split). 06:22:46 -!- Wareya has quit (*.net *.split). 06:22:46 -!- bsmntbombdood has quit (*.net *.split). 06:22:46 -!- mycroftiv has quit (*.net *.split). 07:29:52 -!- linf has joined. 07:30:00 -!- linf has left (?). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:14:50 -!- kar8nga has joined. 08:14:50 -!- tombom has joined. 08:14:50 -!- Gracenotes has joined. 08:14:50 -!- mental has joined. 08:14:50 -!- augur has joined. 08:14:50 -!- myndzi has joined. 08:14:50 -!- Sgeo_ has joined. 08:14:50 -!- coppro has joined. 08:14:50 -!- adu has joined. 08:14:50 -!- sebbu has joined. 08:14:50 -!- EgoBot has joined. 08:14:50 -!- Wareya has joined. 08:14:50 -!- werdan7 has joined. 08:14:50 -!- pikhq has joined. 08:14:50 -!- comex has joined. 08:14:50 -!- Ilari has joined. 08:14:50 -!- cheater2 has joined. 08:14:50 -!- fizzie has joined. 08:14:50 -!- bsmntbombdood has joined. 08:14:50 -!- lifthrasiir has joined. 08:14:50 -!- cheater has joined. 08:14:50 -!- HackEgo has joined. 08:14:50 -!- uorygl has joined. 08:14:50 -!- Leonidas has joined. 08:14:50 -!- AnMaster has joined. 08:14:50 -!- Gregor has joined. 08:14:50 -!- Deewiant has joined. 08:14:50 -!- yiyus has joined. 08:14:50 -!- mycroftiv has joined. 08:14:50 -!- ineiros has joined. 08:14:50 -!- jix has joined. 08:15:18 -!- sshc has quit (Max SendQ exceeded). 08:15:38 -!- augur has changed nick to Guest43180. 08:15:38 -!- kar8nga has changed nick to Guest95837. 08:15:56 -!- sshc has joined. 08:50:27 -!- tombom has quit (Quit: Leaving). 08:52:55 -!- Guest43180 has changed nick to augur. 09:06:29 -!- oklopol has joined. 09:20:37 -!- Gracenotes has quit (Changing host). 09:20:37 -!- Gracenotes has joined. 09:36:44 -!- Gracenotes has quit (Ping timeout: 260 seconds). 10:14:48 -!- jcp has quit (Quit: I will do anything (almost) for a new router.). 10:26:51 -!- lereah_ has joined. 11:03:53 -!- mental has quit (Ping timeout: 256 seconds). 11:06:47 -!- lament has joined. 11:19:33 -!- oklopol has quit (Quit: ( www.nnscript.com :: NoNameScript 4.2 :: www.regroup-esports.com )). 11:23:30 -!- FireFly has joined. 11:52:42 -!- Sgeo__ has joined. 11:56:28 -!- Sgeo_ has quit (Ping timeout: 268 seconds). 12:39:06 -!- cheater2 has quit (Ping timeout: 248 seconds). 12:42:16 -!- cheater2 has joined. 12:57:24 -!- Asztal has joined. 13:20:21 -!- BeholdMyGlory has joined. 13:34:58 -!- dougx has joined. 14:07:26 -!- Guest95837 has quit (Remote host closed the connection). 14:15:38 -!- dougx has left (?). 14:45:11 I love the national library search website in Sweden. You can get accurate references for any books in it. In bibtex format from it. Very useful :) 14:51:01 -!- cheater has quit (Read error: Connection reset by peer). 14:51:14 -!- cheater has joined. 15:06:43 -!- kar8nga has joined. 15:52:41 -!- jix has quit (Ping timeout: 245 seconds). 15:53:21 -!- Leonidas has quit (Ping timeout: 276 seconds). 15:55:25 -!- jix has joined. 16:03:17 -!- Leonidas has joined. 16:30:08 -!- charlls has joined. 16:32:09 -!- oerjan has joined. 16:39:06 -!- cheater has left (?). 16:53:02 -!- ais523 has joined. 16:56:43 silliest keyboard shortcut mistake ever?: in Evince, "A" is the shortcut to open a new document 16:56:48 -!- hiato has joined. 16:56:56 and this works even inside the Find dialog thing 16:57:22 so, in order to search for words containing a or A, you have to type it as shift-A (luckily it's case-insensitive, or you'd have to use capslock and shift-A to type a lowercase a) 16:59:22 -!- hiato has quit (Client Quit). 17:00:18 -!- hiato has joined. 17:02:21 That doesn't happen in my Evince. 17:03:31 The only "open" shortcut I can see is C-o; just plain "A" doesn't seem to have any sort of significance. 17:15:38 -!- coppro has quit (Quit: I am leaving. You are about to explode.). 17:19:28 I'm not entirely sure what happened to the keyboard shortcuts on it 17:19:34 open is marked as "a" in my menu 17:22:16 -!- hiato has changed nick to sudobus. 17:22:36 That's passing strange. I guess it might read them from some gconf-powered nightmare? 17:22:57 perhaps 17:23:05 there's no obvious way to change the shortcuts 17:23:22 * oerjan recalls something about gtk allowing you to change the shortcuts 17:24:01 Xpdf has natively single-character no-modifiers shortcuts (O for Open and so on), but it doesn't accept those when the Find dialog has the focus. 17:24:27 ais523: You're not the only one, though: http://ubuntuforums.org/showthread.php?p=8839774 17:24:51 --- 17:24:53 It seems that you have Gnome Editable Shortcuts feature turned on and accidentally changed the shortcut for File→Open. The feature means that while you have a menu open, pressing any keyboard key sets it as the shortcut for the currently selected action (Backspace removes a shortcut). 17:24:53 To fix it: just open the File menu and while the mouse is over the Open action, press Ctrl+O. This should restore the standard shortcut. 17:24:54 --- 17:24:59 Wow, that's wonderfully bizarre. 17:25:14 Make any stray keypresses and you completely mangle up a program's UI. 17:25:22 it worked, yes 17:25:27 wow, that's... surprising 17:30:03 sounds precisely like the gtk feature i once read about 17:31:22 They never cease to confuse. 17:34:31 so, in order to search for words containing a or A, you have to type it as shift-A (luckily it's case-insensitive, or you'd have to use capslock and shift-A to type a lowercase a) <-- err... wth? 17:34:44 AnMaster: fizzie figured out what happened 17:34:55 at some point in the past, I had my mouse hovering over file|open while typing a 17:34:59 and that permanently changed the shortcut 17:35:12 ais523, I see 17:35:18 bad design 17:35:21 to make it work like that 17:36:27 ais523, how does one disable that feature btw 17:36:47 hm doesn't seem to happen for me 17:36:51 when I press keys in menus 17:36:59 so I guess it won't cause problems 17:37:01 yep, I suspect it's non-default and I turned it on by mistake 17:37:11 ais523, found where to turn it off? 17:37:15 it might be useful to know 17:37:20 In Ubuntu, you (according to hearsay) configure it in "System→Preferences→Appearance dialog → Interface tab → Editable menu shortcut keys" 17:37:27 that sounds about right 17:37:32 well hidden I'd say 17:37:49 well, just checked, not so much 17:38:10 it sounded worse when fizzie listed that long path than it really is 17:50:28 -!- oerjan has quit (Quit: Elater). 17:55:11 -!- fax has joined. 18:08:52 -!- charlesq__ has joined. 18:11:12 -!- lereah_ has quit (Remote host closed the connection). 18:12:13 -!- charlls has quit (Ping timeout: 264 seconds). 18:19:19 hm 18:19:52 checking the old palm rest for my thinkpad, there was a small square piece of clear plastic glued onto the place where the crack in the plasic happened 18:19:56 (on the inside that is) 18:20:09 right over the crack 18:20:23 I wonder why. I don't remember if there was any such on the new palm rest part 18:24:22 hi #esoteric 18:24:29 what's going on today? 18:26:34 no idea 18:27:04 I'm still wonder about said bit of glued on plastic, it looks like they suspected a crack there or something 18:37:28 Wareya: not a lot, I think 18:37:48 -!- fizzie has quit (Ping timeout: 276 seconds). 18:39:10 k 18:41:25 -!- tombom has joined. 18:46:42 haha, in the SCO vs Novell trial, there was (second hand) Google's response to SCO asking them to buy a licence for Linux, which was along the lines of "you sent us a form letter, we asked for more details, you replied with another form letter, asking to arrange a meeting by '(insert date one week from date of letter)'. we assume you meant to put an actual date there..." 19:01:01 -!- werdan7 has quit (Ping timeout: 612 seconds). 19:09:22 -!- werdan7 has joined. 19:29:53 -!- Gracenotes has joined. 19:38:25 -!- sudobus has changed nick to hiato. 19:39:17 okay, I've made a huge change to my bash setup... I've made my prompt blue. :3 19:43:31 -!- Sgeo__ has changed nick to Sgeo. 19:54:24 :3 19:57:23 :4 19:59:10 -!- kar8nga has quit (Remote host closed the connection). 19:59:31 -!- kar8nga has joined. 20:16:47 ais523, heh 20:16:54 ais523, that must have been some time ago 20:17:32 yes, ages ago 20:17:48 I love that reply, though 20:17:55 ah 20:17:55 and I'm not surprised Google didn't take them seriously 20:23:22 ais523, well, nor am I 20:23:41 ais523, but citation for that? 20:24:03 it's secondhand info; a reporter that Groklaw sent to cover the SCO vs Novell case 20:24:15 once the case is over, there'll likely be transcripts up, then you could get a much better citation 20:24:20 including exactly what Google said 20:34:12 discussion about genres of intellectual property? 20:34:19 or am I missing something? 20:34:44 or am I adding random shit into what I think's going on? 20:36:28 -!- oerjan has joined. 20:37:53 hey 20:38:53 hoy 20:39:40 Wareya: probably the third 20:39:53 I'm busy reading the SCO v Novell news at the moment 20:40:03 because a) I think it's an important court case, and b) it's hilarious 20:40:10 ... wait, there's news? 20:40:12 As in, not olds? 20:40:19 Gregor: yes, the court case is going on right now 20:40:28 wtfbbq 20:40:36 after being decided twice on summary judgement, appealed and vacated 20:40:41 I thought that was long-over X_X 20:40:43 so now they're doing it again, but this time with a jury 20:41:07 and every day of the case, SCO has done something that ridiculously hurts their own case 20:41:14 worse every day than the day before 20:41:25 What's your preferred relevant news source? 20:41:40 I use http://groklaw.net which is sending its own reporters to the court 20:41:59 it seems to already have decided that SCO have no chance, though, which rather colours its opinions a bit 20:42:02 although I suspect it's right 20:43:07 -!- augur has quit (Ping timeout: 268 seconds). 20:43:26 -!- oerjan has quit (Quit: leaving). 20:45:18 once the case is over, there'll likely be transcripts up, then you could get a much better citation 20:45:20 wait a second 20:45:24 isn't the case over? 20:45:29 since over a year or something 20:45:30 AnMaster: it was appealed 20:45:37 and isn't SCO bankrupt 20:45:39 yes, it is 20:45:48 Bankruptcy is not the end :P 20:45:48 but the lawyers were paid in advance 20:46:02 Gregor, I thought it was. But apparently not so 20:46:13 to be precise, there's more than one form of bankruptcy 20:46:34 how strange 20:46:38 SCO is chapter-11 bankrupt, which means that the court oversees all their financial transactions, and if they go back up to positive money again they can continue on as a business 20:46:43 like "out of money" and "out of money"? 20:46:56 ais523, I see 20:46:58 hm 20:47:03 chapter 11 is sort-of "temporarily out of money", where you can't afford to pay your debts /now/ but may in the near future 20:47:13 and that was 20:47:17 three years ago? 20:47:19 people are skeptical as to whether it's appropriate, though 20:47:22 Wareya: about that, I think 20:47:26 is there no time limit to it? 20:47:39 yes, but the deadline's been bumped several times, and even blatantly broken on occasion 20:47:47 ais523, why 20:47:50 a while back the judge forcibly changed SCO's management 20:48:03 and is currently giving the new management some time to try to sort things out 20:48:07 mhm 20:48:13 Sure. 20:48:16 Let's go with that. 20:48:34 there have been all sorts of reasons for previous bumps 20:48:42 SCO nearly always came up with something ridiculous at the last minute 20:48:54 like a company wanting to give them lots of money or a loan, etc 20:48:59 but the details needed some time to sort out... 20:49:03 (and of course, the deals mostly fell through) 20:50:22 Gregor: has your head exploded sufficiently yet? 20:50:31 NEVARS 20:51:29 are you enjoying the info you're reading, at least? 20:51:51 it's full of SCO contradicting itself 20:52:20 I'm actually vaguely curious as to whether SCO or Novell will do a better job of demolishing SCO's case 20:55:40 You know, "Santa Cruz Operation" doesn't sound like something legitimate. 20:55:47 Which is a coincidence, of course. 20:56:16 But it sounds like some CIA plot to assassinate a Cuban leader. 20:56:24 uorygl: oh, you are confused; the company in question is "The SCO Group", "Santa Cruz Operation" is a /different/ company 20:56:54 there's a suspicion going around that they're doing this sort of thing deliberately; two of the companies that tried to give them loans were both startups with the initials SNCP 20:58:54 Hmm. It looks like Caldera acquired parts of Santa Cruz Operation and then renamed themselves after them. 20:59:16 Unless the SCO Group's SCO is a totally different SCO. 20:59:37 tSCOg = caldera 20:59:47 Right. 20:59:50 the other parts of the original SCO are currently owned by Oracle, via Sun 21:00:53 uorygl: Yeah, Caldera bought up SanCruzOp's UNIX business. 21:01:08 And thought they bought the rights to UNIX. 21:02:36 and novell claimed they never sold them to oldSCO in the first place 21:02:41 that's what the current trial's about 21:02:50 both Novell and SCO sued the other for claiming that they owned the copyrights to UNIX 21:04:04 Novell's got the contract on their side. 21:04:51 SCO's argument is, I think, that the contract's not meant to say that 21:04:52 Actually, Novell never sued just claiming "we own the copyrights and they're violating it", they just said "Yeah, the contract we've got here says they owe us a percentage of the profits from their UNIX sales. We'd like them to pay." 21:05:29 pikhq: that's a different case I think, just to add to the confusion 21:05:38 it was originally the same case, but the appeal sort-of split everything up 21:05:41 No, that's the countersuit. 21:05:52 hmm, ah ok 21:05:57 it doesn't seem to be being decided at the moment 21:06:02 maybe that one wasn't appealed 21:06:07 and so isn't included in the redo of the trial 21:06:08 It has already been decided. 21:06:13 yep, so has everything else 21:06:19 It's the reason for the bankruptcy. 21:06:22 the question is, what needs to be decided a second time? 21:07:06 They filed bankruptcy soley to delay the verdict from the countersuit... Said countersuit was about to be a reason for them to be bankrupt. 21:07:36 Yes, they couldn't legitimately file bankruptcy until after the verdict, but they filed before the verdict to delay the verdict. 21:07:55 SCO has some *amazingly* amoral lawyers. 21:13:28 s/amoral/average/ 21:22:34 -!- augur has joined. 21:25:27 tSCOg = caldera <--- ? 21:25:43 AnMaster: they keep renaming things to try to confuse people 21:25:57 ais523, yes but that wasn't sed syntax was it? 21:25:59 try to get a straight answer from them as to whether UNIX is UnixWare or not 21:26:04 AnMaster: no, it wasn't 21:26:08 ais523, then what was it 21:26:16 "The SCO Group" and "Caldera" are the same company 21:26:22 oh 21:26:26 it wasn't g as in global 21:26:29 and "The SCO Group" abbreviates to "tSCOg" when you want to be unambiguous 21:26:32 AnMaster: no 21:26:34 and t as in t 21:26:37 "dog" does not mean "do global"! 21:26:37 s/A// 21:32:57 ais523, well, I didn't know what the t and g stood for 21:35:37 -!- adu has quit (Quit: adu). 21:41:46 -!- oklopol has joined. 21:47:11 -!- charlls has joined. 21:50:01 -!- charlesq__ has quit (Ping timeout: 276 seconds). 21:54:58 -!- augur has quit (Ping timeout: 265 seconds). 22:03:01 gah, the evince problem doesn't even just happen with the mouse 22:03:11 I pressed alt f a, meaning save as, but evince doesn't have save as 22:03:21 and it overwrote the keyboard shortcut for open instead 22:03:29 -!- Wareya has quit (Ping timeout: 256 seconds). 22:07:51 -!- ais523 has quit (Remote host closed the connection). 22:09:42 -!- charlls has quit (Ping timeout: 276 seconds). 22:10:36 -!- hiato has quit (Quit: underflow). 22:13:28 alt f a? 22:15:40 Alt f a 22:15:49 Alt f -> File 22:15:52 A -> save _A_s 22:19:10 -!- wareya has joined. 22:19:23 Ah. 22:20:22 Since the alise sighting counter is defunct, let's set it to an arbitrary value. 22:20:39 -!- uorygl has set topic: "Gwandocu (n): Extremely strong evidence, far beyond a reasonable doubt." | alise sighting counter: 100,000 | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 22:24:51 At least it's over nine thousand. 22:25:18 hm 22:25:44 heh 22:26:00 I suggest ais disable that editing thingy for menus 22:59:01 Definitely over 九千. 22:59:20 that looks like a number 22:59:30 70 000? 22:59:34 no 90 000 22:59:39 right? 22:59:42 No, 9,000. 22:59:51 90000 is 九万. 23:01:18 oh 23:01:52 And 70,000 is 七万. 23:02:01 Chinese numerals are easy. :) 23:02:39 No they ain't 23:02:48 Yes they are. 23:02:55 Unary is easy 23:03:29 Nullary is easy. 23:03:39 Also 23:08:27 Nullary doesn't allow you to use any symbols! 23:08:35 -!- coppro has joined. 23:08:43 And every symbol you use has a negative-infinite amount of information! 23:09:05 Yes. 23:09:06 >:D 23:09:07 Hmm, maybe you just need to send a negative-zero number of symbols and boom, your information. :P 23:09:21 You don't even need to come up with a code! 23:09:44 Because every symbol already has a meaning even though you've never assigned any meanings to any of them! 23:16:07 -!- Azstal has joined. 23:16:44 * Sgeo got a warning from Facebook 23:17:37 -!- Asztal has quit (Ping timeout: 265 seconds). 23:17:46 -!- Azstal has changed nick to Asztal. 23:21:12 -!- charlls has joined. 23:26:19 -!- kar8nga has quit (Remote host closed the connection). 23:29:48 -!- tombom_ has joined. 23:31:37 -!- Ilari_ has joined. 23:31:57 -!- Ilari has quit (Quit: Reconnecting). 23:32:08 -!- Ilari_ has changed nick to Ilari. 23:33:17 -!- oklopol has quit (*.net *.split). 23:33:18 -!- lament has quit (*.net *.split). 23:33:18 -!- sshc has quit (*.net *.split). 23:33:18 -!- sebbu has quit (*.net *.split). 23:34:13 -!- sshc has joined. 23:34:15 -!- tombom has quit (Ping timeout: 260 seconds). 23:34:19 -!- tombom_ has quit (Client Quit). 23:36:52 -!- oklopol has joined. 23:36:52 -!- lament has joined. 23:36:52 -!- sebbu has joined. 23:37:41 -!- Oranjer has joined. 23:39:50 -!- charlesq__ has joined. 23:40:08 -!- charlls has quit (Read error: Connection reset by peer). 23:46:58 -!- oklopol has quit (*.net *.split). 23:46:58 -!- lament has quit (*.net *.split). 23:46:58 -!- sebbu has quit (*.net *.split). 23:50:46 -!- oklopol has joined. 23:50:46 -!- lament has joined. 23:50:46 -!- sebbu has joined. 23:52:34 -!- BeholdMyGlory_ has joined. 23:53:11 -!- BeholdMyGlory_ has quit (Changing host). 23:53:11 -!- BeholdMyGlory_ has joined. 23:53:17 -!- BeholdMyGlory has quit (Disconnected by services). 23:53:20 -!- BeholdMyGlory_ has changed nick to BeholdMyGlory. 23:57:13 -!- BeholdMyGlory has quit (*.net *.split). 23:57:13 -!- oklopol has quit (*.net *.split). 23:57:14 -!- lament has quit (*.net *.split). 23:57:14 -!- sebbu has quit (*.net *.split). 23:57:17 -!- charlesq__ has quit (Quit: Saliendo).