00:00:00 --- log: started forth/17.02.14 00:08:44 --- quit: mnemnion (Remote host closed the connection) 01:22:43 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:57:9e79:351a:fd09) joined #forth 01:27:26 --- quit: mnemnion (Ping timeout: 255 seconds) 01:36:00 --- quit: nighty (Quit: Disappears in a puff of smoke) 02:04:12 --- join: mnemnion (~mnemnion@71.198.73.193) joined #forth 02:08:38 --- quit: mnemnion (Ping timeout: 256 seconds) 02:41:10 --- join: nighty (~nighty@s229123.ppp.asahi-net.or.jp) joined #forth 02:43:00 --- quit: wa5qjh (Remote host closed the connection) 02:45:28 --- join: DGASAU (~user@lmpc.drb.insel.de) joined #forth 02:50:32 --- join: wa5qjh (~Thunderbi@121.54.90.153) joined #forth 03:29:48 --- join: mnemnion (~mnemnion@71.198.73.193) joined #forth 03:34:20 --- quit: mnemnion (Ping timeout: 255 seconds) 03:36:37 --- quit: wa5qjh (Remote host closed the connection) 03:57:59 --- join: mnemnion (~mnemnion@71.198.73.193) joined #forth 04:02:16 --- quit: mnemnion (Ping timeout: 240 seconds) 04:53:08 --- join: Zarutian (~zarutian@168-110-22-46.fiber.hringdu.is) joined #forth 04:53:54 --- quit: Zarutian (Read error: Connection reset by peer) 04:54:10 --- join: Zarutian (~zarutian@168-110-22-46.fiber.hringdu.is) joined #forth 04:54:21 --- quit: Zarutian (Client Quit) 06:13:23 --- join: GeDaMo (~GeDaMo@212.225.112.221) joined #forth 06:30:24 --- join: rgrinberg (~rgrinberg@24-246-56-85.cable.teksavvy.com) joined #forth 06:30:48 --- quit: GeDaMo (Read error: Connection reset by peer) 06:33:00 --- join: GeDaMo (~GeDaMo@212.225.112.221) joined #forth 06:40:51 --- join: john_cephalopoda (~john@unaffiliated/john-minetest/x-5335115) joined #forth 06:43:41 --- quit: crc (Ping timeout: 258 seconds) 06:45:38 --- join: crc (sid2647@gateway/web/irccloud.com/x-vcnayfyihasfopri) joined #forth 07:03:30 --- join: neceve (~ncv@unaffiliated/neceve) joined #forth 07:21:56 --- quit: DGASAU (Read error: Connection reset by peer) 07:22:50 --- join: DGASAU (~user@lmpc.drb.insel.de) joined #forth 07:51:05 --- quit: neceve (Quit: Konversation terminated!) 08:27:17 --- quit: midre (Ping timeout: 255 seconds) 08:34:12 --- join: midre (~midre@2601:547:500:2a80:ba27:ebff:fe92:97dd) joined #forth 08:37:42 --- join: ACE_Recliner (~ACE_Recli@c-50-165-178-74.hsd1.in.comcast.net) joined #forth 08:59:56 --- join: beam7 (97ecaa3f@gateway/web/freenode/ip.151.236.170.63) joined #forth 09:01:33 What are the implementations of Forth? 09:02:31 There are many implementations of Forth 09:03:39 GeDaMo, the most active and serious one that I have found to date is 8th-dev.com 09:04:10 Though it is really nice but unfortunately, it is closed-source 09:04:32 Really? Not GForth or SwiftForth? 09:05:10 GeDaMo, swiftforth is also closed source, and GForth is not updated regulary 09:05:35 How often does it have to be updated if it works? 09:05:54 None, I guess. 09:07:23 Do you use GForth? What implementation do you use? 09:23:31 I use gforth, mostly because it's what's available in the ubuntu repositories and it's portable and I'm not yet at the stage where I want to dig in to implementation internals. 09:26:42 Same, GForth 09:27:19 I have written parts of implementations but I usually run out of motivation :/ 09:27:36 GeDaMo, is 8th-dev.com good? 09:27:48 Is it Forth, too. 09:29:07 I hadn't heard of it before 09:31:20 The language looks Forth-like 09:39:38 --- join: gravicappa (~gravicapp@ppp83-237-171-178.pppoe.mtu-net.ru) joined #forth 09:42:06 --- quit: beam7 (Ping timeout: 260 seconds) 09:46:45 --- join: mnemnion (~mnemnion@104.6.70.118) joined #forth 09:48:45 --- quit: mnemnion (Remote host closed the connection) 09:49:00 --- join: mnemnion (~mnemnion@104.6.70.118) joined #forth 11:25:31 --- join: Zarutian (~zarutian@168-110-22-46.fiber.hringdu.is) joined #forth 11:37:20 --- quit: gravicappa (Ping timeout: 264 seconds) 12:03:32 --- quit: true-grue (Read error: Connection reset by peer) 12:36:03 Zarutian: regarding belt machines: I had a project (way back in high school?) to use the general purpose ARM registers as a ring buffer. It was more inspired by Chuck Moore and Co's circular stack and the papers/dissertation on Linear Logic (one time use references)... 12:36:53 With the fake "belt machine" approach one has to write their own assembler. 12:37:07 pointfree: back in the day, some flavours of PDP11 CPU had the registers also mapped to addressable space 12:37:38 so you could refer to the register in an instruction, or refer to the address in the memory map of the register 12:37:48 pointfree: you could also load instructions into the registers and jump to them 12:38:29 gordonjcp: Wow, I like that. 12:38:29 silly, but on a machine with no functioning RAM you could at least load "JMP *-2" into a register and expect it to run 12:38:41 or a pair of registers really 12:47:41 Yeah, with the fake belt machine I have to assemble the registers in at compile time, so I can't just code up forth in plain asm. Roughly something like: curr_reg @ 1+ 13 mod curr_reg ! ( to allocate registers as a fifo or ring buffer) 12:48:37 ...or a conveyor belt. 13:00:30 I guess, right now I'm working on eliminating the need to explicitly DROP values from the belt by only producing what the forth words use and only consuming what they need. 13:40:50 pointfree: sounds like you are also involving ideas from FlowBasedProgramming here 13:42:36 Zarutian: Yes, I am indeed subscribed to the FBP mailing list. 13:42:50 Hopefully soon, gelFORTH will not have "stack underflows" anymore. An empty parameter stack is a stack that contains only zero -- like the empty space on your disk -- all bits consumed. 13:43:45 --- quit: GeDaMo (Remote host closed the connection) 14:05:39 Zarutian: do you have an Iceland Forth Interest Group? 14:07:17 pointfree: we dont see the point of it. It would overlap with most of the same people that are intrested in functional programming, MCU systems programming and such. It is rather small country. 14:19:10 --- quit: ACE_Recliner (Ping timeout: 260 seconds) 14:26:31 --- join: wa5qjh (~Thunderbi@121.54.90.137) joined #forth 14:35:41 --- join: CORDIC (~user@93-87-176-86.dynamic.isp.telekom.rs) joined #forth 14:43:11 --- quit: midre (*.net *.split) 14:43:12 --- quit: groovy2shoes (*.net *.split) 14:43:12 --- quit: proteus-guy (*.net *.split) 14:43:13 --- quit: DKordic (*.net *.split) 14:46:57 --- quit: M-jimt (*.net *.split) 14:46:57 --- quit: dys (*.net *.split) 14:46:58 --- quit: ggherdov`___ (*.net *.split) 14:46:58 --- quit: ovf (*.net *.split) 14:46:58 --- quit: bluekelp (*.net *.split) 14:46:59 --- quit: a3f (*.net *.split) 14:47:15 --- join: bluekelp (~bluekelp@bluekelp.com) joined #forth 14:48:15 --- join: a3f (~a3f@unaffiliated/a3f) joined #forth 14:48:24 --- join: malyn (~malyn@54.201.34.233) joined #forth 14:51:10 --- join: groovy2shoes (~groovy2sh@unaffiliated/groovebot) joined #forth 14:51:28 --- join: proteus-guy (~proteus-g@2405:9800:b400:495c:4a51:b7ff:fe38:d966) joined #forth 14:52:35 --- join: M-jimt (jimtmatrix@gateway/shell/matrix.org/x-lcfmcouhqpfmwqvq) joined #forth 14:52:35 --- join: dys (~dys@ip-109-40-0-171.web.vodafone.de) joined #forth 14:52:37 --- join: ggherdov`___ (sid11402@gateway/web/irccloud.com/x-rgyrdktniiwncvyn) joined #forth 14:56:30 --- join: ovf (sid19068@gateway/web/irccloud.com/x-fzemhfpuveahywqm) joined #forth 14:57:04 --- quit: john_cephalopoda (Quit: Trees can see into your soul.) 14:59:50 --- quit: nighty (Remote host closed the connection) 15:07:36 --- quit: dual (Ping timeout: 252 seconds) 15:43:19 --- join: ACE_Recliner (~ACE_Recli@c-50-165-178-74.hsd1.in.comcast.net) joined #forth 15:55:44 --- join: midre (~midre@2601:547:500:2a80:ba27:ebff:fe92:97dd) joined #forth 16:05:48 --- quit: Zarutian (Quit: Zarutian) 16:41:18 --- quit: wa5qjh (Remote host closed the connection) 16:55:46 --- join: neceve (~ncv@unaffiliated/neceve) joined #forth 17:12:30 --- quit: mnemnion (Remote host closed the connection) 17:23:35 --- join: karswell (~user@205.226.90.146.dyn.plus.net) joined #forth 17:42:22 --- quit: rgrinberg (Remote host closed the connection) 17:57:23 --- join: mnemnion (~mnemnion@71.198.73.193) joined #forth 18:01:30 --- quit: mnemnion (Ping timeout: 240 seconds) 18:10:32 --- join: mnemnion (~mnemnion@71.198.73.193) joined #forth 18:26:14 --- join: vsg1990 (~vsg1990@static-72-88-80-103.bflony.fios.verizon.net) joined #forth 18:59:08 --- quit: joneshf-laptop (Read error: No route to host) 19:02:18 --- join: vsg1990_ (~vsg1990@static-72-88-80-103.bflony.fios.verizon.net) joined #forth 19:05:41 --- join: ggherdov`____ (sid11402@gateway/web/irccloud.com/x-akheapjeacebnskv) joined #forth 19:06:08 --- join: jeremyheiler_ (sid81469@gateway/web/irccloud.com/x-gwdgptqkchuecwhi) joined #forth 19:06:45 --- join: DKordic (~user@93-87-176-86.dynamic.isp.telekom.rs) joined #forth 19:06:50 --- join: sigjuice_ (~sigjuice@107.170.193.86) joined #forth 19:07:04 --- join: rpcope- (~GOTZNC@162.245.217.4) joined #forth 19:07:08 --- join: rprimus_ (~micro@178.79.128.27) joined #forth 19:07:34 --- join: gordonjc1 (~gordonjcp@ilyushin.gjcp.net) joined #forth 19:07:49 --- quit: ggherdov`___ (Ping timeout: 255 seconds) 19:07:49 --- quit: jeremyheiler (Ping timeout: 255 seconds) 19:07:49 --- quit: sigjuice (Ping timeout: 255 seconds) 19:07:49 --- quit: crc (Ping timeout: 255 seconds) 19:07:50 --- quit: vsg1990 (Ping timeout: 255 seconds) 19:07:50 --- quit: CORDIC (Ping timeout: 255 seconds) 19:07:51 --- quit: rprimus (Ping timeout: 255 seconds) 19:07:51 --- quit: gordonjcp (Ping timeout: 255 seconds) 19:07:51 --- quit: rpcope (Ping timeout: 255 seconds) 19:08:21 --- nick: jeremyheiler_ -> jeremyheiler 19:13:26 --- join: crc (sid2647@gateway/web/irccloud.com/x-vfmqfibxarriwrkz) joined #forth 19:15:21 --- join: dual (~bonafide@cpe-74-75-153-119.maine.res.rr.com) joined #forth 19:39:57 --- quit: ACE_Recliner (Ping timeout: 240 seconds) 19:48:18 --- quit: dys (Ping timeout: 256 seconds) 20:12:47 --- quit: proteus-guy (Ping timeout: 245 seconds) 20:13:01 --- quit: neceve (Quit: Konversation terminated!) 20:25:26 --- quit: jyf (Quit: WeeChat 1.5) 21:14:20 --- join: wa5qjh (~Thunderbi@121.54.90.157) joined #forth 22:05:31 --- join: luser1 (~user@h69-21-248-248.crlbnm.broadband.dynamic.tds.net) joined #forth 22:12:00 --- quit: wa5qjh (Read error: Connection reset by peer) 22:14:29 --- quit: vsg1990_ (Quit: Leaving) 22:21:25 --- join: ACE_Recliner (~ACE_Recli@c-50-165-178-74.hsd1.in.comcast.net) joined #forth 22:34:37 --- quit: luser1 (Ping timeout: 240 seconds) 22:47:28 --- join: dys (~dys@ip-109-40-2-250.web.vodafone.de) joined #forth 22:51:02 --- quit: ACE_Recliner (Remote host closed the connection) 22:52:05 --- join: nighty (~nighty@d246113.ppp.asahi-net.or.jp) joined #forth 23:02:43 --- join: wa5qjh (~Thunderbi@121.54.90.157) joined #forth 23:02:50 --- join: joneshf-laptop (~joneshf@c-73-220-86-28.hsd1.ca.comcast.net) joined #forth 23:14:28 --- join: gravicappa (~gravicapp@ppp83-237-171-178.pppoe.mtu-net.ru) joined #forth 23:41:05 --- join: proteus-guy (~proteus-g@180.183.103.173) joined #forth 23:59:59 --- log: ended forth/17.02.14