00:00:32 -!- Blkt [~user@dynamic-adsl-94-34-31-251.clienti.tiscali.it] has quit [Ping timeout: 276 seconds] 00:04:26 Except syntax-case. There was no way that group of editors could not have standardized syntax-case. 00:05:51 On the other hand, the other editors were unable to get support for more widely implemented features such as keywords. 00:05:53 well, syntax-case is the most widely-used and best-understood procedural macro system 00:05:56 klutometis: The name change is addressing, among other things, exactly these kind of *idiotic* *remarks* about the PLT mafia "polluting" the concept of "Scheme". 00:06:39 *eli* is tired of moronic comments saying that his last 3-4 months of slaving were some kind of propaganda stunt. 00:06:43 samth: Indeed it is, I was just commenting. 00:07:10 foof, you're right that the final set of editors was certainly pro-syntax-case 00:09:47 klutometis, do you have any examples of said "polluting"? 00:10:06 klutometis: seen http://billhails.net/Book/front.html ? 00:10:29 The current WG2 group is surprisingly anti-syntax-case. We may end up with ER macros but no syntax-case. 00:11:05 well, at least then ER macros might have a spec :) 00:11:18 -!- rdd [~rdd@c83-250-48-164.bredband.comhem.se] has quit [Ping timeout: 240 seconds] 00:12:31 s/(foof: .*)(surprisingly)/\1un\2/ 00:12:37 -!- atomx`` [~user@93.112.81.240] has quit [Remote host closed the connection] 00:13:17 minion, more 00:13:17 Sorry, I couldn't find anything in the database for ``more''. 00:13:21 minion, chant 00:13:21 MORE WIDELY 00:13:24 minion, chant 00:13:24 MORE WIDELY 00:13:25 minion, chant 00:13:25 MORE WIDELY 00:13:33 atomx [~user@93.112.81.240] has joined #scheme 00:13:34 eli, back to slaving 00:13:35 minion, chant 00:13:36 MORE WIDELY 00:13:39 dammit 00:13:52 eli, more slaving 00:13:53 minion, chant 00:13:53 MORE SLAVING 00:13:57 that's better 00:15:04 eli: WG2 is the "big" language. I would have assumed syntax-case would have had more than the 3 members currently supporting it. 00:19:21 -!- jonrafkind [~jon@crystalis.cs.utah.edu] has quit [Read error: Operation timed out] 00:21:07 -!- phax [~phax@unaffiliated/phax] has quit [Quit: Leaving] 00:21:28 foof: Given your involvement, I'd hope that you're not surprised by that, since being surprised requires either being unaware of the scene, or being unable to make conclusions. 00:22:52 mjonsson [~mjonsson@cpe-98-14-173-5.nyc.res.rr.com] has joined #scheme 00:24:22 i think the point eli is making is that there's next to no involvement from the racket and chez communities in the WG process 00:24:33 and thus not many votes for syntax-case 00:25:22 -!- rbarraud [~rbarraud@202-180-88-252.callplus.net.nz] has quit [Ping timeout: 252 seconds] 00:27:01 -!- samth is now known as samth_away 00:27:15 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 00:28:34 -!- Blkt` [~user@dynamic-adsl-94-37-238-79.clienti.tiscali.it] has quit [Remote host closed the connection] 00:30:03 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Client Quit] 00:32:19 -!- RageOfThou [~RageOfTho@users-55-100.vinet.ba] has quit [Ping timeout: 240 seconds] 00:32:26 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 00:35:58 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Client Quit] 00:38:05 FurnaceBoy: interesting; thanks! 00:38:08 samth_away: primarily, disregard for lex parsimoniae; but also: unicode- and bracket-fetishism; poor reinvention of SRFIs (especially the SRFI-1-like "list utilities") 00:39:41 eli: of course; i'm just saying you guys should have heeded nietzsche's zarathustra: "Many die too late, and some die too early. Yet strange soundeth the precept: 'Die at the right time!'" 00:40:01 that would have been before r6rs, i think. 00:43:10 what's wrong with Unicode? 00:43:26 meh; scheme's older than unicode. may it outlive it, too! 00:43:51 and I'm not sure r6rs was that awful; the primary problem is being fixed in the R7RS process. 00:44:02 people want different sized Schemes 00:44:28 as a Big Scheme, I'm not sure R6RS is that bad. 00:44:47 Adamant: i think you're right; but there seems to be a meme a-brewin' that scheme-like things should distance themselves from scheme for fashionability. 00:45:38 klutometis: maybe. the bottom line is Scheme does need a bigger common library, in R5RS, R6RS, or R7RS mode. 00:45:43 that's the sense i got from that above article, in any case; my initial perception may have been wrong, though. 00:45:48 the rest of it may be arguable 00:45:54 but that much isn't 00:46:01 IJP [~Ian@host109-153-29-136.range109-153.btcentralplus.com] has joined #scheme 00:46:17 Adamant: do you know what the state of the art is regarding common libraries and WG[12]? 00:46:23 no clue. 00:46:38 neither do i. 00:47:47 re: Unicode; it can be annoying, but if sane processes are adopted it becomes much less so 00:48:21 at the very least, it might be safe to say that unicode and case-insensitive identifiers would be insane. 00:48:47 that would require a lot of jiggling to be made correct. 00:48:59 like, more than anyone wants to spend 00:49:01 so yeah 00:49:16 there might be a case for light-weight implementations to stick to ASCII, though; so the unicode-requirement sucks for that reason. 00:49:46 maybe, although if they want to be international, I'm not sure if that can be maintained 00:50:06 at least keeping the Unicode simple somehow as a minimum 00:50:21 that sounds reasonable. 00:51:11 wbooze` [~user@xdsl-84-44-250-250.netcologne.de] has joined #scheme 00:51:43 homie` [~user@xdsl-84-44-250-250.netcologne.de] has joined #scheme 00:53:51 -!- wbooze [~user@xdsl-87-79-140-92.netcologne.de] has quit [Ping timeout: 265 seconds] 00:53:52 -!- homie [~user@xdsl-87-79-140-92.netcologne.de] has quit [Ping timeout: 272 seconds] 00:53:55 -!- atomx [~user@93.112.81.240] has quit [Ping timeout: 240 seconds] 00:53:56 -!- wbooze` [~user@xdsl-84-44-250-250.netcologne.de] has quit [Client Quit] 00:54:13 -!- homie` [~user@xdsl-84-44-250-250.netcologne.de] has quit [Client Quit] 00:58:52 homie [~user@xdsl-84-44-250-250.netcologne.de] has joined #scheme 00:59:18 atomx [~user@93.112.81.240] has joined #scheme 00:59:22 wbooze [~user@xdsl-84-44-250-250.netcologne.de] has joined #scheme 01:00:00 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 01:03:35 eli: Well, WG2 is just getting started, and I'm not the chair of that. 01:04:29 I'm aware of and disappointed in the lack of PLT involvement in WG1. 01:06:03 klutometis: cheap rhetorics doesn't make those comments and the sentiments behind them any less idiotic. 01:06:52 foof: Yeah, I know you're not the chair, but I'd be surprised if you wouldn't have predicted exactly where each person would stand on the syntax-case vs explicit-renaming macros. 01:08:02 eli: heh; you're right. i usually invoke zarathustra in order to cover up some logical lacuna or other. 01:08:37 but calling zarathustra cheap crosses the line! 01:08:44 atomx` [~user@93.112.81.240] has joined #scheme 01:10:14 -!- atomx [~user@93.112.81.240] has quit [Ping timeout: 264 seconds] 01:10:36 klutometis: There's nothin Nietzsche couldn't teach yer 'bout the raising of the wrist / a lovely little thinker, but a bugger when he's pissed! 01:11:16 klutometis: The "cheapness" remark comes *because* I've read it (*really* read it), and I know how it's full of quotable phrases that can be made to say pretty much anything your want. 01:11:25 *FurnaceBoy* attempts to defuse tensions in the traditional way, with a random Monty Python quote 01:11:32 If you really want to talk about content, and considering the general spirit of the book -- then the stagnation that have infected the RnRS prior to n=6 is *exactly* the kind of stuff that Nietzsche spent a lifetime fighting. 01:12:13 (There's even passages that I can quote in that regard, ones that are applicable to r7rs too; but I can only do so in Hebrew.) 01:13:31 eli: oh, i'd love to hear nietzsche in hebrew (talk about irony, by the way); maybe i can decipher it, too, if it's close enough to classical. 01:14:07 FurnaceBoy: that's a classic song, by the way. 01:14:53 -!- kniu [~kniu@CMU-311358.WV.CC.CMU.EDU] has quit [Ping timeout: 240 seconds] 01:15:24 klutometis: it is. 01:15:35 surely with respect to these committees, we would be better served by invoking Kafka 01:18:07 eli: Half of the WG2 names are unknown to me, and thus unpredictable. 01:19:05 In fact the only person I consider a PLT rep in the group voted to push syntax-case to WG3. 01:20:49 If he changes his vote it may be included after all. 01:20:50 klutometis: Probably not -- the Hebrew translation is very good in that it's extremely high-language-like. Most Israelis find it as difficult as probably it is in any other language. The part I'm thinking about is saying something about leaders who ask what else can be done to make mankind's existence more pleasant, and another about how pathetic is a nation that has such small people as its leaders. 01:21:44 foof: I have no idea where to find those votes, or if they're even open, but still I'd be very surprised at anyone who is surprised at such results (on the issue of syntax). 01:25:22 seangrove [~user@70-36-236-168.dsl.static.sonic.net] has joined #scheme 01:27:43 eli: The WG2 member list is public, can you glance through and tell me the philosophies of each member and what they're likely to vote on? 01:27:54 If so, please do so and tell me, I'd like to know! :) 01:31:04 -!- seangrove [~user@70-36-236-168.dsl.static.sonic.net] has quit [Ping timeout: 272 seconds] 01:32:00 foof: Not the general philosophies, but on some issues like a macro system it's definitely easy to see where the winds would blow. 01:32:19 -!- atomx` [~user@93.112.81.240] has quit [Ping timeout: 240 seconds] 01:32:25 -!- bgs100 [~ian@unaffiliated/bgs100] has quit [Quit: Leaving] 01:32:59 kniu [~kniu@HOHOHO.RES.CMU.EDU] has joined #scheme 01:34:32 Not so easy as I see it - in fact it's very close and still undecided. 01:36:22 xwl_ [~user@nat/nokia/x-ytbrqtqdcemlndwy] has joined #scheme 01:37:29 cky [~cky@car.spillville.com] has joined #scheme 01:39:02 foof: I meant that it's easy to do per member, for most of them. 01:42:48 rbarraud [~rbarraud@118-92-27-88.dsl.dyn.ihug.co.nz] has joined #scheme 01:44:51 -!- leppie [~lolcow@196-215-63-152.dynamic.isadsl.co.za] has quit [Ping timeout: 265 seconds] 01:51:57 -!- megajosh2 [~megajosh2@pool-96-241-38-130.washdc.fios.verizon.net] has quit [Quit: Lost terminal] 01:54:44 -!- mjonsson [~mjonsson@cpe-98-14-173-5.nyc.res.rr.com] has quit [Remote host closed the connection] 01:58:22 mjonsson [~mjonsson@cpe-98-14-173-5.nyc.res.rr.com] has joined #scheme 01:59:24 -!- masm [~masm@bl15-69-38.dsl.telepac.pt] has quit [Quit: Leaving.] 02:01:02 eli: BTW, WG3 will have contracts :) 02:02:50 yayy, legalisms! so will stare decisis encounter de jure vs. de facto? 02:03:07 *Adamant* ducks 02:04:47 -!- Axioplase_ is now known as Axioplase 02:04:52 Adamant: legal cluster bombs are verboten 02:05:50 FurnaceBoy: no more causus belli, then 02:07:16 Adamant: :) 02:12:20 foof: Yeah, I'm sure... And a GUI too... 02:16:26 actually, no, that's not on the plate 02:18:06 Whew. 02:27:48 DrDuck [~duck@146.229.117.76] has joined #scheme 02:34:30 -!- davazp [~user@184.Red-79-154-140.dynamicIP.rima-tde.net] has quit [Remote host closed the connection] 02:38:18 -!- githogori [~githogori@50.sub-75-208-69.myvzw.com] has quit [Ping timeout: 240 seconds] 02:48:54 -!- FurnaceBoy [~FurnaceBo@bas2-toronto10-2925235460.dsl.bell.ca] has quit [Quit: l8r] 02:49:59 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Ping timeout: 276 seconds] 02:52:41 timj_ [~timj@e176193151.adsl.alicedsl.de] has joined #scheme 02:56:41 -!- timj__ [~timj@e176196122.adsl.alicedsl.de] has quit [Ping timeout: 276 seconds] 02:59:26 Kerrick [~Kerrick@kerrick.student.iastate.edu] has joined #scheme 03:09:17 Rakko [~rakko@71-90-73-192.dhcp.ftbg.wi.charter.com] has joined #scheme 03:12:33 -!- DrDuck [~duck@146.229.117.76] has quit [Ping timeout: 265 seconds] 03:53:08 -!- Rakko [~rakko@71-90-73-192.dhcp.ftbg.wi.charter.com] has quit [Quit: Rakko] 03:58:31 jcowan [~John@cpe-98-14-172-204.nyc.res.rr.com] has joined #scheme 04:02:20 -!- mjonsson [~mjonsson@cpe-98-14-173-5.nyc.res.rr.com] has quit [Remote host closed the connection] 04:03:32 -!- mhoye [~mhoye@shell.off.net] has quit [Ping timeout: 255 seconds] 04:04:10 mhoye [~mhoye@shell.off.net] has joined #scheme 04:04:31 mjonsson [~mjonsson@cpe-98-14-173-5.nyc.res.rr.com] has joined #scheme 04:15:03 -!- jcowan [~John@cpe-98-14-172-204.nyc.res.rr.com] has quit [Read error: Connection reset by peer] 04:18:11 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 04:20:15 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Read error: Connection reset by peer] 04:21:41 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 04:24:00 leppie [~lolcow@196-215-63-152.dynamic.isadsl.co.za] has joined #scheme 04:28:52 jcowan [~John@cpe-98-14-172-204.nyc.res.rr.com] has joined #scheme 04:41:30 -!- jcowan [~John@cpe-98-14-172-204.nyc.res.rr.com] has quit [Quit: Leaving] 04:56:36 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Quit: Leaving] 04:57:13 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 04:58:41 -!- Khisanth [~Khisanth@pool-96-250-33-35.nycmny.east.verizon.net] has quit [Quit: Leaving] 04:59:33 -!- pchrist_ [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 05:00:08 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 05:01:55 Khisanth [~Khisanth@pool-96-250-33-35.nycmny.east.verizon.net] has joined #scheme 05:05:48 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Quit: Leaving] 05:06:17 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 05:11:49 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Quit: Leaving] 05:12:21 -!- bombshelter13b [~bombshelt@76-10-149-209.dsl.teksavvy.com] has quit [Quit: bombshelter13b] 05:13:08 -!- ski [~slj@c-3810e055.1149-1-64736c10.cust.bredbandsbolaget.se] has quit [Read error: Connection reset by peer] 05:14:27 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 05:24:13 -!- ToxicFrog [~ToxicFrog@2607:f2c0:f00e:500:222:15ff:fe91:b24c] has quit [Remote host closed the connection] 05:34:09 ToxicFrog [~ToxicFrog@2607:f2c0:f00e:500:222:15ff:fe91:b24c] has joined #scheme 05:40:14 -!- jao [~user@125.Red-88-16-206.dynamicIP.rima-tde.net] has quit [Ping timeout: 265 seconds] 05:42:23 rbarraud_ [~rbarraud@118-92-15-104.dsl.dyn.ihug.co.nz] has joined #scheme 05:42:32 -!- rbarraud [~rbarraud@118-92-27-88.dsl.dyn.ihug.co.nz] has quit [Ping timeout: 255 seconds] 05:43:41 -!- sepp2k_ [~sexy@p548CB7DD.dip.t-dialin.net] has quit [Quit: sepp2k_] 06:16:37 -!- xwl_ [~user@nat/nokia/x-ytbrqtqdcemlndwy] has quit [Remote host closed the connection] 06:43:51 fradgers- [~fradgers-@5e055c8a.bb.sky.com] has joined #scheme 07:00:39 xwl_ [~user@nat/nokia/x-xytwsenbxlomjypd] has joined #scheme 07:11:41 araujo [~araujo@190.199.102.96] has joined #scheme 07:11:41 -!- araujo [~araujo@190.199.102.96] has quit [Changing host] 07:11:41 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 07:13:55 Adamant: everything's wrong with unicode, you could read critics on the web. 07:15:18 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 240 seconds] 07:17:23 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Quit: Leaving] 07:19:18 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 07:19:44 lbc_ [~lbc@h195.natout.aau.dk] has joined #scheme 07:21:57 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Ping timeout: 265 seconds] 07:27:20 alaricsp [~alaric@mukhadvaram.gurukuli.co.uk] has joined #scheme 07:34:20 ASau`: the only major criticism I've heard of it is the CJKV unification, since we now have the space to have not done that 07:34:38 well, that and it's much more annoying than ASCII 07:35:06 Not only. 07:35:26 ASau`: so what else sucks? 07:35:27 Unicode is just a performance waste. 07:35:44 Esp. when time is the most precious. 07:35:45 what would waste less performance and do what it does? 07:35:48 E.g. on-wire. 07:36:21 Most people don't know more than 1-2 languages. 07:36:50 everyone doesn't speak English, or Mandarin, or whatever yet 07:38:18 don't get me wrong, Unicode is annoying for folks that were perfectly well served by 7-bit Unicode already 07:38:27 but we aren't everyone 07:38:28 No. 07:38:39 err, 7-bit ASCII 07:39:02 Unicode is annoying for anyone who's not served by ASCII and ISO Latin. 07:39:25 ASau`: fair enough, I was thinking of Russian codepage craziness 07:39:52 It doesn't present such a big problem. 07:40:03 And if you think it does, Unicode doesn't solve it anyway. 07:40:21 (You just add yet another "codepage.") 07:40:24 ASau`: sorry, Unicode does solve all my international string needs. 07:40:38 that doesn't mean it does it optimally 07:40:43 but it does it 07:42:02 -!- Kerrick [~Kerrick@kerrick.student.iastate.edu] has quit [Ping timeout: 265 seconds] 07:42:15 This argumentation reminds me this piece: 07:42:23 "I'm trying to ask a Linux person about this and they're saying a multicore aware firewall isn't need because the hardware should be fast enough already." 07:43:09 ASau`: But at least I get a codepage that actually contains the special symbols that are needed and all cyrillic letters 07:43:51 MichaelRaskin: you're using English quite fluently, aren't you? 07:43:53 -!- alaricsp [~alaric@mukhadvaram.gurukuli.co.uk] has quit [Ping timeout: 245 seconds] 07:44:13 Erm 07:44:24 Maybe I should have read this before sending, true 07:44:37 MichaelRaskin: perhaps you can read and write German, Polish, and Chinese as well. 07:45:08 That means that you might have the need to handle such complex multi-language texts. 07:45:23 This is rather special need. 07:45:41 ASau`: currently, yes. it may not be forever. 07:46:25 Adamant: what if it is forever? 07:46:49 ASau`: it wouldn't be the first time we fucked up optimization by being over-general 07:47:03 ASau`: well, I can read English, French and Russian (and some other Slavic languages are guess friendly) 07:47:54 But I sometimes benefit from Unicode in Russian-only texts 07:48:01 ASau`: I hate Unicode a lot less since reading huge amounts about it and trying to learn other languages. 07:48:40 MichaelRaskin: consider that, say, Thai script is the standard and it occupies the first code page. 07:49:04 So? 07:49:08 MichaelRaskin: and your languages are encoded at least by 3 octets per letter. 07:49:16 Two 07:49:19 Even though they perfectly fit 1 octet. 07:49:23 3. 07:50:00 Russian codepage in Unicode is two bytes in UTF-8 07:50:12 Thai is 3 octets. 07:50:16 And 0-byte issues scare everyone away from UCS-4 07:50:40 Then what you mean under first code page? 07:50:44 Non-BMP? 07:51:16 That it may be coded in single-octet encoding. 07:51:30 Oh, you mean "one codepage" 07:51:35 pdelgallego [~pdelgalle@1503031474.dhcp.dbnet.dk] has joined #scheme 07:51:53 Maybe TRON would be better. 07:52:02 now what if you're Chinese and it would take at least 2 bytes anyway? 07:52:21 rdd [~rdd@c83-250-48-164.bredband.comhem.se] has joined #scheme 07:52:32 that's like 1.4 billion people or so, IIR 07:52:33 C 07:52:33 Adamant: "byte" is one letter, you mean octet. 07:52:54 ASau`: "byte" is one CPU address unit.. 07:53:24 MichaelRaskin: this is wrong, you're thinking post-PDP-11 categories. 07:53:29 But yes, octet is a safer word, taking into account 16-bit-per-byte architectures 07:53:54 Doesn't my definition hold for PDP-11?? 07:54:24 a better question is who is still running PDP-11's in anything but emulation. 07:54:29 Adamant: Hindi takes 3 octets per letter, AFAIR, and there're 10^9 of its users. 07:54:41 ASau`: now that is a good point 07:54:42 Adamant: you're running post-PDP-11 system. 07:55:07 ASau`: even the PDP-11 emulators are running a post-PDP-11 system 07:55:34 Adamant: yes, and this is what's wrong with Unicode and UTF-8: 07:56:07 it requires wasting communication time even when both parties can use single-octet bytes. 07:56:49 schmir [~schmir@p54A91097.dip0.t-ipconnect.de] has joined #scheme 07:56:50 And it isn't secret that we don't have infinite capacity radio bands. 07:57:38 The positive side is that gives us more incentive to learn compressing network traffic, of course it is sort of a broken-window 07:58:03 ASau`: which looks to be primarily a problem for India. in the West, it's either one or two bytes per string 07:58:08 Most encodings in use are LZ-based. 07:58:43 This means that you don't utilise the knowledge that each second octet has fixed value. 07:58:44 for China, it's not much worse than it would be already 08:00:18 also, for people with real speed needs, fiber already exists. 08:00:44 for SMS, there's not a lot of waste being that it's already sent in a mandatory communication 08:01:22 ASau`: it is not exactly fixed (punctuation etc), and the profit from every-second-byte-known is not that big 08:01:23 Adamant: read about radio communications during WTC fall. 08:01:40 ASau`: everything would shit during that. 08:02:16 Adamant: sure, but we're coming to it during regular usage. 08:02:49 ASau`: except most traffic is voice, which would be mostly unaffected 08:02:59 Adamant: e.g. I have all or almost all 802.11 channels full at home. 08:03:27 ASau`: that will not be solved by single-octet encoding 08:03:28 Adamant: for office work textual communications are as important. 08:03:32 maybe helped 08:03:40 at best 08:03:43 wingo [~wingo@25.Red-88-17-207.dynamicIP.rima-tde.net] has joined #scheme 08:06:38 -!- eli [~eli@winooski.ccs.neu.edu] has quit [Ping timeout: 264 seconds] 08:07:14 -!- gabot [~eli@winooski.ccs.neu.edu] has quit [Ping timeout: 264 seconds] 08:07:32 ski [~slj@c-3810e055.1149-1-64736c10.cust.bredbandsbolaget.se] has joined #scheme 08:14:43 -!- wingo [~wingo@25.Red-88-17-207.dynamicIP.rima-tde.net] has quit [Ping timeout: 245 seconds] 08:15:01 alaricsp [~alaric@geniedb.hotdesktop.biz] has joined #scheme 08:16:30 -!- rdd [~rdd@c83-250-48-164.bredband.comhem.se] has quit [Remote host closed the connection] 08:20:33 -!- paperkettles [~chris@ip72-195-132-159.ri.ri.cox.net] has quit [Quit: paperkettles] 08:28:14 -!- pygospa [~pygospa@g227132228.adsl.alicedsl.de] has quit [Ping timeout: 264 seconds] 08:28:26 pygospa [~pygospa@g227132228.adsl.alicedsl.de] has joined #scheme 08:49:57 -!- malorie [~bla@unaffiliated/malorie] has quit [Quit: leaving] 08:51:34 gravicappa [~gravicapp@80.90.116.82] has joined #scheme 08:54:01 masm [~masm@bl15-69-38.dsl.telepac.pt] has joined #scheme 09:11:11 -!- schmir [~schmir@p54A91097.dip0.t-ipconnect.de] has quit [Ping timeout: 265 seconds] 09:15:08 mmc [~michal@ip192-130-139-18.snadit.inet.fi] has joined #scheme 09:16:23 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Quit: Leaving] 09:16:46 rdd [~rdd@c83-250-48-164.bredband.comhem.se] has joined #scheme 09:18:03 -!- Axioplase is now known as Axioplase_ 09:21:41 -!- mmc [~michal@ip192-130-139-18.snadit.inet.fi] has quit [Ping timeout: 255 seconds] 09:33:58 rbarraud__ [~rbarraud@118-92-15-104.dsl.dyn.ihug.co.nz] has joined #scheme 09:37:50 -!- rbarraud_ [~rbarraud@118-92-15-104.dsl.dyn.ihug.co.nz] has quit [Ping timeout: 264 seconds] 09:39:05 Nshag [user@lns-bzn-57-82-249-33-112.adsl.proxad.net] has joined #scheme 09:47:50 githogori [~githogori@130.sub-75-209-59.myvzw.com] has joined #scheme 09:48:35 -!- ecraven [~user@140.78.42.213] has quit [Quit: brb] 09:49:13 ecraven [~user@140.78.42.213] has joined #scheme 10:10:08 vu3rdd [~vu3rdd@164.164.250.10] has joined #scheme 10:21:01 -!- jlongster [~user@c-71-204-23-22.hsd1.ga.comcast.net] has quit [Ping timeout: 252 seconds] 10:25:53 -!- rbarraud__ [~rbarraud@118-92-15-104.dsl.dyn.ihug.co.nz] has quit [Ping timeout: 265 seconds] 10:26:27 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 11:11:31 -!- masm [~masm@bl15-69-38.dsl.telepac.pt] has quit [Ping timeout: 240 seconds] 11:12:31 -!- lbc_ [~lbc@h195.natout.aau.dk] has quit [Read error: Operation timed out] 11:15:05 -!- IJP [~Ian@host109-153-29-136.range109-153.btcentralplus.com] has quit [Ping timeout: 255 seconds] 11:16:45 IJP [~Ian@host109-154-200-158.range109-154.btcentralplus.com] has joined #scheme 11:17:20 lbc_ [~lbc@h195.natout.aau.dk] has joined #scheme 11:26:51 mmc [~michal@cs190095.pp.htv.fi] has joined #scheme 11:30:54 -!- xwl_ [~user@nat/nokia/x-xytwsenbxlomjypd] has quit [Remote host closed the connection] 11:31:57 -!- IJP [~Ian@host109-154-200-158.range109-154.btcentralplus.com] has quit [Quit: leaving] 11:37:08 -!- zeroish [~zeroish@135.207.174.50] has quit [Ping timeout: 276 seconds] 11:50:29 -!- ski [~slj@c-3810e055.1149-1-64736c10.cust.bredbandsbolaget.se] has quit [Read error: Connection reset by peer] 11:51:22 schmir [~schmir@p54A91097.dip0.t-ipconnect.de] has joined #scheme 11:52:39 ski [~slj@c-3810e055.1149-1-64736c10.cust.bredbandsbolaget.se] has joined #scheme 11:54:25 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Quit: Leaving] 11:56:41 -!- lbc_ [~lbc@h195.natout.aau.dk] has quit [Ping timeout: 276 seconds] 12:09:01 -!- somnium [~user@adsl-65-185-34.dab.bellsouth.net] has quit [Remote host closed the connection] 12:25:37 masm [~masm@bl16-180-46.dsl.telepac.pt] has joined #scheme 12:27:03 *cky* wants to write a runtime that uses "UTF-21" for all strings. That would solve the 3-octets-per-character (or 4 octets for non-BMP) bias. :-P Instead each character uses ~2.6 octets, whether it's ASCII or not. :-P 12:27:07 (Re above discussion.) 12:29:19 why not UTF-20.087 12:30:13 Well, then getting each character isn't simply a bit shift + mask. 12:30:28 You then have to do actual division, which is slow on most architectures. :-P 12:30:43 The point of UTF-21 is that a 64-bit number holds 3 chars. 12:31:12 So by working purely with 64-bit words, and shifting/masking, you have an efficient way to access characters. 12:31:33 that does sound nice 12:31:52 however it doesn't make indexing into text much more pleasant, considering combining marks and the like 12:32:36 Yeah, that's never going to get solved by any encoding. :-P 12:32:50 Like, even UTF-32 doesn't solve that problem. 12:32:55 hell, that's an idea. you should write that up. 12:32:57 yeah 12:33:15 you even have space for one tag bit per triple! 12:33:20 think of the possibilities! 12:33:25 Hahahahahaha. 12:37:02 ventonegro [~alex@200.150.183.81] has joined #scheme 12:40:43 -!- acarrico [~acarrico@pppoe-68-142-37-193.gmavt.net] has quit [Ping timeout: 252 seconds] 12:54:48 acarrico [~acarrico@pppoe-68-142-40-94.gmavt.net] has joined #scheme 12:56:52 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 12:59:55 is Unicode for real set at 21 bits now though? 12:59:55 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Client Quit] 13:00:00 for the long run? 13:00:21 I mean I can't think that it can add much to make it too much bigger 13:00:40 unless it adds un-unified CJKV support 13:00:47 in addition to unified 13:06:11 Adamant: http://unicode.org/Public/6.0.0/charts/versioned/U1F600.pdf 13:07:04 oh amazing, they are adding standard emotioncons now? 13:07:08 hilarious 13:07:38 this goes next to the Unicode snowman :P 13:10:03 -!- jmcphers [~jmcphers@218.185.108.156] has quit [Remote host closed the connection] 13:10:47 jmcphers [~jmcphers@218.185.108.156] has joined #scheme 13:19:56 Adamant: Let's just say if Unicode gets any more (non-BMP) planes than 16, UTF-16 would burst. :-P 13:20:04 Adamant: That would make a lot of people very unhappy. :-P 13:20:23 cky: yeah, I meant in the non-BMP :P 13:21:00 *nods* 13:21:17 What I meant was that UTF-16 cannot accommodate code points above U+10FFFF. 13:21:30 Kerrick [~Kerrick@kerrick.student.iastate.edu] has joined #scheme 13:21:41 Therefore, unless people are willing to do away with UTF-16, having code points above U+10FFFF, much less above 21 bits, is not feasible. 13:21:53 ah. 13:21:58 good point. 13:25:55 -!- mornfall [~mornfall@kde/developer/mornfall] has quit [Ping timeout: 240 seconds] 13:26:00 mornfall [~mornfall@anna.fi.muni.cz] has joined #scheme 13:26:00 -!- mornfall [~mornfall@anna.fi.muni.cz] has quit [Changing host] 13:26:00 mornfall [~mornfall@kde/developer/mornfall] has joined #scheme 13:30:54 -!- Adamant [~Adamant@unaffiliated/adamant] has quit [Quit: Adamant] 13:48:39 MrFahrenheit [~RageOfTho@users-55-180.vinet.ba] has joined #scheme 13:51:43 wbooze` [~user@xdsl-78-34-236-203.netcologne.de] has joined #scheme 13:51:51 homie` [~user@xdsl-78-34-236-203.netcologne.de] has joined #scheme 13:53:53 -!- homie [~user@xdsl-84-44-250-250.netcologne.de] has quit [Ping timeout: 245 seconds] 13:54:36 -!- wbooze [~user@xdsl-84-44-250-250.netcologne.de] has quit [Ping timeout: 272 seconds] 13:58:36 kuribas [~user@d54C2AEE4.access.telenet.be] has joined #scheme 14:00:41 -!- mjonsson [~mjonsson@cpe-98-14-173-5.nyc.res.rr.com] has quit [Ping timeout: 265 seconds] 14:07:05 -!- homie` [~user@xdsl-78-34-236-203.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 14:07:15 -!- wbooze` [~user@xdsl-78-34-236-203.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 14:09:30 FurnaceBoy [~FurnaceBo@bas2-toronto10-2925235460.dsl.bell.ca] has joined #scheme 14:13:29 homie [~user@xdsl-78-34-236-203.netcologne.de] has joined #scheme 14:15:01 mbohun [~mbohun@ppp115-156.static.internode.on.net] has joined #scheme 14:19:19 -!- lusory [~bart@bb121-6-220-65.singnet.com.sg] has quit [Read error: Connection reset by peer] 14:22:31 -!- schmir [~schmir@p54A91097.dip0.t-ipconnect.de] has quit [Ping timeout: 240 seconds] 14:22:55 wbooze [~user@xdsl-78-34-236-203.netcologne.de] has joined #scheme 14:23:12 ventonegro_ [~alex@200.150.183.81] has joined #scheme 14:24:24 lusory [~bart@bb119-74-190-127.singnet.com.sg] has joined #scheme 14:25:20 -!- ventonegro [~alex@200.150.183.81] has quit [Ping timeout: 265 seconds] 14:25:21 -!- ventonegro_ is now known as ventonegro 14:26:45 bweaver [~user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has joined #scheme 14:38:49 eli [~eli@winooski.ccs.neu.edu] has joined #scheme 14:41:38 gabot [~eli@winooski.ccs.neu.edu] has joined #scheme 14:41:54 -!- gabot [~eli@winooski.ccs.neu.edu] has quit [Remote host closed the connection] 14:45:25 gabot [~eli@winooski.ccs.neu.edu] has joined #scheme 14:49:06 hohoho [~hohoho@ntkngw229253.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 14:50:59 -!- vu3rdd [~vu3rdd@164.164.250.10] has quit [Remote host closed the connection] 14:52:24 -!- gabot [~eli@winooski.ccs.neu.edu] has quit [Remote host closed the connection] 14:53:14 gabot [~eli@winooski.ccs.neu.edu] has joined #scheme 14:57:13 -!- Kerrick [~Kerrick@kerrick.student.iastate.edu] has quit [Ping timeout: 245 seconds] 14:59:24 sepp2k [~sexy@p548CB7DD.dip.t-dialin.net] has joined #scheme 15:18:26 -!- samth_away is now known as samth 15:29:14 femtoo [~femto@95-89-196-226-dynip.superkabel.de] has joined #scheme 15:39:44 -!- mbohun [~mbohun@ppp115-156.static.internode.on.net] has quit [Quit: Leaving] 15:44:23 -!- mmc [~michal@cs190095.pp.htv.fi] has quit [Quit: Leaving.] 15:49:33 HG` [~HG@xdslak173.osnanet.de] has joined #scheme 16:02:52 -!- sloyd [sloyd@station457.vo3.net] has quit [Quit: ZNC - http://znc.sourceforge.net] 16:06:11 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 16:08:53 sloyd [sloyd@station457.vo3.net] has joined #scheme 16:11:33 DrDuck [~duck@146.229.116.216] has joined #scheme 16:23:01 Blkt [~user@dynamic-adsl-94-37-238-79.clienti.tiscali.it] has joined #scheme 16:25:03 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 16:26:27 atomx [~user@93.112.81.240] has joined #scheme 16:28:17 good evening everyone 16:29:59 hi 16:34:20 langmartin [~user@exeuntcha2.tva.gov] has joined #scheme 16:39:07 cthuluh [moo@2001:470:1f13:2c9::1] has joined #scheme 16:40:28 -!- cthuluh [moo@2001:470:1f13:2c9::1] has left #scheme 16:43:14 -!- DrDuck [~duck@146.229.116.216] has quit [Ping timeout: 264 seconds] 17:01:47 paperkettles [~chris@ip72-195-132-159.ri.ri.cox.net] has joined #scheme 17:04:51 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 17:12:52 lbc_ [~lbc@1908ds1-aboes.0.fullrate.dk] has joined #scheme 17:28:34 RageOfThou [~RageOfTho@users-55-180.vinet.ba] has joined #scheme 17:28:59 somnium [~user@adsl-65-185-34.dab.bellsouth.net] has joined #scheme 17:31:18 -!- MrFahrenheit [~RageOfTho@users-55-180.vinet.ba] has quit [Ping timeout: 240 seconds] 17:32:33 ddp [~ddp@c-67-169-77-221.hsd1.ca.comcast.net] has joined #scheme 17:40:37 vu3rdd [~vu3rdd@122.166.149.118] has joined #scheme 17:47:26 -!- paperkettles [~chris@ip72-195-132-159.ri.ri.cox.net] has quit [Quit: paperkettles] 18:00:42 paperkettles [~chris@138.16.109.95] has joined #scheme 18:06:29 Collard [Col@62.32.152.146] has joined #scheme 18:06:37 -!- paperkettles [~chris@138.16.109.95] has quit [Quit: paperkettles] 18:10:50 paperkettles [~chris@138.16.109.95] has joined #scheme 18:14:10 -!- timj_ [~timj@e176193151.adsl.alicedsl.de] has quit [Quit: Ex-Chat] 18:23:32 -!- lbc_ [~lbc@1908ds1-aboes.0.fullrate.dk] has quit [Quit: lbc_] 18:28:57 -!- HG` [~HG@xdslak173.osnanet.de] has quit [Quit: Leaving.] 18:32:59 -!- ddp [~ddp@c-67-169-77-221.hsd1.ca.comcast.net] has left #scheme 18:33:00 -!- femtoo [~femto@95-89-196-226-dynip.superkabel.de] has quit [Quit: Leaving] 18:34:41 timj [~timj@e176193151.adsl.alicedsl.de] has joined #scheme 18:34:41 -!- timj [~timj@e176193151.adsl.alicedsl.de] has quit [Client Quit] 18:38:58 -!- githogori [~githogori@130.sub-75-209-59.myvzw.com] has quit [Ping timeout: 240 seconds] 18:43:12 -!- Collard [Col@62.32.152.146] has quit [] 18:46:31 -!- vu3rdd [~vu3rdd@122.166.149.118] has quit [Remote host closed the connection] 18:47:11 timj [~timj@e176193151.adsl.alicedsl.de] has joined #scheme 18:48:22 Fare [~Fare@ita4fw1.itasoftware.com] has joined #scheme 18:53:33 githogori [~githogori@65.197.200.12] has joined #scheme 18:54:00 -!- paperkettles [~chris@138.16.109.95] has quit [Quit: paperkettles] 18:56:59 -!- kuribas [~user@d54C2AEE4.access.telenet.be] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 19:02:21 -!- githogori [~githogori@65.197.200.12] has quit [Quit: Leaving] 19:02:29 githogori [~githogori@65.197.200.12] has joined #scheme 19:05:22 choas [~lars@p5792CFC7.dip.t-dialin.net] has joined #scheme 19:06:03 tewk [~tewk@katan.cs.utah.edu] has joined #scheme 19:06:22 -!- tewk_ [~tewk@katan.cs.utah.edu] has quit [Ping timeout: 272 seconds] 19:06:38 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Ping timeout: 264 seconds] 19:10:35 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 19:12:24 -!- gravicappa [~gravicapp@80.90.116.82] has quit [Remote host closed the connection] 19:15:38 -!- alaricsp [~alaric@geniedb.hotdesktop.biz] has quit [Ping timeout: 240 seconds] 19:17:21 Adamant [~Adamant@unaffiliated/adamant] has joined #scheme 19:28:45 paperkettles [~chris@ip72-195-132-159.ri.ri.cox.net] has joined #scheme 19:35:30 schmir [~schmir@p54A9127E.dip0.t-ipconnect.de] has joined #scheme 19:39:59 -!- schmir [~schmir@p54A9127E.dip0.t-ipconnect.de] has quit [Ping timeout: 255 seconds] 19:47:32 schmir [~schmir@p54A909EC.dip0.t-ipconnect.de] has joined #scheme 19:48:53 -!- RageOfThou [~RageOfTho@users-55-180.vinet.ba] has quit [Read error: No route to host] 19:49:55 MrFahrenheit [~RageOfTho@users-55-223.vinet.ba] has joined #scheme 19:54:40 -!- schmir [~schmir@p54A909EC.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 19:54:48 schmir [~schmir@p54A9191E.dip0.t-ipconnect.de] has joined #scheme 20:11:13 hypercube32 [~hypercube@125.155.202.68.cfl.res.rr.com] has joined #scheme 20:17:15 -!- langmartin [~user@exeuntcha2.tva.gov] has quit [Remote host closed the connection] 20:19:27 easy4 [~easy4@c-174-60-36-128.hsd1.pa.comcast.net] has joined #scheme 20:19:48 DrDuck [~duck@146.229.118.57] has joined #scheme 20:21:40 -!- hohoho [~hohoho@ntkngw229253.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote host closed the connection] 20:30:25 -!- DrDuck [~duck@146.229.118.57] has quit [Ping timeout: 252 seconds] 20:42:50 ddp [~ddp@c-67-169-77-221.hsd1.ca.comcast.net] has joined #scheme 20:43:03 -!- ddp [~ddp@c-67-169-77-221.hsd1.ca.comcast.net] has left #scheme 20:46:55 -!- e-future [~e-future@unaffiliated/sergio/x-8197433] has quit [Ping timeout: 252 seconds] 20:47:50 -!- choas [~lars@p5792CFC7.dip.t-dialin.net] has quit [Quit: leaving] 20:48:10 choas [~lars@p5792CFC7.dip.t-dialin.net] has joined #scheme 20:52:49 -!- choas [~lars@p5792CFC7.dip.t-dialin.net] has quit [Client Quit] 20:53:06 choas [~lars@p5792CFC7.dip.t-dialin.net] has joined #scheme 20:59:15 -!- choas [~lars@p5792CFC7.dip.t-dialin.net] has quit [Quit: leaving] 21:24:35 jlongster [~user@c-71-204-23-22.hsd1.ga.comcast.net] has joined #scheme 21:27:27 -!- FurnaceBoy [~FurnaceBo@bas2-toronto10-2925235460.dsl.bell.ca] has quit [Quit: WeeChat 0.3.1.1] 21:29:17 alaricsp [~alaric@mukhadvaram.gurukuli.co.uk] has joined #scheme 21:31:48 -!- schmir [~schmir@p54A9191E.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 21:33:48 -!- alaricsp [~alaric@mukhadvaram.gurukuli.co.uk] has quit [Ping timeout: 240 seconds] 21:34:09 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 21:38:53 SirNick [~nick@199.223.126.66] has joined #scheme 21:40:13 kephas [~pierre@AStrasbourg-551-1-83-249.w81-51.abo.wanadoo.fr] has joined #scheme 21:41:22 -!- nowhereman [~pierre@AStrasbourg-551-1-3-61.w92-141.abo.wanadoo.fr] has quit [Ping timeout: 272 seconds] 21:46:36 -!- ventonegro [~alex@200.150.183.81] has quit [Quit: ventonegro] 21:49:43 megajosh2 [~megajosh2@pool-96-241-38-130.washdc.fios.verizon.net] has joined #scheme 21:53:23 -!- samth is now known as samth_away 21:54:37 mmc [~michal@cs190095.pp.htv.fi] has joined #scheme 22:02:20 jao [~user@83.50.71.232] has joined #scheme 22:09:20 -!- hypercube32 [~hypercube@125.155.202.68.cfl.res.rr.com] has quit [Ping timeout: 265 seconds] 22:11:12 hypercube32 [~hypercube@68.202.155.125] has joined #scheme 22:17:04 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Ping timeout: 265 seconds] 22:33:40 DrDuck [~duck@146.229.118.190] has joined #scheme 22:37:22 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 265 seconds] 22:38:55 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 22:41:42 -!- pygospa [~pygospa@g227132228.adsl.alicedsl.de] has quit [Ping timeout: 272 seconds] 22:42:18 davazp [~user@184.Red-79-154-140.dynamicIP.rima-tde.net] has joined #scheme 22:42:46 -!- DrDuck [~duck@146.229.118.190] has left #scheme 22:43:00 pygospa [~pygospa@g230084020.adsl.alicedsl.de] has joined #scheme 22:49:12 -!- bweaver [~user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 22:52:38 -!- jlongster [~user@c-71-204-23-22.hsd1.ga.comcast.net] has quit [Ping timeout: 265 seconds] 22:52:57 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 23:03:50 -!- sepp2k [~sexy@p548CB7DD.dip.t-dialin.net] has quit [Ping timeout: 255 seconds] 23:16:09 sepp2k [~sexy@p548CEACC.dip.t-dialin.net] has joined #scheme 23:19:37 drwho [~drwho@c-68-63-83-105.hsd1.pa.comcast.net] has joined #scheme 23:29:40 -!- fradgers- [~fradgers-@5e055c8a.bb.sky.com] has quit [Ping timeout: 272 seconds] 23:30:42 -!- githogori [~githogori@65.197.200.12] has quit [Remote host closed the connection] 23:31:18 -!- drwho [~drwho@c-68-63-83-105.hsd1.pa.comcast.net] has quit [Quit: A known mistake is better than an unknown truth.] 23:35:09 bombshelter13b [~bombshelt@76-10-149-209.dsl.teksavvy.com] has joined #scheme 23:37:01 -!- bombshelter13b [~bombshelt@76-10-149-209.dsl.teksavvy.com] has quit [Client Quit] 23:47:55 -!- objorn [~objorn@unaffiliated/objorn] has quit [Ping timeout: 240 seconds] 23:49:54 hohoho [~hohoho@ntkngw229253.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 23:59:11 -!- rdd [~rdd@c83-250-48-164.bredband.comhem.se] has quit [Read error: Operation timed out]