boru` has joined #forth
boru has quit [Disconnected by services]
boru` is now known as boru
WickedShell has quit [Remote host closed the connection]
_whitelogger has joined #forth
dave0 has quit [Quit: dave's not here]
Zarutian_HTC has quit [Ping timeout: 244 seconds]
gravicappa has joined #forth
_whitelogger has joined #forth
jsoft has joined #forth
gravicappa has quit [Ping timeout: 240 seconds]
mtsd has joined #forth
mtsd_ has joined #forth
mtsd has quit [Ping timeout: 240 seconds]
Zarutian_HTC has joined #forth
<DKordic> Greeting everyone. About 50 years since ""FORTH -- A Language for Interactive Computing"" ( http://pages.cs.wisc.edu/~bolo/shipyard/4th_1970/4th_1970.html )! https://xkcd.com/1671/
mtsd has joined #forth
<DKordic> Good morning mtsd.
mtsd_ has quit [Ping timeout: 240 seconds]
<mtsd> Good morning DKordic :)
<mtsd> How are you today?
<DKordic> Ready for another try... at world domination! You?
<mtsd> Me too! Just fine over here
<mtsd> World domination through Forth and Pil
<DKordic> Yes, "FEXPR"s ( http://fexpr.blogspot.com/2011/04/fexpr.html ) and "Forth".
gravicappa has joined #forth
tabemann_ has joined #forth
tabemann has quit [Ping timeout: 244 seconds]
xek has joined #forth
xek has quit [Ping timeout: 246 seconds]
dave0 has joined #forth
<siraben> DKordic: Hm, "A combiner that acts directly on its operands is an _operative_.", so a combiner acts directly on the AST of the operands?
<siraben> Ok, after reading the evaluator and thesis introduction I have a better idea of it now.
<siraben> This reminds me a lot of Oleg's work on effects and effect handlers; http://okmij.org/ftp/Computation/having-effect.html
jsoft has quit [Ping timeout: 240 seconds]
mtsd has quit [Quit: Leaving]
xek has joined #forth
dave0 has quit [Quit: dave's not here]
<proteusguy> DKordic, good stuff. What are you doing with forth?
<DKordic> Sorry for the delay.
<DKordic> siraben: Yes, ""Operator"" and ""Operand""s are sub expressions of FEXPR. Operands are Interpreted (""eval""-ed) by Operator's Interpretation.
<DKordic> proteusguy: Searching for a Constructive Proof of ""OS/Forth"" ( http://www.forth.org/svfig/osf.html ) .
<siraben> DKordic: what do you mean by constructive proof? is there a theorem to prove?
<DKordic> Lisp Machine in other words.
<proteusguy> A constructive proof.... that's gonna be a challenge with a typeless (or single typed) language isn't it?
<siraben> ah so you want to demonstrate an OS that the OS/Forth article is talking about?
<siraben> Heh, the only constructive proofs I know are in mathematics and in dependently typed languages like Coq and Agda.
<DKordic> Is Lisp UniTyped?
Zarutian_HTC has quit [Ping timeout: 258 seconds]
<DKordic> siraben: Yes, a Proof by Example.
<siraben> 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.
<DKordic> Yes, it opened my eyes.
<siraben> 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."
remexre has joined #forth
tabemann_ is now known as tabemann
remexre has quit [Quit: WeeChat 2.9]
remexre has joined #forth
<cmtptr> tau is superior
<cmtptr> "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
<proteusguy> tau rocks
proteusguy has quit [Ping timeout: 264 seconds]
proteus-guy has quit [Ping timeout: 258 seconds]
reepca has joined #forth
remexre has quit [Quit: WeeChat 2.9]
proteusguy has joined #forth
proteus-guy has joined #forth
reepca has quit [Read error: Connection reset by peer]
reepca has joined #forth
remexre has joined #forth
reepca has quit [Read error: Connection reset by peer]
reepca has joined #forth
gravicappa has quit [Ping timeout: 240 seconds]
xek has quit [Quit: Leaving]
gravicappa has joined #forth
gravicappa has quit [Ping timeout: 240 seconds]
Zarutian_HTC has joined #forth
gravicappa has joined #forth
WickedShell has joined #forth
Zarutian_HTC has quit [Read error: Connection reset by peer]
Zarutian_HTC1 has joined #forth
_whitelogger has joined #forth
gravicappa has quit [Read error: Connection reset by peer]
gravicappa has joined #forth
Croran has quit [Ping timeout: 244 seconds]
X-Scale` has joined #forth
X-Scale has quit [Ping timeout: 240 seconds]
X-Scale` is now known as X-Scale
Croran has joined #forth
reepca has quit [Ping timeout: 244 seconds]
reepca has joined #forth
dave0 has joined #forth
MrMobius has quit [Ping timeout: 258 seconds]
Zarutian_HTC1 has quit [Ping timeout: 260 seconds]
Zarutian_HTC has joined #forth
gravicappa has quit [Ping timeout: 240 seconds]
cantstanya has quit [Remote host closed the connection]
cantstanya has joined #forth