00:00:00 --- log: started forth/13.02.01 00:07:40 --- join: proteusguy (~proteusgu@ppp-58-8-87-228.revip2.asianet.co.th) joined #forth 00:32:46 --- join: karswell (~user@93-97-29-243.zone5.bethere.co.uk) joined #forth 00:45:35 --- nick: tangentfail -> tangentstorm 00:46:23 yunfan: you can always make a virtual machine that works another way 00:49:57 dto: looks like a pretty cool project :) 00:50:06 tangentstorm: thanks :) 00:50:09 yeah i'm deep into the code now 00:50:09 i' 00:50:14 i've been implementing tons of words. 00:50:18 brb 00:54:30 dto: What are you up to? 00:56:48 hacking. how about you? 00:58:32 dto: Hehe. I was wondering what you are hacking on. :) I'm mostly busy studying so not so much hacking. 00:59:17 tangentstorm: but i want to got to know the real life 00:59:18 schmx: hacking on my forth interpreter and game-engine wrapper 00:59:33 what subjects, schmx ? 01:00:35 dto: cool, which platform does your engine based on ? 01:00:43 Common Lisp 01:00:44 yunfan: you don't need to emit arm assembly though... just emit tokens that represent pre-compiled routines 01:01:19 tangentstorm: that's what i need, 01:01:41 dto: odontology. 01:01:52 tangentstorm: so in arm , they emits the precompiled code's address ? 01:02:43 tangentstorm: then how about in x86? did they still use this concept? 01:03:07 yunfan: it's called "threaded code"... there are different ways to do it 01:03:20 different kinds of "threaded" 01:03:49 direct token threaded, indirect token threaded... lots of ways to do it 01:04:31 tangentstorm: then where can i find detail describe of these threaded code DTC, ITC? i saw these term in maillist topic 01:06:49 https://www.google.com/search?q=forth+threaded+code turns up a bunch of good links. take your pick. 01:07:09 dto: My main interest in this area is oral ecology and immune response. Pulling teeth and prostethics and what fuck. not so fun. Very not forth related, of course.. So you're implementing a forth, huh? That's nice :) 01:10:44 google is really a powerful tool, but sometime when you want to found cold topic like the forth's thread code, just cant helps, this seems called the dark net 01:14:17 ok found it eventually, thanks very much tangentstorm 01:15:11 wow schmx . 01:19:32 dto: It's a fascinating topic, and quite a change of pace being back in school. 01:24:22 --- join: epicmonkey (~epicmonke@188.134.41.176) joined #forth 01:45:27 --- quit: proteusguy (Ping timeout: 264 seconds) 01:59:46 schmx: good to hear. 01:59:53 schmx: i'm considering a formal study of Logic. 02:00:15 i spent 3 weeks doing proofs hours on end in a logic text 02:01:43 oh yeah? prove it. 02:01:56 i guess i could take pics of my notebook. 02:02:03 that was a joke 02:02:05 :) 02:02:09 nayway, 02:02:20 dto: have you ever used isar? 02:02:23 perfect segue from predicate calculus, to designing a forth dialect 02:02:26 nope. what's that? 02:02:44 it's a computer language for writing proofs. 02:02:52 part of isabelle/HOL 02:02:55 ah. no i've seen ACL2 though. it's a common lisp thing 02:03:02 i should check it out. 02:03:08 (check out isar i mean) 02:03:58 there are a bunch of theorem provers... isar and an older one called MIZAR are very english-like and declarative... the others seem to be very tactical 02:04:10 i've not really used it much i just thought it was neat 02:04:59 ah i've seen mizar. 02:05:13 also something called metamath 02:10:27 --- quit: IAmHere (*.net *.split) 02:10:27 --- quit: ttmrichter (*.net *.split) 02:11:25 like a giant collections of proofs, with a website? 02:13:26 --- join: IAmHere (~IAmHere@c-75-70-11-91.hsd1.co.comcast.net) joined #forth 02:13:26 --- join: ttmrichter (~ttmrichte@31.25.101.133) joined #forth 02:23:40 i guess :) 02:24:53 * tangentstorm finally sees his problem in retro. 02:25:22 i'm expecting repeat, begin, again, if ... to all be very basic jumps, not functions 02:26:22 but they're implemented with quotes in forth.rx ... hrm... 02:26:38 if/else/then anyway... 02:26:46 no wonder i keep getting infinite loops :) 03:17:44 --- quit: impomatic (Ping timeout: 255 seconds) 03:19:23 --- quit: epicmonkey (Read error: Operation timed out) 03:27:03 --- join: kbmaniac (~dave@host86-157-24-246.range86-157.btcentralplus.com) joined #forth 03:29:36 --- quit: dto (Remote host closed the connection) 03:31:21 what forth do you guys recommend for Linux ?, don't need a super duper GUI capable one, speed is more important. gforth seems common but has not been updated in years - not sure if this is because its dead or just that the project has reached its goals, 4th compiler seems promising but what do you guys use ? 03:40:36 kbmaniac, gforth. 03:44:48 ok ... was a bit concerned about the lack of updates .... gues its just mature 03:57:26 --- quit: I440r (Remote host closed the connection) 04:26:32 --- join: epicmonkey (~epicmonke@host-224-58.dataart.net) joined #forth 04:32:34 --- join: ncv (~quassel@89.35.216.197) joined #forth 04:32:34 --- quit: ncv (Changing host) 04:32:34 --- join: ncv (~quassel@unaffiliated/neceve) joined #forth 05:34:40 --- quit: kbmaniac_ (Remote host closed the connection) 05:34:53 --- join: kbmaniac_ (~androirc@host86-157-24-246.range86-157.btcentralplus.com) joined #forth 06:30:09 --- quit: Inode (Ping timeout: 276 seconds) 06:36:50 --- join: Inode (~inode@time.uk.chromedpork.net) joined #forth 06:43:02 --- join: jdavidboyd (~user@72.185.97.240) joined #forth 07:00:21 --- quit: kbmaniac (Ping timeout: 264 seconds) 07:08:34 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 07:51:48 --- quit: kbmaniac_ (Quit: AndroIRC - Android IRC Client ( http://www.androirc.com )) 07:52:36 --- join: kbmaniac_ (~androirc@host86-157-24-246.range86-157.btcentralplus.com) joined #forth 08:42:39 --- join: fantazo (~fantazo@213.129.230.10) joined #forth 08:42:43 --- quit: epicmonkey (Ping timeout: 255 seconds) 09:13:00 --- join: MayDaniel (~MayDaniel@unaffiliated/maydaniel) joined #forth 09:29:34 --- join: impomatic (~digital_w@181.253.125.91.dyn.plus.net) joined #forth 09:36:11 --- quit: tgunr (Quit: Nity nite) 09:51:42 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 10:23:09 --- join: epicmonkey (~epicmonke@188.134.41.176) joined #forth 10:28:50 --- join: kbmaniac (~dave@86.157.24.246) joined #forth 10:44:07 --- quit: kbmaniac (Ping timeout: 245 seconds) 10:48:53 --- join: proteusguy (~proteusgu@ppp-58-10-170-212.revip2.asianet.co.th) joined #forth 11:31:10 --- quit: tgunr (Ping timeout: 244 seconds) 11:35:37 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 12:04:03 --- quit: proteusguy (Ping timeout: 264 seconds) 12:07:18 --- join: kbmaniac (~dave@86.157.24.246) joined #forth 12:22:27 --- quit: kbmaniac (Ping timeout: 245 seconds) 12:34:52 --- join: dto (~user@pool-96-252-62-13.bstnma.fios.verizon.net) joined #forth 12:36:48 --- join: proteusguy (~proteusgu@ppp-58-8-87-228.revip2.asianet.co.th) joined #forth 12:39:36 --- join: kumul (~Kumool@76.26.237.95) joined #forth 12:52:33 --- quit: tgunr (Ping timeout: 264 seconds) 13:00:38 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 13:07:57 --- join: JDat (JDat@89.248.91.5) joined #forth 13:09:00 --- quit: tgunr (Ping timeout: 245 seconds) 13:12:03 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 13:24:25 --- join: Onionnion (~ryan@68.254.167.191) joined #forth 13:28:46 --- quit: Onionnion (Client Quit) 13:30:28 --- quit: proteusguy (Remote host closed the connection) 13:32:07 --- quit: crcx (Remote host closed the connection) 13:35:14 --- quit: tgunr (Ping timeout: 255 seconds) 13:39:26 --- join: crcx (~crcx@li125-93.members.linode.com) joined #forth 13:39:59 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 13:48:38 --- quit: Nisstyre (Ping timeout: 255 seconds) 13:48:42 --- quit: kumul (Ping timeout: 245 seconds) 13:53:05 --- quit: tgunr (Ping timeout: 276 seconds) 13:58:53 --- join: kumul (~Kumool@76.26.237.95) joined #forth 13:59:38 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 14:08:42 --- join: RodgerTheGreat (~rodger@71-13-216-83.dhcp.mrqt.mi.charter.com) joined #forth 14:10:18 --- quit: ncv (Remote host closed the connection) 14:19:41 --- quit: tgunr (Ping timeout: 255 seconds) 14:25:31 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 14:44:09 --- quit: fantazo (Ping timeout: 276 seconds) 14:48:29 --- quit: tgunr (Ping timeout: 255 seconds) 14:49:28 --- quit: MayDaniel (Read error: Connection reset by peer) 14:52:27 --- join: tgunr (~davec@66.249.166.11) joined #forth 14:57:02 --- quit: tgunr (Ping timeout: 245 seconds) 15:01:52 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 15:13:16 --- quit: nighty^ (Ping timeout: 252 seconds) 15:37:20 --- quit: tgunr (Quit: Nity nite) 15:39:28 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 16:01:56 --- quit: tgunr (Ping timeout: 255 seconds) 16:05:56 --- quit: JDat () 16:06:49 --- join: tgunr (~davec@66.249.166.12) joined #forth 16:13:16 --- quit: tgunr (Quit: Nity nite) 16:14:53 --- quit: epicmonkey (Ping timeout: 255 seconds) 16:15:16 --- join: tgunr (~davec@cust-66-249-166-12.static.o1.com) joined #forth 16:26:04 --- quit: tgunr (Quit: Nity nite) 16:27:56 --- join: tgunr (~davec@cust-66-249-166-12.static.o1.com) joined #forth 16:39:26 --- quit: tgunr (Quit: Nity nite) 16:41:17 --- join: tgunr (~davec@cust-66-249-166-12.static.o1.com) joined #forth 16:54:12 --- quit: tgunr (Quit: Nity nite) 16:56:30 --- join: tgunr (~davec@66.249.166.12) joined #forth 17:05:30 --- quit: kbmaniac_ (Remote host closed the connection) 17:06:04 --- join: kbmaniac_ (~androirc@86.157.24.246) joined #forth 17:07:28 --- quit: tgunr (Quit: Nity nite) 17:09:19 --- join: tgunr (~davec@cust-66-249-166-12.static.o1.com) joined #forth 17:11:26 --- quit: tgunr (Read error: No route to host) 17:16:30 --- join: tgunr (~davec@cust-66-249-166-12.static.o1.com) joined #forth 17:22:13 --- quit: tgunr (Read error: Connection reset by peer) 17:23:55 yep. 17:24:03 indeed 17:27:45 quite so. 17:27:58 so what's up guys 17:28:02 --- join: tgunr (~davec@66.249.166.12) joined #forth 17:28:24 it's wine-o'clock. 17:31:53 bjorkintosh: wine glass, check, monocle, check, computer, check 17:32:17 classy as fuck. Not quite. 17:32:26 i'm having bbq and wine. Okie style. 17:32:27 --- quit: tgunr (Ping timeout: 245 seconds) 17:32:29 --- join: tgunr_ (~davec@cust-66-249-166-12.static.o1.com) joined #forth 17:32:45 should be moonshine, really, but no. 17:34:27 --- quit: tgunr_ (Read error: No route to host) 17:36:14 --- join: tgunr (~davec@cust-66-249-166-12.static.o1.com) joined #forth 17:47:18 --- quit: IAmHere (Ping timeout: 244 seconds) 18:03:48 --- quit: tgunr (Read error: Connection reset by peer) 18:08:38 --- join: tgunr (~davec@cust-66-249-166-12.static.o1.com) joined #forth 18:13:51 --- quit: tgunr (Read error: Connection reset by peer) 18:18:11 --- join: tgunr (~davec@cust-66-249-166-12.static.o1.com) joined #forth 18:26:33 beer 30 18:26:40 I mean beer:30 18:26:51 jdavidboyd: this is #forth dude 18:26:53 30 beer 18:30:21 --- quit: tgunr (Ping timeout: 264 seconds) 18:34:10 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 18:41:34 --- join: I440r (~zhiming@113.sub-70-194-73.myvzw.com) joined #forth 18:41:34 --- mode: ChanServ set +o I440r 18:45:43 --- join: sw2wolf (~czsq888@171.217.83.34) joined #forth 18:54:30 hi RodgerTheGreat . 18:54:45 howdy dto 18:56:20 --- quit: tgunr (Quit: Nity nite) 18:57:06 :) 18:57:10 been hacking on my Forth dialect. 18:57:15 how are you ? 18:57:52 which Forth can i use on FreeBSD ? 18:58:48 --- join: sirdancealot1 (~sirdancea@98.82.broadband5.iol.cz) joined #forth 18:59:39 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 18:59:50 sirdancealot1: i'm borrowing vocab ideas from Thinking Forth as well. also, Peter Norvig's PAIP 19:03:39 Use the most natural notation available to solve a problem. [p. 42] :) 19:04:43 canot i use Forth in FreeBSD ?! 19:04:49 sirdancealot1: is that TF or PAIP? 19:05:49 sw2wolf: i myself don't know, but someone else here might. you may want to ask a more specific question, or give more information about what you are trying to do . 19:06:06 ttmrichter, you use textadept right? 19:07:33 dto: i just want to learn a langauge which is s different from others. 19:08:16 dto: which platform are you using Forth ? 19:08:33 i'm writing my own forth dialect on top of a Lisp game engine. 19:08:48 the game engine runs on most any platform, i happen to be on Linux 19:09:28 so professional 19:09:56 dto that is from a retrospective about paip 19:09:59 is lisp game engine slow ? 19:10:28 nope. 19:11:15 as i know lisp is slow than C+asm ? 19:12:24 --- quit: tgunr (Quit: Nity nite) 19:14:36 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 19:22:26 --- quit: dto (Remote host closed the connection) 19:25:14 --- quit: tgunr (Quit: Nity nite) 19:27:22 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 19:27:47 --- part: sw2wolf left #forth 19:38:56 --- quit: tgunr (Quit: Nity nite) 19:41:19 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 19:53:51 --- quit: tgunr (Quit: Nity nite) 19:56:00 --- join: tgunr (~davec@cust-66-249-166-11.static.o1.com) joined #forth 20:02:18 --- join: Nisstyre-laptop (~yours@oftn/member/Nisstyre) joined #forth 20:13:08 --- join: beretta2 (~yaaic@cpe-107-8-120-84.columbus.res.rr.com) joined #forth 20:44:15 --- quit: tgunr (Quit: Nity nite) 21:05:08 --- quit: beretta2 (Ping timeout: 255 seconds) 21:08:57 --- quit: jdavidboyd (Remote host closed the connection) 21:35:20 --- quit: kumul (Quit: Leaving) 21:54:27 i don't know that lisp necessarily has to be all that slow... picolisp seems pretty fast. 21:55:20 I'd imagine that with a good compiler you'd only pay for the indirection/dynamic stuff that you actually use 21:55:34 dto: are you a hardcore advocate of the gpl? or are you just kind of using that by default? 21:55:39 compiled lisps have been around for a long time 21:55:43 yeah 21:55:51 picolisp is an interpreter though. 21:55:52 tangentstorm: I think he left btw 21:56:10 oh :) 3-letter name short enough to not use tab completion :) 22:00:09 'night folks 22:00:23 --- quit: RodgerTheGreat (Quit: RodgerTheGreat) 22:07:16 I440r: do you have a test suite for isforth? 22:07:39 you mean unit tests? 22:07:42 yes 22:07:53 its one of the things i need to get done. its high on my todo list 22:07:58 or do you know of such a thing for forth-83? 22:08:09 hmmm im not sure 22:08:11 --- join: Bahman (~Bahman@86.98.18.206) joined #forth 22:08:24 http://computer-programming-forum.com/22-forth/18a77f5561b971d6.htm <- some ancient post about a forth-83 test suite available on amiga/ibm floppies 22:09:11 retro ships with a forth.rx file but the way the actual words work isn't exactly right and i was hoping to spruce it up a bit. :) 22:09:17 cool lol ill have to take a look at that 22:13:32 --- quit: segher (Ping timeout: 264 seconds) 22:15:04 heh 22:15:45 it was already high on my todo list to write extensive unit tests 22:16:39 https://bitbucket.org/crcx/retro-language/src/d867cd8bc2fb7590f56532a5d41232832d6f2ce1/library/forth.rx?at=default 22:23:53 --- join: segher (~segher@5ED3C8DF.cm-7-4d.dynamic.ziggo.nl) joined #forth 22:25:27 blah lol that test suite is not available for download :P 22:25:32 he sells it :P 22:26:01 yeah exactly 22:31:13 --- join: dto (~user@pool-96-252-62-13.bstnma.fios.verizon.net) joined #forth 22:39:46 --- quit: dto (Read error: Connection reset by peer) 23:18:18 --- join: epicmonkey (~epicmonke@188.134.41.176) joined #forth 23:59:59 --- log: ended forth/13.02.01