00:00:00 --- log: started forth/18.05.19 00:08:12 --- quit: kumool (Quit: Leaving) 00:12:16 --- join: dys (~dys@tmo-101-63.customers.d1-online.com) joined #forth 00:24:37 --- quit: pierpal (Quit: Poof) 00:24:55 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 00:36:42 --- quit: mnemnion (Remote host closed the connection) 01:33:30 --- quit: proteusguy (Ping timeout: 255 seconds) 01:37:06 --- join: proteusguy (~proteus-g@ppp-58-11-189-38.revip2.asianet.co.th) joined #forth 01:37:06 --- mode: ChanServ set +v proteusguy 01:37:23 --- join: groovy2shoes (~groovy2sh@unaffiliated/groovebot) joined #forth 01:44:19 --- quit: dave9 (Ping timeout: 240 seconds) 01:57:46 --- join: dave2 (~dave@207.213.dsl.syd.iprimus.net.au) joined #forth 01:57:51 --- nick: dave2 -> dave9 02:19:57 --- quit: proteus-guy (Ping timeout: 240 seconds) 02:20:27 --- join: proteus-guy (~proteusgu@183.89.89.30) joined #forth 02:37:51 --- quit: proteusguy (Remote host closed the connection) 03:28:02 --- join: proteusguy (~proteus-g@cm-134-196-84-118.revip18.asianet.co.th) joined #forth 03:28:02 --- mode: ChanServ set +v proteusguy 03:50:20 --- quit: nighty- (Quit: Disappears in a puff of smoke) 03:59:28 nerfur: Thanks for posting about Mops. When I, like all UNIX-heads, move to using a Mac, I think I could use it. 03:59:39 Hell, my gf has a mac, I could try it out on there. 04:02:35 hastuur: crc wrote a simple web server for gopher and HTTP in his Retro Forth (forthworks.org), that runs with inetd 04:06:06 Also, something I found funny, you simplicity-heads might lol too. The xtensa ISA is described as RISC but has something like 320 instructions, nothing about that R is deserved 04:15:22 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 04:45:29 --- join: ncv (~neceve@2a02:c7d:c5c9:a900:1ec6:932f:1b02:d27e) joined #forth 04:45:29 --- quit: ncv (Changing host) 04:45:29 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 05:10:34 --- quit: dys (Ping timeout: 268 seconds) 05:16:23 --- quit: pierpal (Read error: Connection reset by peer) 05:45:15 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 05:51:14 --- join: dys (~dys@tmo-101-63.customers.d1-online.com) joined #forth 05:56:51 --- quit: pierpal (Read error: Connection reset by peer) 05:57:04 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 06:20:31 --- quit: pierpal (Read error: Connection reset by peer) 06:33:06 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 06:34:49 --- quit: pierpal (Read error: Connection reset by peer) 06:52:38 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 06:58:23 --- quit: pierpal (Quit: Poof) 06:58:48 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 07:20:19 --- quit: pierpal (Ping timeout: 240 seconds) 07:22:21 --- quit: dave9 (Quit: dave's not here) 07:41:45 --- quit: comietek (Ping timeout: 256 seconds) 07:42:42 --- join: comietek (sid134071@gateway/web/irccloud.com/x-owzavyokmrsroiaz) joined #forth 07:43:40 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 07:51:38 --- quit: pierpal (Quit: Poof) 07:51:55 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 08:06:24 --- quit: dddddd (Remote host closed the connection) 08:09:24 --- quit: pierpal (Ping timeout: 268 seconds) 08:11:56 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 08:16:48 --- quit: pierpal (Read error: Connection reset by peer) 08:30:11 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 08:48:11 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:1880:aa38:ee1d:a1df) joined #forth 08:52:35 --- quit: pierpal (Read error: Connection reset by peer) 09:03:04 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 09:39:09 --- join: mietek (mietek@unaffiliated/mietek) joined #forth 09:39:21 anyone into Forth on FPGA? 09:56:15 Workin on one staring tuesday 09:56:32 32 bits inspired by Retro Forth's "Nga" 09:56:40 business or pleasure? 09:56:58 Latter, to jam in a portfolio or something 10:10:37 --- join: nighty- (~nighty@s229123.ppp.asahi-net.or.jp) joined #forth 10:13:07 I do want it to be good, though. 10:14:33 packing multiple instructions into words because stack operations don't really need operands if my thinking is right 10:14:56 No PICK or ROLL because they suck 10:17:50 WilhelmVonWeiner: I have squeazed the number of primitive instructions in a design I put together down to 14. 10:18:29 I’m interested in figuring out how much difference there is between a Forth machine and a Krivine machine 10:18:46 slide 25 here suggests they are similar: https://xavierleroy.org/mpri/2-4/machines.pdf 10:18:48 15 if I want UM+ implemented in hardware instead of just software. 10:19:14 pointfree: also, hi 10:20:26 mietek: what is a Krivine machine? Most Forth machines are dual stack machines as described in "Stack Machines - The New Wave" iirc 10:21:26 I don’t understand it well enough to explain yet 10:21:40 thanks for the reference 10:25:04 Zarutian_PI: IIUC, the difference between the SECD and Krivine machines is in the handling of function application 10:25:31 eval/apply (SECD) vs push/enter (Kriving, but also Forth) 10:25:37 Krivine* 10:26:01 WilhelmVonWeiner: there is a VHDL implementation of the SECD machine; https://github.com/hanshuebner/secd 10:43:11 Zarutian_PI with 14 total instructions you can pack 8 instructions into 32 bits and have 2 spare, what's your list? 10:47:59 mietek: I don't know anything about Lambda calculus, so a Krivine machine goes over my head. The SECD machine looks cool but it sounds like bloat 10:49:44 WilhelmVonWeiner: if you are going to pack 8 instr per 32 cell then: UM+, AND, XOR, 1LBR, 1+, @, !, DUP, DROP, SWAP, SKZ, >R, R>, CALL, and EXIT 10:51:10 WilhelmVonWeiner: what I am using is basically 16 bit cells, one instruction per cell and anything that does not have 0x000 at cell start (the first three nybbles are all 0x0) is a call to that address. 10:51:44 1LBR is one left bit rotate and SKZ is SKip if Zero 10:55:08 (I went with that as it is rather simple to implement) 11:02:59 --- quit: pierpal (Quit: Poof) 11:03:15 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 11:12:12 --- join: kumool (~kumool@adsl-64-237-233-227.prtc.net) joined #forth 11:15:17 --- quit: zy]x[yz (Quit: Changing server) 11:15:33 --- join: cmtptr (~corey@unaffiliated/cmtptr) joined #forth 11:17:12 --- quit: cmtptr (Client Quit) 11:47:26 --- quit: proteusguy (Ping timeout: 260 seconds) 12:00:36 --- join: proteusguy (~proteus-g@cm-134-196-84-118.revip18.asianet.co.th) joined #forth 12:00:37 --- mode: ChanServ set +v proteusguy 12:53:55 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 12:53:59 --- quit: pierpal (Ping timeout: 256 seconds) 12:54:43 --- join: ncv_ (~neceve@unaffiliated/neceve) joined #forth 12:55:14 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 12:55:47 --- quit: pierpal (Client Quit) 12:56:09 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 12:56:22 --- quit: ncv (Ping timeout: 256 seconds) 13:15:16 --- quit: pierpal (Remote host closed the connection) 13:34:23 --- quit: Zarutian_PI (Read error: Connection reset by peer) 13:34:45 --- join: Zarutian_PI (~3.1415@173-133-17-89.fiber.hringdu.is) joined #forth 13:42:01 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 13:46:54 --- quit: kumool (Ping timeout: 260 seconds) 13:51:20 --- quit: ncv_ (Ping timeout: 256 seconds) 13:51:35 --- join: ncv (~neceve@2a02:c7d:c5c9:a900:1ec6:932f:1b02:d27e) joined #forth 13:51:35 --- quit: ncv (Changing host) 13:51:35 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 13:52:31 --- quit: pierpal (Read error: Connection reset by peer) 13:52:45 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 13:56:53 --- quit: ncv (Ping timeout: 256 seconds) 13:57:10 --- join: ncv (~neceve@2a02:c7d:c5c9:a900:c2e5:d4f0:c21f:6388) joined #forth 13:57:10 --- quit: ncv (Changing host) 13:57:10 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 13:57:47 --- quit: pierpal (Quit: Poof) 13:58:07 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 14:02:40 --- quit: pierpal (Read error: Connection reset by peer) 14:20:55 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 14:34:07 --- join: zy]x[yz (~corey@unaffiliated/cmtptr) joined #forth 14:40:13 --- quit: dys (Ping timeout: 240 seconds) 15:16:13 --- quit: ncv (Ping timeout: 256 seconds) 15:51:49 --- join: kumool (~kumool@adsl-64-237-239-183.prtc.net) joined #forth 16:12:52 --- quit: kumool (Ping timeout: 268 seconds) 16:29:19 --- join: kumool (~kumool@adsl-64-237-234-106.prtc.net) joined #forth 18:25:14 --- join: DocPlatypus (~skquinn@c-76-30-77-136.hsd1.tx.comcast.net) joined #forth 19:04:02 --- quit: jlf (Remote host closed the connection) 19:04:18 --- join: jlf (~jlf@99-16-97-123.lightspeed.snrsca.sbcglobal.net) joined #forth 19:04:18 --- quit: jlf (Changing host) 19:04:18 --- join: jlf (~jlf@pdpc/supporter/active/jlf) joined #forth 19:39:43 --- quit: DocPlatypus (Ping timeout: 256 seconds) 19:55:11 --- quit: mnemnion (Remote host closed the connection) 20:04:06 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:4dec:223e:dc12:66ed) joined #forth 20:32:01 --- quit: mnemnion (Remote host closed the connection) 20:33:37 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:1880:aa38:ee1d:a1df) joined #forth 21:29:31 --- quit: pierpal (Read error: Connection reset by peer) 21:30:42 --- quit: APic (Ping timeout: 255 seconds) 21:32:34 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 21:40:11 --- join: APic (apic@apic.name) joined #forth 21:45:15 --- quit: pierpal (Read error: Connection reset by peer) 21:46:08 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 21:55:13 --- quit: pierpal (Read error: Connection reset by peer) 21:55:31 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 21:55:55 --- quit: kumool (Quit: Leaving) 22:06:32 --- quit: pierpal (Read error: Connection reset by peer) 22:06:56 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 22:08:43 --- quit: pierpal (Read error: Connection reset by peer) 22:09:04 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 22:10:50 --- quit: pierpal (Read error: Connection reset by peer) 22:24:03 --- quit: mnemnion (Ping timeout: 256 seconds) 22:25:27 --- join: mnemnion (~mnemnion@71.198.73.193) joined #forth 22:26:07 --- quit: mnemnion (Remote host closed the connection) 22:27:32 --- join: mnemnia (~mnemnion@71.198.73.193) joined #forth 22:59:27 --- join: pierpal (~pierpal@host23-9-dynamic.16-87-r.retail.telecomitalia.it) joined #forth 23:13:04 --- quit: dddddd (Remote host closed the connection) 23:28:28 --- quit: pierpal (Remote host closed the connection) 23:59:59 --- log: ended forth/18.05.19