00:00:00 --- log: started forth/16.03.31 00:02:38 --- quit: eazar001 (Ping timeout: 264 seconds) 00:03:06 --- join: eazar001 (~eazar001@99-151-0-118.lightspeed.snrmca.sbcglobal.net) joined #forth 00:59:12 --- quit: Kumool_ (Read error: Connection reset by peer) 01:10:36 --- join: scoofy (~scoofy@catv-89-135-80-2.catv.broadband.hu) joined #forth 01:24:57 --- join: Carisius (~Carisius@cm-188-171-2-86.telecable.es) joined #forth 02:07:50 --- quit: ASau (Ping timeout: 252 seconds) 02:10:17 --- quit: Carisius (Remote host closed the connection) 02:47:21 --- quit: novaskell (Read error: Connection reset by peer) 02:47:35 --- join: novaskell (~novaskell@31.205.156.216) joined #forth 03:13:17 --- quit: proteusguy_satri (Ping timeout: 276 seconds) 03:31:52 --- join: impomatic_ (~impomatic@85.8.189.80.dyn.plus.net) joined #forth 03:33:50 --- quit: impomatic (Ping timeout: 264 seconds) 03:34:02 --- nick: impomatic_ -> impomatic 03:35:43 --- join: proteusguy_satri (~proteusgu@183.88.78.243) joined #forth 04:22:58 --- quit: pointfree (Remote host closed the connection) 04:23:13 --- quit: bluekelp (Ping timeout: 244 seconds) 04:23:18 --- join: bluekelp_ (~bluekelp@bluekelp.com) joined #forth 04:41:17 tangentstorm: Next step is learning Krivine machine. 04:42:28 This will bring you from early seventies into mid-eighties. 04:42:30 * DGASAU shrugs. 04:45:42 --- quit: wa5qjh (Quit: wa5qjh) 05:55:43 --- quit: mnemnion (Remote host closed the connection) 06:05:54 --- join: mnemnion (~mnemnion@c-98-207-249-139.hsd1.ca.comcast.net) joined #forth 06:27:42 DGASAU: what is krivine machine 06:38:02 I'm almost sure that Google brings original paper as well as some related ones up on top. 06:39:01 --- quit: mnemnion (Remote host closed the connection) 06:40:22 Next step is studying something like "The next 700 Krivine machines" that, IIRC, gives a pretty straightforward algorithm how to translate a programming language for it, or ZINC report. 06:41:06 After that you can simply abandon Forth and stop wasting your time on reinventing the wheel the rest of the world uses for decades. 06:42:12 --- quit: probonono (Ping timeout: 248 seconds) 06:59:16 --- quit: DGASAU (Read error: Connection reset by peer) 06:59:27 --- join: DGASAU (~user@lmpc.drb.insel.de) joined #forth 07:41:22 --- join: sc00fy (~scoofy@catv-89-135-80-2.catv.broadband.hu) joined #forth 07:41:22 --- quit: scoofy (Read error: Connection reset by peer) 08:13:03 --- join: probonono (~User@unaffiliated/probonono) joined #forth 08:21:26 --- quit: novaskell (Ping timeout: 240 seconds) 09:01:48 does gforth have a built-in word for making null terminated strings? 09:03:05 --- nick: octo_ -> octophore 09:35:48 --- join: true-grue (~true-grue@176.14.216.104) joined #forth 09:42:09 DGASAU: that paper is too abstract forme 09:44:58 Which one? 09:45:27 You can't be less abstract than the ZINC report. 09:45:40 Or any presentation about that project. 09:54:40 the next 700 krivine machines 10:08:42 --- quit: DGASAU (Ping timeout: 248 seconds) 10:12:08 --- join: picobit (~tomkl@unaffiliated/tomkl) joined #forth 10:16:41 --- join: bedah (~bedah@ip-212-60-217-13.static.hackerspace-bremen.de) joined #forth 10:18:35 --- join: DGASAU (~user@lmpc.drb.insel.de) joined #forth 10:55:10 --- quit: picobit (Ping timeout: 244 seconds) 10:59:04 --- join: Zarutian (~zarutian@168-110-22-46.fiber.hringdu.is) joined #forth 11:02:17 --- quit: DGASAU (Read error: Connection reset by peer) 11:02:33 --- join: DGASAU (~user@lmpc.drb.insel.de) joined #forth 11:07:02 --- quit: DGASAU (Ping timeout: 244 seconds) 11:13:42 --- join: pointfree (~pointfree@c-174-62-81-78.hsd1.ca.comcast.net) joined #forth 11:14:45 --- quit: probonono (Ping timeout: 244 seconds) 11:46:55 --- join: mat4 (~Claude@ip5b40bd37.dynamic.kabel-deutschland.de) joined #forth 11:53:14 --- join: mnemnion (~mnemnion@c-98-207-249-139.hsd1.ca.comcast.net) joined #forth 11:55:19 --- quit: fiddlerwoaroof (Read error: Connection reset by peer) 11:57:56 --- quit: mnemnion (Ping timeout: 248 seconds) 12:02:11 --- join: picobit (~tomkl@unaffiliated/tomkl) joined #forth 12:02:12 --- join: fiddlerwoaroof (~fiddlerwo@2601:14a:4500:188b:be5f:f4ff:fe9c:a686) joined #forth 12:02:53 --- quit: fiddlerwoaroof (Changing host) 12:02:53 --- join: fiddlerwoaroof (~fiddlerwo@unaffiliated/fiddlerwoaroof) joined #forth 12:21:19 --- join: DGASAU (~user@lmpc.drb.insel.de) joined #forth 12:29:50 --- quit: eazar001 (Read error: Connection reset by peer) 12:39:21 --- quit: bedah (Quit: Ex-Chat) 12:53:07 --- join: mnemnion (~mnemnion@c-98-207-249-139.hsd1.ca.comcast.net) joined #forth 12:53:38 --- join: kc5tja (~sfalvo@166.78.62.138) joined #forth 12:53:38 --- mode: ChanServ set +v kc5tja 13:14:35 --- join: koz_ (~koz@121.99.235.239) joined #forth 13:24:40 --- join: Kumool (~kumool@adsl-64-237-239-148.prtc.net) joined #forth 13:44:51 --- quit: mat4 (Quit: Leaving) 14:05:03 --- quit: true-grue (Read error: Connection reset by peer) 14:05:22 --- quit: mnemnion (Remote host closed the connection) 14:07:37 --- join: ASau (~user@netbsd/developers/asau) joined #forth 14:07:37 --- join: mnemnion (~mnemnion@c-98-207-249-139.hsd1.ca.comcast.net) joined #forth 14:15:27 --- join: vsg1990 (~vsg1990@pool-74-110-57-203.bflony.fios.verizon.net) joined #forth 14:20:39 --- quit: mnemnion (Remote host closed the connection) 14:28:54 --- join: mnemnion (~mnemnion@c-98-207-249-139.hsd1.ca.comcast.net) joined #forth 14:54:58 --- join: novaskell (~novaskell@31.205.156.216) joined #forth 15:15:25 --- quit: Kumool (Ping timeout: 276 seconds) 15:28:31 --- join: Kumool (~kumool@adsl-64-237-239-148.prtc.net) joined #forth 15:57:43 --- join: eazar001 (~eazar001@99-151-0-118.lightspeed.snrmca.sbcglobal.net) joined #forth 16:06:36 --- join: wa5qjh (~Thunderbi@121.54.58.133) joined #forth 16:08:43 --- quit: mnemnion (Remote host closed the connection) 16:10:32 --- join: mnemnion (~mnemnion@c-98-207-249-139.hsd1.ca.comcast.net) joined #forth 16:21:36 --- quit: Zarutian (Quit: Zarutian) 16:24:45 --- quit: eazar001 () 16:34:35 --- quit: wa5qjh (Quit: wa5qjh) 16:36:34 --- join: eazar001 (~eazar001@99-151-0-118.lightspeed.snrmca.sbcglobal.net) joined #forth 17:26:18 --- quit: sc00fy (Ping timeout: 240 seconds) 18:47:33 --- quit: Kumool (Read error: Connection reset by peer) 18:49:47 --- join: Kumool (~kumool@adsl-64-237-239-148.prtc.net) joined #forth 18:53:03 --- join: DocPlatypus (~skquinn@c-73-166-108-48.hsd1.tx.comcast.net) joined #forth 18:56:02 --- quit: Kumool (Ping timeout: 264 seconds) 18:56:10 --- join: Kumool (~kumool@adsl-72-50-85-80.prtc.net) joined #forth 19:19:17 --- quit: DocPlatypus (Ping timeout: 250 seconds) 21:05:46 --- quit: eazar001 () 21:44:56 --- quit: vsg1990 (Quit: Leaving) 21:52:07 --- quit: novaskell (Ping timeout: 246 seconds) 21:59:16 --- join: novaskell (~novaskell@31.205.156.216) joined #forth 22:20:18 --- quit: Keshl (Remote host closed the connection) 22:20:36 --- join: Keshl (~Purple@24.115.181.94.res-cmts.gld.ptd.net) joined #forth 22:21:44 --- quit: picobit (Ping timeout: 260 seconds) 23:04:42 --- join: scoofy (~scoofy@catv-89-135-80-2.catv.broadband.hu) joined #forth 23:19:08 --- join: xy1 (~Thunderbi@108.61.217.77) joined #forth 23:29:58 --- quit: xy1 (Quit: xy1) 23:35:42 --- join: impomatic_ (~digital_w@85.8.189.80.dyn.plus.net) joined #forth 23:59:59 --- log: ended forth/16.03.31