00:00:15 Easter is a statutory holiday. But if the calculation of Easter (a Canadian statutory holiday) is not part of Canadian law, then we do not have separation of church and state. 00:01:32 -!- FireFly has quit (Quit: swatted to death). 00:02:06 that's sounds like a rather insignificant non-separation compared to having easter a statutory holiday in the first place. 00:03:05 (norway has easter a statutory holiday too, but then we don't have separation of church and state, yet) 00:03:24 zzo38: You already don't possess seperation of church and state. 00:05:23 zzo38: In case you weren't aware, your country operates under the legal theory that all power comes from monarchy, and the power in the monarch comes from God. 00:05:25 I have no problem with making such things statutory holidays, even with such names, but the law should simply say something like "This day shall be a statutory holiday, named "_____" in English and "_____" in French." 00:06:13 pikhq_: Well, at least is the theory, but the government does the stuff not the queen. The queen though, is still queen and is on the money. 00:06:34 zzo38: The government has power delegated unto it by the queen. 00:07:05 All actions of your government, hence, are in a sense acting in the name of God. 00:07:33 At least those things are theory. But for actual laws, it should have separation of church and state; regardless of the religions of the government or of other things. 00:08:30 *In practice*, yes, there is seperation of church and state. 00:08:57 Of course, *in practice* almost every single country in Europe has some level of such seperation these days. 00:09:47 The government once tried to do it by renaming "Christmas Day" to "Gifting Season", but that is the wrong way to do it! The correct way is to just write "Twenty-fifth day of December is statutory holiday". The name of the holiday should be irrelevant for legal purposes, but write it in anyways simply for tradition, it has no actual legal meaning other than refering to that specific date. 00:10:00 -!- pikhq has joined. 00:10:09 -!- jcp has quit (Ping timeout: 250 seconds). 00:10:16 (exception: Stato della Città del Vaticano, which is of course a *unification* of church and state) 00:11:54 o.O at Mussolini's involvement in Vatican City 00:12:22 Sgeo: Also, remember: Hitler died a Catholic in good standing. 00:13:03 erm, isn't suicide a rather bad sin in catholicism :D 00:13:06 -!- pikhq_ has quit (Ping timeout: 240 seconds). 00:13:24 and you cannot get proper confession etc. after doing it... 00:14:03 (ok i'm only guessing on the "rather bad" part) 00:15:28 Of course you cannot, because you are dead. I do not care whether it is a "rather bad" sin in Catholicism, to me the thing is that live people still have things to do. 00:15:39 i guess he wasn't explicitly excommunicated though. 00:16:24 zzo38: um we are (well, i am) discussing what it means to be a "catholic in good standing". clearly that requires looking at it from catholicism's point of view. 00:17:06 although i recall from wikipedia there is a concept of automatic excommunication for some sins, even if no one else knows about them 00:17:55 (again of course this doesn't matter much to anyone who doesn't actually _want_ to be a good catholic) 00:18:21 -!- jcp has joined. 00:18:26 http://en.wikipedia.org/wiki/Latae_sententiae 00:18:59 I could try to figure out what is "Catholic in good standing", and what thing is "bad standing". 00:20:47 An abortion is an automatic ex-communication? 00:21:11 Yet murder isn't... 00:22:55 [exemptions for:] 2/ a person who without negligence was ignorant that he or she violated a law or precept; inadvertence and error are equivalent to ignorance; 00:23:38 Is it negligence to not seek out information on the Church's view of abortion? 00:24:08 Is it ignorance to hear some Catholic saying "abortion means ex-communication", but assume that they're mistaken or lying? 00:24:19 Always ready, always Lawlabee. Strength, safety, style, Lawlabee. Lawlabee in action. Lawlabee for beauty to have and to hold. 00:24:27 Gregor: forgive my groveling. 00:24:52 Do you think either of abortion or murder is ex-communication? 00:25:20 Sgeo: i'd imagine that after hearing it said, it would be negligence not to check further whether it is true... 00:26:12 zzo38, I'm just going by what Wikipedia says 00:26:30 Sgeo: i'd also imagine the case of abortion has been made that strict precisely because the church has trouble getting all its members to agree with it, which is not the case with murder 00:27:08 oerjan: Maybe 00:46:28 -!- cheater- has joined. 00:49:32 -!- cheater00 has quit (Ping timeout: 255 seconds). 01:03:22 -!- cal153 has quit (Ping timeout: 250 seconds). 01:16:11 In an interview with the person who invented INTERCAL, they described "a hypothetical computer described to me long ago by a co-worker who was a part-time professor at Northeastern University", which is now known as BitBitJump (I think). 01:28:38 Good video game title 01:36:40 Video game title? 01:49:56 -!- cal153 has joined. 02:07:06 -!- wareya has quit (Read error: Connection reset by peer). 02:08:05 -!- wareya has joined. 02:17:31 Oh, *wow*. In the name of getting men "home to their wives" earlier, Australia put a 6 PM closing time on bars. 02:17:51 What this actually produced was a solid hour of binge drinking between work getting out and the bars closing. 02:27:37 ... lolwut 02:28:34 Well, if you only have an hour of legal drinking outside of the home, you might as well make it count. 02:29:22 I was "lolwut"ting more at the notion that Australia would set a mandatory bar closing time at all, let alone 6PM :P 02:30:02 The "ZOMG MUST GET RID OF ALCOHOL" thing was prevalent in much of the Western world. 02:31:08 Ohwait, this is olde? 02:31:10 And tended to make shit worse overall. 02:31:20 Yes. 02:31:35 WWI and Great Depression era. 02:31:42 Ahhhhhhh 02:44:32 Possible GOP Presidential candidates: Michelle Bachmann, Donald Trump, Sarah Palin, Mitt Romney, Newt Gingrich, Mike Huckabee. 02:45:10 I do believe that Obama would have to rape babies and then serve baby au jus in order to lose. 02:48:50 * pikhq will grab the popcorn 02:54:45 -!- glogbot has quit (*.net *.split). 02:54:47 -!- ineiros has quit (*.net *.split). 02:54:48 -!- wareya has quit (*.net *.split). 02:54:51 -!- Vorpal has quit (*.net *.split). 02:54:53 -!- tswett has quit (*.net *.split). 02:54:53 -!- Deewiant has quit (*.net *.split). 02:54:55 -!- Ilari_antrcomp has quit (*.net *.split). 02:54:56 -!- Ilari has quit (*.net *.split). 02:55:03 NOOOOOO 02:55:08 GLOGBOT IS ON THE WRONG SIDE OF THE NETSPLIT 02:55:24 Glargh 02:55:31 I saw a Serenity spoiler 02:55:43 I think it might just be the focus of the entire movie, finding it out 02:56:06 Sgeo: i'm sorry but elliott isn't here to give a suitably ironic response. 02:57:00 *sarcastic 02:57:46 -!- zzo38 has quit (Ping timeout: 240 seconds). 02:57:53 -!- glogbot has joined. 02:57:53 -!- ineiros has joined. 03:00:45 -!- wareya has joined. 03:00:45 -!- Vorpal has joined. 03:00:45 -!- tswett has joined. 03:00:45 -!- Deewiant has joined. 03:00:45 -!- Ilari_antrcomp has joined. 03:00:45 -!- Ilari has joined. 03:13:31 Spoiler revealed with 30 min left, so maybe at least 30min will be enjoyable 03:13:42 -!- poiuy_qwert has joined. 03:16:45 -!- lament has joined. 03:27:10 -!- zzo38 has joined. 03:27:49 -!- zzo38 has set topic: THIS TOPIC FAILS AT BEING BLANK | http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://codu.org/logs/_esoteric/. 03:43:01 -!- zzo38 has quit (Ping timeout: 246 seconds). 03:48:30 -!- zzo38 has joined. 03:48:38 Is it broken server? 03:49:26 Is it broken server? 03:50:30 No? 03:55:35 What are special days and observances in different countries? 03:56:28 April 1st. 03:56:51 Thanks 03:57:51 Anything else? 03:58:08 April 31st. 03:58:13 I live in Canada and do not know the one for other countries, I should type it in since I am making a calendar program 03:58:52 Wikipedia knows. 03:58:54 lament: There is no 31 day in April. 03:59:58 what about leap years? 04:00:15 Then there is 29 day in February. 04:00:37 At least, is how it works in this country. 04:03:10 zzo38: Shōwa Day, in Japan, is April 29. 04:03:36 (first day of Golden Week) 04:06:11 OK, I added that, now if you type \Japan it will add that to the list of special days on the calendar 04:06:40 Heck, just hit Wikipedia; its list is likely comprehensive. 04:08:24 Are there any other kind of days that needs special calculation, other than Easter Sunday and the days relative to Easter Sunday? 04:08:53 Just about anything astronomical in origin, really. 04:09:14 For instance: Japan has the two equinoxes as holidays. 04:09:17 all the jewish and islamic holidays, since they're based on the respective calendars... 04:09:44 And Orthodox versions of Christian holidays. 04:09:45 oh and chinese new year probably 04:10:04 And phase of moon, I also need, although that isn't the "special days", I should still add a macro to calculate the phase of moon. 04:10:27 Yes I know Orthodox Easter is different, what is the difference in its calculation? 04:10:37 zzo38: also there are national days. basically there are at least thousands of special cases to consider. 04:10:47 Orthodox Christianity does not use the Gregorian calendar; they use the Julian calendar. 04:11:31 Then it is a good thing I already have added support for the Julian calendar (just type \julian to activate it). 04:12:05 Though the laity use Gregorian calendars, except they celebrate the holidays according to the date on the Julian calendar. 04:12:12 i also think not all orthodox christians use the same rule for calculating easter, even given julian calendar 04:12:19 Does the Zeller's Card method work correctly for Orthodox Easter? 04:12:30 i have no idea 04:12:43 oerjan: Quite possible; Orthodox Christianity is a set of sects, after all. 04:12:48 Well, you can type \julian \Easter \gregorian and then you will get the date of Julian Easter but using the Gregorian calendar. 04:13:13 Frankly I don't see it as being worth this much effort to adapt for idiots. 04:13:30 pikhq: How many sects are there and which ones are common that I should add to this program? 04:14:17 *Insofar as I am aware*, they merely use the Julian calendar instead of the Gregorian calendar for the dates of religious holidays. 04:14:23 And also all the other days requring special calculation (including other countries), can you tell me how it is calculated, so that they can be included in the calendar? 04:14:43 There's an absurd number of special cases, and I certainly don't know them all. 04:15:10 Though some of them are genuinely absurd cases, regardless. 04:15:39 at least norwegian official holidays are either fixed gregorian dates or offsets from easter. 04:16:04 For instance, Chinese traditional holidays are based on dates on a lunar calendar that is otherwise unused. 04:16:31 pikhq: If they merely use the Julian calendar for calculating dates of religious holidays, then my program should do that, since it can already calculate Julian Easter (and then you can switch back to Gregorian mode after the calculation). 04:17:15 oerjan: Then Norwegian holidays should be easy to put in 04:19:07 Also, Japan has the Emperor's birthday as a holiday. The only way to correctly handle that going forward is constant maintanence, and in the past, well, you'll want to read the Kojiki. :P 04:19:09 I am using the slight modification of the Zeller's Card method for days of the week and for Easter, and it works with both Julian and Gregorian. I have also found a implementation in Javascript that will check what errors there are, and the method with minor correction works for everything. 04:19:37 oh and even the us has that presidents' day iirc 04:19:56 oerjan: That's just a holiday that's in honor of past presidents. 04:20:01 well norway has royal birthdays too... 04:20:12 It's *Washington's* birthday, though. 04:20:21 pikhq: no not that way, i mean it's not a fixed gregorian date is it 04:20:28 Well, actually, it's vaguely near then. 04:20:36 oerjan: No, it's the third Monday of February. 04:20:42 oh. 04:20:56 I do have the command for third Monday of February and stuff like that, typing in \Third\Mon\Feb will do that. 04:21:06 oh right norway has those too, mother's and father's day are like that 04:21:15 (they're not official holidays though) 04:21:25 *Most* US federal holidays are on a Monday. 04:22:04 In Canada, Thanksgiving is on \Second\Mon\Oct (different than Thanksgiving in United States) 04:22:24 Yeah, US Thanksgiving is the fourth Thursday in November, instead. 04:22:30 For... No good reason in either case. 04:22:46 Then why is it like that if there is no reason? 04:22:56 *groan* 04:22:59 There is a reason. 04:23:07 What reason? 04:23:09 Merchants wanted it then. 04:23:21 Because Christmas was coming. 04:24:32 O, that's why. 05:16:23 -!- pikhq has quit (Read error: Operation timed out). 05:18:31 -!- pikhq has joined. 05:28:21 -!- banpdtr_ has joined. 05:37:02 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 05:38:45 -!- poiuy_qwert has joined. 05:39:32 -!- zzo38 has quit (Remote host closed the connection). 05:58:10 -!- impomatic has quit (Quit: ChatZilla 0.9.86.1 [Firefox 3.5.18/20110319140258]). 05:58:16 -!- pikhq has quit (Read error: Operation timed out). 06:03:47 -!- pikhq has joined. 06:05:43 -!- asiekierka has joined. 06:07:32 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 06:09:11 -!- poiuy_qwert has joined. 06:09:15 -!- poiuy_qwert has quit (Changing host). 06:09:15 -!- poiuy_qwert has joined. 06:11:14 -!- Lymia has quit (Quit: ==(>^w^)> ==(> >.<)>). 06:11:30 -!- sftp has quit (Remote host closed the connection). 06:11:50 -!- oerjan has quit (Quit: leaving). 06:27:02 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 06:28:12 -!- poiuy_qwert has joined. 06:50:35 -!- azaq23 has joined. 06:54:56 -!- azaq23 has quit (Read error: Connection reset by peer). 06:57:41 -!- asiekierka has quit (Ping timeout: 260 seconds). 07:07:02 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 07:08:40 -!- poiuy_qwert has joined. 07:15:48 -!- pingveno has quit (Read error: Connection reset by peer). 07:19:39 -!- pingveno has joined. 07:26:55 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 07:28:44 -!- poiuy_qwert has joined. 07:32:26 -!- lament has quit (Ping timeout: 276 seconds). 07:44:08 -!- pikhq has quit (Ping timeout: 276 seconds). 07:54:27 -!- pikhq has joined. 07:56:14 -!- elliott has joined. 07:56:23 I have to let this idea escape before it envelops me: 07:56:30 Profile-guided compiler warnings. 07:56:32 That is all. 07:56:36 -!- elliott has left ("Leaving"). 08:07:54 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 08:09:35 -!- poiuy_qwert has joined. 08:34:54 -!- poiuy_qwert has quit (Read error: Operation timed out). 08:39:35 -!- poiuy_qwert has joined. 08:50:07 -!- iamcal has joined. 08:50:53 -!- cal153 has quit (Ping timeout: 240 seconds). 08:51:15 -!- comex has quit (Read error: Operation timed out). 08:52:09 -!- comex has joined. 08:52:36 -!- pingveno has quit (Ping timeout: 260 seconds). 08:52:53 -!- pingveno has joined. 08:53:18 -!- bsmntbombdood has quit (Ping timeout: 250 seconds). 08:54:32 -!- poiuy_qwert has quit (Read error: Operation timed out). 08:56:33 -!- bsmntbombdood has joined. 08:57:58 -!- poiuy_qwert has joined. 09:06:24 -!- banpdtr_ has left. 09:16:01 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 09:17:53 -!- poiuy_qwert has joined. 09:36:18 -!- MigoMipo has joined. 09:36:31 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 09:38:08 -!- poiuy_qwert has joined. 09:43:41 -!- poiuy_qwert has quit (Ping timeout: 255 seconds). 09:45:58 -!- poiuy_qwert has joined. 10:10:47 -!- MigoMipo has quit (Quit: Page closed). 10:14:31 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 10:16:21 -!- poiuy_qwert has joined. 10:34:31 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 10:36:22 -!- poiuy_qwert has joined. 10:44:14 -!- Slereah_ has joined. 10:45:03 -!- Slereah has quit (Ping timeout: 252 seconds). 10:54:31 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 10:56:22 -!- poiuy_qwert has joined. 10:59:44 -!- cheater- has quit (Ping timeout: 255 seconds). 11:01:05 -!- cheater- has joined. 11:08:02 -!- poiuy_qwert has quit (Read error: Operation timed out). 11:16:36 -!- poiuy_qwert has joined. 11:34:54 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 11:36:34 -!- poiuy_qwert has joined. 11:53:19 -!- pikhq has quit (Read error: Operation timed out). 11:53:36 -!- pikhq has joined. 11:54:54 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 11:56:32 -!- poiuy_qwert has joined. 12:01:36 -!- poiuy_qwert has quit (Ping timeout: 260 seconds). 12:14:44 -!- aloril has quit (Ping timeout: 252 seconds). 12:16:58 -!- cheater00 has joined. 12:19:07 -!- cheater- has quit (Ping timeout: 248 seconds). 12:27:49 -!- aloril has joined. 12:31:37 -!- copumpkin has quit (Ping timeout: 264 seconds). 12:32:03 -!- copumpkin has joined. 12:38:36 -!- poiuy_qwert has joined. 12:45:54 -!- oerjan has joined. 12:55:20 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 13:01:32 -!- Phantom_Hoover has joined. 13:13:31 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 13:15:11 -!- poiuy_qwert has joined. 13:18:26 -!- MigoMipo_A has joined. 13:24:22 -!- copumpkin has joined. 13:29:40 -!- Wamanuz5 has quit (Remote host closed the connection). 13:32:55 -!- oerjan has quit (Quit: leaving). 13:33:40 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep). 13:34:31 -!- Wamanuz has joined. 13:35:34 -!- MigoMipo_A has quit (Quit: Bye). 13:39:51 -!- MigoMipo has joined. 13:56:24 -!- MigoMipo has quit (Remote host closed the connection). 14:08:54 Ouch: "I'd create a long-lived OCSP responder certificate with the OCSPNoCheck extension. This kind of certificate can't be revoked *at all*, and has the same power as a CRL-signing key (which can be revoked)." (discussing the Comodo incident). 14:20:22 -!- MigoMipo has joined. 14:44:50 `addquote what does coffee do to biological neural networks what tiger blood does for charlie sheen 14:44:53 336) what does coffee do to biological neural networks what tiger blood does for charlie sheen 14:54:47 -!- Wamanuz has quit (Ping timeout: 240 seconds). 14:57:29 -!- cheater- has joined. 14:58:41 -!- cheater00 has quit (Ping timeout: 255 seconds). 15:17:03 http://www.microsoft.com/downloads/en/details.aspx?FamilyID=21eabb90-958f-4b64-b5f1-73d0a413c8ef&displaylang=en whoahwtf 15:17:11 I'll bet you could run those in VirtualBox 15:23:53 The expiration thing? 15:25:11 -!- Wamanuz has joined. 15:25:23 I frankly don't know what that means, but would assume it's in the guest software, not the host. 15:27:56 They're distributing executables which are presumably emulator + HD image, so extracting it would be non-trivial. 15:30:36 They're VHDs. 15:34:43 APNIC down 0.03: 2x4k+1k to Japan, 1M(512k+2x256k) to China, 256 to New Zealand. 15:35:07 Slow week... Only 0.23 blocks. 15:35:32 Ilari, is that a script or are you writing this manually? 15:37:30 Manually. 15:37:41 Is 1M really just 0.03 blocks? I mean, purely in-the-head that should be 1/16th of a 2^24 = 16M address block, and 0.03 is less than 1/20 = 0.05. Or what is that 0.03 number anyway? 15:38:49 That was from local calculation, not from the graph on APNIC site. 15:39:41 Estimate using same random method as yesterday now yields Tuesday April 19th. 15:39:52 Yes, but is it in blocks? 15:40:22 Yes, it is in blocks. Maybe some large block got returned/revoked? 15:41:08 Perhaps that; it doesn't at least seem to directly match those listed networks. 15:41:10 > (2*4096+1024+1048576+256)/16777216 15:41:11 6.30645751953125e-2 15:44:36 -!- asiekierka has joined. 15:45:48 Reading from scrollback buffer, available addresses count was 44 281 856 yesterday, and now it is 43 806 208 (that doesn't account for setaside). That's down 475 648. Number of addresses allocated is 1 058 048, diffrence of 582 400, A /13, /17, /18, /19 and 3x/24. 15:53:37 -!- lament has joined. 15:55:51 Indeed, down 0.03. 15:56:57 -!- zzo38 has joined. 16:11:51 -!- lament has quit (Ping timeout: 260 seconds). 16:30:17 -!- sftp has joined. 16:31:50 -!- iamcal has quit (Ping timeout: 255 seconds). 16:47:59 I think firefox 4 is BADLY confused about how many DPI my screen has 16:48:12 11pt text now looks like 17pt 16:48:25 and I did check zoom first 16:49:20 -!- FireFly has joined. 16:51:29 also how the fuck do I move the tab bar down like it used to be 16:51:41 Vorpal returns! 16:51:50 I use the tab bar more often, thus it should be closer to the page. Less mouse movement. 16:51:53 Vorpal: View -> Toolbars -> Tabs on top 16:51:57 Liveblogs computer troubles. 16:51:58 Deewiant, thanks 16:52:12 Can't you use the keyboard keys for tab selection? 16:52:14 phew, that made it a lot better 16:52:40 zzo38, sure, but sometimes it is easier to use the mouse, like when switching to one two rows down or such 16:52:54 How many tabs do you use at once? 16:53:21 usually varies between 3 and about 40 16:54:30 I never use that many. My browser tabs vary usually from 1 to 5 (and 0 of course when it is not running) 16:54:56 There's that "tab groups" thing, I haven't quite understood how it works yet. 16:55:43 hm 16:55:55 fizzie, I haven't seen anything like that yet. 16:55:58 It seems to open a thing where the tabs are show as icons. 16:56:05 where is it? 16:56:18 In the "tab list" drop-down menu at the end of the tab bar, at least for me. 16:56:53 eh. Oh right. I disabled that. I use multi-row tab bar instead. 16:57:13 somewhere in tabmix plus settings I think 16:57:14 Well, it's also ctrl-shift-e. 16:57:30 Don't know about how it mixes (no pun intended) with tabmixery. 16:57:36 ah 16:58:05 well it does seem to work. At least it does what you described (showing preview icons) 16:58:12 what makes it groups though 16:58:22 I think you can have multiple of them windows. 16:58:28 At least the one seems to be movable. 16:58:33 hm 16:58:40 And there's a "name this tab group" thing shown near the top. 16:58:58 You can create a new group by dragging in the non-group area 16:59:09 Deewiant, how does that affect the tab bar? 16:59:14 Deewiant: Ooh, so you can; I was *just* about to try it. 16:59:33 The tab bar only shows the current group 16:59:48 ah, would have been more useful if it colour coded the tabs or something 17:00:05 also I see pointless visual effects 17:00:12 Deewiant: So how do you multi-select tabs to move them into a new group? Control-clickery, shift-clickery or drag-a-rectangle don't seem to work. :/ 17:00:15 when closing the tab group page 17:00:23 it makes some zooming out kind of effect 17:00:27 rather jerky too 17:00:41 fizzie: Dunno 17:01:09 I haven't really used it other than a few minutes of playing around with rc1 :-P 17:01:20 in other news Arch Linux seems to finally call Firefox Firefox 17:01:26 it was nam...whatever before 17:01:40 Deewiant: Ooh, that's funky: if I close a group, it turns into a small [...] thing that says "undo close group [x]". 17:01:42 Namoroka, the devname for 3.6 17:01:48 fuck the licensing deals firefox has re: name 17:01:55 Before that, Shiretoko, for 3.5. 17:02:02 Deewiant, yes I know it was the dev name. I just couldn't remember it :P 17:02:17 Deewiant: (... what's less funky is that the "undo" icon auto-disappeared after a dozen seconds or so.) 17:02:30 and they seem to have gone for the foxy icon as well. They used the plain bluish globe icon before 17:02:55 my thunderbird still isn't thunderbird however 17:03:24 however, the DPI issue remains... 17:03:37 This thing I have now (installed a daily-ish build of 4 from the LaunchPad PPA thing) seems to call itself "Minefield". 17:04:37 heh 17:05:25 hm somehow restarting firefox fixed the dpi issue on normal pages 17:05:26 however 17:05:38 a lot of GUI text is still huge 17:05:44 this might be intentional though 17:05:56 the add-on tab for example. 17:07:24 and somehow the interface looks even more dumbed down 17:07:57 -!- cal153 has joined. 17:09:47 No, I think the proper word is something like "streamlined" or "user-centricized" or "dynamistically reoriented in adventurious new ways". 17:10:34 fizzie, dumbed down :P 17:11:04 fizzie, also the last one is a parody right? Or has someone actually used that one seriously? 17:12:54 Well, I just came up with it, but of course I can't guarantee no-one's said it ever seriously. 17:13:44 It's not "dumbed down", it's "interactionally liminal". 17:15:34 liminal? 17:16:06 I've seen artsy-and-designy people use that word in randomish contexts. 17:16:36 spell checker thinks it doesn't exist. 17:16:45 "Liminality (from the Latin word līmen, meaning "a threshold") The liminal state is characterized by ambiguity, openness, and indeterminacy. One's sense of identity dissolves to some extent, bringing about disorientation. ..." 17:16:58 "a. gen. Of or pertaining to the threshold or initial stage of a process. rare. b. spec. in Psychol. Of or pertaining to a ‘limen’ or ‘threshold’." 17:17:17 Anyhoo, food-time. -> 17:17:20 cya 17:25:35 weird, trying to right click on a book mark and open properties for it doesn't work in firefox 4 for me 17:26:07 Deewiant, I assume you switched, does that action work for you? Would be useful to know where to start looking for the cause (extensions or elsewhere) 17:27:09 Yes, it works for me (in a folder in the bookmark bar) 17:27:20 Deewiant, what about from the bookmarks menu? 17:27:37 it doesn't work there, it *does* work in the bookmark bar however 17:28:15 Works there too 17:28:19 huh 17:28:53 okay wtf, it works after restarting firefox 17:41:28 * Phantom_Hoover reads the UNIX-HATERS Handbook. 17:50:02 How do you make phase of moon with integer arithmetic? 17:54:16 If someone types on their program "Licensed under GNU GPL version 5 or later version", then does it mean you have to wait for version 5 of GNU GPL to be invented? 17:57:09 -!- Lymia has joined. 17:57:09 -!- Lymia has quit (Changing host). 17:57:09 -!- Lymia has joined. 18:09:18 zzo38: AFAIK that would effectively mean that there is no license (and so no legal use) until GPLv5 is released, but "until" doesn't usually work well in law so in practice it may very well just be no license. 18:12:00 Of course I was asking hypothetically, since there is probably not a real reason to write such a note on your program (if GPLv5 is not yet released). 18:12:56 But I have known of some copyrights which are set to expire earlier than normal, but those are just making public domain afterward, as well as being a fixed date at which it expires. So it is different than this case. 18:13:58 There's no legal way to actually make the copyright expire early, all those are are special licenses with time limits. 18:16:21 Maybe something like: "Copyright ____ All rights reserved. Special license: After the date of June 1, 2003, this work is in the public domain; if that is not possible, then after the date of June 1, 2003, everyone has irrevocable permanent license to use it for any possible use with no restrictions, as if it is not copyrighted." 18:17:32 Is this correct? 18:21:41 The first clause has no purpose, you cannot decree something to be in the public domain in a license. 18:22:30 Is it correct if the first clause is omitted? 18:33:16 -!- princess has joined. 18:33:39 Hola 18:34:45 Hola 18:35:34 princess: Hello, what do you want, please? 18:36:33 I want tu speak with you 18:36:38 About what? 18:37:42 I don`t know 18:37:57 -!- Gregor has set topic: THIS TOPIC FAILS AT BEING BLANK | BUT IT ALSO FAILS AT REFERRING TO ESOTERIC TOPICS IN COMPUTING AND PROGRAMMING LANGUAGES | http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://codu.org/logs/_esoteric/. 18:38:02 * Gregor twiddles his thumbs :P 18:38:12 Well, you can just wait and seeing in case of anyone else type something you are interested with. 18:39:00 ok 18:40:17 princess, I'm afraid we're not the best place to learn to speak. 18:42:41 jajaja 18:43:36 I know this 18:44:02 I`m Spanish 18:44:16 So we had gathered. 18:44:37 そう思いにならせました。 18:44:59 pikhq: Helpful as always. 18:45:05 Gregor: I strive. 18:45:52 Bye 18:46:32 -!- princess has quit (Quit: Saliendo). 18:47:12 You people. 18:47:15 DRIVING HER AWAY 18:47:25 AS SUCH IS OUR WONT 18:47:40 pikhq, I FEEL THE "AS" THERE IS UNNECESSARY 18:47:55 Phantom_Hoover: I'm appending to Gregor's sentence. 18:48:07 Then the "SUCH" is unnecessary. 18:48:47 Wow, the MIs go from 1 up to 19. 18:48:50 Gregor: I SUCH LOVE SUCH USING SUCH UNNECESSARIILY SUCH THAT SUCH I SUCH SHALL SUCH USE SUCH IT SUCH 18:49:07 Well, *went 18:49:21 All but 5 and 6 are defunct. 18:51:02 Oh, and 13 didn't exist. 18:51:05 OR SO WE ARE TOLD 18:53:47 pikhq, MY JAPANESE FRIEND INFORMS ME THAT THING YOU SAID DOES NOT REALLY MAKE SENSe 18:53:49 *SENSE 18:53:54 -!- asiekierka has quit (Read error: Operation timed out). 18:56:10 Phantom_Hoover: Oh, sure enough, I did fuck it up. 18:56:58 -!- impomatic has joined. 18:58:16 そう思わせられました。 is a bit more what I was going for. XD 19:23:19 I really dislike the \outer command in TeX. Therefore, I do not use it. 19:23:31 It gets in the way of a lot of things. 19:24:59 Perhaps on old computers that were much slower, it might make sense to do this (and other) kind of error checking, that you can try to recover the rest of the document as much as possible so that you can proofread it. But new computer is much faster and such things as that are not very good, in my opinion, at least. 19:39:47 fungot, speak! 19:39:47 Phantom_Hoover: no, it would be nice 19:40:25 Best response ever. 19:42:52 -!- oerjan has joined. 20:01:10 When was elliott last here? 20:01:40 a few seconds this morning 20:20:36 -!- iconmaster_ has joined. 20:23:15 fungot, wait, is this damn connection still hating me? 20:23:15 -!- Phantom_Hoover has quit (Quit: Leaving). 20:23:17 Phantom_Hoover: exciting... i've took a few seconds... on a train, just past puistola. stopped here, the usual mode of operation is to make a living hacking on eclipse plugins, come see me in my place 20:23:26 -!- zzo38 has left. 20:23:38 -!- Phantom_Hoover has joined. 20:24:03 fungot: now that was sad 20:24:03 oerjan: is there a space profiler for s48? is there anything in scheme48 that is like mine uses modified csv files to store the size 20:26:11 Hm, Puistola's a place in Helsinki. Wonder who said that. 20:31:43 -!- iconmaster_ has quit (Quit: Rooms • iPhone IRC Client • http://www.roomsapp.mobi). 20:33:29 -!- iconmaster_ has joined. 20:43:36 -!- pikhq_ has joined. 20:44:00 -!- pumpkin has joined. 20:44:08 -!- pikhq has quit (Ping timeout: 276 seconds). 20:44:47 -!- copumpkin has quit (Ping timeout: 240 seconds). 20:44:55 -!- pumpkin has changed nick to copumpkin. 20:46:43 -!- iconmaster_ has quit (Ping timeout: 252 seconds). 20:48:20 Is Linear Algebra fun? 20:50:03 sure, if done right 20:50:03 algebra in general is 20:51:05 -!- zzo38 has joined. 20:51:43 Sgeo, group theory is fun too. 20:54:48 -!- copumpkin has quit (Ping timeout: 250 seconds). 20:55:09 No it's not 20:55:11 IT's terrible 20:55:47 Slereah_, NO IT ISN'T 21:00:06 Is "Puistola" pronounced Pwi-sto-la or Pu-i-sto-la? 21:01:36 It's a diphthong but I wouldn't call it "pwi" :-P 21:02:05 Wiktionary IPA's the "puisto" word as [ˈpuisto̞]. 21:02:14 fizzie: how very helpful. 21:02:38 Is it more like Puj-sto-la, then? 21:02:48 Which half of the diphthong is the major half? 21:03:11 I can give you an audio file out of this speech recognition data corpus if you want. 21:03:17 That would be useful, yes. 21:03:27 Hey, Puistola's a place on a Monopoly board. P 21:03:29 s//:/ 21:05:06 http://users.ics.tkk.fi/htkallas/puistola.wav should perhaps have it. I haven't bothered to test-listen to it at all. 21:05:18 Is there also a Lautakävely? :P 21:05:39 The transcript says "sain hyvän syötön pasi puistolalta", where it's a name of a person, but it should be pronounced the same way anyway. 21:06:22 how long ago was windows 7 released now again? Roughly 21:06:53 unless I'm wrong there should be another windows version due soon 21:07:09 That sounds pretty Pu-i-sto-lal-ta-ish, though you could call it Puj as well. 21:07:34 Windows 8's supposed to come in 2012. 21:07:58 ah 21:08:11 (Don't think there's any official word yet though.) 21:08:13 Apparently the next version no longer uses a keyboard or mouse, no longer will run on a PC, and all documents *must* be stored on the internet so that they can spy on you. 21:08:51 I do not know whether or not any of this is true. 21:09:03 it sounds extremely unlikely 21:09:09 especially the bit about no keyboard 21:10:49 There has been some word on a "new version" that'd be tablet-oriented. 21:10:59 It might of course be a completely different thing than Windows 8. 21:11:13 yeah aren't there tablet versions of current windows as well 21:11:36 fizzie: Yes, all of the things I wrote might be only the tablet version. 21:11:40 I mean, come on, if they dropped non-tablet, what would programmers targeting windows use. And so on. 21:12:50 I write programs in C so that they are not only for Windows or only for any specific computer or operating system. 21:14:01 good luck. You will need it to do anything non-trivial. 21:14:49 -!- copumpkin has joined. 21:14:57 Is this why C was invented? 21:15:00 How pointlessly pessimistic you are, Vorpal. You can write portable C that does all sorts of shit, so long as you don't care about GUIs. 21:15:27 Gregor: Or listing a directory. 21:15:31 Gregor, C defines functions for working on files. It does not even consider directories 21:15:36 fizzie, gah you beat me to it 21:15:42 Gregor, nor network, 21:15:44 or threads 21:15:59 And most of my programs do not have GUIs, and most of them do not need to do directory listings either, or network, or threads... 21:16:09 Still, I'm sure you can do some pretty non-trivial data-processing tasks even in portable C. 21:16:27 true 21:16:34 And C1x has threads. :p 21:16:51 Threads are /sort of/ a problem. Networking isn't since BSD sockets are universal. Windows (and everything else) supports opendir/readdir/closedir. 21:16:51 http://www.gerbil.org/tom/ 21:16:53 but really, pure C is only really useful as a common base to build on 21:16:55 I will use SDL if I want graphics and audio. SDL works on many systems. 21:16:58 Recent news 21:16:58 (Tue Aug 28 2001) A new tesla bootstrap has been released. 21:17:01 you can't even do sensible OS coding in pure C 21:17:06 Gregor: But the DS9K. 21:17:36 If I want programming an operating system, the parts that are specific to the computer can be programmed by machine-codes or assembly language. 21:17:38 Gregor, wait what? Are you assuming a /hosted environment/? 21:17:39 Why? 21:17:43 By "portable C code" I mean "C code written for existing systems which are not totally retarded". And my basis is pretty lax since I let Windows in. 21:17:45 Vorpal: No, I'm not. 21:18:27 Gregor, err, I'm pretty sure you do in the statement about common OS :P 21:19:03 Vorpal: Oh, I thought you were complaining about my opendir/readdir on Windows statement. 21:19:19 Well, you know, if you only assume a freestanding implementation, then you can't do any IO at all. 21:19:21 Gregor, as well. 21:19:21 Of course I mean C code hosted in an OS, but when people write portable Python code nobody say "BUT IT DOESN'T RUN ON METAL HAW I'M TARDED" 21:19:26 fizzie, indeed. 21:19:38 *nobody says 21:19:38 -!- comex_ has joined. 21:19:44 -!- yorick_ has joined. 21:19:51 To contrast, TeX is *absolutely the same everywhere* (as long as you do not use LaTeX, pdfTeX, e-TeX, XeTeX, or any of those other things). TeX is not for writing operating systems, though. It is for writing documents to print out. 21:19:59 -!- comex has quit (Read error: Operation timed out). 21:20:00 -!- yorick has quit (Read error: Operation timed out). 21:20:05 Gregor, I haven't been doing hosted C code programming for several weeks now. I was doing freestanding just 4 days ago 21:20:17 well freestanding with extensions 21:20:18 Vorpal: You were not writing portable C code. 21:20:26 Vorpal: Nor is that an argument that portable C code does not exist. 21:20:32 Gregor, indeed. I was including and so on 21:20:43 Vorpal: All that's an argument for is that C is powerful enough to write both portable and unportable code, so good for C. 21:21:16 Gregor, true. Anyway you can't do much interesting in portable C really. Where portable C means what the C standard requires 21:21:32 you *can* do quite a lot if you assume your mostly portable superset of that 21:21:40 That really depends on your definition of "interesting". 21:21:53 fizzie, well, interacting with other stuff in this case. 21:22:05 Vorpal: Yes, that's because the C standard is a pointlessly-strict requirement. 21:22:25 fizzie, sure you can do data processing and a simple line based text UI, but that isn't very interesting 21:22:55 Again, that's just your opinion. 21:23:23 I'd say our speech recognition system could be portable C, and it would still qualify as non-trivial. 21:23:27 actually I could write portable freestanding C code, with the exception of the name and signature of the entry point... I wouldn't be able to observe the results however. 21:23:34 -!- copumpkin has quit (Ping timeout: 252 seconds). 21:23:40 fizzie, hm true 21:28:14 -!- copumpkin has joined. 21:28:50 fizzie, do you happen to know why elliott left this channel? 21:29:15 fizzie: You can just use stdin/stdout, where the audio is on stdin and the text is on stdout. Now it is a proper speech recognition system. 21:29:29 Vorpal: I saw some discussion in the logs, but really I haven't been following. 21:29:52 ah 21:30:15 zzo38, I'm sure there should be something in between as well. :P 21:30:44 Vorpal: http://codu.org/logs/_esoteric/2011-03-23.txt 18:20 or so. 's all I know. 21:30:49 (Hearsay and so on.) 21:30:54 Vorpal: Perhaps the command-line parameter to set the options. Now is it enough? 21:31:30 zzo38, I didn't mean that... 21:31:47 -!- BeholdMyGlory has joined. 21:31:52 Vorpal: Then what do you mean, please? 21:32:37 zzo38, I mean you need something in between stdin and stdout to make it "a proper speech recognition system" :P 21:32:41 So, I'm watching The Website Is Down 21:33:02 I notice that in this video, the person is playing some old FPS, and it immediately strikes me as old 21:33:12 What would you need? Just the program, isn't it? 21:33:15 Yet just before, a different one that I saw, he was playing NetHack 21:33:21 And I didn't think of it as old 21:33:58 -_- 21:40:03 -!- oerjan has quit (Quit: leaving). 21:45:47 Don?t quit smoking... LEARN TO SMOKE THE HEALTHY WAY!!! 21:49:58 Sgeo, not that unreasonable. 21:50:18 -!- impomatic has quit (Quit: ChatZilla 0.9.86.1 [Firefox 3.5.18/20110319140258]). 21:51:32 -!- oerjan has joined. 22:19:09 * Phantom_Hoover watches Father Ted. 22:22:52 I am now playing a joke NetHack simulator 22:23:08 I am on the Astral Plane on an altar without the amulet 22:24:18 http://www.thewebsiteisdown.com/nethack.html 22:25:09 "You quaff a potion of YASD" 22:27:44 "Killed by insulting the parser" 22:29:07 haha 22:29:51 "killed by pressing the letter 'd' 22:30:04 ("You drop... dead") 22:33:18 -!- rodgort has quit (Quit: ERC Version 5.3 (IRC client for Emacs)). 22:34:24 -!- rodgort has joined. 22:36:31 I can't figure it out 22:39:21 the joke nethack? 22:39:36 Jokehack. 22:39:41 Yeah 22:40:36 ...why would you expect a joke nethack to be survivable... 22:41:08 Because the blog post says so 22:41:24 fiendish. 22:41:29 http://dpt.thewebsiteisdown.com/dpt/ 22:42:45 Hay! It says I found the gold but it says I don't have any! 22:44:21 zzo38, hmm 22:44:32 That Seppuku message is also associated with a different death 22:45:08 -!- iconmaster has joined. 22:45:55 Try wielding the elf, then the lichen 22:45:58 Or other way around 22:47:41 How to remove the armor? 22:47:53 I don't know if it's possible 22:50:10 Sgeo, can you win the real nethack btw? 22:50:19 that is, have you been able to 22:50:22 No 22:50:33 Sgeo, you need more practise then :) 22:50:34 Have a game on NAO, haven't touched it in a while 22:50:48 Sgeo, why not play locally? Way less lag that way 22:55:08 I'm going to play a bit of Crawl I think 23:13:38 -!- pikhq_ has quit (Ping timeout: 240 seconds). 23:15:10 -!- pikhq has joined. 23:15:32 ??you feel nervous for a moment 23:18:03 -!- pikhq_ has joined. 23:20:40 -!- pikhq_ has quit (Client Quit). 23:23:50 Would you use the function if a "while" or "for" loop is allowed to have a "else" clause, which would be executed if the loop terminates without using "break"? 23:26:41 -!- BeholdMyGlory has quit (Remote host closed the connection). 23:34:41 zzo38, that sounds Falcon-like 23:35:15 Sgeo: Do you know if Falcon has such a thing? And, do you use Falcon? 23:36:01 Python has for-else loops 23:36:27 I don't remember if Falcon has it 23:36:38 Are they the same as this or different? And does it have while-else loops? 23:36:56 Yes, it has while-else loops, and it's what you're describing, I think 23:37:04 http://docs.python.org/tutorial/controlflow.html 23:37:50 Yes, section 4.4 says the same kind of thing I am describing. 23:44:12 -!- pikhq_ has joined. 23:44:57 -!- pikhq has quit (Ping timeout: 276 seconds). 23:44:57 -!- wareya has quit (Read error: Connection reset by peer). 23:46:03 -!- wareya has joined. 23:49:44 -!- iconmaster has quit (Quit: Goodbye, cruel world!). 23:50:27 -!- FireFly has quit (Quit: swatted to death). 23:51:14 -!- MigoMipo has quit (Read error: Connection reset by peer). 23:53:01 -!- poiuy_qwert has joined. 23:55:08 -!- Sgeo has quit (Read error: Connection reset by peer). 23:55:36 -!- Sgeo has joined.