00:00:00 --- log: started forth/17.12.08 00:15:28 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 00:33:41 cheater, you're welcome. :-) Shame cause the guy used to be a good contributor a few years back. 00:34:43 --- join: dys (~dys@2003:5b:203b:100:6af7:28ff:fe06:801) joined #forth 00:41:06 reepca: i want a android forth which could used to build ordinary android apps and still keep small 00:59:24 cheater, I'm doing something with similar goals as you although it wasn't originally a "block chain" target but that is something I'm now strongly considering. My major change from standard forth is a very strong type system and ontologies as first order objects. 01:06:23 --- join: rodarmor (sid210835@gateway/web/irccloud.com/x-awcpjtqkdsybdhat) joined #forth 01:23:02 --- join: M-jimt (jimtmatrix@gateway/shell/matrix.org/x-hmjsszqijkqigdfv) joined #forth 01:32:28 --- nick: birk -> lonjil 02:05:43 --- join: pointfree1 (pointfreem@gateway/shell/matrix.org/x-brgojzpsjgvplgyo) joined #forth 02:20:40 --- quit: nighty-- (Quit: Disappears in a puff of smoke) 03:00:47 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 03:01:24 --- quit: Zarutian_PI (Ping timeout: 240 seconds) 03:05:45 --- join: ncv_ (~neceve@79.114.105.96) joined #forth 03:05:46 --- quit: ncv_ (Changing host) 03:05:46 --- join: ncv_ (~neceve@unaffiliated/neceve) joined #forth 03:08:20 --- quit: ncv (Ping timeout: 240 seconds) 03:08:40 --- quit: dddddd (Remote host closed the connection) 03:13:13 --- join: mtsd (~mtsd@194.218.150.197) joined #forth 03:18:46 --- quit: ncv_ (Ping timeout: 248 seconds) 03:31:59 --- join: karswell_ (~user@cust125-dsl91-135-5.idnet.net) joined #forth 05:05:28 --- quit: proteus-guy (Ping timeout: 248 seconds) 05:06:20 --- join: proteus-guy (~proteusgu@183.89.88.26) joined #forth 05:53:58 --- quit: mtsd (Ping timeout: 248 seconds) 05:57:14 --- join: mtsd (~mtsd@194.218.150.197) joined #forth 06:02:39 --- join: Zarutian_PI (~3.1415@173-133-17-89.fiber.hringdu.is) joined #forth 06:17:32 --- quit: mtsd (Quit: Leaving) 07:20:55 --- nick: karswell_ -> karswell 09:01:08 --- quit: dys (Ping timeout: 250 seconds) 09:16:20 --- join: ncv (~neceve@185.13.106.213) joined #forth 09:16:20 --- quit: ncv (Changing host) 09:16:20 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 09:16:43 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 10:15:14 --- quit: ncv (Ping timeout: 250 seconds) 10:15:20 --- join: ncv_ (~neceve@185.13.106.213) joined #forth 10:15:20 --- quit: ncv_ (Changing host) 10:15:20 --- join: ncv_ (~neceve@unaffiliated/neceve) joined #forth 11:24:28 --- join: ncv__ (~neceve@unaffiliated/neceve) joined #forth 11:27:06 --- quit: ncv_ (Ping timeout: 255 seconds) 11:47:03 --- quit: ncv__ (Quit: Leaving) 12:31:48 --- join: alexshendi (~yaaic@ip4d15fdc8.dynamic.kabel-deutschland.de) joined #forth 13:20:29 --- join: Keshl (~Purple@24.115.185.149.res-cmts.gld.ptd.net) joined #forth 13:46:15 --- quit: Keshl (Read error: Connection reset by peer) 14:00:38 --- quit: zy]x[yz (Quit: leaving) 14:28:14 --- quit: alexshendi (Ping timeout: 240 seconds) 14:44:45 --- join: zy]x[yz (~corey@unaffiliated/cmtptr) joined #forth 15:17:12 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 15:17:23 --- quit: ncv (Client Quit) 15:48:23 --- quit: groovy2shoes (Excess Flood) 15:48:45 --- join: groovy2shoes (~groovy2sh@unaffiliated/groovebot) joined #forth 16:12:16 proteusguy: we should talk about this some more. can you tell me about the ontologies? what are they? what do they do? 16:14:35 reepca: i think the main values of forth that i think would work well here are: very small language, operates on a very simple model of memory (multiple stacks and that's all), trivial to compile down to assembly, concatenative, good compiler target 16:15:37 proteusguy: regarding DGASAU, you know, people who first contribute a lot and then act like this just show they never cared about the community in the first place, they just contributed out of self-indulgence or egoistic reasons, and you don't really need that in your community 16:16:19 proteusguy: do you plan to give your language a formal semantics of some sort? 16:46:19 --- quit: karswell (Remote host closed the connection) 16:47:46 --- join: karswell (~user@cust125-dsl91-135-5.idnet.net) joined #forth 17:25:56 --- quit: zy]x[yz (Quit: leaving) 17:42:56 cheater, yes regarding the semantics but I still want it to be homoiconic so they may not be enforced to the extent that they can't be broken/extended by future additions. I have to run now but can discuss ontologies again later. 17:43:33 --- quit: proteusguy (Remote host closed the connection) 17:53:20 --- join: zy]x[yz (~corey@unaffiliated/cmtptr) joined #forth 18:08:25 --- join: proteusguy (~proteus-g@119-46-178-23.static.asianet.co.th) joined #forth 18:08:25 --- mode: ChanServ set +v proteusguy 20:39:05 --- quit: karswell (Ping timeout: 246 seconds) 20:55:38 --- join: Gromboli (~Gromboli@static-72-88-80-103.bflony.fios.verizon.net) joined #forth 21:06:30 --- quit: MrBismuth (*.net *.split) 21:06:33 --- quit: Gromboli (*.net *.split) 21:06:33 --- quit: groovy2shoes (*.net *.split) 21:06:35 --- quit: jedb (*.net *.split) 21:06:40 --- quit: ggherdov` (*.net *.split) 21:06:41 --- quit: johnmark_ (*.net *.split) 21:06:42 --- quit: nerfur (*.net *.split) 21:06:43 --- quit: DGASAU (*.net *.split) 21:06:43 --- quit: xek (*.net *.split) 21:06:44 --- quit: jn__ (*.net *.split) 21:06:44 --- quit: bavier (*.net *.split) 21:06:45 --- quit: proteusguy (*.net *.split) 21:06:45 --- quit: proteus-guy (*.net *.split) 21:06:46 --- quit: sigjuice (*.net *.split) 21:06:46 --- quit: phadthai (*.net *.split) 21:06:47 --- quit: cybrNaut (*.net *.split) 21:06:48 --- quit: Zarutian_PI (*.net *.split) 21:06:49 --- quit: FatalNIX (*.net *.split) 21:08:42 --- quit: M-jimt (Ping timeout: 243 seconds) 21:09:45 --- quit: pointfree1 (Ping timeout: 276 seconds) 21:11:32 --- join: DGASAU (~user@lmpc.drb.insel.de) joined #forth 21:11:32 --- join: xek (xek@nat/intel/x-ojkuedjclbxcyjev) joined #forth 21:11:32 --- join: ggherdov` (sid11402@gateway/web/irccloud.com/x-zkaennccwdmmvesr) joined #forth 21:11:32 --- join: nerfur (~nerfur@mail.freeside.ru) joined #forth 21:11:32 --- join: johnmark_ (~johnmark@d53-64-121-247.nap.wideopenwest.com) joined #forth 21:11:32 --- join: jn__ (~nope@ip-109-90-134-221.hsi11.unitymediagroup.de) joined #forth 21:11:32 --- join: bavier (~bavier@msp-nat.cray.com) joined #forth 21:12:14 --- quit: ggherdov` (Max SendQ exceeded) 21:13:57 --- join: ggherdov` (sid11402@gateway/web/irccloud.com/x-yqqplkcodpxoazhl) joined #forth 21:14:23 --- join: Zarutian_PI (~3.1415@173-133-17-89.fiber.hringdu.is) joined #forth 21:14:23 --- join: FatalNIX (~FatalNIX@unaffiliated/fatalnix) joined #forth 21:15:29 --- join: MrBismuth (~ArcMrBism@104-50-90-48.lightspeed.brhmal.sbcglobal.net) joined #forth 21:15:43 --- quit: MrBismuth (Max SendQ exceeded) 21:16:16 --- join: cybrNaut- (cybrNaut@rrcs-67-53-148-69.west.biz.rr.com) joined #forth 21:16:18 --- join: proteusguy (~proteus-g@119-46-178-23.static.asianet.co.th) joined #forth 21:16:18 --- join: proteus-guy (~proteusgu@183.89.88.26) joined #forth 21:16:18 --- join: phadthai (mmondor@ginseng.pulsar-zone.net) joined #forth 21:16:18 --- join: cybrNaut (cybrNaut@unaffiliated/cybrnaut) joined #forth 21:16:18 --- mode: cherryh.freenode.net set +v proteusguy 21:16:27 --- quit: cybrNaut (Max SendQ exceeded) 21:16:35 --- join: sigjuice (~sigjuice@107.170.193.86) joined #forth 21:17:00 --- join: MrBismuth (~ArcMrBism@2602:306:8325:a300:1426:998c:b44b:81fb) joined #forth 21:40:17 --- join: Gromboli (~Gromboli@static-72-88-80-103.bflony.fios.verizon.net) joined #forth 21:40:17 --- join: groovy2shoes (~groovy2sh@unaffiliated/groovebot) joined #forth 21:40:17 --- join: jedb (~jedb@199.66.90.113) joined #forth 22:05:01 --- quit: dddddd (Remote host closed the connection) 23:07:43 --- quit: Gromboli (Quit: Leaving) 23:42:53 --- quit: djinni (Quit: Leaving) 23:45:33 --- join: dys (~dys@tmo-112-11.customers.d1-online.com) joined #forth 23:46:36 --- join: djinni (~djinni@68.ip-149-56-14.net) joined #forth 23:59:59 --- log: ended forth/17.12.08