< 1272672034 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :ACTION huggles his vim < 1272672047 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :So I can't get ffplay to work on the IREX, and I don't know why :( < 1272672138 0 :FireFly!unknown@unknown.invalid QUIT :Quit: Hey! Listen! < 1272672140 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :(Ignoring the fact that it's ridiculous to run it there ;) ) < 1272672275 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :hmmm, Parrot's Brainf*** bench.b doesn't seem worthy of the name, doesn't do much (prints 'Z'..'A') < 1272672560 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :and the "QuickBasic" [sic] thing is a compiler only but seems somewhat reasonable (if the README is to be believed) < 1272672625 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :it has Wumpus, for example ;-) < 1272672720 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :huh, "Befunge" Parrot maintainer is Quelin, go figure < 1272672856 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Anyone ever wondered what the worst poem ever would look like? < 1272672870 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Lo, for I have penned a travesty on the topic of emacs and vi: http://pastie.org/941004.txt?key=3p1yec1kcynj1rblir8a < 1272672896 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It actually took effort to write that badly. < 1272672930 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Especially rhyming repent with vio-lent. < 1272672952 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Also winner/dinner/winner. < 1272672978 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :It's not normal to rhyme a word with itself, is it? < 1272672984 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :lol, "Bush hid the facts" < 1272673000 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Hey, it breaks Notepad. < 1272673002 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: No :P < 1272673022 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :BTW, Notepad can edit > 64k since NT-based (XP) became common < 1272673039 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :not sure what "[vi] can't handle 2k" means, though < 1272673040 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sssh. < 1272673045 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Rugxulo: A petty insult, clearly! < 1272673051 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :rms is 2cool4u. < 1272673070 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :Notepad can't even handle *nix line endings, and it adds a UTF-8 BOM (which is invalid) < 1272673092 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :Wordpad > Notepad ;-) < 1272673094 0 :jcp1!~jw@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1272673097 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :(but I use neither, honestly) < 1272673132 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :nicely done, alise < 1272673148 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I ****ing hate the UTF-8 BOM. < 1272673153 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :except you didn't mention "vi vi vi" nor "free software vi is a penance" < 1272673155 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Nicely done? < 1272673158 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It was meant to be bad! < 1272673167 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :and it was spectacularly so < 1272673167 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Rugxulo: Yes, well, I had to fit within the poem structure; and I'm tired. < 1272673174 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Yayyy < 1272673175 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :one project I work on I have to make sure I add the BOMs before I commit < 1272673188 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :****ing piece of **** Windows < 1272673189 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION imagines this is how Beowulf was penned < 1272673191 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It commits so many atrocities against proper rhyming form. < 1272673201 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Also, viæity is just ludicrous. < 1272673209 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :That... makes it seem like people where you work code in Notepad or something < 1272673250 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :... UTF-8 BOM? *What the fuck*? < 1272673263 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, it's a Notepad thing ;-) < 1272673265 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, it's more of a magic number for UTF-8 < 1272673282 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: yes < 1272673293 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: Also I couldn't grasp the meter at all < 1272673297 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Rugxulo: MURDER. MICROSOFT. DEVELOPERS. < 1272673308 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: That's because it has no meter. < 1272673315 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I just switched to indenting when I couldn't make it rhyme. < 1272673318 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :that would do it < 1272673320 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sometimes it rhymed anyway. < 1272673325 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh, whaddya know. A UTF-8 BOM is actually explicitly allowed by Unicode. < 1272673335 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :except Notepad REQUIRES it < 1272673337 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :since when? I thought they disallowed it < 1272673344 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It is recommended you avoid it, but it is allowed. < 1272673361 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Rugxulo: Since always, it seems. < 1272673362 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :hmm... it's Friday already? < 1272673365 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :you sure? even in UTF-8 explicitly?? < 1272673373 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1272673379 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :UTF-16, sure, but I thought it was bad for UTF-8 < 1272673401 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's a stupid idea, but it's permitted. < 1272673446 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :probably because of braindead things like Nopad < 1272673462 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :"Dawkins is a clown" ... eh? < 1272673473 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :The "use as a signature" thing is in the BOM FAQ, http://unicode.org/faq/utf_bom.html#BOM < 1272673533 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :However, I'd imagine that *requiring* a BOM for UTF-8 is a big violation of the spec. < 1272673536 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Also refers to a "particular protocol (e.g. Microsoft conventions for .txt files) --"; wonder if there's any other examples. < 1272673550 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :right, that's what it was, the damn BOM mucks up the shell script shebang thingie < 1272673580 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :in fairness, why anybody would ever use Notepad for serious text editing is beyond me ... < 1272673585 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Simple fix for that on Linux. < 1272673597 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :I think Notepad++ is consistently one of the most popular projects on SourceForge < 1272673598 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Write a simple shebang parser that ignores a leading BOM. < 1272673636 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Then, register 0xEFBBBF as a magic number for an executable format, with your shebang parser as the program to handle it. < 1272673642 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Voila. Shebang now works. < 1272673659 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :or ... just don't use Notepad ;-) < 1272673663 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(requires the miscellanous executable format module and procfs) < 1272673680 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :MS EDIT ftw!! ;-) j/k < 1272673695 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :edlin ftw! ;-)) < 1272673702 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ed. < 1272673707 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Not edlin. ed. < 1272673720 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :so you've got four choices on Windows: Notepad, Wordpad, edit, edlin < 1272673729 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Hey, gcc ignores the BOM; that's at least user-friendly. < 1272673742 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :clang doesn't: test.c:1:1: error: expected identifier or '(' < 1272673752 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: That's... Quite surprising *and* well-done of GCC. < 1272673761 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION thought it odd that LLVM 2.7 doesn't have a MinGW compile of Clang < 1272673798 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :LLVM-gcc42 ... check, Clang ... nope! < 1272673843 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Hey, I should test if llvm 2.7's clang compiles that ff3. < 1272673851 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: clang has about 0 Unicode support currently < 1272673882 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :Clang uses "LANG=C" ? ;-) < 1272673903 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :clang 2.7 appears to have a regression in its support of computed goto. < 1272673911 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'd file a bug but it appears to have been filed already. < 1272673922 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Assembler messages: "Error: symbol `.LBA3_run_' is already defined" times 145. Aw. :/ < 1272673927 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1272673933 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That's the regression in question, in fact. < 1272673943 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I noticed one bug about that, but I thought I saw the word "fixed" in there somewhere. < 1272673953 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It fails hardcore at generating new names. < 1272673957 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh? Fixed? < 1272673964 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Guess I'll reopen it then. < 1272673966 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :It was an earlier thing. < 1272673976 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Let's see what was it I found. < 1272673997 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :http://llvm.org/bugs/show_bug.cgi?id=6608 This? < 1272674016 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Yes, that. < 1272674034 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Ah. Yes, it's fixed, but it's not in 2.7. < 1272674048 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Which is retarded. I'd call that a release-breaker. < 1272674071 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :"Computed goto, that's some evil hacker-cracker thing, better not speak about it." < 1272674298 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :fixed over a month ago, apparently < 1272674405 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :how the heck can LLVM srcs be 8 MB but the test suite is like 68 MB ?!? < 1272674424 0 :jcp1!unknown@unknown.invalid QUIT :Quit: I will do anything (almost) for a new router. < 1272674564 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, am I allowed to make a joke? < 1272674590 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sure. < 1272674597 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Rugxulo: it's very well-tested software. :) < 1272674602 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :You should move to Reddit Island! < 1272674753 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Rugxulo: They pride themselves on testing the code generator. < 1272674779 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :with what exactly? that's fairly huge for a test suite < 1272674807 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :everything < 1272674872 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :obviously they didn't test computed gotos! < 1272674875 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Rugxulo: Not compared with Sqlite. < 1272674904 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Which actually tests for correct behavior at (and I am not kidding) each and every branch. < 1272675232 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Ahh, computer gotos. < 1272675246 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :s/r/d/ < 1272675569 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :In Arizona, "teachers with accents" can no longer teach English. < 1272675576 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That is so fucking dumb I cannot describe it. < 1272675592 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :You find me a person without an accent and I'll show you someone that's mute. < 1272675600 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Guh? < 1272675680 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :At least it'll stop people with American accents teaching English. < 1272675692 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Good :P < 1272675705 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: There's a large number of incomprehensible UK accents, too. < 1272675718 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Well, yes. < 1272675723 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :But they're uncouth. < 1272675726 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, but there's only ONE incomprehensible American accent ;) < 1272675739 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :RP speakers will be banned from teaching English too. < 1272675739 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Anyway they don't count as British because I can't even understand Geordies so they don't exist Q.E.D. < 1272675756 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :But RP is a bit too posh! < 1272675869 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :RP? < 1272675880 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :Arizona is going a _leetle_ crazy < 1272675918 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Recieved Pronounciation. < 1272675930 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :which means what exactly? < 1272675930 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The "posh" and "educated" UK accent. < 1272675942 0 :coppro!unknown@unknown.invalid QUIT :Remote host closed the connection < 1272675979 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Rugxulo: Received Pronunciation is the accent of the Queen. < 1272675992 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Of course, it isn't actually defined as that; but it's as good a guide as any. < 1272676007 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It's actually all right most of the time, but some people take it Way Too Far. < 1272676012 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(Such as, say, the Queen herself.) < 1272676021 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :alise: actually, the Queen's accent has been shown to slip towards Cockney over the last decade or so < 1272676026 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Random phrase from a related article: "advocate ethnic solidarity instead of the treatment of pupils as individuals." < 1272676031 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Hah < 1272676032 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it surprised me when I discovered that there were actually people who /measured/ these things < 1272676033 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Fair enough then. < 1272676068 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I find it strange that when people think of ethnic solidarity, they think of the alternative as being pupils-as-individuals. < 1272676098 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I see the alternatives as being stuff like gender solidarity, national solidarity, political solidarity, and so on. < 1272676100 0 :jcp!~jw@bzflag/contributor/javawizard2539 JOIN :#esoteric < 1272676137 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :My favorite one, and the one I advocate, is universal solidarity. We're all people; let's stop fighting purely over the fact that we're different. < 1272676139 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :My actual accent is extremely boring; it seems that no outside influence has passed over it. < 1272676161 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :So it's a very generic British accent, really. < 1272676172 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :alise just once looked at the English alphabet and came up with a sound to match each letter; that's his accent. < 1272676191 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1272676199 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :My accent is pretty much General American made more pedantic. :P < 1272676234 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Judging by what people ask when they say "Why do you have a ____ accent?", I have a British accent. < 1272676315 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I really dislike the American accent; it has this persistent nasal whining present all the time. < 1272676325 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :What is a nasal whining? < 1272676326 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Like the average American attitude, actually. < 1272676339 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if I have a nasal whining attitude. < 1272676341 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: The sort of "ahh" - a sort of "r" vowel - repeated constantly in the background of every tone. < 1272676343 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :A very nasally sound. < 1272676346 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sorry; I can't explain further. < 1272676348 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I don't even know IPA. < 1272676371 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION ponders what sort of "ahh" a British person would consider a sort of "r" vowel. < 1272676380 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :you mean Jay Leno whining or something else? < 1272676411 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :By "tone", do you mean "vowel"? < 1272676459 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION loves this game < 1272676486 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Perhaps. I've really no idea. < 1272676516 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :But if you listen to, say, some BBC newsreporting, and then any American person, you'll notice a distinct sound underlying all the American's speech that does indeed seem nasal in nature that isn't present in the news report. < 1272676527 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Perhaps it's only if you haven't grown up with American accents around you. < 1272676545 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :depends on the person ... I wouldn't consider Barry White nasally ;-) < 1272676550 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Huh. < 1272676560 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: You've probably just heard the more nasaly American accents. < 1272676569 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Some of them are, in fact, annoyingly nasal. < 1272676587 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :True; not being American, my exposure is biased. < 1272676621 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Others are anything but. American accents are quite varied. < 1272676646 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :But they're all inferior to British ones :P < 1272676656 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION listens to a certain American accent and finds it rather horrible. < 1272676670 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :This is the horrible accent: http://accent.gmu.edu/browse_language.php?function=detail&speakerid=121 < 1272676685 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: You got rid of rhoticism your argument is invalid. < 1272676705 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I have no speakers at the moment. < 1272676736 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION finds an American accent that sounds pretty good. < 1272676741 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://1pd.org/play/4479_exploit.aspx < 1272676754 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Come on, say it: "AAAARRRR". < 1272676761 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Yarr! < 1272676763 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: *Rhotacism. < 1272676765 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION swordfights pikhq. < 1272676786 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Also I truly believe that the ae and oe ligatures should be used whenever possible in all typeset works; am I barmy? < 1272676804 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :And that the diæresis is quite honestly superior to hyphenation. < 1272676809 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Absolutely. Most of those result from overcorrection. < 1272676817 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :The diæresis diacritic, that is. < 1272676837 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Most of what? < 1272676848 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Instances of "ae" and "oe" ligatures. < 1272676852 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :ACTION blinks. < 1272676860 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :It's really easy to press Command-Q by accident. < 1272676871 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Erm. Hypercorrection, even. < 1272676886 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Can I tell Chrome to reopen all those tabs I just closed? < 1272676896 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Really? I suppose I should mention that I also think that the spelling of words that used to have "æ" but now sport "e" should be reverted, too. < 1272676905 0 :Rugxulo!unknown@unknown.invalid PRIVMSG #esoteric :uorygl, see History < 1272676917 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :So I'd write æsthetics, not esthetics. < 1272676917 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Nothing useful seems to be in there. < 1272676940 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I don't do it for the purpose of hypercorrection though. I just think it's more, well, æsthetically pleasing. < 1272676944 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I don't argue for æs æverywheræ. < 1272676955 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"æ" and "oe" become "e" in Latin in the Middle Ages. And then they got re-expanded *the wrong way*. < 1272676963 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I use "ae" inconsistently. < 1272676977 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And quite often the "reversion" happened *when it had never been there*. < 1272676985 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I like aesthetics and anaesthesia, but I would never consult an encyclopaedia. < 1272676991 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Do you agree that "æsthetic" and "dæmon" are correct? < 1272676994 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :For instance: it's fucking "fetus", not "foetus". < 1272676999 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :And I really hate paedophiles. < 1272677002 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Although I'm not sure I wouldn't write "demon". < 1272677011 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: Yes. < 1272677027 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :And encyclopædia? What about pædophilia? < 1272677037 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I didn't know fœtus was incorrect. < 1272677042 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Is it fætus, then? :P < 1272677050 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No, it's always been "fetus". < 1272677060 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Ah. < 1272677062 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Fair enough then. < 1272677069 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Aww, fœtus looks so much better :-P < 1272677076 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"The word fetus is from the Latin fetus, meaning delicious," < 1272677109 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"encyclopaedia" is the Latin spelling. < 1272677122 0 :Rugxulo!unknown@unknown.invalid QUIT :Quit: Rugxulo < 1272677140 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Hey, neat, "encyclopedia" means "circular education". < 1272677141 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"pedophilia", "paedophilia", and < 1272677150 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"pædophilia" are all completely bizarre. < 1272677161 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :They come from "paidophilos". < 1272677203 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Well I'm not spelling it paidophilia, so what should I do? < 1272677209 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Also, encyclopædia is nice, so I'm going to keep spelling it that way. < 1272677219 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :At least encyclopaedia; I refuse to devolve into writing encyclopedia. < 1272677222 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1272677224 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Also, how do you pronounce "foetus", anyways? "foe - etus"? < 1272677238 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Fowey eetus. < 1272677256 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :AAAAGH LATIN FAIL < 1272677259 0 :Tritonio_GR!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1272677274 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :foëtus < 1272677276 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Hmm, pedophilia is a hard word. (Har har) < 1272677305 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It seems to have gone from Latin to paedophilia in German to pedophilia in English. < 1272677427 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :The Encyclopædia Britannica is a preëminent encyclopædia.¹ < 1272677427 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :1. Note: The author does not actually believe this. < 1272677495 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Mmm, delicious diaresis and actually correct uses of ligatures. < 1272677520 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :diaræsis, you uncouth bastard. < 1272677538 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :The only problem with that word is that it makes me think of diarrhea. < 1272677569 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :We were both wrong. < 1272677575 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Orally? < 1272677582 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(a.k.a. O rly?) < 1272677594 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Yeah it's diæresis < 1272677596 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's "dieresis", "diaeresis", or "diæresis". < 1272677627 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, can I have a lot of money? I have an urge to buy some wonderfully-printed books. < 1272677765 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :... And Fox News goes off the deep end *again*. < 1272677773 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Calling Mr. Rogers evil. < 1272677781 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Mister. Rogers. < 1272677784 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I read the reddit comments on that; apparently the evil mark was clearly a joke. < 1272677787 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :*remark < 1272677806 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I hate Fox News as much as the next sentient being, but did anyone actually watch the video before getting outraged? I know I didn't. < 1272677826 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, less jabbering, more money to me. < 1272677930 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION loves not hanging out with friends on his birthday :( < 1272677939 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Quit whining and do something interesting. < 1272677949 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :¡Ay. < 1272677951 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(Good life advice most of the time, actually.) < 1272677957 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :iAy, from Apple. < 1272677963 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, I don't know how < 1272677972 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :It's difficult to do something interesting when you feel like something bad is going to happen. < 1272677983 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Well, don't we count as friends? :P < 1272677991 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Think about things you're interested in, then wait; Eureka, now write down what you thought. < 1272677995 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Like right now. I feel like as a result of my choices, the outcome is going to be unacceptable. < 1272678007 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Which choices? < 1272678011 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :And so now whenever I think about doing something, I go "aiee!" < 1272678032 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :alise: choices like going to the wrong college and not doing the required work. < 1272678041 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :And also failing to take advantage of opportunities. < 1272678044 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: How old are you again? < 1272678046 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :And not making friends on campus. < 1272678052 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :17, at the moment. < 1272678057 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I've been going to arguably the wrong college for almost 3 years < 1272678079 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Well, you are still very young, then, and your college studies have only just started. < 1272678085 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Also, most of my college friends approached me. I didn't ever initiate friendships < 1272678085 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :alise: what am I supposed to be outraged at? < 1272678086 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ACTION rages < 1272678087 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :You can easily go to another college and work harder there with no disadvantage at all. < 1272678089 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Well, once, very recently < 1272678091 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ais523: :-) < 1272678105 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :wow, I'm surprisingly good at feeling generically angry < 1272678110 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :as in, I surprised myself < 1272678116 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I actually am angry atm, and I have no idea what at < 1272678116 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: So plan that, and do it, and don't worry about it too much because in the end if you're smart it won't really matter because you'll know if you're not doing the right thing. < 1272678128 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ais523: MR ROGERS! HNRRRRRRRRRR! < 1272678136 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :... I think! < 1272678143 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1272678149 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Hmm, now I feel like I don't know what to be scared about. < 1272678165 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: oil spills off the US coast? the entire economy about to collapse? politics in general? < 1272678175 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :exploding supervolcanos? the LHC creating black holes? < 1272678186 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Chickens taking over the world??? < 1272678188 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :There, I just thought about a project I'd like to do, and I had a little bit of an "aiee" reaction. < 1272678198 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :What projekt? < 1272678225 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :A mathematical prediction market and proof database. < 1272678237 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Lay off the Robin Hanson. < 1272678283 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Robin Hanson came up with a specific application of prediction markets. My project idea has nothing to do with Robin Hanson. < 1272678299 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, but Hanson is a big fan of prediction markets. So there :P < 1272678312 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1272678320 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Well, okay, O'Connor likes them too and O'Connor is cool, so you're permitted. < 1272678328 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :What language would the proofs be in? < 1272678335 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Also, I'm not a person who has negative feelings about Robin Hanson. < 1272678338 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Some constructive one like Coq or Isabelle? < 1272678339 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I'm thinking Ivor. < 1272678342 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :So yes. < 1272678346 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Ivor is not a proof language. < 1272678351 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It is just a Haskell library. < 1272678353 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Do you mean Idris? < 1272678356 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :That is not very proof-focused at all. < 1272678373 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :No, I mean Ivor. < 1272678374 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I strongly suggest that if you are going to do actual proofs you should have a language with actual proof infrastructure; so Idris, Agda etc. are out. < 1272678383 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Huh. < 1272678387 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I'd strongly suggest Coq or Isar+Isabelle. < 1272678408 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Well, okay. I'm not familiar with Coq whatsoever (modulo grammar), so what advantages does it have over something like Agda? < 1272678414 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Isar has really nice proof structures actually: http://vdash.org/intro/cantor.html at least for the current crop of constructivist meanderings. < 1272678422 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: Here's why Agda is totally unsuitable for this: < 1272678447 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :- it is not one concrete theory, just a bunch of features - admittedly so; it has been proved inconsistent several times, which is fixed by patches. Coq is based on one, very mathematically tested, tiny kernel theory. < 1272678461 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It has only been proved inconsistent once, I think, and that was a bug in Coq, not the underlying theory. < 1272678467 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :And was very easily fixed. < 1272678474 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(And the example was a very contrived one). < 1272678475 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :And: < 1272678507 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :- Agda has very little infrastructure for the actual prover; proving is basically a trial-and-error, run-and-repeat task. With Coq and similar, the proof is an interactive process that automatically shows assumptions and goals for you and lets you step and rewind proofs step by step. < 1272678523 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :This is amazingly useful in proving even the simplest theorems; instead of a complete spark out of nowhere, you can do proofs incrementally. < 1272678539 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :And finally, Coq has actual practical proofs underlying it -- Goedel's First Incompleteness Theorem, for instance. < 1272678541 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Nobody really uses Agda. < 1272678555 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Isar is like Coq but with a more declarative proof style; I think it is less interactive. I don't know much more about it. < 1272678565 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :'A patent pool is being assembled to go after Theora and other “open source†codecs now.' -- Steve Jobs. < 1272678587 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :So. Fuck you, Steve Jobs. You make Microsoft look open. < 1272678591 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Mizar, while proprietary, has a very comprehensive database of mathematics already and a very readable declarative style. It is not constructive though. < 1272678599 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: And that's most of what I have to say on the matter! < 1272678607 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Mmkay. I don't know what Ivor is based on; I seemed to get the idea that it's based on some sort of formal theory, though not a specific one I've heard of. < 1272678611 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Yup, I pretty much hate Steve Jobs now. < 1272678627 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :What you say about the interactive proving stuff makes sense. < 1272678633 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: I think it is the same one that underlies Coq. But it's really a library, a framework for building on. It's barely suitable for writing programs in directly, let alone proofs of any complexity. < 1272678637 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :alise: Steve Jobs specifically, or Apple in general? < 1272678643 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I can think of arguments for either < 1272678644 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Idris is a competent dependently-typed programming language based on it, but with next to no proof infrastructure. < 1272678646 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Both. < 1272678663 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :in other news, apparently IE9