00:00:00 --- log: started forth/18.05.15 00:17:33 --- join: mtsd (~mtsd@77.110.61.100) joined #forth 01:24:33 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 01:39:40 --- join: mnemnion (~mnemnion@71.198.73.193) joined #forth 01:43:49 --- quit: mnemnion (Ping timeout: 240 seconds) 02:52:57 --- quit: Keshl (Quit: Konversation terminated!) 04:06:08 --- quit: nighty- (Quit: Disappears in a puff of smoke) 04:30:04 --- join: nerfur (~nerfur@mail.freeside.ru) joined #forth 05:02:04 --- join: TCZ (~Johnny@ip-91.189.219.171.skyware.pl) joined #forth 05:13:39 --- join: nighty- (~nighty@s229123.ppp.asahi-net.or.jp) joined #forth 05:24:19 --- quit: dys (Ping timeout: 240 seconds) 05:29:25 --- quit: TCZ (Quit: Leaving) 05:37:09 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 06:06:49 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 06:10:56 --- quit: pierpal (Ping timeout: 265 seconds) 06:12:34 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 06:14:08 --- quit: pierpal (Read error: Connection reset by peer) 06:14:27 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 06:18:18 --- quit: mtsd (Quit: Leaving) 06:28:11 --- quit: pierpal (Read error: Connection reset by peer) 06:29:59 --- quit: jlf (Ping timeout: 256 seconds) 06:32:20 --- quit: EvanCarroll (Remote host closed the connection) 06:51:55 --- join: jlf (~jlf@157-131-216-42.dedicated.static.sonic.net) joined #forth 06:51:55 --- quit: jlf (Changing host) 06:51:55 --- join: jlf (~jlf@pdpc/supporter/active/jlf) joined #forth 06:51:58 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 06:53:36 --- quit: pierpal (Read error: Connection reset by peer) 06:58:41 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 07:06:48 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:f5ef:295a:e79d:688b) joined #forth 07:11:30 --- quit: mnemnion (Ping timeout: 276 seconds) 07:13:48 good morning #forth! i'm investigating integrating a forth into our firmware that runs on the bare metal (arc em4) in a highly memory-constrained embedded environment. my initial research suggests that zForth might be a good fit, but i'm interested to hear any other recommendations/comments people might have 07:35:21 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:f5ef:295a:e79d:688b) joined #forth 07:40:34 --- quit: pierpal (Ping timeout: 256 seconds) 07:55:37 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 07:57:27 --- quit: pierpal (Read error: Connection reset by peer) 08:04:13 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 08:11:11 --- quit: pierpal (Ping timeout: 260 seconds) 08:11:20 jlf: zForth https://github.com/zevv/zForth looks ideal for what I imagine you are doing. You'll just need to port the zForth core to arc em4 which should be straightforward. 08:20:36 pointfree: thanks. as i mentioned zForth is the current front-runner, and i've actually prototyped it already. it doesn't seem to support some apparently standard functionality i've read about on the web, but i assume that's due to some combination of shipping with intentionally limited functionality to support embedded use and more likely pilot error 08:30:15 --- join: EvanCarroll (~ecarroll@172.56.6.85) joined #forth 08:35:58 jlf: imo standards in forth just add fat and artificially constrain your design for no benefit, so I wouldn't be concerned about that. I'd just go ahead and tailor it to your application's specific needs. Any additional words can be added later with a few one-liners. 08:45:51 * jlf nods 09:23:56 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 09:26:56 --- quit: pierpal (Read error: Connection reset by peer) 10:34:40 --- join: dys (~dys@tmo-109-15.customers.d1-online.com) joined #forth 11:06:01 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 11:10:39 --- quit: pierpal (Read error: Connection reset by peer) 11:10:56 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 11:37:44 --- quit: EvanCarroll (Remote host closed the connection) 11:39:36 --- quit: pierpal (Read error: Connection reset by peer) 11:52:32 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 12:01:02 --- join: EvanCarroll (~ecarroll@172.56.6.85) joined #forth 12:04:10 --- quit: pierpal (Ping timeout: 255 seconds) 12:07:50 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 12:24:02 --- quit: pierpal (Ping timeout: 256 seconds) 12:41:45 --- quit: EvanCarroll (Ping timeout: 255 seconds) 13:00:09 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 13:17:04 --- quit: pierpal (Read error: Connection reset by peer) 13:20:18 --- quit: nighty- (Quit: Disappears in a puff of smoke) 13:22:26 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 14:10:19 --- join: pierpa (57100917@gateway/web/freenode/ip.87.16.9.23) joined #forth 14:48:12 hi 14:53:30 --- quit: ncv (Ping timeout: 256 seconds) 15:06:11 --- quit: mnemnion (Remote host closed the connection) 15:08:19 hi dave0 15:09:10 hi pointfree 15:11:30 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:f5ef:295a:e79d:688b) joined #forth 15:14:57 --- quit: norvic (Remote host closed the connection) 15:45:43 --- join: kumool (~kumool@adsl-64-237-235-99.prtc.net) joined #forth 15:49:44 --- quit: pierpal (Ping timeout: 256 seconds) 15:57:14 --- quit: mnemnion (Remote host closed the connection) 16:12:07 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:f5ef:295a:e79d:688b) joined #forth 17:27:07 --- quit: dys (Ping timeout: 265 seconds) 17:39:00 --- join: kaa_ (~kaa@98.142.140.231.16clouds.com) joined #forth 17:55:46 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 17:56:45 I love forth, but putting floating point on a separate stack drives me nuts 17:56:53 --- quit: mnemnion (Remote host closed the connection) 17:57:14 it makes sense on x87, though :P 18:02:19 --- quit: pierpal (Ping timeout: 240 seconds) 18:02:36 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:947d:4d9f:db28:43ec) joined #forth 18:12:57 --- quit: jlf (Ping timeout: 240 seconds) 18:42:36 It only makes sense if Forth is mimixking the hardware. But x86 isn't a dual (triple with FP) stack machine 18:43:50 the (rather old) x87 FPU has a separate floating-point stack in hardware 18:44:08 (with space for eight elements or something) 18:46:02 so a floating point word set's implementer might decide to use it 18:47:34 I just think it's something that should be abstracted by a forth implementation 18:48:34 I wonder if all the `f` words have ever scared off people whom might otherwise had been using Forth 19:04:08 is forth incongruent with the x86 arch? 19:18:25 I use a separate stack for floating point on the builds of my forth that support fp (due to the design of the vm) 19:30:01 --- join: EvanCarroll (~ecarroll@172.58.99.215) joined #forth 19:32:55 --- join: jlf (~jlf@99-16-97-123.lightspeed.snrsca.sbcglobal.net) joined #forth 19:32:55 --- quit: jlf (Changing host) 19:32:55 --- join: jlf (~jlf@pdpc/supporter/active/jlf) joined #forth 20:08:35 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 20:11:29 --- quit: kumool (Quit: Leaving) 20:14:49 --- quit: jedb (Ping timeout: 240 seconds) 20:15:03 --- quit: pierpal (Ping timeout: 256 seconds) 20:15:48 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 20:15:59 --- quit: EvanCarroll (Remote host closed the connection) 20:17:01 --- join: nighty- (~nighty@p001.gate.atson.jp) joined #forth 20:21:19 --- quit: mnemnion (Remote host closed the connection) 20:24:14 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:947d:4d9f:db28:43ec) joined #forth 20:25:45 --- quit: pierpa (Quit: Page closed) 20:35:46 --- quit: dddddd (Remote host closed the connection) 21:21:34 --- quit: pierpal (Read error: Connection reset by peer) 21:25:16 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 21:30:40 --- quit: pierpal (Read error: Connection reset by peer) 21:52:08 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 22:25:36 --- join: jedb_ (~jedb@199.66.90.209) joined #forth 22:51:47 --- join: dys (~dys@tmo-123-118.customers.d1-online.com) joined #forth 23:06:02 --- nick: jedb_ -> jedb 23:16:55 --- quit: dys (Ping timeout: 255 seconds) 23:22:13 --- join: roboguy` (~roboguy_@cpe-98-156-1-20.kc.res.rr.com) joined #forth 23:44:25 --- quit: nighty- (Remote host closed the connection) 23:48:03 --- join: nighty- (~nighty@p001.gate.atson.jp) joined #forth 23:59:59 --- log: ended forth/18.05.15