00:00:00 --- log: started forth/04.05.29 00:01:13 problem here is that I have no way of distinguishing a code word between a colon def after it has been compiled 00:01:17 unl.ess I wanna keep a flag 00:01:30 if they're both ASM how do they differ? 00:01:46 also will you have a SEE? 00:01:55 see comes much, much, much later :P 00:02:19 it was one of the first things i did :) 00:02:29 --- join: wmg (~weldon@bgp02689673bgs.flrdav01.dc.comcast.net) joined #forth 00:02:33 nowadays it does syntax highlighting 00:02:34 ^_ 00:03:27 slava: what I was thinking is have levels of optimization that you can choose 00:03:37 seems like needless complexity to me 00:03:44 why not always optimize to the max? 00:03:52 because when I optimize, I can't SEE 00:04:18 unless I really wish to keep a tab on the source or sich 00:04:30 i keep the colon definition around for ITC even if a word is STC compiled (which is optional). 00:04:46 .... 00:04:47 oh 00:04:56 so you're saying, compile both DTC _and_ STC? 00:05:11 my STC is unusual. 00:05:12 slava that makes me feel bad; I just decided not to keep the names in STC... I'm worried I'll regret it 00:05:20 it doesn't use a stack. 00:05:30 code with an unprovable stack effect is ITC 00:06:18 heh... 00:06:24 hrm 00:06:26 oh 00:06:28 coolness 00:06:33 wmg, will you feel worse if my 'see' shows comments too? :) 00:06:35 Hmm... I do code with provable dictionary constancy at compile-time as STC 00:06:48 no actually I love that 00:07:16 comments at the start of a colon definition are kept around; the colon definition has two pointers, oen to the start of comments, one to the start of actual code 00:07:18 My system is only interactive with difficulty though 00:07:19 its a bit weird but works 00:07:23 slava: what if I compile the code as DTC initially, and it gets copmiled to STC on demand? 00:07:36 you could do that I guess 00:07:44 well that's easier on some architectures than others 00:07:57 Intel makes you jump through hoops to write to executable memory 00:08:07 yeah, I cheated, my architecture is JVM bytecode haha 00:08:13 heh 00:08:23 have to jump through hoops to get good performance 00:08:42 I seem to recall SPARC makes it easier 00:08:56 good night 00:09:11 looks like i won't be able to fix my tail call optimization tonight... 00:09:24 all tail calls are jmp's.... 00:09:25 slava: good night, thanks for all the help. 00:09:37 (in the perfect world where socialism works, at least) 00:09:45 wmg, it also has to know if it can put a tail call here or not 00:09:56 slava: do what chuck does 00:09:59 slava: :) 00:10:03 slava look at how some scheme implementations did it some time 00:10:07 it's enlightening, or was to me 00:10:32 slava: another cool thing you can do is scratch the word "THEN" and replace it with ; 00:10:48 enforce factoring, _and_ make some tail calls nicer 00:11:00 That's the fun thing about STC is that THEN is just "ret" 00:11:05 its complicated by the fact that a) control structures are ordinary words b) i have to compile all at once, without changing previously output code, due to my compiler's design 00:11:14 hrm 00:11:16 oh 00:11:25 it just siad the thing about implied CFA in moving forth 00:11:29 I guess i'm blind 00:11:38 moving forth is interesting 00:11:56 --- part: wmg left #forth 00:12:18 also its hard writing unit tests for tail call optimization 00:12:27 since the code works either way, but without it, uses too much stack 00:12:38 only way to check is to look at disassembly 00:13:32 :) 00:14:08 tail-calling will be the only provided means of looping 00:14:20 to, once again, enforce factoring 00:20:35 slava: the tests really only need to make sure it works. 00:22:33 Herkamire: did you read what I said in c4th offtopic? 00:26:58 arke: yeah 00:31:03 --- join: arke_ (~Chris@wbar8.lax1-4-11-100-108.dsl-verizon.net) joined #forth 00:31:33 --- quit: arke (Remote closed the connection) 01:28:12 --- join: minus273 (~sandy@61.157.101.172) joined #forth 01:28:17 hi all 01:44:13 --- quit: minus273 ("That's it for today") 01:54:36 Robert: how do you exit the editor ... :) 02:06:19 --- join: qFox (C00K13S@cp12172-a.roose1.nb.home.nl) joined #forth 03:48:58 --- join: crc_ (~Charles_C@0-1pool176-1.nas6.philadelphia1.pa.us.da.qwest.net) joined #forth 03:49:29 --- nick: crc_ -> crc 04:37:23 arke_: Which editor? 04:38:09 vim 04:38:13 hmm 04:38:16 what is question 04:38:43 10:54:39 < arke_> Robert: how do you exit the editor ... :) 04:39:01 If it's the F editor, I think it's the escape button 04:59:42 --- nick: SolarFire[ -> SolarFire 05:17:47 --- join: Serg (~root@193.201.231.126) joined #forth 05:20:05 hi ! 05:20:40 i'm again from byte-pay GPRS - unlim one is way too sucking ;( 05:21:05 :P 05:22:31 i was just kidding w/ ZX Spectrum emulator and CD of proggies ;)) 05:25:34 nice thing ;) 05:27:32 oops, i got so rotten console IRC proggie in my Knoppix 05:30:36 mur: do u have GSM mobile phone ? i wanna test SMS. i tested once w/ kc5tja - it never arrived 05:33:16 set novice off 05:33:24 --- part: Serg left #forth 05:33:53 --- join: Serg (~root@193.201.231.126) joined #forth 05:34:17 damn, i can be only in 1 chan at a time !! 05:34:45 --- quit: crc ("ChatZilla 0.9.61 [Mozilla rv:1.7b/20040316]") 05:39:35 :( 05:39:39 No fun.. 05:39:44 But hi anyway, Serg 05:43:36 hi ;) 05:44:10 i was about to do a little coding since i'm sick and can't go out - but i feel TOO sick even to code ;)) 05:46:18 plans are old 'noter' proggie and some game stuff - play w/ trees and realtime in Forth 05:47:47 btw, how do you sync realtime ? 05:47:47 my favorite method is retrace interrupt 05:55:51 brb 06:17:45 --- quit: Serg (Remote closed the connection) 06:33:14 --- join: I440r (proxyuser@adsl-67-65-218-133.dsl.snantx.swbell.net) joined #forth 06:33:27 --- quit: I440r (Client Quit) 06:37:45 --- quit: madwork_ (Read error: 110 (Connection timed out)) 07:11:16 --- join: I440r (~FooBlah@168-215-246-243.gen.twtelecom.net) joined #forth 07:11:28 Hey 07:12:16 hi 07:12:17 brb 07:12:19 :) 07:12:22 --- quit: I440r (Client Quit) 07:19:05 --- join: Serg (~guest@193.201.231.126) joined #forth 07:27:13 re 07:27:16 serg 07:27:25 wont /set novice off help? 07:28:00 pPRIVMSG #forth :i'm on plain telnet now ! 07:28:09 :) 07:28:21  07:28:33 Heh 07:28:43 you can still join if you dare :) 07:28:45 mur, i see u but dayta comes broken 07:29:21 what comes broken, there is inverted-H between day and ta (day*ta) 07:29:46 ;see 07:30:24 see me in users list ? 07:31:00 yes; 17:30 [freenode] -!- #forth Serg H 0 ~guest@193.201.231.126 [Serg] 07:32:10 dunno grok !!! i'm on chan or not ? 07:32:34 --- join: I440r (~mark4@168-215-246-243.gen.twtelecom.net) joined #forth 07:32:52 of course 07:33:22 i440r hi from plain telnet !! 07:34:06 i am riding raw connection 07:34:25 seeing all inner guts of IRC protocol 07:35:07 gonna code primitive client 07:35:25 Serg, want to make practical documentation 07:35:30 i supposed to do but then i got bored 07:35:53 hmm 07:36:00 first login 07:36:21 i did login a s u see 07:36:27 then insent messages, PRIVMSG <#channel>: asdfasdf or how did it go 07:36:51 yeah i'm doing this now 07:36:59 by hand ;) 07:37:15 well RFC is good help when you want to look the all codes 07:37:36 but the practical documentation to understand it in practise woudl boost developement a lot 07:37:40 RFC is scary mess in this case 07:38:07 heh 07:38:22 i was seeking it madly how to MSG, after login 07:38:23 there are few parts that require too much thinking 07:38:36 PRIVMSG 07:38:52 how'd the whole clause went? 07:40:01 i wrote PASS NICK USER PRIVMSG 07:40:12 JOIN of course 07:41:00 nm 07:41:17 ??? 07:42:28 i gonna need threads... 07:43:54 /me is thinking how 2 implement ze client 07:44:18 what was my last message ? 07:44:29 (it had /me at start ) 07:44:45 thats an "ACTION:" 07:44:51 not a"PRIVMESG:" 07:45:35 ACTION uncnown cmd 07:45:44 no 07:45:52 i mean in the raw irc protocol 07:46:16 if you want to do a message you- use privmesg: blah blah 07:46:33 if youw antt o do a ctcp you do a privmesg: \001 blah blah blah \001 07:46:45 to do a /me blah blah you do action: blah blah blah 07:47:47 i wrote ACTION #forth acrting ;)) and got'unknown cmd' 07:50:09 in my RFC ACTION is even not on contents table 07:52:15 im kinda sure its an ACTION: message 07:52:30 hang on ill tell you 07:52:32 how can i di o it w/o threads ? non-blk read of STDOUT ? 07:53:08 how can i do client w/o threads ? 07:53:12 use a pollfd 07:53:22 non-blk read of 07:53:26 yes 07:53:37 you can have poll NOT block. the pollfd says how long to block for 07:53:42 look at the isforth irc bot 07:53:52 which im waiting on right now lol 07:54:00 --- join: [Forth] (~Forth@168-215-246-243.gen.twtelecom.net) joined #forth 07:54:11 * I440r tests the format of this message 07:54:31 :I440r!~mark4@168-215-246-243.gen.twtelecom.net PRIVMSG #forth :ACTION tests the format of this message 07:54:33 i was close 07:54:59 scary scramble comes 07:55:30 it is a privmesg but the first token in the message body is an "ACTION " 07:55:37 protocol is waste ! 07:55:44 yup 07:55:48 no 07:55:51 proto is 07:56:01 the first token is a special character and THEN "ACTION " 07:56:16 the message must end with the same special character 07:56:18 i bug 07:56:35 i bug out to sketch a client 07:56:40 \001 07:56:42 ? 07:56:50 same as a CTCP ? 07:57:05 --- quit: Serg () 07:57:23 right! 07:57:43 viewing the raw messages with my bot doesnt show the \001 characters at all 07:58:05 yeah 07:58:09 same as CTCP 07:58:11 btw serg poll deprecates select 07:59:25 i don't understand how poll select etc. work 08:00:13 no there is no action in rfc 08:00:20 hmm 08:00:49 different rfc 08:00:59 its in the CTCP and colors rfc 08:01:19 nm 08:01:37 --- join: blockhead (default@dialin-743-tnt.nyc.bestweb.net) joined #forth 08:07:46 i found my commodore vic 20 forth cartridge :) 08:11:08 question is 08:11:15 do you have a vic 20 to plug it into 08:11:22 no :/ 08:12:14 I have 1.8G in my ~/doc directory 08:12:18 need to prune 08:20:58 --- join: kc5tja (~kc5tja@66-74-218-202.san.rr.com) joined #forth 08:21:09 --- mode: ChanServ set +o kc5tja 08:34:54 sup kc5tja 08:39:36 I am, now. 08:42:24 Planning on doing some Kestrel work this weekend, including reviewing the peripheral interconnect bus technology again. 08:42:42 --- join: MrReach (~spam@209.181.43.190) joined #forth 08:42:42 --- mode: ChanServ set +o MrReach 08:42:53 hihi 08:42:56 hey 08:43:36 I'm thinking about interface syntax ... looking for opinions 08:43:47 interface tow hat ? 08:43:52 to what 08:44:02 good 'ol lib loading again 08:44:03 hopefully its an interface to a generic programmable audio tool 08:44:16 warpzero: which platform?? 08:44:38 which do you think is the better syntax ... 08:45:02 MrReach: x86/PPC please 08:45:10 LIB: /lib/somelib.so SomeLib 08:45:13 or ... 08:45:30 s" /lib/somelib.so" LIB: SomeLib 08:45:45 and, for proc addresses ... 08:46:16 PROC: Someproc ProcName 08:46:18 or ... 08:46:25 I would personally make it S" somelib.so" S" SomeLib" make-lib, which then lets the programmer write whatever he wants. 08:46:32 s" Someproc" PROC: ProcName 08:46:48 s/make-lib/bind-lib/ 08:46:53 * MrReach nods to kc5tja 08:47:10 You need to specify a library to indicate what domain the procedure address can be found in. :) 08:47:12 warpzero: does the system have /dev/dsp ??? 08:47:21 oh! damn! thanks, forgot 08:47:24 MrReach: yeah sure why not 08:47:26 duh! 08:47:36 :) 08:47:50 then you can open an audio channel by opening /dev/dsp like any other file 08:48:03 Yeah I know that. 08:48:13 * kc5tja is thinking once again of making the Kestrel's interconnect bus an interconnect *loop*. 08:48:19 what functionality were you looking for, then? 08:48:32 I'm just saying I would like a generic programmable postfix expression live-performance audio tool with good timesources and stuff. 08:48:42 Thats all. 08:48:56 oh, you're looking for multimedia functionality? 08:49:03 syncing and whatnot? 08:49:08 No just audio. 08:49:22 i hate s" 08:49:35 * MrReach giggles, "I know, I440r" 08:49:37 i hate you I440r... no i don't sup dude 08:49:42 lol 08:49:51 * I440r thwaps warpzero with the isforth manual 08:49:57 I440r: yeah, nobody asked you.. sheesh. :) 08:49:57 still a bit light but effective:) 08:50:05 i want your isforth make me a threadsafe version please 08:50:24 warpzero, just do a clone syscall :P 08:50:36 ... 08:50:45 also port it to PPC please 08:50:56 whats a ppc ????? <*snicker*> 08:51:03 you are so dead 08:51:13 I440r: Download PearPC and find out. :D 08:51:29 better than x86 is what it is 08:52:47 MIPS is still my all-time favorite RISC because of its sheer simplicity, but good lord, the PowerPC is so close a second that I consider them about equal. 08:52:49 back in 40 mins ... gonna go watch New Yankee Workshop 08:53:03 Moo. 08:53:03 --- nick: MrReach -> MrGone 08:53:05 --- nick: arke_ -> arke 08:53:13 * arke yawns 08:53:19 MIPS has better MMU architecture 08:53:19 * kc5tja is now known as kc5tja 08:53:55 warpzero: What MMU architecture? :) It's all software controlled. 08:54:04 Some PPC models are also software controlled, but not many. 08:54:09 I emean you know what I mean. 08:54:23 --- quit: Robert ("brb") 08:54:23 I was being facetious. 08:54:38 Software-controlled TLBs rock. 08:54:43 :D 08:55:01 Not having a necessity for MMU is best. 08:55:05 The future MMU for the Kestrel's CPU (and I do mean FUTURE) is going to be entirely software managed. 08:55:06 kc5tja: do you just have to learn enough emacs to use it, or enough emacs to gr0k it 08:55:34 in that case do you know lisp lol 08:55:39 arke: I don't want to grok it in its entirety, but I do need to learn enough of elisp to be able to configure it to my preferences. 08:55:47 warpzero: Yes, I do. 08:55:56 But knowledge of Lisp does not connote knowledge of emacs. 08:56:03 It helps. 08:56:37 I find that my knowledge of Lisp is utterly useless when trying to figure out how .emacsrc file works. 08:56:51 oh :( 08:57:08 The problem isn't the language, it's the API that Emacs exposes. I have no clue what anything means. 08:57:17 * kc5tja is thinking of getting the Emacs manual from the local tech book store. 08:57:20 kc5tja: why emacs? 08:57:29 work computers don't have Vim? 08:57:36 uh oh 08:57:39 editor war time 08:57:48 * arke fears the flame war about to ensue 08:57:49 * blockhead hides. another vi vs emacs war 08:57:53 Herkamire: Because of all the e-mail clients we have at work, that's the best one they have, the most configurable, and the most powerful for my needs. 08:58:20 Evolution sucks oil-infested car exhaust from a 16-cylinder 1930's engine with cracked oil seals. 08:58:26 kc5tja: you're using emacs build-in email client? 08:58:35 Herkamire: That's all I'd use it for. 08:58:41 I see 08:58:46 kc5tja: yeah i fucking hate Evolution 08:58:46 blockhead: VIM wins. But VIM doesn't have an e-mail client in it. :) 08:59:00 kc5tja: if you say so :D 08:59:11 I honestly have to admit that Outlook, the program Evolution is modeled on, is actually *BETTER* an e-mail client than Evo is. 08:59:23 blockhead: Care to enlighten me then? 08:59:26 Yeah fuck Evo. 08:59:27 arke: I didn't think it'd start a war because I know kc5tja prefers vim :) 08:59:28 kc5tja: (1) Pine? :) (2) What do you think of a join DTC/STC Forht system? Words are compiled to STC and cached as STC as needed. 08:59:36 Herkamire: :) 08:59:40 arke: Pine fucking sucks ass too. 08:59:40 Herkamire: so do I/ 08:59:52 er 08:59:55 I've gotten to like mutt well enough (it "sucks less") 08:59:55 kmail? 08:59:57 :P 09:00:15 kmail isn't installed on the systems. 09:01:07 arke: I've thought of that plenty of times before. No time to research it in depth though. A good place to start is researching how Transmeta's stuff works under the hood. Unfortunately, there isn't much detail online. It's still proprietary information. 09:01:31 VLIW is an interesting concept 09:01:38 kc5tja: so should I just do good old STC then? 09:01:58 arke: I don't know. 09:02:06 I have never had any explicit need for speed in a Forth system. 09:02:20 hrm 09:02:24 I use STC/native code only out of convenience -- I didn't want to bother with the hassle of establishing two levels of interpretation. 09:02:42 ok, then I will just go for the regular STC for simplicity. 09:03:49 you guys and your forth implementations have it easy :( 09:04:04 :) 09:04:15 warpzero: not really. :) x86 isteh suck 09:04:29 im going to have to deal with that too 09:05:01 * arke fires up VMWare 09:05:10 Damn, these people JUST don't GET IT. 09:05:18 what people 09:05:25 When you have a loop configured network, you don't need collision detection!! 09:05:27 GAHH! 09:05:58 --- join: arke_ (~chris@wbar8.lax1-4-11-100-108.dsl-verizon.net) joined #forth 09:06:06 Firewire proves that a loop architecture network is doable without collisions, and has been demonstrating this for years and years. 09:06:20 --- nick: arke_ -> teehee 09:06:36 define loop architecture network please 09:06:48 Let us assume a network with four nodes, A, B, C, and D. 09:06:57 Each node's network interface has two ports, IN and OUT. 09:07:02 (no pun intended.) 09:07:11 okay 09:07:18 The OUT of node A is attached to the IN of node B. 09:07:24 lol 09:07:25 OUT of node B is connected to IN of node C, etc. 09:07:38 okay 09:07:39 OUT of node C is connected to IN of node D. 09:07:45 And OUT of node D is attached to IN of node A. 09:07:48 thus completing the loop. 09:07:58 Now, this architecture is damn nice for several reasons. 09:08:06 First, there's no need for collision detection. 09:08:08 kc5tja: can data go two way? 09:08:23 blockhead: In more advanced implementations, yes -- SONET for example uses two, counter-rotating rings. 09:08:33 Firewire also supports two counter-rotating rings. 09:08:41 kc5 do you have gr-core 253 ? 09:08:46 But that's a refinement to the general architecture, and not a strict requirement. 09:08:58 so without counter-totation, for B to send to A it would have to go 'round the long way? 09:09:32 blockhead counter rotation means the in's go one way and the outs th eother 09:09:34 blockhead: Yes. But this isn't as bad as it seems. Firewire introduces only one bit (yes, only one bit) of network delay per node in the network. Most other networks, like SONET, introduce four bits to eight bits, and that's it. 09:09:38 I440r: What? 09:09:47 kc5tja: yeah i dont see how this would need collision dectection 09:09:48 isnt that right ? 09:10:05 the in port only recieves data, the out port only transmits it 09:10:15 kc5tja: 'k. Even I can see how ther would be no need for collision detection ... and I'm a blockhead. :D 09:10:18 I440r: No. Counter-rotation means you have two distinctly separate rings, which means each device has two inputs, and two outputs. 09:10:20 you cant send data out your in port as a shortcut 09:10:25 The direction of data travel is reversed, however. 09:10:26 oh! 09:10:48 Right! 09:11:03 The neat thing is this: the early days of loop-based networks, you might call "token ring." 09:11:30 The idea was that there was a single token that traveled around the loop. When you received the token, that was necessary and sufficient to grant you the permission to write to the loop. 09:11:51 When your packet came back to you, you re-transmitted the token, so someone else could transmit. 09:12:07 A few years later, a refinement to this approach came along -- token ring with early token release. 09:12:35 It was realized, "Gee, there's no real reason why we have to hold onto the token after we're done transmitting -- we can just let it go after we're done." 09:13:02 The nice feature of this is that other nodes downstream can *append* their packet data to the already existing packet train. This is how SONET networks work, for example. 09:13:11 The next refinement is this: forget the token entirely. 09:13:46 Each packet has a start/stop marker (which for brevity, I'll call it a "flag" because that's the informal name for it in general. Note that this "flag" is really a sentinel market, but I digress). 09:14:05 When a node receives a flag, therefore, either a packet is just starting, or just ending (or both). 09:14:32 In this case, if you have sufficient buffer space, you can insert your packet immediately on the OUT port, while buffering the incoming packet on the IN port. 09:14:45 When you're done with your packet transmission, just re-transmit what you've buffered. 09:15:01 This is called Packet Insertion Multiple Access, and this is precisely what Firewire does. 09:15:11 oooh the packet IS the token! 09:15:16 Yes. 09:15:32 so if your relaysing data anyway you might as well relay the shit you wnat to send too :) 09:15:56 The nice thing about this is that every node has guaranteed minimal latency when accessing the network. The disadvantage is that isochronous data streams MAY fall out of specs if everyone tried transmitting at the same time. 09:16:04 Exactly. 09:16:07 That's precisely the idea. 09:16:21 This still seems better than ether for small loops. 09:16:36 It's actually vastly superior to Ethernet, even for large loops. 09:16:49 --- quit: [Forth] ("abort" Reality Strikes Again"") 09:16:50 In fact, the benefits grow as the loop gets larger. 09:17:19 Hmm... the maximum latency is loop_size-1 bits... 09:17:25 yeah... thats not bad at all... 09:17:45 well unless there is other traffic i mean 09:17:46 For example, using SONET as the I/O model (since it's already a large, well-understood networking model), each network node introduces only an octet of delay in the network stream. 09:17:50 kc5tja: what if one computer in the loop is shut down. does that break the loop? 09:18:11 A network with 10,000 nodes on it thus introduces a delay of 80,000 bits from the time you transmit to the time you receive your packet again. 09:18:28 At *gigabits* per second rates, 80,000 bits is so small a fraction of time that it's insignificant. 09:18:48 BUT, I openly challenge you to even consider a 1-gig-E network with 10,000 nodes on it. It won't happen. 09:19:16 blockhead: For a single ring, yes. For counter-rotating rings, no. You need two nodes to shut down for twin-ring systems. 09:19:31 And you can still use switching if you have counter-rotating rings right. 09:20:18 I think this is why ring systems are ideal for either very small (e.g., desktop-area networks) and for very large (e.g., metropolaton(sp??) area networks), because in both cases, the nodes are either all on, or at least, highly unlikely to be shut off to a degree capable of shutting down the network) 09:20:39 Well, if you have intelligent network devices, you can get by with a single ring too. 09:21:03 The idea being, you don't insert yourself into the ring until you know there is no packet being transmitted, AND the device's power is on. 09:21:09 IBM's token ring worked that way quite successfully. 09:21:30 Well in the FW model... I'm slightly confused on one point. 09:21:41 Firewire does something similar, come to think of it. That's how it supports hot-swapping. 09:22:49 What's that? 09:23:22 can a FW device just transmit if the line is dead? 09:23:26 Yes 09:23:29 all it has to do is make a tag right? 09:23:53 A Firewire's packet flag is, by design, chosen to mimick a dead bus, yes. 09:24:32 And with a counter-rotating ring type of system where we say our wires are directly connected [instead of on one shared rail] 09:24:47 we can still use a packet-switcher to join loops right? 09:25:09 Yes 09:25:22 why the fuck doesnt the internet do this 09:25:31 Each packet transmitted still has a source and destination address, with destination address transmitted first to speed up a switch's job. 09:25:44 The Internet is medium independent. 09:25:52 :) 09:25:55 Internet doesn't care if you're using Firewire, Ethernet, or carrier pigeons. 09:25:58 start your own internet! 09:25:58 Well I mean why aren't my computers doing this right now. 09:26:04 (and yes, there is an RFC that documents IP over carrier pigeons!) 09:26:38 warpzero: Inertia, for the most part. Ethernet is said to be cheaper to implement, and it is because of huge production volumes. But in terms of the cost of materials, it's about the same. 09:27:10 Packet insertion multiple access wasn't invented until sometime in the mid-80s to early 90s (I forget precisely, but it's circa that time period), and so, it was a little too late -- Ethernet already owned the market by that time. 09:27:27 I applied for a cool job today 09:28:01 field tech for specialised medical equipment 09:28:25 Ahh. 09:28:28 Good luck. :) 09:28:33 I enjoy helping people out and getting their situation fixed, but I'm really over the PC mess 09:28:40 :) 09:28:51 * teehee is installing bochs 09:29:02 after that, I will start development of F2 09:29:03 --- nick: MrGone -> MrReach 09:29:12 I'm back ... anybody miss me terribly? 09:29:17 I miss everyone 09:29:21 super internet friends 09:29:24 or rather, continue (although I don't really havbe much) 09:29:26 fridge: :) 09:32:00 kc5tja: I bet you could do this asynchronously too... 09:33:16 As long as I set reasonable limits on packet size and how many packets one can buffer, yes, I'm sure. It's just that slow devices would slow the whole loop down. 09:33:34 Therefore loops eh. 09:33:51 And switches to connect them. 09:33:55 Well, same thing happens on Ethernet. A single 10-base-T frame is 10* longer than a 100-base-T frame. 09:34:23 Hmm... true. 09:34:24 Actually, you don't strictly need switches to connect a slow device on a fast loop -- the loop will just adjust (note I'm talking about an asynchronous loop here, not a synchronous one) 09:34:40 Right. 09:34:46 But, a switch would definitely keep traffic apart, and therefore, fast devices fast. :) 09:35:21 Anyway I have to go conning. 09:35:25 At any rate, I'm looking at only about 1Mbps throughput on the Kestrel's peripheral loop anyway. 09:35:41 Needs more speed :( 09:35:54 Well, it's not intended for general purpose networking. 09:36:03 Or at least, wasn't. 09:36:29 I wouldn't consider using anything except 10/100/1000bT network 09:36:35 The idea is to make it easy for people make new peripherals for. 09:36:38 but I'm not running anything exotic 09:36:53 Umm...it's a *PERIPHERAL* interconnect loop. 09:37:03 E.g., things like printers, mice, keyboards, etc. 09:37:06 it's *SO* much cheaper than other technologies 09:37:10 Other Kestrels too, but... 09:37:29 But Ethernet can't handle device control with real-time contraints. 09:37:31 kc5tja: you talking firewire? 09:37:38 MrReach: No, but something based on it. 09:37:46 why not? 09:38:00 like scanners? why wouldn't it? 09:38:24 oh! yes, such devices need a medium-sized data buffer 09:38:25 Because I don't want to deal with the legal issues of using it, I don't want to have to pay $600+ for the IEEE specs document on it, I can't afford to design in the connectors, and the Kestrel doesn't have a bus fast enough to keep up with it. 09:38:56 And, I have absolutely *no* devices I can test it with. 09:39:02 what quantity are you talking? 09:39:10 Extremely, extremely low quantities. 09:39:22 you know the 100bt has lots of one-chip solutions? 09:39:28 This is a computer that exists in kit form, designed to run Forth, with a stack CPU, and is totally open hardware. 09:39:49 oh, ok 09:39:57 rather exotic 09:40:10 One chip solutions that still needs external transformers to isolate the bus, that still needs adequate documentation to use (which few actually offer), etc. 09:40:30 kc5tja: I'm thinking that if a word creates new words in the dictionary, those words should be parsed from the input stream 09:40:58 kc5tja: were you discussing email in a console or windowing environment?? 09:41:02 MrReach: I've more than once wanted the ability to do something like CREATE but without having to stuff a string and evoke EVALUATE to do it. 09:41:21 * MrReach nods. 09:41:24 MrReach: Personally, I don't care. I just want a usable e-mail client. 09:41:59 have you given much thought to Mozilla Composer?? 09:42:31 I've never been a fan of Mozilla's e-mail client, personally. 09:42:50 yeah, it's an "ok" client 09:42:55 * warpzero is a sylpheed fan 09:42:55 checked out the new opera mail client ? 09:43:02 but it runs on just about everything with a GUI 09:43:03 No, and I won't. 09:43:07 I can't install software on the box. 09:43:13 Guys, this is for work. 09:43:17 I don't own the box at worn. 09:43:20 work even 09:43:46 i still use eudora 4.01 09:44:07 at least its mobile, minimal installation and transfer problems 09:46:45 --- join: Robert (~snofs@c-bf5a71d5.17-1-64736c10.cust.bredbandsbolaget.se) joined #forth 09:47:05 qFox: Eudora is Windows only. We're a Linux only shop. 09:47:51 well... 09:48:08 Of the 1,500 servers and workstations we have installed in the company that is actually our own, we have only *3* Windows boxes. One for the secretary, one for general access in the break room, and one in the conference room, because the whiteboard driver only is available for Windows. 09:48:12 *cough* wine *cough* 09:48:13 ;) 09:48:34 laterz! 09:48:35 OK, how many times do I have to repeat this? I am *NOT* the administrator of the box I use. 09:48:41 --- quit: MrReach () 09:48:43 heheheh 09:48:44 I do *NOT* have the ability to install new software on the box. 09:48:52 i dont remember ever hearing this 09:48:57 Really, guys, do I need to maintain a FAQ for every subject I raise on this channel? 09:49:00 but ok, be inventive :p 09:49:10 What the heck is that supposed to mean? 09:49:25 Be inventive. 09:49:40 well, how good is the securety? 09:49:41 I have only X amount of tools to work with, and no ability to install additional tools. 09:49:53 --- quit: I440r ("bbl") 09:49:55 *EXCELLENT*, precisely *BECAUSE* of the limitations of software installs. 09:49:57 actually, this is pointless, you dont even _want_ to do this anyhow 09:50:19 In order to get software put on a box, it has to go through at least a month of security review inside the company. 09:50:46 kc5tja: that's f 09:50:51 n rediculous 09:50:56 well its my experience that there's usually a hole somewhere. i've worked at a bank and even there it was rediculos sometimes 09:50:57 ! 09:50:58 qFox: YOU are jumping to inaccurate conclusions. 09:51:05 qFox: You have NO IDEA what *I* want to do. 09:51:18 ok point taken 09:51:32 * qFox shuts up, watches tv. 09:52:07 Man, people get all pissed off at me whenever I try to explain the situation that isn't even in my hands to control. 09:52:12 That pisses ME off. 09:52:24 i'm not pissed. 09:52:40 "actually, this is pointles, you dont even _want_ to do this anyhow" 09:52:44 Seems kind of pissy to me. 09:52:47 But whatever. 09:53:10 no, its the conclusion that further discussion or explanation would be a waste of time. 09:53:30 since you dont want to install wine, and because of the things you pointed out. 09:53:31 hence.. 09:53:43 he can't isntall wine 09:53:58 without a months worth of review & approval 09:54:03 argh. i know. 09:54:37 best bet is to bring your own CD with a cd-booting linus and just run your own system :) 09:54:54 linux, not linus, DOH 09:54:54 i can't do that either. These boxes boot off the network. No boot drives. 09:55:06 clever :) they know us 09:55:10 Oh yeah. 09:55:16 The administrators have been at it for years. 09:55:40 Two of the four administrators have been security consultants in the past, on top of that. Clever people. 09:55:50 I thought I knew my shit until I talked to them. :D 09:56:01 the fact that they chose linux over windows by itself marks them as clever people 09:56:50 * blockhead would throw linux on his machine if he could figure it out :/ 09:57:04 --- join: I440r (~FooBlah@168-215-246-243.gen.twtelecom.net) joined #forth 09:57:10 The best way to learn is to just dive in and do stuff, I've found. 09:57:24 Ivery few montsh I try that with linux 09:57:26 When I first got into Linux, I ran it on top of DOS, via the umsdos filesystem. 09:57:35 That let me boot into Linux without having to overwrite DOS. 09:57:50 Slackware at least still has umsdos as a filesystem; I'm not sure about other distributions. 09:58:10 last time I tried it was the most succesful .. it booted! :D It just would not see the modem. Too bad. it was *that* close. 09:58:51 i have no real reason to start with linux, except from experience perhaps. 09:59:13 last linux I tried was "damn small linux", a 50 meg self booting CD. It was *so* close to working. 09:59:20 I switched to Linux after being totally fed up with Windows inadequacies. 09:59:35 I was pissed off at not being able to get access to system-level APIs to do what I wanted. 09:59:35 * blockhead would love to be able to dual boot. I like my windows gaming. 09:59:39 I was pissed off at how often it crashed. 09:59:49 I was pissed off at how dorky the user interface was becoming. 09:59:52 etc. 09:59:56 yup 10:00:11 i'm not too bothered with it. 10:00:36 * kc5tja is using ROX-Filer and amiwm for my desktop "environment" currently, and that is only because I have a few apps that won't run well with ion. 10:01:20 * kc5tja can't wait for the next ion release to come out...whenever that will be. :/ 10:03:34 any progress on the cpu btw? 10:03:49 I was going to start working on its ASM model today. 10:04:26 Basically, the ASM model will be the formal specification of the CPU, while the Verilog model is expected to be the synthesizable model. 10:06:28 i'm not sure if i'll finish my emu/simu. i kinda concluded that the missing carry support would make it simply... not good enough. and adding carry support was quite harder and more work then i anticipated 10:06:35 Although, I still also need to finish the CPU assembler too. *sigh* 10:07:38 so i think i'll wait untill i have a simu/emu (what is hte proper one anyways?), and then start programming machineforth in it 10:07:54 Emulator. 10:08:05 What comes out of Verilog is a simulator, since it simulates actual hardware. 10:08:51 if there is any intrest, i guess i could finish what i have properly, but it wont have carries (and i'm not sure if this will make the other instructions, aside for jc, function correctly) 10:09:27 My emulator so far does not implement the 33rd bits either. 10:09:30 I'll deal with that later. 10:09:42 For now, I just want something of a proof of concept that people can download and play with. 10:09:49 ok, so it has no effect on any instruction but jc? 10:10:23 Yep. I just implemented jc so that it tests bit 31, but when the carry bit comes in, I'll change it accordingly. 10:10:40 k 10:24:03 Going to listen to some music... 10:38:58 --- join: Serg (~Serg@193.201.231.126) joined #forth 10:39:24 re from plain telnet ! 10:39:31 Greetings 10:39:36 You're up late. 10:39:36 :) 10:40:10 no, it's day here 10:40:30 I thought Russia was 12 hours off from what time it is here. It's 10:40 AM here. 10:40:40 21-40 10:40:43 how can i code 2-way 10:41:00 how can i code 2-way client ? 10:41:01 Yeah, you're 11 hours from me. :) 10:41:05 2-way client? 10:41:17 telnet-like 10:41:34 smoked lotas perldoc in vain 10:41:35 Telnet is *basically* a terminal emulator coupled to a raw TCP/IP socket. 10:41:59 i am trying in perl ;) 10:42:10 never wrote term emu 10:42:17 Cool. Keep us updated. I'm always interested in network-related software. 10:42:43 butt how can i determine what some data awaits readind ? 10:43:11 read syscall just locks till timeout disconnect 10:43:51 see my NNTP client at cryptomancer.narod.ru 10:43:52 You need to set your console and socket descriptors to non-blocking mode, then use the select system call to wait for changes to either one. 10:44:04 Then you can respond to whichever one needs servicing when they need it. 10:44:48 on win32 Perl example behaves WRONG 10:45:33 dies silently, damn SELECT 10:46:17 Don't know enough Perl to help, let alone perl-on-win32 intricasies. 10:46:39 i gonna goto #perl, wish me luck ! 10:47:01 --- part: Serg left #forth 11:03:28 no multichannel support :D 11:03:58 heh 11:20:57 i find it amusing how long it took for someone to realize how crappy ircii is and make irssi and then almost every savvy ircer is using irssi now 11:21:09 the same thing really with editors too 11:21:14 vi, emacs, etc are all crappy 11:21:20 but most ppl are too myopic to see that 11:21:31 until someone comes out with a better one.. the irssi-analogue 11:21:50 VI isn't crappy -- it's just not easy to use. 11:22:05 But I agree, it can be better. 11:22:18 same thing, and its full of modes which is a no-no in jef raskin's book 11:22:36 Some might argue that a humane editor is an interesting fusion of the Emacs-style and VI-style editors. 11:22:48 i don't mind some of the commands tho, just mind the modes 11:23:10 * kc5tja nods 11:35:02 i'd like EDIT from dos in linux 11:35:15 with improvements of course.. 11:35:24 but EDIT is my favorite editor 11:35:33 I can't stand it. 11:35:40 heh 11:35:43 what about notepad? 11:35:46 futhin: edit is nice, yes. I boucne between it and metapad 11:35:48 I abhore it, I loathe it, with every fiber of my existance. 11:36:03 kc5tja: dude. you gotta switch to decaff 11:36:04 damn, eat more fibre then! 11:36:05 :P 11:36:45 A text editor should help the person edit text files, not hinder him. :) 11:37:08 As it is, EDIT has the most god-awful cut-n-paste support I've ever used, has rancid cursor movement semantics, and a search utility which is utterly useless. 11:39:24 "rancid cursor movement semantics" - that sounds like a 1990s grundge-rock band name :D LIke it! 11:40:01 'scuse me. gotta go have a cursor movement :D 11:41:53 hehhe 11:43:28 actually I've been using edit.com for my forth. It fits inside the emulator along with the assembler and the forth :) 11:43:46 Heh 11:43:57 I just can't stand it. 11:44:19 share you feelings, don't hold back :D 11:44:53 the problem I have with edit is that the CPU usage goes way up whenever I type. Windows doesn't like it 11:45:16 What version of Windows? 11:45:23 ME 11:45:46 ME, 2000, and XP don;t like you to run dos programs 11:46:14 No, because they *emulate* the 16-bit processor rather than running it in a V86 process via the hardware. 11:46:26 (it does this to achieve complete virtual machine security, which V86 can't guarantee) 11:46:31 (because Intel was stupid.) 11:46:56 and windows is kinda stupid too. don't forget that :) 11:50:00 Man, I'm really kind of wondering if in a future generation Kestrel, I should completely abandon any parallel bus interface on the microprocessor completely. 11:50:35 E.g, keep the microprocessor's parallel buses internal to the chip, but for interconnecting to other chips, just stick with very high speed serial links. 11:50:51 (or, at least, a substantially narrower path). 11:53:22 But, we'll deal with that issue in the future. 11:53:34 In the mean time, I need food, and then it's off to start the abstract state machine for the FTS1001. 11:53:50 (shoot, I'm undecided on whether I should work on the ASM, or finish the FTS1001 emulator environment) 12:02:00 kc5tja: EDIT has ctrl-x/v/z plus all the cursour movements like shift-home for selecting everything on the line behind the cursour etc 12:02:13 its stuff i'm comfortable with and i can edit pretty fast 12:02:25 not as great as some of vi or emac's commands though 12:02:37 i love emacs ctrl-k and ctrl-y commands 12:03:02 Actually, I don't like emacs' ctrl-K or ctrl-Y commands either. 12:03:07 Well, ctrl-Y is OK. 12:03:20 But the semantics of ctrl-K change depending on whether you're killing mid-line, a whole line, or a blank line. 12:03:20 futhin: I used to use emax all the time on my amiga. To this day I find myself typing emacs-commands into metapad or edit 12:03:23 It's retarded. 12:03:23 kc5tja: hush 12:03:35 Heheh 12:03:44 MicroEmacs != Emacs though. :) 12:04:04 I've found a number of commands that worked on MicroEmacs that didn't under Emacs (of course, most DO work) 12:04:11 I don't recall what they are now though. 12:04:46 Oh, and I do remember CTRL-Q (refill paragraph) utterly *crashed* MicroEmacs every time. :) 12:04:53 kc5tja: I think the file save or the exit command was different ... but it's been so many years I could have mis-remembered 12:05:03 all i recall of ctrl-k is that it deletes the whole line no matter where you are on the line 12:12:48 futhin: hi sexy 12:17:16 vi, if i remember correctly, ctrl...hmmm ctrl-something ctrl-x to save and quit, wasnt it? 12:17:39 i know i've been stuck in vi, having to reboot, because i couldnt exit it :p 12:17:40 this token ring stuff sounds really cool 12:17:44 qFox: :wq 12:17:53 ah damn. must be another editor then 12:18:12 oh, I'm way back in the logs. sometimes I read for a while, and think I'm up to the present. 12:18:12 vi: esc w to save i think ... it's been a while since I used it 12:18:40 woops. hey arke. didn;t see that :D 12:18:58 :) 12:19:03 Vi is teh goddess 12:19:39 To save a file in VI, you hit if you're not already in command-mode, then :w to "w"rite the file. 12:19:39 anyone here into phylosofy? 12:19:41 arke: of course it is. We shoudl delete all other editors. vi rules. cast to hell all the hethen who do not like vi. I think I'll get a special VI keyboard for my computer 12:19:50 that word looks wrong 12:19:51 :) 12:20:07 :) 12:20:07 qFox: Because it is; the proper spelling is "philosophy". :) 12:20:16 ah 12:20:23 Herkamire: :) 12:20:26 qFox: It's actually spelled "philosophy", methinks 12:20:28 anyone into that then? :p 12:20:31 kc5tja: ack, damn 12:20:32 lol 12:20:44 Nope. Not personally. 12:20:58 qFox: no 12:21:05 hm is freenode lagging? 12:21:11 Although I of course do follow a certain philosophy, I'm not particularly interested in discussing it. 12:21:23 it appears as if messages are ariving desynced 12:21:38 No, arke is just repeating everything I say, followed by a "ack, damn". :D 12:21:45 haha, okay 12:22:06 ^_^ 12:22:30 allright... anyone who's religious believes i may try to shatter then? takers? :p 12:22:40 :P 12:22:44 * arke is not religious 12:22:56 but I will convince every smart religious person 12:23:01 oops 12:23:03 I'm sorry 12:23:05 no such thing 12:23:15 if they're smart, they would have realized by now. 12:23:26 i have a feeling that most people that are capable of thinking logical, realize that religion is... well not what they make it out to be 12:23:30 precies 12:23:33 precize.. 12:23:42 precise? 12:23:46 damnit 12:23:56 precies was dutch :) 12:24:13 ^_^ 12:24:15 i'm being corrected by the damn editor so many times 12:24:19 its almost frightning 12:24:40 (i dont usually make up documents in word :) 12:25:04 dutch spellchecker doesnt even function. stupid mud 12:25:43 My religion is science. 12:25:57 My bible is the scientific method. 12:26:35 well... i'm creating a document with my believes and theories and such about this whole life 12:26:53 guess i watched one too many star trek episodes :p 12:27:07 (its not sf, at least i dont think so) 12:27:23 but i need someone to read it and give some comments on it 12:27:27 --- join: Sonarman (~matt@ppp-66-124-255-96.dsl.snfc21.pacbell.net) joined #forth 12:27:31 and uhm, well i dont know that many ppl that are into this stuff :) 12:27:50 * kc5tja nods 12:28:18 yet. 12:28:32 I don't know if I could put my personal philosophy into words. 12:28:43 I can. 12:28:47 "Fuck Y'all!" 12:29:01 Objectivism is the closest philosophy to mine, I think, but I'm not objectivist. I definitely have *some* socialist tendencies, which objectivists abhore vehemently and vociferously. 12:29:02 hah 12:29:13 i've been thinking about all kind of life related things lately, and two days ago i had enough of it and wanted to write it all down 12:29:39 kc5tja: that token-ring network stuff is so cool 12:29:44 qFox: just don't title it "my struggle" :D 12:29:46 it basicly says that we're all biological (relatively highly advanced) artificial intelligent life forms 12:29:54 nonono, i have a perfect title 12:29:59 "Life, or something like it" 12:30:04 Herkamire: Yeah, it is. I really like the concept of it. But, to be sure, packet insertion is that much better, you know? 12:30:09 I didn't realize a loop network could handle large numbers of nodes 12:30:33 yeah, and you can have as big a buffer as you want. 12:30:38 Yep. 12:30:44 it just has to be as big as the packens you want to _send_ 12:31:00 * kc5tja nods 12:31:02 qFox: can I have a read? 12:31:08 and if you view human bodies as computers, you can classify all kind of stuff more scientificly. do away with religion, afterlife theories, and ethics. 12:31:27 and classify life/death more precisely. 12:31:37 yay i have a victem :) 12:31:37 if you are making a keyboard or mouse or something, you could have a tiny buffer. like 8 bytes or something 12:31:47 qFox: I do believe in the hypothesis that this universe is governed by automata, whose rules we don't fully understand yet. 12:31:53 Herkamire: Yep!! 12:32:20 Herkamire: which in that sense, is perfect for a peripheral interconnect loop, because many PIC chips only have 64 bytes of RAM available to them. 12:32:35 :) 12:32:46 I was thinking just that :) 12:32:53 well i think, that death, is nothing more then power taken off your RAM, and thus the loss of all data (acumulated thru the life), including any and all drivers to operate a human body 12:32:57 As long as they follow the rule that they can't transmit a packet until they get their headers back (nobody cares about the data, frankly), then all is good. 12:33:01 on-chip ram/registers could be enough 12:33:35 oh and there is a bit of time line related stuff in it as well, but the main point is life related :) 12:33:42 qFox: It's not Star Trek that you shouldn't be watching, it's The Matrix. :) 12:33:50 i have 12:34:07 I don't see the point in making such analogies 12:34:07 but neither theories are presented in either 12:34:09 kc5tja: why do you wait for your headers to come back? 12:34:28 so it doesn't keep going around? 12:34:40 the only thing that i quoted from star trek is the "your life was a holodeck simulation" episode from voyager 12:34:44 Right, and it also tells you when you're free to transmit again. 12:34:59 as one of the million possibilities of this life being. 12:35:07 Hehe 12:35:14 Herkamire: No. 12:35:22 Not unless you put another payload of data on it. 12:35:50 :) 12:35:57 Herkamire: If you're a computer with megabytes of RAM to cache queued messages, you can put as many packets as you want on the network. 12:36:13 ok, that was my next question :) 12:36:23 Otherwise, restricting yourself to just one packet, and not transmitting another until you know every node has had a chance to see it, makes RAM management a bounded problem. 12:36:51 the big question of life is not the purpose of life, but where did it all start. 12:36:58 its freaky when you think about it. 12:37:23 there HAD to be a begin. and what caused this begin, how was it possible to begin. how can something begin in nothing with nothing? 12:37:37 really, think about this single problem long enough and it'll scare you 12:37:44 :) 12:37:47 that's cool. I was thinking at first that the destination device would take the packet out of the loop. 12:37:49 ok i'll shut up now. 12:37:57 qFox: :-) 12:38:08 qFox: Nobody has any answers, so that's probably why we aren't more conversational. 12:38:13 but then if it didn't for whatever reason (say it was off) the packet would go around forever 12:38:25 i wish we were vulcan :p 12:38:35 well, for the logic part anyways 12:38:36 Herkamire: The destination device can take the payload off the network (which frees that time slot for use for some other downstream node!), but the headers ought to remain. 12:38:46 right 12:38:49 of course 12:38:56 --- quit: Sonarman ("bye") 12:39:36 Herkamire: Actually, you can get away with consuming headers too. 12:39:44 It just makes management somewhat more complicated at the MAC layer. 12:40:04 I think it's cool to leave the header 12:40:09 then you know your packet got there 12:40:20 Yep. 12:40:23 kiss 12:40:32 I like this a lot 12:40:43 Token ring networks left the payload, but flipped a bit in the header to indicate that it was properly received. 12:40:54 broadcasting is almost as cheap as direct to one 12:40:54 heh, that looks so odd out of context :p 12:41:03 This is *slightly* more complicated in that you have to replace data with idle bytes, but otherwise, I think it's more flexible. 12:41:21 qFox: Heheh :) 12:42:04 this? 12:42:06 15:40 < Herkamire> kiss 12:42:06 15:40 < Herkamire> I like this a lot 12:42:07 The neat thing about all this is that a sufficiently fast serial link can encapsulate a parallel bus perfectly. 12:42:17 well actually just the kiss, in this channel 12:42:32 Thus, one can ask for memory reads/writes and whatnot via the serial bus. 12:42:37 serial LOOP rather. 12:42:45 qFox: KISS= Keep It Simple Stupid 12:42:54 i am aware of that. i did say when out of context. 12:42:56 :) 12:42:57 And if this is made possible, then there would really be no need for explicit DMA controllers and bus arbiters! The nature of the loop handles all that automatically! 12:43:06 qFox: just making sure :) 12:43:09 hehe 12:44:15 kc5tja: cool 12:45:21 that sounds much simpler, but would it work (reasonably) really fast like for modern desktop computers? 12:45:30 This all got me thinking when I realized that a DMA bus arbiter is just a network switch engine, where the address bus provides the destination address, and everything else is considered a command packet to send to said device. 12:45:46 Herkamire: With sufficient cache in the microprocessor, I feel that it would. 12:46:17 Modern CPUs already have logic in them to do things like "split transactions" on their buses, where the memory request is issued in clock N, but the data transferred or received doesn't happen until N+M. 12:47:12 right 12:47:27 modern CPUs just work with the cache anyway. 12:47:57 Right. 12:48:37 I don't see any problem with a different protocol to refill the cache and do write-through 12:48:49 I figure a stack CPU with a set of caches on the same FPGA ought to be performance competitive with any similarly clocked, non-superscalar RISC CPU. 12:49:42 Imagine people's responses when they hear, "Yeah, the system backplane bus has only 8 pins per connector." :-) 12:49:42 superscalar means multiple instructions at the same time? 12:50:02 Even buses (which operate on similar principles, BTW, but aren't loop structured) like HyperTransport have a lot more than that. :D 12:50:08 Right. 12:51:41 So what I'm saying is that I expect my stack CPU to be performance competitive with, say, a 25MHz SPARC-I CPU or something. 12:52:39 how many wires do you need for the token-ring? 12:52:40 I expect any asynchronous logic version to run 2x to 3x that rate, personally. 12:52:50 Strictly speaking, just four. 12:53:20 Ground, clock, data, and a ring-control line to control the Media Access Unit (MAU) ring insertion relays. 12:53:40 Firewire gets by with four *pairs*, but it uses differential signaling. It also has a different method for ring insertion. 12:53:45 can you explain that last one? 12:53:57 You don't want to insert yourself into the ring mid-packet. 12:54:00 Doing so destroys the packet. 12:54:15 Technically, that's the risk you take when working with a packet-switched network. 12:54:22 But, the MAU tries hard to prevent that. 12:54:24 the 4th wire sends the flags that tell you when the start/end of the packets come? 12:54:56 When power comes on to the unit, the port it's plugged into receives a "ring signal" of sorts. It's just a power source for that port's circuitry, which monitors the network link for activity. 12:55:24 As soon as it sees that no activity is happening, it'll toggle a set of relays, which *physically* (not electrically!) inserts that node's network interface into the ring. 12:55:34 kc5tja, will this CPU run FORTH? ;) 12:55:47 slava: It's a stack architecture CPU that natively runs Forth, so yes. :) 12:56:34 Herkamire: when power turns off or is abruptly removed, the relays click back to their default position, which takes the node out of the ring's circuit. 12:56:43 Therefore, the MAU dynamically adjust the ring's size. 12:56:50 Firewire works differently. 12:56:56 (but yet, vaguely similarly) 12:56:57 very cool 12:57:03 Firewire has dual, counter-rotating rings. 12:57:19 It can, therefore, afford to use a purely electrical system of node insertion. 12:57:27 so ground, clock, data, and a signal that says when data is being transmitted 12:57:43 well, if the clock is toggling, you know something's being transmitted. 12:58:02 The ground is just a power return/0V reference for the circuit. 12:58:30 Actually, come to think of it, I'm thinking of ArcNet. Sorry. Token Ring uses twisted pairs like Ethernet. Oops. 12:58:40 * kc5tja tries to convince himself to wake up. 12:58:42 For real, this time. 12:59:39 But the basic principle is the same. 12:59:42 Anyway, back to firewire. 13:00:07 SerialBus (which is the non-trademarked name for IEEE-1394 and all its future incarnations) requires each node to have two ring interfaces. 13:00:16 We'll call them the LEFT and RIGHT interfaces. 13:00:22 does the 4th wire have the end-of-packet flags? 13:00:27 No. 13:00:37 The fourth wire **ONLY** provides **POWER** to the MAU to work the relay. 13:00:46 ok 13:01:12 Think about it, if no wire is plugged into the port, then it can't receive power, and so the internal ring relay is closed -- completing the circuit, and shorting that port out of the loop. 13:01:24 so the device before you in the ring puts you in by giving you power on the MUA line at a good time 13:01:31 If there is a cable, but the computer is off, or if the network controller is left uninitialized, then it also doesn't get any power. 13:01:39 No. 13:01:57 The device being plugged *in* supplies the power to the port that it's plugged in *to*. 13:02:24 oh, and the computer before you in the ring completes the circuit at a good time? 13:02:29 Nope. 13:02:50 The circuitry for that port only deals with connecting that port at the appropriate time. 13:02:52 --- join: solar_angel (~jenni@MTL-HSE-ppp169075.qc.sympatico.ca) joined #forth 13:02:56 It might cheat and take some hints from adjacent ports. 13:03:02 But it's certainly not required to do this. 13:03:53 ok, say we have the ring A->B->C->begining 13:03:58 B is offline 13:04:12 so the first 3 wires are connected directly A->C 13:04:26 (because B's relays are off) 13:04:28 right so far? 13:04:42 Well, there is no "beginning" in a ring network per se. 13:04:55 C would be connected to, say, D, and then D is looped back to A. 13:04:55 I know 13:05:00 I just have to display linearly 13:05:08 I meant back to A 13:05:20 OK 13:05:49 now there's a fourth wire running from A to B 13:05:50 Considering the case A -> (B) -> C, where (X) means node X is off-line somehow, then yes, the internal relays of the MAU are configured so that A is electrically tied to C. 13:05:55 No. 13:06:06 The only wires shared by anyone are the data lines. 13:06:08 That's it. 13:06:16 brb 13:06:27 an explanation of token ring? 13:06:54 solar_angel: yes. I'm trying to understand a method for inserting nodes 13:07:06 inserting nodes into token ring? 13:07:14 to what end? 13:07:24 hi all 13:07:45 good afternoon 13:08:00 solar_angel: there is no end. it's a loop 13:08:09 *lol* 13:08:21 Herkamire - don't get me started, mmkay? so what are you trying to *do* with the token ring? 13:08:32 back 13:08:38 OK, where was I? :) 13:08:56 solar_angel: kc5tja is going to build one as his periferal interconnect bus for the Kestrel 13:09:04 Well, no, not quite. :) 13:09:14 My peripheral interconnect is not token-based. 13:09:18 It's packet insertion based. 13:09:19 I can't get anything right today ;) 13:09:44 kc5tja: we had A -> (B) -> C 13:09:47 Right. 13:09:51 oh. 13:09:56 Kestrel, custom computer? 13:09:58 The MAU has three "ports" inside it in this case. 13:10:01 solar_angel: yes. 13:10:05 all four lines are connected a -> c? 13:10:07 what's the arch like? 13:10:14 (electrically while B is ofline) 13:10:35 solar_angel: Stack CPU architecture, other than that, not sure how to answer your question? 13:10:48 Herkamire: Right. 13:10:54 Now suppose B comes online. 13:10:58 right 13:11:06 oooh, custom CPU? 13:11:10 Node B provides power to port B's circuits when it does so. 13:11:24 or just a direct implementation of the forth virtual machine? 13:11:29 The first thing these circuits do is check to see if network activity is in progress over its part of the pathway. 13:11:42 solar_angel: Yep, custom CPU in FPGA. 13:11:45 how? 13:11:55 checks for voltage? 13:12:05 Herkamire: "If a signal toggles within a certain amount of time, then someone MUST be using it. I'll wait a bit more." 13:12:33 but how can it sense the signal if the circuit goes a->c? 13:12:35 kc5tja - coolness. and here i thought i was the only one who felt up to the task of going all-custom. 13:12:58 Herkamire: There are a number of ways of doing this. Just tap the signal. 13:13:09 I mean, measuring the voltage on a car battery doesn't instantaneously drain it. :) 13:13:12 --- join: default_ (default@dialin-695-tnt.nyc.bestweb.net) joined #forth 13:13:28 ok, so B can snoop a little by checking voltage 13:13:33 Yes. 13:13:34 --- nick: default_ -> blockhead_ 13:13:37 As all digital circuits can. :) 13:13:47 (logic gates have "high input impedance" by design) 13:13:48 but the circut still goes A->C 13:13:51 Yes. 13:14:09 Once B's circuitry determines the link from A to C is dead, it then supplies power to a set of relays. 13:14:26 Note that there are two banks of relays. The first is NORMALLY CLOSED, so that when there is no power, the circuit is electrically bridged. 13:14:34 The other is NORMALLY OPEN, which closes only when supplied power. 13:15:02 Hence, supplying power to the NC relays opens them, thus breaking the circuit from A to C, and the NO relays are closed, thus routing A to B, and B to C. 13:16:14 these relays are all within the B device right? 13:16:19 Yes. 13:16:51 1) where does the MUA line figure into this. 2) how does B know the link is dead? no clock signal? 13:16:56 This lets you have an MAU with as many ports as you want (in theory; reality always has a way of butting its head in though. Relays introduce signal loss, so if you have too many ports, you need in-circuit amplifiers and repeaters). 13:17:02 chris@chris-suse ~ # cat /dev/random | irssi --output \#forth -c freenode 13:17:04 l;af;a;lajba;slfjb 13:17:04 aq 13:17:04 pa' 13:17:05 pa 13:17:05 psfg 13:17:07 a 13:17:11 aspd 13:17:12 as 13:17:14 arke: Please stop flooding. 13:17:15 ^_^ 13:17:19 signal loss isn't the only problem. you've got to deal with impedance mismatches 13:17:20 /kick arke 13:17:23 * arke has had way too much sugar 13:17:29 forgive /me :( 13:17:34 unless it's a really low speed link, of course 13:17:48 Herkamire: 1) Something has to supply power to B's circuitry. The MUA doesn't provide this, and it's counter productive for it to do so. 13:17:57 (2) I already explained this. 13:18:27 solar_angel: Well, I'm talking about the 16Mbps token ring units. 13:18:33 So it's "slow enough" to use relays. 13:18:53 Supposedly IBM was working on a 64Mbps TR, but I've never heard anything beyond an announcement from them. 13:19:19 Frankly, though, if you want those kinds of speeds, just use Firewire. 13:19:40 kc5tja: thanks for all your explanations. 13:19:41 You get packet insertion multiple access PLUS dual, counter-rotating rings PLUS 400Mbps throughputs. 13:19:43 bbl gardening 13:19:50 I think Firewire definitely killed IBM's TR market. :) 13:19:53 it can be done. it can also get uglish. depends on the implementation. 13:19:55 (completely inadvertently at that) 13:20:08 is <3 supposed to be a heart or an ass hat? 13:20:17 wait... firewire is multiple access? 13:20:22 Yes. 13:20:29 oh 13:21:31 which explains why TCP/IP over Firewire works so well, but IP-over-USB is at best a laughable attempt. :) 13:21:59 Nothing like 1ms minimum latency for those 12Mbps speeds. :) 13:22:29 hehehe, fair enough 13:22:54 * kc5tja doesn't know any technical details about 480Mbps USB, so I won't comment on that. 13:23:02 Specs were a little . . . hard to come by. Which is a pity. 13:23:47 fair enough 13:27:27 --- quit: blockhead (Read error: 113 (No route to host)) 13:30:31 Anyway, the peripheral interconnect interface for the Kestrel is going to be a single ring, without an MAU (e.g., each device is expected to include its own ring continuity hardware), and not designed to support hot-plugging. 13:30:59 or if hot-plugging is supported, then I make no attempts to protect packets from corruption. 13:31:32 the basic idea is that most devices you'd want to hook up to this thing wouldn't be changed very often. 13:31:38 and almost never while the computer was actually on. 13:31:52 Thus, it keeps the cost of designing and implementing it as low as possible. 13:54:34 ls 13:54:36 oops. 13:55:56 HHAHA :) 13:56:03 bleh 13:56:05 * arke goes to work 13:56:10 see y'all later 13:56:17 remmeber my philosophy of Life: 13:56:21 "Fuck Y'all" 13:56:22 Well, I have sun-mouse semantics on my window manager. 13:56:37 And my mouse must have squirreled its way to the IRC window. :) 13:56:52 * arke is away: McDonald's --- I'm HATING THE SHIT OUT OF it. Try our new Fiesta Salad! 14:02:17 boycott uncleDonalds 14:02:35 big mac 4eva! :p 14:02:52 hmm 14:02:56 adam is vegan ;P 14:03:10 wow 14:03:11 mcdonalds > burgerking though 14:03:18 found 3 lines frog: 14:03:19 o)__ 14:03:19 (_ _`\ 14:03:20 z/z\__) 14:03:34 hehe 14:06:46 Looks more like a rabbit to me, actually. Such is the joy of ASCII art. :) 14:07:09 err i cant see no frog :P 14:07:29 qFox: Only for their french fries. BK's burgers owns McDonald's. And In-N-Out's burgers owns over ALL. 14:08:10 the milk shakes from mcdonalds are very good 14:08:16 no actually its the burgers i prefer from the mac 14:08:21 well personally the food is better in McD than BK, but McD is ethically very suspicious and give that i dont eat meat anymore, who cares! 14:08:32 mmmmmmmm, burger 14:08:36 cant say about innout, remember that we're not the fastfood country usa is.. 14:08:52 --- quit: solar_angel ("later") 14:08:52 i mean, we have them all around, but there are just two "big" chains. mac and bk 14:08:58 qFox: 99% of America doesn't even know what INO is like. 14:09:03 Half of them haven't even heard of them. 14:09:14 I only heard of them from this channel 14:09:19 well there are more big chains in the states 14:09:24 (INO) 14:09:26 i mean, if i know them... :p 14:09:44 or at least recognise them. danny's for instance 14:10:16 anyways. i dont like the bbq taste, i guess i prefer the fake md burger taste 14:10:50 stop, you're all making me hungry :D 14:11:05 we're getting a growing amount of shoarma places though 14:11:27 no big chain, afaik, but i wouldnt be surprised if we have more of those, then hamburger joints :p 14:13:24 qFox: when you said "danny's", did you mean "danny's" or denny's"? 14:13:37 i have no idea. 14:13:45 ! 14:13:52 seriously 14:13:59 you tell me 14:14:00 :) 14:14:22 uuuuh, yeah, wotever 14:14:47 :) 14:22:48 --- join: TheBlueWizard (TheBlueWiz@pc46dn1d.ppp.FCC.NET) joined #forth 14:22:48 --- mode: ChanServ set +o TheBlueWizard 14:22:51 hiya all 14:22:57 re TheBlueWizard 14:23:11 hiya kc5tja 14:23:38 --- join: lalalim (~lalalim@pD95EA3F0.dip.t-dialin.net) joined #forth 14:39:21 --- quit: lalalim_ (Read error: 110 (Connection timed out)) 15:05:59 --- quit: I440r ("bbl") 15:22:25 moi 15:26:20 terve mur :) 15:32:53 --- join: SolarFire[ (SolarFire@pD9EE1FBD.dip.t-dialin.net) joined #forth 15:42:19 * TheBlueWizard now understands why kc5tja is studying BEEP...it is for his GCOM project 15:42:32 Well, not as such. 15:42:46 I intend on using BEEP to implement the remote procedure call interface. 15:43:00 It's more suitable to that task than HTTP is, by far (e.g., as with XML-RPC). 15:43:28 I was reading your writeup on your GCOM 15:43:28 What is particularly interesting about BEEP is that provides the final piece to realizing the full OSI 7-layer model for the Internet. 15:43:31 Consider: 15:43:37 Twisted pair is layer 1 15:43:49 100-base-T Ethernet framing is layer 2 15:43:51 IP is layer 3 15:43:53 TCP is layer 4 15:44:06 BEEP is layer 5, since its goal is to manage the presence of sessions and to provide session management. 15:44:13 XML is layer 6, since it determines how data is presented. 15:44:28 and the application being addressed naturally forms layer 7. 15:44:37 I see 15:44:53 sorry what is GCOM? 15:45:04 Now, my RPC mechanism is not going to use XML for RPC purposes. That's just plain wasteful. 15:45:08 Generic Component Object Model 15:45:23 slava: Generic Component Object Model -- an open source clone of Microsoft's Component Object Model. 15:47:07 nice. 15:50:00 --- quit: SolarFire (Connection timed out) 16:01:36 gotta go....bye all 16:01:46 later TBW 16:02:15 bye kc5tja 16:02:18 --- part: TheBlueWizard left #forth 16:09:04 --- join: I440r (~mark4@rrcs-sw-24-173-60-40.biz.rr.com) joined #forth 16:09:54 hi I440r 16:14:30 anybody know what McDonalds "hamburgers" are made out of? 16:14:43 I heard they are 27% meat 16:16:37 wheat i guess 16:16:46 hehe 16:16:58 I think a lot of it is over-processed so 16:16:59 y 16:16:59 there are sausages that can't be called sausages no more 16:17:06 becasue they have so few meat in them 16:17:14 so they conditoria instead :) 16:17:22 bakery 16:17:36 well since new eu-regulation 16:19:38 haha 16:20:06 hi slava 16:20:16 watchin poker tour 16:24:55 OK, finished converting half of GCOM's documentation to texinfo format. 16:25:03 Now I'll start on the CPU's ASM. 16:25:21 is texinfo a good format? 16:25:41 It's adequate. 16:25:51 I think it works well for the purposes I'm using it for. 16:31:21 Part of my new web development methodology will involve updating various parts of the website (in particular the downloads and darcs repositories sections) via nightly rsyncing. 16:35:08 texinfo is preferable to a man page :) 16:35:58 What's scary is that big-ass thick Emacs book, you know, the one that is some 1000 pages long or so, is written entirely with Texinfo. :) 16:36:45 lol 16:41:22 i need to pick a format for factor documentation, but i cannot choose. 16:41:56 it needs to be easy to parse, for online help, but also easy to convert to HTML. 16:45:16 Texinfo seems fairly decent. When I upload the documentation, you'll see the source files I use. 16:45:32 It's seems easy enough to generate HTML too. 16:45:44 It also spits out DocBook or raw XML too, if you want to do your own processing too. 16:46:09 --- quit: I440r (Read error: 60 (Operation timed out)) 17:15:51 --- join: Sonarman (~matt@adsl-64-169-93-46.dsl.snfc21.pacbell.net) joined #forth 17:26:43 OK!! :) 17:27:02 I just got the assembler back to the point where it can assemble non-control-flow instructions. 17:27:06 All the unit tests seem to pass. 17:27:23 So, I'm going to take a break, and enjoy the last bit of sunshine that's out there, and go ride my bike for a while. 17:27:27 I need the exercise badly. 17:30:57 :) 17:50:48 I got a flat =( 17:54:49 fridge> read it? 17:54:58 the first bit 18:03:10 * arke will likely establish another #forth 18:03:19 why? 18:03:31 becasue some people hate freenode 18:03:40 I'll have a Supybot doing relay 18:04:23 back 18:04:43 oh you mean another net 18:04:47 That was just the thing I needed. 18:05:05 kc5tja: :) 18:05:07 what net would that be then? "hate freenode" just means they are a bitch and dont know what multiserver means. 18:05:19 qFox: yeah. It wouldn't be competing --- merely another "section of the room" 18:05:31 qFox: OFTC 18:05:44 if one hates quakenet, i can live with that. lots of /amsg spamming monkeys on that net 18:05:59 if one hates efnet/ircnet/etc, well then he must be a nickserv/chanserv junky 18:06:14 but to hate freenode... :) 18:06:26 oftc? 18:06:38 I've heard of several people move to OFTC 18:06:40 Off To The Crapper? 18:06:44 because it was better 18:06:45 blockhead_: :P 18:07:03 :D so what does it mean? 18:07:25 --- nick: blockhead_ -> blockhead 18:07:59 oh network. hmmmm freenode has its netsplits every now and then, but so has almost any popular network. 18:08:20 there are other irc networks?!? 18:08:21 * qFox blames lazyness :p 18:08:32 no, go back to sleep 18:08:34 :) 18:08:36 futhin: no, I won't steal #forth from you like you did from Mark :) 18:08:48 I was thinking more of a "complement" 18:09:06 forth on efnet is empty 18:09:18 ircnet dito 18:09:30 not in OFTC 18:09:31 I'm ther e:) 18:09:42 --- join: ASau (~asau@158.250.48.204) joined #forth 18:09:49 hi ASau 18:09:49 Dobre jitro! 18:09:54 hi 18:10:02 i still dont know what oftc is... give me a server of it 18:10:10 irc.oftc.net 18:10:17 ... right 18:10:44 open and free technology? why dont they just merger with freenode :s 18:11:27 dancer and hybrid ircd's... can you ask ppl why they hate freenode? :p 18:11:44 :P 18:11:54 netsplits and services, I heard from one source 18:13:35 o_0 there are like 6 ppl on that cforth chan, i say one line, and i get an immidiate pm warning to speak in that ot chan 18:13:39 like.. jeez 18:13:46 lol 18:13:54 wasn't a PM warning, doofus 18:15:00 [03:12:34] we are discussing OT stuff on #c4th-off_topic 18:15:04 warning "warning". 18:15:09 qFox: dood ... that was unnecessary 18:15:22 qFox: xef4 acted harshly, yeah, but why did you say that? :) 18:15:22 i was just saying :\ 18:15:29 oh he kicked me? 18:15:36 yeah 18:15:38 rarw 18:15:40 np 18:15:45 i deserved that i guess. 18:15:58 i stand by my point though. 18:17:00 hm doesnt that xef dude come in here as well? 18:17:10 i know that nick.. 18:17:39 occasionaly 18:17:41 he hates freenode :) 18:18:24 but he loves ircnet? wokeuj.. 18:28:16 on a sidenote, for a chan with 5 ppl, they sure were fast 18:28:16 --- quit: blockhead (Read error: 54 (Connection reset by peer)) 18:39:01 --- quit: qFox ("this is mirc's last attempt of communication...") 19:16:08 --- join: I440r (~mark4@rrcs-sw-24-173-60-40.biz.rr.com) joined #forth 19:28:02 Dobroe utro, I440r! 19:30:23 Hello, everyone... hello! 19:32:11 re madgarden 19:32:47 :) 19:33:13 So, what do bored Forthers do on a Saturday night? My wife has gone out and I don't have a girlfriend. :P 19:33:34 I went on a short bike ride. 19:33:41 Currently working on the assembler for the FTS1001. 19:34:17 I can't leave the house. :( 19:34:30 Woo, FTS1001! 19:40:37 Hehe :) 19:43:42 Man, I haven't worked on Forthy in a while. 19:44:46 Likewise. 19:44:52 I've spent most of this week working on GCOM. 19:45:50 Ahh, I remember you talking about that from when I first joined this channel. 19:50:21 Hehe 19:55:29 AI for air-hockey... not so straightforward! 19:55:59 I wouldn't imagine it to be so. 19:56:21 Simple pong-based AIs would only prevent a goal on his side, but would make no initiative to *win* on his own. 20:00:58 Yes... how easy can paddle.x = ball.x be? But, air-hockey is a bit different... the paddle is round, and moves in the y axis as well. Also, the ball's angle and speed depends on a few more factors. 20:03:00 --- join: Alcides (~webmaster@adsl-64-166-19-49.dsl.snfc21.pacbell.net) joined #forth 20:06:07 Well, I'm off to get some food. 20:06:24 I'll be back in about anywhere between 15 to 45 minutes, depending on how many freakin' red lights I hit. :) 20:06:38 a simple AI for pong etc is not an AI 20:06:44 just call it an algorithm 20:07:30 bunch of AI morons confusing what intelligence is all about, distorting the definition :( 20:08:55 lala 20:09:01 Well, since we don't have real AI anyway, it doesn't matter much. No need for a holy war over it. It's a common term for CPU opponents' logic in games. 20:09:25 well the faulty definition is part of the reason why we don't have a real AI :P 20:10:40 Heh. Not likely. :P AI is just too ambiguous of a definition for what it was originally intended to describe. There are many "intelligent" systems that are nowhere near real human intelligence. 20:11:20 Anyway, my air-hockey "AI" wants to be a bit interesting, not just track the ball and sometimes randomly miss it. 20:24:10 intelligence has a clear definition that results in clear metrics to aim for 20:24:22 Are ants intelligent? 20:24:41 futhin, any references? 20:25:07 Do you speak about Turing's test? 20:29:08 nah i don't worry about turing's test 20:29:41 Well, what definition of intelligence do you assume? 20:29:51 --- join: crc (~Charles_C@0-1pool176-27.nas6.philadelphia1.pa.us.da.qwest.net) joined #forth 20:30:01 Dobre jitro, crc! 20:30:13 Dobre jitro ASau 20:42:40 Good evening, ASau! Master of the Blazin' Forth blocks decipherage! 20:43:49 oh, my! 20:44:02 that would deserve recognintion! 20:47:54 What? 20:48:21 Blazin' Forth block decipherage! 20:48:47 back 20:49:03 Dobroe utro, kc5tja! 20:49:13 Sonarman, that's not hard. 20:49:56 but it's cool 20:49:56 Still, it was kewl. ;) 20:50:09 whee 20:50:25 It's like task to find depency. 20:51:34 ...dependency. 20:58:37 --- quit: crc (Read error: 54 (Connection reset by peer)) 20:59:01 --- join: crc (~Charles_C@0-1pool176-27.nas6.philadelphia1.pa.us.da.qwest.net) joined #forth 21:31:03 --- quit: slava (Read error: 54 (Connection reset by peer)) 21:34:10 Herkamire!!!!!!!!!!!!!!1 21:34:17 Herkamire!!!!!!!!!!!!!!1 21:34:19 Herkamire!!!!!!!!!!!!!!1 21:35:38 aarghgg 21:47:39 He's sleeping. 21:49:17 Probably. 21:49:24 Or he's playing a game or something. 21:49:51 ACK 21:49:54 fuck. 21:50:08 for the last 4 months, whenever I was on IRC, I idled in #c4th here on freenode 21:50:13 I stopped 2 days ago. 21:50:32 then, on IRCNet we were discussing switching networks 21:50:42 and Herk regged #c4th here 21:50:44 I'm so pissed. 21:50:58 lol 21:51:32 I mean 21:51:35 I am SOOOOO pissed 21:51:44 probably even more than you were, I440r :) 21:51:59 well, then again, you had the chan for about a year, so... lol 21:52:17 pissed at what ? 21:52:21 oh 21:52:35 if i asked futhin for it back im sure he would give it to me 21:52:49 its not an issue :) 21:53:00 Grrr. 21:53:02 DAmmit. 21:53:04 ACSflajngkajsbg 21:53:21 actually kc5 would make a better channel owner than i would if it ever came up 21:54:35 :) 21:56:56 Hehe 21:57:14 I wanted to be t3h suipr3m3 r00lz0r 21:57:19 Not as pissed as I am at how everyone and their grandmother is starting a wireless ISP, when it's something that I wanted to do back with Armored Internet years ago. 21:59:02 * arke listens to Chris Walton - Funky Milk 22:00:15 hmm 22:00:30 I'm now very curious to learn why GForth apparently can understand that 25 != 27. 22:00:43 Apparently, in base-8, these two numbers are 100% identical. 22:00:48 (which of course is total bullshit) 22:01:41 ?? 22:01:45 What version of gForth are you using? 22:01:45 How is it? 22:01:59 ASau: If I had an answer, I wouldn't be wasting my night trying to debug it. >:( 22:02:03 crc: 0.6.2 22:02:24 crc: But this should not matter. I must be doing something wrong somewhere, and I cannot find the error. 22:03:00 AHH! 22:03:01 I FOUND IT! 22:03:09 Absolutely sneaky! 22:03:30 Just a joke: 22:03:44 2 3 * . 6 OK 22:03:53 3 5 * . 15 OK 22:03:58 2 2 * . 5 OK 22:04:42 I don't get it. 22:04:54 ASau: bleh. the third one is wrong 22:04:55 : * 2DUP = 2 = IF 2DROP 5 ELSE * THEN ; 22:05:10 oh 22:05:11 lol 22:05:11 :) 22:05:35 My bug was that I had inadvertently defined a!, twice (the second one should have been b!,). 22:06:01 Ahh, kind of like defining a user's logout to invoke rm -rf $HOME/* before actually logging out. >:) 22:06:47 Cool UNIX hackers log out with C-D. 22:07:07 It still invokes the logout script if you do. :) 22:07:16 Hm. 22:07:34 Then use "kill." 22:07:40 Yeah, that'll work. 22:07:47 ^_^ 22:07:57 But who will ever think of doing that? :) Even I wouldn't in the normal case. 22:08:17 "Commit a suicide!" 22:09:10 :P 22:09:12 to avoid a rm -rf? :) 22:09:35 i would write a script and alias it for logout 22:09:40 How can you avoid it if you don't know it's there to begin with? 22:09:48 oh 22:09:50 heh 22:10:26 cat `which logout` ? 22:10:27 OK, from now on, my new personal account directory hierarchy will include bin, lib, tmp, and even usr, from now on. 22:10:28 I don't store any files in $HOME 22:10:44 crc: Note i put -rf in the rm command. :) 22:10:55 * arke stores his files on /dev/hdb :) 22:11:08 crc, is that why you always work as root? 22:11:27 I store my files on a USB memory device :-) 22:11:35 I don't _always_ run as root 22:11:55 Haha 22:12:09 Just long enough to mount and unmount the device (using a custom written versions of mount and unmount) 22:12:31 Hm. 22:12:36 * crc has killed too many partitions by akways running as root :-) 22:12:49 kc5tja should include "rf -rm /mnt/*" into his script. 22:13:09 crc: I almost never run as root. 22:13:27 Wouldn't matter. I *always* unmount the device before logging out 22:13:40 Unmounting is good -- it forces a sync. :D 22:14:00 Linux doesn't like magical mystery devices that come and go, that's for sure. :/ 22:14:12 Most of the time I'm running a custom Linux installation (almost all utilities written by me and tcn) which only has a root account 22:14:31 crc: Do you do the Linux From Scratch thing? 22:14:39 No 22:14:46 moo 22:14:58 We wrote small versions of many of the utilities, used some of the asmutils as well 22:15:20 Link? 22:15:30 ???.bespin.org? 22:15:48 An old version is at retro.tunes.org somewhere 22:16:04 But that's way out of date 22:16:13 * crc needs to release the current version sometime... 22:16:20 Hehe :) 22:16:24 --- join: arke_ (~Chris@wbar8.lax1-4-11-100-108.dsl-verizon.net) joined #forth 22:16:27 I have several dev tools on the boot floppy as well 22:16:45 * kc5tja just updated the website repository for Kestrel (darcs users can now get the most up to date assembler code. It's still not finished, but what is done is fully unit tested.) 22:17:10 crc. That's a usual disease. 22:17:46 I know 22:17:53 I've patched a bug in one of Terry Loveall's editors and still has not sent e-mail. 22:18:06 I try to keep myself on a regular schedule with respect to the Kestrel, but it's hard. Especially when you're trying to consolidate all your projects' materials and put them online. 22:18:10 At least I release updates to RetroForth on a regular basis :-) 22:18:31 I even have forgotten where the source is now. 22:18:32 My biggest flaw is my lack of documentation 22:18:32 anybody know how to have a hidden xchat window reappear? 22:18:43 arke_: Hidden?? 22:19:09 How was it hidden to begin with? 22:19:17 kc5tja. AFAIR you use Darcs for Linux. 22:19:37 ASau: Darcs runs fine under Win32 too. 22:19:39 How did you install it? 22:19:47 Yes, I know. 22:20:01 http://abridgegame.(org|com|net -- I forget)/darcs 22:20:11 I have it under Win, now there's need for Linux version. 22:20:39 kc5tja: /gui hide 22:20:40 You need the GHC Haskell compiler. Once that's done, grab the darcs binary from the site URL above, uncompress, then type "make". note you WILL need autoconf/automake installed on your system too. 22:20:41 Have you compiled source? 22:20:45 ASau: Yes. 22:21:04 Ah. 22:21:05 Speaking of which, I should update my darcs repository with the latest version. 22:21:11 Autoconf. 22:22:10 I never install this "autotools." 22:22:34 yeah, I don't know how to install it myself for Windows. 22:22:37 * kc5tja never tried. 22:23:31 --- quit: Alcides () 22:24:06 I personally dislike autotools. They are big, complex, big, complex, big, complex, and just plain sucky in general. 22:24:09 nobody in #xchat answers :( 22:24:24 But, the author of darcs uses it, so... 22:25:21 arke_: Have you tried /gui unhide (just a hunch -- I have never used /gui, so I dunno if it'll work)? 22:25:27 or /gui show even? 22:26:26 In fact, my xchat doesn't even have a /gui command. 22:26:29 What version are you using? 22:26:36 2.0.7 22:26:45 you've got like 1.9.8 or something :) 22:27:02 Nope. 22:27:03 I have 2.0.1 22:27:12 still ancient :) 22:27:38 Well, adding commands, to me, necessitates a version change -- yours should probably be called 2.2.x or something. 22:28:04 naah 22:28:07 just 2.0.7 22:28:18 i think it might be a plugin included automatically 22:28:22 Any time you change the human visible interface, it should have a new version number. 22:28:23 for users like me to fuck themselves 22:29:04 To me, given 2.0.x and 2.0.y, such that x < y, I'd expect 2.0.y to be *exactly* like 2.0.x, but with bug fixes or minor usability enhancements (e.g., not new commands, but perhaps refinements to old commands, etc) 22:29:30 true. 22:30:00 Besides, it sure looks more impressive that way. :) 22:30:05 Consider emacs, now up to version 21. :-) 22:30:13 Who could argue with that?? :D 22:31:15 hehe 22:31:53 Wow, abridgegame.org is DOWN... :( 22:32:03 Yes. Emacs has true version numbering. 22:32:07 Connection refused messages -- I'll have to email Dave about this. 22:32:17 ASau: Yup, and I like it. 22:32:19 I know of Darcs' state. 22:32:34 I mean site. 22:32:47 Well, I tried to update my darcs repository, and it gave an error message. I thought it was something on my end, so I checked via a web browser to make sure. 22:33:49 darcs needs to access abridgegame.org? 22:34:37 Sonarman: To update itself from its own public repository, yes. 22:34:43 Why would you think otherwise? 22:35:09 When I cd into ~/Downloads/darcs && darcs pull to get the latest patches, it has to grab them from somewhere... :D 22:35:20 :) 22:35:31 Herkamire! 22:35:32 Herkamire! 22:35:34 Herkamire! 22:35:34 Herkamire! 22:35:34 Herkamire! 22:35:38 arke_! 22:35:45 Herkamire: you stole my channel 22:35:53 what are you talking about? 22:35:54 oh, i thought you meant updating your website repository :) 22:35:58 No. 22:35:59 #c4th is registered to Shain 22:36:03 ... 22:36:09 what1?!!!?!? 22:36:10 I just wanted to get the latest copy of darcs on my box, that's all. 22:36:13 it wasn't before 22:36:45 /msg chanserv info #c4th 22:36:50 eh... 22:36:51 wtf 22:36:57 I've been idling in it 22:37:00 for a loong time 22:37:06 and I don't remember there being a chanserv 22:37:06 :( 22:37:29 should I idle there too? 22:37:39 Herkamire: yeah 22:37:47 Herkamire: my other nick is there 22:37:53 arke_: Chanserv rules everything, even if chanserv isn't invited to sit in a channel. 22:37:54 Herkamire: which has been fux0red 22:38:18 * kc5tja now proceeds to update vim from its repository... 22:38:20 arke_: type /help gui or /gui help 22:38:32 phht 22:38:34 vim uses darcs too? I wanna read about it. 22:38:41 Usage: GUI [SHOW|HIDE|FOCUS] 22:38:41 Not officially. 22:38:44 thats all it gives me 22:38:49 theres no fucking documentation 22:38:54 google doesn't show anything 22:38:55 so /gui show 22:39:04 and nobody in #xchat is awake 22:39:09 But someone on the darcs mailing list is tracking all the official patches to vim via his own darcs repository, so a lot of people are using the darcs codebase for convenience. 22:39:10 Herkamire: won't work, different process 22:39:34 /gui hide took away the thing to type commands in? 22:39:45 so, install irssi and kill the process 22:39:54 I can't recall, which Glibc I use at home. 22:39:55 Try /gui focus then. 22:39:58 Herkamire: yay :) 22:40:00 (whatever that does) 22:40:11 Does anyone know? 22:40:30 hi Sonarman :) 22:40:46 yay for irssi 22:40:50 ASau: I don't know what you use. :) 22:40:54 anyone here know what an abyssinian milker is ? 22:41:04 and if there are any web sites on the subject ? 22:41:05 --- join: arke__ (~Chris@wbar8.lax1-4-11-100-108.dsl-verizon.net) joined #forth 22:41:10 --- quit: arke__ (Read error: 104 (Connection reset by peer)) 22:41:28 not working either 22:41:39 I usually use irssi 22:41:40 but 22:41:46 I don't want to kill teh process 22:41:48 I440r: if google returns nothing, it must be misspelled 22:41:59 its not misspelled 22:42:18 I440r: It is apparently a machine that milks some kind of livestock, as far as Google cares to tell me. 22:42:20 but google doesnt return anything on it 22:42:24 nope 22:42:28 not even close :) 22:42:44 its about a sex technique 22:43:04 NO movement from either party 22:43:13 Well, jesus dude, without a freakin' context, how the hell do you expect us to freakin' answer the question? 22:43:14 its all done with muscle gontrol by the girl 22:43:37 kc5 i just wanted to see if anyone here could find a web page on it 22:44:09 Well, then don't complain when the uninformed of us bring up pages about Nubian goats being milked. :-) 22:44:12 i just told this girl on undernet about it cuz her hubby has a bad back and she wants to research it :) 22:44:18 lol 22:44:40 haha, the name is funny :) 22:45:21 OMFG 22:45:27 xchat sources are fucking HORRIBLE 22:45:42 bitchx is worse 22:46:27 What C source is not horrible? 22:46:51 ASau: you got a point there :) 22:47:00 I've seen readable C sources before. 22:47:03 poke arround some c++ some time :P 22:47:19 Not OFTEN, but I have seen some. 22:47:57 I've never succede yet. 22:48:19 You just need to learn the programmer's coding conventions. 22:48:21 rrrrrrr 22:48:24 so much for darcs 22:48:25 C is never as nice as Forth, because you are bound by its syntax 22:48:50 the site is down, and I don't think the haskel compiler works on ppc anyway 22:49:08 Herkamire: I *believe* I've seen folks who have compiled it under OS X. 22:49:12 Not sure about PPC Linux though. 22:49:20 I'm going to stick with my old version of svn 22:49:30 Herkamire: But his site being down is VERY unusual. 22:49:34 I really can't explain it. 22:50:29 kc5tja, I've seen carefully indented sources, but this doesn't help them. 22:50:36 oh, my mistake. it's just gentoo being stupid 22:50:55 the binary ghc was masked. not the source distro 22:51:00 A coding convention must necessarily encompass more than just indentation 22:51:36 --- quit: arke (Read error: 104 (Connection reset by peer)) 22:51:42 Some of the most readable, most easily understood C sources actually have the LEAST amount of comments. 22:51:43 --- nick: arke_ -> arke 22:51:44 most c coders cant even maintain consistencyt with their style 22:51:46 I gave up 22:51:51 not even within one source file 22:52:03 (which is in direct support to extreme programming's philosophy of just plain writing code that says what it does, not how it does it) 22:52:06 arke google for "understand for c++" 22:52:14 I440r: no wya. 22:52:16 its a windows program that you can try for 14 days 22:52:20 I440r: I'm done with C++ :) 22:52:25 it will help you reverse engineer c sources 22:52:29 not just c++ sources 22:52:31 I440r: eh? 22:52:36 reverse engineer? 22:52:39 yes 22:52:58 i.e. it will help you to learn what the code does.. its very good (for a windows program relating to c) 22:53:05 --- quit: Sonarman ("leaving") 22:53:16 but it costs $495 to register 22:53:24 *#&^$ 22:53:36 The most recent source I've met utilizes flags and leased values instead of simple factoring. 22:53:50 I think ctags would help a lot 22:53:55 Leased values??? 22:54:33 I440r: hrm, cool. 22:54:37 How do you call a special value of parameter, that is used this way: 22:54:59 if ( p == P_CONST) { SEQ;} 22:55:33 i just learned the other day that 22:55:36 1, 2, 3; 22:55:39 is legal c 22:55:48 ive never seen anyone do that tho 22:55:50 Well, I don't know what is supposed to be externally supplied, but I'm assuming that P_CONST and SEQ are preprocessor macros. 22:55:51 oh yeah 22:56:03 I440r: I have, actually. 22:56:03 I440r: I've done that, albeit through a macro 22:56:18 I440r: and once for a nop function ^_^ 22:56:23 I440r, look at ioccc.org 's sources. 22:56:25 its some fujcked up obfuscated shit :) 22:56:41 thats why we all are forthers 22:56:45 Robert: awake yet? 22:56:51 There used to be a use for it, but I can't recall what it is. 22:57:00 kc5tja, P_CONST is, SEQ is for the sequence of operators. 22:57:01 Obviously now-a-days, it's generally considered bad form. 22:57:12 hmmm if you could make C not push return addresses onto the stack you could use RPN in c almost hehe 22:57:13 Well, that's just what we call it; a preprocessor macro. 22:57:28 And there is nothing wrong with them. 22:57:30 I440r, take a look at S-Lang. 22:57:39 As long as they are sanely named and adequately describe proper intent. 22:57:55 kc5tja, you've missed. 22:57:55 oh, heh, that's why gentoo is confused about ghc. darcs requires dhc 6. dhc has binary and source packages. the new enough binary packages are not for ppc. the new enough source packages, require dhc to be installed already. 22:58:07 ASau: No, I don't think I have. 22:58:15 but apparently new dhc sources can compile from dhc 5.something which is available in binary form 22:58:31 There's one general function, "static" class. 22:59:15 And programmer accessed functions call general with e.g. NULL pointer value to perform a special action. 22:59:36 Herkamire: I just downloaded the sources right from GHC's (note: GHC) website, and installed from there. No, it's not trivial to do. But if you follow the instructions that are on the site, it ought to install fairly well. 22:59:40 Those ones are wrappers indeed. 22:59:55 ASau: But that's not what you described. 23:00:08 ASau: You described if( p == P_CONST ) type statements. 23:00:25 That's how it's done in source. 23:00:38 If what you're complaining about is a single function whose operational semantics depend on sentinel values passed to it, then yes, I agree, that's a classic case for refactoring right there. 23:00:42 I'll use gentoo. I just have to tell it to install ghc first. then darcs after 23:00:54 I can draw the control flow diagram, if you wish. 23:01:01 ASau: I think I would have to look at the source to see what you're saying, because now you're contradicting yourself. 23:01:27 --- quit: Herkamire ("I'm going to bed") 23:02:37 kc5tja. Now I have to recall what it was. I've reviewed too many sources. 23:02:41 --- nick: SolarFire[ -> SolarFire 23:03:04 Well, the fact is, I do not advocate the use of realloc()-like functions in anyone's code. 23:03:20 But don't blame C for the presence of realloc() -- realloc() was written by a human, not by the C compiler. 23:03:38 C sources can be, and when written by a skilled programmer are, quite readable. 23:04:06 Well, I don't speak about what's possible. 23:04:17 I speak about common practice. 23:04:38 I thing, you can find many examples of this kind even in GNU code. 23:05:02 You can find it in every language. 23:05:18 I've seen horribly written Python code before, and Python is damn hard to get wrong. 23:05:45 And Forth is *notorious* for its "write-only" code. 23:05:47 * kc5tja shrugs 23:06:08 This looks like "The Real Programmer can write FORTRAN in any language." 23:06:36 i'd like to up the ante a little bit -- the Real Programmer can write readable source in any language. 23:07:27 But that's not the point of article mentioned. 23:08:42 --- quit: crc ("ChatZilla 0.9.61 [Mozilla rv:1.7b/20040316]") 23:09:07 * kc5tja shrugs 23:09:24 * arke is waiting for Robert to wake up.......... 23:09:32 anybody here familiar with his F system? :) 23:10:06 This discussion isn't too interesting to me anymore. I will now attempt to assume the role of "system administrator" and clean up my user accounts' directories. :) 23:10:23 kc5tja. IIRC, it's called "Real programmer does not like Pascal." 23:10:37 I had no idea you were referencing a real article. 23:11:17 It is humoristic. 23:13:11 kc5tja, how did you install GHC? 23:13:17 Binaries? 23:13:42 ASau: I compiled from sources available from GHC's site. 23:14:03 They have pre-compiled binaries which you need to download to bootstrap the most recent version with. 23:14:07 (I'm going off of memory) 23:14:26 IMPRESSIVE!! I just deleted a file, as kc5tja.users, owned by root.root !! 23:14:39 (granted it was in my home directory, but still...I don't think Linux should have done that.) 23:15:06 kc5tja. Your home directory is not root.root. 23:15:31 Correct. 23:15:34 To delete file you need write access to directory, not to the file. 23:15:55 What is impressive in this case? 23:16:29 This is classical UNIX access control. 23:16:29 The impeccable feeling of power of knowing I can delete files owned by root in my home directory. :) 23:17:06 "Do you want to be happy? 23:17:12 Be happy!" 23:17:41 ASau: I've been using Linux since 1994, and I continue to learn new things every day. 23:26:35 thats why linux sucks. its hould be more forthish "one man can comprehend the whole of forth, the compiler, the interpreter, etc" :P 23:26:46 s/its/it s 23:26:47 I totally agree. 23:26:52 That's why I wanted to write Dolphin. 23:29:59 futhin. These words are only words. 23:30:22 Do you have e.g. FAT FS driver in Forth? 23:30:56 How many hobbyist's OSes are written in C? 23:31:50 * arke is working on Funky Milk 23:31:57 * arke added a funny part :) 23:32:34 ASau: Too many, if you ask me. No, I don't have a FAT filesystem driver, but I can't imagine it'd be that hard to write. 23:33:22 The problem is the huge gap between forthers and other world. 23:33:37 You can't make others be like you. 23:33:58 That isn't an issue for me. 23:34:23 You're radical individualist. 23:35:18 I won't be impressed if I realize that practically all forthers are of the same kind. 23:38:02 asau: why would anyone implement old outdated ideas like FAT FS in forth? 23:38:13 I don't think they are. Certainly the folks in comp.lang.forth can't be considered individualists. 23:38:19 Not, at least, to the extent that I or Chuck am. 23:38:38 futhin: Because it's easy to do. :) FAT is trivial to implement. 23:38:39 if you aren't a radical individualist, you're a sheep 23:38:49 mooo! 23:39:05 futhin: Problem is, if you're a radical individualist, then you're also a sheep -- only the fur is black, not white. 23:39:56 dyed sheep? 23:40:10 We're just sheep of a different flock, that's all. 23:40:16 You've never heard the term "black sheep" before? 23:40:37 kc5tja. Problem is deeper. 23:40:51 Radical collectivist's are not sheeps. 23:41:03 They're wolves. 23:44:03 You're starting to sound like an Ayn Rand proponent. :) 23:44:18 I agree much with objectivism, but I think objectivists go too far sometimes. I don't know. 23:44:25 I'm not objectivist. 23:44:32 i think objectivism should be treated more like math 23:44:43 It's too rough to be true. 23:44:58 with a peer system of ppl developing proofs, and a language for the whole thing 23:45:30 Well, I feel objectivism may ultimately be "true" in the sense that all creatures on this planet are inherently selfish (rational or otherwise). 23:45:42 The problem is that "too much of a good thing is just as bad as not having it at all." 23:46:02 e.g., if you're TOO rationally selfish, you may cause unnecessary/inadvertent harm on others, indirectly. 23:46:17 But, I'm no philosopher. 23:46:37 well the whole idea is to not coerce others 23:47:01 All I know is that unmitigated capitalism (which objectivists staunchly support) has had catestrophic consequences in the past. 23:47:04 and with an unhindered economic system of equals trading the products of their labor in win-win situations, everyone wins out in the long run 23:47:18 futhin: Coercion implies a direct, conscious intent to strong-arm. 23:47:18 kc5tja: not really, only in the case where coercion was involved 23:47:29 I'm talking about the *indirect* effects of one's actions. 23:47:40 like? 23:47:42 Like, for example, driving a 4 mile to the gallon SUV. 23:47:57 Doing so harms the atmosphere, which *I* require to breath. 23:48:26 Cancer rates are at an unprecedented high in recent years, and much of the incidences of lung cancer can be attributed to two things: cigarette smoke and *exhaust fumes.* 23:48:33 well ideally everything needs to be privatized or we have the Commons Grazing problem 23:48:51 even the air and water needs to be privatized lol.. 23:48:52 The problem is, you get Microsoft and Standard Oil ruling everything. 23:49:00 well the whole thing would be simpler in outerspace 23:49:07 Wihch is no different what-so-ever from a collectivist dictatorship. 23:49:17 Fuck outer space. 23:49:19 This is Earth. 23:49:24 Objectivity, my man. Objectivity. 23:50:27 I will give the objectivists this much though: their philosophy IS the most consistent philosophy to appear in a long, long, long time. 23:50:45 --- join: crc (~Charles_C@0-1pool88-12.nas48.philadelphia1.pa.us.da.qwest.net) joined #forth 23:50:47 Whether or not it is the "right" philosophy to choose to live by remains to be seen. 23:51:11 kc5tja. Conststency in rational system is not good. 23:51:30 ASau: Whatever on Earth gave you THAT idea? 23:51:35 There's no flexibility. 23:51:42 ASau: precisely. 23:51:45 ASau: That's the point. 23:51:56 ASau: No room for error. 23:52:08 ASau: Everything has its place, its function, and its operational semantics. 23:52:16 asau: proofs are consistent 23:52:28 a consistent philosophy is practically a proof 23:52:29 Just like all of science, all of math. 23:52:41 Physics is not a math. 23:53:00 Sciences are not math. 23:53:05 kc5tja: note - objectivism isn't a finished philosophy, there are a lot of holes and flawed pieces to it, but i think the fundamentals are pretty good 23:53:16 ASau: Non sequitor. 23:53:30 Science is *VERY* mathematically precise -- it's built on mathematical principles. 23:53:44 No. 23:53:46 ASau: yes 23:54:08 Math is language of science, but it is not equal to it. 23:54:14 i belive ayn rand was expecting others to improve objectivism and extend it, she practically said that in one of her articles. unfortunately, objectivism is a bit cultish 23:54:19 The scientific method is dependent on the principles of logic, which are adequately described using discrete math and Boolean algebra. 23:54:38 ASau: So what? So what? You are going off on RADICAL tangents here. 23:54:44 kc5tja, learn intuitionists' logic. 23:54:48 I never said science and math were the same. 23:54:57 ASau: I did. And the rules are the same. 23:54:59 A is A. 23:55:00 period. 23:55:02 B is B. 23:55:03 ooh you don't want to call asau radical, he's against radicalism, he thinks he's a pragmatist or a realist or something 23:55:21 * futhin is lazy and likes to make personal attacks 23:56:05 kc5tja. What's in intuitionists' logic with "tertium non datur" statement? 23:56:24 Since I don't know Latin, I can't interpret that sentence. 23:56:42 Mmmm... 23:56:53 "Third is not given." 23:57:01 ASau: have you seen "good will hunting" the movie? 23:57:04 Third case. 23:57:17 ASau: I don't even see the relavence. 23:57:30 That there "may be" a third case? 23:57:31 Sure. 23:57:34 I'll accept that. 23:57:46 But how is that characteristically "intuitionist?" 23:57:55 The problem is that boolean logic is full. 23:58:00 To consider the existance of a third (or higher) case is just plain sound logic. 23:58:04 No, it isn't. 23:58:10 It is WITHIN THE CONTEXT OF THE PROBLEM. 23:58:12 And in science the third case is possible. 23:58:27 Sure it is!@!!!!! 23:58:34 Find me *ONE* scientist who will disagree with that. 23:58:40 ONE. 23:58:48 So I ask you again, how is this relavent? 23:59:59 --- log: ended forth/04.05.29