WickedShell has quit [Remote host closed the connection]
dave0 has quit [Quit: dave's not here]
Zarutian_HTC has joined #forth
kmstout has joined #forth
<kmstout>
Hi.
boru` has joined #forth
boru has quit [Disconnected by services]
boru` is now known as boru
_whitelogger has joined #forth
reepca has quit [Ping timeout: 244 seconds]
kmstout has quit [Quit: leaving]
Zarutian_HTC has quit [Read error: Connection reset by peer]
Zarutian_HTC1 has joined #forth
sts-q has quit [Ping timeout: 240 seconds]
gravicappa has joined #forth
sts-q has joined #forth
jsoft has joined #forth
proteusguy has quit [Remote host closed the connection]
rpcope has quit [Ping timeout: 256 seconds]
rpcope has joined #forth
sts-q has quit [Ping timeout: 264 seconds]
jedb has quit [Remote host closed the connection]
jedb has joined #forth
sts-q has joined #forth
<DKordic>
Welcome kmstout. sup?
Zarutian_HTC1 has quit [Remote host closed the connection]
f-a has joined #forth
<lisbeths>
Did that krivine machine guy ever come back?
proteus-guy has quit [Ping timeout: 240 seconds]
<crc>
asau/dgasu ? he's still banned
<lisbeths>
I was thinking the other day about if a krivine machine could be compiled, and have a concatenative syntax.
<lisbeths>
his problem was he was only worried about making his software small and didnt understand that forth has a syntactic advantage
f-a has quit [Ping timeout: 258 seconds]
f-a has joined #forth
<MrMobius>
why did he get banned if it's ok to ask?
<siraben>
Kirvine machines are neat. There's quite a few ways to implement functional languages out there, SECD, TIM, STG.
<siraben>
Haskell uses STG, for instance.
<siraben>
lisbeths: What do you mean by "if a Krivine machine could be compiled"?
<crc>
MrMobius: he was trolling, actively discouraging use of forth, and negative in general
<sts-q>
siraben: Do you have a link to point me to a description of the properties/differences between SECD TIM STG or Krivine machine ? I have no idea what they might look like.
gravicappa has quit [Ping timeout: 240 seconds]
kieselsteini has joined #forth
kieselsteini has quit [Client Quit]
Zarutian_HTC has joined #forth
gravicappa has joined #forth
gravicappa has quit [Ping timeout: 256 seconds]
jimt[m] has quit [Quit: killed]
Blue_flame has quit [Quit: killed]
siraben has quit [Quit: killed]
jimt[m] has joined #forth
f-a has quit [Ping timeout: 260 seconds]
f-a has joined #forth
siraben has joined #forth
Blue_flame has joined #forth
mark4 has joined #forth
mark4 has quit [Quit: Leaving]
Keshl has quit [Quit: Konversation terminated!]
Keshl has joined #forth
Zarutian_HTC1 has joined #forth
Zarutian_HTC has quit [Ping timeout: 256 seconds]
Zarutian_HTC1 is now known as Zarutian_HTC
TCZ has joined #forth
<bluekelp>
FUZxxl: are there links to your session/s? I poked around but do not see a way to watch them
<FUZxxl>
bluekelp: unfortunately, the event is already over