00:00:01 herp derp 00:05:12 How many programs are there that can typeset to DVI files? I know of TeX, GFtoDVI, and I think GNU troff has an option to output DVI as well. GNU Lilypond has partial support for DVI output. Are there others? 00:06:59 the church turing thesis posits there are at most 4 such programs 00:07:21 How can the Church-Turing thesis posit such things? 00:07:36 (posit is possibly the best verb in the world) 00:11:05 I am making the Haskell library for both input and output of DVI. It even does ligature and kerning. 00:16:40 -!- MoALTz has quit (Ping timeout: 250 seconds). 00:17:49 -!- NSQX has joined. 00:18:53 elliott, I was only trying to use a bot to edit the page about UniCode/fill in all Unicode characters in the table 00:19:15 I was not trying to make an edit using my bot to any other page. 00:19:32 -!- MoALTz has joined. 00:20:08 NSQX: A bot can have serious negative effects even if it's coded to only edit one page. 00:22:18 It's also a really bad thing for recent changes to be filled up with edits summarised only as "Wikipedia python library" when a bot's going wrong. 00:25:00 NSQX: "fill in all unicode characters"? why does the eso wiki need that? 00:26:42 NSQX: if you want a bot to do something, it'd be a better idea to run the bot locally (without it modifying the wiki in any way), review the changes, and then add a single change with whatever the bot did (if you think it did something good) 00:26:50 I think I might have fixed the problem - if I don't delete and re-create the Page object before running Page.get() a second, third, etc. time, page.get() will always return the data that was in the page when the Page object was created. http://pastebin.com/mefcu3EV 00:27:24 well, esolangs.org is not the appropriate environment to discover these bugs in your bot 00:27:28 NSQX: That makes one edit per character. 00:27:42 I agree with olsner that the best thing to do would be to generate the wikicode you want locally (through any means you wish), then copying that to the page. 00:27:51 The page about UniCode should show every unicode character and instruction in the table. 00:28:11 Having every Unicode character on a page wouldn't work, by the way. 00:28:21 It would be an astronomically large page and likely cause problems with browsers. 00:29:14 (Even just every Unicode character, with no additional wikicode arround it, is 100 kilobytes, way above the maximum size wiki pages can be without causing problems.) 00:31:01 http://esolangs.org/w/index.php?title=UniCode&action=edit&oldid=31630 (Restore this revision) 00:31:32 shachaf, I don't think it's exactly what I say 00:32:04 more like "when we synthesize new answers, let's do so in a persistent editable medium so we can combine and refine them, rather than just shouting them at each other" 00:32:19 kmc: Maybe your objection is less to syntehsizing and more to typing in answers of any kind to common questions in IRC. 00:32:25 maybe 00:32:37 NSQX: I don't think the table will mislead anyone as it is; it's less than a day until you'll be able to revert it yourself. 00:32:48 i mean i've seen the standard answers improve over ~6 years of lurking in #haskell on and off 00:32:59 so I would be loathe to institute a moratorium on new answers! 00:33:16 Now I know that trying to fill in all the unicode tables would increase the page size to almost 7MB 00:33:47 kmc: Have they improved as a result of people answering the same question? 00:34:01 Just one Unicode character added to the table doesn't increase the page size to 100KB. It increases the page size to 100-104 bytes. 00:34:08 kmc: I think it's more likely that they improved as a result of context/person-specific questions. 00:34:28 kmc: What I know is that people disagree about the answers, even questions that should have a proper answer people disagree, such as: data CoPh x; Does this make a monad? Does this make a comonad? I think it makes a comonad but not a monad; other people disagree 00:34:30 I doubt that someone suddenly came up with a better answer for "what is a monad?" the 500th time it was asked the same way. 00:35:13 NSQX: Well, I'm not exactly sure what your bot is designed to do, because you haven't told anyone. 00:35:16 shachaf: At least how I would say, is, you should first understand what is an endofunctor 00:36:24 NSQX: If it's just to add a line to the table on request to avoid retyping it, then wouldn't a MediaWiki template do just as well? 00:37:01 shachaf, not suddenly no 00:37:20 elliott, Do you think it would be at least better to split all the UniCode characters into subpages of [[UniCode]] and put them all in the wikitext as "{{:UniCode/TR1}} {{:UniCode/TR2}} ..."? 00:38:03 That would probably be worse, since it would result in tens to hundreds of pages. 00:38:10 again, what does unicode have to do with the eso wiki? unicode.org has everything you could ever want to know about it 00:38:26 NSQX: But I'm not really sure what you're trying to accomplish with the bot in the first place, like I said. 00:38:38 Well, what about every UniCode instruction? 00:38:53 What if you make subpages, Unicode/00xxx Unicode/01xxx ... Unicode/10xxx ? 00:39:23 Actually I think we need more than that... 00:39:37 isn't UniCode long dead anyway? 00:39:42 was it ever alive? 00:40:13 Unicode/000xxx Unicode/001xxx Unicode/002xxx .... Unicode/00Fxxx Unicode/010xxx ... Unicode/0F0xxx Unicode/100xxx I think that is the maximum one. 00:40:22 UniCode has 65536 characters, each one would be assigned to a UniCode instruction. 00:40:38 Some astral planes are private use so don't use those ones 00:40:49 And some code points are surrogates so don't use those either 00:40:52 Remember the Unicode characters and UniCode programming language instructions to think of. 00:41:05 NSQX: Incorrect. 00:41:09 Unicode has more than 110,000 characters. 00:41:16 It's been bigger than 16 bits for a long time now. 00:41:45 (Since 1996, in fact) 00:42:41 Furthmermore, a glyph consists of one or more codepoints. 00:42:45 Unicode only has 65536 characters. It's Unicode Big Endian which has more than 110,000 characters. Actually, most operating systems still only support ASCII, ANSI, and Unicode, not Unicode Big Endian. 00:42:52 NSQX: FAIL 00:43:14 what 00:43:33 Actually, Unicode Big Endian is only an encoding of Unicode, it is not a different Unicode. 00:43:34 "In 1996, a surrogate character mechanism was implemented in Unicode 2.0, so that Unicode was no longer restricted to 16 bits. This increased the Unicode codespace to over a million code points, which allowed for the encoding of many historic scripts (e.g. Egyptian Hieroglyphs) and thousands of rarely-used or obsolete characters that had not been anticipated as needing encoding." 00:43:43 "Unicode defines a codespace of 1,114,112 code points in the range 0hex to 10FFFFhex." 00:43:46 "big endian" isn't a single encoding either 00:43:54 itt: NSQX is wrong about unicode 00:44:21 NSQX: The latest Unicode standard contains 110,116 characters. 00:44:32 ah, the BIG ENDIAN unicode, biggest unicode yet 00:45:18 Doesn't Windows support astral planes these days? 00:45:21 I think GTK does. Does Qt still not yet? 00:45:22 big indian unicode http://unicode.org/charts/PDF/U0900.pdf 00:45:23 Incidentally, Unicode is not *itself* a character encoding, but rather a set of characters, with several encodings. 00:45:25 Even the C wchar_t only supports character codes up to 65536. 00:45:29 incorrect 00:45:29 elliott: Windows has for a decade now. 00:45:42 NSQX: wchar_t is of implementation-designed size, it can be as little as 8 bits 00:45:42 NSQX, wrong again, it's so on Windows but on UNIX it's usually 32 bits 00:45:59 Haskell specifies the Char is Unicode from 0hex to 10FFFFhex, but I think, Ibtlfmm shall go up to FFFFFFhex and the implementation is not required to be Unicode, it can use anything, as long as it is ASCII. 00:45:59 in about 5 years, I think most web browsers will even fully support astral planes 00:46:06 Well, let's just get on with planning the UniCode language instructions now. 00:46:14 NSQX, start by understanding Unicode? 00:46:31 NSQX: On Windows, wchar_t is a 16 bit type. However, it is typically used with UTF-16, which can encode all of Unicode. 00:46:44 which means one wchar_t isn't necessarily one character 00:46:51 (even setting aside combining characters) 00:46:57 (prior to Windows XP, it was more typically UCS-16, which encodes only the base multilingual plane) 00:47:19 can utif-8 also handle all of unicode? 00:47:20 zzo38, GHC also allows invalid Unicode characters like '\xD800'; I don't know if that's addressed in the spec 00:47:23 calamari: Yes. 00:47:24 calamari, yes 00:47:25 *utf-8 00:47:28 calamari: yes 00:47:31 utf-8 is a wonderfully designed encoding 00:47:38 UTF-8 actually has *much* more space than is necessary. 00:47:58 UTF-8 could in theory represent a 32-bit space. 00:48:51 kmc: I do know that; I have tried it. I don't know if the spec mentions that either. But I would make the new one, instead of being Unicode, it is simply 24-bits and all values are valid, and it does not matter what character set you use as long as it is ASCII. 00:49:09 any colour you want, as long as it's black 00:49:25 -!- pikhq_ has joined. 00:49:58 pikhq: I do know, UTF-8 can be used to encode numbers beyond Unicode (although if you do so, it will not make a valid Unicode text data) 00:50:19 zzo38: Yeah. NSQX does not. 00:50:55 elliott: That is not what I mean 00:51:07 I know :) 00:53:00 -!- pikhq has quit (Ping timeout: 276 seconds). 00:54:18 NSQX: BTW, every OS that's not hilariously archaic uses a Unicode transformation format, with everything else considered a legacy feature. 00:54:40 Unices on UTF-8, OS X on UTF-8, Windows on UTF-8 and UTF-16... 00:58:14 -!- NSQX has quit. 00:59:03 sigh 01:00:52 I will usually use ASCII; my feature for new computer and system, uses NK (8-bits encoding) internally, but FBUCE (which is 16-bits encoding, alhough character codes as 12-bits and the other 4-bits are used for other features) can also be used, as well as any other 8-bits encoding which can transform to FBUCE (NK also can transform to FBUCE). FBUCE has 512 control characters, and has some characters which are not part of Unicode, but does not h 01:02:30 I think Unicode should also define non-surrogate purposes of surrogate codes, such as to represent keystrokes which have no character code. They are not needed in text but can be used in a GHC Char and so on. 01:09:41 Why shouldn't it be allowed to use "data instance" where "type instance" is expected? 01:11:31 zzo38: You mean, instead of defining a data type on your own and then making a type synonym to it? 01:12:00 shachaf: Yes. 01:12:26 Seems like a reasonable thing to do. data instance and type instance are different things. 01:13:28 I know data instance and type instance are different things. But if you use "data instance" where "type instance" is expected (or "data" instead of "type" in a class instance declaration), it should be able to make up an anonymous datatype and use that. 01:38:04 Well, NSQX just evaded their block and vandalised my old user page. 01:38:31 I've lengthened their block to a week. I suspect it should be longer. 01:43:23 http://esolangs.org/wiki/User_talk:202.156.14.101 And there we go. 01:46:35 Jeeze. I... Think the lottery's jackpot went high enough that you can expect a slight profit from tickets. 01:46:54 pikhq_: Unlikely; see: 01:46:58 http://r6.ca/blog/20090522T015739Z.html 01:48:29 That is not to say that it overcomes the near-guarantee you'll lose your $1. 01:49:00 Well, the probabilities still even that out. The point is that the $1 is way, way too big unless you're super rich. 01:50:02 Still, $640 million payout with 1 in 175,711,536 odds of jackpot are fairly obscene. 01:50:47 (I should note that I've not gone out and paid anything, because 175,711,535 in 175,711,536 odds of losing $1 are not odds I like much) 01:52:03 Anyways. Yeah, I think the situation here is nearly the same as the linked one. 01:52:20 It's a pretty bad investment unless you've got several million already. 01:53:47 Still, it amuses me that it's theoretically possible to make a profit from lottery tickets. 01:54:10 Sorry, theoretically possible to *expect* a profit from them. 01:55:42 pikhq_: there was a post on reddit calculating that if you bought every possible ticket and didn't split the jackpot, you would earn $400M 01:56:11 that sounds non-trivial 01:57:04 coppro: Iff you get the annuity option, I assume. 01:57:25 And don't account for the income tax. 01:57:34 pikhq_: That was assuming 50% tax 01:57:40 Ah. 01:57:43 I think 01:57:54 http://i.imgur.com/DLwLF.jpg 01:57:59 I was wrong 01:58:01 only 70< 01:58:03 *70M 01:58:06 terrible 01:58:52 The figures are off the cash option payout. 01:59:08 Which... Is a bit silly. 01:59:22 Currently that's nearly $200 million that just up and disappears. 02:00:11 Admittedly, taking the annuity would mean there would be a few *years* before you profit. 02:00:29 How long would it take to buy all the tickets? :p 02:00:57 Dunno. How fast are the printers? 02:01:29 Not only it take a long time but it would cost a lot of money and energy too 02:02:04 zzo38: You can buy a large amount of tickets at a time. 02:02:23 Shops selling them have printers that generate them. 02:02:40 divide and conquer 02:02:47 you need 175 million tickets 02:03:01 Also, given the amount of money at hand you could probably pay people to help buy tickets. 02:03:13 or create a giant collective 02:03:29 True. A corporation could actually go out and do this. 02:03:42 "Lottery Winners, Inc." 02:03:45 hell, just pay the retailers to convince everyone buying tickets to get in on it :P 02:04:21 But you have to select which number you want, too; try to select the number that nobody else is going to select. 02:04:28 Now there's a business model. Buy in to lotteries with EV greater than the ticket. 02:04:43 zzo38: exactly 02:04:49 zzo38: convince every buyer to get in on it 02:05:08 zzo38: In the lottery scheme in question, tickets aren't *necessarily* unique. 02:05:20 you need 175 million tickets 02:05:21 Is that all? 02:05:26 I know that lotteries really don't like people gaming them, though. 02:05:34 they dont' mind 02:05:37 I suspect there's regulations to stop this kind of stuff at a way smaller scale. 02:05:40 what they care about is people thinking they can be gamed 02:05:41 elliott: Gaming them in this *particular* way is generally acceptable. 02:05:54 coppro: Fair enough. 02:06:02 This is not some unintended consequence, but rather a mere coincidence. 02:06:10 They don't really care if someone is secretly buying all the good scratchcards 02:06:24 people will buy the duds 02:06:35 so all they need to do is keep the secret from getting out 02:06:37 I should note that the jackpot only gets this high when there's been a few weeks of no jackpot being awarded. 02:06:52 So, even when each ticket has positive EV, they've made a profit. 02:13:06 I have invented a variant of video poker which can be played using scratch lottery cards 02:25:14 Going by the webserver logs, NSQX is still running that bot. I can't tell why. 02:28:46 Rules: Before discarding any cards, you must announce what number of cards you want to discard. However. after each discard, you can look at the replacement card before deciding which card you want to discard next. (But you are not allowed to discard the replacement cards.) 02:30:56 @time 02:30:57 Local time for elliott is Sat Mar 31 03:30:56 02:34:39 How much advantage does the player have in this variant of video poker? 02:36:09 (I have called this game "scratch poker") 02:52:43 @time 02:52:44 Local time for elliott is Sat Mar 31 03:52:43 02:52:51 @time 02:52:54 Local time for pikhq_ is Fri Mar 30 20:52:25 2012 02:53:13 elliott: When do you sleep? 02:53:14 you're time is wrong 02:53:30 pikhq_: uh probably like 4ish 02:53:47 ntpd says my time is right. 02:55:21 :'( 02:58:28 `addquote esolang a horror movie where the ghost just wanders around and moves newspapers and boots and family pictures a few inches before moving on 02:58:31 835) esolang a horror movie where the ghost just wanders around and moves newspapers and boots and family pictures a few inches before moving on 02:59:05 -!- Tiktalik has quit (Changing host). 02:59:06 -!- Tiktalik has joined. 03:26:24 -!- variable has changed nick to const. 03:35:40 -!- elliott has quit (Ping timeout: 260 seconds). 03:39:43 -!- MDude has quit (Ping timeout: 246 seconds). 03:51:38 -!- ion has quit (Ping timeout: 272 seconds). 03:57:24 -!- ion has joined. 04:00:04 Someone may eventually notice the movement, or notice that something is wrong even if they don't know what it is 04:05:26 -!- GhostHand has joined. 04:09:18 -!- Patashu has joined. 04:31:58 -!- itidus22 has changed nick to itidus21. 05:10:54 :P 05:10:59 :p 05:11:04 : 05:11:06 hi 05:15:11 HI 05:36:55 O, is that the ghost hand just wanters around and move everything just one inch? 05:36:59 Or not? 05:37:14 is that a ghost? 05:37:22 it very well may be that ghost 05:48:21 kmc: Sounds like the information you gave me about NYC pizza is outdated: http://www.nytimes.com/2012/03/31/nyregion/in-manhattan-pizza-war-price-of-slice-keeps-dropping.html?pagewanted=all 05:48:53 yeah i just heard about this 05:49:14 ...how did you hear about it? 05:49:47 The Internet. 05:50:25 i hear they have the internet on computers now 05:51:37 kmc: Yes, but that Internet tastes kind of mechanical. 06:03:58 -!- MoALTz_ has joined. 06:04:55 -!- Sgeo_ has joined. 06:06:44 -!- MoALTz has quit (Ping timeout: 245 seconds). 06:08:28 -!- MoALTz__ has joined. 06:11:41 -!- MoALTz_ has quit (Ping timeout: 260 seconds). 06:31:02 -!- calamari has left ("Leaving"). 06:33:36 -!- asiekierka has joined. 06:35:42 The Arimaa game room stores passwords in plaintext. Because fuck security, that's why. 06:40:54 ok 06:40:56 what is that 06:48:05 monqy, game designed to be easy for humans to learn and hard for computers to be good at 07:10:21 Can they implement Haskell Dynamic like that? data Dynamic where { Dynamic :: forall x. Typeable x => x -> Dynamic; }; castDyn :: Typeable x => Dynamic -> Maybe x; castDyn (Dynamic x) = cast x; 07:23:24 -!- MoALTz_ has joined. 07:25:12 -!- MoALTz__ has quit (Ping timeout: 244 seconds). 07:28:38 -!- Sgeo_ has quit (Ping timeout: 246 seconds). 07:45:43 -!- oerjan has joined. 07:52:15 that's totally taken out of context. <-- but very oklo. 07:52:16 oerjan: You have 1 new message. '/msg lambdabot @messages' to read it. 07:52:23 @messages 07:52:23 fizzie said 10h 37m 48s ago: Hey, we're winning -- but W|A thinks you will eventually crush us: http://www.wolframalpha.com/input/?i=%28population+of+finland%29%2F%28population+of+norway%29 07:54:09 Didn't they say many quotations here are put out of context? (Including when I am quoted too; not only you) 07:54:45 @tell fizzie Well we like passed 5 millions just this month, while much of Europe is (about to start|) _shrinking_... no idea if finland is. 07:54:45 Consider it noted. 07:55:12 zzo38: probably; your style is also very characteristic and therefore does not always need context. 07:56:26 i suppose those quotes would still be confusing to someone who isn't a channel regular. 07:56:53 Yes probably 08:23:10 oerjan: Well, our derivative of population did peak in 1945 (with 3.5 children/woman), then dropped to 1.5 in 1970s, then been stuck at 1.8 for the last three decades or so. There's a nice "population pyramid -> population weirdo-tower-thing" comparison graph midway down http://www.stat.fi/tup/suomi90/joulukuu_en.html 08:24:14 fizzie: norway is also slightly lower than replacement level, so we grow due to immigration. 08:26:42 The Statistics Finland folks do say we're still somewhat growing too, according to http://www.stat.fi/til/vaenn/2009/vaenn_2009_2009-09-30_tie_001_en.html 08:28:11 "According to the projection, the annual number of deaths will exceed births in 2034, but net immigration is forecast to sustain population growth even after this." 08:29:50 This is not a pipe http://zzo38computer.cjb.net/img_0F/screen0.png 08:30:09 This is not a pipe: | 08:33:14 http://www.ssb.no/en/folkfram/ says we may pass 6 million in 2028, which is a while before you 08:35:26 Do you like Jyte? http://jyte.com/profile/zzo38computer.cjb.net 08:36:06 fizzie: yes, that is a vertical bar. 08:36:19 ah wait 08:36:26 that is a *broken* pipe, i missed a gap 08:36:59 No, it's VERTICAL LINE. 08:36:59 * oerjan sees no gap 08:37:00 looks healthy to me 08:37:12 maybe your'e fonts broken 08:37:15 Sometimes it's gappy, sometimes it's not. It's certainly not BROKEN BAR. 08:38:07 ugh 08:38:39 both | and ¦ looks same for me... :( 08:38:41 look* 08:39:42 having more people is not winning. 08:39:51 Plain | is nasty that way, though I think the non-gappy versions are more popular. 08:39:52 it's the opposite of winning 08:39:58 ┆ is like doubly broken. 08:39:59 unwinning. 08:40:14 ununlosing 08:43:57 Can you more easily name 150 pokemons or 150 United States presidents? 08:45:47 i can name maybe like 2 us presidents 08:46:10 I wouldn't think anyone could name 150 US presidents. 08:46:17 They've had like fourty-something. 08:46:36 what 08:46:50 44 08:47:15 i had this feeling that they'd had ridiculously many 08:47:32 that they'd like been passing president coupons at some point 08:48:00 We've just got twelve, so we're even worse off. Unless having a lot of presidents is also not winning. 08:49:18 I don't even live in United States so I cannot name many US presidents either. 08:49:39 has _any_ country had 150 presidents. 08:50:04 i've heard of more than a half of us presidents :/ 08:50:29 Wow, if I W|A "president", it returns Finland's new one. I wonder if it geolocatimates or something. 08:51:13 fizzie: It appears to; when I enter things such as sunset and so on, it also uses my location. 08:51:18 -!- const has quit (Remote host closed the connection). 08:51:56 we'll know that variable has started learning haskell when he changes nick to TVar 08:52:02 zzo38: you really seem to like the sky, what's that about? 08:52:15 It seems to; if I try it from the United States, it returns that Osama dude. 08:53:00 * oerjan wonders if there is a conspiracy theory that osama and obama are the same person 08:53:28 oklofok: it's all my fault for making the agora horoscope 08:53:36 oerjan: Also Saddam. (Cf. Barack Hussein Obama II.) 08:53:44 ah. 08:54:11 oklofok: Have *you* ever looked at the sky, or do you stay inside all the time, in room with no windows? I occasionally go walk outside (and will see the moon, and Venus, and Mercury, and sun, and sometimes the stars); I do not stay inside all the time 08:55:33 I don't like seeing the sun 08:55:35 it hurts my eyes 08:56:25 i have a window but i always have my black curtains up. 08:56:27 Of course I do not look directly at the sun. It hurts my eyes too. And in the day time it is sometimes too bright sun, too. 08:56:58 on the other hand i love walking outside 08:57:43 My window also has curtains, to prevent glare, but they aren't black 08:58:56 also, why is there snow on the ground. 08:59:13 it's snowing here too :o 09:08:05 -!- Madoka-Kaname has quit (Ping timeout: 245 seconds). 09:11:35 Do you know what was Little Miss Muffet's given name? And her father's given name? (Without looking it up) 09:12:12 no. 09:12:49 Her name is Patience and her father's name is Thomas. 09:13:03 ok 09:14:45 -!- MoALTz_ has quit (Quit: brb). 09:15:00 -!- MoALTz has joined. 09:17:59 Do you like SVG or METAFONT or something else? 09:18:19 what's your favorite group? 09:18:38 zzo38: I like ice cream, when it's not too sweet. 09:19:00 currently A_4 09:19:16 what's it like? 09:19:21 i never really got to knwo ti 09:19:23 *know 09:20:12 iirc A_4 is the smallest counterexample to some stuff? 09:20:27 it's the largest alternative group which is solvable. 09:20:29 shachaf: No, I mean for vector drawing 09:20:48 you can draw vectors with ice cream 09:20:55 but they rarely come out straight 09:21:01 zzo38: What about a pencil? 09:21:15 and then it's just a big incomprehensible gay ice cream orgy just like in my dreams 09:21:24 that's why i don't paint 09:21:27 shachaf: I suppose you can use a pencil, and I use a pencil too; but I meant by computer 09:21:41 zzo38: The computer can't use a pencil? 09:22:01 oerjan: oh, i guess that's what i was thinking about actually 09:22:24 or you might be thinking of A_5 which is the smallest non-abelian simple group 09:23:22 Do you mean like a computer plotter? Once I had something with wheels that can control by computer using BASIC stamp, and I attached a pencil to it, to see if it would draw, but it didn't work 09:23:38 oerjan: oooh maybe 09:25:03 oklofok: which is related to why A_4 was the last group which was interesting - there's a theorem which says you can use any simple group to compute boolean circuits in polynomial time, but it's not known whether you can use a solvable group like A_4 09:25:06 so tell me about A_4, what do you do together? or are with her just because she's famous? 09:25:12 *which i found interesting 09:25:50 compute how? 09:25:56 or do you have a link 09:26:03 it's called barrington's theorem 09:28:29 http://rjlipton.wordpress.com/2009/03/02/barrington-gets-simple/ 09:34:08 if you try to use that method with a solvable group like A_4, you get into trouble with circuits that are deeper than the length of the group's derived group series. 09:35:01 which means you _can_ compute with A_4, but you have to turn your circuit into something like conjunctive or disjunctive normal form first, which gives exponential blowup 09:36:17 so err in particular you can use the two element group for this thing? 09:36:38 i'm still slowly reading that thing 09:36:51 no, the two element group is abelian. you cannot use an abelian group at all. 09:37:42 for the known prood, the group needs to be non-solvable 09:38:13 but any simple non-abelian? 09:38:40 in fact doing it with _any_ solvable group would prove the unknown (and not believed) equality of the ACC^0 and NC^1 complexity classes. 09:39:04 i think that article might mention that stuff, if not one of his other blog posts about it does. 09:39:15 yes, any simple group works. 09:39:48 and any non-solvable, which simple implies (in fact non-solvable == you can find a simple quotient of a subgroup) 09:40:03 but so i'm not sure i understand the model, is the idea that for every n, you choose some polynomially long chain of boxes, each of which gets one bit of input, and bounded information must flow from one box to the next? 09:40:06 *proof 09:40:17 yes. 09:40:24 okay cool 09:42:00 idgi, again you said "any simple group works", isn't the two-element group simple? 09:42:43 or are you just so completely restricting to non-abelians that that doesn't even need to be mentioned, since it's based on commutators 09:43:05 oklofok: eh i guess i am :P 09:43:17 simple non-abelian, right 09:43:54 alright, i'll continue reading, although i might not get this without the gory details since i don't know anything about groups 09:43:58 except that they exist 09:44:03 bah :P 09:45:43 so [G, G] means the set of all commutators, and in the non-abelian case it's nontrivial obviously and it's always normal for some simple reason, in the simple non-abelian case it's exactly G 09:45:56 now what's [G, H], is it something? 09:46:00 oh 09:46:07 sorry, that's a stupid question 09:46:27 hm... 09:46:27 [x, y] means the corresponding commutator, and [G, G] is just a lift thingie. 09:47:05 oklofok: actually that's not stupid at all, it's http://en.wikipedia.org/wiki/Central_series 09:47:49 my question was what [G, H] even _means_, not what kind of group it is. 09:47:59 oh right 09:48:01 (or set) 09:48:20 so it was stupid, i didn't quite recall that [x, y] is the commutator notation 09:48:24 [G,H] is the subgroup generated by the commutators ghg^-1h^1 09:48:33 because i read one letter at a time and then i come here to talk about it. 09:48:41 ah 09:50:00 btw a group which has a central series is called nilpotent, and iirc lipton mentions that it's known such a group _cannot_ be used for these computations. 09:52:20 the or gate thing seems to give an exponential blowup, is the solution that we have logaritmic depth? 09:52:22 and why 09:52:31 yes 09:53:04 it seems that you still have to put all of the gates in 09:53:10 oh... 09:53:25 but blowup only happens depth many times i guess 09:53:29 yep 09:53:44 do you know how and is done? oh wait. that's trivial. 09:53:50 hey this is fucking awesome :D 09:54:05 hmmmmm 09:54:37 ah yeah [G, G] = G so you can choose the value of an or gate to be anything in the false case 09:55:06 THIS IS SO COOL :dSADFADSAFDSAFDDFSDAFDAF 09:55:09 AKLSDJFLKAÖSJFLKAJSDÖLFKJAOEIWJFIJDC,XMV,.CMFDKLSFJSKLAMJ 09:55:27 FGSFDS. 09:55:55 STOP WITH THE FINNISH CODE 09:56:39 LKAÖSJFLKAJSDÖLFKJAOEKLSFJSKAKLSDJFLKAÖSJFLKAJSDÖLFKJAOEIWJFIJ 09:56:48 so i guess we've established that asdfjaklsdjfklasjdfl means extreme frustration and ADJFAÖWEIMVKDMFKLAMSDF means omg this is awesome. 09:56:50 HA HA HA. 09:56:58 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ 09:59:22 -!- hagb4rd has joined. 10:05:55 oerjan: but so does [G, H] have some nice meaning? 10:06:46 i don't know much about that beyond the central series i linked to 10:06:50 -!- cheater_ has quit (Ping timeout: 246 seconds). 10:06:51 [G, G] somehow captures the noncommutation in G, is there something similar you can say about [G, H] 10:06:52 okay 10:07:48 where somehow = (abelianizing by factoring = dividing [G, G] out) 10:08:04 yep 10:08:08 group theory is awesome 10:08:12 so awesome 10:08:19 WHY IS EVERYTHING SO AWESOME TODAY 10:08:51 alien nanobot invasion. 10:09:16 sounds likely 10:09:52 i wonder if there's still something to research in group theory 10:10:20 well i don't think the extension problem is really solved... 10:10:22 which is kind of silly i guess i find it trivial to find new questions about cellular automata and everyone says there's really nothing left there. 10:11:09 admittedly i know almost nothing about how much _has_ been done with it. 10:12:09 well none of the basic questions like this have been solved in symbolic dynamics either 10:12:11 erm 10:12:32 well except everything except conjugacy has been solved for SFT's i guess 10:12:38 -!- nortti has joined. 10:13:11 but i think factoring between sofic shifts of equal entropy hasn't been solved for instance 10:14:14 and the simple groups classification _has_ been solved - with what may have been the largest math cooperation ever 10:14:25 for simple objects, i guess this sort of categorical questions are usually either trivial or extremely hard 10:14:40 cool 10:15:04 The proof of the theorem consists of tens of thousands of pages in several hundred journal articles written by about 100 authors, published mostly between 1955 and 2004. 10:15:06 wow. 10:15:57 The completed proof of the classification was announced by Aschbacher (2004) after Aschbacher and Smith published a 1221 page proof for the missing quasithin case. 10:16:02 o_O 10:16:21 this is so awesome i'm almost crying 10:18:57 from 2006 on the Talk page: "Actually the proof of the uniqueness of the 26 sporadic groups is still a debated issue. For instance the uniqueness proof of the Thompson group is flawed, although a new proof of the uniqueness will be published in the coming months." 10:19:01 now i just wish i knew what groups of lie type were 10:19:09 oh 10:19:22 it's going to take a while because they're sure they've _really_ closed all gaps :P 10:19:27 *before 10:19:42 -!- zzo38 has quit (Remote host closed the connection). 10:19:59 and it's so huge that getting it through a theorem verifier seems impossible 10:20:15 -!- cheater_ has joined. 10:20:16 to have been a part of something like that would be just fucking incredible 10:20:26 *have been 10:20:49 probably something like that is going on in an early stage one could still jump into 10:21:08 heh Timwi is on the talk page 10:21:21 who's that 10:21:30 esolanger 10:21:45 oh cool :p 10:36:50 tl;dr kfc tasted good today. 2 everyone loves raymond episodes followed by 2 simpsons episodes followed by 2 futurama episodes = WHY IS EVERYTHING SO AWESOME TODAY yup 10:37:05 hi 10:37:06 * itidus21 shuffles away 10:37:11 bywe 10:37:15 hi 10:37:28 1 friends episode followed by another friends episode followed by goto 1 10:42:53 -!- Patashu has quit (Remote host closed the connection). 10:43:08 -!- Patashu has joined. 10:47:55 -!- oerjan has quit (Quit: leaving). 10:51:59 -!- hagb4rd has quit (Ping timeout: 246 seconds). 10:57:49 This would be a major result, since it would imply the famous (to group theorists at least) Odd Order Theorem of Walter Feit and John Thompson. They showed that any odd order group cannot be simple. 10:57:55 ??? 10:58:24 do bounded computation with groups theorists define groups as non-abelian groups? 11:12:00 -!- azaq23 has quit (Quit: Leaving.). 11:42:59 -!- Patashu has quit (Remote host closed the connection). 11:43:07 -!- Patashu has joined. 11:49:03 ponders whether there a correlation between the value of a mathematical notation and the presence of it on a keyboard 11:49:28 maybe it is more indicative of "common" operations 11:50:08 no no i'll stop.. 11:50:17 let the math..... proceed 11:54:17 -!- MoALTz_ has joined. 11:56:27 -!- MoALTz has quit (Ping timeout: 244 seconds). 12:03:41 -!- MoALTz_ has quit (Ping timeout: 244 seconds). 12:06:12 -!- MoALTz has joined. 12:09:19 crackpots are crazy 12:09:26 seriously 12:09:41 they should be called crachSTUPIDs 12:14:43 http://donblazys.com/01.pdf o_O 12:14:50 how do you not get the death penalty for this 12:20:59 hmm, found a backgrounded mplayer process in one of my shells... based on the contents it must've been there for months 12:27:27 -!- MoALTz has quit (Ping timeout: 244 seconds). 12:30:08 ooh, found a bug! my cond implementation was expecting exactly one expression for each condition 12:31:23 and when that match failed, it continued on to treat conds as applying a function 'cond' to some subexpressions, explaining why something was trying to use t as a function 12:33:46 -!- hagb4rd has joined. 12:37:29 it might've helped if I knew more about this "lisp" thing before trying to write a compiler :> 12:42:41 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 12:49:13 -!- elliott has joined. 12:52:44 -!- hagb4rd has quit (Ping timeout: 246 seconds). 13:01:58 -!- MoALTz has joined. 13:05:44 -!- Patashu has joined. 13:10:41 66.249.66.201 - - [31/Mar/2012:06:55:54 +0000] "GET /wiki/Human_And_Animal_Relationships HTTP/1.1" 302 161 "-" "Mozilla/5.0 (compatible; Googlebot/2.1; +http://www.google.com/bot.html)" 13:10:42 Googlebot... 13:11:24 81.170.237.250 - - [31/Mar/2012:06:56:38 +0000] "GET /wiki/Brainfuck HTTP/1.1" 200 14619 "http://bytesizebio.net/index.php/2011/11/06/brainfk-while-waiting-for-a-flight/" "Mozilla/5.0 (compatible; MSIE 9.0; Windows NT 6.1; WOW64; Trident/5.0; NP06)" 13:11:24 wHAT 13:11:42 "Having arrived almost 3 hours early to JFK, flying back to Cincinnati, I spent the time coding up a Python script which inputs a string and outputs a Brainfuck source code which, when run with a Brainfuck interpreter, outputs said string." 13:11:50 ok that's much less horrifying than i was expecting 13:28:28 -!- derdon has joined. 13:43:34 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 13:44:17 heh, the SICP page has links to download MIT Scheme for "Windows NT 4.0, Windows 95, and Linux (RedHat)" 13:45:21 :D 13:45:27 is it .rpm package? 13:47:06 olsner: Awesome 13:48:25 though the page that links to is actually just http://www.gnu.org/software/mit-scheme/ 13:49:37 :D 13:51:24 -!- Taneb has joined. 13:51:39 Helloi! 13:51:46 s/i!/!/ 13:51:56 hi 13:52:47 hi 13:56:56 -!- Slereah_ has joined. 13:57:05 -!- Slereah has quit (Ping timeout: 260 seconds). 13:57:25 -!- asiekierka has quit (Ping timeout: 260 seconds). 14:02:00 -!- Ngevd has joined. 14:02:13 taneb 14:02:14 no 14:02:17 there must only be one of you at a time 14:02:19 two 14:02:20 is too much 14:03:08 Ngevd: invite hovercraft over will you 14:03:24 -!- Taneb has quit (Ping timeout: 250 seconds). 14:04:39 -!- Ngevd has quit (Read error: Connection reset by peer). 14:08:25 rip 14:08:26 taneb and ngevd 14:08:30 killed by duplicator accident 14:15:31 -!- MDude has joined. 14:42:35 -!- NSQX has joined. 14:43:12 HAI 14:43:20 hi 14:43:30 HAI CODE 14:43:34 hi 14:43:38 CAN HAZ STDIO? 14:43:41 bo 14:43:42 no 14:43:48 AWSUM THX 14:43:56 CAN HAZ STDLIB? 14:44:03 AWSUM THX 14:44:06 -!- MoALTz has quit (Quit: brb). 14:44:14 CAN HAZ WINDBLOZE? 14:44:20 O NOES 14:44:32 KTHXBAI 14:44:37 what are you doing? 14:44:37 BAI CODE 14:45:07 HAI 14:45:12 HAI HAI 14:45:20 CAN HAZ STDIO? 14:45:41 VISIBLE "HAI WORLD!" 14:45:49 HAI WORLD! 14:46:03 KTHXBYE 14:46:14 BYE HAI 14:46:35 what was that 14:47:32 please stop flooding the channel 14:49:22 A good debugger for LOLCODE would be like the pretend conversation above, where the interpreter speaks the lol-debug information in the conversation and there is also three other lolcats named "STDIN", "STDOUT", and "STDERR". 14:50:11 that would be damn neat 14:50:19 oh dear shit that would be neat 14:52:12 -!- MoALTz has joined. 14:53:14 What about an IRC channel where your nickname can either be "LOL*" to be treated as a lolcat typing LOLCODE for the server's interpreter or "IN*" to be treated as a standard input stream? 14:53:35 NSQX: why did you circumvent your block? 14:53:46 wow way to change the topic elliott!!! 14:54:08 but yeah why 14:54:18 -!- asiekierka has joined. 14:55:00 Well, it could be something like #IRP 14:55:07 -!- NSQX has left. 14:55:18 diabolical 14:57:42 Meanwhile in #irp: 14:57:44 irp -c "Type the lyrics of '99 bottles of beer on the wall 14:57:44 ''" 14:58:00 is it just you and him 14:58:05 irp: 99 bottles of beer on the wall. 14:58:05 irp: 99 bottles of beer on the wall. 14:58:05 irp: Take one down and pass it around 14:58:08 irp: 98 bottles of beer on the wall. 14:58:11 monqy: no #irp is always full of people 14:58:40 [...] irp -c "Kill the irp program" 14:58:44 irp: No, the system failed. 14:58:45 exciting 14:59:08 is nsqx actually a collective 15:00:35 irp -c "Kick me from #IRP" 15:00:35 * NSQX has quit () 15:01:19 bye nsqx 15:03:23 nice, my test suite now also passes when run with a compiled version of the metacircular evaluator from SICP 15:03:53 i'm glad olsner is having fun 15:04:30 with a few more primitives I should be able to run the metacircular evaluator in itself too 15:04:39 nsqx also seemed to be having fun, coincidence?????? 15:04:54 dammit, so olsner is nsqx after all 15:05:27 I am? :S 15:05:35 I don't want to be nsqx! 15:06:46 elliott: anyway, all I need now is a C++ compiler written in Scheme to make a neat little loop 15:07:54 shouldn't be too difficult 15:08:35 nah, I don't need everything in C++ either 15:09:05 You can start with that implementation of C in Lisp. 15:10:04 RocketJSquirrel: I'm sure porting a compiler for an unconventional 80s architecture to another, very-dissimilar language and another, very-dissimilar architecture will be trivial. 15:10:12 Also incrementing the C. 15:10:16 That will be the easiest part. 15:10:19 Yup 15:10:25 Sounds like a two-hour kinda project. 15:10:38 1. take C, 2. add templates, 3. lisp compiler 15:12:12 (btw, the compiled REPL binary is 22MB) 15:12:59 can i see your compiler 15:13:04 is it still in c++ templates 15:14:14 Speaking of, why isn't the IOCCC code out yet X-D 15:15:14 elliott: yes, it's a template class that takes some combination of cons and symbol etc, then has a member function run(env) that runs that lisp expression 15:16:29 also a python script that reads s-expressions and outputs them as types 15:19:10 it's quite stupid though, so almost everything ends up boxing primitive functions then unboxing them to call them 15:19:13 and variable lookup is done at runtime with an associative list rather than doing frame layout at compile time 15:19:46 olsner: oh, you probably can do a lot better than that 15:19:52 olsner: with enough constexpr you can process strings with templates 15:19:58 so you should be able to port the parser to C++ templates, fairly easily 15:20:09 c++11 only ofc though 15:20:29 it's already c++11 anyway 15:57:24 im already c++11 16:06:19 olsner: NOOOOOOOOOOOOOOOOOOOOOOOOO 16:10:24 i posit it that being a polymath is a prerequisite for discovering/inventing calculus 16:10:44 i couldn't be more off topic though 16:11:06 hi 16:11:49 << says the person who doesn't know calculus, and hasn't read a single nachlass 16:18:27 http://maps.google.com/?t=8&utm_campaign=8bit&utm_source=yt ok this is legitimately awesome 16:18:29 it even does street view 16:18:40 :o 16:18:48 shivers 16:19:09 but maybe i was already cold 16:24:02 -!- GhostHand has quit (Quit: Leaving). 16:25:08 one day wars will be fought with an rpg interface 16:26:02 mumbles boringly 16:26:30 how do you know this 16:26:33 are you from the future 16:26:43 teach me your future ways 16:27:41 -!- Madoka-Kaname has joined. 16:36:16 -!- monqy has quit (Quit: hello). 16:38:20 -!- hagb4rd has joined. 16:39:18 humm 16:39:24 no i simply lied 16:39:35 its nearly same effect as time travel 16:41:07 -!- MSleep has joined. 16:45:16 -!- MDude has quit (Ping timeout: 276 seconds). 16:53:56 -!- Tiktalik has changed nick to Gonetalik. 17:12:46 -!- Frooxius_ has joined. 17:13:27 "Sad But True: We Can't Prove When Super Mario Bros. Came Out" 17:14:14 -!- Frooxius has quit (Ping timeout: 245 seconds). 17:14:27 -!- Frooxius_ has changed nick to Frooxius. 17:17:58 elliott: lolwut 17:18:57 http://www.gamasutra.com/view/feature/167392/sad_but_true_we_cant_prove_when_.php 17:26:46 -!- asiekierka has quit (Remote host closed the connection). 17:37:51 [[ 17:37:52 I noticed on page Db-g7 that there was a deletion tag. I would like to vote against this tag, as I believe it sort of violates Assume good faith. I also believe the template is very useful. These matters seem important to discuss. 17:37:52 Walex03. Talking, working, friending. 20:06, 22 March 2012 (UTC) 17:37:53 ]] 17:38:04 (db-g7 is a template containing a deletion tag to be put on other articles.) 18:10:06 -!- Gonetalik has changed nick to Tiktalik. 18:14:04 -!- MSleep has changed nick to MDude. 18:36:05 -!- hagb4rd has quit (Ping timeout: 246 seconds). 18:36:28 -!- hagb4rd has joined. 19:11:25 -!- Taneb has joined. 19:11:30 Hello! 19:11:37 Also, dammit elliott! 19:18:48 what 19:19:02 Wikipedia. 19:19:19 what about it 19:19:26 You linked to it. 19:19:32 where 19:19:33 Thus causing me to click the link. 19:19:33 oh! 19:19:35 on esolang 19:19:36 ok 19:19:39 well 19:19:41 be more careful! 19:20:00 Taneb: i take it you've seen NSQX's diabolical block evasion, then 19:20:13 (is it bad that when you're being tricky I don't fall for it, but TWICE I've fell for unobfuscated links?) 19:20:14 Yes 19:20:25 Truly he is a master of trickery 19:20:33 it seems he is determined to flat-out ignore me when i ask him why he did it on IRC, so i predict an unhappy ending to this saga 19:20:37 Taneb: And yes, that's bad. 19:20:42 You lose Lent. 19:20:46 It reminds me of that time that sock puppeteer ended up on the IWC forums 19:23:17 go on 19:23:36 I hadn't thought of an interesting story 19:24:00 There was just some blatant sock-puppetry to do with some unlicensed translations of Darths and Droids on a commercial website 19:24:25 diabolical 19:24:37 Anyway 19:24:50 maybe he just doesn't like me 19:24:59 i assign the job of asking him why he circumvented his block next time he comes in to... Taneb 19:25:07 Yay! 19:25:57 you're not meant to say yay! 19:26:16 I can say "Yay!" whenever I like. 19:26:49 i can say "yay" whenever anyone likes 19:27:06 i can't say "yay" 19:27:22 elliott has a speech impediment. 19:27:39 what an explody house this is 19:28:08 -!- Taneb has quit (Read error: Connection reset by peer). 19:28:13 -!- Deewiant_ has joined. 19:28:49 -!- Deewiant has quit (Ping timeout: 245 seconds). 19:29:41 -!- Taneb has joined. 19:30:10 Sorry, my house exploded 19:30:42 it happens 19:30:59 -!- Taneb has quit (Read error: Connection reset by peer). 19:32:27 oh no 19:40:12 -!- variable has joined. 19:40:12 -!- Deewiant_ has quit (Ping timeout: 260 seconds). 19:45:57 -!- Deewiant has joined. 20:07:18 -!- pikhq has joined. 20:07:44 -!- pikhq_ has quit (Ping timeout: 248 seconds). 20:13:43 happy australian mailman mailing list memberships reminder day 20:17:50 -!- pikhq has quit (Ping timeout: 260 seconds). 20:28:10 can someone explain drive-ins to me 20:29:14 you drive in and then you shoot everyone. 20:29:40 no wait sorry i always confuse those two 20:29:55 that's why they don't let me into the local ganster dude league anymore. 20:30:01 because i just keep buying them burgers 20:30:35 no the kind where they show films 20:31:14 those exist? 20:32:26 yes 20:32:30 cool 20:32:34 http://en.wikipedia.org/wiki/Drive-in_theater 20:32:38 can someone explain drive-ins to me 20:32:45 thank you 20:32:45 -!- pikhq has joined. 20:32:48 that was fast 20:33:17 i've seen those on the simpsons and stuff but i assumed they just existed in like america and other made-up countries 20:36:08 -!- hagb4rd has quit (Ping timeout: 246 seconds). 20:39:02 well they don't exist here 20:39:04 that i know of 20:39:49 finland doesn't have them, i just checked 20:40:36 well i checked a statistically significant portion of my house at least 20:51:38 -!- calamari has joined. 20:55:00 -!- zzo38 has joined. 20:56:39 What is #25 in "unblocked #25 (remove autoblock block evasion to fix config. issue)"? 20:56:52 zzo38: The number of the autoblock. 20:57:00 zzo38: Autoblock IPs are hidden (even from admins/crats) for privacy reasons. 20:57:15 (An autoblock just means that whenever a blocked user accesses the wiki from an IP, that IP gets blocked too.) 20:57:41 The autoblock still had the previous incorrect settings (banning talk page editing) due to the configuration issue, even though I fixed the main block, so I just removed it. 21:07:12 -!- ais523 has joined. 21:07:34 http://esolangs.org/w/index.php?title=Talk:Var%27aq&diff=31646&oldid=8256 21:08:18 elliott: bleh, this is a bad time for me to sort it out 21:08:18 ais523: You have 1 new message. '/msg lambdabot @messages' to read it. 21:08:22 but I'll look at it april 2 21:08:23 @messages 21:08:23 elliott said 1d 5h 20m 22s ago: Please check your MemoServ messages with /msg MemoServ read new, thanks! 21:08:32 heh, I check MemoServ messages /before/ lambdabot messages 21:08:41 heh 21:08:50 ais523: well, I don't really need you to do anything 21:09:10 ais523: just know what's happened and let me know if you think the response needs changing 21:09:10 this should probably go in /msg, though 21:09:18 yep, or nowhere 21:09:27 In here is March 31 21:09:29 I'll msg you when I'm ready to look at it, probably tomorrow or the day after 21:09:32 for now, AceHack 21:09:39 OK 21:10:59 yay an article with tables waiting to be wikitabled 21:11:08 thanks, 70.66.134.212! 21:11:53 oh, it's in html table syntax :( never mind 21:13:41 hm? 21:13:50 Sgeo: "hm?"? 21:14:04 I should just check RecentChanges 21:14:10 So I have an idea what you're talking about 21:15:17 I have no idea what you're talking about, I don't see any table syntax 21:15:56 [[object-disoriented]] 21:15:59 s/-/ / 21:16:50 What was the thing about waiting to be wikitabled? 21:18:08 [[object disoriented]] 21:19:52 How is that waiting to be wikitabled or confused for waiting to be wikitabled? What does waiting to be wikitabled mean? I'd assume converted from blah to MediaWiki tables, but your next statements suggest not. 21:19:53 does that help 21:19:57 oh 21:20:00 Sgeo: class="wikitable" 21:20:03 it makse them the not uglies 21:20:04 -!- derdon has quit (Remote host closed the connection). 21:20:07 Ah 21:20:09 but then they looked weird without ths 21:20:15 but i didnt want to add ths because theyre in html syntax 21:20:18 so i just cried instead 21:20:50 Ah 21:20:51 ths? 21:21:59 -!- MSleep has joined. 21:22:30 s 21:22:34 table headings 21:25:25 -!- MDude has quit (Ping timeout: 276 seconds). 21:28:16 Ah 21:45:11 -!- monqy has joined. 21:48:51 hi monqy 21:49:23 hi 21:49:44 * pikhq notes that OpenGL sucks 21:53:47 -!- Deewiant has quit (Ping timeout: 260 seconds). 21:54:22 pikhq: Then use Direct3D 21:56:03 pikhq: in what way? 22:03:20 -!- Deewiant has joined. 22:12:54 hey, and it's far from finished or polished yet, but it works: https://gitorious.org/nitrohack/ais523/blobs/raw/7b5711e6232fbb0949452555a3db6b33bd585824/aimake 22:12:58 aimake is no longer vaporware! 22:13:10 ais523: The API is really poorly designed. 22:13:11 I'm not sure if it counts as eso or not 22:13:15 pikhq: which? 22:13:48 ais523: OpenGL. 22:13:57 pikhq: which OpenGL API? 22:13:57 -!- MSleep has changed nick to MDude. 22:14:07 the old outdated functions you aren't meant to use any more, or the VBO-and-shader stuff? 22:14:51 ah, another unreadable multi-thousand-line ais source fil 22:14:51 e 22:14:53 Whatever the fuck I'm using. 22:15:03 also one that inexplicably breaks vim's syntax highlighting 22:15:06 elliott: it's a single file for a reason 22:15:13 ais523: you say that every time 22:15:24 and I've been editing it in Kate, which is the only program I've found that's capable of actually handling the syntax highlighting 22:15:30 The one where it's 30 lines of code to just draw a single surface with a texture on it. 22:15:31 and even then, I had to go back to 5.78 syntax 22:15:35 I wasn't even trying to be awkward! 22:15:58 pikhq: if you're drawing one surface at a time, you're doing it wrong (because GPUs can't do that efficiently) 22:16:08 ais523: I'm only drawing one surface. 22:16:27 then possibly OpenGL is the wrong thing to be using 22:16:53 ais523: your advice is helpful like my advice is 22:16:56 It is the only well-supported way of drawing 2D graphics with vsync on X. 22:17:01 Literally the only one. 22:17:17 ouch, wow 22:17:25 pikhq: What about that Xv thing? 22:17:30 elliott: "Well-supported". 22:17:46 where is xv not supported? 22:17:54 wfm, must wfeveryone 22:17:56 elliott: Xv varies from perfectly reasonable *if* you're in YUV, or completely borken, depending on your driver. 22:18:16 "About 600 deaths have occurred in the Grand Canyon since the 1870s." whoa, that's all? 22:18:50 The proprietary Radeon drivers, for instance, don't do vsync, and convert from YUV to RGB wrong. 22:19:22 (Xv only really works on YUV colorspace framebuffers; it's theoretically capable of handling RGB, but most drivers don't support this) 22:19:29 http://www.reddit.com/r/programming/comments/782mt/numbers_that_cannot_be_computed_by_a_program/c05xjqb 22:19:32 what 2d thing are you drawing anyway 22:19:42 Sgeo: will i regret clicking that link? 22:19:45 I'm just drawing a 320x240 framebuffer out of a VM. 22:19:54 elliott: I'll check it for you 22:20:03 yes 22:20:07 And it will tear unless I use OpenGL. 22:20:13 Because X sucks. 22:20:14 ais523: thanks, I'll click it then 22:20:26 elliott, do you regret arguments that involve someone incredibly thick? 22:20:29 that way, I can blame Sgeo 22:21:07 Sgeo: well, you see, when i want stupidity i go to, e.g. reddit and click the comment links 22:21:09 [–]andreasvc 0 points 3 years ago 22:21:09 The integers are not all computable. What you say amounts to offering a haystack when someone asks for a needle. A number is computable if there can be a finite program which can calculate the nth digit of that number, given n. This doesn't go for the busy beaver numbers, since the halting problem is undecidable. 22:21:18 #esoteric links i generally click in the hopes that they're not stupid 22:21:25 i would be totally disappointed if i found intelligent discussion on reddit 22:21:28 and vice versa 22:21:32 oh, I see 22:21:36 why are these people allowed on my internet 22:21:45 elliott: so opinion on aimake? 22:21:49 apart from the coding style? 22:21:51 oklopol: But... That... Gah 22:21:55 Kate's autoindentor is a little broken 22:22:00 and its block collapser is worse 22:22:07 ais523: there's no way i'm going to read it, but i might throw it at some C programs to prove how useless it is 22:22:18 note: after editing aimake in Kate for a few hours, the cursor starts going backwards 22:22:21 and I haven't found a fix for this 22:22:24 the fucking busy beaver numbers 22:22:41 I think SDL might be pretty well supported, but from what I've read, I'm not sure if it's that great, since it doesn't have functions for pushing individual pixels. 22:22:41 (i.e. typing a letter puts the cursor before the letter, backspace still deletes leftwards, left and right don't really do anything sensible) 22:22:50 "It is trivial to write a program that computes 6 to the nth digit." "No, there's not even an algorithm for it. If you come up with one you would have solved the halting problem." 22:22:50 MDude: It tears. 22:22:54 MDude: Because X sucks. 22:22:55 6: the impossible number 22:23:04 And also a lot of things I look up relating to it presume you want to use it with SDL. 22:23:05 MDude: it has pointers for pushing individual pixels 22:23:18 elliott: I don't see how you can figure out the nth digit of 6 without knowing what n is 22:23:21 unless you have multiple attempts 22:23:22 pushing individual picturse is terrible, though 22:23:51 *pixels 22:23:54 -!- augur has quit (Remote host closed the connection). 22:23:55 picturse, pixels, what's the difference 22:24:14 i fucking hate this andreasvc guy 22:24:55 That's true, I guess it's more that the tutorial I was reading is about 2D stuff, and then alter I remembered I wanted ot make a 3D thing. 22:25:11 SDL is useful as a windowing/input library though 22:25:15 you can use it with opengl 22:25:17 they both suck, naturally 22:25:19 Which I do. 22:25:26 They suck, but it functions. 22:25:33 pikhq: you didn't answer my q tho :'( 22:25:37 elliott: Which? 22:25:37 I happen to like SDL 22:25:50 zzo38: Never done audio in it I see. :) 22:25:57 I have done audio in SDL. 22:26:09 Then you are a masochist. 22:26:19 Are you sure? 22:26:25 Quite. 22:26:29 OK 22:26:46 It's harder and less capable than OSS. Therefore it sucks. 22:26:48 pikhq: oh i didn't ask it i guess 22:26:52 i was asking what 2d thing you are drawing 22:27:07 16:19 < pikhq> I'm just drawing a 320x240 framebuffer out of a VM. 22:27:12 oh i did ask it! 22:27:15 and you answered it 22:27:16 i'm so wrong today 22:27:19 Sgeo: why the fuck are you reading 3-year-old discussions on reddit 22:27:25 i only just now noticed those timestamps 22:27:42 pikhq: what vm? 22:27:58 https://github.com/pikhq/cmako 22:28:00 @time 22:28:01 Local time for elliott is Sat Mar 31 23:27:59 22:28:12 Here is a program using SDL with audio: http://zzo38computer.cjb.net/prog/BytePusher/BytePusher.w I happen to like the way audio is done in SDL, even if you dislike it. 22:28:13 elliott: andreasvc's crime will never expire. 22:28:14 good, i can still be annoyed at april fools jokes being premature for another 33 minutes 22:28:17 An implementation of https://github.com/JohnEarnest/Mako 22:28:45 more like: crappo 22:28:48 thanks for the opportunity 22:29:31 elliott, the article was linked on Fark, and the article linked to the discussion 22:29:41 http://www.fark.com/comments/7025689/ConsoleWrite0-while-true-ConsoleWrite142857 22:29:42 ah, another ill of the world i can blame on fark 22:31:06 ais523: have you seen Google Maps' april 1st thing? it's very good 22:31:08 The other two implementations of BytePusher are using Allegro, which many people prefer. 22:31:50 elliott: no 22:32:00 ais523: do you want to? 22:32:01 I probably won't look at it, but will probably read the coverage of it in the news afterwards 22:32:21 always living on the edge, eh 22:33:04 I'm confused. Can any real number be described by an infinite number of digits? 22:33:22 * Sgeo thinks a bit more 22:33:49 yes 22:33:54 no, some of them have infinity plus one 22:33:57 I would think it can be 22:34:28 Sgeo: yes, cardinalities of the reals and of infinite strings of elements drawn from a finite alphabet are both aleph-one 22:35:21 Is my third comment http://www.fark.com/comments/7025689/ConsoleWrite0-while-true-ConsoleWrite142857 correct? 22:35:32 "I think I got it. There exist numbers which cannot be fit into any finite representation, no matter how many (finite number) of bits are in the representation." 22:35:47 wut 22:36:05 I was incompetently replying to someone 22:36:09 I'm not going to bother clicking 22:36:12 wait did Sgeo not know the reals were uncountable before today 22:36:13 or 22:36:25 as oklofok would say, even i know that 22:36:37 even i know that 22:36:39 elliott, I brainfarted on whether reals could be described with an infinite number of digits 22:37:08 elliott: they're exactly uncountable, they're no more than uncountable 22:37:15 well, hmm 22:37:23 what 22:37:23 actually that's undecidable 22:37:27 ignore me 22:37:33 what 22:37:42 I just noted who wrote the article in the first place. 22:37:45 The Robozzle guy! 22:37:51 -!- Nisstyre has quit (Read error: Connection reset by peer). 22:37:51 Sgeo: i meant "There exist numbers which cannot be fit into any finite representation, no matter how many (finite number) of bits are in the representation."" 22:38:01 aka "the reals aren't countable" 22:38:33 Ok 22:40:14 -!- Nisstyre has joined. 22:45:09 $ find . -name '*.aimk' -or -name 'aimake.config' | xargs wc -l | xargs echo 22:45:10 3 ./executables.aimk 55 ./aimake.config 7 ./libnethack/util/makedefs.aimk 20 ./libnethack/dat/datafiles.aimk 85 total 22:45:23 and most of them are newlines to make it more readable, or comments 22:45:40 $ find . -name 'CMakeLists.txt' | xargs wc -l | xargs echo 22:45:41 50 ./nethack_server/CMakeLists.txt 106 ./nethack/CMakeLists.txt 70 ./CMakeLists.txt 34 ./libnethack_client/CMakeLists.txt 18 ./libnethack/CMakeLists.txt 111 ./libnethack/util/CMakeLists.txt 45 ./libnethack/src/CMakeLists.txt 118 ./libnethack/dat/CMakeLists.txt 552 total 22:45:43 no contest :) 22:46:45 ais523: Those CMakeLists files won't stop working when aimake changes its heuristics. 22:47:40 I /think/ I fixed that now :) 22:48:07 (before the success or fail of a build sometimes depended on hashtable ordering) 22:48:19 (still does if you have an exact tie, but you can disambig in the config file now) 22:49:46 -!- Nisstyre has quit (Quit: Leaving). 22:53:21 -!- Nisstyre has joined. 22:54:18 I think "ugh" adequately summarises my feelings. 22:56:46 http://www.reddit.com/r/haskell/comments/rmw1d/sometimes_it_is_hard/ 22:56:47 KILL 22:56:49 FUCKING KILL 22:56:50 MURDER 22:56:50 DIE 22:56:51 DEATH 22:56:53 FAMINE 22:56:53 WAR 22:56:55 HELL 22:57:13 BURN 22:57:17 hi 23:11:29 -!- Patashu has joined. 23:12:23 im, not going to read that 23:14:15 its a meme image 23:17:53 -!- nortti has quit (Quit: ChatZilla 0.9.88.1 [Firefox 11.0/20120312200651]). 23:19:53 im, not going to read that 23:22:14 :') 23:22:37 -!- Phantom_Hoover has joined. 23:22:50 hi Phantom_Hoover 23:23:12 Ohhhh, mk is that guy who just wanted to learn monads, not Haskell. 23:23:14 I'm only going to be here for like 10 minutes. 23:23:15 Phantom_Hoover: You have 10 new messages. '/msg lambdabot @messages' to read them. 23:23:17 That explains why he's stupid. 23:23:21 Phantom_Hoover: ONE MESSAGE PER MINUTE 23:25:32 -!- augur has joined. 23:27:07 elliott: they are useful in other languages sometimes… 23:27:21 ais523: You had to be there, man. 23:27:28 ais523: Also, that doesn't mean you should ask #haskell about it. 23:27:52 I wasn't planning to 23:28:07 Good. 23:28:13 Then I won't call you stupid in #esoteric. 23:28:21 RocketJSquirrel: About that robots.txt... 23:29:19 elliott: wow, I think I can scam that statement, you forgot to put a time limitation on it 23:29:29 elliott: Right now if I search for 'elliott esoteric haskell' on Google, the logs aren't in the first page. 23:29:29 Therefore noöne will see them. 23:29:55 meh, I will search for them with locate 23:30:27 RocketJSquirrel: I'll just start up my blog, Esoteric Haskell with Elliott Hird. 23:30:29 gah, /far/ too many results 23:30:41 it interpreted it as an or 23:30:52 and so many things on my computer are named esoteric, haskell, or elliott somewhere in their path 23:31:11 $ locate "elliott esoteric haskell" 23:31:12 ah, there we go 23:31:14 no results 23:31:17 your secret is safe! 23:31:33 @where shachaf 23:31:33 I know little about shachaf. 23:31:40 and so many things on my computer are named esoteric, haskell, or elliott somewhere in their path 23:31:42 Mostly "elliott". 23:31:47 /shrines/elliott 23:31:52 mostly the other two, it turns out 23:31:57 there's a /home/ais523/annoy-ehird 23:32:02 I forget what it contains nowadays 23:32:08 and don't really want to look, as it'd be less funny if I found out 23:32:12 but that's "ehird", not "elliott" 23:32:19 * elliott wants to know what's in it now. 23:32:25 Phantom_Hoover: @here 23:32:55 -!- augur has quit (Remote host closed the connection). 23:34:34 shachaf, in, america 23:34:35 ? 23:34:46 Phantom_Hoover: North America. 23:39:18 what 23:39:24 adblock 23:39:32 now displays pictures of cats 23:39:34 instead of ads 23:39:35 oh 23:39:36 of course 23:39:40 april 'fules' 23:40:03 -!- augur has joined. 23:40:05 Phantom_Hoover: i would install that though? 23:40:18 I mean, it'd be better than adblock. 23:59:27 -!- augur has quit (Remote host closed the connection). 23:59:46 bleh, there's no command to reorder virtual desktops in gnome 2 + compiz, is there? 23:59:51 I have them in the wrong order