00:00:37 -!- corruptmemory [~jim@96.246.167.18] has quit [Ping timeout: 255 seconds] 00:03:10 NihilistDandy [~ND@c-75-69-129-101.hsd1.nh.comcast.net] has joined #scheme 00:03:29 githogori [~githogori@adsl-66-123-22-146.dsl.snfc21.pacbell.net] has joined #scheme 00:04:57 -!- pnkfelix [~Adium@c-68-38-142-34.hsd1.nj.comcast.net] has quit [Quit: Leaving.] 00:05:51 -!- yx [debian-tor@gateway/tor-sasl/yx] has quit [Remote host closed the connection] 00:19:16 blueadept [~blueadept@unaffiliated/blueadept] has joined #scheme 00:22:35 Marcux [~Adium@189.121.111.41] has joined #scheme 00:22:40 yx [debian-tor@gateway/tor-sasl/yx] has joined #scheme 00:28:51 hrm 00:29:05 typed racket is still irritatingly verbose in situations where I think it ought not to be 00:29:26 I want haskell's "data X a = Y a | Z a -> a" 00:42:50 One of the main things I love about Scheme is the profusion of books written about it. Although there could always be more. :-) 00:43:29 and as it turns out, doing that in typed racket is annoying... I need to define a separate struct for each type, I think 00:44:16 fds: Agreed 00:45:08 *elly* wants a named union! 00:55:40 elly could probably write that in a one-line macro 00:56:47 I couldn't, but if you feel like delivering a proof by example, I'd be happy :) 00:58:42 (define-syntax-rule (data: name [clause [field type] ...] ...) (begin (define-type name (U clause ...)) (struct: clause ([field : type] ...)) ...)) 00:59:02 mudzone [~user@70.49.246.118] has joined #scheme 00:59:05 That one doesn't handle polymorphism, but it'd be easy to add. 00:59:10 -!- HG` [~HG@xdsler155.osnanet.de] has quit [Quit: Leaving.] 01:00:32 -!- masm [~masm@bl15-129-210.dsl.telepac.pt] has quit [Quit: Leaving.] 01:02:19 -!- adu [~ajr@pool-173-79-54-138.washdc.fios.verizon.net] has quit [Quit: adu] 01:04:13 adu [~ajr@pool-173-79-54-138.washdc.fios.verizon.net] has joined #scheme 01:13:36 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.] 01:16:18 argh 01:16:27 typed racket does not have a way to tell you which arm of a union is inhabited 01:16:31 does anyone use it for anything? 01:19:13 do I just use the normal type predicates? 01:21:35 yeah, you do 01:22:02 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 245 seconds] 01:22:19 -!- carleastlund [~cce@gotham.ccs.neu.edu] has quit [Quit: carleastlund] 01:24:19 -!- Marcux [~Adium@189.121.111.41] has quit [Quit: Leaving.] 01:25:35 -!- mudzone [~user@70.49.246.118] has quit [Remote host closed the connection] 01:27:30 -!- seus [~sbero@adsl-99-114-191-162.dsl.spfdmo.sbcglobal.net] has quit [Quit: seus] 01:35:18 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 01:35:36 -!- mwolfe [~mwolfe@corona.cornerturn.com] has quit [Remote host closed the connection] 01:37:23 fantazo [~fantazo@178-191-171-197.adsl.highway.telekom.at] has joined #scheme 01:37:52 -!- evhan [~evhan@76-250-39-229.lightspeed.mdsnwi.sbcglobal.net] has quit [Ping timeout: 245 seconds] 01:41:54 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 01:43:23 locks [u130@gateway/web/irccloud.com/x-fbtyqmhwoifzohzz] has joined #scheme 01:43:28 -!- locks [u130@gateway/web/irccloud.com/x-fbtyqmhwoifzohzz] has left #scheme 01:53:16 seus [~sbero@adsl-99-114-191-162.dsl.spfdmo.sbcglobal.net] has joined #scheme 02:22:53 -!- rasterbar [~rasterbar@unaffiliated/rasterbar] has quit [Remote host closed the connection] 02:27:10 rasterbar [~rasterbar@unaffiliated/rasterbar] has joined #scheme 02:31:34 Lãï¼ï¼ï¼ï¼ï¼ï¼ï¼ï¼ï¼ãã\ 02:31:53 hi foof 02:32:03 -!- zanes [~zane@wall.tripitinc.com] has quit [Quit: zanes] 02:34:36 I think you mean `hi foof's cat', elly. 02:36:28 it is possible 02:36:54 I desire static types and S-expressions, Riastradh 02:40:09 does such a thing exist? typed racket is painfully inadequate, it seems 02:44:08 -!- rasterbar [~rasterbar@unaffiliated/rasterbar] has quit [Remote host closed the connection] 02:49:48 -!- dfkjjkfd [~paulh@210-11-ftth.onsnetstudenten.nl] has quit [Quit: Lost terminal] 02:50:39 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 240 seconds] 02:51:20 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 02:51:39 -!- wbooze [~levgue@xdsl-78-35-145-12.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 02:51:44 -!- homie [~levgue@xdsl-78-35-145-12.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 02:52:15 elly, doubtful, if Typed Racket is painfully inadequate. 02:52:28 I just want tagged union types 02:55:06 Well, I'm sure you can write a macro to do that conveniently in Typed Racket. 02:55:11 wbooze [~levgue@xdsl-78-35-145-12.netcologne.de] has joined #scheme 02:55:49 yeah 02:55:52 I was thinking about it 02:56:40 homie [~levgue@xdsl-78-35-145-12.netcologne.de] has joined #scheme 03:10:05 jcowan [~John@cpe-74-68-112-189.nyc.res.rr.com] has joined #scheme 03:11:07 My cat seems to have been very puzzled by the letter 'L'. 03:12:22 Perhaps if she goes through the whole alphabet she'll learn to read and write, and provide you with better conversation. 03:12:22 hee :P 03:24:15 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 240 seconds] 03:24:18 bitweiler [~bitweiler@adsl-99-40-239-167.dsl.stl2mo.sbcglobal.net] has joined #scheme 03:25:13 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 03:26:58 -!- seus [~sbero@adsl-99-114-191-162.dsl.spfdmo.sbcglobal.net] has quit [Quit: seus] 03:35:58 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Remote host closed the connection] 03:36:24 -!- NihilistDandy [~ND@c-75-69-129-101.hsd1.nh.comcast.net] has quit [Remote host closed the connection] 03:39:27 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 03:41:32 elly: you might play with the define-type macro in plai racket. no idea how it compares to typed racket 03:45:19 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Ping timeout: 265 seconds] 03:45:44 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 04:13:32 masm [~masm@bl15-129-210.dsl.telepac.pt] has joined #scheme 04:17:03 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 240 seconds] 04:19:04 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 04:20:57 .oO("plai"?) 04:22:00 NihilistDandy [~ND@c-75-69-129-101.hsd1.nh.comcast.net] has joined #scheme 04:22:38 -!- masm [~masm@bl15-129-210.dsl.telepac.pt] has quit [Quit: Leaving.] 04:24:16 The first Google hit says Programming Languages: Application & Interpretation. 04:24:47 cky: What are you looking for? 04:25:25 NihilistDandy: You need to read scrollback for that to make sense. :-) 04:25:33 NihilistDandy: See /topic for log location. 04:26:50 Checked it. I dun see the context :( 04:26:50 :D 04:27:13 Read the two lines of conversation before my comment. 04:27:29 i.e., ones from bremner and offby1. 04:27:50 Ah 04:28:02 Got it now. Lots of joins and parts made it a bit hard to read :D 04:28:13 Heh. 04:29:14 I haven't played much with Racket, yet 04:29:25 How is it, comparatively speaking? 04:29:27 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 240 seconds] 04:29:44 NihilistDandy: It's a very batteries-included implementation. 04:29:50 oh, _that_ PLAI :) 04:29:58 offby1: :-) 04:30:29 That was the feeling I got. Just grabbed the haskell platform for the same reason 04:31:01 *nods* 04:31:15 QuickLisp is like Haskell Platform, in the CL world. 04:31:30 I'm in love with QuickLisp :D 04:31:36 :-) 04:32:06 (ql:have-my-children) and whatnot 04:32:19 Hehehehe, awwww.... 04:33:19 So what have you been up to in the wide world of scheme, these days? 04:34:30 Not much of anything yet. 04:35:02 New? 04:35:18 I mean I've written an MD[45] implementation, CipherSaber, etc., but that's old news. 04:35:24 lol 04:35:36 Not new in the least :D 04:35:40 do all scheme implementation follow the same model of evaluation? 04:35:41 Exactly. 04:35:51 bitweiler: What do you mean by "same model"? 04:36:14 NihilistDandy: I want to write a GolfScript interpreter. Maybe I'll do it in Scheme. 04:36:31 NihilistDandy: I have, at the moment, a stronger temptation to do it in C++, just for the lulz. 04:36:38 I've just been experimenting with pi approximations in battery-less Scheme 04:36:46 Nothing big :D 04:36:49 NihilistDandy: My favourite is (atan 0 -1) 04:36:54 cky: i not sure exactly just reading SCIP 3.2 where it mentions model of evaluation 04:37:00 s/i/i am/ 04:37:24 NihilistDandy: Also see http://stackoverflow.com/q/19/13 for an example of more pi approximations (albeit not necessarily in Scheme). 04:37:52 cky: This is the one I generally used, based on a Machin-like formula: http://snipplr.com/view/48402/advanced-pi-approximation/ 04:37:57 *use 04:38:39 The indentation is painful, but I think I get the idea. :-) 04:39:17 I had it as a one-line, but some (non-Schemy) people I was dealing with needed it laid out a little more clearly 04:39:25 They're not good with prefix notation :/ 04:39:35 Hahahahaha. 04:40:10 Exactly 04:41:34 bitweiler: I understand from skimming that section that you're talking about environments, frames, and such like. 04:41:48 In that case, yes, all Scheme implementations function that way, at least abstractly. 04:41:54 yeah, i'm just starting reading it 04:42:05 :-D 04:44:05 saccade [~saccade@c-67-180-11-158.hsd1.ca.comcast.net] has joined #scheme 04:44:46 -!- fantazo [~fantazo@178-191-171-197.adsl.highway.telekom.at] has quit [Ping timeout: 265 seconds] 04:47:22 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 04:54:39 offby1: you figured it out, but #lang plai 04:55:03 -!- aisa [~aisa@c-68-35-165-60.hsd1.nm.comcast.net] has quit [Quit: aisa] 04:56:12 #langs that go with books are good. 04:56:32 fantazo [~fantazo@178-191-170-84.adsl.highway.telekom.at] has joined #scheme 04:56:37 If I were less lazy I'd write #lang SICP (and thousands of freshmen would love me!) and #lang arc 04:56:58 does arc have some redeeming features? 04:57:18 erjiang [~erjiang@7.80.244.66.jest.smithvilledigital.net] has joined #scheme 04:57:35 or is there a book arc as well as a LISP arc? 04:59:52 there's no book, as far as I know. 05:00:01 redeeming features? I dunno. 05:07:51 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 240 seconds] 05:08:23 scottj [~scott@206.212.250.58] has joined #scheme 05:09:06 offby1: They have #lang sicp, already, sort of 05:09:10 UCB Scheme 05:13:34 elly: "does not have a way to tell you which arm of a union is inhabited"? 05:15:00 eli: I presume elly wants something like a discriminated union. 05:15:11 eli: But the smart kind, not the kind you find in C. 05:15:11 -!- homie [~levgue@xdsl-78-35-145-12.netcologne.de] has quit [Ping timeout: 246 seconds] 05:15:54 NihilistDandy: really! I hadn't heard of that. 05:15:56 What's a "discriminated union"? 05:16:14 Sounds like a bunch of lazy unemployed people thing. 05:16:14 both the Northern and Southern states are inhabited. 05:16:20 -!- wbooze [~levgue@xdsl-78-35-145-12.netcologne.de] has quit [Ping timeout: 276 seconds] 05:16:46 offby1: Basically, it's STk, but you call it as stk-simply and it loads things for their SICP class (after which the book was named) 05:17:06 eli: Hahaha. 05:17:09 cky: If you mean disjoint unions, then TR doesn't have them, but there's no need for them either since it is still racket which means that all values are fully tagged. 05:17:34 eli: *nods* Yeah, then I'm not sure what elly meant. 05:17:35 But the lack of something like a match on a specific union is indeed missing. 05:17:47 NihilistDandy: oh, I thought you meant an actual racket "language level" 05:17:56 homie [~levgue@xdsl-78-35-173-136.netcologne.de] has joined #scheme 05:18:01 -!- MrFahrenheit [~RageOfTho@users-146-124.vinet.ba] has quit [Ping timeout: 240 seconds] 05:18:02 Oh, no. Sorry, I missed that part of the conversation 05:18:14 wbooze [~levgue@xdsl-78-35-173-136.netcologne.de] has joined #scheme 05:18:20 My brain's all over the place 05:20:30 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 05:21:14 _danb_ [~user@124-171-12-242.dyn.iinet.net.au] has joined #scheme 05:22:33 match on a specific union ? can't you just define-predicate on a specific union type and use that? 05:23:56 -!- user17 [~user@p5B2A9939.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 05:35:42 -!- bitweiler [~bitweiler@adsl-99-40-239-167.dsl.stl2mo.sbcglobal.net] has left #scheme 05:39:36 nilg` [~user@77.70.2.229] has joined #scheme 05:46:49 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 05:47:54 -!- jcowan [~John@cpe-74-68-112-189.nyc.res.rr.com] has quit [Quit: Leaving] 05:57:06 -!- NihilistDandy [~ND@c-75-69-129-101.hsd1.nh.comcast.net] has quit [Remote host closed the connection] 05:57:30 -!- DrDuck [~duck@216.186.151.63] has quit [Ping timeout: 272 seconds] 05:57:53 -!- saccade [~saccade@c-67-180-11-158.hsd1.ca.comcast.net] has quit [Quit: This computer has gone to sleep] 06:01:31 -!- specbot [~specbot@common-lisp.net] has quit [Remote host closed the connection] 06:01:32 -!- minion [~minion@common-lisp.net] has quit [Remote host closed the connection] 06:01:32 -!- lisppaste [~lisppaste@common-lisp.net] has quit [Remote host closed the connection] 06:07:20 -!- nilg` [~user@77.70.2.229] has quit [Ping timeout: 246 seconds] 06:08:22 nilg` [~user@77.70.2.229] has joined #scheme 06:11:08 lisppaste [~lisppaste@common-lisp.net] has joined #scheme 06:11:38 minion [~minion@common-lisp.net] has joined #scheme 06:11:43 specbot [~specbot@common-lisp.net] has joined #scheme 06:33:58 saccade [~saccade@c-67-180-11-158.hsd1.ca.comcast.net] has joined #scheme 06:39:19 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 265 seconds] 06:52:05 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 06:57:18 -!- tronador_ [~guille@190.67.59.189] has quit [Quit: tronador_] 06:59:29 jewel [~jewel@196-215-16-138.dynamic.isadsl.co.za] has joined #scheme 07:02:09 -!- erjiang [~erjiang@7.80.244.66.jest.smithvilledigital.net] has quit [Read error: Operation timed out] 07:16:32 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 265 seconds] 07:18:24 -!- Euthydemus [~euthydemu@vaxjo7.80.cust.blixtvik.net] has quit [Read error: Connection reset by peer] 07:18:51 Euthydemus [~euthydemu@vaxjo7.80.cust.blixtvik.net] has joined #scheme 07:24:46 -!- ozzloy [~ozzloy@unaffiliated/ozzloy] has quit [Ping timeout: 255 seconds] 07:25:08 ozzloy [~ozzloy@unaffiliated/ozzloy] has joined #scheme 07:38:08 -!- rgrau [~user@62.Red-88-2-20.staticIP.rima-tde.net] has quit [Remote host closed the connection] 07:44:23 -!- scottj [~scott@206.212.250.58] has quit [Quit: leaving] 08:14:16 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 08:14:38 -!- parcs [~patrick@ool-45741d7d.dyn.optonline.net] has quit [Read error: Connection reset by peer] 08:15:05 parcs [~patrick@ool-45741d7d.dyn.optonline.net] has joined #scheme 08:16:50 -!- gabot [~eli@winooski.ccs.neu.edu] has quit [Ping timeout: 246 seconds] 08:30:29 -!- adu [~ajr@pool-173-79-54-138.washdc.fios.verizon.net] has quit [Quit: adu] 08:39:11 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 08:39:47 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 08:46:21 noonian [~noonian@c-24-20-15-118.hsd1.or.comcast.net] has joined #scheme 08:49:35 -!- jewel [~jewel@196-215-16-138.dynamic.isadsl.co.za] has quit [Quit: Leaving] 08:57:30 -!- pothos [~pothos@111-240-165-153.dynamic.hinet.net] has quit [Remote host closed the connection] 08:57:38 -!- blueadept [~blueadept@unaffiliated/blueadept] has quit [Quit: Leaving] 08:57:55 pothos [~pothos@111-240-165-153.dynamic.hinet.net] has joined #scheme 09:04:48 alaricsp [~alaric@144-33-191-193.ipv4.fosdem.net] has joined #scheme 09:17:53 -!- nilg` [~user@77.70.2.229] has quit [Remote host closed the connection] 09:21:29 Blkt [~user@net-93-151-229-166.cust.dsl.teletu.it] has joined #scheme 09:24:54 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Quit: Leaving] 09:25:35 -!- noonian [~noonian@c-24-20-15-118.hsd1.or.comcast.net] has quit [Ping timeout: 265 seconds] 09:37:05 kar8nga [~kar8nga@78.104.80.27] has joined #scheme 09:39:40 -!- alaricsp [~alaric@144-33-191-193.ipv4.fosdem.net] has quit [Ping timeout: 260 seconds] 09:56:39 jewel [~jewel@196-215-16-138.dynamic.isadsl.co.za] has joined #scheme 10:02:02 -!- yx [debian-tor@gateway/tor-sasl/yx] has quit [Remote host closed the connection] 10:03:23 yx [debian-tor@gateway/tor-sasl/yx] has joined #scheme 10:18:22 good day everyone 10:19:51 HG` [~HG@xdsl-188-118-129-19.dip.osnanet.de] has joined #scheme 10:22:26 -!- pattern [~pattern@unaffiliated/pattern] has quit [Ping timeout: 240 seconds] 10:27:12 -!- saccade [~saccade@c-67-180-11-158.hsd1.ca.comcast.net] has quit [Quit: This computer has gone to sleep] 10:27:41 -!- rdd [~user@c83-250-51-60.bredband.comhem.se] has quit [Ping timeout: 276 seconds] 10:32:28 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 10:45:19 seus [~sbero@99.114.191.162] has joined #scheme 10:47:49 Marcux [~Adium@189.121.111.41] has joined #scheme 10:55:19 masm [~masm@2.80.144.10] has joined #scheme 11:05:23 -!- Articate [~Moriya@pjp-78.uio.no] has quit [] 11:06:05 -!- Nisstyre [~nisstyre@infocalypse-net.info] has quit [Ping timeout: 255 seconds] 11:08:04 -!- seus [~sbero@99.114.191.162] has quit [Quit: seus] 11:32:08 Mkman [~Mkman@bl15-140-243.dsl.telepac.pt] has joined #scheme 12:08:00 rdd [~user@c83-250-51-60.bredband.comhem.se] has joined #scheme 12:08:22 seus [~sbero@adsl-99-114-191-162.dsl.spfdmo.sbcglobal.net] has joined #scheme 12:14:41 -!- dRbiG [drbig@unhallowed.pl] has quit [Ping timeout: 240 seconds] 12:21:09 dRbiG [drbig@unhallowed.pl] has joined #scheme 12:23:10 femtoo [~femto@95-89-197-149-dynip.superkabel.de] has joined #scheme 12:24:55 -!- seus [~sbero@adsl-99-114-191-162.dsl.spfdmo.sbcglobal.net] has quit [Quit: seus] 12:26:40 rgrau [~user@62.Red-88-2-20.staticIP.rima-tde.net] has joined #scheme 12:33:01 00:17 < eli> cky: If you mean disjoint unions, then TR doesn't have them, but there's no need for them 12:33:05 either since it is still racket which means that all values are fully tagged. 12:33:20 eli: really, what I'd like to express is the equivalent of the following haskell: 12:34:52 data Type = TInt | TString | TBoolean | TArrow Type Type | ... 12:35:37 and then: data Expr = EInt Int | EString String | EBoolean Boolean | EIdentifier String | ... 12:35:51 -!- Marcux [~Adium@189.121.111.41] has quit [Quit: Leaving.] 12:36:12 I can't use racket's union type for `Expr', because as far as it's concerned EString and EIdentifier are the same arm 12:36:17 does that make sense? 12:36:50 dfkjjkfd [~paulh@210-11-ftth.onsnetstudenten.nl] has joined #scheme 12:37:40 I can hack around this by producing new types for EString and EIdentifier, but I really just want both of them to be strings 12:38:09 elly: it does look like define-type in plai racket. You get a "constructor" for each branch, which wraps things in a struct 12:38:24 plai racket? 12:38:31 #lang plai 12:38:31 (as distinct from PLT?) 12:38:36 hrm, intriguing 12:38:52 I do need a constructor for each branch, basically 12:39:17 it's meant as a teaching language (plai racket, not trying to start that fight ;) ), but you could at least steal ideas. 12:41:33 fantazo_ [~fantazo@178-190-233-85.adsl.highway.telekom.at] has joined #scheme 12:41:58 rgrau_ [~user@154.Red-83-41-88.dynamicIP.rima-tde.net] has joined #scheme 12:42:58 can you point me at docs for it? their location is not obvious from http://docs.racket-lang.org/ 12:43:14 -!- rgrau [~user@62.Red-88-2-20.staticIP.rima-tde.net] has quit [Ping timeout: 240 seconds] 12:45:10 sure, one sec 12:45:22 -!- fantazo [~fantazo@178-191-170-84.adsl.highway.telekom.at] has quit [Ping timeout: 272 seconds] 12:45:40 http://docs.racket-lang.org/plai/plai-scheme.html 12:46:22 hrm 12:46:28 so I probably want to look at how that is implemented 12:46:31 (and/or steal it) 12:55:17 alaricsp [~alaric@141-41-191-193.ipv4.fosdem.net] has joined #scheme 12:56:32 seus [~sbero@adsl-99-114-191-162.dsl.spfdmo.sbcglobal.net] has joined #scheme 13:12:58 mathk__ [~mathk@194.177.61.42] has joined #scheme 13:13:59 -!- mathk [~mathk@194.177.61.29] has quit [Read error: Operation timed out] 13:13:59 -!- mathk__ is now known as mathk 13:24:52 -!- seus [~sbero@adsl-99-114-191-162.dsl.spfdmo.sbcglobal.net] has quit [Quit: seus] 13:34:02 -!- alaricsp [~alaric@141-41-191-193.ipv4.fosdem.net] has quit [Ping timeout: 240 seconds] 13:42:55 Phao [pedro-hen@189.107.252.244] has joined #scheme 13:44:02 seus [~sbero@adsl-99-114-191-162.dsl.spfdmo.sbcglobal.net] has joined #scheme 13:52:31 Riastradh, hey... I've been looking again over that link on tai time you sent me (http://cr.yp.to/proto/utctai.html) and, not just there, I see people talking about "tai time" and "utc time", but I can't find what that is anywhere -- I mean, like unix time definition (as being the n° of seconds since 1970/01/01). I'm still searching, but I can't find what TAI time and UTC time is -- I just know that UTC time is TAI time + Leap seconds. 13:54:44 Any clues on where I can find that? 13:58:44 MrFahrenheit [~RageOfTho@users-146-124.vinet.ba] has joined #scheme 14:02:06 DrDuck [~duck@216.186.151.63] has joined #scheme 14:03:22 alaricsp [~alaric@conference/fosdem/x-skulajxtyxoqpewy] has joined #scheme 14:15:30 Phao, both UTC and TAI are systems for naming seconds on the time line. Both tick seconds at the same moments. The relation between the two is a little complicated, because they are written as broken-down representations of year-month-day-hour-minute-second. 14:16:34 The relation is that if you subtract the two representations far enough away from any leap second, then you can get a nice number of seconds as an offset. In particular, a few moments ago it was 2011-02-05T14:16:00 UTC, which is written as 2011-02-05 at 14:16:34 in TAI. 14:16:46 kingping [~kp@92.37.216.218] has joined #scheme 14:17:25 moin chaps 14:17:52 (The text `2011-02-05T14:16:00Z' is the formal notation for a time in UTC, written in the format of ISO 8601, the international standard for writing time and date. However, ISO 8601 has no format for writing TAI, hence the looser way I said `2011-02-05 at 14:16:34 in TAI'.) 14:22:45 -!- HG` [~HG@xdsl-188-118-129-19.dip.osnanet.de] has quit [Quit: Leaving.] 14:24:34 In TAI, every minute has sixty seconds, every hour has sixty minutes, every day has twenty-four hours, and usually once time is broken down into days like that one usually applies the Gregorian calendar to break it down into months and years. 14:25:15 In UTC, every hour still has sixty minutes, every day still has twenty-four hours, and one still usually applies the Gregorian calendar for months and years, but minutes can have fifty-nine, sixty, or sixty-one seconds. 14:25:53 (So far, there has never been a minute with fifty-nine seconds, and there probably never will be, but the possibility hasn't been ruled out by the relevant international standards bodies.) 14:26:02 (A UTC minute with fifty-nine seconds, I mean.) 14:26:28 yes 14:26:38 but... what does it mean "tai time"? 14:26:48 I mean... is it a number of secs since some epoch? 14:27:47 is it possible to calculate tai time, as it is with unix time? 14:28:53 Well, there are two things here: TAI clocks, which measure the progress of time and tick seconds; and the broken-down representation of time as year-month-day-hour-minute-second, aligned with the ticks of seconds by TAI clocks. 14:29:28 "which measure the progress of time" 14:29:33 since which date? 14:29:47 There's no standard epoch that TAI clocks count the number of seconds from -- everyone writes them as year-month-date-hour-minute-second --, but you could choose some epoch and represent time as the number of seconds that TAI clocks have ticked since that epoch. 14:29:50 hmm 14:30:54 ok. SO I'd use the gregorian calendar to determine how many days from that epoch, and use the fixed seconds/minutes/hours definition from TAI to do that 14:31:00 now I understand 14:31:12 I thought there was an epoch, like with unix time 14:31:42 dude -- you have no idea how much this was messing with my head =) 14:31:45 If you have a year-month-date-hour-minute-second object, and you want a number of seconds since some epoch, then yes. 14:32:09 yeah, but I thought there was a standard epoch, like unix time has 14:33:39 now it's kinda simple... I just have to remove/add leap seconds to convert back and forth from utc to tai 14:33:53 The TAI clocks started ticking some time in 1956 or so, and started recording that the date was 1956-06-01 and the time of day was 23:42:16, and then a second later, the date was 1956-06-01 and the time of day was 23:42:17, and so on. I made up those dates and times of day -- as far as I understand it, the atomic clocks started ticking long before any international standards were based on them, and there was no definite epoch. 14:34:18 Sort of. 14:34:32 You also have to know *which* seconds are leap seconds. 14:34:33 ok 14:34:40 yeah... i got that already 14:34:46 they're not added regularly 14:34:57 -!- MrFahrenheit [~RageOfTho@users-146-124.vinet.ba] has quit [Read error: Connection reset by peer] 14:35:18 MrFahrenheit [~RageOfTho@users-146-124.vinet.ba] has joined #scheme 14:35:27 well, the 'user' will have to provide a data file telling that -- I'll make up one from wikipedia's info, but updating that -- no way. 14:35:59 It's not good enough to say `OK, right now, it's 2009-01-01 at 00:00:14 in TAI, so if I subtract 34, I know it'll be 2008-12-31T23:59:40Z (UTC).', because that's wrong: in fact the same time written in UTC is 2008-12-31T23:59:41Z. 14:37:17 well 14:37:21 I'm not sure how I'll convert. 14:37:30 By the way, UTC did have an epoch: 1972-01-01T00:00:00Z (= 1972-01-01 at 00:00:00, if written in TAI). At least, modern UTC did -- there was a definition of `UTC' before then with ad hoc adjustments that served the same purpose as, but were less principled than, leap seconds. 14:37:32 but it seems that leap seconds are only added in the last minute of jun and dec 14:37:41 Yes, that's right. 14:37:55 maybe I can , once i have the info on when leap seconds happen, get some values to make the calculations quick 14:37:57 ...excuse me: 1972-01-01T00:00:00Z = 1972-01-01 at 00:00:10 TAI. 14:38:00 otherwise, this could take TIME 14:38:37 "did have"? 14:39:38 UTC did have an epoch, as opposed to TAI, which had no definite epoch that I'm aware of. 14:39:53 but, doesn't it have the epoch anymore? 14:40:06 Oh, it still does. 14:40:17 I used the past tense because, well, the epoch, and the start of UTC, were/are in the past. 14:42:22 oh right 14:42:48 (Sorry for the confusion. It's English's fault, not mine!) 14:42:54 hehehe np 14:43:04 I still believe en is better than pt 14:47:00 Anyway, I gave you a red herring a little earlier. The problem wasn't the process of subtracting the number of leap seconds that happened before the time t in question; it's just that 34 was the wrong number to subtract, because the twenty-fourth leap second hadn't happened until after the time I gave you -- the twenty-fourth leap second was 2009-01-01 at 00:00:33 in TAI, nineteen seconds after the example time I gave you. 14:48:41 -!- homie [~levgue@xdsl-78-35-173-136.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 14:48:51 (What's this business about 34 and 24? Well, there have been only twenty-four leap seconds, but, as I said, 1972-01-01T00:00:00Z = 1972-01-01 at 00:00:10 in TAI. That difference of 10 wasn't from leap seconds; it can be attributed either to ad hoc adjustments in earlier definitions of UTC, or just to where the sun happened to be in the sky over China on 1972-01-01 at 00:00:10.) 14:48:52 -!- wbooze [~levgue@xdsl-78-35-173-136.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 14:50:20 (...and, perhaps more to the point, where it was predicted to be in the sky on 1972-01-01 at 12:00:10 -- namely, at its zenith from the perspective of the Greenwich observatory.) 14:50:38 btw 14:50:39 why china? 14:51:02 Because it was in the sky over China on 1972-01-01 at 00:00:10, not in the sky over England at ten seconds past midnight! 14:51:18 (1972-01-01 at 00:00:10 in TAI, I mean) 14:51:29 Rather, at midnight. 14:51:43 -!- Blkt [~user@net-93-151-229-166.cust.dsl.teletu.it] has quit [Quit: Error: do not makunboud t please!] 14:52:21 homie [~levgue@xdsl-78-35-173-136.netcologne.de] has joined #scheme 14:53:58 wbooze [~levgue@xdsl-78-35-173-136.netcologne.de] has joined #scheme 14:57:13 (ok -- I'm re-reading what you said) 14:58:43 ohh 14:58:51 tricky date that one you got there 14:59:07 2009-01-01 at 00:00:14 TAI 15:01:32 karme [~user@stgt-5f709b60.pool.mediaWays.net] has joined #scheme 15:01:55 -!- rgrau_ [~user@154.Red-83-41-88.dynamicIP.rima-tde.net] has quit [Remote host closed the connection] 15:18:49 -!- kingping [~kp@92.37.216.218] has quit [Quit: x] 15:20:12 tupi [~david@189.60.162.71] has joined #scheme 15:23:10 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 15:23:57 -!- Mkman [~Mkman@bl15-140-243.dsl.telepac.pt] has quit [Ping timeout: 276 seconds] 15:32:24 -!- pygospa [~pygospa@kiel-4dbecb3f.pool.mediaWays.net] has quit [Disconnected by services] 15:32:33 pygospa [~pygospa@kiel-4dbed347.pool.mediaWays.net] has joined #scheme 15:33:03 easy4 [~easy4@c-174-60-36-128.hsd1.pa.comcast.net] has joined #scheme 15:50:26 -!- Phao [pedro-hen@189.107.252.244] has quit [Ping timeout: 240 seconds] 15:54:18 rgrau [~user@62.Red-88-2-20.staticIP.rima-tde.net] has joined #scheme 15:55:15 Mkman [~Mkman@bl18-55-252.dsl.telepac.pt] has joined #scheme 15:56:41 -!- tizoc [~user@unaffiliated/tizoc] has quit [Read error: Connection reset by peer] 16:01:47 -!- kar8nga [~kar8nga@78.104.80.27] has quit [Remote host closed the connection] 16:02:12 4 16:03:03 Hello, elly's cat. 16:05:21 people on this channel have a thing for cats, huh? 16:07:56 http://memory-alpha.org/wiki/Ode_to_Spot 16:09:56 :) 16:10:00 HG` [~HG@xdsl-188-118-129-19.dip.osnanet.de] has joined #scheme 16:10:42 tronador_ [~guille@190.67.59.189] has joined #scheme 16:16:15 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 16:22:11 pattern [~pattern@unaffiliated/pattern] has joined #scheme 16:23:47 tizoc [~user@li25-112.members.linode.com] has joined #scheme 16:23:50 -!- tizoc [~user@li25-112.members.linode.com] has quit [Changing host] 16:23:50 tizoc [~user@unaffiliated/tizoc] has joined #scheme 16:24:08 erjiang [~erjiang@7.80.244.66.jest.smithvilledigital.net] has joined #scheme 16:29:45 -!- futilius [~otheruser@2001:470:d:128:216:3eff:fe86:c70e] has quit [Ping timeout: 260 seconds] 16:30:02 futilius [~otheruser@2001:470:d:128:216:3eff:fe86:c70e] has joined #scheme 16:30:07 -!- dRbiG [drbig@unhallowed.pl] has quit [Quit: leaving] 16:32:23 dRbiG [drbig@unhallowed.pl] has joined #scheme 16:37:10 -!- seus [~sbero@adsl-99-114-191-162.dsl.spfdmo.sbcglobal.net] has quit [Quit: seus] 16:40:02 -!- femtoo [~femto@95-89-197-149-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 16:41:37 -!- karme [~user@stgt-5f709b60.pool.mediaWays.net] has quit [Remote host closed the connection] 16:59:08 -!- alaricsp [~alaric@conference/fosdem/x-skulajxtyxoqpewy] has quit [Ping timeout: 245 seconds] 17:13:08 -!- fantazo_ [~fantazo@178-190-233-85.adsl.highway.telekom.at] has quit [Remote host closed the connection] 17:19:41 -!- StephenFalken [email@89-180-199-205.net.novis.pt] has quit [Quit: Time left until the Epochalypse: 26yrs 49wks 4days 21hrs 54mins 11secs] 17:22:09 Grazl [~Grazl@196.Red-79-150-125.dynamicIP.rima-tde.net] has joined #scheme 17:23:46 StephenFalken [email@2001:470:1f14:135b::2] has joined #scheme 17:30:24 Nisstyre [~nisstyre@infocalypse-net.info] has joined #scheme 17:33:36 -!- Grazl [~Grazl@196.Red-79-150-125.dynamicIP.rima-tde.net] has quit [Ping timeout: 250 seconds] 17:46:13 -!- homie [~levgue@xdsl-78-35-173-136.netcologne.de] has quit [Read error: Connection reset by peer] 17:46:13 -!- wbooze [~levgue@xdsl-78-35-173-136.netcologne.de] has quit [Read error: Connection reset by peer] 17:47:22 wbooze [~levgue@xdsl-78-35-182-7.netcologne.de] has joined #scheme 17:47:33 homie [~levgue@xdsl-78-35-182-7.netcologne.de] has joined #scheme 17:48:50 -!- wbooze [~levgue@xdsl-78-35-182-7.netcologne.de] has quit [Remote host closed the connection] 17:49:01 -!- homie [~levgue@xdsl-78-35-182-7.netcologne.de] has quit [Client Quit] 17:52:03 homie [~levgue@xdsl-78-35-182-7.netcologne.de] has joined #scheme 17:53:14 wbooze [~levgue@xdsl-78-35-182-7.netcologne.de] has joined #scheme 17:53:16 -!- HG` [~HG@xdsl-188-118-129-19.dip.osnanet.de] has quit [Quit: Leaving.] 17:55:13 -!- lisppaste [~lisppaste@common-lisp.net] has quit [Ping timeout: 255 seconds] 17:55:45 -!- minion [~minion@common-lisp.net] has quit [Ping timeout: 240 seconds] 17:56:10 -!- specbot [~specbot@common-lisp.net] has quit [Ping timeout: 240 seconds] 18:01:40 -!- erjiang [~erjiang@7.80.244.66.jest.smithvilledigital.net] has quit [Ping timeout: 246 seconds] 18:10:54 y3llow [~y3llow@111-240-165-153.dynamic.hinet.net] has joined #scheme 18:17:11 nilg` [~user@77.70.2.229] has joined #scheme 18:22:57 -!- Mkman [~Mkman@bl18-55-252.dsl.telepac.pt] has quit [Write error: Connection reset by peer] 18:24:12 zephyrfalcon [~hans@adsl-074-229-200-227.sip.gnv.bellsouth.net] has joined #scheme 18:31:40 -!- zephyrfalcon [~hans@adsl-074-229-200-227.sip.gnv.bellsouth.net] has quit [Quit: zephyrfalcon] 18:52:53 Marcux [~Adium@189.121.111.41] has joined #scheme 18:53:28 -!- Marcux [~Adium@189.121.111.41] has quit [Client Quit] 19:11:02 Marcux [~Adium@189.121.111.41] has joined #scheme 19:11:04 -!- Marcux [~Adium@189.121.111.41] has quit [Client Quit] 19:11:52 Marcux [~Adium@189.121.111.41] has joined #scheme 19:15:27 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 19:16:13 -!- Marcux [~Adium@189.121.111.41] has quit [Ping timeout: 245 seconds] 19:23:52 femtoo [~femto@95-89-197-149-dynip.superkabel.de] has joined #scheme 19:24:08 drwho [~drwho@c-76-124-17-190.hsd1.pa.comcast.net] has joined #scheme 19:46:02 NihilistDandy [~ND@c-75-69-129-101.hsd1.nh.comcast.net] has joined #scheme 19:49:07 -!- _danb_ [~user@124-171-12-242.dyn.iinet.net.au] has quit [Ping timeout: 246 seconds] 19:51:04 -!- dfkjjkfd [~paulh@210-11-ftth.onsnetstudenten.nl] has quit [Quit: Lost terminal] 19:57:50 adu [~ajr@64.134.96.109] has joined #scheme 20:03:32 femtooo [~femto@95-89-197-149-dynip.superkabel.de] has joined #scheme 20:06:02 -!- femtoo [~femto@95-89-197-149-dynip.superkabel.de] has quit [Ping timeout: 240 seconds] 20:12:26 -!- jewel [~jewel@196-215-16-138.dynamic.isadsl.co.za] has quit [Ping timeout: 240 seconds] 20:13:55 rasterbar [~rasterbar@unaffiliated/rasterbar] has joined #scheme 20:20:04 Phao [phao@189.107.189.234] has joined #scheme 20:30:48 Marcux [~Adium@189.121.111.41] has joined #scheme 20:35:40 -!- nilg` [~user@77.70.2.229] has quit [Remote host closed the connection] 20:37:37 erjiang [~erjiang@7.80.244.66.jest.smithvilledigital.net] has joined #scheme 20:39:01 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 20:41:09 -!- NihilistDandy [~ND@c-75-69-129-101.hsd1.nh.comcast.net] has quit [Remote host closed the connection] 20:47:29 -!- erjiang [~erjiang@7.80.244.66.jest.smithvilledigital.net] has quit [Quit: ttfn] 20:49:28 -!- pygospa [~pygospa@kiel-4dbed347.pool.mediaWays.net] has quit [Disconnected by services] 20:49:37 pygospa [~pygospa@kiel-4dbedb84.pool.mediaWays.net] has joined #scheme 20:56:43 I'm looking for a built-in unique! function for lists 20:56:45 what is it called? 20:57:05 (unique! (list 1 1 2 2 3 3)) => (1 2 3) 21:00:33 rudybot: (remove-duplicates (list 1 1 2 2 3 3)) 21:00:35 jonrafkind: your sandbox is ready 21:00:35 jonrafkind: ; Value: (1 2 3) 21:03:22 -!- copumpkin is now known as dddarius 21:03:58 BarZero [46b3b5fb@gateway/web/freenode/ip.70.179.181.251] has joined #scheme 21:04:03 hello??? 21:04:36 Thomeone from #lithp told me #thcheme wath the right chatroom to roleplay having a lithp. Correct? 21:04:40 -!- Phao [phao@189.107.189.234] has quit [Ping timeout: 255 seconds] 21:05:30 no you're in the wrong channel 21:05:31 Their uthername wath ""churib" 21:05:42 pnkfelix [~Adium@c-68-38-142-34.hsd1.nj.comcast.net] has joined #scheme 21:05:47 -!- dddarius is now known as copumpkin 21:05:47 Tho whatth the right channel then? 21:06:17 I don't know but if the guys at #lisp redirected you here perhas they were being sarcastic? 21:06:25 I mean this is #scheme not #lisp 21:06:49 pchrist_ [~spirit@gentoo/developer/pchrist] has joined #scheme 21:06:49 This, rapacity, is a creature known as a `troll'. 21:06:54 It was more a joke... 21:07:28 trolls are well known for their high str and low int :< 21:10:24 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Ping timeout: 276 seconds] 21:10:45 rapathity: correct! 21:11:17 I gueth they were being tharcathtic. 21:11:44 wait until bigguth dickuth heath of thith 21:12:57 mwolfe [~michael@cpe-67-49-72-40.socal.res.rr.com] has joined #scheme 21:15:11 HG` [~HG@xdsl-188-118-129-19.dip.osnanet.de] has joined #scheme 21:16:43 okay, I think I just realized how to deal with the irritating 'but I want named type constructors' in typed racket 21:17:16 define-type ? 21:18:55 I mean, I wanted a more convenient syntax for them 21:20:26 -!- rdd [~user@c83-250-51-60.bredband.comhem.se] has quit [Read error: Connection reset by peer] 21:22:38 elly: Uh, write a macro? ;-P 21:23:31 jonrafkind: hmm I don't have that in chicken :/ 21:24:43 rien: Just write it yourself, then. Is your list sorted? 21:25:16 eh? doesn't srfi/1 have something for this 21:25:23 cky: no but I can sort it without a problem. maybe it's in srfi-1? you're the one who's all about using what's already standard instead of rolling your own :P 21:25:34 delete-duplicates 21:25:43 rapacity: Nice, you're right. 21:25:57 rien: Agree, I just forgot it was in SRFI 1. 21:26:02 Thanks to rapacity for reminding me. 21:26:06 :) 21:26:09 thanks, rapacity 21:26:15 :p np 21:26:16 only now did I think of looking there 21:26:41 I need to write a Prelude for chicken, inspired by Haskell :P 21:26:47 Oh, wait. delete-duplicates is O(n^2)? That's painful. 21:27:02 -!- BarZero [46b3b5fb@gateway/web/freenode/ip.70.179.181.251] has left #scheme 21:27:30 For large lists, I'd be inclined to use the sort+coalesce approach. 21:28:33 cky: if it comes to that I could just rewrite haskell's nub, it's a nice and short algo 21:29:11 rien: Hehehehe. 21:32:51 Phao [phao@189.107.223.115] has joined #scheme 21:35:53 -!- pnkfelix [~Adium@c-68-38-142-34.hsd1.nj.comcast.net] has quit [Quit: Leaving.] 21:38:18 rdd [~user@c83-250-51-60.bredband.comhem.se] has joined #scheme 21:45:05 ravic [~ravi@118-93-168-117.dsl.dyn.ihug.co.nz] has joined #scheme 21:46:01 blueadept [~blueadept@unaffiliated/blueadept] has joined #scheme 21:49:53 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Ping timeout: 264 seconds] 21:53:30 pnkfelix [~Adium@2002:4426:8e22:0:5ab0:35ff:fe69:c9bf] has joined #scheme 21:54:19 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Quit: Leaving] 21:56:28 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Remote host closed the connection] 21:56:59 erjiang [~erjiang@7.80.244.66.jest.smithvilledigital.net] has joined #scheme 22:04:32 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 22:08:59 -!- adu [~ajr@64.134.96.109] has quit [Quit: adu] 22:17:23 -!- femtooo [~femto@95-89-197-149-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 22:18:57 -!- parcs [~patrick@ool-45741d7d.dyn.optonline.net] has quit [Remote host closed the connection] 22:22:22 -!- tronador_ [~guille@190.67.59.189] has quit [Quit: tronador_] 22:24:04 jjjj2_ [~jon@jonr5.dsl.xmission.com] has joined #scheme 22:24:43 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 265 seconds] 22:24:58 -!- jjjj2_ [~jon@jonr5.dsl.xmission.com] has quit [Client Quit] 22:25:27 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 22:27:37 parcs [~patrick@ool-45741d7d.dyn.optonline.net] has joined #scheme 22:27:43 -!- parcs [~patrick@ool-45741d7d.dyn.optonline.net] has quit [Client Quit] 22:31:32 parcs [~patrick@ool-45741d7d.dyn.optonline.net] has joined #scheme 22:35:05 lisppaste [~lisppaste@common-lisp.net] has joined #scheme 22:35:28 minion [~minion@common-lisp.net] has joined #scheme 22:35:49 specbot [~specbot@common-lisp.net] has joined #scheme 22:45:03 dfkjjkfd [~paulh@210-11-ftth.onsnetstudenten.nl] has joined #scheme 22:53:26 adu [~ajr@64.134.100.20] has joined #scheme 22:55:03 -!- DrDuck [~duck@216.186.151.63] has quit [Ping timeout: 276 seconds] 23:00:05 preflex [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 23:00:15 Grazl [~Grazl@196.Red-79-150-125.dynamicIP.rima-tde.net] has joined #scheme 23:00:38 tronador_ [~guille@190.67.59.189] has joined #scheme 23:20:27 -!- rasterbar [~rasterbar@unaffiliated/rasterbar] has quit [Remote host closed the connection] 23:24:04 -!- minion [~minion@common-lisp.net] has quit [Ping timeout: 240 seconds] 23:24:33 rasterbar [~rasterbar@unaffiliated/rasterbar] has joined #scheme 23:28:30 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Ping timeout: 250 seconds] 23:31:14 -!- HG` [~HG@xdsl-188-118-129-19.dip.osnanet.de] has quit [Quit: Leaving.] 23:31:22 fnord123 [~fnord123@79.109.207.14.dyn.user.ono.com] has joined #scheme 23:34:11 -!- Grazl [~Grazl@196.Red-79-150-125.dynamicIP.rima-tde.net] has quit [Ping timeout: 276 seconds] 23:34:27 NihilistDandy [~ND@c-75-69-129-101.hsd1.nh.comcast.net] has joined #scheme 23:34:40 Grazl [~Grazl@196.Red-79-150-125.dynamicIP.rima-tde.net] has joined #scheme 23:35:55 -!- fnord123 [~fnord123@79.109.207.14.dyn.user.ono.com] has quit [Ping timeout: 246 seconds] 23:36:40 fnord123 [~fnord123@79.109.207.14.dyn.user.ono.com] has joined #scheme 23:41:25 -!- fnord123 [~fnord123@79.109.207.14.dyn.user.ono.com] has quit [Ping timeout: 260 seconds] 23:41:26 arcfide [1000@c-69-136-0-72.hsd1.in.comcast.net] has joined #scheme 23:41:41 fnord123 [~fnord123@79.109.207.14.dyn.user.ono.com] has joined #scheme 23:46:13 -!- fnord123 [~fnord123@79.109.207.14.dyn.user.ono.com] has quit [Ping timeout: 255 seconds] 23:47:00 fnord123 [~fnord123@79.109.207.14.dyn.user.ono.com] has joined #scheme 23:51:04 -!- fnord123 [~fnord123@79.109.207.14.dyn.user.ono.com] has quit [Ping timeout: 240 seconds] 23:52:20 fnord123 [~fnord123@79.109.207.14.dyn.user.ono.com] has joined #scheme 23:52:36 Riastradh: Have you been working any with concurrency lately? 23:53:01 Any ideas when guile 2 will be out? 23:53:32 fnord123: didn't they say feb 16th? 23:53:53 <_p4bl0> fnord123: in ten days or so 23:53:59 awesome 23:54:02 <_p4bl0> fnord123: (as usual ;-p) 23:54:10 http://lists.gnu.org/archive/html/guile-devel/2011-02/msg00041.html 23:55:38 I was looking over Guy Steeles opinions on the map/reduce approach to parallelism, and that brought me back to thinking about Scheme-CML, which I have been neglecting for a while. 23:58:44 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 240 seconds]