00:00:00 --- log: started forth/14.11.10 01:40:57 --- quit: Azel (Ping timeout: 264 seconds) 03:00:10 --- join: xyh (~xieyuheng@2001:250:3002:5550:6ea1:cc0f:bcb2:b187) joined #forth 03:06:46 xyh: you have this recalculation only with naive implementation of Krivine machine. 03:07:32 Trivial memoisation solves this problem. 03:08:42 Call-by-value variant of Krivine machine is described in ZINC papers after Leroy. 03:45:30 --- join: true-grue (~grue@128-68-63-123.broadband.corbina.ru) joined #forth 03:52:48 --- quit: proteusguy (Ping timeout: 250 seconds) 04:08:32 --- join: proteusguy (~proteusgu@ppp-110-168-229-77.revip5.asianet.co.th) joined #forth 04:15:42 --- quit: samrat (Quit: Computer has gone to sleep.) 05:06:46 --- quit: xyh (Remote host closed the connection) 05:13:30 --- join: Azel (~Thunderbi@ANice-653-1-528-181.w86-205.abo.wanadoo.fr) joined #forth 05:15:17 --- join: Zarutian (~zarutian@168-110-22-46.fiber.hringdu.is) joined #forth 05:16:06 --- join: rixard (~rixard@90-229-190-197-no63.tbcn.telia.com) joined #forth 05:16:22 --- join: samrat (~samrat@123.236.183.195) joined #forth 05:42:17 --- join: saml_ (~saml@pool-71-190-3-251.nycmny.east.verizon.net) joined #forth 06:12:38 --- quit: samrat (Ping timeout: 255 seconds) 06:16:00 --- quit: saml_ (Quit: Leaving) 06:18:03 --- join: samrat (~samrat@123.236.183.195) joined #forth 07:08:38 --- quit: samrat (Ping timeout: 272 seconds) 07:15:48 --- join: samrat (~samrat@123.236.183.195) joined #forth 07:55:42 --- join: vanila (~user@unaffiliated/vanila) joined #forth 08:08:50 --- quit: Zarutian (Quit: Zarutian) 08:16:43 --- join: xyh (~xieyuheng@2001:250:3002:5550:6ea1:cc0f:bcb2:b187) joined #forth 09:29:49 --- join: dibsco (~mark@host86-145-164-159.range86-145.btcentralplus.com) joined #forth 09:30:26 --- part: dibsco left #forth 09:49:08 --- join: DKordic (~user@79-101-211-112.dynamic.isp.telekom.rs) joined #forth 10:02:09 --- quit: impomatic_ (Ping timeout: 255 seconds) 10:22:13 --- join: Zarutian (~zarutian@168-110-22-46.fiber.hringdu.is) joined #forth 10:28:54 --- quit: joneshf-laptop (Ping timeout: 258 seconds) 10:57:31 Has anyone here tried cforth? (Mitch Bradleys) 11:10:35 --- quit: samrat (Ping timeout: 272 seconds) 11:12:44 --- join: samrat (~samrat@123.236.183.195) joined #forth 11:17:05 --- quit: samrat (Ping timeout: 250 seconds) 11:27:01 --- join: samrat (~samrat@123.236.183.195) joined #forth 11:30:04 --- quit: xyh (Remote host closed the connection) 11:55:33 --- join: nighty^ (~nighty@hokuriku.rural-networks.com) joined #forth 12:18:28 --- quit: samrat (Quit: Computer has gone to sleep.) 12:35:28 --- join: Mat3 (~Mat3@ip5b414c9f.dynamic.kabel-deutschland.de) joined #forth 12:35:36 hi all 12:35:51 hey 12:47:53 hi ricky_ricardo 13:04:36 --- join: xyh (~xieyuheng@2001:250:3002:5550:6ea1:cc0f:bcb2:b187) joined #forth 13:05:11 --- join: ehaliewicz (~user@204.11.226.50.static.etheric.net) joined #forth 13:13:47 --- quit: proteusguy (Remote host closed the connection) 14:06:38 --- join: _spt_ (~jaat@host-92-30-230-21.as13285.net) joined #forth 14:06:38 --- quit: _spt_ (Changing host) 14:06:38 --- join: _spt_ (~jaat@unaffiliated/-spt-/x-5624824) joined #forth 14:19:27 --- join: joneshf-laptop (~joneshf@campus-024-035.ucdavis.edu) joined #forth 14:40:22 rixard: g'day. 14:47:17 --- quit: xyh (Remote host closed the connection) 15:12:54 --- quit: nighty^ (Quit: Disappears in a puff of smoke) 15:20:03 --- quit: vanila (Quit: Leaving) 15:24:19 --- quit: Zarutian (Quit: Zarutian) 15:26:11 --- quit: _spt_ (Quit: irc- et) 15:32:21 ciao 15:32:28 --- part: Mat3 left #forth 15:38:14 --- quit: DGASAU (Ping timeout: 245 seconds) 15:42:49 --- join: DGASAU (~user@p50993595.dip0.t-ipconnect.de) joined #forth 15:55:22 --- quit: ehaliewicz (Remote host closed the connection) 15:56:59 --- quit: DGASAU (Ping timeout: 245 seconds) 16:03:17 --- quit: joneshf-laptop (Ping timeout: 245 seconds) 16:06:27 --- join: DGASAU (~user@p50993595.dip0.t-ipconnect.de) joined #forth 16:07:37 --- join: nighty^ (~nighty@hokuriku.rural-networks.com) joined #forth 16:13:26 --- quit: nighty^ (Ping timeout: 255 seconds) 16:13:29 --- quit: bluekelp (Ping timeout: 265 seconds) 16:17:24 --- join: bluekelp (~bluekelp@2001:470:1:41:359f:1f45:d9cc:cec8) joined #forth 16:17:24 --- mode: ChanServ set +v bluekelp 17:15:53 --- join: saml_ (~saml@pool-71-190-3-251.nycmny.east.verizon.net) joined #forth 17:18:59 --- join: spoofer (~cruella@72.10.28.164) joined #forth 17:27:29 --- quit: DocPlatypus (Quit: Leaving) 17:57:33 --- quit: ggherdov` (Ping timeout: 260 seconds) 17:58:00 --- join: ggherdov` (sid11402@gateway/web/irccloud.com/x-bsmhwldzjgrekguu) joined #forth 17:59:11 --- join: beretta_ (~beretta@cpe-65-185-42-203.columbus.res.rr.com) joined #forth 17:59:57 --- join: nighty^ (~nighty@static-68-179-124-161.ptr.terago.net) joined #forth 18:00:16 --- quit: beretta (Ping timeout: 291 seconds) 18:00:16 --- quit: nighty^_ (Remote host closed the connection) 18:11:22 --- join: rixard_ (~rixard@90-229-190-197-no63.tbcn.telia.com) joined #forth 18:12:57 --- quit: rixard (Ping timeout: 264 seconds) 18:12:58 --- nick: rixard_ -> rixard 18:14:03 --- quit: joneshf (Ping timeout: 264 seconds) 18:15:32 --- quit: true-grue (Read error: Connection reset by peer) 18:15:33 --- join: joneshf (~joneshf@98.208.35.89) joined #forth 18:22:28 --- join: joneshf-laptop (~joneshf@98.208.35.89) joined #forth 19:19:56 --- join: samrat (~samrat@123.236.183.195) joined #forth 20:08:32 --- join: DocPlatypus (~skquinn@c-76-31-212-235.hsd1.tx.comcast.net) joined #forth 20:19:38 --- quit: spoofer (Quit: Leaving) 20:54:03 --- quit: samrat (Quit: Computer has gone to sleep.) 21:08:06 --- join: proteusguy (~proteusgu@ppp-110-168-229-107.revip5.asianet.co.th) joined #forth 21:13:48 --- quit: saml_ (Quit: Leaving) 21:22:31 --- join: aranhoide (~smuxi@124.Red-79-158-172.staticIP.rima-tde.net) joined #forth 21:29:49 --- quit: DKordic (Quit: ERC Version 5.3 (IRC client for Emacs)) 21:36:35 --- join: ehaliewicz (~user@50-0-50-37.dsl.dynamic.fusionbroadband.com) joined #forth 21:41:15 --- join: samrat (~samrat@61.12.96.226) joined #forth 22:19:49 --- quit: beretta_ (Quit: Leaving) 22:20:10 --- join: beretta (~beretta@cpe-65-185-42-203.columbus.res.rr.com) joined #forth 22:59:09 --- quit: ErhardtMundt (Ping timeout: 250 seconds) 23:00:26 --- join: ErhardtMundt (~quassel@93-43-71-119.ip90.fastwebnet.it) joined #forth 23:32:30 --- join: Anarch_ (~olaf@73.53.61.168) joined #forth 23:34:01 --- quit: Anarch (Write error: Broken pipe) 23:52:56 --- quit: impomatic (*.net *.split) 23:59:59 --- log: ended forth/14.11.10