00:00:00 --- log: started forth/10.02.27 00:59:41 --- quit: ASau (Ping timeout: 240 seconds) 01:01:00 --- join: ASau (~user@83.69.227.32) joined #forth 01:33:55 --- quit: gnomon (Ping timeout: 245 seconds) 01:49:37 --- quit: mark4_ (Quit: Leaving) 01:58:33 --- join: kar8nga (~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net) joined #forth 02:08:27 --- quit: kar8nga (Remote host closed the connection) 02:08:52 --- join: kar8nga (~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net) joined #forth 03:20:34 --- join: neceve (~neceve@unaffiliated/neceve) joined #forth 03:22:07 --- quit: kar8nga (Remote host closed the connection) 03:27:22 --- nick: neceve -> ncv 04:31:33 --- join: kar8nga (~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net) joined #forth 07:02:52 --- join: nighty__ (~nighty@x122091.ppp.asahi-net.or.jp) joined #forth 07:16:32 --- quit: kar8nga (Remote host closed the connection) 07:53:50 KipIngram: JFYI, one of the very rare more or less valid justifications for Forth is here: 07:54:01 "Linear Logic and Permutation Stacks--The Forth Shall Be First". 07:54:01 ACM Computer Architecture News 22, 1 (March 1994), 34-43. 08:09:32 --- join: ygrek (debian-tor@gateway/tor-sasl/ygrek) joined #forth 08:13:32 --- join: zuse (~zuse@pD95541DD.dip.t-dialin.net) joined #forth 08:35:20 --- quit: nighty__ (Ping timeout: 240 seconds) 09:20:52 --- join: kar8nga (~kar8nga@jol13-1-82-66-176-74.fbx.proxad.net) joined #forth 09:26:26 --- quit: zuse (Quit: habt euch lieb) 09:53:46 the last will be first, of course :-P 09:56:43 --- join: gnomon (~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com) joined #forth 10:38:35 --- join: Al2O3 (~Al2O3@vail-136-134.vail.net) joined #forth 10:42:56 --- quit: ygrek (Quit: Leaving) 10:47:03 --- quit: ASau (Ping timeout: 240 seconds) 10:48:41 --- join: ASau (~user@83.69.227.32) joined #forth 10:55:10 ASau: thanks; I will see if I can turn that up for a read. 10:55:45 My processor design is coming very well. A few days ago I stared at what I'd drawn and realized it could be simplified substantially, so we backed up and did that. 10:56:37 I wrote a C emulation of the thing. The first implementation used a lot of switch and if statements to make it behave properly, but then I nudged it gradually toward control via Boolean expressions that will map onto gate networks in the FPGA. 10:56:58 That process is nearly complete. Each step of the way I made sure it still behaved properly. 10:57:21 Turned out to be a really good way to get the control equations written, since at any given time only one small part of the logic was in question. 10:57:31 So if it didn't work I knew exactly where to look. 10:58:05 I should have the whole thing to a fully "FPGA-able" state in a few days. 10:58:38 I did a lot of HP calculator programming back in the early 80's. Those calculators had X, Y, Z, and T registers as their stack. 10:59:02 Anything that got pushed off of T was lost, they offered RUP and RDN operators that would "roll" the whole four-element stack one way or the other, etc. 10:59:23 They also had a "LastX" register that caught X after a lot of operations. 11:00:08 My processor's stack will be much deeper than four, but because the whole stack is implemented in registers (and so I have access to all of it at once) I'm considering incorporating some of these features. 11:00:36 For instance, I may include a RDN primitive that does that "roll down" operation *only on the top four elements*. Any elements deeper than that would remain unchanged. 11:00:39 Etc. 11:00:52 Sort of a merging of Forth and "old HP" stack capabilities. 11:02:04 I remember there being times back then when RUP (x, y, z, t --> t, x, y, z) was just the ticket. 11:04:17 Someone asked me the other day about the FPGA resources required for this. I still don't have a final number, but I can definitely say now that the instruction sequencer is almost nothing; the ALU and the stacks will be far and away the lion's share of the requirement. 11:04:42 I'm really very happily surprised with how simple the sequener turned out. 11:05:02 Got to run -- we've got to go to a birthday party. Catch you all later. 11:05:05 Thank you again, ASau. 11:13:24 --- quit: qFox (Quit: Time for cookies!) 11:59:01 --- quit: TreyB_ (Ping timeout: 264 seconds) 12:13:59 --- join: TreyB_ (~trey@adsl-99-165-169-187.dsl.hstntx.sbcglobal.net) joined #forth 12:19:43 --- quit: Al2O3 (Quit: Al2O3) 12:48:55 --- join: Deformative (~joe@c-76-112-68-135.hsd1.mi.comcast.net) joined #forth 12:56:03 --- quit: madwork (Ping timeout: 252 seconds) 12:56:24 --- quit: ASau (Read error: Connection reset by peer) 12:57:20 --- quit: Deformative (Remote host closed the connection) 13:08:46 --- join: Deformative (~joe@c-76-112-68-135.hsd1.mi.comcast.net) joined #forth 13:10:44 --- join: madwork (~madgarden@204.138.110.15) joined #forth 13:13:51 --- quit: Deformative (Remote host closed the connection) 13:19:16 --- join: ASau (~user@83.69.227.32) joined #forth 13:22:38 --- join: Deformative (~joe@c-76-112-68-135.hsd1.mi.comcast.net) joined #forth 14:09:17 --- join: ygrek (debian-tor@gateway/tor-sasl/ygrek) joined #forth 14:11:39 --- quit: ygrek (Client Quit) 14:18:42 --- join: ygrek (debian-tor@gateway/tor-sasl/ygrek) joined #forth 14:28:12 --- quit: madwork (Read error: Connection reset by peer) 14:28:13 --- join: madwork_ (~madgarden@204.138.110.15) joined #forth 14:28:40 --- quit: ygrek (Quit: Leaving) 14:44:45 --- quit: madwork_ (Ping timeout: 245 seconds) 14:48:20 --- join: madwork (~madgarden@204.138.110.15) joined #forth 14:55:25 --- quit: ASau (Ping timeout: 264 seconds) 14:55:33 --- quit: gnomon (Ping timeout: 260 seconds) 14:57:10 --- join: ygrek (debian-tor@gateway/tor-sasl/ygrek) joined #forth 14:57:26 --- join: gnomon (~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com) joined #forth 14:58:40 --- quit: ygrek (Client Quit) 15:00:25 --- join: ygrek (debian-tor@gateway/tor-sasl/ygrek) joined #forth 15:02:33 --- quit: madwork (Ping timeout: 252 seconds) 15:05:03 --- quit: ygrek (Ping timeout: 245 seconds) 15:06:40 --- join: ygrek (debian-tor@gateway/tor-sasl/ygrek) joined #forth 15:46:43 --- quit: ygrek (Ping timeout: 245 seconds) 15:50:53 --- quit: gnomon (Ping timeout: 246 seconds) 15:51:08 --- join: gnomon (~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com) joined #forth 15:54:31 --- quit: kar8nga (Remote host closed the connection) 16:57:39 Oh hi. 17:10:29 --- quit: TreyB_ (Ping timeout: 258 seconds) 17:12:06 --- join: TreyB_ (~trey@adsl-99-165-169-187.dsl.hstntx.sbcglobal.net) joined #forth 17:12:58 --- quit: probonono (Ping timeout: 240 seconds) 17:13:10 --- join: luptenschteiner (~User@unaffiliated/probonono) joined #forth 18:39:50 --- join: Al2O3 (~Al2O3@c-75-70-11-191.hsd1.co.comcast.net) joined #forth 18:55:33 --- quit: Deformative (Remote host closed the connection) 18:57:01 --- join: Deformative (~joe@c-76-112-68-135.hsd1.mi.comcast.net) joined #forth 19:57:40 --- quit: gnomon (Ping timeout: 245 seconds) 19:57:57 --- join: gnomon (~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com) joined #forth 20:34:58 --- quit: gnomon (Ping timeout: 264 seconds) 20:35:14 --- join: gnomon (~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com) joined #forth 21:08:18 --- quit: Snoopy_1611 (Ping timeout: 276 seconds) 21:10:35 --- quit: gnomon (Ping timeout: 245 seconds) 21:10:52 --- join: gnomon (~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com) joined #forth 23:12:35 --- quit: gnomon (Ping timeout: 246 seconds) 23:12:50 --- join: gnomon (~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com) joined #forth 23:52:52 --- quit: Al2O3 (Quit: thanks) 23:59:59 --- log: ended forth/10.02.27