00:00:00 --- log: started forth/20.09.14 00:01:42 Yes, "FEXPR"s ( http://fexpr.blogspot.com/2011/04/fexpr.html ) and "Forth". 02:00:28 --- join: gravicappa joined #forth 02:46:47 --- join: tabemann_ joined #forth 02:47:20 --- quit: tabemann (Ping timeout: 244 seconds) 02:47:50 --- join: xek joined #forth 02:54:56 --- quit: xek (Ping timeout: 246 seconds) 03:12:09 --- join: dave0 joined #forth 03:46:03 DKordic: Hm, "A combiner that acts directly on its operands is an _operative_.", so a combiner acts directly on the AST of the operands? 03:57:50 Ok, after reading the evaluator and thesis introduction I have a better idea of it now. 03:58:46 This reminds me a lot of Oleg's work on effects and effect handlers; http://okmij.org/ftp/Computation/having-effect.html 05:39:45 --- quit: jsoft (Ping timeout: 240 seconds) 05:59:45 --- quit: mtsd (Quit: Leaving) 06:00:43 --- join: xek joined #forth 06:09:42 --- quit: dave0 (Quit: dave's not here) 06:09:54 DKordic, good stuff. What are you doing with forth? 06:33:43 Sorry for the delay. 06:33:43 siraben: Yes, ""Operator"" and ""Operand""s are sub expressions of FEXPR. Operands are Interpreted (""eval""-ed) by Operator's Interpretation. 06:33:43 proteusguy: Searching for a Constructive Proof of ""OS/Forth"" ( http://www.forth.org/svfig/osf.html ) . 06:34:22 DKordic: what do you mean by constructive proof? is there a theorem to prove? 06:34:35 Lisp Machine in other words. 06:34:55 A constructive proof.... that's gonna be a challenge with a typeless (or single typed) language isn't it? 06:34:58 ah so you want to demonstrate an OS that the OS/Forth article is talking about? 06:35:27 Heh, the only constructive proofs I know are in mathematics and in dependently typed languages like Coq and Agda. 06:40:05 Is Lisp UniTyped? 06:40:26 --- quit: Zarutian_HTC (Ping timeout: 258 seconds) 06:40:29 siraben: Yes, a Proof by Example. 06:42:15 I'd argue that dynamically typed languages are all unityped languages (see a PL researcher's opinion on this https://existentialtype.wordpress.com/2011/03/19/dynamic-languages-are-static-languages/ ), so yes. 06:43:43 Yes, it opened my eyes. 06:45:40 This quote in OS/Forth, "Please - hear my orison; Do not think this project Horror, having come full circle and reached its' limits, to finally disappear up its' own sphincter." 06:59:18 --- join: remexre joined #forth 07:03:49 --- nick: tabemann_ -> tabemann 07:04:16 --- quit: remexre (Quit: WeeChat 2.9) 07:04:24 --- join: remexre joined #forth 07:04:34 Reminds me of https://en.wikipedia.org/wiki/Pi_(film) 07:08:20 tau is superior 07:08:48 "The story, about a mathematician with an obsession to find underlying complete order in the real world" he should have discovered that tau is more orderly than pi 07:21:41 tau rocks 07:56:59 --- quit: proteusguy (Ping timeout: 264 seconds) 07:57:06 --- quit: proteus-guy (Ping timeout: 258 seconds) 08:05:33 --- join: reepca joined #forth 08:06:49 --- quit: remexre (Quit: WeeChat 2.9) 08:10:44 --- join: proteusguy joined #forth 08:10:44 --- mode: ChanServ set +v proteusguy 08:13:17 --- join: proteus-guy joined #forth 08:16:52 --- quit: reepca (Read error: Connection reset by peer) 08:17:04 --- join: reepca joined #forth 08:18:25 --- join: remexre joined #forth 08:18:28 --- quit: reepca (Read error: Connection reset by peer) 08:18:42 --- join: reepca joined #forth 08:29:06 --- quit: gravicappa (Ping timeout: 240 seconds) 08:35:41 --- quit: xek (Quit: Leaving) 09:25:34 --- join: gravicappa joined #forth 09:29:47 --- quit: gravicappa (Ping timeout: 240 seconds) 09:41:06 --- join: Zarutian_HTC joined #forth 10:00:22 --- join: gravicappa joined #forth 10:13:14 --- join: WickedShell joined #forth 10:36:04 --- quit: Zarutian_HTC (Read error: Connection reset by peer) 10:36:08 --- join: Zarutian_HTC1 joined #forth 10:57:24 --- quit: _whitelogger (Remote host closed the connection) 11:00:24 --- join: _whitelogger joined #forth 11:12:35 --- quit: gravicappa (Read error: Connection reset by peer) 11:18:44 --- join: gravicappa joined #forth 12:41:50 --- quit: Croran (Ping timeout: 244 seconds) 12:46:16 --- join: X-Scale` joined #forth 12:47:17 --- quit: X-Scale (Ping timeout: 240 seconds) 12:47:24 --- nick: X-Scale` -> X-Scale 12:52:02 --- join: Croran joined #forth 13:39:48 --- quit: reepca (Ping timeout: 244 seconds) 13:54:17 --- join: reepca joined #forth 14:17:42 --- join: dave0 joined #forth 14:18:54 --- quit: MrMobius (Ping timeout: 258 seconds) 14:27:05 --- quit: Zarutian_HTC1 (Ping timeout: 260 seconds) 14:40:08 --- join: Zarutian_HTC joined #forth 14:42:06 --- quit: gravicappa (Ping timeout: 240 seconds) 16:51:08 --- quit: cantstanya (Remote host closed the connection) 16:53:31 --- join: cantstanya joined #forth 18:06:28 --- join: boru` joined #forth 18:06:31 --- quit: boru (Disconnected by services) 18:06:33 --- nick: boru` -> boru 18:24:50 --- part: elioat left #forth 18:49:42 Tau is just defined as 2π, no? 18:58:11 --- quit: dave0 (Quit: dave's not here) 19:12:29 yes 19:13:23 but it makes euler's identity more better 19:14:08 e^πi = -1, but e^ti = 1 19:17:02 it also meams the area of a circle is (tr^2)/2, which is more clearly an integration because of the 1/2 to go with the ^2 19:18:24 there are probably more reasons why it's better that i don't remember now 19:18:48 oh, a circle is t radians instead of 2π radians 19:19:02 etc. 19:26:42 --- join: MrMobius joined #forth 19:29:12 --- quit: MrMobius (Read error: Connection reset by peer) 19:36:05 --- join: MrMobius joined #forth 20:47:41 --- quit: Croran (Ping timeout: 244 seconds) 20:53:26 --- join: Croran joined #forth 21:02:51 tabemann, is zeptoforth gonna run on my discovery board? I'd like to try it out as well. 21:04:47 tabemann, specifically this one: https://www.aliexpress.com/item/1751883080.html 21:09:17 --- quit: DKordic (Ping timeout: 240 seconds) 21:27:57 --- join: jsoft joined #forth 21:54:31 --- quit: jsoft (Quit: Leaving) 22:09:38 --- join: gravicappa joined #forth 22:21:12 --- quit: Zarutian_HTC (Ping timeout: 244 seconds) 23:08:09 --- quit: gravicappa (Remote host closed the connection) 23:13:09 --- quit: WickedShell (Remote host closed the connection) 23:50:48 --- join: Zarutian_HTC joined #forth 23:52:02 --- join: mtsd joined #forth 23:59:39 --- quit: iyzsong (Quit: ZNC 1.7.5 - https://znc.in) 23:59:59 --- log: ended forth/20.09.14