00:02:29 reified: antlr/parsec/etc grammars, build system configs and .vimrc/.emacs files count? 00:02:52 -!- masm [~masm@bl16-180-46.dsl.telepac.pt] has quit [Quit: Leaving.] 00:02:55 not sure if .emacs counts 00:03:48 chandler: ...oops. 00:04:20 parsec ... thats interesting, since its just a haskell library right, no syntax extensions 00:04:36 Mr-Cat: I was just wondering about your earlier statement about languages, and was wondering if you had tried using a language to build a DSL for a problem domain 00:14:23 reified: I tried to design a library for user input validation in one c# application (not sure whether I succeeded or not). But there is I think a good example of a dsl built with a simple OO language (python) - it's "scons" build system. 00:26:47 acarrico [~acarrico@pppoe-68-142-40-94.gmavt.net] has joined #scheme 00:36:58 -!- reified [~reified@usr018.bb160-01.udk.im.wakwak.ne.jp] has quit [Quit: reified] 00:47:15 rbarraud [~rbarraud@118-92-15-104.dsl.dyn.ihug.co.nz] has joined #scheme 00:54:57 reified [~reified@usr018.bb160-01.udk.im.wakwak.ne.jp] has joined #scheme 00:55:32 http://ideone.com/YuDm8 01:00:34 This is an intimidating languge for sure 01:01:55 It has { } but it is not C. It uses prefix notation but it does not look lispy... 01:01:59 -!- reified [~reified@usr018.bb160-01.udk.im.wakwak.ne.jp] has quit [Quit: reified] 01:02:17 -!- Fare [~Fare@ita4fw1.itasoftware.com] has quit [Ping timeout: 276 seconds] 01:11:14 Mr-Cat, hahah hehehe 01:11:19 :D 01:11:36 *araujo* wonders if he can use that quote from Mr-Cat in his web site 01:13:46 that is not very idiomatic lua I guess? :) 01:14:10 Fare [~Fare@63.107.91.99] has joined #scheme 01:14:11 heh 01:14:27 I am kind of combining smalltalk/lisp/perl/tcl 01:14:42 lisp and scheme 01:22:26 -!- klovett [~klovett@c-67-180-97-38.hsd1.ca.comcast.net] has quit [Quit: klovett] 01:29:30 SirNick [~nick@c-67-160-151-16.hsd1.wa.comcast.net] has joined #scheme 01:30:34 neilv [~user@dsl092-071-029.bos1.dsl.speakeasy.net] has joined #scheme 01:30:34 -!- neilv [~user@dsl092-071-029.bos1.dsl.speakeasy.net] has quit [Changing host] 01:30:34 neilv [~user@unaffiliated/neilv] has joined #scheme 01:32:28 paperkettles [~chris@ip72-195-132-159.ri.ri.cox.net] has joined #scheme 01:41:32 If it is perl, it needs more regexps I guess 01:43:19 -!- SirNick [~nick@c-67-160-151-16.hsd1.wa.comcast.net] has quit [Ping timeout: 265 seconds] 01:52:15 drwho [~drwho@c-68-63-83-105.hsd1.pa.comcast.net] has joined #scheme 01:52:42 -!- bgs100 [~ian@unaffiliated/bgs100] has quit [Quit: Leaving] 01:53:29 SirNick [~nick@c-67-160-151-16.hsd1.wa.comcast.net] has joined #scheme 01:56:23 bgs100 [~ian@h49.37.28.71.dynamic.ip.windstream.net] has joined #scheme 01:56:23 -!- bgs100 [~ian@h49.37.28.71.dynamic.ip.windstream.net] has quit [Changing host] 01:56:23 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 01:58:47 Adamant [~Adamant@unaffiliated/adamant] has joined #scheme 02:03:12 -!- kniu [~kniu@HOHOHO.RES.CMU.EDU] has quit [Read error: Connection reset by peer] 02:05:08 reified [~reified@usr018.bb160-01.udk.im.wakwak.ne.jp] has joined #scheme 02:06:30 kniu [~kniu@HOHOHO.RES.CMU.EDU] has joined #scheme 02:15:13 -!- Mr-Cat [59b2e62a@gateway/web/freenode/ip.89.178.230.42] has quit [Quit: Page closed] 02:33:33 -!- rbarraud [~rbarraud@118-92-15-104.dsl.dyn.ihug.co.nz] has quit [Remote host closed the connection] 02:49:11 -!- reified [~reified@usr018.bb160-01.udk.im.wakwak.ne.jp] has quit [Quit: reified] 02:52:36 timj_ [~timj@e176192249.adsl.alicedsl.de] has joined #scheme 02:53:04 -!- RageOfThou [~RageOfTho@users-55-192.vinet.ba] has quit [Ping timeout: 240 seconds] 02:55:58 -!- timj [~timj@e176193179.adsl.alicedsl.de] has quit [Ping timeout: 245 seconds] 03:00:00 jlongster [~user@c-71-204-23-22.hsd1.ga.comcast.net] has joined #scheme 03:08:26 reified [~reified@usr018.bb160-01.udk.im.wakwak.ne.jp] has joined #scheme 03:15:35 -!- bgs100 [~ian@unaffiliated/bgs100] has quit [Quit: Leaving] 03:15:36 rbarraud [~rbarraud@118-92-15-104.dsl.dyn.ihug.co.nz] has joined #scheme 03:37:45 -!- reified [~reified@usr018.bb160-01.udk.im.wakwak.ne.jp] has quit [Quit: reified] 03:40:58 -!- jlongster [~user@c-71-204-23-22.hsd1.ga.comcast.net] has quit [Ping timeout: 245 seconds] 03:49:09 -!- Hal9k [~Lernaean@unaffiliated/kusanagi] has quit [] 04:08:02 -!- kniu [~kniu@HOHOHO.RES.CMU.EDU] has quit [Ping timeout: 255 seconds] 04:11:13 -!- rbarraud [~rbarraud@118-92-15-104.dsl.dyn.ihug.co.nz] has quit [Ping timeout: 252 seconds] 04:22:43 kniu [~kniu@CMU-311358.WV.CC.CMU.EDU] has joined #scheme 04:24:16 http://ideone.com/fIqhI 04:24:21 with some closures examples :P 04:30:14 -!- davazp [~user@184.Red-79-154-140.dynamicIP.rima-tde.net] has quit [Remote host closed the connection] 04:31:39 Riastrad1 [debian-tor@fsf/member/riastradh] has joined #scheme 04:34:43 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 245 seconds] 04:37:33 -!- hohoho [~hohoho@ntkngw229253.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote host closed the connection] 04:38:15 reified [~reified@usr018.bb160-01.udk.im.wakwak.ne.jp] has joined #scheme 04:38:23 -!- reified [~reified@usr018.bb160-01.udk.im.wakwak.ne.jp] has quit [Client Quit] 04:41:03 hohoho [~hohoho@ntkngw229253.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 04:41:10 -!- Riastrad1 is now known as Riastradh 04:43:59 rbarraud [~rbarraud@118-92-15-104.dsl.dyn.ihug.co.nz] has joined #scheme 04:47:13 -!- hohoho [~hohoho@ntkngw229253.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote host closed the connection] 04:49:42 -!- Fare [~Fare@63.107.91.99] has quit [Ping timeout: 272 seconds] 05:01:45 Fare [~Fare@ita4fw1.itasoftware.com] has joined #scheme 05:03:05 araujo: what is this 05:03:48 Quadrescence, a small language I am writing 05:04:59 -!- SirNick [~nick@c-67-160-151-16.hsd1.wa.comcast.net] has quit [Quit: Leaving...] 05:10:34 araujo: in what language 05:10:45 Quadrescence, ObjectiveC 05:11:47 And it is not a random reason ... I am using the dynamic dispatch and object model of this language to implement this one 05:12:13 For example, everything you see there is either an object or a message 05:12:46 araujo: you should use [ not { 05:13:02 well .. well... 05:13:08 :D 05:13:11 heh 05:13:19 think of how much fun it would be to type then!!!! 05:13:48 as usually happens, these things are a matter of taste too ... but the thing is I am taking ideas from smalltalk/perl/tcl/scheme&lisp 05:14:13 I find braces more familiar for function bodies 05:14:38 though what you see there is a block ... but since I am planning to use the block as the main function body definition ....... 05:15:40 Your parsing seems odd 05:15:46 + fib x fib y 05:17:02 it is polish notation 05:17:13 (+ (fib x) (fib y)) 05:17:16 that works too 05:17:30 Well what if you wanted to give fib as an arg 05:17:32 and not fib x 05:17:42 or y for that matter 05:18:48 if it is not in an function call context, you can pass it like just "fib" ..... for example, you can do ..... set fib' fib 05:19:19 if not, I guess you would need to use a block ... { fib } 05:19:46 Quadrescence, also, still plenty of things to define hehe :P 05:20:54 araujo: Maybe use the Haskell mannerism in that case 05:44:53 -!- neilv [~user@unaffiliated/neilv] has left #scheme 06:13:13 ski [~slj@c-3810e055.1149-1-64736c10.cust.bredbandsbolaget.se] has joined #scheme 06:18:48 -!- mjonsson [~mjonsson@cpe-98-14-173-5.nyc.res.rr.com] has quit [Remote host closed the connection] 06:27:26 -!- adadglgmut [~steve@cpe-65-25-14-11.neo.res.rr.com] has quit [Max SendQ exceeded] 06:29:00 adadglgmut [~steve@cpe-65-25-14-11.neo.res.rr.com] has joined #scheme 06:33:09 Hal9k [~Lernaean@unaffiliated/kusanagi] has joined #scheme 06:36:29 -!- luz [~davids@186.205.48.47] has quit [Quit: Client exiting] 06:50:09 -!- Hal9k [~Lernaean@unaffiliated/kusanagi] has quit [] 06:50:42 Hal9k [~Lernaean@unaffiliated/kusanagi] has joined #scheme 06:51:38 bpalmer` [~user@unaffiliated/bpalmer] has joined #scheme 06:54:34 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 252 seconds] 07:06:17 githogori [~githogori@65.197.200.12] has joined #scheme 07:30:37 -!- Adamant [~Adamant@unaffiliated/adamant] has quit [Remote host closed the connection] 07:30:51 Adamant [~Adamant@unaffiliated/adamant] has joined #scheme 07:36:23 -!- wgd [~will@76-205-0-91.lightspeed.stlsmo.sbcglobal.net] has quit [Ping timeout: 245 seconds] 07:37:13 wgd [~will@76-205-0-91.lightspeed.stlsmo.sbcglobal.net] has joined #scheme 07:44:57 alaricsp [~alaric@geniedb.hotdesktop.biz] has joined #scheme 07:53:14 -!- alaricsp [~alaric@geniedb.hotdesktop.biz] has quit [Remote host closed the connection] 07:58:11 echo-area [~echo-area@114.251.86.0] has joined #scheme 07:59:55 -!- Quadrescence [~Quad@unaffiliated/quadrescence] has quit [Read error: Connection reset by peer] 08:11:55 lbc_ [~lbc@1908ds1-aboes.0.fullrate.dk] has joined #scheme 08:12:24 masm [~masm@bl16-180-46.dsl.telepac.pt] has joined #scheme 08:15:44 femtoo [~femto@95-89-248-241-dynip.superkabel.de] has joined #scheme 08:16:11 gravicappa [~gravicapp@ppp85-140-66-38.pppoe.mtu-net.ru] has joined #scheme 08:18:31 -!- echo-area [~echo-area@114.251.86.0] has quit [Remote host closed the connection] 08:26:04 -!- kniu [~kniu@CMU-311358.WV.CC.CMU.EDU] has quit [Ping timeout: 240 seconds] 08:29:58 darkmag [~vfalico@91.137.20.132] has joined #scheme 08:31:16 SirNick [~nick@c-67-160-151-16.hsd1.wa.comcast.net] has joined #scheme 08:41:41 kniu [~kniu@HOHOHO.RES.CMU.EDU] has joined #scheme 08:47:38 -!- SirNick [~nick@c-67-160-151-16.hsd1.wa.comcast.net] has quit [Ping timeout: 276 seconds] 08:50:30 mmc [~michal@cs190095.pp.htv.fi] has joined #scheme 08:50:48 -!- darkmag [~vfalico@91.137.20.132] has quit [Ping timeout: 240 seconds] 09:00:14 dzhus [~sphinx@89-178-139-217.broadband.corbina.ru] has joined #scheme 09:03:06 -!- kephas [~pierre@AStrasbourg-551-1-83-249.w81-51.abo.wanadoo.fr] has quit [Remote host closed the connection] 09:13:47 pchrist_ [~spirit@gentoo/developer/pchrist] has joined #scheme 09:14:59 -!- paperkettles [~chris@ip72-195-132-159.ri.ri.cox.net] has quit [Ping timeout: 276 seconds] 09:15:53 choas [~lars@p578F6F8A.dip.t-dialin.net] has joined #scheme 09:16:27 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Ping timeout: 252 seconds] 09:18:17 paperkettles [~chris@ip72-195-132-159.ri.ri.cox.net] has joined #scheme 09:40:22 nowhere_man [~pierre@AStrasbourg-551-1-10-176.w86-213.abo.wanadoo.fr] has joined #scheme 09:40:24 -!- masm [~masm@bl16-180-46.dsl.telepac.pt] has quit [Ping timeout: 272 seconds] 09:40:43 nowhereman [~pierre@AStrasbourg-551-1-10-176.w86-213.abo.wanadoo.fr] has joined #scheme 09:43:20 sepp2k__ [~sexy@p548CAE86.dip.t-dialin.net] has joined #scheme 09:45:38 -!- nowhere_man [~pierre@AStrasbourg-551-1-10-176.w86-213.abo.wanadoo.fr] has quit [Ping timeout: 272 seconds] 09:46:47 -!- sepp2k_ [~sexy@p548CF216.dip.t-dialin.net] has quit [Ping timeout: 276 seconds] 09:46:58 -!- sepp2k__ [~sexy@p548CAE86.dip.t-dialin.net] has quit [Client Quit] 09:47:19 sepp2k [~sexy@p548CAE86.dip.t-dialin.net] has joined #scheme 09:48:40 echo-area [~echo-area@114.251.86.0] has joined #scheme 09:53:29 -!- rrm3 [~rrm3@rrm3.org] has quit [Ping timeout: 276 seconds] 09:53:43 darkmag [~vfalico@guest-docking-nat-1-049.ethz.ch] has joined #scheme 09:53:47 rrm3 [~rrm3@rrm3.org] has joined #scheme 09:54:08 -!- felipe [~felipe@my.nada.kth.se] has quit [Ping timeout: 276 seconds] 09:57:14 pdelgallego [~pdelgalle@1503031474.dhcp.dbnet.dk] has joined #scheme 10:00:51 -!- darkmag [~vfalico@guest-docking-nat-1-049.ethz.ch] has quit [Quit: Leaving.] 10:02:37 masm [~masm@bl16-180-46.dsl.telepac.pt] has joined #scheme 10:46:14 pjb [~t@81.202.16.46.dyn.user.ono.com] has joined #scheme 10:56:01 -!- snorble [~none@s83-179-14-105.cust.tele2.se] has left #scheme 11:07:37 fradgers- [~fradgers-@5e0aadb6.bb.sky.com] has joined #scheme 11:08:12 Blkt [~user@net-93-151-225-193.cust.dsl.teletu.it] has joined #scheme 11:10:36 good evening everyone 11:10:56 err, afternoon 11:16:25 -!- nowhereman [~pierre@AStrasbourg-551-1-10-176.w86-213.abo.wanadoo.fr] has quit [Read error: Connection reset by peer] 11:16:35 nowhereman [~pierre@AStrasbourg-551-1-10-176.w86-213.abo.wanadoo.fr] has joined #scheme 11:16:39 -!- nowhereman [~pierre@AStrasbourg-551-1-10-176.w86-213.abo.wanadoo.fr] has quit [Client Quit] 11:16:55 nowhereman [~pierre@AStrasbourg-551-1-10-176.w86-213.abo.wanadoo.fr] has joined #scheme 11:20:58 -!- `micro [~micro@www.bway.net] has quit [Ping timeout: 245 seconds] 11:26:48 schmir [~schmir@p54A90E21.dip0.t-ipconnect.de] has joined #scheme 11:35:48 -!- schmir [~schmir@p54A90E21.dip0.t-ipconnect.de] has quit [Ping timeout: 240 seconds] 11:40:01 -!- rbarraud [~rbarraud@118-92-15-104.dsl.dyn.ihug.co.nz] has quit [Ping timeout: 252 seconds] 11:54:12 -!- mmc [~michal@cs190095.pp.htv.fi] has quit [Quit: Leaving.] 11:54:13 mmc1 [~michal@cs190095.pp.htv.fi] has joined #scheme 11:55:00 sepp2k_ [~sexy@p548CCEB1.dip.t-dialin.net] has joined #scheme 11:58:28 -!- sepp2k [~sexy@p548CAE86.dip.t-dialin.net] has quit [Ping timeout: 272 seconds] 11:59:16 -!- mmc1 [~michal@cs190095.pp.htv.fi] has quit [Ping timeout: 272 seconds] 12:02:26 snorble [~snorble@s83-179-14-105.cust.tele2.se] has joined #scheme 12:03:37 mmc [~michal@cs190095.pp.htv.fi] has joined #scheme 12:26:40 fantazo [~fantazo@213.129.230.10] has joined #scheme 12:28:06 how would you implement a domain specific language, which runs in it's own "sandbox" basically that what (eval commands execution-environment) should be 12:28:29 I'm only thinking about reimplementing eval 12:30:10 -!- pchrist_ [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 12:30:46 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 12:34:41 -!- mmc [~michal@cs190095.pp.htv.fi] has quit [Ping timeout: 276 seconds] 12:41:21 fantazo: in many implementations, it is possible to explictly construct the environment used for `eval'. E.g. in R6RS, you can construct and environment from library references. 12:42:10 and in a r5rs scheme like chicken scheme? 12:42:39 however, that won't give you sandboxing in terms of CPU or memory use. Racket has facilities for doing this, but I don't know details. 12:42:43 I fear that I need basically to reimplement eval 12:43:47 fantazo: Chicken has a "sandbox" egg you might want to look into 12:49:09 mmc [~michal@cs185051.pp.htv.fi] has joined #scheme 12:57:35 -!- snorble [~snorble@s83-179-14-105.cust.tele2.se] has quit [Remote host closed the connection] 12:59:55 davazp [~user@184.Red-79-154-140.dynamicIP.rima-tde.net] has joined #scheme 13:00:23 snorble [~snorble@s83-179-14-105.cust.tele2.se] has joined #scheme 13:01:58 -!- ijp [~Ian@host109-153-30-239.range109-153.btcentralplus.com] has quit [Ping timeout: 272 seconds] 13:05:59 Modius [~Modius@cpe-24-28-30-165.austin.res.rr.com] has joined #scheme 13:10:03 -!- jmcphers [~jmcphers@218.185.108.156] has quit [Remote host closed the connection] 13:10:49 jmcphers [~jmcphers@218.185.108.156] has joined #scheme 13:22:37 hohoho [~hohoho@ntkngw229253.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 13:30:08 -!- sepp2k_ [~sexy@p548CCEB1.dip.t-dialin.net] has quit [Ping timeout: 245 seconds] 13:32:27 homie [~user@xdsl-87-79-53-71.netcologne.de] has joined #scheme 13:32:27 wbooze [~user@xdsl-87-79-53-71.netcologne.de] has joined #scheme 13:48:15 -!- lbc_ [~lbc@1908ds1-aboes.0.fullrate.dk] has quit [Quit: lbc_] 13:59:41 -!- davazp [~user@184.Red-79-154-140.dynamicIP.rima-tde.net] has quit [Remote host closed the connection] 14:02:54 DrDuck [~duck@146.229.118.133] has joined #scheme 14:04:22 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 14:05:12 zeroish [~zeroish@135.207.174.50] has joined #scheme 14:05:24 MrFahrenheit [~RageOfTho@users-33-239.vinet.ba] has joined #scheme 14:07:54 BW^- [~Miranda@92.83.174.24] has joined #scheme 14:07:55 Is anyone here knowledgable of Oleg's KANREN? 14:08:31 http://kanren.sourceforge.net/ 14:09:04 i'm trying to get a clue of how it can be used 14:09:31 the tutorial at www.cs.indiana.edu/l/www/classes/b521/qs.ps is very descriptive but i don't exactly get the point 14:19:33 BW^-: try using it on problems logic/constraint systems tend to be good on anyway? 14:20:37 -!- DrDuck [~duck@146.229.118.133] has quit [Ping timeout: 252 seconds] 14:31:25 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 14:32:50 ijp [~Ian@host109-154-216-93.range109-154.btcentralplus.com] has joined #scheme 14:35:27 -!- atomx [~user@93.112.81.240] has quit [Read error: Connection reset by peer] 14:36:39 micro_ [~micro@www.bway.net] has joined #scheme 14:37:09 -!- micro_ is now known as micro- 14:44:16 adamant: bbl 14:44:20 -!- BW^- [~Miranda@92.83.174.24] has quit [Quit: Miranda IM! Smaller, Faster, Easier. http://miranda-im.org] 14:46:29 -!- acarrico [~acarrico@pppoe-68-142-40-94.gmavt.net] has quit [Ping timeout: 276 seconds] 14:49:18 -!- zeroish [~zeroish@135.207.174.50] has quit [Ping timeout: 245 seconds] 14:52:00 atomx [~user@93.112.81.240] has joined #scheme 15:01:39 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Quit: Leaving] 15:02:14 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 15:10:01 luz [~davids@186.205.48.47] has joined #scheme 15:18:37 -!- atomx [~user@93.112.81.240] has quit [Ping timeout: 265 seconds] 15:31:00 -!- githogori [~githogori@65.197.200.12] has quit [Remote host closed the connection] 15:31:17 kephas [~pierre@AStrasbourg-551-1-76-112.w81-51.abo.wanadoo.fr] has joined #scheme 15:32:14 davazp [~user@184.Red-79-154-140.dynamicIP.rima-tde.net] has joined #scheme 15:34:36 -!- nowhereman [~pierre@AStrasbourg-551-1-10-176.w86-213.abo.wanadoo.fr] has quit [Ping timeout: 272 seconds] 15:45:41 -!- fradgers- [~fradgers-@5e0aadb6.bb.sky.com] has quit [Remote host closed the connection] 15:45:49 bgs100 [~ian@h35.38.186.173.dynamic.ip.windstream.net] has joined #scheme 15:45:50 -!- bgs100 [~ian@h35.38.186.173.dynamic.ip.windstream.net] has quit [Changing host] 15:45:50 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 15:53:33 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 16:32:13 mjonsson [~mjonsson@cpe-98-14-173-5.nyc.res.rr.com] has joined #scheme 16:38:51 -!- Blkt [~user@net-93-151-225-193.cust.dsl.teletu.it] has quit [Ping timeout: 265 seconds] 17:00:34 jao [~user@239.Red-88-18-97.staticIP.rima-tde.net] has joined #scheme 17:07:06 homie` [~user@xdsl-87-79-42-232.netcologne.de] has joined #scheme 17:07:07 wbooze` [~user@xdsl-87-79-42-232.netcologne.de] has joined #scheme 17:07:45 -!- homie` [~user@xdsl-87-79-42-232.netcologne.de] has quit [Read error: Connection reset by peer] 17:07:55 -!- wbooze` [~user@xdsl-87-79-42-232.netcologne.de] has quit [Read error: Connection reset by peer] 17:09:38 -!- wbooze [~user@xdsl-87-79-53-71.netcologne.de] has quit [Ping timeout: 264 seconds] 17:09:48 -!- homie [~user@xdsl-87-79-53-71.netcologne.de] has quit [Ping timeout: 240 seconds] 17:12:26 homie [~user@xdsl-87-79-42-232.netcologne.de] has joined #scheme 17:13:36 wbooze [~user@xdsl-87-79-42-232.netcologne.de] has joined #scheme 17:39:34 acarrico [~acarrico@pppoe-68-142-40-94.gmavt.net] has joined #scheme 17:39:51 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has left #scheme 17:41:46 -!- mmc [~michal@cs185051.pp.htv.fi] has quit [Ping timeout: 265 seconds] 17:42:40 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 17:42:55 megajosh2 [~megajosh2@pool-96-241-38-130.washdc.fios.verizon.net] has joined #scheme 17:54:53 mmc [~michal@cs190095.pp.htv.fi] has joined #scheme 17:58:38 stis_ [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 17:58:44 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Ping timeout: 255 seconds] 18:04:57 BW^- [~Miranda@92.83.174.24] has joined #scheme 18:05:01 adamant: around? 18:08:06 anyone familiar with Oleg's KANREN logic programming system? 18:09:00 schmir [~schmir@p54A90C98.dip0.t-ipconnect.de] has joined #scheme 18:14:29 around 18:14:32 not familar 18:14:56 BW^-: I'd look at 99 Prolog Problems and try doing them in KANREN 18:15:13 I don't have a great grasp of logic/constraint languages myself 18:15:50 ok 18:18:24 SirNick [~nick@c-67-160-151-16.hsd1.wa.comcast.net] has joined #scheme 18:23:48 -!- copumpkin [~copumpkin@host20-88-dynamic.245-95-r.retail.telecomitalia.it] has quit [Remote host closed the connection] 18:25:00 copumpkin [~copumpkin@host20-88-dynamic.245-95-r.retail.telecomitalia.it] has joined #scheme 18:27:20 Thorn [~Thorn@unaffiliated/thorn] has joined #scheme 18:27:35 -!- davazp [~user@184.Red-79-154-140.dynamicIP.rima-tde.net] has quit [Remote host closed the connection] 18:28:18 -!- drwho [~drwho@c-68-63-83-105.hsd1.pa.comcast.net] has quit [Quit: A known mistake is better than an unknown truth.] 18:30:24 fradgers- [~fradgers-@5e0aadb6.bb.sky.com] has joined #scheme 18:46:04 klovett [~klovett@c-67-180-97-38.hsd1.ca.comcast.net] has joined #scheme 18:48:03 -!- schmir [~schmir@p54A90C98.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 18:49:43 -!- gravicappa [~gravicapp@ppp85-140-66-38.pppoe.mtu-net.ru] has quit [Ping timeout: 245 seconds] 18:50:56 schmir [~schmir@p54A90CEA.dip0.t-ipconnect.de] has joined #scheme 18:56:26 Quadrescence [~Quad@unaffiliated/quadrescence] has joined #scheme 18:59:58 vishsingh [~vishsingh@bas2-toronto10-2925113994.dsl.bell.ca] has joined #scheme 19:01:02 felipe [~felipe@my.nada.kth.se] has joined #scheme 19:04:25 jewel [~jewel@196-210-187-107.dynamic.isadsl.co.za] has joined #scheme 19:04:57 lbc_ [~lbc@1908ds1-aboes.0.fullrate.dk] has joined #scheme 19:14:46 pon1980 [~pon1980@h174n3-haes-a12.ias.bredband.telia.com] has joined #scheme 19:14:56 nowhere_man [~pierre@AStrasbourg-551-1-90-203.w81-49.abo.wanadoo.fr] has joined #scheme 19:15:48 -!- kephas [~pierre@AStrasbourg-551-1-76-112.w81-51.abo.wanadoo.fr] has quit [Ping timeout: 240 seconds] 19:18:19 -!- schmir [~schmir@p54A90CEA.dip0.t-ipconnect.de] has quit [Ping timeout: 240 seconds] 19:18:47 davazp [~user@184.Red-79-154-140.dynamicIP.rima-tde.net] has joined #scheme 19:28:18 -!- BW^- [~Miranda@92.83.174.24] has left #scheme 19:31:18 schmir [~schmir@p54A90C48.dip0.t-ipconnect.de] has joined #scheme 19:36:13 -!- davazp [~user@184.Red-79-154-140.dynamicIP.rima-tde.net] has quit [Read error: Connection reset by peer] 19:39:34 FurnaceBoy [~FurnaceBo@bas2-toronto10-2925235460.dsl.bell.ca] has joined #scheme 19:42:23 gravicappa [~gravicapp@ppp85-140-66-38.pppoe.mtu-net.ru] has joined #scheme 19:44:52 -!- femtoo [~femto@95-89-248-241-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 19:45:17 femtoo [~femto@95-89-248-241-dynip.superkabel.de] has joined #scheme 20:03:05 http://www.faqs.org/patents/app/20080262801 20:03:09 WARNING- PATENT 20:03:45 anyway, does this smell like something that should be covered by the development of Scheme's numeric tower? 20:04:54 ASau`` [~user@77.246.230.215] has joined #scheme 20:05:16 -!- MrFahrenheit [~RageOfTho@users-33-239.vinet.ba] has quit [Read error: Connection reset by peer] 20:05:32 MrFahrenheit [~RageOfTho@users-33-239.vinet.ba] has joined #scheme 20:06:07 -!- femtoo [~femto@95-89-248-241-dynip.superkabel.de] has quit [Quit: Leaving] 20:07:22 schmir` [~schmir@p54A914D8.dip0.t-ipconnect.de] has joined #scheme 20:08:03 -!- ASau` [~user@77.246.230.215] has quit [Ping timeout: 245 seconds] 20:08:50 -!- schmir [~schmir@p54A90C48.dip0.t-ipconnect.de] has quit [Ping timeout: 272 seconds] 20:10:49 -!- Thorn [~Thorn@unaffiliated/thorn] has left #scheme 20:10:56 -!- klovett [~klovett@c-67-180-97-38.hsd1.ca.comcast.net] has quit [Quit: klovett] 20:12:28 -!- schmir` [~schmir@p54A914D8.dip0.t-ipconnect.de] has quit [Ping timeout: 272 seconds] 20:12:32 boy patents are ridiculously verbose 20:13:22 and insanely vague.. 20:21:16 klovett [~klovett@c-67-180-97-38.hsd1.ca.comcast.net] has joined #scheme 20:27:13 -!- jewel [~jewel@196-210-187-107.dynamic.isadsl.co.za] has quit [Ping timeout: 245 seconds] 20:27:30 Blkt [~user@net-93-151-225-193.cust.dsl.teletu.it] has joined #scheme 20:30:55 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Remote host closed the connection] 20:31:02 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 20:35:53 -!- fantazo [~fantazo@213.129.230.10] has quit [Remote host closed the connection] 20:37:51 ASau` [~user@83.69.227.32] has joined #scheme 20:38:55 -!- Nshag [user@lns-bzn-36-82-251-59-13.adsl.proxad.net] has quit [Read error: Operation timed out] 20:40:02 -!- ASau [~user@83.69.227.32] has quit [Ping timeout: 276 seconds] 20:47:22 -!- klovett [~klovett@c-67-180-97-38.hsd1.ca.comcast.net] has quit [Quit: klovett] 20:52:10 klovett [~klovett@c-67-180-97-38.hsd1.ca.comcast.net] has joined #scheme 20:53:59 Nshag [user@lns-bzn-32-82-254-1-149.adsl.proxad.net] has joined #scheme 21:03:18 aidalgol [~user@202.36.179.68] has joined #scheme 21:06:01 I'm trying to use Guile expect to control a telnet session. I guess I need to use `expect-port', but how do I plug into that a subprocess? 21:06:53 -!- fradgers- [~fradgers-@5e0aadb6.bb.sky.com] has quit [Remote host closed the connection] 21:15:10 -!- Blkt [~user@net-93-151-225-193.cust.dsl.teletu.it] has quit [Ping timeout: 272 seconds] 21:21:52 -!- gravicappa [~gravicapp@ppp85-140-66-38.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 21:23:01 -!- stis_ [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Remote host closed the connection] 21:30:59 Does open-pipe* return a port or something that I can give to any function that expects a port? 21:35:32 schmir [~schmir@p54A91497.dip0.t-ipconnect.de] has joined #scheme 21:45:52 nvm, figured it out 21:48:06 -!- dzhus [~sphinx@89-178-139-217.broadband.corbina.ru] has quit [Ping timeout: 272 seconds] 21:48:17 darkmag [~vfalico@ip-94-112-36-51.net.upcbroadband.cz] has joined #scheme 21:49:27 -!- aidalgol [~user@202.36.179.68] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:53:49 -!- lbc_ [~lbc@1908ds1-aboes.0.fullrate.dk] has quit [Quit: lbc_] 22:10:51 -!- mmc [~michal@cs190095.pp.htv.fi] has quit [Quit: Leaving.] 22:13:50 -!- schmir [~schmir@p54A91497.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 22:32:16 -!- ijp [~Ian@host109-154-216-93.range109-154.btcentralplus.com] has quit [Quit: leaving] 22:41:08 -!- pygospa [~pygospa@g227014084.adsl.alicedsl.de] has quit [Ping timeout: 276 seconds] 22:42:42 pygospa [~pygospa@g230082091.adsl.alicedsl.de] has joined #scheme 22:45:15 wobsite [~wobsite@68-112-244-225.dhcp.oxfr.ma.charter.com] has joined #scheme 22:56:05 davazp [~user@184.Red-79-154-140.dynamicIP.rima-tde.net] has joined #scheme 22:57:20 -!- wobsite [~wobsite@68-112-244-225.dhcp.oxfr.ma.charter.com] has quit [Quit: Leaving] 22:59:48 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 240 seconds] 23:05:55 -!- pdelgallego [~pdelgalle@1503031474.dhcp.dbnet.dk] has quit [Ping timeout: 240 seconds] 23:12:16 Collard [Col@83.231.19.209] has joined #scheme 23:23:16 -!- darkmag [~vfalico@ip-94-112-36-51.net.upcbroadband.cz] has quit [Quit: Leaving.] 23:25:12 vsingh [~vishsingh@bas2-toronto10-2925113376.dsl.bell.ca] has joined #scheme 23:25:58 -!- vishsingh [~vishsingh@bas2-toronto10-2925113994.dsl.bell.ca] has quit [Ping timeout: 245 seconds] 23:32:34 -!- choas [~lars@p578F6F8A.dip.t-dialin.net] has quit [Quit: leaving] 23:37:06 nowhereman [~pierre@AStrasbourg-551-1-66-113.w92-141.abo.wanadoo.fr] has joined #scheme 23:37:46 -!- nowhere_man [~pierre@AStrasbourg-551-1-90-203.w81-49.abo.wanadoo.fr] has quit [Ping timeout: 252 seconds] 23:54:52 csl [~christian@85.84-234-202.customer.lyse.net] has joined #scheme