00:00:00 --- log: started forth/02.09.29 00:00:29 * Xuz , incidentally, plugs TeXmacs, just because it has proven itself to be wonderful in the past few weeks. 00:00:38 I'd kinda like a list down one side of the screen that showed who was on in the channel. 00:00:59 I'm not sure if it'd be worthwhile having it all the time in a text-client. 00:01:29 Xuz: I'm not sure either 00:02:31 I don't think it would be intrusive though. I have 118 chars across this thing, I could space 15 for a list of names. 00:02:39 I think you'd end up missing the real-estate. 00:02:41 118 chars? 00:02:50 Okay, I'm used to 80 :) 00:02:59 oh, 114 :) 00:03:34 heh 00:03:42 that's in xterm. in the terminal I have 128 00:04:06 Weirdo :) 00:04:06 * Xuz likes his big fonts. 00:04:23 :) me too, but on a 17 monitor... 00:05:06 I have xterm set to use the "Huge" font. and that's 114 00:05:36 anyway, in jabber I'd want the list showing 00:06:15 right now my jabber client just prints out the html recieved (in yellow) 00:06:44 s/html/xml/ 00:07:16 somewhat lacking in the interface department 00:07:57 * Xuz laughs 00:08:00 if only I could decide how it should work... 00:08:13 Well, I should resume work on mine, just because there IS no MH-inspired IM client that I know of. 00:08:58 I've never used MH. 00:11:14 Oh. It's a wonderful email client (I quit using it simply because it doesn't do threads and I'm on mailing lists) that allows you to fiddle with email without having a separate program. 00:11:22 There's a send command, you send a message and it zips off. 00:11:27 There's a command that prints out a list of messages. 00:11:30 There's a command that prints a message. 00:11:32 And so on. 00:11:59 While that kind of decentralized approach isn't necessary for email (I found the threading more beneficial than the flexibility), I think it WOULD be useful for a text-based IM client. 00:19:49 that doesn't sound like what I want for an im client (maybe e-mail) 00:20:23 * Xuz nods, "I just think it'd be useful since instead of taking up a whole VC/Xterm it would simply pop up a notice and you could suspend whatever you were in and reply, or whateve.' 00:20:36 --- join: thin (thin@h68-146-166-145.cg.shawcable.net) joined #forth 00:20:45 for im, I want an interface like chat programs. I want to see a listing (in order) of what we have said to eachother recently, and I want to be able to type stuff (without some sort of command at the begining) and have it go right to whoever I'm talking to 00:21:16 * Xuz waves to thin 00:21:23 hey futhin :) 00:21:40 sup 00:21:43 i'm extremely drunk 00:21:46 i drove home 00:21:51 * Xuz is becoming drunk :) 00:21:53 against all recommendations by my friends 00:21:57 seriously 00:22:02 i'm 120% drunk 00:22:16 Xuz: I haven't worked out completely how I want to be notified of things. in my os, there may be some centralized system for attention getting. 00:22:37 You're writing your own OS? 00:22:42 yeah i am 00:22:44 in forth 00:22:47 * Xuz has been thinking about one, still plotting and scheming. 00:22:53 working on the machineforht vm 00:23:07 * Xuz makes another face. Camo High Gravity Lager is the second-most-disgusting intoxicating beverage he's ever tasted. 00:23:14 and then going to incroporate ideas from 00:23:20 jef raskin's humane interface book 00:23:21 Xuz: I will, lately I've mostly been watching Tathi do it :) 00:23:54 "humane"?? lol 00:24:27 it is tho 00:24:30 it's modeless 00:24:36 monotonous 00:24:37 and unified 00:24:42 and it's scary 00:24:44 because 00:24:45 Tathi? 00:24:57 * Xuz wants to see an interface that combines the best of the awful GUI and the wonderful command-line. 00:25:02 becaue i fell it compells one to be WAYYY more productive 00:25:09 because it's entirely content-based 00:25:13 there's really nothign to do in it 00:25:16 except create content 00:25:18 or play games 00:25:20 heh 00:25:28 GUI is a flawed interface 00:25:36 in some ways, the humane interface is gui 00:25:38 but its' not relaly 00:25:43 it has a zoomable 00:25:46 interface paradigm 00:25:46 hm 00:25:50 the book is awesome 00:25:57 (i'm drunk here, so i'm talkative) 00:26:01 the book 00:26:02 is logical 00:26:12 * Xuz is also drunk, so he empathizes :) 00:26:13 and the major things are defined clearly 00:26:29 the book starts with the human cognitive abilities 00:26:36 we only have one locus of attention 00:26:43 but we can do multiple things because of _habit_ 00:26:45 so 00:26:48 a good interface 00:27:03 is something that is habitative.. 00:27:08 (wrong word..) 00:27:09 hmm 00:27:09 * Xuz thinks. . . . 00:27:15 you can habituate yourself to the interface 00:27:20 and thus 00:27:25 We need an archetypal interface based on the fundaments of Jungian psychology! 00:27:26 focus only on what you want to achieve 00:27:44 let me expound on modelessness 00:27:59 vi 00:28:02 has command mode 00:28:06 and input mode 00:28:08 and 00:28:09 vi is gay 00:28:11 because of that 00:28:15 because 00:28:18 if vi is loaded 00:28:23 VI is not modal! 00:28:27 and you walk into the room and start typing content you want 00:28:34 * Xuz threatens Thin with dire consequences. 00:28:37 VI just has commands. 00:28:37 you don't know if you are in command mode or iput mode 00:28:40 lol 00:28:41 xuz 00:28:43 it's modal 00:28:48 It has an 'insert' command that takes an argument. Said argument is text. 00:28:55 lots of vi users make modal errors 00:29:01 It has delete commands that take arguments. 00:29:10 That is because they do not truly understand the way of VI :) 00:29:35 * Herkamire likes vim 00:30:07 no 00:30:16 you don't know if it's in command mode or input mode 00:31:22 It's not a mode. 00:31:36 yes it is 00:31:54 if the same gestures mean something different 00:31:59 then its in a different mode.. 00:32:04 i'm a bit drunk 00:32:07 so my logic is a little off 00:32:13 but i think you'd get it anyways :) 00:32:20 mannn 00:32:21 i 00:32:22 i'm 00:32:38 120% drunk and i drove home against all recommendations by my friends, loll 00:32:44 * Xuz pits his drunken logic against Thin's. 00:32:57 Not at all. Let's say I have a function like strcat 00:33:03 Or, since this is a forth channel. . . . . . 00:34:15 Let's say I have + and I have sliteral. 00:34:17 Now. 00:34:30 If I have 52 37 on the stack, + will be quite happy. 00:34:31 sliteral will (most likely) die horribly. 00:34:38 That doesn't mean that I enter '+ mode' and 'sliteral mode' 00:34:45 It just means I have different paremeters. 00:34:50 i doesn't enter "insert mode" 00:35:01 It simply lets you enter the parameter for the insert function. 00:35:06 * Herkamire reads the summary of Humane Interfaces just because he thinks it's a great title (and he is interested in good computer/human interfaces) 00:35:49 no 00:35:53 the internet site is crap 00:35:56 it'll turn you off 00:35:58 the book 00:36:00 is the only good 00:36:02 source 00:36:05 especially 00:36:07 since it 00:36:18 builds from axioms that you can agree with 00:38:22 herkamire: i seriously recommend the book to all 00:38:26 it's a well written book 00:38:31 very unambigous 00:38:53 * Xuz will look it up. 00:39:08 i get all my books from the library practicall 00:39:08 y 00:39:10 any chance it would be in the library? 00:39:22 probably will be 00:39:24 it was in mine 00:39:31 do interlibrary loan if it isnt 00:39:33 its worth it 00:39:39 and you only need to wait 3 weeks 00:39:40 heh 00:41:00 I like this bit: "It is better to provide only one way of accomplishing a task when the time lost in deciding which method to use is greater than the time lost by choosing the slower of the methods." 00:41:20 * Xuz isn't sure if he agrees with that. 00:41:28 well that's that monotonous definitions 00:41:29 er 00:41:31 definition 00:41:32 you've got the 00:41:35 modelss 00:41:37 modeless 00:41:40 then the monotonous 00:41:42 then the unified 00:41:51 it's like forth 00:41:55 forth is kind of monotonous 00:41:59 but you can still achieve stuff 00:42:04 by stringing words together 00:45:08 --- quit: Robert (card.freenode.net irc.freenode.net) 00:45:08 --- quit: thin (card.freenode.net irc.freenode.net) 00:45:08 --- quit: cyberlok (card.freenode.net irc.freenode.net) 00:45:09 --- quit: Speuler (card.freenode.net irc.freenode.net) 00:45:15 * Xuz yaaawns 00:45:38 --- quit: Xuz ("changing servers") 00:45:42 --- join: thin (thin@h68-146-166-145.cg.shawcable.net) joined #forth 00:45:42 --- join: Speuler (~l@mnch-d9ba4d88.pool.mediaWays.net) joined #forth 00:45:42 --- join: Robert (~Robert@robost86.tsps1.freenet6.net) joined #forth 00:45:42 --- join: cyberlok (CyberLOK@cyberlok.no-ip.com) joined #forth 00:45:46 --- join: Xuz (~lorxu@bgp01132867bgs.ypeast01.mi.comcast.net) joined #forth 00:46:35 --- quit: onetom (card.freenode.net irc.freenode.net) 00:46:48 --- join: onetom (~tom@novtan.bio.u-szeged.hu) joined #forth 00:46:55 I'm getting more interested in this book 00:47:05 * Xuz waves to OneTom 00:47:08 it is a very good book 00:47:11 Oh? 00:47:14 Oh. 00:47:18 i really admire the writing style 00:47:22 because he defines all the major words 00:47:28 in order to prevent ambiguousness 00:47:30 * Xuz really should hunt it down. 00:47:32 Who's the author? 00:47:35 because his ideas are kind of radical 00:47:37 jef raskin 00:48:02 because his ideas are kind of radical, he really makes an effort to make it logical, and to show the train of logic 00:50:57 Xuz: I typed "humane interfaces" into google and it came out right on top 00:55:12 * Xuz sorries, he's not entirely with it. 00:58:57 well, it's just about 4am here... time for bed I think. 00:59:13 2 am here 00:59:21 Have fun. 00:59:21 and i gotta get up at 9:45 am :/ 00:59:24 and i'm drunk as hell 00:59:29 gotta drink watter 00:59:30 heh 00:59:45 definately water yourself? 00:59:53 Definitely water. 00:59:55 s/?/!/ 00:59:58 * Xuz continues drinking alcohol, however. 01:00:27 --- quit: Herkamire ("goodnight") 01:00:38 supppp air 01:00:42 supppp cyberlok 01:00:46 sup dmiles 01:00:48 sup ianni 01:00:52 sup kitanin 01:00:55 sup klaw 01:00:59 sup onetom 01:01:02 sup robert 01:01:04 sup skylan 01:01:13 sup speuler 01:01:15 sup thin 01:01:17 sup trey 01:01:18 sup treyb 01:01:20 sup xuz 01:01:21 sup? 01:01:30 sup = what's up 01:02:16 * Xuz aaahs 01:02:28 you never knew that? 01:02:30 sup is very common 01:02:32 :P 01:02:47 The number of things I haven't heard of can amaze some people. 01:03:17 well if you don't watch t.v or irc much, then it's understandable ;) 01:03:51 I IRC a fair bit. 01:06:02 hmm 01:06:04 bed time for me 01:06:08 laters all 01:06:13 i'm sooooooo drunk 01:06:17 and i'm typing normally 01:06:17 hah 01:06:19 that's me 01:06:37 i have to expend effort, while i'm drunk, to type drunk like! 01:06:42 (seriously( 01:06:47 latez 01:06:49 --- part: thin left #forth 01:07:29 What a strange man :) 01:07:39 * Xuz also goes off to wallow in druken stupor. 01:07:44 --- quit: Xuz ("Zzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz-POP!") 01:51:24 --- join: Soap` (flop@202-0-42-22.cable.paradise.net.nz) joined #forth 02:26:56 --- quit: onetom (card.freenode.net irc.freenode.net) 02:26:56 --- quit: Speuler (card.freenode.net irc.freenode.net) 02:26:56 --- quit: Robert (card.freenode.net irc.freenode.net) 02:26:56 --- quit: cyberlok (card.freenode.net irc.freenode.net) 02:26:56 --- quit: Soap` (card.freenode.net irc.freenode.net) 02:26:56 --- quit: ianni (card.freenode.net irc.freenode.net) 02:26:56 --- quit: Klaw (card.freenode.net irc.freenode.net) 02:26:56 --- quit: air (card.freenode.net irc.freenode.net) 02:26:57 --- quit: TreyB (card.freenode.net irc.freenode.net) 02:26:57 --- quit: dmiles (card.freenode.net irc.freenode.net) 02:26:57 --- quit: ChanServ (card.freenode.net irc.freenode.net) 02:27:09 --- join: ChanServ (ChanServ@services.) joined #forth 02:27:09 --- join: Soap` (flop@202-0-42-22.cable.paradise.net.nz) joined #forth 02:27:09 --- join: onetom (~tom@novtan.bio.u-szeged.hu) joined #forth 02:27:09 --- join: cyberlok (CyberLOK@cyberlok.no-ip.com) joined #forth 02:27:09 --- join: Robert (~Robert@robost86.tsps1.freenet6.net) joined #forth 02:27:09 --- join: Speuler (~l@mnch-d9ba4d88.pool.mediaWays.net) joined #forth 02:27:09 --- join: ianni (ian@inpuj.net) joined #forth 02:27:09 --- join: air (~brand@12-254-199-50.client.attbi.com) joined #forth 02:27:09 --- join: Klaw (chuck@ip68-4-243-214.oc.oc.cox.net) joined #forth 02:27:09 --- join: TreyB (~trey@cpe-66-87-192-27.tx.sprintbbd.net) joined #forth 02:27:09 --- join: dmiles (logicmoo@12-225-195-245.client.attbi.com) joined #forth 02:27:09 --- mode: card.freenode.net set +o ChanServ 03:53:26 Good morning. 03:56:02 --- quit: Soap` (Read error: 104 (Connection reset by peer)) 04:30:31 morning rob 05:03:51 :) 05:04:01 I got my DOES> to work. 05:05:31 --- quit: skylan (Read error: 104 (Connection reset by peer)) 05:39:25 good 05:40:33 : foo begin create does> again ; 05:41:22 : bar create does> recurse ; 05:41:30 Heh. 05:41:53 does not what you might expect :) 05:42:07 I try to avoid things like that. 05:42:24 but this can be very useful 05:42:34 What does it do then? 05:42:47 think about it 05:43:45 both should work the same. but sometimes, foo cannot be used because of structure correctness test in "again" 05:45:38 : bar create , does> recurse ; 05:45:56 variable top 05:46:01 top var x1 05:46:05 x1 bar y1 05:46:10 y1 bar z1 05:46:16 x1 bar y2 05:46:18 x1 bar y3 05:46:29 y3 bar z2 05:46:31 y3 bar z3 05:46:34 :) 05:46:54 a tree 05:47:08 * Robert thinks that looks evil. 05:47:42 it probably is 05:48:55 hmm 05:49:05 doesn't work ... 05:49:26 ...with gforth 05:54:35 ah 05:55:03 me stupid 05:55:11 variable top 05:55:17 : bar create , does> recurse ; 05:55:23 top bar x1 05:55:26 x1 y1 05:55:29 x1 y2 05:55:31 x1 y3 05:55:42 y1 z1 05:55:46 y1 z2 05:55:48 ... 05:56:24 : tree create , does> recurse ; 05:57:53 evil code for evil coders 05:58:08 btw 05:58:47 my email adress = devilsadvocate@forthfreak.de :) 06:06:50 --- join: jacereda (~jacereda@62.42.30.42) joined #forth 06:07:02 hi 06:08:15 Hello :) 06:08:22 Speuler: Heh! 06:08:35 Speuler: That's a...nice address. 06:09:05 the devilsadvokate part ? 06:09:27 Both parts. 06:10:02 forthfreak.de is mine. i can email redirect any account you want from it 06:10:22 like doesmaster@forthfreak.de :) 06:12:53 Cool :) 06:12:54 Well... 06:13:01 robert@forthfreak.de? :) 06:13:06 sure 06:13:10 where to ? 06:13:14 Could you redirect that to robost@telia.com ? 06:13:21 ok 06:13:46 Dankje :) 06:14:10 should be active now 06:14:32 Nice 06:27:44 anyone using hforth? 06:30:48 harvard 8086 forth ? 06:32:10 nope, http://www.taygeta.com/hforth.html 08:22:26 --- join: I440r (~mark4@67.241.42.207) joined #forth 08:37:35 I440r: Hey. 08:37:45 I440r: I got does> to work :) 08:38:12 I440r: Can you tell me if this definition of if/then should is correct? 08:38:50 : if [ ' ?branch ] , 0 , ; immediate 08:39:03 er 08:39:08 : if [ ' ?branch ] , here 0 , ; immediate 08:39:14 : then here swap ! ; immediate 09:37:26 --- join: Herkamire (~jason@ip68-9-58-75.ri.ri.cox.net) joined #forth 09:37:59 Herkamire :) 09:44:30 hey :) 09:44:43 back from the dead... I mean asleep 09:45:06 now I'm ready to start programming again 09:46:29 Cool! 09:46:32 Hmm. 09:46:35 Would this work? 09:46:38 17:39 < Robert> : if [ ' ?branch ] , here 0 , ; immediate 09:46:38 17:40 < Robert> : then here swap ! ; immediate 09:49:18 Depends on your forth... don't you have COMPILE, ? 09:51:58 or POSTPONE ? 09:52:38 : if postpone ?branch here 0 , ; immediate 09:52:49 Hm. 09:52:58 No postpone. How would it be implemented? 09:53:46 Will it compile the word following it when the word "if" is run? 09:54:00 yes 09:54:18 sg like BL WORD FIND ... LIT, ; IMMEDIATE 09:54:30 Wouldn't this work? [ ' ?branch ] , 09:54:48 depends on your forth 09:54:53 --- join: I440r_ (~mark4@1Cust52.tnt3.bloomington.in.da.uu.net) joined #forth 09:55:05 some implementations define " : compile, , ; " 09:55:08 Robert: , is not immediate 09:55:12 robert that : if [ ' ?branch ] , here 0 , ; is good 09:55:31 it shoukld work but theres an identicall but better definition :) 09:55:36 onetom: But it's run when "if" is. 09:55:37 : if compile ?branch >mark ; 09:55:51 >mark? 09:55:57 : >mark here 0 , ; 09:56:04 money >mark ;-) 09:56:05 Robert: but the [ ... ] is not 09:56:06 it compiles a dummy forward ref to be backfilled 09:56:27 : then compile dothen >resolve ; 09:56:30 dothen is a noop 09:56:34 Oh.. 09:56:42 but it makes it possible to decompile :) 09:56:44 or easier 09:56:50 : then >resolve ; 09:56:51 onetom: I see what you mean... 09:56:56 : >resolve here swap ! ; 09:57:04 : > 09:57:13 thers also look in loops.f 09:57:54 but your definition was good too :) 09:58:45 Hmm.. 10:11:15 --- quit: I440r (No route to host) 10:28:30 --- quit: I440r_ (No route to host) 10:35:32 --- join: skylan (sjh@Sprint3037.tbaytel.net) joined #forth 10:38:01 welcome skylan 10:39:28 Hail Herkamire 10:55:39 bye 10:55:46 need to downgrade my machine 10:55:57 --- quit: Speuler ("using sirc version 2.211+KSIRC/1.1") 11:17:20 12:57:20 --- log: started forth/02.09.29 12:57:20 --- join: clog (nef@206.63.100.249) joined #forth 12:57:20 --- topic: 'All programmers are optimists | x86 Linux Forth coded in asm - http://isforth.clss.net | home of forth - http://www.ultratechnology.com/forth.htm' 12:57:20 --- topic: set by thin on [Sun Sep 15 08:00:43 2002] 12:57:20 --- names: list (clog dmiles TreyB Klaw air ianni Robert cyberlok Herkamire skylan @ChanServ jacereda) 13:16:12 --- join: XeF4 (xef4@lowfidelity.org) joined #forth 13:27:09 --- join: Kitanin (~clark@SCF61185.ab.hsia.telus.net) joined #forth 14:37:07 --- quit: jacereda (Remote closed the connection) 14:37:18 --- join: jacereda (~jacereda@62.42.30.42) joined #forth 16:37:34 --- quit: jacereda (Remote closed the connection) 17:37:35 --- join: I440r (~mark4@67.241.61.10) joined #forth 18:04:34 --- join: onetom (~tom@160.114.27.131) joined #forth 18:40:05 --- quit: I440r ("Reality Strikes Again!") 18:50:18 --- join: Speuler (~l@p3E9B8EFC.dip.t-dialin.net) joined #forth 18:50:44 'morning 18:54:10 evening :) 19:58:28 --- join: sbk_ (~kbs@65.184.98.221) joined #forth 20:09:11 --- quit: sbk_ ("Leaving") 20:13:21 --- quit: XeF4 ("pois") 20:48:08 --- join: galexand (galexand@206.148.89.154) joined #forth 20:48:09 --- quit: Kitanin (Read error: 104 (Connection reset by peer)) 20:52:19 --- quit: Speuler (Read error: 60 (Operation timed out)) 21:27:50 --- join: Fractal (yol@24.77.171.228) joined #forth 21:32:55 --- quit: galexand ("sleep") 21:54:17 --- quit: Herkamire ("goodnight all") 22:30:28 --- join: Kitanin (~clark@SCF61185.ab.hsia.telus.net) joined #forth 22:41:41 --- join: proteusguy (~proteusgu@24-197-147-197.charterga.net) joined #forth 23:03:12 --- quit: proteusguy (Read error: 110 (Connection timed out)) 23:03:13 --- quit: Kitanin (Read error: 104 (Connection reset by peer)) 23:03:32 --- join: proteusguy (~proteusgu@24-197-147-197.charterga.net) joined #forth 23:59:59 --- log: ended forth/02.09.29