00:00:00 --- log: started forth/01.05.19 00:14:41 --- join: adu (andrew@adsl-63-201-89-210.dsl.snfc21.pacbell.net) joined #forth 01:10:21 --- join: ree (jwm@twisted.goodnet.com) joined #forth 01:17:23 --- quit: ree (Read error to ree[twisted.goodnet.com]: Connection reset by peer) 01:27:18 --- join: ree (jwm@twisted.goodnet.com) joined #forth 01:30:48 --- quit: adu (IRCStep) 01:53:22 --- quit: ree (yoink) 04:24:24 --- join: johanrussouw (johanrusso@user2931.vip-za.com) joined #forth 04:24:36 hi lar1 TreySleeping 05:27:12 --- quit: johanrussouw () 10:32:40 --- join: aaronl (aaronl@vitelus.com) joined #forth 13:01:18 --- join: adu (andrew@adsl-63-201-89-210.dsl.snfc21.pacbell.net) joined #forth 13:42:59 * aaronl is away: I'm busy 14:05:25 --- quit: adu (IRCStep) 15:16:30 --- join: edrx (edrx@200.240.18.111) joined #forth 15:24:40 * aaronl is back (gone 01:41:41) 16:15:48 * aaronl is away: dalai lama 16:16:00 * aaronl is back (gone 00:00:13) 16:23:07 --- quit: edrx (farmer.openprojects.net pratchett.openprojects.net) 16:23:17 --- join: edrx (edrx@200.240.18.111) joined #forth 16:27:31 --- quit: edrx (pratchett.openprojects.net herbert.openprojects.net) 16:34:29 --- join: edrx (edrx@200.240.18.111) joined #forth 17:19:07 --- join: TheBlueWizard (tbw@ip-216-25-202-71.vienna.va.fcc.net) joined #forth 17:19:07 --- mode: ChanServ set mode: +o TheBlueWizard 17:19:14 hiya all 17:19:46 hi TheBlueWizard 17:19:54 hiya edrx 17:20:24 haven't haad a chance to check out your LUA/Forth thing 17:20:40 don't mind 17:21:02 k 17:21:08 BTW, have you run the demo described in http://angg.twu.net/README.html ? 17:21:56 no...I haven't been online since last Monday 17:22:10 I'm working a lot on it, it's part of my project to save the world 17:22:29 :) 17:22:47 against dumbness and against the feeling that everything is too complex and there's nothing to do 17:23:48 ha ha ha....well, there are A LOT of things to do....but yeah, so many things are soooo complicated :))) heck, even Einstein's theories of relativity is a no-brainer by comparison :P 17:24:51 ok, but the idea is that if you have programs that teach you (in the "right way") how to learn them and how to hack them then computers become easier 17:24:59 and that's a first step. 17:25:14 * TheBlueWizard nods 17:26:37 if you run an apt-get line and download a .tar.gz then convincing you of the rest takes only about 6 shell commands and a lot of alt-L's. 17:27:23 apt-get install zsh emacs20 expect5.31 screen gcc gdb libc6-dev 17:27:58 huh? 17:28:13 which OS and distro do you use? 17:28:23 Debian Linux (potato) 17:28:31 ah ok, same as me 17:28:50 (besides Windoze 95, and AmigaOS 1.3, 2.04) 17:29:23 which platform? 17:29:29 powerpc? 17:29:58 Linux on x86 17:30:14 don't have PPC here 17:30:39 I didn't knew that AmigaOS ran on x86s 17:31:10 oh...AmigaOS are on Amiga...not on x86 17:31:22 silly you...I have 4 computers...two of them are Amigas 17:31:48 I am using Linux right now...on a x86 laptop 17:32:16 ah. I just have one, but it has 3 OSs and some flavors... 17:33:38 cool....my laptop is all Linux, but my other x86 computer dual boots Win'95 and Debian Linux (Linux isn't completely installed; had problems with getting the modem to work :( ) 17:34:20 anyway, the idea is that if you run "apt-get install zsh emacs20 expect5.31 screen gcc gdb libc6-dev" now then adding my .tar.gz and running the demo (that I can describe in detail if you want, of course) will be very quick. 17:35:18 I see 17:35:56 I have xemacs here instead of emacs20 (I have a slow modem...) ... would that do? 17:36:47 * TheBlueWizard has gcc, libc6-dev (I think), gdb (I think), ... other two should be small enough to d/l quickly 17:38:31 hm, I haven't tested it with Xemacs, but I think no, or at least it will be ugly... Xemacs is somewhat buggy compared with GNU Emacs, so I stayed with GNU Emacs (except for a trial period, when Xemacs crashed a lot on me) 17:39:13 hmm...xemacs hasn't crashed on me yet...then again, I am not pushing the envelope.... 17:39:30 * TheBlueWizard does have libc6-dev and gdb 17:40:03 * TheBlueWizard doesn't have zsh, screen, and expect 17:40:47 hm, so in the next days I may try to make the Xemacs version work and look ok... it would have to be run from a real text terminal, though - anything in X won;t work. 17:41:06 * TheBlueWizard proceeds to install mising items and watches his laptop getting heavier.... 17:41:24 * TheBlueWizard doesn't have X windows either :P 17:41:45 hey, that's nice! I hate X. 17:42:56 * TheBlueWizard chuckles...but will eventually need to have X windows cuz of web browser...to eventually get rid of IE, among other things 17:43:58 it said it has to install tcl8.2, so I said OK....hehe 17:47:12 I'm testing it with xemacs. There's a chance that it will work without changes. 17:49:10 expect and screen d/l'd...now d/l'ing tcl.... 17:49:48 cool....I don't expect to push the envelope anyway, and if I see a reproducible bug, I can report it.... 17:51:37 I will need to change my .emacs. You won't be able to run it now. 17:52:26 um...is that the only project you're working on? 17:52:45 I see re: your changing the .emacs 17:53:49 it is the main project, because it is central to everything else... but I'm also working on the Lua Forth, on a program to typeset deduction trees in LaTeX, and a few other things 17:54:20 even if I could not run your stuff, at least I have installed something :) 17:54:58 typeset deduction tree? 17:56:59 this is a weird one... for some areas of maths, logic and theory of computation one needs to display some things in tree form in a certain way... I wrote a program to let me edit the contents of the tree in 2D in Emacs and then in converts that to the ugly form automatically. 17:57:52 tcl d/l'd...now d/l'ing zsh (a biggie :) 17:58:32 * TheBlueWizard is now singing "Yellow Submarine" off-key.... 17:59:34 I see...cool 18:00:34 TeX and LaTeX can be a pain to edit at times (I am totally out of practice on TeX....been a long time since I last mess with it while in graduate college) 18:07:25 zsh is 75% d/l'd.... 18:07:56 what did you graduate in? 18:08:56 which college, you mean? 18:10:27 no, which course - I'm doing maths 18:11:05 ah...I have a BS in comp sci and MA in math 18:12:56 zsh, tcl, expect, and screen now installed :) 18:13:17 * TheBlueWizard can hear a bit of "burp" from his laptop 18:13:22 :) 18:14:19 are you going for PhD in math? 18:14:40 ah - what did you study in the BA in math? I'm doing a PhD, and my main research topic is around topos theory (sort of between algebra and logic) 18:15:19 s/BA/MA/ 18:16:14 oops, sorry 18:16:56 oh, actually I took masters program primarily for graduate assistantship....and I don't specialize....I know it's a rarity...but I seem to have a natural bent for number theory, combinatorics, discrete math, sometimes logic, and the like 18:17:59 * TheBlueWizard is a math "omnivore", but happens to have appetite for weird and wondrous stuff, like quantum logic, n-dim' hyperbolic spaces, whatever 18:18:13 s/n-dim'/n-dim'l/ 18:19:00 my most natural talent is computer programming, which I do a lot here :)))) 18:19:41 I also like physics stuff...especially advanced stuff...it's fascinating 18:20:32 then again, I am always learning...like q-series, whatever.... 18:21:21 topos theory....hmm...am not familiar with that.... 18:22:40 which books did you use to learn quantum logic? The only place where I found something that looked like a serious introductory treatment was in Manin's "A Course in Mathematical Logic" 18:27:52 ah....I learn things from the Net :) try http://www.qubit.org, http://metamath.org, and the like 18:29:21 * TheBlueWizard never had a formal logic course...should have taken one except that it is not really "there", if you take my meaning 18:30:10 hope that helps 18:33:32 got the links, and undestood your position... :) 18:33:44 I need to get some sleep... bye, see ya 18:33:54 ok bye 18:34:24 --- part: edrx left #forth 18:38:08 got to go...bye all 18:38:11 --- part: TheBlueWizard left #forth 19:39:25 --- nick: TreySleeping -> Trey 20:57:37 --- nick: Trey -> TreySleeping 22:39:51 --- quit: aaronl (Read error to aaronl[vitelus.com]: EOF from client) 23:00:45 --- join: aaronl (aaronl@vitelus.com) joined #forth 23:59:59 --- log: ended forth/01.05.19