00:00:00 --- log: started forth/18.01.13 01:29:21 --- join: MrBismuth (~ArcMrBism@2600:1700:6620:5660:10da:706:7c9f:332f) joined #forth 01:32:53 --- quit: MrBusiness (Ping timeout: 265 seconds) 02:09:26 --- quit: cheater (Quit: leaving) 02:16:33 --- join: cheater (~cheater@unaffiliated/cheater) joined #forth 02:31:28 --- join: ncv_ (~neceve@unaffiliated/neceve) joined #forth 04:19:30 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 05:27:20 there wouldn't be a newuserdata() analog to forth, btw 05:28:17 the only reason that exists is because lua has a higher-lever memory management, and you'd want to - from c - allocate memory that's managed by lua 05:29:05 for doesn't have this higher-lever memory management (if anything it's lower). so you'd just allocate memory from c and then give it to forth 07:43:49 --- quit: dddddd (Read error: Connection reset by peer) 07:45:14 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 07:58:07 --- join: lijero (~lijero@unaffiliated/lijero) joined #forth 08:08:58 --- quit: ThirtyOne32nds (Read error: Connection reset by peer) 08:59:50 --- quit: ncv_ (Ping timeout: 256 seconds) 10:18:47 --- join: ThirtyOne32nds (~rtmanpage@253.sub-174-204-1.myvzw.com) joined #forth 11:11:24 --- quit: a3f (Quit: ZNC 1.7.x-git-775-96c92ef - https://znc.in) 11:12:08 --- join: a3f (~a3f@unaffiliated/a3f) joined #forth 11:17:01 --- join: a3f_ (~a3f@unaffiliated/a3f) joined #forth 11:19:18 --- join: a3f- (~a3f@unaffiliated/a3f) joined #forth 11:20:54 --- quit: a3f (Ping timeout: 255 seconds) 11:21:13 --- nick: a3f- -> a3f 11:22:57 --- quit: a3f_ (Ping timeout: 256 seconds) 11:24:17 --- join: a3f_ (~a3f@unaffiliated/a3f) joined #forth 11:27:52 --- quit: a3f (Ping timeout: 265 seconds) 11:27:52 --- nick: a3f_ -> a3f 15:07:42 --- quit: MrBismuth (Ping timeout: 276 seconds) 15:10:11 --- join: MrBusiness (~ArcMrBism@2600:1700:6620:5660:1f7:edfb:4e72:383b) joined #forth 17:00:52 --- join: Gromboli (~Gromboli@static-72-88-80-103.bflony.fios.verizon.net) joined #forth 18:00:23 hi 18:02:13 cheater: hi 18:02:36 hi jn 18:02:44 do you know anything about denotational semantics? 18:04:11 no, but i vaguely remember the last discussion about them :) 18:06:00 ah :) 18:29:06 --- quit: dddddd (Remote host closed the connection) 18:29:46 --- join: ircer2 (~ircer2@185.230.125.164) joined #forth 19:42:31 --- quit: Gromboli (Quit: Leaving) 21:33:58 --- quit: nighty- (Remote host closed the connection) 21:58:56 --- join: nighty- (~nighty@s229123.ppp.asahi-net.or.jp) joined #forth 22:25:07 --- quit: nighty- (Quit: Disappears in a puff of smoke) 22:27:30 --- join: nighty- (~nighty@s229123.ppp.asahi-net.or.jp) joined #forth 23:59:59 --- log: ended forth/18.01.13