00:00:00 --- log: started forth/17.11.07 00:00:18 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:e12d:5932:3483:dbb0) joined #forth 00:05:03 --- quit: mnemnion (Ping timeout: 252 seconds) 01:00:54 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:e12d:5932:3483:dbb0) joined #forth 01:02:51 --- join: wa5qjh (~Thunderbi@freebsd/user/wa5qjh) joined #forth 01:05:33 --- quit: mnemnion (Ping timeout: 252 seconds) 01:33:04 --- quit: wa5qjh (Remote host closed the connection) 01:33:23 --- join: wa5qjh (~Thunderbi@freebsd/user/wa5qjh) joined #forth 01:37:26 --- quit: wa5qjh (Ping timeout: 248 seconds) 02:16:11 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:e12d:5932:3483:dbb0) joined #forth 02:20:22 --- quit: mnemnion (Ping timeout: 246 seconds) 03:05:42 pointfree, how is drop implemented with only those words? 03:25:11 --- quit: nighty- (Quit: Disappears in a puff of smoke) 03:41:38 --- join: ncv (~neceve@2a02:c7d:c5c9:a900:c792:a3e8:397d:b37) joined #forth 03:41:38 --- quit: ncv (Changing host) 03:41:38 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 04:17:27 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:e12d:5932:3483:dbb0) joined #forth 04:21:54 --- quit: mnemnion (Ping timeout: 252 seconds) 04:51:39 --- join: nighty- (~nighty@s229123.ppp.asahi-net.or.jp) joined #forth 04:55:51 --- join: proteus-guy (~proteus-g@2405:9800:bc10:1ca:540d:72f4:515c:8c75) joined #forth 06:05:32 what is dup! ? 06:18:39 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:e12d:5932:3483:dbb0) joined #forth 06:22:55 --- quit: mnemnion (Ping timeout: 246 seconds) 06:28:00 --- join: smokeink (~smoke@121.31.40.179) joined #forth 06:31:48 --- quit: smokeink (Client Quit) 06:36:11 I assumed it was like ! but leaves the value on the stack 06:36:39 or maybe it's just an excited dup 06:46:09 i guess you could do drop as 0 nand nand -1 nand 06:47:35 hm yeah that is the only reading of dup! that makes sense 07:00:29 dup! ( x addr -- x) 07:02:49 pointfree: see http://forthworks.com/forth/papers/The_Mininal_Forth_Machine_First_Report.txt 07:04:00 zy]x[yz: in the paper, he defined dup, drop, and swap as optional primitives, but never provided a forth implementation of them 07:07:38 crc: I was scouring the internet for that in vain last night. Thank you! 07:07:49 no problem :) 07:15:46 "So the time to perform arithmetric operations is proportional to the operation and the operands. Very human :-). 07:15:49 " 07:16:04 I'm pretty sure the speed at which I perform addition isn't linear 07:16:41 I guess it might approach linear at sufficiently large values 07:19:59 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:e12d:5932:3483:dbb0) joined #forth 07:24:30 --- quit: mnemnion (Ping timeout: 252 seconds) 08:46:30 --- quit: ncv (Ping timeout: 240 seconds) 09:21:08 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:e12d:5932:3483:dbb0) joined #forth 09:25:43 --- quit: mnemnion (Ping timeout: 258 seconds) 09:29:31 --- quit: DGASAU (Read error: Connection reset by peer) 09:31:05 --- join: DGASAU (~user@lmpc.drb.insel.de) joined #forth 09:36:48 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:e12d:5932:3483:dbb0) joined #forth 09:49:37 --- join: ncv (~neceve@2a02:c7d:c5c9:a900:c792:a3e8:397d:b37) joined #forth 09:49:37 --- quit: ncv (Changing host) 09:49:37 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 10:27:29 --- join: gravicappa (~gravicapp@ppp83-237-173-11.pppoe.mtu-net.ru) joined #forth 11:15:08 --- join: dys (~dys@46.183.103.17) joined #forth 11:25:10 --- quit: nighty- (Ping timeout: 250 seconds) 11:25:42 --- join: nighty- (~nighty@s229123.ppp.asahi-net.or.jp) joined #forth 11:31:14 --- quit: dys (Ping timeout: 250 seconds) 12:57:53 --- quit: gravicappa (Ping timeout: 268 seconds) 13:31:15 --- quit: mtsd (Quit: Leaving) 13:31:50 --- quit: ncv (Ping timeout: 240 seconds) 14:20:58 --- join: impomatic (~digital_w@host86-191-87-65.range86-191.btcentralplus.com) joined #forth 14:57:40 --- quit: nighty- (Quit: Disappears in a puff of smoke) 15:14:28 --- quit: mnemnion (Remote host closed the connection) 15:15:47 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:e12d:5932:3483:dbb0) joined #forth 15:20:02 --- quit: mnemnion (Ping timeout: 250 seconds) 15:31:34 --- quit: proteusguy (Ping timeout: 248 seconds) 15:32:08 --- join: proteusguy (~proteusgu@14.207.48.222) joined #forth 15:32:08 --- mode: ChanServ set +v proteusguy 15:38:11 --- join: mnemnion (~mnemnion@c-73-223-86-196.hsd1.ca.comcast.net) joined #forth 15:43:09 --- quit: mnemnion (Ping timeout: 268 seconds) 16:04:36 --- join: mnemnion (~mnemnion@c-73-223-86-196.hsd1.ca.comcast.net) joined #forth 16:10:28 --- join: wa5qjh (~quassel@175.158.225.217) joined #forth 16:10:28 --- quit: wa5qjh (Changing host) 16:10:28 --- join: wa5qjh (~quassel@freebsd/user/wa5qjh) joined #forth 16:18:54 --- join: mnemnia (~mnemnion@c-73-223-86-196.hsd1.ca.comcast.net) joined #forth 16:19:17 --- quit: mnemnion (Read error: Connection reset by peer) 16:21:13 --- join: dys (~dys@x5f71db5b.dyn.telefonica.de) joined #forth 16:35:20 --- quit: dys (Ping timeout: 240 seconds) 16:36:19 --- join: dys (~dys@x5f71d865.dyn.telefonica.de) joined #forth 16:38:05 --- quit: johnmark_ (Quit: Leaving) 16:53:43 --- quit: mnemnia (Remote host closed the connection) 17:06:31 --- join: nighty- (~nighty@kyotolabs.asahinet.com) joined #forth 17:14:23 --- join: johnmark_ (~johnmark@65.79.1.34) joined #forth 17:19:46 --- join: mnemnion (~mnemnion@c-73-223-86-196.hsd1.ca.comcast.net) joined #forth 17:21:59 --- join: smokeink (~smoke@221.7.252.119) joined #forth 17:28:27 --- quit: proteusguy (Ping timeout: 240 seconds) 17:30:25 --- join: proteusguy (~proteusgu@14.207.48.222) joined #forth 17:30:25 --- mode: ChanServ set +v proteusguy 17:35:18 --- quit: smokeink (Quit: Lost terminal) 17:49:57 --- quit: phadthai (Ping timeout: 240 seconds) 17:50:07 --- join: phadthai (mmondor@ginseng.pulsar-zone.net) joined #forth 17:50:27 --- quit: proteusguy (Ping timeout: 240 seconds) 17:52:24 --- join: proteusguy (~proteusgu@14.207.48.222) joined #forth 17:52:24 --- mode: ChanServ set +v proteusguy 18:00:27 --- quit: mnemnion (Remote host closed the connection) 18:50:51 --- quit: ZombieChicken (Quit: Have a nice day) 18:54:28 --- join: ZombieChicken (~weechat@gateway/tor-sasl/forgottenwizard) joined #forth 18:59:32 --- quit: johnmark_ (Quit: Leaving) 19:42:32 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:cce8:5d84:d291:bb4a) joined #forth 20:43:19 --- join: mtsd (~mtsd@h-158-174-23-206.NA.cust.bahnhof.se) joined #forth 21:22:57 --- quit: proteus-guy (Read error: Connection reset by peer) 23:22:15 --- join: proteus-guy (~proteus-g@180.183.114.68) joined #forth 23:34:01 --- quit: wa5qjh (Remote host closed the connection) 23:59:59 --- log: ended forth/17.11.07