00:00:00 --- log: started forth/14.01.12 00:02:39 --- join: ncv (~quassel@unaffiliated/neceve) joined #forth 00:04:02 --- join: asie (~textual@078088168214.elblag.vectranet.pl) joined #forth 01:44:30 --- quit: asie (Quit: I'll probably come back in either 20 minutes or 8 hours.) 02:05:09 --- join: tangentstorm (~michal@108-218-151-22.lightspeed.rcsntx.sbcglobal.net) joined #forth 02:16:48 --- join: true-grue (~quassel@95-26-118-40.broadband.corbina.ru) joined #forth 02:38:20 --- quit: mnemnion (Remote host closed the connection) 02:38:29 --- quit: kludge` (Ping timeout: 245 seconds) 02:44:19 --- join: kludge` (~comet@unaffiliated/espiral) joined #forth 03:08:48 --- join: Anarch_ (~olaf@c-67-183-64-49.hsd1.wa.comcast.net) joined #forth 03:13:38 --- quit: Anarch (*.net *.split) 03:13:40 --- quit: bjorkintosh (*.net *.split) 03:13:44 --- quit: malyn (*.net *.split) 03:13:49 --- quit: luptenschteiner (*.net *.split) 03:13:50 --- quit: goingretro (*.net *.split) 03:13:53 --- quit: bluekelp (*.net *.split) 03:13:55 --- quit: KipIngram (*.net *.split) 03:13:55 --- quit: kludge` (*.net *.split) 03:13:56 --- quit: tangentstorm (*.net *.split) 03:13:59 --- quit: estevocastro (*.net *.split) 03:14:00 --- quit: nighty- (*.net *.split) 03:14:01 --- quit: dys (*.net *.split) 03:14:03 --- quit: djinni (*.net *.split) 03:14:08 --- quit: karswell (*.net *.split) 03:14:09 --- quit: john_metcalf (*.net *.split) 03:14:11 --- quit: newcup (*.net *.split) 03:14:17 --- quit: ncv (*.net *.split) 03:14:25 --- quit: carc (*.net *.split) 03:14:26 --- quit: sklr_ (*.net *.split) 03:14:27 --- quit: gordonjcp (*.net *.split) 03:14:29 --- quit: Backer (*.net *.split) 03:14:30 --- quit: drobban_ (*.net *.split) 03:14:36 --- quit: joneshf-laptop (*.net *.split) 03:14:38 --- quit: I440r (*.net *.split) 03:14:38 --- quit: TodPunk (*.net *.split) 03:14:41 --- quit: impomatic (*.net *.split) 03:14:44 --- quit: c00kiemon5ter (*.net *.split) 03:14:46 --- quit: Adeon (*.net *.split) 03:14:47 --- quit: true-grue (*.net *.split) 03:14:48 --- quit: nighty^ (*.net *.split) 03:14:52 --- quit: yunfan (*.net *.split) 03:14:53 --- quit: ttmrichter (*.net *.split) 03:14:57 --- quit: ASau (*.net *.split) 03:15:01 --- quit: yiyus (*.net *.split) 03:15:01 --- quit: C-Keen (*.net *.split) 03:15:02 --- quit: dzho (*.net *.split) 03:15:08 --- quit: crc (*.net *.split) 03:15:14 --- quit: kulp (*.net *.split) 03:57:35 --- join: kulp (kulp@unaffiliated/kulp) joined #forth 03:57:35 --- join: crc (sid2647@gateway/web/irccloud.com/x-lqabaeucqstzszjc) joined #forth 03:57:35 --- join: bjorkintosh (~bjork@ip68-13-229-200.ok.ok.cox.net) joined #forth 03:57:35 --- join: john_metcalf (~john_metc@206.181.208.46.dyn.plus.net) joined #forth 03:57:35 --- join: kludge` (~comet@unaffiliated/espiral) joined #forth 03:57:35 --- join: true-grue (~quassel@95-26-118-40.broadband.corbina.ru) joined #forth 03:57:35 --- join: ncv (~quassel@unaffiliated/neceve) joined #forth 03:57:35 --- join: karswell (~user@239.54.125.91.dyn.plus.net) joined #forth 03:57:35 --- join: nighty^ (~nighty@lns-bzn-49f-62-147-170-46.adsl.proxad.net) joined #forth 03:57:35 --- join: joneshf-laptop (~joneshf@086.112-30-64.ftth.swbr.surewest.net) joined #forth 03:57:35 --- join: impomatic (~digital_w@206.181.208.46.dyn.plus.net) joined #forth 03:57:35 --- join: ASau (~user@p5083D99A.dip0.t-ipconnect.de) joined #forth 03:57:35 --- join: carc (~carc@unaffiliated/carc) joined #forth 03:57:35 --- join: dys (~user@2a01:1e8:e100:8296:21a:4dff:fe4e:273a) joined #forth 03:57:35 --- join: luptenschteiner (~User@unaffiliated/probonono) joined #forth 03:57:35 --- join: I440r (~mark4@cpe-192-136-220-10.tx.res.rr.com) joined #forth 03:57:35 --- join: bluekelp (~bluekelp@bluekelp.com) joined #forth 03:57:35 --- join: goingretro (~kbmaniac@host81-132-82-237.range81-132.btcentralplus.com) joined #forth 03:57:35 --- join: djinni (~djinni@li125-242.members.linode.com) joined #forth 03:57:35 --- join: TodPunk (~Tod@50-198-177-185-static.hfc.comcastbusiness.net) joined #forth 03:57:35 --- join: estevocastro (~estevocas@95.85.29.193) joined #forth 03:57:35 --- join: malyn (~malyn@unaffiliated/malyn) joined #forth 03:57:35 --- join: gordonjcp (~gordonjcp@aramaki.gjcp.net) joined #forth 03:57:35 --- join: drobban_ (~drobban@unaffiliated/robban-/x-2743946) joined #forth 03:57:35 --- join: nighty- (~nighty@static-68-179-124-161.ptr.terago.net) joined #forth 03:57:35 --- join: newcup (newcup@peruna.fi) joined #forth 03:57:35 --- join: KipIngram (~KipIngram@209.40.205.22) joined #forth 03:57:35 --- join: sklr_ (~clarkema@31.222.178.169) joined #forth 03:57:35 --- join: Backer (~backer@user-387h39d.cable.mindspring.com) joined #forth 03:57:35 --- join: c00kiemon5ter (~c00kiemon@foss-aueb/coder/c00kiemon5ter) joined #forth 03:57:35 --- join: yiyus (1242712427@je.je.je) joined #forth 03:57:35 --- join: C-Keen (cckeen@pestilenz.org) joined #forth 03:57:35 --- join: dzho (~deejoe@unaffiliated/dzho) joined #forth 03:57:35 --- join: yunfan (~root@192.241.238.111) joined #forth 03:57:35 --- join: ttmrichter (~ttmrichte@192.241.205.8) joined #forth 03:57:35 --- join: Adeon (~valaat@109.73.169.52) joined #forth 03:57:35 --- mode: hubbard.freenode.net set +o I440r 03:59:02 --- quit: Anarch_ (Quit: WILL TROLL FOR FOOD) 04:38:40 --- join: mnemnion (~mnemnion@c-98-210-219-91.hsd1.ca.comcast.net) joined #forth 04:38:45 --- join: fox__ (~fox@125.39.68.34) joined #forth 04:42:58 --- quit: mnemnion (Ping timeout: 245 seconds) 04:54:25 --- join: nighty-_ (~nighty@lns-bzn-49f-62-147-170-46.adsl.proxad.net) joined #forth 05:01:29 --- quit: nighty-_ (Quit: Disappears in a puff of smoke) 05:05:17 --- join: nighty-_ (~nighty@lns-bzn-49f-62-147-170-46.adsl.proxad.net) joined #forth 05:14:12 --- quit: nighty-_ (Quit: Disappears in a puff of smoke) 05:51:11 --- join: fantazo (~fantazo@213.129.230.10) joined #forth 06:38:55 --- join: mnemnion (~mnemnion@c-98-210-219-91.hsd1.ca.comcast.net) joined #forth 06:43:20 --- quit: mnemnion (Ping timeout: 248 seconds) 07:04:00 --- nick: Guest17140 -> rprimus 07:06:26 --- join: Eth|cal (~sam@139.216.253.31) joined #forth 07:35:35 --- join: ASau` (~user@p54AFEFDB.dip0.t-ipconnect.de) joined #forth 07:36:39 --- quit: ASau (Ping timeout: 246 seconds) 07:46:26 --- join: Zarutian (~zarutian@194-144-84-110.du.xdsl.is) joined #forth 07:57:28 --- join: nighty-_ (~nighty@lns-bzn-49f-62-147-170-46.adsl.proxad.net) joined #forth 07:57:54 --- quit: nighty-_ (Remote host closed the connection) 08:11:17 --- join: klltkr (~textual@unaffiliated/klltkr) joined #forth 08:28:46 --- nick: ASau` -> ASau 09:42:46 --- join: mnemnion (~mnemnion@c-98-210-219-91.hsd1.ca.comcast.net) joined #forth 10:32:42 --- join: kumul (~mool@adsl-64-237-224-155.prtc.net) joined #forth 11:47:04 --- quit: john_metcalf (Ping timeout: 272 seconds) 11:47:27 --- join: john_metcalf (~john_metc@206.181.208.46.dyn.plus.net) joined #forth 12:07:59 --- join: obobo (~d@dyn-dsl-mb-216-168-118-247.nexicom.net) joined #forth 12:45:29 --- quit: true-grue (Read error: Connection reset by peer) 12:57:36 --- quit: kumul (Ping timeout: 252 seconds) 13:01:48 --- quit: bjorkintosh (Ping timeout: 240 seconds) 13:04:35 --- join: kumul (~mool@adsl-173-228-245-186.prtc.net) joined #forth 13:08:41 --- join: kumool (~mool@adsl-64-237-224-155.prtc.net) joined #forth 13:11:37 --- quit: kumul (Ping timeout: 252 seconds) 13:14:20 --- quit: kumool (Quit: Leaving) 13:15:22 --- quit: fantazo (Ping timeout: 260 seconds) 13:42:36 --- quit: john_metcalf (Ping timeout: 248 seconds) 13:43:31 --- quit: impomatic (Ping timeout: 253 seconds) 13:55:12 --- join: impomatic (~digital_w@15.50.125.91.dyn.plus.net) joined #forth 14:16:03 --- quit: impomatic (Ping timeout: 246 seconds) 14:16:42 --- join: impomatic (~digital_w@15.50.125.91.dyn.plus.net) joined #forth 14:31:03 --- join: john_metcalf (~john_metc@15.50.125.91.dyn.plus.net) joined #forth 14:40:17 --- join: frujrt (~androirc@pD9E24F29.dip0.t-ipconnect.de) joined #forth 14:40:40 Join #raspbian 14:41:30 --- quit: frujrt (Client Quit) 14:41:52 --- join: strv (~androirc@pD9E24F29.dip0.t-ipconnect.de) joined #forth 14:43:22 --- part: strv left #forth 14:51:58 --- join: kumul (~mool@adsl-64-237-224-155.prtc.net) joined #forth 15:45:39 --- join: obobo_ (~d@dyn-98-124-34-16.nexicom.net) joined #forth 15:45:39 --- quit: obobo (Read error: Connection reset by peer) 16:28:41 --- quit: fox__ (Ping timeout: 252 seconds) 16:30:42 --- join: fox__ (~fox@125.39.68.42) joined #forth 16:38:40 --- join: spoofer (~cruella@72.10.28.164) joined #forth 16:52:05 --- quit: Zarutian (Quit: Zarutian) 17:17:09 --- quit: mnemnion (Remote host closed the connection) 17:21:26 --- quit: spoofer (Remote host closed the connection) 17:23:39 --- quit: djinni (Ping timeout: 264 seconds) 17:23:56 --- join: spoofer (~cruella@72.10.28.164) joined #forth 17:25:36 --- join: djinni (~djinni@li125-242.members.linode.com) joined #forth 17:30:20 --- join: goingretro2 (~kbmaniac@host81-132-82-237.range81-132.btcentralplus.com) joined #forth 17:30:21 --- quit: goingretro (Read error: Connection reset by peer) 18:07:46 --- quit: goingretro2 (Ping timeout: 272 seconds) 18:20:02 --- join: obobo__ (~d@dyn-98-124-30-167.nexicom.net) joined #forth 18:23:38 --- quit: obobo_ (Ping timeout: 245 seconds) 18:33:45 --- join: AndroUser2 (~androirc@pD9E24F29.dip0.t-ipconnect.de) joined #forth 19:02:22 --- join: mnemnion (~mnemnion@c-98-210-219-91.hsd1.ca.comcast.net) joined #forth 19:13:47 --- quit: spoofer (Remote host closed the connection) 19:34:29 --- join: tangentstorm (~michal@108-218-151-22.lightspeed.rcsntx.sbcglobal.net) joined #forth 20:02:34 have you guys ever read http://sam-falvo.github.io/2010/02/27/declarative-imperative-then-inquisitive/ ? 20:09:04 --- quit: fox__ (Quit: fox__) 20:09:37 --- join: fox__ (~fox@125.39.68.42) joined #forth 20:27:50 --- join: Bahman (~Bahman@82.99.195.2) joined #forth 20:35:17 --- quit: ncv (Remote host closed the connection) 21:24:29 --- quit: AndroUser2 (Ping timeout: 245 seconds) 21:31:47 --- join: bjorkintosh (~bjork@ip68-13-229-200.ok.ok.cox.net) joined #forth 22:01:40 tangentstorm: nope; sounds interesting though 22:10:18 it took me a couple readings to understand it 22:10:59 or at least start to understand it. :) 22:12:29 i think the idea is basically like a guarded command, where you're asserting a precondition... except that if the precondition fails it can either take steps to make the condition true or else prevent the code from executing. 22:13:57 --- join: true-grue (~quassel@176.14.154.187) joined #forth 22:16:40 tangentstorm: That's what it read like to me. 22:16:47 ON THE FIRST READING BWAHAHAHAHAHAHAHAHAHAHAAH! 22:16:59 (To be fair, though, I'm pretty much steeped in declarative programming these days.) 22:19:27 i think my issue at the time was that i didn't understand the forth words at all :) 22:19:39 Oh, I see. 22:19:59 but then again... maybe i didn't understand the declarative / logic part either. 22:20:09 i've been working through a course on formal methods 22:24:52 --- join: Anarch (~olaf@c-67-183-64-49.hsd1.wa.comcast.net) joined #forth 22:37:07 --- quit: fox__ (Remote host closed the connection) 22:56:03 --- quit: kumul (Quit: Leaving) 23:32:48 --- join: kumul (~mool@adsl-64-237-224-155.prtc.net) joined #forth 23:43:34 --- quit: tangentstorm (Ping timeout: 245 seconds) 23:44:27 --- join: tangentstorm (~michal@108-218-151-22.lightspeed.rcsntx.sbcglobal.net) joined #forth 23:59:59 --- log: ended forth/14.01.12