00:10:15 -!- jrslepak [~jrslepak@c-71-233-149-127.hsd1.ma.comcast.net] has quit [Quit: What happened to Systems A through E?] 00:20:56 jaaso [~user@178.239.31.147] has joined #scheme 00:23:54 -!- gf3 is now known as gf3|poopin 00:23:58 -!- gf3|poopin is now known as gf3|eatin 00:24:03 -!- gf3|eatin is now known as gf3|readin 00:24:06 -!- gf3|readin is now known as gf3 00:41:57 jcowan [~John@mail.digitalkingdom.org] has joined #scheme 00:47:44 -!- PuercoPop [~user@190.222.252.106] has quit [Read error: Connection reset by peer] 00:47:51 PuercoPop [~user@190.222.252.106] has joined #scheme 00:47:54 -!- ski [~ski@c80-216-142-165.bredband.comhem.se] has quit [Ping timeout: 252 seconds] 00:48:15 -!- PuercoPop is now known as Guest86954 00:54:14 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 00:57:42 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 252 seconds] 00:59:34 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Read error: Connection reset by peer] 01:04:12 ASau [~user@46.115.124.122] has joined #scheme 01:07:13 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 248 seconds] 01:07:27 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 01:07:51 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 01:11:27 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Remote host closed the connection] 01:13:07 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 01:19:26 Tau [~Euler@186.194.52.192] has joined #scheme 01:22:52 honkfestival [~honkfesti@198-84-183-94.cpe.teksavvy.com] has joined #scheme 01:35:04 mutley89 [~mutley89@cpc1-swin14-2-0-cust274.3-1.cable.virginmedia.com] has joined #scheme 01:35:19 elly: SEXP_USE_NTPGETTIME is for systems which have an NTP interface. It is necessary because as Riastradh says the R7RS clock is TAI. If you don't have NTP, chibi will adjust from a list of leap-seconds, updated from a local file. 01:36:25 Image support in chibi is still somewhat experimental - I need to document more clearly what can and can't be saved before supporting it. 01:38:33 rudybot: what do you think about chibi? 01:38:34 foof: foof, Just curious, did you ever consider ERR5RS for Chibi? Or did you reject it for some reason? I mean, I know how you feel about R6RS. :-) But ERR5RS seems pretty lean. 01:39:19 double mention, that's pretty rare 01:39:40 rudybot: what do you think about ijp 01:39:40 foof: IJP annotated #112661 "untitled" at http://paste.lisp.org/display/112661#1 01:39:54 oops, that would've worked if I were ijp 01:44:19 Icarot [~Daemon@208.70.28.214] has joined #scheme 01:50:43 jrslepak [~jrslepak@c-71-233-149-127.hsd1.ma.comcast.net] has joined #scheme 01:50:56 -!- Icarot [~Daemon@208.70.28.214] has quit [Quit: ragequit()] 01:52:43 Oh, the R7RS clock is TAI? Nice! 01:55:49 b4283 [~b4283@1-172-85-119.dynamic.hinet.net] has joined #scheme 01:58:13 cdidd [~cdidd@128-72-204-241.broadband.corbina.ru] has joined #scheme 01:58:57 -!- youlysses is now known as youlysses-ZZZzzz 02:01:58 ijp: actually, doubles happen surprisingly odten 02:01:59 often 02:02:17 vanity searches no doubt 02:04:40 jeapostrophe [~jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 02:04:40 -!- jeapostrophe [~jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [Changing host] 02:04:40 jeapostrophe [~jay@racket/jeapostrophe] has joined #scheme 02:05:44 rudybot: ijp ijp ijp! 02:05:44 ijp: You're far, far too late. 02:06:08 yeah probably 02:08:14 turbofail [~user@173-13-141-233-sfba.hfc.comcastbusiness.net] has joined #scheme 02:12:54 sirdancealot [~sirdancea@98.82.broadband5.iol.cz] has joined #scheme 02:19:35 -!- teiresias [~teiresias@archlinux/trusteduser/teiresias] has quit [Quit: leaving] 02:24:19 Nisstyre-laptop [~yours@oftn/member/Nisstyre] has joined #scheme 02:25:51 teiresias [~teiresias@archlinux/trusteduser/teiresias] has joined #scheme 02:29:43 -!- mutley89 [~mutley89@cpc1-swin14-2-0-cust274.3-1.cable.virginmedia.com] has quit [Ping timeout: 245 seconds] 02:29:43 -!- dort [~ni@c-66-30-141-98.hsd1.ct.comcast.net] has quit [Ping timeout: 245 seconds] 02:32:05 ASau` [~user@46.115.121.150] has joined #scheme 02:35:14 -!- ASau [~user@46.115.124.122] has quit [Ping timeout: 244 seconds] 02:42:43 yacks [~yacks@180.151.36.169] has joined #scheme 02:46:59 -!- Guest86954 [~user@190.222.252.106] has quit [Ping timeout: 248 seconds] 02:57:21 toekutr [~user@50-0-51-11.dsl.static.sonic.net] has joined #scheme 03:07:05 -!- nightfly [~sage@205.185.122.101] has quit [Ping timeout: 255 seconds] 03:07:51 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 252 seconds] 03:08:20 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 03:10:33 -!- mmc1 [~michal@178-85-64-28.dynamic.upc.nl] has quit [Ping timeout: 245 seconds] 03:11:16 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 03:15:46 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Quit: Leaving] 03:21:44 -!- zacts [~user@unaffiliated/lcc] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 03:27:55 zacts [~user@unaffiliated/lcc] has joined #scheme 03:32:03 -!- dan64 [dan64@dannyadam.com] has quit [Ping timeout: 252 seconds] 03:36:44 dan64 [~dan64@dannyadam.com] has joined #scheme 03:44:58 -!- jeapostrophe [~jay@racket/jeapostrophe] has quit [Ping timeout: 240 seconds] 03:48:27 -!- phax [~phax@unaffiliated/phax] has quit [Quit: Leaving] 03:52:35 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 248 seconds] 03:53:11 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 04:02:23 -!- jaaso [~user@178.239.31.147] has left #scheme 04:09:27 -!- honkfestival [~honkfesti@198-84-183-94.cpe.teksavvy.com] has quit [] 04:12:00 -!- ijp [~user@host86-161-100-250.range86-161.btcentralplus.com] has quit [Quit: The garbage collector got me] 04:15:16 -!- wbooze [~wbooze@xdsl-87-78-76-42.netcologne.de] has quit [Ping timeout: 248 seconds] 04:16:18 -!- toekutr [~user@50-0-51-11.dsl.static.sonic.net] has quit [Remote host closed the connection] 04:16:52 -!- yacks [~yacks@180.151.36.169] has quit [Quit: Leaving] 04:20:20 toekutr [~user@50-0-51-11.dsl.static.sonic.net] has joined #scheme 04:22:43 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Read error: Operation timed out] 04:23:21 preflex [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 04:35:54 -!- zacts [~user@unaffiliated/lcc] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 04:35:58 -!- MrFahrenheit [~RageOfTho@cable-77-221-21-70.dynamic.telemach.ba] has quit [Ping timeout: 245 seconds] 04:37:52 alexei [~amgarchin@p4FD61740.dip0.t-ipconnect.de] has joined #scheme 04:42:00 -!- amgarchIn9 [~amgarchin@p4FD6111F.dip0.t-ipconnect.de] has quit [Ping timeout: 260 seconds] 04:42:35 William [~William@108-85-16-151.lightspeed.gnvlsc.sbcglobal.net] has joined #scheme 04:42:59 -!- William is now known as Guest28109 04:44:59 Guest86954 [~user@190.41.173.174] has joined #scheme 04:45:01 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 252 seconds] 04:45:39 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 04:50:58 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 245 seconds] 04:51:26 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 05:02:58 nightfly [~sage@sagenite.net] has joined #scheme 05:22:12 ski [~ski@c80-216-142-165.bredband.comhem.se] has joined #scheme 05:26:48 -!- ski [~ski@c80-216-142-165.bredband.comhem.se] has quit [Ping timeout: 252 seconds] 05:32:07 -!- nightfly [~sage@sagenite.net] has quit [Read error: Connection reset by peer] 05:37:31 -!- Guest86954 is now known as PuercoPop 05:52:10 robot-beethoven [~user@c-24-118-142-0.hsd1.mn.comcast.net] has joined #scheme 05:54:41 ski [~ski@c80-216-142-165.bredband.comhem.se] has joined #scheme 06:03:05 -!- jao [~user@pdpc/supporter/professional/jao] has quit [Ping timeout: 260 seconds] 06:07:30 -!- jcowan [~John@mail.digitalkingdom.org] has quit [Quit: Leaving] 06:22:24 -!- sc00fy [~scoofy@catv-89-135-71-167.catv.broadband.hu] has quit [Ping timeout: 256 seconds] 06:22:38 azkane [~ahm@187.143.94.241] has joined #scheme 06:26:51 tps_ [~tps_@hoasb-50dd08-36.dhcp.inet.fi] has joined #scheme 06:49:57 araujo [~araujo@190.73.45.171] has joined #scheme 06:49:58 -!- araujo [~araujo@190.73.45.171] has quit [Changing host] 06:49:58 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 07:04:26 -!- hiroaki [~hiroaki@p5B04BDAC.dip.t-dialin.net] has quit [Ping timeout: 244 seconds] 07:04:36 -!- hiroakip [~hiroaki@p5B04BDAC.dip.t-dialin.net] has quit [Ping timeout: 256 seconds] 07:04:49 hiroakip [~hiroaki@p5B04B43C.dip.t-dialin.net] has joined #scheme 07:05:21 hiroaki [~hiroaki@p5B04B43C.dip.t-dialin.net] has joined #scheme 07:09:30 gravicappa [~gravicapp@h94-75-54-226.dyn.bashtel.ru] has joined #scheme 07:11:48 -!- berndj [~berndj@dsl-185-146-61.dynamic.wa.co.za] has quit [Ping timeout: 248 seconds] 07:18:27 -!- sirdancealot [~sirdancea@98.82.broadband5.iol.cz] has quit [Ping timeout: 240 seconds] 07:31:51 sirdancealot [~sirdancea@98.82.broadband5.iol.cz] has joined #scheme 07:38:14 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 07:44:35 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 260 seconds] 07:45:27 pessoa [~pessoa@188-195-211-39-dynip.superkabel.de] has joined #scheme 07:46:41 rudybot: who is the most beautiful bot on freenode? 07:46:43 pessoa: they are very beautiful this time of year. 07:48:32 rudybot: what do you think about r6rs libraries? 07:48:33 pessoa: also noticed that even in Scheme libraries that actually try to emulate CL's format, e.g., (ice-9 format) in Guile, ~F still doesn't support rationals. :-P 07:50:04 rudybot: are rationals really that important? 07:50:05 pessoa: but Racket has integers and rationals and such, I wanted to add a new one 07:50:29 rudybot: what do you think about quaternions? 07:50:29 pessoa: I'm not very much used to quaternions in geometry, but it seems that the classical angle defined for a quaternion is such that the real part of q is equal to \norm{q} \cos{angle} 07:50:34 you can implement rationals easily 07:50:53 you can even implement conversion to floating points easily 07:50:59 to and from that is 07:51:48 for me, rationals are just equivalence classes of pairs of integers 07:52:10 pessoa: for me they are the entirety of the Stern-Brocot tree or the Farey sequence 07:53:12 "In number theory, the Stern–Brocot tree is an infinite complete binary tree in which the vertices correspond precisely to the positive rational numbers," 07:55:20 do the finite trees of that kind correspond to rationals with finite binary representation? 07:56:30 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 07:56:44 pessoa: you mean, can you represent all rational numbers with it in binary? 07:57:09 not sure what you meant 07:58:33 I wonder whether there are finite Stern Brocot Trees, and what subset of the rationals they represent. 07:58:35 the tree itself is a binary tree 07:59:03 pessoa: oh, well, I don't know if you can construct one that specifically represents those rationals exactly representable in binary fp 07:59:15 that's an interesting question though 08:02:35 pessoa: you can exactly represent a number by a sequence of binary digits though 08:02:43 using them as instructions to go left or right in the tree 08:02:51 so in that sense, yes, you can 08:03:18 -!- tps_ [~tps_@hoasb-50dd08-36.dhcp.inet.fi] has quit [Quit: tps_] 08:04:09 but the problem is that it might take up quite a lot of space, unless there is some pattern to it 08:04:18 like phi is just 0101010... 08:04:20 Or you can put the FP numbers in a tree by chosing the next digit on each step by going left or right 08:07:59 https://docs.google.com/file/d/1UsNDvtfOR8e9aPPknsIrVKRFtouYkqH15mgqzLbSUpaNO_LMsAIgB0JJWwUV/edit 08:08:00 http://tinyurl.com/bgg3bk6 08:08:07 looks like this has been done more or less 08:08:14 and implemented in Haskell according to this paper 08:11:05 that's probably because of Haskell's laziness 08:11:12 yes 08:11:24 I made an implementation of the SB Tree in Haskell myself 08:11:46 I didn't write any arithmetic operations defined on it though 08:12:34 https://gist.github.com/3909034 08:18:46 -!- jrapdx [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Remote host closed the connection] 08:24:10 -!- toekutr [~user@50-0-51-11.dsl.static.sonic.net] has quit [Read error: Connection reset by peer] 08:28:53 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 245 seconds] 08:30:06 -!- Tau [~Euler@186.194.52.192] has quit [Quit: i'm sorry for you keshi. this disease is horrible. i hope your aids doesnt worse.] 08:30:51 -!- dnolen [~user@ppp-70-242-122-199.dsl.rcsntx.swbell.net] has quit [Ping timeout: 252 seconds] 08:35:00 snearch [~snearch@f053015172.adsl.alicedsl.de] has joined #scheme 08:53:08 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 248 seconds] 08:53:51 -!- Nisstyre-laptop [~yours@oftn/member/Nisstyre] has quit [Quit: Leaving] 09:02:17 -!- sirdancealot [~sirdancea@98.82.broadband5.iol.cz] has quit [Ping timeout: 252 seconds] 09:07:01 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #scheme 09:07:26 zacts [~user@unaffiliated/lcc] has joined #scheme 09:12:13 -!- rmathews [~roshan@122.164.145.204] has quit [Ping timeout: 245 seconds] 09:15:14 sirdancealot [~sirdancea@98.82.broadband5.iol.cz] has joined #scheme 09:16:19 -!- pessoa [~pessoa@188-195-211-39-dynip.superkabel.de] has quit [Quit: Started wasting time elsewhere] 09:33:30 -!- robot-beethoven [~user@c-24-118-142-0.hsd1.mn.comcast.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 09:34:47 wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has joined #scheme 09:36:58 -!- ineiros [~itniemin@bayesianconspiracy.org] has quit [Remote host closed the connection] 09:37:17 ineiros [~itniemin@bayesianconspiracy.org] has joined #scheme 09:38:55 -!- snearch [~snearch@f053015172.adsl.alicedsl.de] has quit [Quit: Verlassend] 09:40:44 -!- notdan [~h@109.163.233.55] has quit [Ping timeout: 255 seconds] 09:41:51 notdan [~h@rootshell.me] has joined #scheme 09:46:30 -!- notdan [~h@rootshell.me] has quit [Ping timeout: 260 seconds] 09:49:22 notdan [~h@rootshell.me] has joined #scheme 09:54:14 -!- sirdancealot [~sirdancea@98.82.broadband5.iol.cz] has quit [Ping timeout: 252 seconds] 09:54:25 -!- notdan [~h@rootshell.me] has quit [Read error: Connection reset by peer] 09:54:31 -!- ineiros [~itniemin@bayesianconspiracy.org] has quit [Remote host closed the connection] 09:54:38 ineiros [~itniemin@bayesianconspiracy.org] has joined #scheme 09:54:47 notdan [~h@rootshell.me] has joined #scheme 10:06:59 sirdancealot [~sirdancea@98.82.broadband5.iol.cz] has joined #scheme 10:11:39 sttau` [~user@bl11-48-153.dsl.telepac.pt] has joined #scheme 10:14:57 -!- sttau [~user@unaffiliated/sttau] has quit [Ping timeout: 248 seconds] 10:21:35 William_ [~William@108-85-16-151.lightspeed.gnvlsc.sbcglobal.net] has joined #scheme 10:24:03 -!- Guest28109 [~William@108-85-16-151.lightspeed.gnvlsc.sbcglobal.net] has quit [Ping timeout: 248 seconds] 10:27:44 Saturn_ [~rose@111.59.138.201] has joined #scheme 10:37:09 -!- noam [~noam@213.57.201.130] has quit [Read error: Connection reset by peer] 10:39:38 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Remote host closed the connection] 10:40:00 rmathews [~roshan@122.164.35.204] has joined #scheme 10:40:26 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 10:41:22 -!- sttau` [~user@bl11-48-153.dsl.telepac.pt] has quit [Changing host] 10:41:22 sttau` [~user@unaffiliated/sttau] has joined #scheme 10:41:45 -!- sttau` is now known as sttau 10:41:53 mmc1 [~michal@178-85-64-28.dynamic.upc.nl] has joined #scheme 11:24:16 -!- ineiros [~itniemin@bayesianconspiracy.org] has quit [Ping timeout: 252 seconds] 11:25:14 ineiros [~itniemin@bayesianconspiracy.org] has joined #scheme 11:28:01 spobat [~spobat@p5B2DF6E4.dip.t-dialin.net] has joined #scheme 11:31:32 -!- ineiros [~itniemin@bayesianconspiracy.org] has quit [Ping timeout: 248 seconds] 11:31:47 ineiros [~itniemin@bayesianconspiracy.org] has joined #scheme 11:32:19 -!- sirdancealot [~sirdancea@98.82.broadband5.iol.cz] has quit [Ping timeout: 248 seconds] 11:33:31 sirdancealot [~sirdancea@98.82.broadband5.iol.cz] has joined #scheme 11:36:50 -!- Saturn_ [~rose@111.59.138.201] has quit [Ping timeout: 255 seconds] 11:41:53 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Ping timeout: 248 seconds] 11:42:33 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #scheme 11:55:48 kuribas [~user@d54C47C45.access.telenet.be] has joined #scheme 11:57:13 Saturn_ [~rose@111.58.103.239] has joined #scheme 12:00:38 b1rkh0ff [~b1rkh0ff@46.36.160.201] has joined #scheme 12:06:22 -!- ASau` is now known as ASau 12:17:59 eataix [eataix@unaffiliated/eataix] has joined #scheme 12:42:29 -!- hiroakip [~hiroaki@p5B04B43C.dip.t-dialin.net] has quit [Ping timeout: 248 seconds] 12:42:32 -!- hiroaki [~hiroaki@p5B04B43C.dip.t-dialin.net] has quit [Ping timeout: 255 seconds] 12:42:59 -!- gravicappa [~gravicapp@h94-75-54-226.dyn.bashtel.ru] has quit [Ping timeout: 255 seconds] 12:44:04 jao [~user@232.Red-83-32-71.dynamicIP.rima-tde.net] has joined #scheme 12:44:11 -!- jao [~user@232.Red-83-32-71.dynamicIP.rima-tde.net] has quit [Changing host] 12:44:11 jao [~user@pdpc/supporter/professional/jao] has joined #scheme 12:44:43 -!- adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has quit [Ping timeout: 245 seconds] 12:44:48 -!- alexei [~amgarchin@p4FD61740.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 12:59:46 hiroaki [~hiroaki@77-20-78-82-dynip.superkabel.de] has joined #scheme 13:06:37 gravicappa [~gravicapp@h94-75-54-226.dyn.bashtel.ru] has joined #scheme 13:10:12 pessoa [~pessoa@188-195-211-39-dynip.superkabel.de] has joined #scheme 13:18:49 MrFahrenheit [~RageOfTho@cable-77-221-21-70.dynamic.telemach.ba] has joined #scheme 13:29:18 mutley89 [~mutley89@cpc1-swin14-2-0-cust274.3-1.cable.virginmedia.com] has joined #scheme 13:31:22 -!- youlysses-ZZZzzz is now known as youlysses 13:37:32 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 252 seconds] 13:38:07 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 13:58:59 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 252 seconds] 13:59:28 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 14:08:49 wbooze [~wbooze@xdsl-78-35-159-41.netcologne.de] has joined #scheme 14:08:57 -!- lusory [~lusory@bb42-60-31-187.singnet.com.sg] has quit [Ping timeout: 240 seconds] 14:09:49 lusory [~lusory@bb42-60-31-187.singnet.com.sg] has joined #scheme 14:09:51 -!- taylanub [tub@p4FD931ED.dip.t-dialin.net] has quit [Disconnected by services] 14:10:08 taylanub [tub@p4FD9432D.dip.t-dialin.net] has joined #scheme 14:29:40 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Read error: Connection reset by peer] 14:33:05 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 14:36:33 ijp [~user@host86-171-128-219.range86-171.btcentralplus.com] has joined #scheme 14:41:39 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Quit: Nettalk6 - www.ntalk.de] 14:45:23 -!- spobat [~spobat@p5B2DF6E4.dip.t-dialin.net] has quit [Quit: Leaving] 14:52:45 amgarchIn9 [~amgarchin@p4FD61740.dip0.t-ipconnect.de] has joined #scheme 15:03:35 -!- b1rkh0ff [~b1rkh0ff@46.36.160.201] has quit [Quit: Leaving] 15:10:15 adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has joined #scheme 15:29:00 scoofy [~scoofy@catv-89-135-71-167.catv.broadband.hu] has joined #scheme 15:29:40 tupi [~user@186.205.50.124] has joined #scheme 15:57:07 -!- brendyn [brendyn@2400:8900::f03c:91ff:fedf:65b4] has quit [Ping timeout: 245 seconds] 15:58:40 -!- zacts [~user@unaffiliated/lcc] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:00:56 b1rkh0ff [~b1rkh0ff@178.77.21.223] has joined #scheme 16:03:54 brendyn [~brendyn@li568-31.members.linode.com] has joined #scheme 16:04:12 htop [~bc@pD9EE8179.dip0.t-ipconnect.de] has joined #scheme 16:16:19 zacts [~user@unaffiliated/lcc] has joined #scheme 16:27:25 -!- pessoa [~pessoa@188-195-211-39-dynip.superkabel.de] has quit [Quit: Started wasting time elsewhere] 16:27:51 noam [~noam@213.57.201.130] has joined #scheme 16:32:32 youlysse` [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 16:32:57 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Ping timeout: 240 seconds] 16:34:09 -!- youlysse` [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Remote host closed the connection] 16:38:54 -!- kuribas [~user@d54C47C45.access.telenet.be] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:40:22 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 16:43:10 jozefg [~quassel@c-75-73-195-18.hsd1.mn.comcast.net] has joined #scheme 16:46:42 -!- gravicappa [~gravicapp@h94-75-54-226.dyn.bashtel.ru] has quit [Ping timeout: 244 seconds] 16:52:10 -!- zacts [~user@unaffiliated/lcc] has quit [Changing host] 16:52:10 zacts [~user@unaffiliated/zacts] has joined #scheme 16:54:18 gravicappa [~gravicapp@h94-75-54-226.dyn.bashtel.ru] has joined #scheme 17:01:42 dnolen [~user@ppp-70-242-122-199.dsl.rcsntx.swbell.net] has joined #scheme 17:02:28 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #scheme 17:08:02 -!- Saturn_ [~rose@111.58.103.239] has quit [Ping timeout: 255 seconds] 17:08:33 Saturn_ [~rose@111.58.103.239] has joined #scheme 17:08:53 -!- wbooze [~wbooze@xdsl-78-35-159-41.netcologne.de] has quit [Ping timeout: 245 seconds] 17:10:19 -!- zacts [~user@unaffiliated/zacts] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 17:10:23 -!- Saturn_ [~rose@111.58.103.239] has quit [Client Quit] 17:11:30 -!- gravicappa [~gravicapp@h94-75-54-226.dyn.bashtel.ru] has quit [Remote host closed the connection] 17:11:50 gravicappa [~gravicapp@h94-75-54-226.dyn.bashtel.ru] has joined #scheme 17:13:12 add^_ [~add^_@m212-152-10-180.cust.tele2.se] has joined #scheme 17:13:34 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 17:15:08 -!- b4283 [~b4283@1-172-85-119.dynamic.hinet.net] has quit [Ping timeout: 252 seconds] 17:20:41 zacts [~user@67-0-172-247.albq.qwest.net] has joined #scheme 17:21:50 -!- zacts [~user@67-0-172-247.albq.qwest.net] has quit [Client Quit] 17:22:28 zacts [~user@unaffiliated/zacts] has joined #scheme 17:38:48 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Quit: Nettalk6 - www.ntalk.de] 17:42:56 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 17:47:14 evoli [~Adium@173-228-28-89.dsl.dynamic.sonic.net] has joined #scheme 17:49:55 -!- jozefg [~quassel@c-75-73-195-18.hsd1.mn.comcast.net] has quit [Ping timeout: 248 seconds] 17:51:30 -!- zacts [~user@unaffiliated/zacts] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 17:52:40 Nisstyre-laptop [~yours@oftn/member/Nisstyre] has joined #scheme 17:54:36 -!- eataix [eataix@unaffiliated/eataix] has quit [Ping timeout: 245 seconds] 17:54:45 safekeeping_ [~safekeepi@c-68-36-167-104.hsd1.nj.comcast.net] has joined #scheme 17:55:21 -!- brendyn [~brendyn@li568-31.members.linode.com] has quit [Ping timeout: 276 seconds] 17:56:23 -!- safekeeping [~safekeepi@c-68-36-167-104.hsd1.nj.comcast.net] has quit [Ping timeout: 245 seconds] 17:56:44 eataix [eataix@unaffiliated/eataix] has joined #scheme 17:57:21 zacts [~lcc@67-0-172-247.albq.qwest.net] has joined #scheme 17:57:31 mark_weaver [~user@209-6-92-20.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 18:00:05 brendyn [brendyn@2400:8900::f03c:91ff:fedf:65b4] has joined #scheme 18:03:40 jozefg [~quassel@c-75-73-195-18.hsd1.mn.comcast.net] has joined #scheme 18:16:19 -!- mark_weaver [~user@209-6-92-20.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [Read error: Connection reset by peer] 18:21:05 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Ping timeout: 252 seconds] 18:33:57 -!- Khisanth [~Khisanth@50.14.244.111] has quit [Ping timeout: 248 seconds] 18:38:45 Tau [~Euler@186.194.52.192] has joined #scheme 18:42:36 -!- amoe [~amoe@host-92-26-175-79.as13285.net] has quit [Ping timeout: 252 seconds] 18:42:38 -!- zacts [~lcc@67-0-172-247.albq.qwest.net] has quit [Quit: leaving] 18:43:27 amoe [~amoe@host-92-26-163-180.as13285.net] has joined #scheme 18:48:14 Khisanth [~Khisanth@50.14.244.111] has joined #scheme 18:52:13 -!- William_ [~William@108-85-16-151.lightspeed.gnvlsc.sbcglobal.net] has quit [Read error: Connection reset by peer] 18:52:17 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 248 seconds] 18:52:35 William_ [~William@108-85-16-151.lightspeed.gnvlsc.sbcglobal.net] has joined #scheme 18:59:10 -!- cdidd [~cdidd@128-72-204-241.broadband.corbina.ru] has quit [Remote host closed the connection] 19:12:22 -!- jozefg [~quassel@c-75-73-195-18.hsd1.mn.comcast.net] has quit [Remote host closed the connection] 19:23:07 pessoa [~pessoa@188-195-211-39-dynip.superkabel.de] has joined #scheme 19:24:51 -!- mutley89 [~mutley89@cpc1-swin14-2-0-cust274.3-1.cable.virginmedia.com] has quit [Ping timeout: 248 seconds] 19:26:53 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 19:30:09 mutley89 [~mutley89@cpc1-swin14-2-0-cust274.3-1.cable.virginmedia.com] has joined #scheme 19:33:14 mark_weaver [~user@209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 19:35:01 -!- rmathews [~roshan@122.164.35.204] has quit [Quit: ...] 19:37:43 -!- dRbiG [drbig@unhallowed.pl] has quit [Excess Flood] 19:38:19 dRbiG [drbig@unhallowed.pl] has joined #scheme 19:41:48 -!- mutley89 [~mutley89@cpc1-swin14-2-0-cust274.3-1.cable.virginmedia.com] has quit [Ping timeout: 245 seconds] 19:41:49 wbooze [~wbooze@xdsl-78-35-184-45.netcologne.de] has joined #scheme 19:48:52 przl [~przlrkt@p54BF89F8.dip0.t-ipconnect.de] has joined #scheme 20:05:07 -!- przl [~przlrkt@p54BF89F8.dip0.t-ipconnect.de] has quit [Quit: leaving] 20:05:21 przl [~przlrkt@p54BF89F8.dip0.t-ipconnect.de] has joined #scheme 20:06:12 -!- gravicappa [~gravicapp@h94-75-54-226.dyn.bashtel.ru] has quit [Ping timeout: 252 seconds] 20:14:21 spobat [~spobat@p5B2DF6E4.dip.t-dialin.net] has joined #scheme 20:16:04 zacts [~zacts@unaffiliated/zacts] has joined #scheme 20:21:01 -!- pessoa [~pessoa@188-195-211-39-dynip.superkabel.de] has quit [Quit: Started wasting time elsewhere] 20:24:19 berndj [~berndj@dsl-185-146-61.dynamic.wa.co.za] has joined #scheme 20:34:06 -!- gf3 [~gf3@oftn/member/gf3] has quit [Changing host] 20:34:06 gf3 [~gf3@unaffiliated/gf3] has joined #scheme 20:34:31 -!- dnolen [~user@ppp-70-242-122-199.dsl.rcsntx.swbell.net] has quit [Ping timeout: 246 seconds] 20:42:56 -!- htop [~bc@pD9EE8179.dip0.t-ipconnect.de] has quit [Ping timeout: 240 seconds] 20:54:12 -!- wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has quit [Ping timeout: 248 seconds] 21:06:47 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [] 21:07:23 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 21:14:36 -!- mark_weaver [~user@209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [Ping timeout: 256 seconds] 21:14:40 paul_ [~paul@c-98-230-236-230.hsd1.sc.comcast.net] has joined #scheme 21:16:52 -!- przl [~przlrkt@p54BF89F8.dip0.t-ipconnect.de] has quit [Ping timeout: 256 seconds] 21:25:06 -!- PuercoPop [~user@190.41.173.174] has quit [Remote host closed the connection] 21:25:08 -!- ASau [~user@46.115.121.150] has quit [Ping timeout: 245 seconds] 21:28:48 -!- safekeeping_ [~safekeepi@c-68-36-167-104.hsd1.nj.comcast.net] has quit [Read error: Connection reset by peer] 21:29:49 ASau [~user@46.115.121.150] has joined #scheme 21:34:44 -!- SeySayux [SeySayux@libsylph/developer/seysayux] has quit [Ping timeout: 246 seconds] 21:34:44 htop [~bc@pD9EE8179.dip0.t-ipconnect.de] has joined #scheme 21:40:21 SeySayux [SeySayux@libsylph/developer/seysayux] has joined #scheme 21:43:13 -!- paul_ [~paul@c-98-230-236-230.hsd1.sc.comcast.net] has left #scheme 21:49:58 -!- jaaso_ [~jaaso_@effic.me] has left #scheme 21:50:04 -!- hiroaki [~hiroaki@77-20-78-82-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 21:51:22 hiroakip [~hiroaki@77-20-78-82-dynip.superkabel.de] has joined #scheme 21:51:25 hiroaki [~hiroaki@77-20-78-82-dynip.superkabel.de] has joined #scheme 21:55:58 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Ping timeout: 245 seconds] 21:58:03 -!- wbooze [~wbooze@xdsl-78-35-184-45.netcologne.de] has quit [Quit: none] 21:58:21 wbooze [~wbooze@xdsl-78-35-184-45.netcologne.de] has joined #scheme 21:59:38 -!- zacts [~zacts@unaffiliated/zacts] has quit [Quit: leaving] 22:05:30 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 22:10:20 -!- a115 [~user@ip-88-152-212-228.unitymediagroup.de] has left #scheme 22:11:47 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Ping timeout: 248 seconds] 22:12:14 -!- htop [~bc@pD9EE8179.dip0.t-ipconnect.de] has quit [Ping timeout: 255 seconds] 22:14:18 -!- mmc1 [~michal@178-85-64-28.dynamic.upc.nl] has quit [Ping timeout: 245 seconds] 22:20:20 mutley89 [~mutley89@cpc1-swin14-2-0-cust274.3-1.cable.virginmedia.com] has joined #scheme 22:20:36 -!- spobat [~spobat@p5B2DF6E4.dip.t-dialin.net] has quit [Quit: Leaving] 22:32:14 zacts [~lcc@unaffiliated/zacts] has joined #scheme 22:33:19 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Read error: Connection reset by peer] 22:41:46 dnolen [~user@12.130.122.119] has joined #scheme 22:46:49 -!- William_ [~William@108-85-16-151.lightspeed.gnvlsc.sbcglobal.net] has quit [Read error: Connection reset by peer] 22:49:39 -!- mutley89 [~mutley89@cpc1-swin14-2-0-cust274.3-1.cable.virginmedia.com] has quit [Ping timeout: 248 seconds] 22:50:33 Triclops256 [~Triclops2@Powder/Developer/Triclops200] has joined #scheme 22:50:48 Hello, all 22:53:16 Anyone on? 22:53:16 's (display "Anyone on?") 22:55:32 Nope. Nobody here but is captured continuations. Captured and caged up and ogled at. 22:55:51 Damn, that's a shame. 22:56:01 eheh 22:56:06 That reminds me, I do have a question about continuations 22:56:19 In guile 22:56:22 2.0.x 22:57:47 When I capture a continuation and then call it again later, it seems to execute the code then leave the lambda context in which it is supposed to reside, hits its own external recall, and begins to infinite loop. Is that normal, or should it have hit the end of its context and returned a value? 22:58:38 -!- Tau [~Euler@186.194.52.192] has quit [Remote host closed the connection] 22:58:40 You'll have to be more specific, preferably with a reduced sample of code. 23:01:04 (define cont #f) (define (foo) (+ 1 (call/cc (lambda (c) (set! cont c) 2)))) (display (cont 3)) -> this displays "44444444444444444..." 23:01:13 oop 23:01:19 I forgot the first foo call 23:01:27 But, it'd still display infinite 4 23:03:52 Triclops256: For a strictly guile-related question, you might like to try #guile. 23:04:10 taylanub: The thing is, I'm not sure if it is #guile related or scheme related 23:04:17 OK. 23:05:13 As you can see above, it leaves the context of foo and continues on, I'm not sure if that's how a continuation is defined or if that is a bug in the guile implementation 23:05:24 Can you show the actual code, including the call to foo? 23:05:36 (define cont #f) (define (foo) (+ 1 (call/cc (lambda (c) (set! cont c) 2)))) (foo) (display (cont 3)) -> this displays "44444444444444444..." 23:05:41 Riastradh: That would do it 23:05:57 I think 23:06:13 Okay 23:06:17 Now it's just messing with me 23:06:21 It was broken yesterday 23:06:21 Do you enter those expressions one-by-one in a REPL or in a file containing them all ? 23:06:46 34 23:06:46 's (define cont #f) (define (foo) (+ 1 (call/cc (lambda (c) (set! cont c) 2)))) (display (foo)) (display (cont 3)) 23:06:47 See 23:06:50 Now it works 23:06:52 -_-{ 23:06:55 _ * 23:07:03 I think that would make a difference, but I can't be sure. (Still inexperienced with continuations.) By the way try to not send so many lines on IRC ... 23:07:08 I'm really confused 23:07:33 If you're entering the expressions one-by-one at the REPL, try putting them all into one expression instead. 23:07:43 Must have been an issue with the fact I just upgraded guile and didn't reboot. Linux doesn't generally need a reboot 23:08:03 rudybot: (let ((cont #f)) (define (foo) (+ 1 (call/cc (lambda (c) (set! cont c) 2)))) (display (foo)) (display (cont 3))) 23:08:04 Riastradh: your sandbox is ready 23:08:14 Riastradh: error: with-limit: out of time 23:08:25 Well, darn. I guess it doesn't show the partial output. 23:08:34 Yup, wrapping them all in `begin' causes an infinite loop, whereas without begin (even entering them in the same REPL line) doesn't. (I just tested with Guile 2.0.) 23:08:54 taylanub: I'm guessing that isn't how it should be? 23:09:09 It is. Well the REPL part causes confusion. 23:09:15 In any case, what happens when you evaluate (cont 3) is that Scheme forgets whatever it was doing -- that is, forgets that the next thing to do was (display []) -- and makes 3 come flying out of the (+ 1 []) in foo. 23:09:25 A continuation doesn't just capture .. "upwards" .. but also .. "sideways" if you get what I mean ? 23:09:38 taylanub: Ah, okay. That makes sense 23:09:43 Hehe. 23:09:52 It actually does. 23:10:03 The begin wraps it all into one context 23:10:08 So foo returns 4 from the call to it in (display (foo)), and then control proceeds in the (begin [] (display (cont 3))), so Scheme evaluates (cont 3) again. 23:10:23 Riastradh: Yep 23:10:27 Makes sense now 23:10:37 Yup. This is also relevant to one of those arguments for delimited continuations over call/cc: All continuations are implicitly delimited in practice. 23:10:46 If you type it into the REPL, then when (display (foo)) returns, it returns to the REPL -- whose next step is to read an expression from you, not go back and evaluate an expression it had already read. 23:11:21 I see. 23:11:49 E.g. in a REPL, each loop delimits a continuation. In a program, the limit is where the operating system runs the program ... 23:12:00 Also, I just finished up an apache plugin for a version of SML, if anyone has any suggestions to it, I'm all ears. triclops200.com (text at bottom of page) 23:12:11 taylanub: Yep 23:12:29 Is this the reason why they say to use continuations sparingly? 23:13:05 Well I think proponents of delimited continuations would rather tell you to not use un-delimited ones at all. 23:13:49 Got it 23:14:02 Sorry, still rather new to scheme, only using it for 3 months or so 23:14:15 And other than that, continuations are a very low-level concept, so in general something you'd like to wrap in a library for a higher-level concept. 23:15:19 I see. 23:15:33 Which interpereter/environment do y'all use? 23:17:09 I'm a fan of guile just for the sake of GNU. 23:17:23 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 248 seconds] 23:18:11 taylanub: It seems to be pretty fast, too. 23:18:15 *taylanub* dreams of days he'll use a system based on the HURD and Guile, with Guix as the package-manager and what-not. 23:18:28 xD 23:18:34 I wish HURD had gotten farther 23:18:44 Yeah, it's also quite good technically. One of the top-tier general-purpose ones from what I get. 23:18:53 But, I'm a fan of portage, personally. 23:19:27 taylanub: I've tried the debian HURD, couldn't even get it to boot from the DVD. 23:20:03 I could boot it in Qemu but didn't play around much. 23:20:31 taylanub: Which distro do you currently use? 23:22:43 -!- ijp [~user@host86-171-128-219.range86-171.btcentralplus.com] has quit [Ping timeout: 248 seconds] 23:23:16 OpenBSD. Was an experiment, then I stuck with it. Will switch back to GNU when there's a usable Guix-based distro. Formerly I was using Arch (or Parabola). 23:23:42 How is BSD software support-wise? 23:23:57 *drewc* loves delim conts, and A-normal for that matter, and does not like full conts at all :) 23:25:21 Triclops256: OpenBSD is comparable to Debian-stable, I think. 23:25:45 taylanub: Not bad at all. I don't know if it'd be worth the switch from gentoo, though. 23:26:54 from gentoo to openBSD? worth it if you want stability and secure, and want to be a wee bit off the 'bleeding edge' 23:27:11 I had a hard time getting guile to compile. And on 5.2, recent boehm-gc versions don't compile anymore because 5.2 switched to rthreads which lack some non-portable pthread features. 23:27:33 (I'm on 5.1.) 23:27:42 Ah 23:27:49 Sounds like software issues, then 23:28:21 Does it support AwesomeWM? 23:31:23 Apparently 5.1 packages have 3.4.11, I bet that version is 2 years old or so. :P 23:31:42 Nope, that's the newest 23:31:57 wait 23:32:04 They released 3.5 in december 23:32:08 but, still close 23:32:37 I guess they don't release that often, then. 23:32:56 No idea 23:36:38 So, any criticisms at all on: http://triclops200.com/index.sml.txt 23:36:39 ? 23:37:15 Was that meant to render as HTML ? 23:37:37 taylanub: No, that's the source, it renders at http://triclops200.com 23:37:38 (Be sent as, rather.) 23:37:52 Ah OK. 23:40:06 (style "background:#333333;float:left;position:relative;") stings to my eye. :P 23:40:29 taylanub: Yeah, I know, That's a holdover from before I really learned CSS 23:44:11 joneshf [~joneshf@086.112-30-64.ftth.swbr.surewest.net] has joined #scheme 23:44:50 ijp [~user@host86-171-128-219.range86-171.btcentralplus.com] has joined #scheme 23:46:37 -!- Triclops256 is now known as Triclops256|away