00:00:00 --- log: started forth/16.02.25 00:02:44 --- join: asagk (~asagk@i59F6C5F0.versanet.de) joined #forth 00:07:37 --- quit: qih (Remote host closed the connection) 00:18:02 are there any "for fun" projects that forth novice can try to learn/help ? or better make something easy and small personally? 00:21:53 nerfur: do you also fancy some forth-like languages, instead of classical forth ? 00:23:20 xyh: I'm totally open for new and fresh experience in my computer life :-D 00:23:51 great 00:24:00 www.kevinalbrecht.com/code/joy-mirror/joy.html 00:24:59 http://forthworks.com/retro/ 00:27:22 xyh: thanks 00:27:56 Joy looks like pretty dead now 00:29:47 I am embeding joy in js 00:30:04 this repo :: https://github.com/xieyuheng/recursive-combinator/ 00:33:30 nerfur: some examples :: https://gist.github.com/xieyuheng/738dda6a0c0eb6f812c2 00:36:28 interesting 00:44:27 --- join: MickyW (~MickyW@p57A2F65C.dip0.t-ipconnect.de) joined #forth 00:46:09 someone should try to implement minikanren in forth :: http://minikanren.org/ 00:48:09 xyh: Hi. - Tell me (us) about minikanren, please. Why should one implement it? 00:50:32 --- part: cp-- left #forth 00:50:55 it is a logic programming language, which is very easy to implement, thus people embed it in their favorite languages to do logic programming. 01:07:19 oh I take my words back, it is full of named local variables, maybe not good for forth. 02:03:22 --- quit: mnemnia (Remote host closed the connection) 02:15:01 --- quit: ASau (Ping timeout: 244 seconds) 02:41:49 xyh: where are you from? china ? taiwan? hongkong? 03:00:50 --- quit: segher (Ping timeout: 264 seconds) 03:00:57 --- join: segher (segher@bombadil.infradead.org) joined #forth 03:12:34 are there any alive Forth CPUs? or everything FPGAed now? 03:35:03 nerfur: there must be, but i am not an expert on this. maybe you can find something about FPGA here :: https://github.com/forthhub/ 03:35:33 yunfan: China mainland 03:37:08 nerfur: we have a lot of CPU experts here, maybe they will show up at night. 03:37:33 I remember someone is designing his own CPU. 03:54:36 xyh: beijing? 03:55:04 nerfur: j1 is a fpga forth cpu 03:55:05 yunfan: I am living in NingXia YinChuan now 03:55:23 xyh: aha, are you muslim? 03:55:29 no 03:55:45 ok i come from huangshan, and live in shanghai currently 03:55:47 my hometown is AnHui 03:55:58 wow! 03:55:59 wow 03:56:23 xyh: then where is your hometown? 03:56:40 安徽定遠 03:57:06 ok 03:57:57 lol, china movies was true! every chinese starts with "hometown" talks!!! ))) joke, ofc ) 03:58:22 haha 03:58:35 yes it was 03:58:57 join #cicada-language for chinese chat ? 03:59:09 we need to seeking any common things 03:59:47 is Forth "popular" in China and near? 04:00:21 i think it used to be popular in china and this China include Taiwan 04:01:02 for 2 reason, i have saw a chinese textbook for training people learning forth and pass the examination 04:01:29 and the other reason is taiwan used to product most of the motherboard of PC in the world 04:01:44 if you consider the open firmware, then it was 04:02:14 also there used to be a chinese programming language, finally be found implemented by win32 forth :D 04:02:51 wow! any more info on chinese prog lang? 04:03:05 was it in "symbols" or transcript? 04:03:06 which type? 04:03:14 its in chinese characters 04:03:24 cool 04:03:24 so its symbols i think 04:04:04 but there are another ture chinese programming language 04:04:13 which offer a VC like UI 04:04:22 and many chinese use that to make small tools 04:04:27 ? 04:06:19 which part of my sentense you dont understand? 04:07:11 --- quit: X-Scale (Quit: HydraIRC -> http://www.hydrairc.com <- The alternative IRC client) 04:07:12 I understand all) this "?" was like "I request it's name! Immediately!" 04:08:10 i dont knew its english name, the chinese name is "易语言" 04:08:56 nerfur: IMHO, good chinese programming language is still a far future. 04:08:58 not only just translating the syntax keywords and a set of primitive functions to chinese. 04:08:59 a whole new community is needed to be created. 04:09:15 sure, it is true for any new language 04:09:21 https://en.wikipedia.org/wiki/Easy_Programming_Language nerfur check this 04:09:30 yeah, googled it already 04:10:04 actually i'd like using ancient chinese as the programming language, since its much more elegant than modern chinese 04:10:15 also i happend like them :D 05:26:24 --- join: little_bit (~tomkl@unaffiliated/tomkl) joined #forth 05:32:06 --- quit: MickyW (Quit: Verlassend/leaving) 06:10:32 --- quit: little_bit (Ping timeout: 252 seconds) 06:28:36 --- join: little_bit (~tomkl@unaffiliated/tomkl) joined #forth 06:43:37 --- join: true-grue (~true-grue@176.14.216.104) joined #forth 07:05:40 nerfur: AFAIK the only real Forth CPU ATM is made by GreenArrays, linked in `/topic'. J1 was made specificaly for FPGA. 07:06:23 DKordic: tried to "paypal" devboard of greenarray, but it is unavailable (out of stock?) 07:13:15 nerfur: BTW this http://sam-falvo.github.io/kestrel/2015/09/15/bspl-compiler/ is interesting. 07:13:38 file not found 07:24:33 --- join: proteusguy (~proteusgu@110.168.229.78) joined #forth 07:24:33 --- mode: ChanServ set +v proteusguy 07:26:47 --- join: mat4 (~Claude@ip5b4112a4.dynamic.kabel-deutschland.de) joined #forth 07:26:51 hello 07:47:58 --- quit: xyh (Quit: ChatZilla 0.9.92 [Firefox 44.0.2/20160211213400]) 07:50:04 mat4: Hello. sup? 07:50:36 hi DKordic, what mean sup ? 07:52:51 What's up? :) 08:01:25 work, more work to do and finally even some free time, finishing my language project which I need to speed up my work 08:02:38 (I know, sounds circular but .. lat's life) 08:12:47 Forth-like language? 08:12:57 mat4: Hardware related? 08:13:51 both 08:48:15 --- join: vectorman (~fircuser@85-118-68-241.mtel.net) joined #forth 08:51:49 --- quit: vectorman (Quit: Powered by fIRC v1.0.1 (r130) the Android IRC client.) 08:52:11 --- quit: DGASAU (Read error: Connection reset by peer) 08:52:28 --- join: DGASAU (~user@lmpc.drb.insel.de) joined #forth 08:52:55 --- join: karswell` (~user@135.18.198.146.dyn.plus.net) joined #forth 09:05:26 --- quit: little_bit (Ping timeout: 252 seconds) 09:38:02 --- quit: nisstyre_ (Ping timeout: 248 seconds) 10:06:22 --- join: nisstyre_ (~yourstrul@li611-52.members.linode.com) joined #forth 10:24:11 --- join: little_bit (~tomkl@unaffiliated/tomkl) joined #forth 10:39:09 --- join: Zarutian (~zarutian@168-110-22-46.fiber.hringdu.is) joined #forth 11:25:25 --- quit: nisstyre_ (Ping timeout: 276 seconds) 11:45:59 --- quit: karswell` (Remote host closed the connection) 11:47:11 --- join: karswell` (~user@135.18.198.146.dyn.plus.net) joined #forth 11:53:03 --- join: nisstyre_ (~yourstrul@li611-52.members.linode.com) joined #forth 12:07:31 --- quit: Zarutian (Quit: Zarutian) 12:17:52 --- quit: little_bit (Ping timeout: 240 seconds) 12:25:13 --- quit: DGASAU (Ping timeout: 276 seconds) 12:34:00 --- join: DGASAU (~user@lmpc.drb.insel.de) joined #forth 12:34:53 --- join: mnemnion (~mnemnion@c-50-161-34-86.hsd1.ca.comcast.net) joined #forth 12:46:43 --- quit: proteusguy (Read error: Connection reset by peer) 12:46:48 --- quit: proteusguy__ (Read error: Connection reset by peer) 13:03:23 --- join: proteusguy (~proteusgu@ppp-110-168-229-83.revip5.asianet.co.th) joined #forth 13:03:23 --- mode: ChanServ set +v proteusguy 13:05:53 --- join: proteusguy__ (~proteusgu@ppp-110-168-229-83.revip5.asianet.co.th) joined #forth 13:31:17 --- quit: mnemnion (Ping timeout: 244 seconds) 13:32:01 --- join: mnemnion (~mnemnion@c-50-161-34-86.hsd1.ca.comcast.net) joined #forth 14:02:12 --- quit: asagk (Remote host closed the connection) 14:02:23 --- join: little_bit (~tomkl@unaffiliated/tomkl) joined #forth 14:10:46 --- quit: karswell` (Read error: Connection reset by peer) 14:11:58 --- join: karswell` (~user@135.18.198.146.dyn.plus.net) joined #forth 14:13:58 --- join: ASau (~user@netbsd/developers/asau) joined #forth 14:22:33 --- quit: karswell` (Read error: Connection reset by peer) 14:23:44 --- join: karswell` (~user@135.18.198.146.dyn.plus.net) joined #forth 14:45:23 --- quit: true-grue (Read error: Connection reset by peer) 14:59:22 --- quit: proteusguy (Ping timeout: 240 seconds) 15:11:19 --- quit: karswell` (Remote host closed the connection) 15:12:28 --- join: karswell` (~user@135.18.198.146.dyn.plus.net) joined #forth 15:16:07 --- join: proteusguy (~proteusgu@14.207.15.162) joined #forth 15:16:07 --- mode: ChanServ set +v proteusguy 15:36:09 --- nick: karswell` -> karswell 15:37:38 --- quit: mat4 (Quit: Leaving) 15:48:39 --- quit: karswell (Read error: Connection reset by peer) 15:50:00 --- quit: little_bit (Quit: leaving) 15:50:13 --- join: karswell (~user@135.18.198.146.dyn.plus.net) joined #forth 15:52:24 --- join: little_bit (~tomkl@unaffiliated/tomkl) joined #forth 15:56:57 --- join: xyh (~chatzilla@111.50.92.76) joined #forth 16:20:40 --- join: Kumool (~kumool@adsl-72-50-87-223.prtc.net) joined #forth 16:54:51 --- quit: karswell (Read error: Connection reset by peer) 16:56:06 --- join: karswell (~user@135.18.198.146.dyn.plus.net) joined #forth 17:29:52 --- quit: little_bit (Ping timeout: 240 seconds) 17:59:02 --- quit: newcup (Ping timeout: 264 seconds) 18:17:18 --- join: DKordic` (~user@91-150-112-61.dynamic.isp.telekom.rs) joined #forth 18:18:11 --- quit: DKordic (Ping timeout: 252 seconds) 18:30:53 --- join: mnemnia (~mnemnion@c-50-161-34-86.hsd1.ca.comcast.net) joined #forth 18:31:17 --- quit: mnemnion (Ping timeout: 250 seconds) 18:34:18 --- join: little_bit (~tomkl@unaffiliated/tomkl) joined #forth 19:06:27 --- quit: xyh (Quit: ChatZilla 0.9.92 [Firefox 44.0.2/20160211213400]) 19:23:21 --- join: xyh (~chatzilla@111.50.92.76) joined #forth 19:45:07 --- join: bb010g (uid21050@gateway/web/irccloud.com/x-dkvdjkmioecjylgd) joined #forth 19:55:36 --- nick: xyh -> sequent-calculus 20:38:34 --- quit: sequent-calculus (Ping timeout: 244 seconds) 20:56:58 --- quit: little_bit (Ping timeout: 248 seconds) 21:24:07 --- join: sequent-calculus (~chatzilla@111.50.92.76) joined #forth 21:24:53 --- nick: sequent-calculus -> xyh 21:25:11 --- quit: Kumool (Read error: Connection reset by peer) 22:15:43 --- nick: xyh -> a-season-in-the- 22:15:59 --- nick: a-season-in-the- -> ASeasonInTheHell 22:16:46 --- nick: ASeasonInTheHell -> a-season-in-hell 23:59:59 --- log: ended forth/16.02.25