00:04:09 -!- tombom has quit (Quit: Leaving). 00:10:27 "The new Mac Pro. With up to 12 cores of processing power, it’s the fastest Mac ever." 00:10:31 Abuh. Resist urge to purchase. 00:13:55 (Okay, that took very little effort actually.) 00:14:03 (Looks like my disassimilation went quickly.) 00:14:30 * pikhq both wants to eat and cannot compel self to make something 00:14:55 pikhq: eat plastic! 00:14:59 it's nutritious and NUTRITIOUS! 00:19:10 pikhq: eat raw food 00:21:03 alise, Get a Intel server board, a case, some disks, a few fans, and a GPU and you get the same performance for less than half the price 00:21:15 an* 00:21:30 oh and pair of server CPUs 00:21:36 still less than half the price 00:21:46 AnMaster: Well, yeah, if all you care about is raw hardware performance. (Which is, in this case, true; but my point stands.) 00:21:52 -!- Wamanuz2 has joined. 00:22:02 alise, why would you care about anything else than that? 00:22:12 -!- Wamanuz has quit (Ping timeout: 260 seconds). 00:22:19 I refuse to answer ... 00:22:19 what else is there to care about? Being a mac hippie? 00:22:31 Now you're just trolling: you know I dislike Apple. 00:22:49 So the only possible point of that statement -- to ridicule my like of Apple -- does not exist; you are trolling. 00:22:56 alise, http://www.gizmodo.com/gadgets/images/iProduct.gif 00:23:09 alise, no, I'm not trolling you 00:23:13 alise, I'm trolling apple 00:23:13 :P 00:23:28 alise, which is a lot more fun 00:24:00 Yes; you're trolling Apple by saying "mac hippie" somewhere entirely other than Cupertino. Do you even understand how this sort of stuff works? You can't troll someone who isn't listening. Do you even know what "trolling" means? 00:24:41 alise, a far out idea for something else than raw performance: the case design 00:24:54 and um, not having to put together the parts on your own 00:25:13 Shut up. You're not making intelligent socio-political commentary about Mac users. 00:25:13 probably buying a comparable HP server or such would still be way cheaper 00:25:27 alise, ... that's an impossible task :P 00:26:07 alise, btw are those apple xserver thingies equally over-priced? 00:26:16 -!- augur has quit (Read error: Connection reset by peer). 00:26:23 -!- augur has joined. 00:26:23 and is that why you never see them in data centers? 00:26:56 I've made a New Midnight's Resolution; and that is to not respond to anything blatantly provocative and/or trolling in a very stupid way from you. 00:27:11 So, good luck with that. 00:27:14 alise, " alise, btw are those apple xserver thingies equally over-priced?" was actually a serious question 00:27:20 not trolling at all 00:27:21 They're expensive. 00:27:35 Whether they are overpriced is up to you; they're certainly for institutions with a lot of cash. They /are/ in use. 00:27:45 Just not in data centres; more in processing labs and stuff. 00:28:03 Python -- derived from the verb pythein, "to rot" 00:28:09 alise, because most people who 1U servers probably care a LOT more about raw power than someone who buys a mac pro. 00:28:16 who buy 1U* 00:28:42 CakeProphet: Oh snap. 00:29:10 CakeProphet, how fitting for Monty Python was my first thought. How fit for the programming language python was my second. 00:29:12 Hmm, \#esoteric produces a distinctly unsatisfactory rendering of the channel name with LaTeX. 00:29:21 alise, CM? 00:29:23 quick, someone tell me what style of columns the Parthenon had. 00:29:34 CakeProphet, ...? 00:29:38 .. 00:29:40 :) 00:29:42 try wikipedia 00:29:43 TO GOOGLE 00:29:48 I have no clue 00:29:59 AnMaster: Minion Pro. 00:30:07 But it's more the... 00:30:08 alise, try it in CMR, does it look better there? 00:30:09 Doric 00:30:10 I think it needs small caps. 00:30:19 CakeProphet, I am however curious as to why you wondered about that 00:30:23 AnMaster: it won't; it's not a font issue. Besides, all the glyphs are perfectly reasonable and professional. This is not a font issue. 00:30:27 This is a typesetting issue. 00:30:35 alise, still, try that 00:30:39 AnMaster: No. There is no point. 00:30:46 \textsc{\#esoteric} is almost correct, but the letter spacing is too large. 00:30:47 oh you just hate CMR 00:30:51 No. 00:30:52 I like CMR. 00:30:56 okay then 00:31:04 You just hate my apparent hate of CMR and thus try to push CMR even when it's irrelevant. 00:31:27 alise, in the context of latex CMR is quite relevant 00:31:39 But there's no reason to say "try CMR" if it's nothing to do with font. 00:31:39 IIRC, you felt that CMR is the only acceptable Didone font... 00:31:50 pikhq: Which it, of course, is. An opinion I believe you share. 00:31:52 ..... 00:31:55 (which of course it is) 00:31:57 I don't really get why typesetting is interesting. 00:31:57 alise, I never claimed you should use it as a font for GUI elements 00:31:58 at all. 00:31:59 for example 00:32:24 CakeProphet: Then I kindly suggest you don't bother those of us who do think it is. 00:32:30 I probably don't consider many of your hobbies interesting. 00:32:41 CakeProphet: You need to read more well-typeset text. 00:32:49 {\large\#}esoteric % this is good 00:32:56 CakeProphet, I think LaTeX with microtype does a good job at it. I leave the rest to it 00:33:05 it looks good and I don't want to fiddle with details 00:33:14 needs moar serifs 00:33:22 what? 00:33:27 everything 00:33:30 it was a general statement 00:33:31 about serifs. 00:33:40 okay _that_ was trolling 00:33:52 CakeProphet: Yes, well-typeset text will use serif fonts for most of it. 00:34:04 pikhq, unless for screen reading 00:34:07 pikhq: but wait... 00:34:13 isn't comic sans like... the best font? 00:34:16 pikhq, I consider type setting a solved problem: LaTeX + CMR + Microtype 00:34:29 CakeProphet: -_-' 00:34:31 :) 00:34:40 I love how AnMaster thinks that one type fits /all purposes/; that it's spelled "type setting", and that one type fits /all purposes/. 00:34:41 AnMaster: Yeah, for low-DPI usage a sans serif font is often preferable. 00:34:53 alise, it fits everything I type 00:35:00 It's like there's some retarded part of his brain that really doesn't understand what typefaces do to text. Wait, that's all of his brain. 00:35:17 alise, also I think it doesn't matter if I spell it "type setting" or "typesetting" on IRC. Hell English is inconsistent already 00:35:22 Though I've found that Deja Vu Serif, hinted, is *very* readable. 00:35:30 AnMaster: i totly agre LOL fuk u english 00:35:38 pikhq wtf??? r dese esolangs 00:35:38 (as a screen font) 00:35:43 u dont no fuckshit bout languages 00:35:48 alise, you fail at trolling however 00:36:00 you fail at knowing what trolling is and when it is intended. 00:36:06 alise, like you fail at trolling augur for how he types :P 00:36:08 afro? 00:36:18 CakeProphet: I kill people for MS Comic Sans. 00:36:22 AnMaster: thats because i type awesome 00:36:23 In general. 00:36:28 augur, exactly! 00:36:41 I will (barely) make an exception for use in comic lettering. 00:36:57 http://julianhansen.com/index.php?/alternative-type-finder/ 00:36:58 here 00:36:59 (where it is *appropriate*, though not the best choice of font, IMO) 00:37:04 this is how I pick typefaces 00:37:07 Though I've found that Deja Vu Serif, hinted, is *very* readable. <-- agreed. the whole Dejavu family, when hinted, is very good for on-screen reading 00:37:07 with this flowchart. :) 00:37:23 AnMaster: Shit for printing, but quite nice on-screen. 00:37:35 pikhq, yes, I use CMR for printing ;P 00:39:29 HERLO 00:39:32 alise: HI! 00:39:38 AnMaster: Minion! 00:39:53 Frutiger & Syntax 00:39:55 cheater99: hi 00:40:00 supz? 00:40:04 Frutiger is a nice font but the NHS use it. 00:40:06 pikhq, *shrug* 00:40:11 pikhq, to me it makes no difference 00:40:26 AnMaster: and that is why you do not have the qualifications to call typesetting a "solved problem". 00:40:33 supzzzz alise? 00:40:35 which is btw a huge insult to the very skilled and careful typographers through the ages. 00:40:36 national health service? 00:40:39 nooga: yes 00:40:42 *national hell service 00:40:45 hheheheheh 00:40:47 heheh 00:40:58 mauhaha, you should check it here in PL 00:41:04 alise: I think you're one of the easiest people to troll ever. 00:41:08 one day... 00:41:12 I will sneak up on you. 00:41:25 alise: Well, the boring parts of typesetting *are* a solved problem. :) 00:41:27 and insult typography or something 00:41:43 CakeProphet: i've not been trolled. 00:41:48 i know exactly what AnMaster is trying to do 00:41:49 * AnMaster forces alise to typeset whatever he is typesetting in Zapfino 00:41:55 i'm just talking shit about him like always 00:42:08 anyone a big bang theory fan? 00:42:18 alise, yes you usually jut talk shit 00:42:23 The entrance to the Acropolis that used both Doric and Ionian columns was the... 00:42:27 man I just love this history test 00:42:39 it's like... asking me about architecture 00:42:42 and not history 00:42:49 Ionian --> @ ? 00:43:32 ? 00:43:35 alise hates me. 00:43:50 your mom is alise and hates niggers 00:43:51 woot I finally have irssi up 00:44:02 * CakeProphet is using irssi. 00:44:04 i don't hate niggers just 'cuz they be niggers man 00:44:06 I like it. 00:44:24 alise hates niggers FOR HITLER 00:44:50 no that's the faggots 00:44:54 oh ok 00:45:08 what about shemales? 00:45:12 and t-girls? 00:45:27 they're technically not faggots 00:45:27 oh no, please stop 00:45:41 why 00:45:45 do you hate shemales? 00:45:49 you hitler you 00:46:41 I'm allergic after one weird (luckily not close) encounter 00:46:50 what happened there 00:46:52 :F 00:46:56 has anyone reminded you guys recently that alise is like a small version of David Deutsch? 00:47:03 well go on, nothing to be ashamed of 00:47:13 if you say you never did anything 00:47:23 was "she" hitting on you? 00:47:29 woot I finally have irssi up <-- what about it? 00:47:33 nooga was /trying/ to have sex with a cat covered in peanuts 00:47:43 erm 00:47:48 how would you cover a cat in peanuts 00:47:49 not exactly 00:47:55 they'd just fall off the cat 00:47:56 nooga: just tell us the story 00:47:57 besides, i hate cats 00:48:00 coppro, I mean, after getting printing files to cups from opengenera to work, that feels like an insignificant feat :P No offence meant. 00:48:26 augur: glue 00:48:37 coppro: don't worry AnMaster is just so tech-superior to you 00:48:42 he solved a trivial problem too but his was more pointless! 00:48:44 so he wins 00:48:45 alise: that would be rather difficult 00:48:56 alise, actually I expect coppro to be able to pull this off too 00:49:01 from what I know about him 00:49:46 AnMaster: none taken 00:49:55 why, just the other day I broke a computer by joining a club 00:50:29 nooga got scared to talk about his life 00:51:20 coppro, how? 00:52:44 alise, besides, it wasn't trivial. Had to translate the ppd to settings that opengenera understands. Which is in a custom format of course 00:52:53 and various other strange stuff 00:53:01 AnMaster: what for? 00:53:11 nooga, what for? To get printing to work? 00:53:19 or do you mean "why get printing to work" 00:53:30 or "why opengenera" or "why computers" 00:53:46 why get printing to work under opengenera 00:54:27 nooga, why not. And I wanted to be able to do hardcopies of my interactive lisp session easily ;P 00:54:44 however, I haven't yet got that to work, since it adds a cover page. And that breaks things 00:55:08 ffs, why are you playing with opengenera?! don't you have emacs? :| 00:55:29 nooga, zmacs is nicer 00:55:47 ooh I just had an idea. However it has the issue that documents will print in reverse 00:56:02 could add a post processing step for that though 00:56:15 ah, i see, you're the opengenera fan, like alise is a plan9 fan 00:56:30 nooga, oh yes, I quite like plan9 too as well 00:56:49 wait a second, plan9 is actually quite useful and at least boots natively on a modern pc 00:56:57 nooga, both systems were commercial failures. Both were innovative. 00:57:04 true 00:57:10 opengenera was not innovative. 00:57:11 genera was. 00:57:14 boobs are innovative 00:57:18 alise, well yes 00:57:29 CakeProphet: also true 00:57:34 alise, but I don't have a physical lisp machine, so I will have to take the second best 00:57:53 http://www.tomshardware.com/news/russia-processor-collection-persian-rugs,10975.html 00:57:54 and god damn, I never ever seen such a well documented system as genera 00:57:55 ever 00:58:10 I have never heard of genera, but I have heard of plan 9 00:58:22 CakeProphet, you heard of lisp machines? 00:58:29 i like the idea of tty 00:58:43 nooga, tty as in ttys on unix? 00:58:56 mhm 00:59:19 nooga, why? I mean, it seems to me like something obvious that is just there. 00:59:29 and i don't like plan9's idea of console 00:59:33 it's like "I like the idea of RAM" 00:59:38 but the rest of plan9 is okay 00:59:44 hm 01:00:21 I like many parts of plan9, but the user interface is not one of them. I like genera/opengenera's user interface though. You very quickly get used to scroll wheel doing nothing 01:00:27 and then very quickly you stop missing it 01:00:36 scrolling works quite differently but very well 01:01:12 scroll wheel as well would be nice though. 01:01:24 i tried to write a replacement for rio and, suprisingly, i even managed to display colorful rectangles on the screen 01:02:03 nooga, hm? 01:02:14 nooga, I think there is a bit more than that to it :P 01:02:19 nooga: rectangle-oriented interface? :) 01:02:20 yeah :D 01:02:34 nooga, is rio the WM? 01:02:35 I forgot 01:02:39 yes 01:03:38 no 01:03:41 rio is the window multiplexer 01:03:42 i guess 01:03:44 barely a manager 01:04:06 alise, does it draw the window borders? 01:04:11 yes. 01:04:12 so, anyone else know a lot about DSP? and also Haskell? 01:04:23 alise, and handle dragging of borders and such? 01:04:28 because I want to figure out how to do DSP in Haskell, but so far I haven't been able to comprehend DSP libraries for Haskell. 01:04:36 AnMaster: but it is not structured like an x manager. 01:04:39 and think maybe I could do it myself pretty well? 01:04:45 alise, well, okay 01:04:49 still, it is a window manager in my book 01:05:11 not an X11 one of course 01:05:15 but still a window manager 01:05:50 the basic strategy is pointing /dev/{screen,mouse,keyboard} of children to its own file then painter's algorithm 01:05:59 so in a way it is more involved than an x manager by completely engulfing windows 01:06:25 http://www.facebook.com/ehird 01:06:28 alise, besides I only asked if it was the WM. By pure chance both Window Manager and Window Multiplexer happens to fit that 01:06:31 hmmmmmmmmmmmmmmmmmmmmmmmmmm 01:06:39 hmmmmmmmmmmmmmmmmmmmmm 01:07:00 alise, so it is like a combination of a X WM and the actual X server? 01:07:22 p9's gui is nothing like X 01:07:27 AnMaster: in a way. but the graphics hardware is handled by the drivers still. 01:07:30 so not really. 01:07:30 I'm thinking Arrow would be a useful abstraction for digital signal processors? 01:07:39 alise, and by this design hw acceleration OpenGL performance would suck under plan9, right? 01:07:42 it multiplexes a bunch of fake /dev/screens to the real /dev/screen with painter's algorithm basically. 01:07:50 AnMaster: yeah -- because summaries reveal all details. 01:08:05 alise, indeed, that's a universal truth :P 01:09:50 meh 01:11:41 dansk jevlar! 01:18:12 -!- Behold has joined. 01:18:32 -!- BeholdMyGlory has quit (Ping timeout: 240 seconds). 01:18:43 -!- Behold has changed nick to BeholdMyGlory. 01:22:33 nooga, why? 01:22:57 -!- oerjan has quit (Remote host closed the connection). 01:23:38 -!- oerjan has joined. 01:38:49 http://julianhansen.com/files/infographiclarge_v2.png 01:39:43 READABILITY? -> NO -> Didot 01:40:10 AnMaster: just quoting Helmer from Von Trier's Kingdom 01:42:54 nooga, some play? 01:43:10 alise: I love the link to comic sans X-D 01:44:22 The Kingdom (Danish title: Riget) is an eight-episode Danish television mini-series, created by Lars von Trier in 1994, and co-directed by Lars von Trier and Morten Arnfred. 01:45:40 Gregor, same 01:45:56 * oerjan recalls his first collaborator was a big fan of Riget 01:46:32 I'm a big fan of scratching my head and wondering why people care so much about fonts. 01:46:43 Typefaces, dammit, typefaces. 01:46:55 Case in point. 01:47:19 Gregor: i guess you need to care about esthetics first, right? *badum-tish* (/me doesn't really either) 01:47:19 A font is a component of a typeface: for instance Times New Roman is a typeface, where as 10pt Times New Roman, italic is a font. 01:47:35 I have zero capacity for aesthetics. 01:47:48 This is why today I was wearing a pink shirt with a peacock blue tie and a white hat :P 01:47:57 Riget is awesome 01:49:00 Gregor: you're research fellow, right? 01:49:11 No, I don't have a fellowship. 01:49:16 But I'm usually a research assistant. 01:49:23 ok, justified 01:49:24 And presently I'm a research intern. 01:49:38 Research Fellowship of the Pseudo-Ring. 01:49:39 What's justified? 01:49:55 ... no. Not justified :P 01:49:58 Gregor: your fashion 01:50:01 Ah 01:50:40 abc 01:50:42 When I showed up for my first day at MSR, all the first-day interns (in all divisions) had to herd together first. When I went through one line, the woman checking things went "I'll bet you're in research. Go that way." 01:50:47 Didn't even ask :P 01:50:48 This is why today I was wearing a pink shirt with a peacock blue tie and a white hat :P 01:50:50 awesome 01:52:25 Gregor, however. if you are able to note that this means you don't have a capacity for aesthetics, then that means you either were told this, or realise that it isn't aesthetic. The latter would mean that you do in fact have a capacity for aesthetics! 01:52:51 The way I dress is regularly described as "garish" or "gaudy" 01:52:56 MMM. SPIKY SERIFS ARE NICE -> OK -> Swift 01:53:00 That's some multiple choice. 01:53:06 I figure I probably haven't figured it out by now :P 01:53:25 DO YOU LIKE FUTURA? -> YES -> Futura 01:53:29 That was unexpected. 01:55:15 -!- Zuu has quit (Ping timeout: 276 seconds). 01:55:27 Gregor, iirc you said you use your colour matcher to generate non-matching colours right? 01:55:43 That's a joke :P 01:55:45 I don't actually do that. 01:56:12 Gregor, oh damn 01:56:18 Gregor, that would have been so cool 01:56:32 Gregor: YOU'VE BEEN LYING TO US 01:56:54 The problem is clothing matching is more complicated than colors, reflective properties can make two things that seem to match from one photo actually go terribly together. 01:57:41 hm so you actually need a ray tracer to do it properly? :D 01:57:48 wonderful 01:58:13 Gregor, as long as they don't turn out to go nicely together when they shouldn't 01:58:40 Fair enough when I'm aiming NOT to match I suppose :P 01:59:42 Gregor, as with your clothes that is? 02:00:02 Yuh 02:01:03 Gregor, still you do have a sense for aesthetics. If you didn't you would be unable to even comment upon dressing without aesthetics! 02:01:13 sure it might be poor 02:01:18 but it must still be there 02:01:32 Gregor, the best you can manage is thus a limit towards zero 02:01:37 :P 02:01:42 SO UNHELPFUL :P 02:02:04 Gregor, what? 02:02:24 -!- CakeProphet has quit (Ping timeout: 276 seconds). 02:03:29 -!- CakeProphet has joined. 02:04:09 alise, what I don't get is how it can suggest typesetting a whole book in Baskerville 02:04:50 okay, it is better than Zapfino or Bodoni by far, Still horrible for long sections of text 02:04:55 no, it isn't 02:04:57 only on screen 02:05:05 alise, that could explain it 02:05:07 a /good/ digitised baskerville -- a GOOD one, bad ones are by far the majority -- 02:05:08 is beautiful 02:05:28 for instance, Douglas Adams' works I suspect would be superb in a /good/ digitised baskerville. 02:05:41 digitised? 02:05:45 why digitised? 02:05:47 http://upload.wikimedia.org/wikipedia/en/1/16/BaskervilleSpec.svg <-- this is a good baskerville 02:05:52 AnMaster: Umm ... unless you're using metal type. 02:06:01 Then you're using a digitised font family. 02:06:05 http://upload.wikimedia.org/wikipedia/en/1/16/BaskervilleSpec.svg <-- this is a good baskerville <-- this is like unreadable 02:06:12 You're like stupid. 02:06:20 alise, no, I'm on like 114 dpi 02:06:25 Ctrl +. 02:06:26 oh wait 02:06:27 It's called svg. 02:06:32 "Pants goes against the Word of God" 02:06:33 alise, thought it was a png 02:06:36 -- http://amazinggracebaptistchurchkjv.com/subpage209.html 02:06:53 Anyway, /any/ typeface will have a range of digitisations from crap to superb. 02:07:05 Baskerville is a subtle, old typeface; so it's a lot easier to get wrong. 02:07:10 And it certainly will never fit some works. 02:07:19 alise, okay those straight-up lines in the B (you freaks probably have a special name for them) are much better than in the flow chart 02:07:21 But it's wonderful if tamed. 02:07:22 nowhere as thick 02:07:39 You know, I could call you a freak for having a Linux/OpenGenera obsession. 02:07:44 Gregor: it's true. 02:07:50 alise, indeed 02:08:03 alise, and? 02:08:16 alise: My goodness Baskerville is a beaut. 02:08:38 AnMaster: The Baskerville in http://julianhansen.com/files/infographiclarge_v2.png is bold, by the way. 02:08:41 Just like all the other samples. 02:08:48 And, of course, it's crammed into very few pixels. 02:08:56 So it's understandable that it looks so ugly there. 02:09:12 alise, that could explains why the more readable alternative to didot is in fact less readable 02:09:17 pikhq: The italic serifs are awesome. 02:09:18 in that picture 02:09:23 alise: Yuh. 02:09:52 alise, it doesn't look ugly there. Just unreadable for long text 02:09:58 AnMaster: Didot can be readable at very small pixel sizes because the renderer runs out of ways to make the horizontal lines ridiculously thin so it ends up making them more equal; you know, the reasonable thing to do. 02:09:59 which is not the same as ugly 02:10:11 Well, yeah, setting a book in all-bold, low-resolution type would be dumb. :P 02:10:17 yes 02:10:34 alise, I wouldn't claim Zapfino is ugly. Yet I would claim it is unreadable for long text. 02:11:36 Zapfino is actually quite ugly though, 02:11:41 *though. 02:11:53 alise, not compared to the alternative 02:12:02 and I don't think it is excessively ugly 02:12:05 nice for logos in factr 02:12:07 fact* 02:12:44 Gregor: amazinggracebaptistchurchkjv is a joke, right? 02:12:50 yeah 02:12:51 book burning 02:12:52 http://www.amazinggracebaptistchurchkjv.com/Download99.html 02:13:03 alise: It's never clear :P 02:13:04 If you want a vaguely calligraphic logo, *hire a bloody calligrapher*. 02:13:18 I guarantee it'll look better than whatever calligraphic font you find. 02:14:08 alise, what do you think of Myriad? 02:14:28 AnMaster: It's... Apple Sans. It's a nice font, but... 02:14:34 You can never, ever use it without someone thinking "oh, Apple". 02:14:45 how can it be Apple Sans= 02:14:50 s/=/?/ 02:14:53 they renamed it? 02:14:57 Apple use it for everything. 02:15:05 All the headings on their site, the "iPod" in their adverts, ... 02:15:06 I couldn't tell 02:15:06 :P 02:15:07 Everything. 02:15:13 alise, I'm unable to tell that 02:15:25 alise, that Eurostile looks nice 02:15:33 reminds me of startrek logos hehe 02:15:50 http://upload.wikimedia.org/wikipedia/commons/3/3b/EurostileSpec.svg 02:15:56 Proletariats are futuristic. 02:16:16 not quite as much in that image 02:16:42 alise, Metro looks funky 02:17:24 Bodoni makes me think of Discworld. Think there was a dwarf with that name in "The Truth" (working at that press) 02:17:25 Eple Sons 02:18:03 alise, what is the type face used for the non-typeface boxes in that flow shart 02:18:09 like the choices and the middle box 02:18:33 The answer is in the flowchart. 02:19:00 alise, where? 02:19:01 "I MUST SAY THAT THIS FLOWCHART IS LOOKING HOT". 02:19:05 oh 02:19:30 why would anyone use OCR 02:19:44 as a font I mean 02:19:46 Terminator! 02:20:00 alise, I watched that movie once. Several years ago 02:20:04 I don't remember any fonts 02:20:30 Typeface, dammit, typeface. 02:20:48 alise, font is shorter to type that typeface 02:20:53 anyway 02:21:11 "face" 02:21:25 alise, in your face! 02:21:28 but yes that would work 02:21:44 except I would seem like a typography geek then 02:21:47 and I don't want that 02:21:52 ;P 02:22:04 The term is "typophile". ;) 02:24:45 I'm a typochondriac. 02:41:32 Gregor, :D 02:52:34 -!- BeholdMyGlory has quit (Remote host closed the connection). 02:56:18 -!- derdon has quit (Ping timeout: 245 seconds). 03:20:38 "For containers, there is a lot to say. So, I will not say anything for the moment." 03:22:05 Hah. 03:24:01 -!- Wamanuz2 has quit (Remote host closed the connection). 03:25:08 how to set up ssh so that the user connects with a chrooted jail instead of main system hosting sshd? 03:26:54 nooga: Run sshd in the chroot 03:27:00 (Duh! :P ) 03:27:02 that's what i thought 03:28:11 chrooted system runs using a 80MB ramdisk :D 03:29:24 I've been trying to get a Debian chroot on my phone. 03:32:47 -!- Gregor-P has quit (Read error: Connection reset by peer). 03:43:23 -!- nooga has quit (Ping timeout: 245 seconds). 03:50:49 stallman calls iphone/ipad igroan/ibad 03:50:50 news at 11 04:00:03 -!- Sgeo has quit (Ping timeout: 245 seconds). 04:08:05 Ooooooh, I may actually have a working Debian chroot 8-D 04:08:17 -!- Gregor has left (?). 04:08:20 -!- Gregor has joined. 04:08:27 Again, ctrl+w != shift+w 04:09:45 What's a good WM for a very constrained screen size? 04:18:01 Gregor: dwm 04:18:04 or ratpoison 04:18:50 What's a good WM for a very constrained screen size WITH NO KEYBOARD 04:19:42 Suicide. 04:19:48 It's painless! 04:20:08 I don't want to use Matchbox just because you're all useless :P 04:21:02 On a more serious note: how do you feel about Twm? 04:21:55 I use twm pretty much whenever I can't have XFCE. 04:22:08 But that would suck for a constrained screen. 04:23:04 Hmm. Get a keyboard? 04:23:21 Actually. Are there any mouse-driven tiling WMs? 04:23:24 And if not, why not? 04:23:48 A thing I've checked in the past. 04:23:53 There aren't, and it's bizarre that there aren't. 04:23:58 Very well then. 04:24:04 Gregor, you've got another project! 04:24:10 NO U 04:24:14 You really need a patron. 04:24:17 I'm hypothetically adding VFS to Microcosm. 04:24:21 I DO need a patron. 04:24:28 I 04:24:38 I'd offer, but I suspect I have fewer funds available than you. 04:24:52 I have loads of money, but can a person really have ENOUGH money? 04:24:59 Yes. 04:25:04 Bill Gates has enough money. 04:26:26 I don't think Bill Gates has sufficient money to shuttle himself to the moon for a summer vacation. 04:27:21 stop there, before you start using diagonalization on the question 04:29:16 Hmm. How much would a moon mission cost? 04:29:30 More than $13 billion? 04:29:59 For a month or so of just hangin' out on the moon? 04:30:09 I think for that he could just about pay to have Apollo rebuilt and launched. 04:30:11 It's not a vacation if you go there, collect some rocks, hit a golf ball, and come back. 04:32:58 Gregor: It isn't? 04:33:53 You've gotta have some time to relax poolside! 04:37:56 Y 04:38:01 Sea of Tranquility! 04:38:03 'know what has enough money? 04:38:10 The US Department of Defense. 04:38:39 We should convince them that there's oil on the moon so we can set up a military base there. 04:39:03 It'll be permanently settled until the Moon ceases to be. 04:49:38 -!- CakeProphet has quit (Ping timeout: 245 seconds). 04:49:59 lol 04:51:11 -!- CakeProphet has joined. 04:56:11 -!- CakeProphet has quit (Ping timeout: 260 seconds). 04:57:00 http://abstrusegoose.com/strips/oh_but_they_do_give_quite_alotta_fucks.PNG 05:03:38 Hrm. What's with the Chinese signature? 05:05:50 Shockingly, this phone does not make an ideal Debian system ... 05:06:09 Shocking. Positively shocking. 05:15:03 G'night. 05:15:20 Bye. 05:15:22 -!- alise has quit (Quit: Leaving). 05:42:18 -!- Deewiant has quit (*.net *.split). 05:42:18 -!- jcp has quit (*.net *.split). 05:42:18 -!- yiyus has quit (*.net *.split). 05:42:19 -!- ineiros has quit (*.net *.split). 05:44:45 -!- yiyus has joined. 05:45:50 -!- ineiros has joined. 05:48:38 -!- jcp has joined. 05:54:34 -!- Deewiant has joined. 06:19:30 -!- oerjan has quit (Quit: leaving). 07:48:35 -!- GreaseMonkey has quit (Remote host closed the connection). 07:55:13 -!- kabatta has joined. 07:55:35 hello 07:55:42 -!- Sgeo has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:32:17 -!- kabatta has left (?). 08:57:57 -!- MigoMipo has joined. 09:08:52 -!- MigoMipo has quit (Remote host closed the connection). 09:14:10 -!- pikhq has quit (Read error: Connection reset by peer). 09:40:47 -!- CakeProphet has joined. 09:59:23 -!- tombom has joined. 10:19:34 -!- atrapado has quit (Quit: Ex-Chat). 10:49:23 -!- MigoMipo has joined. 10:50:49 -!- Phantom_Hoover has joined. 11:00:40 -!- MigoMipo_ has joined. 11:03:45 -!- MigoMipo has quit (Ping timeout: 252 seconds). 11:05:10 -!- augur has quit (Remote host closed the connection). 11:05:19 -!- augur has joined. 11:05:45 -!- MigoMipo_ has quit (Remote host closed the connection). 11:06:05 -!- MigoMipo has joined. 11:29:03 -!- cheater99 has quit (Ping timeout: 240 seconds). 11:39:54 -!- MigoMipo_ has joined. 11:43:40 -!- MigoMipo has quit (Ping timeout: 265 seconds). 11:46:04 -!- cheater99 has joined. 11:50:33 -!- Lymia has joined. 12:01:27 -!- MigoMipo_ has changed nick to MigoMipo. 12:20:13 -!- relet has quit (Quit: Leaving.). 12:25:11 -!- relet has joined. 12:25:43 haha, I love the last xkcd 12:29:35 -!- tombom has quit (Quit: Leaving). 12:40:59 AnMaster, yeah. 12:41:28 Although it's just a specific case of poor website design. 12:43:42 Phantom_Hoover, well yes 12:44:04 Phantom_Hoover, but as one who have searched for course lists on my university website a LOT... 12:44:06 Most commercial sites do that as well. 12:44:25 Phantom_Hoover, well they tend to have some "product list" easily available 12:44:29 at least those I visit 12:44:40 which might not be a lot of consumer products 12:44:50 now, contact info, might be harder 12:45:09 I had a horrible time trying to find contact info for Conway a while ago. 12:45:18 Phantom_Hoover, his game of life? 12:45:25 or some other conway? 12:45:29 The address Princeton finally gave had been deactivated. 12:45:34 AnMaster, the very same. 12:45:40 ah 12:46:35 I want a symbolics keyboard, with the usb mod 12:46:38 yes that exists 12:46:48 I seen a picture of someone modifying it to connect over usb 12:47:17 -!- nooga has joined. 12:49:20 Evidently the designer had a thing for modifier keys. 12:50:11 -!- Quadrescence has quit (Ping timeout: 246 seconds). 12:51:40 -!- Quadrescence has joined. 13:12:47 -!- MigoMipo has quit (Remote host closed the connection). 13:26:09 -!- Quadrescence has quit (Read error: Connection reset by peer). 13:26:13 -!- Quadresce` has joined. 13:28:39 -!- Quadresce` has changed nick to Quadrescence. 13:28:53 -!- Wamanuz has joined. 13:58:43 -!- Flonk has joined. 14:16:21 Flonk! 14:16:31 thats me! 14:18:44 Where did you ask Sgeo that question in the first place? 14:20:39 what question? 14:21:05 -!- Lymia has quit (Quit: Lymia). 14:22:40 The one about DCs or somesuch. 14:23:19 I only asked about it here on #esoteric 14:25:21 I thought he told you to come here. 14:25:54 oh, right, I asked if someone could help me with C++ on #IRP, and he redirected me to here 14:35:31 -!- BeholdMyGlory has joined. 14:35:58 DCs? as in Data Centers? 14:37:06 No, some Windows GUI thing. 14:50:14 wtf. I used genera a bit too much recently, I wondered why delete didn't work. Delete acts like backspace there and backspace acts like left-arrow 14:50:28 result: when it didn't work in linux first thought was "wtf, computer is frozen" 14:59:44 Interesting. 15:00:56 So what actually made Lisp machines so amazing? 15:16:12 they were powerful workstations 15:33:52 does anyone know zzo's web server? 15:33:55 I need the url 15:34:52 -!- alise has joined. 15:39:44 -!- andrewnth has joined. 15:43:23 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 15:45:06 -!- pikhq has joined. 16:03:05 -!- pikhq has quit (Read error: Connection reset by peer). 16:08:13 -!- pikhq has joined. 16:56:14 hi pikhq 16:56:22 Hello 16:57:14 http://www.cacaovm.org/ Huh, /another/ free JVM. 17:06:21 Dooby dooby doo. 17:07:43 So so so. 17:08:11 02:34:38 Kurt Gödel looks delightfully evil... 17:08:11 02:37:04 He would be an ideal candidate for a Halloween costume. 17:08:15 I'm afraid he's dead. 17:08:33 04:18:30 vrml. How does one view it? For historical computing purposes. 17:08:33 04:19:08 tools available to me are: opengenera, ubuntu 7.10, ubuntu 10.04, current arch linux 17:08:38 yeah opengenera came with a vrml viewer. 17:08:45 from the FUTURE. 17:19:15 On Perl 6: "I have never heard of a piece of software whose memory consumption dropped by 96% and startup time by 98% from the first alpha release to the first production release. That's what it would take to match perl5." 17:19:28 Looks like Rakudo Star is more like Rakudo LAME. :| 17:19:41 :P 17:26:10 alise, it did? I haven't found it then 17:26:26 AnMaster: From the FUTURE. 17:26:32 alise, riiiight 17:26:46 alise, cl-http server contains vrml examples though 17:26:47 so... 17:26:49 explain that 17:26:50 AnMaster: Hey, could you clone the vm, change the password then put up the files somewhere? 17:26:57 Rather than making us poor people go through the setup instructions >_> 17:27:17 alise, do you have a license? 17:27:22 Yes. 17:27:26 alise, show it 17:27:32 Show yours :) 17:27:43 hah 17:27:52 alise, I can't, you could steal it then 17:28:11 Just put a file in it saying "This can only be used if you legally own an OpenGenera license!" That provides you the same legal protection as anything (i.e. barely anything) :P 17:28:36 alise, anyway I need to redo the VM. I did several things wrong. Oh and I keep the sys.sct directory in hg now 17:28:43 Why? XD 17:28:46 alise, makes reverting stupid things easier 17:28:59 needed it a few times when I messed up 17:29:05 better than reinstalling 17:29:15 I feel like using QEMU will be better than VirtualBox. VirtualBox is for emulating more conventional stuff without much ... you know, techy tweaking junk. 17:29:26 I'd say Bochs, but Bochs emulates at like half a Hz. 17:29:26 alise, qemu is slower 17:29:36 AnMaster: More realistic, for OpenGenera :-) 17:29:48 alise: Bochs is faster than *that*... 17:30:01 alise, anyway I have no clue if this VM will work on OSE virtualbox 17:30:02 Still, it's not exactly speedy. 17:30:09 alise, oh and I have nowhere I could put 2.4 GB 17:30:09 pikhq: Sorry; three quarters of a hz. 17:30:15 which is what df -h in the VM reports 17:30:19 Whence the 2.4 GiB? 17:30:25 AnMaster: inaccurate 17:30:29 VirtualBox lazily allocates disk 17:30:31 alise, ubuntu mostly. 17:30:36 most of that won't actually be on your disk, I bet. 17:30:41 alise, correct. The actual image is larger 17:30:42 Unless you mean used. 17:30:47 due to deleted files 17:30:50 alise, yes I meant used 17:30:58 Oh well. Link me to your guide -- is it the Moast Korrekt version? 17:31:20 alise, perhaps. I haven't documented getting hardcopy with cups-pdf though. 17:31:27 alise, reason is that it only works partly 17:31:34 like, you must disable cover page 17:31:35 I don't care about that. 17:31:39 ah 17:32:04 Incidentally, this is the craziest chain of emulation ever: VM running x86 Ubuntu running a Tru64 Unix on Alpha emulator running Genera. 17:32:08 alise, while http://sprunge.us/fAfd is correct afaik, there could be errors 17:32:13 And Genera is an operating system in and of itself. 17:32:16 and I have not proof read it much 17:32:28 That's alright, I can sling it. 17:32:30 I did single pass with aspell 17:32:37 caught one error only 17:33:04 Anyway, I think DKS is such a rabid salesman that he can't get angry at people downloading it. 17:33:17 dkschmidt at 2007-08-15 02:24 CET: 17:33:17 Congratulations on downloading the finest software development environment ever created. If you want to find out more about Genera or would like to have a Symbolics Lisp Machine, check out the Symbolics website at www.symbolics.com or contact sales@symbolics.com. 17:33:19 -- comment on the torrent 17:33:33 Just another opportunity for a sale1 17:33:34 *sale! 17:33:41 I think he realises nobody's going to buy Open Genera anyway. 17:33:47 alise, oh and to load cl-http, when everything else in there is done do: Load System CL-HTTP 17:33:50 that won't load config 17:34:01 you will get 500 Internal Error after that 17:34:04 AnMaster: *splurts drink everywhere* 17:34:04 either that or 404 17:34:05 The VLM is a product for DEC Alpha / Tru64 Unix. There are experimental VLM versions for Linux/x64 and, newer, Mac OS X (x64). 17:34:15 Oh my god oh my god oh my god. 17:34:19 there's a native 64-bit linux version 17:34:22 must buy 17:34:22 alise, where is that from? 17:34:22 must buy 17:34:23 must buy 17:34:31 alise, um. that Linux/x64 is the one I used 17:34:31 andrewnth: http://www.reddit.com/r/lisp/comments/c8sjz/what_are_your_favorite_and_mostused_cl_projects/c0qxfjv 17:34:36 andrewnth: no 17:34:37 they mean x86-64 of course 17:34:38 AnMaster: no 17:34:38 :< 17:34:41 you're using the tru64 version 17:34:44 andrewnth: change your nick :| 17:34:52 alise, it is running in a x86-64 VM though 17:34:52 AnMaster: emulated on linux/64 17:34:54 ah 17:34:56 perhaps 17:34:58 AnMaster: yes, but it's another layer of emulation 17:35:01 alise, okay i'll change it 17:35:03 -!- andrewnth has changed nick to andynth. 17:35:03 this VLM is a native emulator for 64-bit linux 17:35:05 better? ;) 17:35:09 you could just run it in a chroot 17:35:16 andynth: it's more the starting letters that are bothersome :D 17:35:26 there, fixed 17:35:29 last-spoke order for nick completion now 17:35:43 AnMaster: so actually my chain of emulation was wrong, if it's Virtual Lisp Machine (VLM) 17:35:50 alise, what? 17:36:01 Incidentally, this is the craziest chain of emulation ever: VM running x86 Ubuntu running a Tru64 Unix on Alpha emulator running Genera on a Symbolics Lisp Machine. 17:36:14 Open Genera doesn't run natively on Tru64 Unix; it emulates a Lisp Machine. VLM, Virtual Lisp Machine. 17:36:14 x86-64 17:36:19 "The VLM is a product for DEC Alpha / Tru64 Unix." 17:36:20 thank you very much 17:36:22 AnMaster: Er, right. 17:36:44 alise, besides I don't know if the source to snap4 is public 17:36:47 I don't think so 17:36:47 Incidentally, this is the craziest chain of emulation ever: VM running x86-64 Ubuntu running a Tru64 Unix on Alpha emulator running Genera on a Symbolics Lisp Machine. 17:37:02 AnMaster: My point is: You're running /three layers of emulation/. 17:37:03 :D 17:37:10 alise, I'm well aware 17:37:20 No, we thought it ran Genera natively on Tru64. 17:37:24 Not emulating a Lisp Machine. 17:37:27 err no 17:37:29 I didn't 17:37:38 what I did think was that we skipped the Tru64 step 17:37:38 Okay, you're misunderstanding. 17:37:58 I don't /think/ we do. 17:38:02 alise, I read open genera docs. It mentions emulation 17:38:09 ...Anyway, with the x86-64 Linux VLM we could just run it in a chroot. 17:38:13 For, you know, moar speed. 17:38:22 alise, but you _don't_ wan't to mess up your system with NFS and NIS 17:38:23 And better mouse/keyboard stuffs. 17:38:31 that is _why_ you want a VM 17:38:37 AnMaster: Just serve it on a random port on just 127.0.0.1. 17:38:37 but sure, skipping that would be nice 17:38:44 alise, do you have a url though? 17:39:18 to what? 17:39:24 "For example in the snap4 version some arithmetic is broken and GC plus I/O often leads to crashes. Brad has fixed the complex arithmetic, but the error on the Genera side with GC has not been fixed yet." --lispm 17:39:27 the x86-64 VLM 17:39:31 AnMaster: It's commercial software. 17:39:35 You buy it. From Symbolics. 17:39:39 An experimental release. 17:39:41 Well. 17:39:42 I know that the arithmetic is broken in part 17:39:44 I noticed it 17:39:50 They might give it away for a reduced price, of course, since it's an experimental release. 17:40:01 If you're REALLY smooth with the ladies^W^W^W you might be able to get it free. 17:40:04 alise, I would like a link to the snap5 then 17:40:16 AnMaster: Contact D.K.Schmidt. 17:40:19 You'll probably get a quote. 17:40:22 *D. K. Schmidt. 17:40:23 alise, XD 17:40:30 wrong guy for snap4/5 17:40:36 sales@symbolics-dks.com 17:40:37 AnMaster: no 17:40:43 the contact is D. K. Schmidt 17:40:47 he handles all communication 17:40:56 alise, I was pretty sure it was a third party project 17:40:57 "Send bug reports to Kalman Reti at reti@symbolics-dks.com" -- but it's a known, fixed bug, so. 17:41:00 snap4 that is 17:41:00 AnMaster: Nope. 17:41:04 AnMaster: It's a Symbolics project. 17:41:15 alise, they are a god damn shell company! 17:41:27 AnMaster: Well, they still develop. 17:41:33 alise, anyway, if you buy it, send me a copy 17:41:42 Do you have a license? 17:41:46 Show me it. 17:41:49 do you care? 17:42:06 No, but you're depriving me. :) 17:42:25 huh? 17:42:31 Of the VM. 17:42:40 In which Stanislav uses Open Genera on a real Symbolics Tru64 Alpha machine: http://www.loper-os.org/?p=186. 17:42:46 alise, I have nowhere to put 2.4 GB 17:42:50 and I have slow ADSL upload 17:43:05 reverse engineering the whole thing would take less time! 17:43:32 Error 503 Service Unavailable 17:43:32 Service Unavailable 17:43:32 Guru Meditation: 17:43:32 XID: 959894884 17:43:32 Varnish 17:43:34 -!- Mathnerd314 has joined. 17:43:34 Dammit, T.P.B. 17:43:40 AnMaster: At least seed the torrent :P 17:43:46 alise, hm I could 17:43:54 alise, will take a few minutes 17:43:57 to get that ready 17:44:10 I guess I could somehow import the file into ktorrent 17:44:12 got it years ago 17:44:14 year* 17:44:15 Last time I downloaded it it ran at like 1 KiB/s. 17:44:29 AnMaster: Yeah: download the .torrent file, tell it to download where the file already is. 17:44:33 ( http://thepiratebay.org/torrent/3769989/Symbolics_Open_Genera_2.0_for_Alpha_-_complete_package_with_Lisp ) 17:44:33 alise, /msg me the url to the torrent 17:44:38 Too late. 17:44:44 Well, I did /msg you; just a lot of other people, too. 17:45:51 * AnMaster scps the file 17:46:00 AnMaster: I don't suppose you're the peer I'm downloading from at 600 KiB/s, are you. 17:46:25 AnMaster: scps what? o_O 17:46:49 alise, opengenera2.tar.bz2 from laptop to desktop 17:47:03 since I don't have port forwarding set up on laptop 17:47:07 alise, and seeding now 17:47:35 * AnMaster looks at the kick peer and ban peer options 17:47:41 alise, I always wondered what those did 17:47:51 and what the difference was 17:48:01 alise, oh I expect you to seed this to a ratio of 2 then 17:48:25 I'm sure collectively, all the times I start Transmission and then take a second to pause it, it will eventually add up to 2. >_> 17:48:34 I am the reason democracy doesn't work! 17:48:39 No, really, I will seed it. 17:48:40 alise, hey 64 % already 17:48:44 you are downloading fast 17:48:47 72%. 17:48:52 You are looking at the wrong guy. 17:48:55 75%... 17:49:01 Almost 800 KiB/s download. Pretty nice. 17:49:06 Oop, went down there. 17:49:08 alise, some very very fast other peer then 17:49:19 Yeah; I'm getting 400-600 KiB/s from them. 17:49:31 Someone else using Transmission. 18.238.1.85. 17:49:36 hm 17:49:48 could be D, K. Smitch (sp?) himself? ;P 17:50:03 85.1.238.18.in-addr.arpa domain name pointer UNCLE-ENZO.MIT.EDU. 17:50:27 alise, are you seeding now? 17:50:31 AnMaster: Host Name: UNCLE-ENZO.MIT.EDU 17:50:40 So it's that legendary university internet. 17:50:40 alise, see above 17:50:47 I'm seeding to 0 people. Blame them. 17:50:55 alise, well keep it ready there 17:51:00 I seeded this when people hadn't got it 17:51:06 so I'm done seeding for now 17:51:51 Tell you what, I'll seed aliseOS to you when it's out. :P 17:52:39 AnMaster: Nobody likes me enough to take my seed. 17:52:46 alise, I have a better idea, since it will take less time 17:52:47 Uh... that was an awkward way to say that. 17:52:51 XD 17:53:01 alise, seed DNF when it is out 17:53:09 will take MUCH less time 17:53:13 Or Chinese Democracy! Wait... that /did/ come out. 17:53:14 than waiting for aliseOS 17:53:24 alise, out of china yes 17:53:32 I mean the album. :P 17:54:30 oh I never heard of that 17:55:05 Guns N' Roses released Use Your Illusion I & II in 1991, then toured for something like a few billion years, then finally released Chinese Democracy, promised since 1992, at the end of 2008. 17:55:13 It's more about the ridiculously long wait and anticipation than the music. 17:55:55 It took longer than DNF took to die; so, yeah. 17:56:01 Whoa, apparently someone picked up the DNF torch. 17:56:07 Developer(s) 3D Realms (1997–) 17:56:07 Unknown external developer (2009–) 17:57:23 http://nedroid.com/comics/2010-07-26-bonustholomew.gif 18:04:56 This spam has introduced me to my new favorite word ever: 18:04:58 Lesbimans! 18:06:08 Is that a ... lesbian ... man? 18:06:49 I don't know! 18:06:52 But it's my favorite word ever. 18:07:29 -!- Phantom_Hoover has joined. 18:07:36 AnMaster: Why doesn't it work with newer Ubuntus, again? 18:09:13 Something with the X server, wasn't it? 18:10:07 Looking through zzo's site is weird... 18:10:18 -!- Phantom_Hoover has left (?). 18:10:25 -!- Phantom_Hoover has joined. 18:11:46 Phantom_Hoover: Weird or AWESOME? 18:11:47 AnMaster: :| 18:12:01 alise, well, just the images directory is weird. 18:13:33 The Chronojournal has been spammed so much it's not even funny. 18:14:11 alise, see further down 18:14:14 where it says XIO 18:14:29 alise, I tried the first 8.x version 18:14:31 AnMaster: I am an orphan and consequently unable to read )( 18:14:47 alise, well then what I write here has no use either. 18:14:55 My computer reads words to me 18:14:55 since you can't read IRC either 18:14:57 But only here 18:15:03 In other places there is no talking 18:15:04 bbl driving practise 18:15:07 All I see are pictures. Sometimes they are nice 18:24:12 driving practie? 18:26:09 Praktie. 18:27:49 Precis? 18:39:31 -!- oerjan has joined. 18:40:13 I wonder how much RAM Open Genera needs. 18:41:59 oerjan! 18:42:10 yo 18:42:25 alise, does anyone else think writing a Lisp OS that can run on modern hardware is a sensible idea? 18:42:33 s/sensible/cool/ 18:42:33 The Loper guy. 18:42:37 You mean apart from me? Or apart from you? 18:42:55 09:08:11 02:37:04 He would be an ideal candidate for a Halloween costume. 18:42:59 09:08:15 I'm afraid he's dead. 18:43:05 I think it's a good idea -- well, not Lisp, but the same idea as Lisp Machine O-- anyway, yes; the Loper OS guy [warning: controversial half-crank, but clever]; me; ... 18:43:06 that is not _necessary_ a disadvantage. 18:43:10 oerjan: xD 18:43:24 I may try that this October. 18:43:33 Perhaps someone will get it. 18:43:42 Phantom_Hoover: make sure it can persist lisp objects rather than a silly filesystem! 18:43:50 *ily 18:44:12 now how much ram does open genera need 18:44:15 ehh 18:44:17 I have 4 GiB 18:44:25 alise, that will probably be enough. 18:44:46 yeah :P 18:44:48 Given that it was designed for what, 90s hardware? 18:44:50 I'll give the vm the default 18:44:52 384 MiB 18:44:54 Phantom_Hoover: much less 18:44:56 Phantom_Hoover: 80s hardware 18:45:05 but it has to run ubuntu, running an Alpha emulator, running a Lisp Machine emulator, running Genera 18:45:07 so there is overhead 18:45:11 but 384 should be plenty. absolutely plenty. 18:45:29 alise: That's a lot of layers. 18:45:32 "You should have a 300 mHz or greater Alpha workstation with at least 18:45:32 500 MB RAM, 4 MB cache and 1 GB of available disk space." 18:45:33 Never mind. 18:45:37 I'll give it 512 MiB. 18:45:39 It's like an onion. 18:45:50 This is probably excessive, but dammit, I have over 3 GiB free. 18:46:05 thos pesky millihertz 18:46:09 *those 18:46:15 Failed to create a new virtual machine Open Genera. 18:46:15 Runtime error: -102 (File not found.). 18:46:16 Abuh. 18:46:37 Oh, it uninstalled VirtualBox. 18:46:37 Heh. 18:47:48 Phantom_Hoover: Anyway, if you do make a Lisp OS: You are awesome. If you make a Lisp OS that, instead of a filesystem, automatically persists the Lisp objects in the system with a certain marker on them -- say, with a "persist" flag set -- to disk, and automatically reloads them on bootup (note: this is /easier/ than implementing a filesystem) -- you are quadruply awesome and should breed immediately. 18:48:32 alise, it's a lovely idea, but I enjoy programming, and as such am a terrible developer. 18:48:48 Yeah, x86-64 is a drag. 18:49:01 Phantom_Hoover: The main issue is the Lisp implementation. 18:49:11 You don't really want to write it in C because then you get all the baggage of, you know, C, which is sort of against the point. 18:49:21 BitC! 18:49:21 But writing a JIT compiler in assembly? [suicide.] 18:49:40 JIT... Assembly... (seppuku) 18:49:40 Or... LowLevelLisp macro DSL in whatever Lisp you are implementing! 18:49:42 in fack 18:49:45 fact 18:49:46 In fack! 18:50:08 writing jit compiler in assembly is not so hard 18:50:28 Yeah, but... not for us high-level guys. 18:50:30 esepcially if you're targetting simple processors without MMU and other useless shit 18:50:34 Whoa, VirtualBox supports EFI. 18:50:35 alise, use an existing CL (or Scheme) compiler and modify it? 18:50:38 nooga: x86-64 :P 18:50:41 ah 18:50:46 then it's suicide 18:50:46 Phantom_Hoover: Those will be heavily existing-OS-oriented. 18:51:02 Phantom_Hoover: You could base it on Movitz, but nobody likes Movitz. 18:51:10 alise, hmm. 18:51:54 http://fc04.deviantart.net/fs70/f/2010/160/c/5/Talk_to_Me_1_by_humon.jpg :D 18:52:39 alise, can we not bother with x86-32? 18:53:08 Phantom_Hoover: No point to support it for a new OS. 18:53:25 Phantom_Hoover: 64-bit is very helpful because you can map the entire object space to address space. 18:53:27 Yay! 18:53:37 So, say, some large 64-bit pointer will actually be a serialised object on disk, but of course this is transparently handled. 18:53:42 alise, also, you have actual, proper GPRs. 18:53:49 That way you don't have to actually directly deal with mapping things; it can be transparent, in the paging. 18:54:01 Phantom_Hoover: Also, it means that you have more space for type tags. 18:54:09 alise, indeed. 18:54:34 So if you identify, say, 10 types in a tag, that's four bits, so you still get 60 bits. 18:54:44 And today's CPUs don't even /use/ all 60 bits to look up memory. 18:54:57 Although IIRC there's some restriction on the higher bits; pikhq? 18:54:58 alise, risky 18:55:00 But you can always use the lower bits. 18:55:05 Phantom_Hoover: No, I don't mean just pass that pointer. 18:55:06 alise, sign-extended. 18:55:12 Obviously if it's a pointer, you >> 4. 18:55:14 Then look it up. 18:55:23 So you tag the lower bits. 18:55:25 Which is safe. 18:55:42 No? 18:55:45 alise, an instruction for each memory access seems wasteful. 18:56:30 Phantom_Hoover: Nah, not really. 18:56:38 Phantom_Hoover: Memory access is very slow compared to CPU anyway. 18:56:40 alise, OTOH there's CCL's strategy, which is to align all objects. 18:56:43 So the overhead is unnoticeable. 18:56:51 Phantom_Hoover: That also works, yes, but you probably want more than just integers vs objects. 18:57:09 alise, CCL get something like 7 tag bits. 18:57:10 Phantom_Hoover: Booleans, characters, symbols... identifying these in the pointer is useful. 18:57:18 Especially type of number, since that makes polymorphic arithmetic a lot quicker. 18:57:23 Phantom_Hoover: Ah, so it aligns it even more. 18:57:47 Phantom_Hoover: That's 3 bits, so... 18:58:03 -!- Flonk_ has joined. 18:58:10 Phantom_Hoover: That would work, yes. 18:58:15 Phantom_Hoover: Probably the best idea. 18:58:23 are there some papers about machine lisp? 18:58:33 nooga, they're probably boring. 18:58:43 why not implement machine lisp on some spartan core 18:59:16 machine lisp on lisp machine core. 18:59:38 -!- Flonk has quit (Ping timeout: 265 seconds). 18:59:40 uhh 18:59:42 i meant 18:59:43 -!- Flonk_ has changed nick to Flonk. 19:00:18 lisp machine on FPGA 19:00:31 i know 19:00:35 fpga is slow though :D 19:00:41 mmmm 19:00:43 Phantom_Hoover: do you have project ADHD? 19:00:53 alise, to a degree. 19:01:00 Phantom_Hoover: dammit. 19:01:03 I almost got excited. 19:01:22 probably emulating lisp machine on x86 is slow as well 19:01:29 alise, OTOH I've never actually done a project with anyone else's knowledge. 19:02:02 I guess I can help with everything that isn't actually writing assembly. 19:02:09 "Organising an object model in memory" is my idea of fun. 19:03:33 Can we abstract the hard drive away entirely? 19:04:29 Phantom_Hoover: Of course. 19:04:34 AWESOME 19:04:46 Phantom_Hoover: Basically, every allocated object gets a unique position in address space. Obviously. The thing is, this does not correlate to physical memory. 19:04:54 You can get addresses in the very high numbers, theoretically. 19:04:55 Now. 19:05:03 In the Lisp, in the object system underlying everything or whatever we have, 19:05:08 Every object has a flag -- "persist". 19:05:11 Surely we want to move oft-used objects into memory? 19:05:15 Yes. 19:05:17 If it is set, then every N intervals, 19:05:23 It is saved to disk with its address. 19:05:31 Whenever an object is used, it is loaded into RAM (or at least, if it can all be). 19:05:44 Objects that have not been used for a while give way to new objects to be loaded. 19:05:52 Tada: We remove the filesystem, replace it with orthogonal object persistence, AND 19:05:54 objects never change addresses 19:05:57 even over boots. 19:06:10 Also, you can't lose data more than N intervals old if it's set to persist; it will reappear on the next boot. 19:06:17 -!- nooga has quit (Ping timeout: 260 seconds). 19:06:28 So: You never have to touch the disk. All you ever do is set "persistent" and never have to worry. 19:06:35 Some reinitialisation to do with sockets, yes, but that's easy enough to handle. 19:07:26 alise, if N is high you'd presumably want to be able to force storage. 19:07:38 N would not be high. 19:07:49 We'd keep a list of "dirty" (changed) objects, so the writes would never be large. 19:08:01 So we can do them, say, every .5 seconds. 19:08:09 It could be configurable from inside, I guess. 19:08:37 This is called "orthogonal" persistence. It is quite a well-known thing and has had a bit of research done. 19:08:38 x86-64 has paging, doesn't it? 19:08:41 * Phantom_Hoover checks 19:08:45 Yes. 19:09:14 alise, what about fragmentation? 19:09:14 Phantom_Hoover: In fact, I even suspect you could do deduplicative storage and thereby /version every change to a persisted object/. But that's much more theoretical, and harder. 19:09:22 Fragmentation on disk? 19:09:34 Yes. 19:09:57 When an object is GCed, presumably you remove it from the disc? 19:09:59 It's not a huge problem any more, what with the speed of disks and the rising popularity of SSDs. While this is a toy, of course it will never make a difference; when it becomes practical... well, that'll take so long we'll all be using SSDs anyway. 19:10:09 Phantom_Hoover: Yes, but an object with the persist flag set is never GC'd. 19:10:27 We don't serialise every old object (you can almost do this automatically, but again that's much more theoretical) 19:10:42 One could presumably design the OS based around having both an SSD and a platter. 19:10:54 Yeah, but ... I'd just treat disk seeking as instant. 19:11:12 Remember, /all/ your RAM will be used to store all the objects it can. 19:11:28 Sure, it won't be totally optimal, but once SSDs become very popular (soon) it'll be just fine. 19:11:34 In fact, scheduling and the like on SSDs only hurts performance. 19:11:39 And since this would initially just be a toy, well... 19:11:55 alise, I am without an SSD, though. 19:12:04 So am I. 19:12:10 Phantom_Hoover: But are you going to do your everyday computing on this soon? 19:12:13 Unlikely. 19:12:19 alise, NO AMBITION 19:12:26 Phantom_Hoover: Aspire to own an SSD, then. 19:12:37 They'll be affordable in a few years, when this thing might actually be able to edit its own code. :P 19:13:07 -!- pikhq has quit (Quit: leaving). 19:13:16 What about the bootloader and partitions? 19:13:34 You /could/ use GRUB... but if we're even not doing C, hell; just write our own. 19:13:38 We'll have to switch into long mode anyway. 19:13:41 Wait, make partitions and the bootloader lisp objects! 19:13:44 It's not hard to write a bootloader. 19:13:47 Phantom_Hoover: That makes no sense, good sir. 19:13:59 alise, So? 19:14:13 Good point. 19:15:28 What; my processor doesn't do virtualisation. 19:15:28 But it makes sense to a /degree/. 19:15:38 Phantom_Hoover: So does banana-flavoured cheese. 19:15:39 Nor mine, as far as I can tell. 19:15:47 alise, OMG 19:15:49 So I can't do 64-bit with VirtualBox. Bet QEMU can do it. 19:15:51 We must make that. 19:15:55 * alise barfs 19:16:18 Using VB for writing bootloaders and such doesn't seem like such a good idea. 19:16:44 VirtualBox you mean? 19:16:47 Oh, I'm just trying Open Genera. 19:17:16 Phantom_Hoover: For actual OS development you usually want Bochs. 19:17:17 Of course I mean VirtualBox. Writing bootloaders in Visual Basic is so stupid it's almost cool. 19:17:26 Slow as molasses, but you can do debug output and even some debugging (this is hellish). 19:17:43 So Bochs when shit is fucked up, QEMU when shit is cool. 19:21:37 So are we writing our own bootloader or not? 19:22:22 Yeah. Wait ... are we coding /now/? 19:22:32 Hold up there boy, there's an awful lot of planning and procrastinating to do first! :D 19:23:22 Of course. 19:23:31 -!- oerjan has quit (Quit: Later). 19:24:07 Of course to the first question or the second statement? 19:24:48 The second. 19:24:51 Phantom_Hoover: We should probably decide on the actual Lisp. Proper Common Lisp would take 50 years to implement all the subtleties of Roman numeral formatting and LOOP and whatnot, so I'd suggest that that's out. But Scheme is ... not ideal for this, obviously. 19:24:59 Therefore I propose the obviously superior solution, that of designing our own dialect. 19:25:13 Pleasepleaseplease tell me we don't have to use GAS. 19:25:15 Worked for the Symbolics guys! 19:25:19 Phantom_Hoover: ABSOLUTELY FUCKING NOT. 19:25:21 I hate GAS. 19:25:32 Yes! 19:25:33 What say you to yasm? 19:25:42 It's just like nasm, except BSD-licensed. :P 19:25:48 Yep, that's good. 19:26:44 You're like me when I even had the necessary amount of self-delusion to convince myself to start big projects! And I LIKE that. :P 19:26:46 So long as I don't have to grapple with AT&T indirection, I'm good. 19:27:48 So, presumably you know assembly; that's handy, as I ... don't, not more than the absolute basics. 19:31:16 So presumably the whole computer is the lisp image? 19:33:45 Phantom_Hoover: Eh? 19:34:26 That was a half-formed thought.... 19:34:47 Quite. 19:35:54 What do you have in mind for the dialect? 19:38:02 Nothing much; immutable conses, there's always a popular one. :P 19:40:24 Immutable conses seem a bit weird for a low-level system. 19:41:38 Phantom_Hoover: Perhaps, but actually mutating conses basically never comes up in code. Not in well-designed code, anyway. 19:41:44 And if you're iterating over that cons... /ouch/ 19:41:50 Well, over the list with that cons in it. 19:42:02 alise, true, but functions like nreverse can be useful. 19:42:26 Reversing a linked list is slow. 19:42:42 But building a new one is slower, isn't it? 19:42:45 Perhaps you are correct. 19:43:11 Phantom_Hoover: Erm, that's pretty much what you have to do. 19:43:14 Consider the structure of the cons cells. 19:43:31 True, but you don't need to copy their contents. 19:43:34 First you have to iterate through all of them, to find the last element; save the car of the first node, set the car of the first node to the last one. 19:43:42 You end up copying all the values and changing the cars of all of them. 19:43:51 This won't be significantly faster than just creating new conses. 19:44:04 alise, it works by changing the cdrs, though. 19:44:10 Besides, if we prioritised performance over safety... 19:44:10 The cars don't enter into it. 19:44:21 Phantom_Hoover: Ah, like that. That'd be even slower then, I think. 19:44:46 alise, slower than making new versions of every cons? 19:44:50 -!- zzo38 has joined. 19:44:55 Consing is fast, you know. :) 19:45:41 alise, I suppose... 19:45:54 Maybe you are right. 19:45:56 I don't know. 19:46:05 OTOH even Scheme doesn't have immutable conses. 19:46:12 But if we are not careful we could end up with "C++ -- the S-Expression edition". 19:46:19 Phantom_Hoover: Racket does, by default. 19:46:31 (Previously, PLT "I Can't Believe It's Not R5RS" Scheme.) 19:46:42 Apparently this broke very few programs in the wild. 19:46:48 umm, alise, reversing a list by reversing the cdr's basically means copying integers around 19:46:53 why would it be slow 19:47:02 Of course, they just had to change it to m(cons|car|cdr|set-car!|set-cdr!). 19:47:12 oklopol: well, i never said it would be slow 19:47:15 just slower than the car method 19:47:17 more book keeping 19:47:19 unless i'm misunderstanding 19:47:24 " Phantom_Hoover: Ah, like that. That'd be even slower then, I think." 19:47:34 than the car method 19:47:41 oh, i see 19:47:43 never mind, then 19:47:53 Phantom_Hoover: anyway you can easily have a mutable cons type too 19:48:13 (more local to switch cdr's than car's) 19:48:14 Does yasm support 888ASM style syntax? 19:48:16 alise, I have a vague recollection that that's the defined behaviour... 19:48:17 Phantom_Hoover: obviously we should have some CLOS-style object system underpinning everything, if we want every object (well, apart from things like integers) to have a persist flag (and because it's generally useful) 19:48:20 multi-dispatch, definitely. 19:48:41 zzo38: probably not; they're not psychic, so they can't instantly know of and implement your new projects. 19:48:45 unless you've told them? 19:49:04 I thought '(1 2 3) was technically immutable, while (list 1 2 3) is guaranteed mutable. 19:49:12 alise: Of course I know they are not psychic 19:49:34 But I mean, if the way the program works is sufficient to make 888ASM style syntax work 19:49:48 zzo38: I imagine if you modified the code... 19:49:58 zzo38: Or: defined a bunch of macros. 19:50:23 Phantom_Hoover: In Scheme? I don't know. 19:50:31 Let's not worry about what They do, anyway. :P 19:50:43 Phantom_Hoover: A major blocker for this project will be the UI... because UIs suck >_> 19:50:50 AAAAAAAA 19:51:03 Perhaps we can advertise for a masochist? 19:51:36 Phantom_Hoover: Do you need a UI? 19:51:44 zzo38, no. 19:51:53 But the old Lisp machines had them, so... 19:52:14 zzo38, well, in a technical sense, yes. It's the "G" that sucks. 19:53:11 hm, what was the relationship between quines and TCness. I seem to remember there was one. 19:53:12 Are you trying to make a Lisp machine? 19:53:23 Phantom_Hoover: We need /some/ interface. 19:53:36 AnMaster: all TC machines with sufficient output capabilities have quines (fixed-point theorem for turing machines) 19:53:37 alise, of course. 19:53:45 Phantom_Hoover: A UI is an interface, not just a graphical one. 19:53:54 Phantom_Hoover: Anyway, I'm sure we can come up with something. 19:53:55 alise, O 19:53:59 That's hardly a current problem, anyway. 19:54:12 Perhaps we can just make an scsh clone? 19:54:14 Phantom_Hoover: I do suggest we use graphical capabilities, even for a linear interface like a command line. Because that lets us do things like images and stuff easily. 19:54:20 But that's no fun! 19:54:25 We want little persisted objects on the screen. 19:54:36 I don't know about Lisp machine, but for Forth it is easy to just make it display "ok" and allow any commands to be typed in at the "ok" prompt. For Lisp, I don't know, but I suppose you can do something 19:54:46 alise, can we map the screen to a Lisp object? 19:55:04 Phantom_Hoover: Everything is a Lisp object, dammit! 19:55:09 That would be epic. 19:55:23 Even C has the screen as a C "object" (pointer). 19:55:42 alise, I thought the screen was done through port I/O. 19:55:53 At least above a certain level. 19:56:00 No. 19:56:08 It's done via memory (controlled by the video card). 19:56:15 Okay, you can do fancy stuff by talking to the video card; but pixel blitting is memory. 19:56:27 alise, well, that helps. 19:56:41 What helps? 19:56:44 Talking to the card? 19:56:50 Mostly unneeded unless you're doing complicated graphics. 19:56:53 No, mmappedness. 19:56:55 Ah. 19:56:58 Well, it's mapped from the card. 19:57:30 Phantom_Hoover: I was about to say "we don't even have to support USB", but the PS/2 emulation is done by the BIOS and you can't talk to the BIOS in long mode; plus it's so slow why would you want to?. 19:57:43 But USB is easy. 19:57:53 And VMs can do PS/2 mice and keyboards to start with :P 20:01:08 alise, OK, so the text UI is done with mmapping? 20:01:25 You are confused: 20:01:30 VGA text mode is done with mmapping. 20:01:34 So is video mode in everything. 20:01:39 (Simple blitting video mode.) 20:01:49 Here, delegate the UI work to me, I'll enjoy it :P 20:04:04 Indeed 20:04:10 Text mode just uses put directly in memory, the ASCII in one byte and the next one is the colors 20:04:25 Usually it is CP437 ASCII 20:04:27 For some reason, finding decent docs for low-level display code is difficult. 20:04:36 zzo38: You can change the font, though. 20:04:37 -!- CakeProphet has quit (Ping timeout: 260 seconds). 20:04:42 Phantom_Hoover: It's all in OSdev material. 20:04:57 I have tried looking through OSDev, but in vain. 20:05:04 But really, text mode is not worth bothering with after you get stuff running, apart from debug; actually doing stuff with text mode is a bitch with all the wrapping and scrolling and everything. 20:05:06 Phantom_Hoover: I know how the memory is laid out for text mode and for CGA modes 20:05:15 -!- Vegabondmx has joined. 20:05:18 Besides, you can do more fun, object-y Lisp UIs with graphical stuff. :P 20:05:29 Note: I do not like WIMP GUIs. 20:05:30 This is probably because MediaWiki's search function sucks. 20:05:43 alise, what do you like, then? 20:05:48 But an automatically tiling (but mouse controlled layout; like Plan 9's acme, if you've used it) object display? 20:05:51 Hell yeah! 20:05:53 You can also use the BIOS to write text to the screen 20:06:02 Object display: Literally, "windows" (frames) are objects with a view. 20:06:12 You can use an Emacs-style buffer switcher "on steroids", too. 20:06:21 ...also some floating windows, for displaying some objects. 20:06:33 -!- CakeProphet has joined. 20:06:57 Phantom_Hoover: Of course, my UI ideas are not very fleshed out because I'm a hopeless visionary. 20:07:13 But since this project has ... slightly lower ambitions ... than aliseOS, I should be able to cook up something awesome. 20:07:38 What is aliseOS, then? 20:07:48 LESBIMANS 20:07:54 Phantom_Hoover: It's... uh... 20:08:03 Phantom_Hoover: You know Feather? 20:08:10 No. 20:08:13 You know the stage where ais523 is with Feather, the bit he can explain? 20:08:17 Well, I haven't even got there yet. 20:08:19 Phantom_Hoover: Of. 20:08:20 *Oh. 20:08:34 I know vaguely of it, but I don't know where he got stuck. 20:09:15 I also have some ideas and when I get a new computer and write Linux distribution I will write a window manager with my own ideas 20:09:18 Basically, aliseOS will make you toast, take over the internet so you have some more computing power, make your mind explode every time you use it, and sexually gratify your dog*. 20:09:29 *Advanced edition only. 20:09:47 AnMaster: all TC machines with sufficient output capabilities have quines (fixed-point theorem for turing machines) 20:09:48 hm 20:10:01 aliseOS is limit of OS as awesome goes to infinity 20:10:46 But I don't have a dog 20:10:57 zzo38: It will buy you a dog first. 20:11:28 But I don't need a dog 20:11:35 alise, what about this one: The source code consists of the letter "b" followed by a bf program. The "b" is mandatory. When executed the implementation begins by outputting the letter c as the first char. 20:11:36 Yes, but the dog will be cuddly, you see. 20:11:48 AnMaster: again, this does not have the necessary output capabilities 20:11:59 which have been quantified i think but i don't think we've done more than discuss them 20:12:06 i'd like to quantify them at some point but haven't yet 20:12:11 david madore has written about this AnMaster 20:12:12 alise, can you specify what exactly "sufficient output capabilities" is 20:12:21 see what i just said. 20:12:23 hm 20:12:27 But I don't want a dog 20:12:32 What I want is the source-codes 20:12:44 http://www.madore.org/~david/computers/quine.html 20:12:51 AnMaster: this has a detailed explanation of the fixed point theorem 20:12:57 grep /The fixed-point theorem/ 20:13:41 "Yow! I've just lost the SOURCE CODE for all my QUINE PROGRAMS! What will I DO NOW with just the BINARIES?" -- David Madore 20:13:54 alise: Yes I have seen that quotation 20:14:01 I copied it into FORTUNE file, even 20:14:33 alise, how does one access persistent objects after a reboot? 20:15:05 Phantom_Hoover: Um. The system automatically restores the state of the previous session. 20:15:08 Because the objects are persistent. 20:15:16 Maybe you have to store all memory state in hard-drive 20:15:17 Like, the window manager will have the "open objects" persisted. 20:15:24 And then you can restore exactly the state of before 20:15:25 It will try to show them on screen, which will cause them to be loaded from disk. 20:15:29 etc., etc., etc. recursively. 20:15:40 alise, so shutting down is the same as hibernating on lesser OSes? 20:15:55 Except that you might have to reinitialize some things of other hardware 20:16:09 Phantom_Hoover: Yes, except... the RAM is written every .5 seconds while running, not all at once. 20:16:24 Phantom_Hoover: Also, this means that if you trip over your power cord, you never miss more than N intervals (e.g. .5 seconds) of work. 20:16:26 Which is, you know, good. 20:16:40 alise, that is possibly the coolest feature ever. 20:17:04 We will be bothering with multiple processes, won't we? 20:17:27 -!- CakeProphet has quit (Ping timeout: 260 seconds). 20:17:56 Define processes. 20:19:04 alise, is it that fuzzy? 20:19:15 -!- CakeProphet has joined. 20:19:39 Well, there are no processes, really, if everything is just living objects. 20:20:17 OK, but what if you want to interleave two things at once? 20:20:20 You look at objects on the screen, you modify them, pass them to other objects: where is the process? there are long-running background things, like say in "threads"; there are the object's paintings on the screen, which they are told to do by the UI... 20:20:28 there are their reactions to the buttons you press. 20:20:46 but "process" is a vague concept, both for merely object display/mutation /and/ long-running computation: and we have no need of it. 20:21:17 alise, so your text editor can fiddle with the WM's internals? 20:21:27 My idea of the BIOS, is, to be compatible with IBM PC BIOS calls, and if there is no boot devices, or you push DELETE key while booting, or you just configured it to do so, or if the operating system attempts to switch to ROM BASIC, then it shall enter interactive Forth mode and display the "ok" on the screen. 20:21:28 No: this is why we have sandboxing. 20:21:42 In a way, note that the WM's internals would be /private/ to it; so there is no real worry there; but we can have proper sandboxing too. 20:22:51 alise, OK, so we have threading? 20:23:24 Perhaps not threading as the pthreads and C folk know it; perhaps something more rigorous, without shared state. 20:23:29 Who knows? It's almost an active research topic. 20:23:32 I suggest we look at what Oberon does. 20:23:54 It has a similar objects-not-processes model, and it's well-designed; it will help. 20:23:57 The OS or the language? 20:24:01 The OS. 20:24:05 Which /is/ the language, in a way. 20:24:34 Can you please tell me what is wrong with this program? http://sprunge.us/BgPV http://sprunge.us/UjTE 20:24:48 zzo38: What error does it result in? 20:25:09 \parindent=0.1pt? What, why the .1pt? 20:25:30 I do suggest that you use LaTeX. 20:25:55 Many errors, including "Missing } inserted", also there is a copy of one of the pages near the end of the document copied at the beginning of the printout, and the tables have no lines and won't wrap like HTML tables do. 20:26:14 Phantom_Hoover: "An efficient multitasking model is supported in a single-process by using short-running commands and cooperative background task handlers." 20:26:15 How do I make it wrap and stuff like HTML tables do? 20:26:21 Phantom_Hoover: This would need to be adjusted for SMP. 20:26:33 zzo38: missing } inserted -- you have a } missing somewhere 20:26:44 zzo38: and if you use LaTeX, it includes a table environment that does everything 20:26:50 writing it yourself will be hard 20:27:23 Output written on srcprint.pdf (1449 pages, 20374279 bytes). http://i.imgur.com/2eX2x.jpg 20:27:25 Does LaTeX do like HTML tables that can be wrapped? 20:27:32 zzo38: it can 20:27:53 What filesystem do floppies use again? Fat-12? 20:28:06 I thought you could use whatever. 20:28:10 Output written on srcprint.pdf (1449 pages, 20374279 bytes). http://i.imgur.com/2eX2x.jpg 20:28:10 wat 20:28:24 Phantom_Hoover: Well, true. 20:28:39 haha I AM PRINTING 1449 PAGES OF SOURCE CODE ON LEGAL-SIZED PAPER DO YOU HAVE A PROBLEM WITH THAT ALISE 20:28:47 Seems Oberon is not in any existing filesystem. 20:28:51 Quadrescence: Can you... afford that? 20:29:02 alise: um 20:29:08 Well, I mean. 20:29:10 Not afford it. 20:29:12 But the waste of paper. 20:29:16 what 20:29:28 1449 pages is rather a lot for a pointless print-out. 20:29:28 Are you asking if I have that much paper? 20:29:36 It's not pointless at all 20:29:41 no, just asking whether you really don't have anything better to do with it :p 20:30:00 i don't get what you're asking 20:30:04 i'm printing it so I can read it 20:30:10 annotate, mark up 20:30:12 the code looks far too small on that paper. 20:30:21 the code is small 20:30:41 but I don't want to print Output written on srcprint.pdf (3628 pages, 32294410 bytes). 20:30:42 Also the page numbers in the table of contents are wrong, and there is a copy of page 28 before the first page of the table of contents, although Yap says it is page 26 20:31:01 The page it is a copy of is labeled 26 in the table of contents, though 20:31:26 did you pass it through latex twice 20:31:40 do you have roman numeral pages at the start 20:31:49 No I passed it through Plain TeX once 20:31:53 o 20:32:01 Why do I need any twice passes? 20:32:22 I put everything in a macro and make it call the macro multiple times 20:32:30 So that is like multiple passes, a bit? 20:32:45 In latex usually you pass it through a few times to resolve references and counts and stuff 20:33:54 Like, see the http://sprunge.us/BgPV the part \def\PrintDocument that is the macro I am making it multiple times to resolve references and counts and stuff. 20:34:57 Also can you tell me if you found a mistake in the other file http://sprunge.us/UjTE 20:36:12 See if you can find the part I missed?? 20:40:15 See the file http://zzo38computer.cjb.net/icosahedral/printout/main.dvi is the printout, you can see what is wrong with page-numbers and you can see some of the text is off of the page, and the other problems 20:41:58 Can you please tell me how to correct these problems? 20:44:29 zzo38: Why is it in landscape? 20:44:34 Why are the margins awful? Aieee, please use LaTeX. 20:44:46 It isn't in landscape? 20:44:50 Is for me. 20:45:23 Maybe your computer converted it to landscape because there is text off of the page 20:45:25 http://www.madore.org/~david/computers/tunes.html 20:45:32 And how do I use LaTeX? 20:45:41 zzo38: Pretty easily. 20:45:41 This seems similar to what alise had in mind, to a degree. 20:45:51 You can get rid of almost all your definitions; LaTeX includes those features. 20:45:55 The table of contents is correct except for the page numbers, as you should be able to see. 20:46:03 Phantom_Hoover: TUNES is the One True Idealist OS; 1995 to present, not a single bit of development. 20:46:07 It's as old as I am. 20:46:16 The founder, Fare, is a fan of Lisp machines. 20:46:20 Indeed. 20:46:23 alise: are you 15 20:46:25 Where is the document for how to use those features in LaTeX? 20:46:32 Quadrescence: Not even that. Well, in a few weeks, I suppose. 20:46:40 alise: are you seriously 15 20:46:45 zzo38: You could read the LaTeX manual; that probably comes with your distribution; or you could use a tutorial, like Wikibooks'. 20:46:49 Quadrescence: 14. 20:46:54 zzo38: http://en.wikibooks.org/wiki/LaTeX 20:47:00 alise: show me a photo 20:47:02 You could just start at http://en.wikibooks.org/wiki/LaTeX/Document_Structure. 20:47:04 Quadrescence: No. 20:47:14 alise: k 20:47:58 OK I can see the Wikibooks file now 20:48:10 -!- Flonk has quit (Quit: ChatZilla 0.9.86 [Firefox 3.6.8/20100722155716]). 20:49:36 I still want to learn how LaTeX works though, so that I can know how to write those kind of macros 20:49:42 alise, this is going to be very different to a conventional OS, isn't it? 20:50:28 Phantom_Hoover: Extraordinarily. 20:50:47 No concept of binaries, filesystems, conventional UIs... other languages... 20:50:48 Good thing I don't know much about OS design... 20:50:59 Unix-style OS design is extraordinarily boring, of course. 20:51:00 So, the things like "\subsection*" can be used to implement the "==Pragma TeX OmitFromContents" that I have? 20:51:13 zzo38: They're basically very complicated macros. Well, not that complicated. 20:51:18 zzo38: Yeah. 20:52:38 alise, I still don't understand how we do two things at once. 20:53:13 Icosahedral RPG is not like a scientific article/report, though. 20:53:37 Phantom_Hoover: Complicatedly. 20:53:42 zzo38: That is alright. 20:53:49 zzo38: the article or book class will suit your needs. Maybe memoir. 20:53:59 And what if I want to omit the \author part? 20:54:00 Memoir is like all the classes in one. 20:54:23 Probably book class should I use? 20:54:34 \author{} 20:54:36 \date{} 20:54:44 I've never used the book class. I'd use either article or memoir. 20:54:47 It is supposed to be like a book, that you can print out and bind it as a book and published 20:54:54 memoir is a very good class for books. 20:55:08 Except it says \chapter is only for books and reports 20:55:08 You can use the same commands as article class. 20:55:17 \chapter works fine in memoir. 20:55:26 alise, do you actually know how it will be done? 20:55:29 OK. The description on Wikibooks does not mention it. 20:55:50 Is the memoir class good for publishing a book? 20:55:59 zzo38: http://www.tex.ac.uk/ctan/macros/latex/contrib/memoir/memman.pdf Very comprehensive documentation of memoir. 20:56:02 Very good. 20:56:08 It does book typography and the like by default. 20:56:20 You can ignore most of the typographical, formatting stuff in the memoir manual; it's very excessive. 21:00:36 alise, how are we doing the implementation? 21:00:58 Phantom_Hoover: Complicatedly! 21:01:16 Lambda, etc.? 21:02:07 Are commands such as \def and \newcount and so on still usable in LaTeX? 21:03:37 The Icosahedral RPG rules is meant to be printed in black&white, except for the cover art which can be colored. 21:04:11 zzo38: Yes, though for commands you should use \defcommand. 21:04:24 Not sure why. 21:04:41 Er. 21:04:42 \newcommand 21:04:52 http://www.emerson.emory.edu/services/latex/latex_19.html 21:05:22 -!- relet has quit (Read error: Connection reset by peer). 21:06:30 Does LaTeX still use Plain TeX or is stuff defined in plain.tex unavailable? 21:06:47 -!- relet has joined. 21:06:56 It doesn't use Plain TeX, but it has analogues for all the commands. 21:07:05 I guess Plain TeX /might/ work with LaTeX. 21:07:17 -!- tombom has joined. 21:09:31 I want to use Plain TeX for some things, because there are some things in LaTeX which I don't like 21:10:09 Like what? 21:16:38 Also there is the problem of still not automatically wrapping text in columns 21:16:59 It doesn't do that with the icoruma.tex macros that I have, either, it also has the same problem 21:17:27 -!- cheater99 has quit (Ping timeout: 276 seconds). 21:18:02 How can you do it like HTML where it will automatically determine the proper widths for wrapping the text in the tables? 21:20:53 zzo38: latex can do columns 21:20:56 twocolumn environment or something 21:20:59 or was it multicol 21:21:04 it does do that with the tables 21:22:32 why did I just think "D&D - flatland edition" 21:22:49 AnMaster: What? 21:22:51 that would be some interesting dice though 21:23:14 zzo38, do you know what flatland refers to? 21:23:36 AnMaster: Yes 21:24:24 zzo38, so this would be D&D for a 2D world, with some 2D replacement for dices 21:25:55 AnMaster, polygons> 21:26:03 If anything, it's better. 21:31:05 -!- ais523 has joined. 21:31:25 I can see however, that LaTeX does have a lot of stuff useful for Icoruma, such as \begin{enumerate} for <+> and \begin{itemize} for <-> 21:31:32 -!- Flonk has joined. 21:33:05 Phantom_Hoover, how would you toss one, you wouldn't have gravity? 21:33:25 well, if you did, then people would have to climb over each other 21:34:03 AnMaster, throw them at a sticky surface? 21:34:11 Also the \footnote command works differently? 21:34:33 Phantom_Hoover, you seem to forget the 2D nature of this 21:34:51 Phantom_Hoover, wouldn't you only have one, the one you are in? 21:35:22 -!- cheater99 has joined. 21:35:22 sticky line perhaps 21:35:51 AnMaster, surface <=> line. 21:36:32 hm okay 21:36:53 I guess that could work 21:40:35 zzo38: \footnote{text} 21:40:42 or \footnotemark[number] 21:40:45 then \footnotetext[num]{...} 21:41:28 Our world seems pretty easy to two-dimensionalise. Just squeeze it between two plates that are really close together. 21:44:24 alise: The LaTeX \footnote{text} works fine for Icoruma, but it is different than Plain TeX? 21:44:36 And what is the command to activate LaTeX? 21:44:37 zzo38: Howso? 21:44:46 With LaTeX, run the "latex" binary instead of "tex". 21:44:53 OK 21:45:36 When entering "latex" it says it is pdfTeX 21:46:03 But what if I want DVI? 21:46:50 pdfTeX outputs dvi too by default 21:46:55 only if you enter pdflatex will it output pdf 21:47:03 OK 21:47:05 pdfTeX has non-PDF features too like typography and stuff that LaTeX utilises 21:47:52 O, that is why it is pdfTeX 21:52:39 Since you are doing a book, I suggest using document class memoir. 21:52:56 You can also use 10, 11 or 12pt text size (and it will scale the rest accordingly) with \documentclass[NNpt]{memoir} 21:52:57 * Sgeo wonders what alise's opinion of things like Wt and Blitzen is 21:53:18 Sgeo: wt is strange. i don't like it much -- link to blitzen? 21:53:38 http://blitzen.sourceforge.net/new/index.php 21:53:46 Something similar, except for C/GObject 21:54:11 Sgeo, you any good at UIs? 21:54:29 No, but I plan to become decent quickly 21:54:38 I'm planning on making a UI toolkit 21:56:02 Phantom_Hoover: So, the OS! Which is now my favourite someone-else's-project. 21:56:06 Also problem, SEP both ways. 21:56:31 Make sure you manage my crazy ideas which I am likely to suggest >_> 21:56:32 Sgeo, not necessarily graphical. 21:56:39 Hey that's my job :D 21:56:44 alise, I'm crazy too, though! 21:56:49 Sgeo, you sane? 21:56:59 Phantom_Hoover: sgeo invented PSOX 21:57:07 he's insane in the "Oh, jesus." way :| 21:58:36 I meant, I'm making a GUI toolkit 21:58:38 Dammit. 21:58:49 Flonk, you haven't been exposed to us for long. 21:59:26 You're saying e still has time to save emself? 21:59:40 yes 21:59:44 Sgeo, no. We want to experiment on him. 21:59:46 or that 21:59:57 Flonk: Hypergeometric spatial disk organisation for deduplicative Lisp morphism storage theory. 22:00:03 We'll throw insanity at 'im and see what sticks. 22:00:16 alise, how is it hypergeometric? 22:00:27 Because. 22:00:43 alise: exatly. 22:00:49 *c 22:01:23 So, need layout control, widgets (there will be 2), and events (clicking) 22:01:27 See, he /is/ sufficiently crazy. 22:01:28 Anything else? 22:01:34 Sgeo: Why are you doing that? 22:01:46 alise, to make writing a HUD for Active Worlds sane 22:01:52 the only word in this sentence I really understood was 'for' 22:01:57 How do you plan to handle updating the UI without user interaction? 22:02:26 Flonk, you know Lisp? 22:02:32 clicking is a user interaction, right? But it needs to be updated separately from that, so 22:03:07 Phantom_Hoover: I've never done anything with it 22:03:32 Flonk, what alise is talking about is abstracting away the disk completely. 22:03:38 no, i was talking about babble 22:03:43 only half of those words were meaningful 22:03:47 alise, indeed. 22:03:59 The other half were about abstracting away the disc. 22:04:06 * Sgeo bibbles 22:04:10 ISIDTID 22:07:39 Sgeo, dammit, be sane! 22:07:45 no, insane! 22:07:52 semi-sane! 22:08:01 alise, we have no shortage of the insane! 22:08:23 fungot, what do you think of the ideas so far presented? 22:08:24 Phantom_Hoover: hence my comment saying that they're partly mocking it, i'd kick them in the least... not working with the standard ( which it does regularly) they all roll on their backs and wave their paws in the air and point out that i have 22:08:37 He doesn't like it, it would seem. 22:12:09 alise: your age explains a lot 22:12:40 Quadrescence: interestingly nobody ever prescribes the things i say to age until they know what my age is. 22:12:47 " well, if you did, then people would have to climb over each other" <<< or you could have a few layers 22:12:48 everyone else in here has known for years; get over it 22:13:13 alise: how many years 22:13:22 hmm, late 2008 i think. 22:13:49 alise isn't exactly all that young anymore 22:14:27 alise: stupidity is confused with nativity 22:15:18 gee, thank you 22:15:48 Quadrescence, alise, shut up. 22:15:52 Quadrescence, are you sane? 22:16:12 Phantom_Hoover: By the DSM IV, I am 22:16:25 DAMN 22:16:43 Is there no-one sane in this channel? 22:17:01 did you not understand what I said 22:17:17 maybe he meant if you've checked from DSM you can't be sane 22:17:22 "are you sane?" "yes" "is there no one sane?" 22:17:36 I'm terrible at that. 22:17:40 oklopol: he didn't mean that 22:17:41 It's the insanity, see. 22:17:48 Quadrescence, do you know Lisp? 22:17:55 maybe 22:18:14 Quadrescence: ben. of doubt or something 22:18:26 oklopol: No, just logically 22:18:37 oklopol: he was implying I was not sane 22:18:43 so there was no "if" about it 22:18:55 Phantom_Hoover: why do you ask everyone it they know Lisp? :D 22:19:16 Because we need someone sane to vet our Lisp OS ideas. 22:19:27 If you don't know Lisp, it's rather difficult. 22:20:08 I .. read a bit about Scheme some time ago 22:20:14 Does that count for anything? 22:20:34 Sgeo, well. You aren't sane, though 22:20:36 well all I know is (f o o), so i guess I'm useless there 22:20:42 I know bits of several different incompatible bits of lisp 22:20:46 *incompatible dialects 22:20:49 -!- Darkfull has joined. 22:20:53 ais523, are you sane? 22:21:00 Phantom_Hoover: i wrote 3 lispy compilers 22:21:11 a few interpreters 22:21:11 Phantom_Hoover: allegedly 22:21:11 Quadrescence, excellent. 22:21:14 Phantom_Hoover, ais523 teaches Java [or teacher assistant?] 22:21:14 but it's hard to tell 22:21:25 Quadrescence: to me it looks like it could've been a bad attempt at jokingness, in case there's something insane about checking if you're sane (although this is probably something you are not that interested in discussing) 22:21:59 Help http://www.4security.com.br/2010/07/26/artigo-apache-com-mysql-e-monitoramento-com-bijk-no-debian-lenny/ 22:22:45 Anyone feel like opening elinks or similar? 22:23:06 Sgeo, I have w3m. 22:23:27 -!- Darkfull has left (?). 22:23:39 " alise: stupidity is confused with nativity" <<< i'm not sure i get this, can you elaborate 22:23:43 nativity to channel? 22:23:48 wait err 22:24:55 hey Darkfull brought us a link 22:24:57 cool 22:34:06 alise, I still think we should cannibalise an existing CL implementation, BTW. 22:37:27 Phantom_Hoover: no 22:37:36 one, CL lacks a lot of things we'd like, like low-level hardware access; 22:37:49 two, CL implementations will be VERY tied to existing OSes and very hard to make work for our purposes -- trust me there -- 22:37:52 third, bah, CL :P 22:38:25 OK, so we write all of the frills that Lisp needs from scratch? 22:39:41 Sure. We're writing all the frills an OS needs from scratch 22:39:42 *scratch. 22:39:49 Besides, C would interfere with stuff, with memory and the like. 22:41:16 We're writing the frills in assembly? 22:42:47 Well, no. 22:43:06 Unfortunately 888ASM is x86 only, with limited support for 32-bit and no support for floating point. But other than that I like the syntax best and it supports macros and things like that, too. 22:43:11 We'll probably need to write the JIT compiler in assembly, for speed and managing hardware, but we can code the frills in Lisp itself. 22:43:54 Phantom_Hoover: I mean, these things really blur the OS-language distinction. 22:44:01 alise, so we also need a Lisp assembly interface? 22:44:03 Like Smalltalk. 22:44:12 Phantom_Hoover: Or we can just build it up with macros and the like. 22:44:19 Wait, yeah. 22:44:43 Memory access would need to be included at a low level, wouldn't it? 22:44:55 alise: Is it x86 assembly? Is it protected mode? Now if you do it to other computer you need C instead of assembly, a bit 22:45:05 zzo38: long mode 22:45:06 x86-64 22:45:08 for the address space 22:45:40 O, so it won't work if you don't have a 64-bit computer 22:45:41 good night people. 22:45:48 zzo38, no. 22:45:51 -!- Flonk has left (?). 22:46:08 Engineering for 2 architectures would drive us mad. 22:46:13 zzo38: You could use QEMU. 22:46:16 It can emulate 64-bit. 22:46:26 But yeah, the 64-bit address space is important for our plans. 22:46:30 I have Bochs, I think it can emulate a 64-bit computer as well?? 22:46:40 Bochs is slower though. 22:46:41 But that is OK, you can make it 64-bit program only, if you want to 22:46:45 You'd get much less than 2 GiB of space in total on your computer. 22:47:14 -!- Flonk has joined. 22:47:17 or not. 22:47:53 :D 22:47:56 We are magnetic. 22:48:37 :D no its just that my clock tells the wrong time 22:53:04 so you guys know everything, right? :D 22:53:14 Flonk, a portion of it. 22:53:27 Someone will be an expert on anything. 22:53:37 I'm just looking at lambda calculus (and havent come very far yet). 22:53:58 Flonk, we know about that. 22:54:09 would (λx.xx)2 be 2+2, or 2*2, or something else? 22:54:21 well 22:54:21 define 2 22:54:31 lambda calculus doesn't have integers by default, so do you mean the church numeral? 22:54:34 Flonk, 2**2. 22:54:44 Using the standard Church encodings for nats. 22:54:53 if 2 = \fx.f(fx) 22:54:58 then yes, it's 2 squared 22:54:58 = 4 22:55:04 You can verify this yourself 22:55:28 alright, thanks :) 22:55:45 I never quite got the \b e.e b thing. 22:55:57 -!- nooga has joined. 22:56:02 nooga! 22:56:53 what don't you get about \b e. e b? 22:57:08 I don't see why it's b**e. 22:57:37 How to I configure my Wikibooks account to display the newest draft by default instead of the checked versions? 22:59:33 I found it 22:59:34 Phantom_Hoover: try and expand it manually 22:59:41 (\f x. f (f x)) (\f x. f (f x)) 22:59:44 Actually I didn't find it 22:59:49 (\x. (\f x. f (f x)) ((\f x. f (f x)) x)) 23:00:03 etc 23:00:16 alise, I tried that. I got lost in alpha reductions. 23:00:35 rename 23:00:37 alpha renaming, you mean? 23:00:42 Yesyesyes 23:01:56 "A new way of analyzing grids of numbers known as matrices" --physorg.com 23:02:54 "in our new formalism matrices are written upside down, which makes some equations look much more natural" 23:03:42 Please tell me this is a joke. 23:04:02 mine was, that's how professional what alise said sounded to me 23:04:16 i didn't say it 23:04:24 i just thought it was hilarious that a physics news website, supposedly 23:04:27 had to explain what a matrix was 23:05:04 so what's the new way 23:06:02 dunn 23:06:07 *dunno 23:06:09 http://www.physorg.com/news199631037.html 23:08:11 "Yehuda Eliezar" -- someone trying to say Eliezer Yudkowsky 23:08:17 I'm uninstalling VS2010 23:10:09 Actually, I'm not 23:10:37 so it answers the long asked question of when does a banded matrix have a banded inverse 23:10:39 *has 23:10:49 argh 23:11:03 i wrote the end of the sentence first so now it's all wrong and blah 23:11:59 -!- zzo38 has quit (Quit: YES CARRIER). 23:13:04 NOT OK COMPUTER 23:14:01 a b f x = (b ... (b f)) x, b occurs a times, now the outermost b will apply (b ... (b f)) to x b times, where the depth of (b ... (b f)) is now a-1, by induction each of these applies f to its argument b^(a-1) times, so all in all f gets applied b^a times to x 23:14:22 YHWH Eliezer 23:15:04 maybe that makes some sense, i've always just sort of trusted my feeling that composition looks exponentiationy. 23:16:17 note that (b f) applies f to its argument b times, so the induction base works 23:16:30 one b so f applied b^1 times 23:17:14 composition's more like multiplication 23:17:18 it's application that's exopnential-like 23:17:23 *exponential-like 23:17:34 err right 23:18:11 i meant application as you can probably see 23:20:49 -!- calamari has joined. 23:21:12 SQUIDS ARE ATTACKING, PLEASE MAN YOUR BATTLE STATIONS. 23:21:15 :) 23:21:26 Gregor: root your phone yet? 23:21:36 calamari: Yup. It has a Debian chroot too 8-D 23:21:44 speaking of .. 23:21:46 I got frustrated looking for a half-decent WM for the screen size though. 23:22:08 just ported dpkg to android/bionic 23:22:15 ... friggin' awesome. 23:22:18 FRIGGIN' AWESOME 23:22:26 Get aptitude next plzkthx? 23:22:27 haven't actually tested it yet lol 23:22:34 Testing is for the weak! 23:22:58 but I was thinking the first package should definitely be egobf 23:23:02 so okay what does a . b do... (a . b) f = a (b f), so * x = (bf ... (bf x) nested a times, car-bf applies f to the cdr b times, and it follows by induction that f gets applied exactly b*a times 23:23:17 ais523: why "more like"? 23:23:23 oh 23:23:31 because application wasn't exponentiation but exponentiation-like 23:23:38 yes 23:23:57 so addition, that was more work or? 23:24:06 wait 23:24:09 that's just a fork 23:24:32 f x . a f (b f x) 23:24:41 cal153: Why is your name the first tab completion for "cal" 23:24:52 calamari: EgoBF is of vital importance. As is cplof. 23:25:27 Gregor: 1 Probably :P 23:25:45 and in phonebooks too 23:25:50 so either way :) 23:25:56 ais523, your user page on WP says you're metapedian. 23:26:05 You might want to change that. 23:26:06 :) 23:26:17 meh. leave it be 23:26:34 I'll update it if I ever go back to WIkipedia 23:26:48 What is a "metapedian"? 23:26:49 ais523 left? 23:26:57 Gregor, neonazi wiki. 23:27:01 oklopol: well, I haven't gone back there ever 23:27:04 Uhhhhh 23:27:05 Metapedia is the name. 23:27:06 Phantom_Hoover: that's not what the word normally means 23:27:11 at least within Wikipedia 23:27:16 ais523, I know. 23:27:37 This site makes my nose hurt. 23:27:45 and I have no reason to believe everyone who redefines random words on the Internet 23:27:46 Metapedia? 23:27:50 Phantom_Hoover: Yesh :P 23:27:58 hmm.. not exactly success yet 23:28:03 Gregor, I avoid it like the plague. 23:28:19 does dpkg absolutely require perl? 23:29:12 sometimes linux is dumb: 23:29:16 bash: /data 23:29:44 umm 23:29:45 bash: /data/local/bin/dpkg: No such file or directory 23:29:52 yeah my son pushed enter for me lol 23:29:53 can you somehow browse the content of metapedia 23:30:15 so I'm assuming dpkg is looking for something but not telling 23:30:19 maybe I need to port strace 23:30:27 well, good night again :D 23:30:29 -!- Flonk has quit (Quit: ChatZilla 0.9.86 [Firefox 3.6.8/20100722155716]). 23:30:31 ooh no have it already 23:31:09 oh main_page, no link from metapedia.org except the one in latest news 23:31:18 that's fucking retarded 23:31:21 hmm I guess it doesn't think it's executable 23:31:22 interesting 23:31:32 * Gregor reappears 23:31:38 calamari: That's probably the dynamic loader. 23:31:45 yeah 23:32:04 objdump it to see what dynamic loader it wants, then objdump another binary to see what dynamic loader it wants. 23:32:13 k 23:33:59 objdump -r? 23:34:31 file format elf32-littlearm for both... 23:35:08 -!- Quadrescence has quit (Read error: Connection reset by peer). 23:36:05 -!- Quadrescence has joined. 23:36:09 calamari: Hrm, objdump isn't telling me what I thought objdump would tell me :P 23:36:22 the start address is different 23:36:27 dunno if that matters tho 23:36:47 readelf -l /bin/bash | grep interpreter 23:36:53 That's what you actually want 23:37:41 aha! 23:37:52 thanks 23:38:03 Uhhh, are they different then? :P 23:38:06 yeah 23:38:12 Yup, I've seen that problem a lot. 23:38:14 now I wonder how I set that 23:38:20 -dynamic-linker flag to ld 23:38:25 thanks 23:38:45 Gregor, why so many sections? 23:38:48 Ideally that shouldn't be necessary, if it is that suggests your GCC configuration is wrong ... 23:38:56 Phantom_Hoover: ... huh? 23:39:22 In readelf -l /bin/bash 23:39:38 Phantom_Hoover: I just poked around 'til I found the command that gave me what I wanted :P 23:39:58 No, I mean on the part of the executable. 23:39:58 Gregor: android ndk doesn't really want you to create native binaries.. maybe that's why? 23:40:13 calamari: Ahhhh, that'd do it, yeah. 23:40:37 calamari: So just provide the requisite -dynamic-linker flag manually through GCC like so: -Wl,-dynamic-linker,/whatever/foo.so 23:40:51 Why have I munged with ELFs so much >_< 23:40:58 I assume you meant = ? 23:41:10 No, although that'd work too. 23:41:32 And since that is how it's documented, probably wise to use it that way X-D 23:41:46 weird but okay thanks :) 23:42:47 * Gregor : solver of problems. 23:48:22 Gregor, are you sane? 23:50:57 Phantom_Hoover: Not since I watched http://www.youtube.com/watch?v=-0Xa4bHcJu8 23:53:06 Gregor, damn. 23:54:18 -!- oerjan has joined. 23:54:59 well it ran it but gave me segfaults.. trying my build on a hello world 23:55:18 Schweet 23:56:02 oh sorry, that came across wrong 23:56:14 I am trying to compile a hello world to see if it segfaults too 23:56:38 I have one built with the gloogle tools but it isn't so good for configure scripts 23:58:46 hey