00:00:00 --- log: started forth/07.05.06
00:08:16 --- join: skas_wk (n=skas@202-90-54-135.static.linearg.net) joined #forth
00:08:38 --- quit: skas_wk (Client Quit)
00:33:19 --- join: skas_wk (n=skas@202-90-54-135.static.linearg.net) joined #forth
00:33:32 --- quit: skas_wk (Read error: 104 (Connection reset by peer))
00:47:22 --- join: skas_wk (n=skas@202-90-54-135.static.linearg.net) joined #forth
01:01:01 --- join: ygrek (i=user@gateway/tor/x-9631fc62b4d73d3e) joined #forth
01:09:09 --- quit: skas_wk ("Leaving")
01:51:32 --- quit: ygrek ()
01:51:48 --- join: ygrek (i=user@gateway/tor/x-5b775a54939997b7) joined #forth
02:36:17 --- join: skas_wk (n=skas@202-90-54-135.static.linearg.net) joined #forth
02:36:29 --- quit: skas_wk (Read error: 131 (Connection reset by peer))
02:36:53 --- join: skas_wk (n=skas@202-90-54-135.static.linearg.net) joined #forth
02:37:55 --- quit: ygrek (Remote closed the connection)
02:38:30 --- join: ygrek (i=user@gateway/tor/x-a5432d90f2592061) joined #forth
03:04:04 --- quit: skas_wk (Read error: 110 (Connection timed out))
03:04:40 --- join: skas_wk (n=skas@202-90-54-135.static.linearg.net) joined #forth
03:15:54 --- join: yumehito (n=yumehito@b-internet.87.103.254.70.snt.ru) joined #forth
03:27:53 --- join: yumehito_ (n=yumehito@b-internet.87.103.254.70.snt.ru) joined #forth
03:30:10 --- quit: yumehito (Read error: 145 (Connection timed out))
04:15:12 --- quit: yumehito_ (Read error: 110 (Connection timed out))
05:27:26 --- quit: ygrek ()
05:59:28 --- quit: skas_wk ("Leaving")
06:31:17 --- quit: nro (Read error: 131 (Connection reset by peer))
07:53:55 --- join: ygrek (i=user@gateway/tor/x-4f84284310960763) joined #forth
08:02:02 --- nick: timlarson__ -> timlarson
08:24:57 --- join: vatic (n=vatic@pool-162-84-152-182.ny5030.east.verizon.net) joined #forth
08:45:47 --- join: edrx (n=Eduardo@200.217.105.60) joined #forth
08:50:37 --- quit: edrx (Remote closed the connection)
08:55:32 <vatic> "Forth, C and FORTRAN have in common that they have no theoretical foundation." - Albert van der Horst
08:56:46 <Quartus> I have no idea what that's supposed to mean.
09:04:49 --- quit: vatic ()
09:07:08 <Shine> maybe he means that they are not based on some theory, e.g. like Lisp was initially based on lambda calculus
09:08:16 <Quartus> Even if that's what he means, it's just a random selection of languages to point at; the statement has no obvious or coherent meaning.
09:10:57 --- join: yumehito (n=yumehito@b-internet.87.103.254.70.snt.ru) joined #forth
09:12:25 <Shine> nevertheless it is interesting: languages like Haskell, which is pure functional and has good mathematical background for proving etc., or Scheme, which was designed from scratch, tends to be less useful than Lisp or Forth, which are a mix of common practice, without a clean foundation
09:13:45 <Quartus> Pragmatism is of more use to me than mathematical models.
09:27:15 --- quit: yumehito ("no cat anywhere ever gave anyone a straight answer")
09:41:36 --- join: ygrek_ (i=user@gateway/tor/x-83bcc301d87f8456) joined #forth
09:45:27 --- join: ygrek__ (i=user@gateway/tor/x-71ec6dddf0752001) joined #forth
09:46:47 --- join: yumehito (n=yumehito@b-internet.87.103.254.70.snt.ru) joined #forth
09:47:46 --- quit: Shain (zelazny.freenode.net irc.freenode.net)
09:48:08 --- join: Shain (i=steve@75.31.193.165) joined #forth
09:49:01 --- join: tgunr_ (n=davec@70-41-219-171.cust.wildblue.net) joined #forth
09:53:02 --- quit: tgunr (Operation timed out)
09:53:34 --- quit: ygrek (Remote closed the connection)
10:03:01 --- quit: ygrek_ (Remote closed the connection)
10:05:10 --- quit: tgunr_ ()
10:20:02 --- join: nighty^^ (n=nighty@sushi.rural-networks.com) joined #forth
10:32:37 --- quit: nighty^ (Connection timed out)
10:33:51 --- join: Snoopy42 (i=snoopy_1@dslb-084-058-100-180.pools.arcor-ip.net) joined #forth
11:28:07 --- join: vatic (n=vatic@pool-162-84-152-182.ny5030.east.verizon.net) joined #forth
11:31:32 --- quit: ayrnieu (Remote closed the connection)
12:14:37 --- quit: vatic (">poof<")
12:47:20 --- join: edrx (n=Eduardo@201.5.11.242) joined #forth
12:53:39 --- join: TheBlueWizard (i=TheBlueW@ts001d0595.wdc-dc.xod.concentric.net) joined #forth
13:08:07 --- quit: ygrek__ ()
13:13:30 --- quit: yumehito (No route to host)
13:18:21 --- quit: JasonWoof (Read error: 104 (Connection reset by peer))
13:20:17 --- quit: edrx (Remote closed the connection)
13:24:14 --- quit: gnomon (Read error: 110 (Connection timed out))
13:53:16 --- join: neceve (n=Clau@unaffiliated/neceve) joined #forth
13:53:34 --- quit: neceve (Read error: 104 (Connection reset by peer))
14:01:01 --- join: segher__ (n=segher@dslb-084-056-147-226.pools.arcor-ip.net) joined #forth
14:05:39 --- part: TheBlueWizard left #forth
14:13:11 --- quit: segher_ (Read error: 110 (Connection timed out))
14:19:30 --- join: luptenschteiner (i=fallback@ppp5-174.lns10.adl2.internode.on.net) joined #forth
14:20:32 --- join: wanderer__ (i=fallback@ppp24-233.lns10.adl2.internode.on.net) joined #forth
14:36:44 --- quit: probonono (Read error: 110 (Connection timed out))
14:37:36 --- quit: luptenschteiner (Read error: 110 (Connection timed out))
14:39:26 --- join: slava (n=slava@CPE0080ad77a020-CM000e5cdfda14.cpe.net.cable.rogers.com) joined #forth
14:39:34 --- mode: ChanServ set +o slava
14:54:25 --- join: gnomon (n=gnomon@CPE0050eb372bdb-CM001692f57b56.cpe.net.cable.rogers.com) joined #forth
15:00:17 --- join: skas_wk (n=skas@121.127.198.32) joined #forth
15:00:54 --- part: skas_wk left #forth
15:54:06 --- join: skas_wk (n=skas@121.127.198.32) joined #forth
16:21:18 --- part: skas_wk left #forth
16:48:24 --- join: segher_ (n=segher@dslb-084-056-191-245.pools.arcor-ip.net) joined #forth
17:00:08 --- quit: segher__ (Read error: 110 (Connection timed out))
17:48:57 --- join: segher__ (n=segher@dslb-084-056-176-178.pools.arcor-ip.net) joined #forth
17:57:25 --- quit: segher_ (Read error: 110 (Connection timed out))
19:14:37 --- join: JasonWoof (n=jason@c-71-192-30-169.hsd1.ma.comcast.net) joined #forth
19:14:37 --- mode: ChanServ set +o JasonWoof
19:23:29 --- join: skas_wk (n=skas@121.127.198.32) joined #forth
20:25:11 --- join: yumehito (n=yumehito@b-internet.87.103.254.70.snt.ru) joined #forth
20:32:07 --- quit: skas_wk ("Leaving")
20:50:55 --- join: skas_wk (n=skas@121.127.198.32) joined #forth
20:51:19 --- quit: nighty^^ ("Disappears in a puff of smoke")
21:53:21 --- quit: gnomon (Read error: 60 (Operation timed out))
23:46:52 --- join: ecraven (i=nex@eutyche.swe.uni-linz.ac.at) joined #forth
23:56:28 --- quit: skas_wk ("Leaving")
23:59:59 --- log: ended forth/07.05.06