< 1293926434 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :GEB is what happens when a smart person has some kind of mental blockage that makes them consider recursion amazing. < 1293926451 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: and Penrose < 1293926452 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, it's like whoa. < 1293926465 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: Penrose should just be ... forced to shut up forever? < 1293926470 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :LOL < 1293926470 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: like a restraining order < 1293926474 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :he can't publish any books any more < 1293926477 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Penrose is crazy too? < 1293926480 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: the problem with Penrose is he's a really smart guy < 1293926493 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :he just has this one absolutely idiotic idea that he talks about sometimes < 1293926499 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: he thinks that intelligent life is immortal because the universe's maximum state of entropy has all information or something < 1293926504 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :??? I don't know, I can't explain crazy people < 1293926505 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I think Hofstader also knows his stuff < 1293926505 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: yeah < 1293926513 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: the smarter someone gets, I think, the more likely they are to have one really stupid idea < 1293926519 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and be unable to see how stupid it is < 1293926523 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1293926525 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :like einstein < 1293926536 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :coppro, which crazy idea did he have? < 1293926539 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oh yeah einstein with that stupid "relativity" stuff < 1293926540 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: yeah what was that fucker thinking with realtivity < 1293926542 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*relativity < 1293926545 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: *high5* < 1293926547 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1293926560 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: spooky action at a distance < 1293926584 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :that's my favourite name of anyhting really < 1293926585 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :isn't the non-existence of action at a distance a direct consequence of relativity? < 1293926590 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :spooky action at a distance < 1293926595 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's just ... the best name < 1293926595 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: well, you'd think < 1293926612 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Action_at_a_distance_(physics) i bet this was renamed from the proper name by wikilamers < 1293926616 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: but Einstein also developed the first inklings of quantum theory < 1293926626 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :GOTT DOST NOT PLAY DIECE < 1293926629 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :exactly < 1293926650 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :he hated quantum theory because of its implications < 1293926657 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :he was too hung up on dumb concepts < 1293926670 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :despite having given the insight which led to the < 1293926671 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :*them < 1293926723 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :gödel's really stupid idea was that he was being poisoned, but that one resolved itself quite quickly :D < 1293926725 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :aww that was an awful thing to say < 1293926728 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i'm such a bad person < 1293926757 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :GÖDEL'S GHOST FROWNS ON YOU < 1293926768 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :MAY ALL YOUR THEOREMS BE UNDECIDABLE < 1293926769 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :gödel's skeletal ghost < 1293926824 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: OS X — 96 gigs; Ubuntu — 56 gigs; Shared — 96 gigs < 1293926830 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: dunno whether those are decimal are binary gbs but who cares < 1293926833 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :does this look reasonable? < 1293926846 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :my school has a course that includes undecidability < 1293926850 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I've heard it's kind of boring :( < 1293926860 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I can resize the OS X one at any time really, but < 1293926898 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, no it doesn't < 1293926904 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, too much of OS X :P < 1293926914 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: aside from zealotry. < 1293926917 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :w/in 25 < 1293926918 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :but since you can resize it again, sure < 1293926920 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :OS X takes up more space, simple fact < 1293926926 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: yeah but i'd have to get rid of ubuntu/shared < 1293926935 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what? < 1293926941 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: because this takes up the whole disk < 1293926945 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, couldn't you add shared-2 < 1293926946 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :or such < 1293926952 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: you mean shrink OS X? < 1293926955 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, yes < 1293926957 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I doubt i'll want to give less to OS X < 1293926960 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, ah < 1293926965 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :considering there's only 50 gigs free on there as it stands < 1293926973 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, aren't there shrinkable linux file systems? < 1293926975 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :56 gigs for ubuntu might be too little? probably not < 1293926981 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: probably. i'm just going to go with ubuntu default < 1293926998 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, not sure how much ubuntu need < 1293927003 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :du -sh /usr might take a while < 1293927012 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: well as fizzie said his ubuntu install only uses about 10 gigs. < 1293927016 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :on my arch system: < 1293927018 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :$ df -h /usr/ < 1293927018 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Filesystem Size Used Avail Use% Mounted on < 1293927018 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :/dev/mapper/array-usr < 1293927018 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric : 20G 8,5G 11G 46% /usr < 1293927021 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: but there's /home in these too, just things like music will go on shared < 1293927024 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and also probably code? < 1293927034 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well my /home : < 1293927041 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Filesystem Size Used Avail Use% Mounted on < 1293927041 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :/dev/mapper/array-home < 1293927041 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric : 69G 59G 7,4G 89% /home < 1293927048 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :89% !? < 1293927050 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1293927054 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :I guess I'll have to grow it < 1293927055 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :again < 1293927061 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :long live LVM! < 1293927061 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yes, yes, I /am/ planning to buy my big desktop system. < 1293927079 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, you here see the wonder of LVM! < 1293927079 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: I'd like it if there was some kind of standard thing like a slimmed down LVM ... with saner nomenclature and tools. < 1293927090 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: and if all filesystems supported resizing. online resizing. < 1293927103 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well actually jfs supports on line growing < 1293927106 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: but, uh, LVM has the wondrous feature of interoperating with NOTHING < 1293927115 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :want to just LOOK at your files in another OS? SORYYYYY < 1293927118 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, so does ext4 iirc < 1293927128 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: yeah. well. i'm not making my shared partition ext4 < 1293927130 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, lvm for fuse? DO IT NOW! < 1293927136 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fuck no < 1293927145 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I think ext3 supports resizing too < 1293927148 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :online I mean < 1293927172 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, anyway I doubt I will change from linux on my destop < 1293927175 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Fuck it, I'm resizing. If I decide it's all wrong I'll trash ubuntu & shared and redo it. < 1293927175 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :desktop* < 1293927187 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what about swap < 1293927187 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: um hello @? (okay so @ won't interact with anything else either :-)) < 1293927194 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: I don't need swap, I have four gigabytes of RAM < 1293927202 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, you can't suspend to disk then < 1293927207 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Sure you can with a swap file. < 1293927212 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :... right < 1293927232 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: OK, fine, I'll make room for a six gig swap. < 1293927234 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott, it's a blood drop < 1293927234 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, separate /boot I guess? < 1293927236 0 :wareya!~wareya@cpe-74-70-142-220.nycap.res.rr.com JOIN :#esoteric < 1293927243 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, needs to be 60 MB or less < 1293927256 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(well it could be larger) < 1293927257 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION finished Braid < 1293927264 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(would be a waste though) < 1293927269 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: why separate /boot. < 1293927283 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well depends on if your bootloader can handle the main fs < 1293927318 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I guess you need to install bootloader into partition rather than into mbr on that computer < 1293927320 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, no? < 1293927334 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :$ du -sh /usr/ < 1293927334 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :7,6G /usr/ < 1293927336 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :from thinkpad < 1293927369 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :/var contains a few chroots < 1293927373 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :so pointless to check < 1293927383 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293927418 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1293927420 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Wow. < 1293927423 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :That resize was quick. < 1293927426 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Wonder why LimeChat crashed. < 1293927432 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(Resize and partition, no less.) < 1293927444 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :OK, now I need to put GRUB on the shared partition. < 1293927460 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :You can install GRUB from OS X right? ...right? < 1293927485 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1293927491 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :can you download "GRUB 2 images" or something? < 1293927496 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I wouldn't count on it: :) < 1293927531 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh come on, i have to :P < 1293927596 0 :variable!unknown@unknown.invalid QUIT :Read error: Operation timed out < 1293927655 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :configure: error: objconv not found which is required when building with apple compiler < 1293927662 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: grub can build on os x apparently? < 1293927703 0 :variable!~variable@unaffiliated/variable JOIN :#esoteric < 1293927721 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :sure, but isn't it heaps easier to do this from ubuntu once you install it? :) < 1293927728 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :00:21 < c_wraith> (I have goldbach's conjecture in formal logic as a tattoo) < 1293927730 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: i need grub to install it. < 1293927739 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: lol. < 1293927750 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :goldbach's conjecture is beautiful now? < 1293927753 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :right, due to not having an optical drive? < 1293927755 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :in logic notation? < 1293927762 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: i'm going to boot from hd with grub :p < 1293927767 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :so you're going to install the installer and boot it with grub? < 1293927769 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: I could just fish out a usb stick but this is the moar funz < 1293927770 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1293927772 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yes i am < 1293927774 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :install by copying < 1293927777 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I approve :D < 1293927813 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :GRUB2 will be compiled with following components: < 1293927813 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Platform: i386-efi < 1293927817 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1293927820 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh wait grub doesn't do 64-bit < 1293927820 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :right < 1293927823 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :don't want efi though < 1293927852 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :can it even boot without efi support on a mac? < 1293927860 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: well. yes. with bios emulation. < 1293927866 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :although probably it hands over control as bios? < 1293927873 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i'm just scared that it'll be grub-efi < 1293927875 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :which I do nooooot want < 1293927882 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: see http://grub.enbug.org/TestingOnMacbook < 1293927887 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :erm < 1293927887 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :wrong page < 1293927897 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh no wait < 1293927899 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: that's the page < 1293927902 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :olsner: see drawbacks < 1293927905 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :no virtual terminals :-) < 1293927908 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :But Grub-EFI is so modern! < 1293927927 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :is it actually possible to force a bios build??? < 1293927943 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :aha < 1293927949 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :--with-platform=pc should do it < 1293927965 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(is that "ok" to do? who knows let's find out) < 1293928068 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :In file included from kern/err.c:23: < 1293928068 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :./include/grub/i18n.h:28:5: error: "ENABLE_NLS" is not defined < 1293928068 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :make: *** [kernel_img-kern_err.o] Error 1 < 1293928069 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :make: *** Waiting for unfinished jobs.... < 1293928071 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :In file included from kern/misc.c:26: < 1293928073 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :./include/grub/i18n.h:28:5: error: "ENABLE_NLS" is not defined < 1293928075 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :lol. < 1293928287 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ok seriously. even a grub 1 image would do < 1293928301 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i'll try a grub floppy. who knows < 1293928304 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it just might work < 1293928367 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :let's see if that worked < 1293928368 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :refit time < 1293928387 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Alexa_Ray_Joel < 1293928403 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :[[On December 5, 2009 Joel ingested a quantity of Traumeel, a homeopathic alternative to ibuprofen.]] < 1293928411 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Worst. Suicide attempt. EVER. < 1293928414 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :That's WikiNotable! < 1293928422 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :And HILARIOUS. < 1293928422 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Oh, I thought it was ... without context. < 1293928428 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :On December 6, 2009 Joel ate breakfast. < 1293928651 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :This is a perfect demonstration of the way that selection pressures in our culture are working against intelligence. < 1293928653 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I wouldn't call that a suicide attempt < 1293928693 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :People clever enough to realise that you should use evidence-based suicide do not go on to reproduce, while those who opt for complementary and alternative suicide live. < 1293928709 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, well "attempt" is certainly relevant. < 1293928721 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Note: that thing about selection is tongue in cheek. < 1293928723 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :[[Within a month after her Traumeel incident, on December 31, 2009 Joel publicly posted[51] that she wanted to help young girls deal with what she termed "heartbreak-related depression,"[52] which term, it was noted, "does not currently exist as a clinically diagnosable form of depression."]] < 1293928738 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, like CWC and his date ed classes. < 1293928762 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :she's just an idiot, now she goes on to make depression even less respectable as a serious mental healht problem < 1293928787 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293928847 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :They had that public mass-suicide-by-homeopathy thing, http://www.1023.org.uk/the-1023-overdose-event.php < 1293928875 0 :FireFly!unknown@unknown.invalid QUIT :Quit: swatted to death < 1293928877 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :has that had much of an effect? < 1293928905 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1293928913 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Didn't work. < 1293928927 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Wait, I have another idea. < 1293928927 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :all these fucking "cuts" everyone complains about, but the NHS still prescibes homepathy and ancient chinese "stick needles in the guy to heal him" < 1293928942 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yeah nhs support of homeopathy is fucked < 1293928958 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :Great idea: aquapuncture - combination of the ancient chinese art (?) and homeopathy! < 1293928967 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I'll make a forture^H^H^H help lots of people! < 1293928972 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1293928972 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I thought the government basically said "no, it doesn't work, but we're still going to use it." < 1293928981 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293928990 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Take a needle. Dilute it 10^60 times. < 1293928995 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :XD < 1293928999 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Stick it into the patient. < 1293929027 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Iridopuncture, aka needles-to-the-eye. < 1293929030 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Although that would probably cure you of pins and needles, not anything else. < 1293929050 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Like-cures-like is applicable to EVERYTHING. < 1293929065 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Shot? Dilute a bullet 10^60 times! < 1293929096 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Minecraft homeopathy. < 1293929113 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Broken foot? Dissolve someone else's foot in acid, then start diluting that. < 1293929126 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :(Remember to break it first, though.) < 1293929201 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Defend yourself against creepers! Bucket + gunpowder, then repeat 100 times! < 1293929630 0 :variable!unknown@unknown.invalid QUIT :Read error: Operation timed out < 1293929748 0 :variable!~variable@unaffiliated/variable JOIN :#esoteric < 1293929809 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1293929817 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I've had a sudden burst of reasonableness and found a USB stick < 1293929930 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Can the world float? < 1293929944 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, not sure. < 1293929949 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :CAN IT FLOAT ON PIN < 1293930189 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Who was the hippocampus? < 1293930209 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :John. < 1293930218 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :That explains it. < 1293930487 0 :coppro!unknown@unknown.invalid QUIT :Quit: Changing server < 1293931166 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293931554 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1293931755 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"One of the arguments for functional programming is better modular design. By analyzing publications advocating this approach, in particular through the example of a framework for financial contracts, we assess is strengths and weaknesses, and compare it with object-oriented design. The overall conclusion is that object- oriented design, especially in a modern form supporting high-level routine objects or “agents”, subsumes the fu < 1293931755 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nctional approach, retaining its benefits while providing higher-level abstractions more supportive of extension and reuse." < 1293931758 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :--Bertrand Meyer ... < 1293931761 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I disagree :-P < 1293931763 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :One of the arguments for functional programming is better modular design. By analyzing publications advocating this approach, in particular through the example of a framework for financial contracts, we assess is strengths and weaknesses, and compare it with object-oriented design. The overall conclusion is that object- oriented design, especially in a modern form supporting high-level routine objects or “agents”, subsumes the fun < 1293931763 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ctional approach, retaining its benefits while providing higher-level abstractions more supportive of extension and reuse. < 1293931764 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :erm < 1293931765 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://se.ethz.ch/~meyer/publications/functional/meyer_functional_oo.pdf < 1293931804 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"(We share the reader’s alarm at the unappetizing nature of the examples, especially coming from a Paris- based author. The sympathetic explanation is that the presentation was directed to a foreign audience of which it assumed, along with unfamiliarity with the metric system, barbaric culinary habits. The present discussion relies on the assumption that bad taste in desserts is not a sufficient predictor of bad taste in language an < 1293931805 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :d architecture paradigms.)" < 1293931891 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293932271 0 :j-invariant!unknown@unknown.invalid QUIT :Quit: leaving < 1293932539 0 :rderos!~Felipe@189.25.7.252 JOIN :#esoteric < 1293932543 0 :rderos!unknown@unknown.invalid PART #esoteric :? < 1293932620 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1293932922 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :[[When people want to emphasize how pathetically far we are from proving P≠NP, they often use the following argument: for godsakes, we can’t even prove that NEXP-complete problems aren’t solvable by depth-3, polynomial-size circuits consisting entirely of mod 6 gates! < 1293932922 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :But no more.]] < 1293933148 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders who "they" are :D < 1293933221 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: the set {Scott Aaronson} :D < 1293933264 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so he uses the royal "then", i take? < 1293933270 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*"they" < 1293933274 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: clearly :D < 1293933324 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :a subtle megalomania mixing the styles of queen victoria and julius caesar < 1293933432 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :bleh ... it seems you have to have a gpt thing to do usb w/ macbook air < 1293933438 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :wonder if fedora's stuff would do it < 1293933490 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION looks at the actual blog post and detects _possibly_ a tiny tinge of sarcasm there... < 1293933496 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: no shit :P < 1293933585 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I feel slightly wrong writing in a functional style in K&R C < 1293933599 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Er, wow. What. < 1293933601 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :purely for the purpose of making a "record this, do something, put it back to the original value" wrapper nest easily < 1293933602 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :ais523, cool! < 1293933608 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Why are you ... < 1293933625 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I mean, K&R? And ... < 1293933625 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and as for K&R C, I was writing a hacked version of NetHack for RNG manipulation purposes < 1293933629 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and NetHack's written in K&R C < 1293933637 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: protoize that shit for AceHack :P < 1293933639 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :(it predates C89, so you can hardly blame it for that) < 1293933654 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :any reason not to? < 1293933660 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I haven't done things like reindenting or protoizing so existing patches apply wel < 1293933662 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :*well < 1293933670 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :boring :) < 1293933680 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the indentation style's currently a mix of my two-space, and NetHack's four spaces for one level, tab for two levels < 1293933702 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: ...see, um < 1293933711 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: not following an existing codebase's indentation style < 1293933718 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I'm afraid I'm going to have to kill you for the benefit of everyone. < 1293933720 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :elliott: means I end up not mixing tabs and sapces? < 1293933725 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you can't have things both ways round < 1293933735 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: at least keep the same indentation width < 1293933743 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(4, since they probably assume tab=8) < 1293933748 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yep, in some cases I've been interspersing eight spaces for two levels < 1293933767 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: but don't do any two-spacing < 1293933771 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :mostly because telling the editor to save mixed-tab-and-space, while entirely possible, would mean repeatedly changing it there and back < 1293933781 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :time to try out this ubuntu usb stick again < 1293933791 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: erm emacs can condition on the path of the file < 1293933800 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293933828 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :(for the logs) I know, but that would be a pain to set up < 1293933838 0 :elliott!~elliott@91.105.67.154 JOIN :#esoteric < 1293933840 0 :elliott!unknown@unknown.invalid QUIT :Changing host < 1293933840 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1293933841 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :grrrrrrrrrrrrrr < 1293933842 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :as I have far too many NetHack source trees, in all sorts of places < 1293933845 0 :coppro!~scshunt@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1293933846 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :GRR < 1293933849 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :GRRRGRGRGRGGRGR < 1293933854 0 :coppro!unknown@unknown.invalid QUIT :Client Quit < 1293933875 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :elliott: what? < 1293933880 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: stupid mac < 1293933904 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm, why do places like BBC News always credit YouTube or Wikipedia rather than the actual author of the content? < 1293933907 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: basically, as far as i can tell, the only way to boto from a usb stick is to have it gpt-partitioned < 1293933909 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*boot < 1293933912 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ouch < 1293933916 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :"Booting Windows or Linux from an external disk is not well-supported by Apple’s firmware. It may work for you, but if it does not work, there is nothing rEFIt can do about it." < 1293933917 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: which can be done ... with a fedora specific, linux-only, RPM package < 1293933920 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :(Just saw that on a page.) < 1293933926 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so basically < 1293933928 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :my options are < 1293933934 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :- see if i can get that working here (endless unpredictable pain) < 1293933935 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :or < 1293933939 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you need a Linux-based program in order to install Linux? < 1293933941 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :- £60 on external SuperDrive < 1293933955 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: clearly! ubuntu has instructions for setting up a usb stick on a mac but they don't work and from what i'm reading, cannot possibly work < 1293933962 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm, what about running Fedora in a VM, and using that to reformat the stick? < 1293933974 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293933984 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: that... sounds like it could rapidly become more than £60 worth of pain < 1293933986 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Can't you partition it with just gdisk? < 1293933999 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: partitioning is easy -- getting the files on there and making it bootable, I have no idea ho < 1293934000 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :w < 1293934005 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :apparently it has to be HFS-partitioned too < 1293934011 0 :coppro!~scshunt@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1293934014 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so regular bootloaders won't work? < 1293934025 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Feel like making a USB stick image for me? :-P < 1293934027 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :oops < 1293934032 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :that was totally my fault < 1293934037 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :All it'll require is alien, an Ubuntu ISO, and PATIENCE! < 1293934046 0 :augur!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1293934049 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I think I'll instead sleep on it. :p < 1293934065 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: You're far too loyal not to help out, right? < 1293934159 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: THAT IS NOT THE SOUND OF REASSURANCE < 1293934225 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: re youtube/wikipedia < 1293934237 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: because those seem like real, respectable businesses < 1293934242 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: real sources < 1293934246 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Coolguy1272 doesn't < 1293934331 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :[[Steve Wozniak is an out and out self proclaimed geek. As the co-founder of Apple, he has given the world products aimed at making our life easier and more fun.]] < 1293934337 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I ... don't think Woz stayed on for very long, BBC < 1293934385 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :bleARGH < 1293934387 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*bleargh < 1293934460 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ok seriously < 1293934465 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's got to be possible to do this < 1293934475 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott, is the last ep of season 1 good? < 1293934483 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Does it matter? You can't skip any. < 1293934489 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I don't suppose I can convince you to try and install one package and try out a command ...? < 1293934714 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Well, most of the good episodes were near the end of the season < 1293934831 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: what about YOU, I can depend on you can't I < 1293935031 0 :augur!~augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1293935085 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :elliott: What assistance do ou need, citizen? < 1293935108 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: one (1) .rpm converted to .deb and installed by you with the help of ``Alien'' conversion tool; < 1293935119 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: and one (1) Ubuntu Live CD ISO downloaded; < 1293935129 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: and one (1) conversion of this ISO to a disk image using that Linux-only tool < 1293935162 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :knowledge of RED Hat is above your Clearance, citizen. < 1293935172 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Report for termination immediately. < 1293935175 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Thank you, and enjoy your day. < 1293935181 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: p < 1293935185 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*alien -i foo.rpm < 1293935187 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: DAMMIT I'MA GO INSANE < 1293935194 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :sdfghjk, < 1293935196 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nm, < 1293935197 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :zxcvbnm, < 1293935203 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :can't even bother with references INSTALL THE PACKAGE ;_; < 1293935210 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :why do you need your ISO converted? < 1293935218 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: to install ubuntu. < 1293935225 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :to what though < 1293935230 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: this. < 1293935258 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :what is this < 1293935264 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: um, a computing machine? < 1293935272 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :oh wait it's a usb stick image? < 1293935281 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: no it's a live cd that you can turn into a usb stick image < 1293935282 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol just stick a partition table in front of it < 1293935288 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: yeah um it needs to be gpt < 1293935290 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and hfs-formatted < 1293935295 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :gpt? < 1293935295 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and i have no idea what bootloader it installs < 1293935297 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :and hfs? < 1293935298 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: apple shit < 1293935312 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol not happening < 1293935317 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :(maily cos I'm lazy) < 1293935325 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: there _is_ a reason I mentioned the .rpm, you know < 1293935329 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :but also because you wouldn't do it for me < 1293935340 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i would actually if yelled at enough < 1293935343 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :how much do i have to tell < 1293935360 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"livecd-iso-to-disk --mactel --reset-mbr foo.iso blah" NAG NAG NAG < 1293935369 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :NAG NAG NAG NAG NAG NAG NAG < 1293935373 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fffff < 1293935798 0 :augur!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1293935932 0 :augur!~augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1293936142 0 :augur!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293936166 0 :augur!~augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1293936197 0 :augur!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1293936214 0 :augur!~augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1293936536 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :augur: stop it < 1293936573 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :elliott: sorry. ive been trying to fix my mbp screen < 1293936576 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i broke the glass :( < 1293936584 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :augur: pray to steve jobs < 1293936586 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and yet i followed the professional instructions! < 1293936618 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :augur: steve jobs. < 1293936630 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1293936678 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :elliott: surely you have another computer with linux < 1293936687 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :(that was a statement) < 1293936714 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: I do, yes, but uh ... hmm. < 1293936718 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Why amn't I doing taht. < 1293936720 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh well < 1293936723 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :getting a friend to do it instead < 1293936967 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm, has thedailywtf's forum actually been patched to allow only haikus? < 1293936974 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :as opposed to a mod doing it manually? < 1293936981 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :(the sidebar forum, not the replies on the articles) < 1293936998 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: er, wow < 1293937001 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, not only haikus, but posts of approximate haiku length < 1293937016 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you can write a short plaintext sentence which has a similar length < 1293937029 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://forums.thedailywtf.com/forums/t/21032.aspx < 1293937030 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :not very haikuy < 1293937040 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :From henceforth, all messages posted that are not in the form of a Haiku will be deleted. < 1293937040 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :You have been warned. Have a nice day. < 1293937041 0 :poiuy_qwert!~poiuy_qwe@bas5-toronto47-1167928546.dsl.bell.ca JOIN :#esoteric < 1293937049 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1293937054 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: seems like it's some kind of bug < 1293937056 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :maybe < 1293937058 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1293937066 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: and then it was turned into a haiku rule < 1293937076 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oh, I see < 1293937089 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :CS has decided only to allow very short posts due to being broken < 1293937111 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and the mod's response was, instead of fixing the forum, to institute a "haiku rule" to patch around it < 1293937146 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :now if there was only some website I could post on to report curious perversions in information technology... < 1293937150 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: the REAL wtf... < 1293937152 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1293937155 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because that definitely qualifies < 1293937196 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: http://forums.thedailywtf.com/forums/p/21032/241597.aspx#241597 < 1293937229 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric : You can now type more text into the subject line (255 UTF-16 characters by the looks of it) than you can in a post (~180 was it?) < 1293937241 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :elliott: saw it already < 1293937269 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :CS? < 1293937274 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :community server < 1293937276 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :community server < 1293937278 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1293937281 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :a horrible asp.net abomination < 1293937282 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :a much-maligned forum that somehow got even worse < 1293937286 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :the real wtf is the daily wtf < 1293937295 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :seriously, why did it have to be alex that started it? < 1293937299 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :he's so close to being the wtf himself < 1293937415 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ais523: is Username a mod? < 1293937422 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :he has rather ...suspicious... stats < 1293937425 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :he/she < 1293938079 0 :oerjan!unknown@unknown.invalid QUIT :Quit: Good night < 1293938885 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293939167 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ais523, have you determined the exact allowable length yet? < 1293940346 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :According to Star Trek, all aliens want human girls < 1293940355 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Or, human-looking girls < 1293940560 0 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1293940710 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I want to make up the new URI scheme for IRC, to get rid of problems with "IRC" scheme. The new one can be "IRCP" (for "Internet Relay Chat Protocol") and it accepts the username and password field, host, port, and so on. For example the URL for this channel would be: ircp://irc.freenode.net:6667/join?%23esoteric < 1293940891 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :yuck < 1293940976 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :To represent the registration of this channel: ircp://irc.freenode.net:6667/cs/info?%23esoteric < 1293941050 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :coppro: We don't sell that. < 1293941211 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Why would you have a password in a URI? < 1293941248 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: You probably wouldn't, but you could if you needed to. (Other URI schemes do support username/password) You might also include just the username. < 1293941454 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :ircp:// URIs shall be case-insensitive (except the password) < 1293941509 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :it would make far more sense to call this channel ircp://irc.freenode.net:6667/%23esoteric < 1293941552 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :and for instance, its info would be ircp://irc.freenode.net:6667/%esoteric?info < 1293941578 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :coppro: I understand, but I don't like that much. < 1293941605 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :it's certainly better than putting something dumb like chanserv in there < 1293941626 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :coppro: But it is the chanserv info, isn't it?? < 1293941636 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :but that info might not be provided by chanserv < 1293941653 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :also you're making "cs" be a magic string there < 1293941667 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :coppro: But then the servers do not have a standard way of retrieving it, and it won't work. < 1293941676 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: yes, that's a difficulty < 1293941691 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: but you don't have a standard way of asking for "cs" info < 1293941755 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Yes; the URL for the channel info would be secondary level specification, not a primary level; primary levels are the more standard ones. Secondary levels are used when the primary ones are insufficient. < 1293941793 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :(As if they are two separate RFCs or two separate chapters in one RFC, for example.) < 1293941892 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Also, the channel type symbol (#&!+) must be URL encoded using % and hex code, except for ! which can be written as either "!" or "%21". The # & + MUST be written using "%23", "%26", "%2b", respectively. < 1293942738 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293943284 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :There is a command on this IRC server I didn't know, the CHANTRACE command. < 1293943393 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Just put ChanServ in the URI < 1293943413 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hmm, no, that sucks < 1293943423 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ChanServ might not be the only thing gthat varies < 1293943430 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :gVaries, now using glib < 1293943610 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: It is why I have specified that there is "primary level" and "secondary level". < 1293945705 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :What is a algorithm for calculating standard deviation (using integers only)? < 1293946678 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :that sounds difficult, considering the average of integers is not necessarily an integer... < 1293946717 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :quintopia: I could also just calculating fixed point using integers < 1293948926 0 :hagb4rd!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1293951478 0 :zzo38!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293951876 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wants combat rations < 1293955199 0 :clog!unknown@unknown.invalid QUIT :ended < 1293955200 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1293955705 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :* chantrace :Outputs a list of members in #channel in ETRACE format, with the classname < 1293955705 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :* chantrace :replaced by the server the users are on. < 1293955709 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :@ zzo < 1293955921 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, you have a cloak on - right? < 1293955939 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :variable, why? < 1293955944 0 :Wamanuz3!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1293955958 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, because I think I just found your IP < 1293955966 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :*gasp* < 1293955975 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, not a major issue < 1293955983 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :but I want to know if cloaks actually work < 1293956004 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :variable, well, try finding the IP of someone who's cloaked. < 1293956023 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, your not? < 1293956044 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Unless it's possible to be cloaked without one's knowledge, I am not. < 1293956048 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :What made you think I was? < 1293956068 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, misreading my /whois < 1293956071 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :sorry < 1293956090 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION shrugs < 1293956100 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :cloaks work if you identify before joining a channel < 1293956114 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I had one for a while myself < 1293956124 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :coppro, I know how it works - I misread something < 1293956125 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :but now I have a hostname I'm not interested in cloaking < 1293956134 0 :Wamanuz2!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1293956150 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1293956161 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :hrm < 1293956176 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :damn you, grad courses < 1293956194 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :coppro, what courses? < 1293956259 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :variable: there's a course on logic next term I may sit in on < 1293956285 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :it's called "logic for comp. sci." by the registrar < 1293956290 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :coppro, cool < 1293956291 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :which leaves me guessing as to what it actually is < 1293956315 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :my favorite subject is logic :-} < 1293956351 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :but if it's anything like the previous logic course taught by the same prof (Advanced Logic in Computer Science) 5 terms ago, then it may be worth trying to maneuver my way around the dumb undergrad course < 1293956581 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure how far above my head it starts < 1293956602 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :but if it isn't too far, I would definitely love to take a real logic course rather than the blargh undergrad one < 1293956626 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :(provided, also, that I can convince necessary people that it is a good idea for me to replace the mandatory undergrad course with the grad one) < 1293956657 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :coppro, worst case just audit the class < 1293956966 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :variable: if I can find the time, sure < 1293956978 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :and/or if I can follow along < 1293957217 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :`/win 3 < 1293957246 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :No output. < 1293957594 0 :Wamanuz4!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1293957802 0 :Wamanuz3!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1293958208 0 :sftp!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293958711 0 :Wamanuz5!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1293958870 0 :Wamanuz4!unknown@unknown.invalid QUIT :Ping timeout: 265 seconds < 1293961005 0 :Wamanuz!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1293961140 0 :Wamanuz5!unknown@unknown.invalid QUIT :Ping timeout: 246 seconds < 1293962041 0 :Wamanuz2!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1293962212 0 :Wamanuz!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1293963560 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric : ais523: that... sounds like it could rapidly become more than £60 worth of pain <-- (for logs): why £60 specifically? < 1293964743 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :My parents insist that I never stopped talking since I was nine months old, but this video tape of me at my first birthday has a distinctive lack of any meaningful vocalizations :P < 1293966067 0 :Wamanuz3!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1293966257 0 :Wamanuz2!unknown@unknown.invalid QUIT :Ping timeout: 255 seconds < 1293966821 0 :Wamanuz3!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1293967003 0 :Wamanuz4!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1293967880 0 :MigoMipo!~John@84-217-13-27.tn.glocalnet.net JOIN :#esoteric < 1293970249 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, :D < 1293970721 0 :augur!unknown@unknown.invalid NICK :mauna < 1293970729 0 :mauna!unknown@unknown.invalid NICK :augur < 1293970883 0 :Phantom_Hoover!~phantomho@cpc3-sgyl21-0-0-cust116.sgyl.cable.virginmedia.com JOIN :#esoteric < 1293970883 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Changing host < 1293970883 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1293971046 0 :wareya!unknown@unknown.invalid PART #esoteric :? < 1293971831 0 :oerjan!oerjan@tyrell.nvg.ntnu.no JOIN :#esoteric < 1293972172 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :oerjan! < 1293972174 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :WAR! < 1293972228 0 :WAR!~phantomho@cpc3-sgyl21-0-0-cust116.sgyl.cable.virginmedia.com JOIN :#esoteric < 1293972247 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :That would have been a lot better if it hadn't had my name in the whois. < 1293972296 0 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1293972324 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I wanted to make the "plain.cards" file and "texnicard_format.tex" file also available in the book, so I wrote a program in AWK. < 1293972338 0 :WAR!unknown@unknown.invalid QUIT :Client Quit < 1293972347 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I don't think I have written a program in AWK before. < 1293972436 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :It works; but maybe I have done something 'improper' by not knowing programming with AWK, before. I don't know. < 1293972546 0 :zzo38!unknown@unknown.invalid TOPIC #esoteric :nice stuff at http://esolangs.org/wiki/Main_Page | retards at voxelperfect.net have expired | historical documents at http://tunes.org/~nef/logs/esoteric/?C=M;O=D or via hg at http://codu.org/projects/esotericlogs/hg/ < 1293972594 0 :Phantom_Hoover!unknown@unknown.invalid TOPIC #esoteric :turds at http://esolangs.org/wiki/Main_Page | turds at voxelperfect.net have expired | historical turds at http://tunes.org/~nef/logs/esoteric/?C=M;O=D or via hg at http://codu.org/projects/esotericlogs/hg/ < 1293972598 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :TURDS < 1293972632 0 :zzo38!unknown@unknown.invalid TOPIC #esoteric :TURDS at http://esolangs.org/wiki/Main_Page | TURDS at voxelperfect.net have expired | historical TURDS at http://tunes.org/~nef/logs/esoteric/?C=M;O=D or via hg at http://codu.org/projects/esotericlogs/hg/ < 1293972671 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Good enough. < 1293972855 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Is this considered a 'proper' program in AWK, or is there some things which I have done badly and could be improvement? http://sprunge.us/eLcc < 1293973370 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :why is SPARC system programming is soo undocumented < 1293973393 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :nooga: I don't know. Are you trying to write a program? < 1293973441 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :OS < 1293974137 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :beh < 1293975191 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :nooga, hm, how does SPARC deal with the register window thing when it comes to running out of registers. That is: what happens when call stack gets too deep? < 1293975221 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i don't know because i can't find the goddamn docs < 1293975225 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1293975237 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :something like intel's manual < 1293975277 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :I was wondering if it was handled by the hardware itself or if it invoked an exception handler which had to deal with it < 1293975629 0 :ais523!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293975645 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :going to reboot for kernel upgrade on the computer running this irc bouncer < 1293975647 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :bbl < 1293975656 0 :Vorpal!unknown@unknown.invalid QUIT :Quit: ZNC - http://znc.sourceforge.net < 1293976167 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders if it may be worth it to wipe out Ubuntu and just use Tinycore for his Linux needs < 1293976407 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :IIRC running out of register window "depth" generates an exception, and then an OS exception handler will do some stack-pushery. < 1293976488 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :nooga: http://developers.sun.com/solaris/articles/sparcv9.pdf not good enough for your purposes? < 1293977154 0 :sftp!~sftp@79.174.49.208 JOIN :#esoteric < 1293977212 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: lol, i'm stupid < 1293977224 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i found that earlier and forgot that i have it :G < 1293978123 0 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1293979425 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: "An overflow [of the register windows] causes a spill trap that allows privileged software [read: the OS] to save the occupied register window in memory, thereby making it available for use." < 1293979817 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :What are algorithms for calculating such things as standard deviation, etc? < 1293980096 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: http://en.wikipedia.org/wiki/Standard_deviation#Rapid_calculation_methods < 1293980284 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :That's a bit of a misleading title there, since it seems more about doing a running standard deviation; for the std of a particular n-point data set, I don't think there's typically anything much more cleverer than the straight-forward O(n) just-you-know-calculate-it thing. < 1293980372 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :The algorithm described there should work. < 1293980407 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :How large do you expect $s_2$ to become in case of a large set of cards? < 1293980477 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: well the clever thing about it afaik is that you can calculate it in one pass... < 1293980511 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: well it should be less than N times the square of your maximal value... < 1293980522 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Well, yes, that is what I was alluding to with the "running" part. < 1293980533 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(this is of course rather trivial) < 1293980547 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: mhm < 1293980594 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Anyhoo, quite often doing two passes is not a problem either. < 1293980614 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :The see-also "computing variance" article is a bit more comprehensive. < 1293981231 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, ah < 1293981290 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, presumably there is some trap when going the other way too? (In order to unspill when required) < 1293981311 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Yes, there's a "window underflow" trap too. < 1293981432 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :(And there are some complications because the OS needs to make sure one process can't manage to peek into the register windows of another process.) < 1293981442 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: you seem to know SPARCs pretty well < 1293981505 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, hm... You mean like, store/restore windows on context switch? < 1293981545 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :if so, not sure how much it differs from normal storing/restoring of registers on other platforms (such as x86) < 1293981548 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: It doesn't need to, because there are separate registers to mark some register windows belonging to "current process" and others to "other", and separate traps for those. < 1293981580 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :nooga: Not really, I've just read a bit back when doing our compiler course, which had a sparc backend. < 1293981592 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, but what if you have three processes? < 1293981617 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Then you'd have to manually keep track, but there's still some windows "owned" by the current one, and some by the others. < 1293981698 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, so the OS will spill/unspill as required then? < 1293981754 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, how much does this enforce a specific calling convention btw? I remember reading that (on x86/x86-64 at least) GHC uses a custom calling convention. < 1293981761 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Something like that. As far as I can determine, the idea is that if the current process only uses K register windows, you don't need to spill/fill the N-K unused ones. < 1293981812 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, right, but if it uses all N then this would mean more switches to kernel mode? < 1293981823 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :which are usually slow on most architectures < 1293981903 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I don't know about the tradeoffs, but there probably is one, yes. You could even have the OS maintain some sort of a per-process guesswork as to how many "clean" register windows it's going to prepare in advance on a context switch. < 1293981904 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Is there an algorithm that works better to calculate it if the sample values are already sorted low to high? < 1293981932 0 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1293981980 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, btw did I mention that mcmap bug? If you place a torch high up (about altitude 120 or above) you get a garbled mess on the map in a block around that area. Garbled both on normal map and on topo map. < 1293981985 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :(I don't think there is, but if you know of it, tell me) < 1293982012 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :zzo38, better than what? < 1293982022 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Yes, I saw that, though I already managed to forget it. < 1293982028 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :zzo38, and to calculate what? < 1293982070 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Standard deviation, I assume. < 1293982078 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, well, if you happen to have time to test it... < 1293982086 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, ah < 1293982138 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :See, if you had written this in the github issue list, I wouldn't have managed to forget it. I'll try to take a look at some point. It's probably related to the "max-alt trees cause flickering map-garbage" thing I saw on my local server tests. < 1293982196 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I know since it is sorted, it can easily calculate minimum, maximum, median. < 1293982387 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Which other statistics would be useful for a set of cards (such as for Magic: the Gathering and similar games)? < 1293982513 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Histograms of different categorizations? (I seem to recall MtG cards can be grouped into lands/creatures/instants/whatevers.) < 1293982566 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Yes, the category by card type. < 1293982617 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I can do like that, I already have grouping. < 1293982669 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Another question, about notation: if $Q_2$ is median, does $Q_0$ mean the minimum? < 1293982695 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I /think/ so, but Q_0 is not normally defined. < 1293982726 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :From Wikipedia: "The 25th percentile is also known as the first quartile (Q1); the 50th percentile as the median or second quartile (Q2); the 75th percentile as the third quartile (Q3)." < 1293982761 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :It doesn't mention $Q_0$ or $Q_4$ (or $Q_5$, but that doesn't make sense). < 1293982783 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Yes, so Q_0 and Q_4 could easily be read as the maxima and minima, but they're never actually defined. < 1293982805 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Well, "maximum and minimum", I suppose. < 1293982860 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I could just add a note next to the equation that explains this notation. < 1293982961 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1293982963 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Based on a quick source-glance, I don't seem to be verifying the y values in world.c:block_change, and an overflow there could possibly ruin both the heightmap and the surface map. I'll take a closer look later. < 1293982980 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :(I want to see what sort of numbers the server sends before blindly fixing that.) < 1293983003 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Second_derivative_test < 1293983070 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :More tales of my adventures in the maths class: when I pointed out that the teacher's proclamation that f''(x)=0 at a point said nothing about its nature, I was told to shut up. < 1293983112 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :The class being taught this were then informed that such a function would never come up, even after I pointed out that x^4 is clearly an example. < 1293983204 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: you must be SO POPULAR < 1293983257 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I am actually banned from setting foot in the maths department. < 1293983283 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :You might mess up the dangerous maths experiments. < 1293983364 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Mathemagical monsters: http://deltafunktio.animeunioni.org/dft_eka_osa.gif (Disclaimer: you... uh, might have to be able to read Finnish to understand any of that.) < 1293983371 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :"Safety: the natural logarithm is an irritant and should be washed away if it comes into contact with the skin." < 1293983430 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: I think it's better without. < 1293983488 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :"INTEGRAALI" < 1293983710 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, are the Finnish words for "oxygen" and "vulva" really only a letter apart? < 1293983735 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Both are required breathing for continued existence. < 1293983937 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I don't think so. But the words for "vulva" and "cone" (as in "pine cone", not as in "geometric shape") are. < 1293983959 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :That's even BETTER. < 1293983971 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :stop being a cont < 1293984001 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: As are the words for "oxygen" and a very colloquial term for the penis. < 1293984010 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :s/$/inuation!!/ < 1293984081 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :("häpy", "käpy" and "happi", "heppi", respecitvely.) < 1293984114 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, all similar! < 1293984126 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i take it finns are fond of happiness < 1293984133 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :There's more than a single-letter difference between häpy/happi, though. < 1293984144 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :They *are* quite close, I guess. < 1293984158 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Häpy heppi, heppi käppy. Käppy happi, happi häpy. < 1293984163 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Erm. < 1293984170 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Häpy heppi, heppi käpy. Käpy happi, happi häpy. < 1293984240 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Sharing consonants does not two words alike make. < 1293984241 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :no?? < 1293984246 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: does < 1293984253 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :shut up finnish l|_|z3r < 1293984275 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, consonants and similar phonetic properties if you don't know Finnish orthography! < 1293984292 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :We have several words where the double-consonant (or a double-wovel) makes a semantic difference. Like "taka" → "takka" → "taakka"; "back" (mostly as a prefix, like "takapuoli" = "backside") → "fireplace" → "burden". < 1293984316 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :How do you pronounce double 'k's? < 1293984330 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :takka on takataakka < 1293984339 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's a stop consonant, only longer-duration one. < 1293984356 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, you can have duration for a consonant? < 1293984358 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :[k:] < 1293984385 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Why couldn't you? < 1293984401 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Stop_consonant#Length < 1293984405 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :english has a few double-consonants too < 1293984410 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :bork < 1293984414 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, OK, a voiceless plosive consonant. < 1293984418 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Can you prove that Finnish isn't just a gigantic prank on the rest of the world? < 1293984430 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Can you prove that English isn't? < 1293984438 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Or C++! < 1293984452 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: Maybe it is, but if it is, it's a lot less funny than Finnish < 1293984454 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*Finnish. < 1293984465 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :More sad. < 1293984480 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, it's more what you get when you take about 3 languages and mush them together without thinking. < 1293984490 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :English is like "A man walks into a bar. He is an alcoholic and it's destroying his family." < 1293984524 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :`translatefromto en fi A man walks into a bar. He is an alcoholic and it's destroying his family. < 1293984533 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :http://www.youtube.com/watch?v=yL21sCWfnbE&t=1m8s "tuki" vs "tukki" < 1293984541 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :Mies kävelee baariin. Hän on alkoholisti ja se tuhoaa hänen perheensä. < 1293984570 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :(Disclaimer: I don't know if the guy knows what he's talking about, I just searched for an example) < 1293984692 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :The mode in Wikipedia is different from TeX; it has some commands that TeX doesn't and TeX has many commands that Wikipedia doesn't. Most equations probably works, though. < 1293984692 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Wait, is a long stop just one in which you wait for a bit before removing the obstruction from the airway? < 1293984710 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :zzo38, this is because it is, in fact, LaTeX, < 1293984721 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*EVILBLOATeX < 1293984722 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Something like that, yes. < 1293984769 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Does LaTeX not have any \def command? < 1293984799 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, so LaTeX is A Bad Thing as *well*? < 1293984809 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :IS THERE NOTHING THAT DOESN'T SUCK IN YOUR WORLD < 1293984811 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: No -- zzo38 just hates it. < 1293984815 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I think LaTeX is great. < 1293984820 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, oh, right. < 1293984837 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Well, there *is* nothing that doesn't suck in zzo's world, unless he made it himself. < 1293984894 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Isn't that just what the Wikipedia link I pointed at says: "In a geminate or long stop, the occlusion lasts longer than in normal stops. In languages where stops are only distinguished by length (e.g. Arabic, Ilwana, Icelandic), the long stops may last up to three times as long as the short stops." < 1293984915 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, that is indeed where I got it from. < 1293984941 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Oh, I thought you were trying to describe what Deewiant's video was like. < 1293984946 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :But phonetic language confuses me, not least because "stop" and "plosive" both seem to mean the same thing for no readily apparent reason. < 1293984963 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :(I find Plain TeX easier to understand and use; but there are some things I don't like in TeX and some things which I think are missing. In general it is good, though.) < 1293984971 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :That guy was going on about glottal stops, so I suspect he may have no idea what he's talking about. < 1293984975 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :However, "ex-stop" and "explosive" are a very different thing. < 1293984985 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, Swedish has double consonants too. With different effects on the pronunciation than for Finnish though. And sometimes with semantic differences. (For example sil = sieve, sill = herring) < 1293985032 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: What kind of effect, do you have to pronounce it longer? < 1293985041 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Or, louder? < 1293985051 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :zzo38, it modifies the preceding vowel. < 1293985082 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: OK. < 1293985120 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :`wl sv en sil < 1293985121 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :For Finnish it'd just be mostly a lenghtening. Compare "hila" (wicket/grate/grid) and "hilla" (cloudberry). < 1293985123 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :Sieve < 1293985147 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, as I said yes < 1293985158 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :You are probably not lying entirely! < 1293985169 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Our phonology is a bit on the simplistic side. < 1293985178 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Unlike EVERYTHING ELSE. < 1293985208 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Ooh, Wikipedia has examples, I don't need to invent any: < 1293985209 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric : tuli = fire, tuuli = wind, tulli = customs < 1293985209 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric : muta = mud, muuta = other (partitive sg.), mutta = but, muuttaa = to change or to move < 1293985212 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Finnish_phonology#Length < 1293985242 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :in Swedish the word "hade" (meaning "had") is pronounced as if it had been written like "hadde" btw. < 1293985255 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric : english has a few double-consonants too ← not any with syntactic meaning AFAIK. < 1293985288 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric : tuli = fire, tuuli = wind, tulli = customs <-- the last meaning I wound suspect is imported from Swedish, since sv:tull = en:customs. Either that or a common source for both. < 1293985302 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :well, not meaning. Word < 1293985337 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I mean double consonants that are pronounced longer < 1293985375 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I think it's mostly when combining a word that ends with the same consonant the other word starts with < 1293985424 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :and then Swedish has the fun word pairs like tomten/tomten, anden/anden and so on. (Same spelling, different pronunciation for different meanings. VERY subtle differences.) < 1293985454 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(isn't it just a change in stress or whatever it is called?) < 1293985460 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1293985485 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :in those examples, it's tonal differences rather than stress < 1293985489 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :olsner, ah < 1293985520 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :olsner, are there such examples with change of stress then? < 1293985559 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293985585 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1293985674 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :[Of Finnish:] "Thus, omenanani "as my apple" contains light syllables only, and has primary stress on the first syllable and secondary on the third, as expected. In omenanamme "as our apple", on the other hand, the third syllable (na) is light and the fourth heavy (nam), thus secondary stress falls on the fourth syllable. --" Nice example words there. < 1293985715 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: I think stress is what happens with our double consonants < 1293985732 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :olsner, ah, but no cases with same spelling then? < 1293985740 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Also, "omenanamme" = "as our apple", "omenan amme" = "apple's bathtub". < 1293985754 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: not that I can think of, but there probably are < 1293985941 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, hah < 1293985948 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Here's (in Finnish) two words that are spelled identically, but the stress differs: "-- for example the compound puunaama, meaning "wooden face" (from puu "tree" and naama "face"), is pronounced [ˈpuː-ˌnɑː-mɑ] but puunaama, meaning "which was cleaned" (...preceded by an agent in genitive, "by someone"), is pronounced [ˈpuː-nɑː-mɑ]." < 1293985991 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, "[...](...preceded by an agent in genitive, "by someone")[...]" <-- a cleaning agent? < 1293985998 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1293986032 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Unfortunately the stress-indicating bold font parts got lost. < 1293986038 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1293986046 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, well the channels filter bold I think < 1293986052 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :channel* < 1293986056 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ls < 1293986059 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :err wrong window < 1293986071 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :That should've been [*ˈpuː-ˌnɑː*-mɑ] vs. [*ˈpuː*-nɑː-mɑ]. < 1293986282 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, not as bad as the English words which are spelt identically but pronounced differently. < 1293986357 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, such as? < 1293986368 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :I can't think of any example atl < 1293986369 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :atm* < 1293986370 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Read and read. < 1293986377 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Tear and tear. < 1293986391 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1293986406 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Which are both because "ea" can be pronounced 'eh' or 'ee'. < 1293986480 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hm, Does any other language have the sje-sound of Swedish? I seem to remember reading it was unique < 1293986509 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :well, Finland-Swedish (or whatever the English name of it is) has it obviously < 1293986519 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Hmm... I wonder if fan #3 in this computer just doesn't have speed measurements available or why does lm-sensors say "0 RPM ALARM" about it... < 1293986567 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Ilari, open case to check. I know that in my computer it is due to not having a case fan. (only CPU fan, PSU fan and GPU fan, and sensors only report about the CPU fan) < 1293986573 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: does it though? some dialects has it as sh, seem to recall finland-swedish doing that too < 1293986591 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :olsner, they have a different variant of it, that's true. < 1293986695 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :olsner, hm arguably the sje-sound in kjol and stjärna are slightly different. At least in whatever dialectal mix I speak. < 1293986713 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :kjol doesn't have a sje-sound < 1293986723 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :olsner, what do you call that sound then? < 1293986810 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Today I learned AWK programming. < 1293986822 0 :cheater99!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1293986829 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: http://en.wikipedia.org/wiki/Sje-sound#Colognian < 1293986895 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: "Whether or not there is a relation between the Swedish /ɧ/, and the Kölsch /ɧ/, is not known. While none seems to have been established, comments (e.g. on page 18 in [3]) suggest that, the choice of ‹ɧ› might well have been based upon a misunderstanding." < 1293986901 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, does that text say they are different or the same. It seems to discuss that but I'm not good at linguistics. < 1293986913 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(basically I got lost in the jargon) < 1293986917 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: This is what you get when you let languages go all natural. < 1293986934 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: I know, I didn't say that it was in another language, I just linked it < 1293986941 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :And yes, that's what you get < 1293987005 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: I would call it http://en.wikipedia.org/wiki/Voiceless_postalveolar_fricative but wikipedia claims swedish kjol has a different sound < 1293987014 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1293987042 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :namely, this one: http://en.wikipedia.org/wiki/Voiceless_alveolo-palatal_fricative < 1293987084 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :olsner, also stjärna vs. sju. A quick experiment seems to indicate the position in the mouth of the sje-sound in those two words is somewhat different. < 1293987087 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :As a speech recognition guy, I think I'll petition the World Government (in our inevitable dystopic future) to instigate a "designed to be phonologically as simple as possible to distinguish" language instead. Maybe with just two (or very few) as-spectrally-different-as-possible sounds, and then all words are simple concatenations of those with none of this context-sensitive crap. < 1293987147 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: I propose mindlinks. < 1293987148 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: yeah, it merges with the vowel a bit, dunno if it's enough of a difference to call it different sounds < 1293987155 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :olsner, hm < 1293987494 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I've heard in a few places that this is the ugliest Finnish sentence(-pair) evar: "Älä rääkkää sitä kääkkää! En rääkkääkään!". (Translated, vaguely like: Don't torture that old guy! I'm not!) < 1293987506 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293987524 0 :LORD_NIETZSCHE!border_666@adsl-ull-195-38.47-151.net24.it JOIN :#esoteric < 1293987553 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1293987594 0 :cheater99!~cheater@g231049226.adsl.alicedsl.de JOIN :#esoteric < 1293987606 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, hah < 1293987616 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, you seem to have connection problems today? < 1293987617 0 :LORD_NIETZSCHE!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1293987628 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: um i think i've gone offline exactly twice? < 1293987630 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :who is LORD_NIETZSCH < 1293987631 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :who is LORD_NIETZSCHE < 1293987635 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :no clue < 1293987638 0 :LORD_NIETZSCHE!unknown@unknown.invalid PRIVMSG #esoteric :it's me < 1293987644 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :can his nick stop shouting < 1293987681 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :MOSFET < 1293987718 0 :LORD_NIETZSCHE!unknown@unknown.invalid PART #esoteric :? < 1293988025 0 :cheater99!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1293988046 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Who was Lord Nietzche? < 1293988050 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :What's updog? < 1293988050 0 :updog!unknown@unknown.invalid PRIVMSG #esoteric :What's updog? < 1293988176 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://userweb.kernel.org/~warthog9/april1/2010/ please tell me kernel.org actually looked like this on apr 1 < 1293988296 0 :j-invariant!~aaaa@unaffiliated/j-invariant JOIN :#esoteric < 1293988554 0 :cheater99!~cheater@g231049226.adsl.alicedsl.de JOIN :#esoteric < 1293989048 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, the upside-down K is the height of stupidity. < 1293989064 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :It is rather silly. < 1293989165 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :http://www.complexitygraphics.com/#708027/-About-Contact <3 < 1293989269 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :[[Graduated from Moscow State University in Social Psychology, and then studied in High Academic School of Graphic Design. ]] < 1293989271 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Pfff. < 1293989281 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :INFERIOR SUBJECTS. < 1293989283 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1293989289 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :her knees are too angular anyway! < 1293989303 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, wha? < 1293989306 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Meme. < 1293989332 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, wha? < 1293989335 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :wha? < 1293989354 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Wow, I never realised that the Oolite theme gets way better if you wait a bit. < 1293989380 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Define theme. < 1293989385 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Oh, the tune. < 1293989386 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1293989386 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Indeed. < 1293989490 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: guy in #anagol just said php is better than haskell < 1293989525 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :This I must see. < 1293989536 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: nothing else was said < 1293989551 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well at least tell them that they're an idiot! < 1293989582 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: http://sprunge.us/YTNc < 1293989604 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :17:31 Endres: um, but I think for me it is so < 1293989604 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :17:32 Endres: maybe not better, but... easier maybe? < 1293989615 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :not even gonna bother arguing ... 'specially since obvs not a native < 1293989627 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :easier? lol < 1293989636 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Wait, wasn't *your* first language PHP? < 1293989661 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: i think it was technically basic that i never tried to understand and just copied from a book < 1293989666 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :PHP should be evaporated together with every dedicated PHP programmer < 1293989671 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but um, pretty much php, yeah < 1293989673 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1293989677 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :to be fair i was 8 ok? < 1293989688 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, oh, so it was child abuse by someone. < 1293989697 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :no, i chose to learn it myself < 1293989701 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i was 10 when i tried Pascal, don't worry elliott < 1293989707 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :after learning that $favourite_website was written in PHP < 1293989721 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: i used odbc to communicate with an Access database in PHP < 1293989723 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I'm not kidding < 1293989738 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :man < 1293989742 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I need some alcohol to forget that now < 1293989747 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, wait, so you were using Windows as well? < 1293989759 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: this was before ubuntu even existed < 1293989760 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :nooga, Pascal was my first language soon! < 1293989764 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :*too < 1293989766 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: also we had a winmodem < 1293989769 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so linux is like ... no < 1293989783 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Followed soon by Python, then about a week later by CL. < 1293989814 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: You are the luckiest bastard. Seriously. < 1293989822 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, naaa. < 1293989827 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :soon ... "F < 1293989829 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric ::F < 1293989833 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :what's CL? < 1293989835 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: OK, Pascal is kind of shit, but it's not a /hideous/ language. < 1293989843 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Python is lame but really, it's not _that_ bad. < 1293989849 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: And then Common Lisp which is pretty damn good. < 1293989851 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: common lisp < 1293989859 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I stayed with PHP for about _two years_. < 1293989871 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Do you have *any* idea how warped my grey matter became? < 1293989875 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, it was when you were asked to conceive and implement a sort algorithm by yourself. < 1293989896 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Hm? < 1293989901 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :With a teacher who as far as I know was a Latin teacher who later became the computing teacher. < 1293989903 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I had no idea why you would ever abstract anything. No idea how to modularise code. < 1293989912 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :No idea that mixing code and, you know, output was in any way sub-optimal. < 1293989924 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I rarely used functions. < 1293989930 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I was _awful_. < 1293989933 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Two years. < 1293989934 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, that is indicative of bad PHP coding - not necc. the language itself < 1293989937 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Or so. < 1293989946 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :although I will say that most PHP examples are HORRIBLE < 1293989950 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: Perhaps. But PHP certainly lends itself to bad coding style. < 1293989951 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :elliott: don't worry < 1293989954 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :variable, yes, but when the language is definitely not conducive to that style... < 1293989954 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, agreed < 1293989958 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: And even when it's coded perfectly, it's still a horrible language. < 1293989976 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, it is not horrible for its purpose < 1293989980 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Yes. It is. < 1293989998 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :uhmit is horrrible for every purpose < 1293989999 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :trust me < 1293990005 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :variable: what purpose < 1293990011 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i code php for *cough* money < 1293990016 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :As someone who stayed in the awful confines of web development for too many years, let me say that yes, it is. Absolutely horrible. < 1293990018 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :FWIW, I actually got my self-conceived sort algorithm off the ground when I used CL. < 1293990029 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :elliott is right < 1293990030 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Hell, if you want to, I don't know, put the current date and time on a page. Even Perl is better. < 1293990051 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :But I gave up on doing it in Pascal when noöne could work out how the hell you got a function to return an array. < 1293990060 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I don't think you can even do that < 1293990070 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, nor did the teacher. < 1293990089 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: http://catseye.tc/about/php.html < 1293990106 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :The fourth paragraph of that is perhaps my favourite thing ever. < 1293990114 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :He basically told me to either use globals or alter the array passed to it. < 1293990125 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Already Phantom_Hoover knew the putrid stench of mutability! < 1293990185 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Yes, at that point I thought "forget that", then did it in Python and then CL. Of course, I mutated the array passed for those programs, too, but I was what, 13? < 1293990211 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :The algorithm was O(n^2), as well! < 1293990216 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I like how you're apologising for not being a rabid functional weenie by 13. < 1293990219 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i feel that i need to design a language that is extendable and elastic like scheme, concise like ruby or something and has a compiler that generates fast machine code < 1293990222 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :and then < 1293990227 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i will code only in this language < 1293990235 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: And is purely functional? < 1293990237 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Naw, thought not. < 1293990248 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :useless then < 1293990249 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :elliott: not Haskell < 1293990257 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: There are purely-functional languages that are not Haskell. < 1293990262 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Haskell isn't too extensible, either. < 1293990266 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i don't like them < 1293990280 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i like mixed paradigm languages, like ruby < 1293990283 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Well, not in the same sense that Scheme is. < 1293990297 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: Irrelevant; answer the question: mutable data? < 1293990334 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :immutable = useless < 1293990339 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: Ha ha ha. < 1293990342 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Your language sucks. < 1293990353 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :I LIKE to mess with arrays in-place < 1293990368 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :It amazes me how people still think, in 2010, that they should create a language that practically actively works against a programmer. < 1293990383 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Apparently the world has not yet learned that you don't put in "features" merely because they're easy to implement at the lower level. < 1293990390 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Otherwise you throw away abstraction. < 1293990404 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :look < 1293990437 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i know haskell is awesome and it's compiler is a piece of art < 1293990447 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :art LOL < 1293990456 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1293990458 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I would have claled it something else < 1293990459 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :clearly you have never seen ghc code < 1293990464 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nobody gives a shit what the compiler looks like < 1293990475 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :ACTION shivers at GHC < 1293990475 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :anyway i don't even like haskell all that much, it has many flaws, but that's irrelevant < 1293990483 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :the fact is that mutability is a serious, crippling design flaw < 1293990487 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what flaws? < 1293990493 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I can't use haskell :/ < 1293990501 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :And "it's not Epigram" does not count. < 1293990507 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: It's not Epigram. < 1293990535 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Typeclasses are restricted in probably-unavoidable ways but I don't like them anyway; no module system (a la ML, with functors (not that kind of functor); this is VERY important for abstraction and reuse) < 1293990540 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :and i like to have more expressive C with poorman's, basic oo, closures and ability to mess with the language itself < 1293990541 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Some syntax quibbles < 1293990545 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: and the fact that I don't like the IO monad < 1293990551 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :also, records with named fields are handled badly < 1293990552 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :etc ... < 1293990559 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what's wrong with the IO monad? < 1293990572 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: it's imperative. < 1293990575 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and impure. < 1293990580 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :ehh < 1293990591 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: If you disagree, see http://conal.net/blog/posts/the-c-language-is-purely-functional/ < 1293990611 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :it's funny that ppl try to make languages that work AGAINST common sense and our machines architecture < 1293990633 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: Programs are for humans first; machines second. P.S. That machines are imperative is a mistake of history. < 1293990638 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :See http://www.cs.york.ac.uk/fp/reduceron/. < 1293990648 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i know i know < 1293990655 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: And "common sense" is a term people use when they wish to portray an opinion as immediately obvious, without giving any logical reasoning to this. < 1293990659 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :if we had purely functional machines it would be sooo cooool < 1293990663 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :We do. < 1293990672 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :yeah... like < 1293990688 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :MIPS, x86, eeee, SPARC.... eee < 1293990695 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :none of them < 1293990701 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: http://www.cs.york.ac.uk/fp/reduceron/ < 1293990711 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :but nobody uses it! < 1293990715 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: if we had OS X and Linux it would be soo cooool < 1293990718 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, so what way of doing IO would you prefer? < 1293990721 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: but we don't, because 90% of people use Windows! < 1293990723 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :drat! < 1293990726 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :too bad OS X and Linux don't exist < 1293990729 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :go home everyone < 1293990731 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: FRP < 1293990749 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: (but that question isn't really relevant; you do not have to suggest something better to hold the opinion that something is bad) < 1293990772 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :17:50 < elliott> nooga: Programs are for humans first; machines second. P.S. < 1293990780 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: hmmmm < 1293990789 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: almost direct sicp quote :) or was it R5RS... whatever < 1293990793 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's true wherever it came from < 1293990794 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, but the fact that there seems to be no viable alternative makes complaining rather pointless. < 1293990798 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: FRP < 1293990809 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I know. < 1293990824 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: and that's sort of like dismissing the inventors of ${first purely functional language} because "Well, you haven't offered any replacements for ALGOL constructs like 'while'!" < 1293990855 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :It _is_ relevant to complain that an existing solution is bad; innovation has to handle the rest. < 1293990862 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Ideas for a better "haskell"CCC? < 1293990871 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: are those Cs typo? < 1293990877 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1293990954 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: Some syntax tweaks. Make named fields in records be handled much better (make them proper accessor objects, there are a bunch of things on hackage that do good-looking things for this); ditch IO monad replace with FRP integrate into my perfect OS :-P (you can't really do any of this perfectly in an imperative OS); get rid of typeclasses, replace them, and the "module" system, with a proper ML-style module system with modu < 1293990954 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :le functors and the like -- also maybe some ideas from Ur in this area -- ... < 1293990957 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: make it epigram ... < 1293990964 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: ... and then make it epigram some more < 1293991099 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :bah < 1293991100 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: also: redo the whole stdlib < 1293991111 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: proper numeric typeclasses (except, module signatures now, not typeclasses!) < 1293991114 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I'm a fan of not having an stdlib < 1293991123 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1293991127 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: maybe if you don't want a useful language :) < 1293991131 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: fine in Coq, not for Haskell ... < 1293991158 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :The first thing I do in Coq is turn off the massive stdlib and bootstrap my own tools :P < 1293991169 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :same with haskell < 1293991172 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: that's just because coq's stdlib is really shitty < 1293991177 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :me and stdlibs... we don't get along < 1293991180 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: and also because you presumably don't write actually useful Haskell programs ;) no offence < 1293991182 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :yes that's the point < 1293991182 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :HOW AM I SUPPOSED TO WRITE ANYTHING WITHOUT IO THAT CAN BE SYNCED WITH OTHER SYSTEMS < 1293991187 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :they tend to be shitty < 1293991195 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: i don't give a shit about your needs/wants :) < 1293991204 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :in @ it all works out perfectly of course. < 1293991214 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :how do you imagine purely functional OS < 1293991225 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :@ < 1293991227 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I mean you should still be able to do "import Numbers" or whatever it is you want < 1293991230 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :also see Urbit < 1293991243 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: but all this e.g. "Num" crap shouldn't be imported to all programs automatically < 1293991245 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: I think it's useful to have a decent base built in... no point starting with a lot of useless import declarations < 1293991250 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: Num is crap, but if it were better designed ... < 1293991252 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :elliott: what @ < 1293991254 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: @ < 1293991262 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric ::@ < 1293991267 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I don't think language designers are capable of making a good stdlib < 1293991288 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: as a language designer I think they are :) but i guess you could call me a language designer and a library designer < 1293991295 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :also the evolution of the language is at a different pace than that of the stdlib < 1293991303 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :not in @ :) < 1293991318 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :@ updates are almost as likely to update the language as the core stdlib, I'd say < 1293991332 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :@? < 1293991337 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :@. < 1293991345 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Pronounced "@". < 1293991357 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :@ is a macro expanding to whatever the final name of @ has. < 1293991358 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*is. < 1293991394 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :oh great < 1293991406 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :does it have a homepage? < 1293991417 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :no, it has no need of one. < 1293991421 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :the channel logs are an okay start. < 1293991445 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :nonexistant, useless < 1293991463 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: I don't care about your needs/wants. < 1293991488 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, but tonnes of the discussion was in private queries! < 1293991518 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hmm, @ has the deficiency of being hard to grep < 1293991541 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :10.09.19:07:41:54 alise: start writing aliseOS plz < 1293991545 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :But I thought it was *useless*. < 1293991735 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: i hire you to work on it < 1293991749 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, no dice! < 1293991755 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: why < 1293991794 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, because dice killed my family. < 1293991801 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: don't use dice then < 1293991813 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I CAN'T < 1293991815 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :ACTION sobs < 1293991940 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293992033 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: what about Idirs http://www.cs.st-andrews.ac.uk/~eb/ < 1293992046 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :closer to epigram than haskell < 1293992062 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: i know of idris yeah it seems kinda cool but i'm not convinced that full dependent types are a good thing in practice < 1293992084 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :huh? TRAITOR! < 1293992087 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: something like Ur/Web where you could write the /Web part yourself (i.e. code in all those static checks) -- that might be good -- it seems to have like 75% of what you'd want of dependent types in practice < 1293992094 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but is more, you know, decidable :) < 1293992098 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: nonono i love dependent types < 1293992101 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :cough < 1293992104 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: for theorem proving and formal verification and shit < 1293992117 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: i just think a 75% + stuff solution might be best for everything else < 1293992133 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: even to use something as simple as quotient types, I think you need full blown theorem proving < 1293992146 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: are quotient types that useful outside of theorem proving? < 1293992148 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :serious question < 1293992238 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :either j-invariant is having a worldview breakdown or has shunned me < 1293992415 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :actually you killed the whole channel *sputter, argh* < 1293992435 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :ACTION swatpans oerjan's courpse. < 1293992438 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :*corpse < 1293992448 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :He was too good for this sinful earth. < 1293992460 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :BRAINS. < 1293992473 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :MY GOD < 1293992480 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :MY SWATPAN IS MAGICAL < 1293992491 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :...if you say so. < 1293992837 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: how does this work?: < 1293992845 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: ? < 1293992864 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :module Z (inject, (+), (*)) where type Z = (N,N) ; inject :: N -> Z ... < 1293992881 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: what's that from < 1293992882 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, is that... Agda? < 1293992891 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nah doesn't look like it < 1293992899 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, yes it does. < 1293992903 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :no, it looks like haskell < 1293992906 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :uh it was meant to be haskell but now that I write it i'm not sure if it means what I wanted it to < 1293992907 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i hate 2011 < 1293992911 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Although with less Unicode and underscores. < 1293992918 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: are you trying to demonstrate ML modules or? < 1293992919 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :http://wronki.pl has AD 2011 bug :F < 1293992921 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :or are you just asking a really vague question < 1293992923 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :no nevermind < 1293992923 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :nooga, yeah, it's so BORING. < 1293992928 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: nono i want to understand < 1293992933 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :forget that code Ill start again < 1293992937 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :and i did it ;f < 1293992938 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1293992947 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: you can define integers as a quotient on pairs of natural numbers (you know that?) < 1293992956 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :just as a simple example < 1293992961 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : ifeq ($(shell expr "$(uname_R)" : '[15678]\.'),2) < 1293992961 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : OLD_ICONV = UnfortunatelyYes < 1293992961 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : endif < 1293992964 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :--git Makefile < 1293992965 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: yep < 1293992982 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: well the Works But Kind Of Horrible solution here is obvious < 1293992982 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: so in haskell you might well use this approach, not exporting the definition of Z but exporting functions to work with it < 1293992985 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: just define your own (==) < 1293992985 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1293992999 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :then MyModule imports that, uses the functions with Z to its hearts content and all is well < 1293993003 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1293993047 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :by all is well, I mean that every function MyModule can define respects the equivalence relation < 1293993077 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1293993083 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :you can't prove this in Coq < 1293993089 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1293993116 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :this makes no sense < 1293993149 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: what doesn't < 1293993158 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :well Coq's knowledge of modules is limited i think < 1293993173 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oh wait a second, it might be possible to prove this in Coq < 1293993202 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :if you implement a non-quotient version of Z and make a map between that and the quotient version < 1293993274 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I need to try this out < 1293993295 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :nooo nooo nooo < 1293993300 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :boring boring boring < 1293993303 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i can't work < 1293993394 0 :zzo38!unknown@unknown.invalid QUIT :Quit: All the letters on one side OK < 1293993517 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: have you ever looked at Clean? < 1293993847 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, what does this mean? 18:56:48 [DIED] world.c: 108: broken decompressed chunk length: 49 != 50 < 1293993870 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :chunk was meant to be X long, it was Y. i would presume. < 1293993877 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1293993887 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, Vorpal, fizzie, Deewiant, has anything actually been done on the MC server? < 1293993890 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: no < 1293993894 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: since when < 1293993900 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: ok < 1293993903 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, lately? < 1293993907 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :The last week or so? < 1293993997 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: can i rewrite mcmap in ML or something < 1293994216 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, won't that have a lot of overhead if your system is already having some problem with running both minecraft and mcmap at once? < 1293994228 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: not if I compiled it with MLton :) < 1293994237 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, oh? < 1293994255 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what is MLton? < 1293994258 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :jfgi < 1293994290 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, hm is it really that good? < 1293994306 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :good enough < 1293994326 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :not like mcmap is hugely resource-intensive or hugely speed-needing < 1293994369 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, true, I was thinking of memory overhead < 1293994384 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, which is the problem for me with minecraft alone < 1293994403 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :well, these sorts of compilers usually try and unbox everything. < 1293994416 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :try to yes < 1293994436 0 :Zuu!zuu@0x55529f1b.adsl.cybercity.dk JOIN :#esoteric < 1293994440 0 :Zuu!unknown@unknown.invalid QUIT :Changing host < 1293994441 0 :Zuu!zuu@unaffiliated/zuu JOIN :#esoteric < 1293994453 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :how well does it manage though < 1293994487 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :It's not like unboxing is hard. < 1293994500 0 :Zuu!unknown@unknown.invalid PRIVMSG #esoteric :ACTION unboxes elliott < 1293994641 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :FWIW, I think we should try proper survival multiplayer. < 1293994671 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott killing Vorpal every 10 seconds by "accident" would be rather amusing. < 1293994694 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: When the SMP server was up, I killed ineiros and got 64 mob spawners < 1293994697 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Alas, they spawned only pigs. < 1293994716 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, there *was* an SMP server up? < 1293994721 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Yes, for something like a day. < 1293994732 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Vorpal is too pussy to go on though. He'd just sit on IRC crying about his house. < 1293994740 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(Side note - if we do - it must be on the same map.) < 1293994951 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: It means the zlib truncation bug I tweeted (but Notch ignored) has actually resulted in an incomplete chunk update. < 1293994979 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Notch, fix actual bugs? < 1293994984 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Hahahahahahahahaahahahahahahhahahahahahahahahaha < 1293994997 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Too busy getting internet fellatio from Twitter. < 1293995026 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I may fix it to ignore those too, as long as the truncation affects only the light values, which I ignore. < 1293995033 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric : Vorpal: It means the zlib truncation bug I tweeted (but Notch ignored) has actually resulted in an incomplete chunk update. ← what are you responding to? < 1293995045 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: fizzie, what does this mean? 18:56:48 [DIED] world.c: 108: broken decompressed chunk length: 49 != 50 < 1293995046 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, to me < 1293995054 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :and I'm not a what < 1293995055 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, WELL DUH < 1293995158 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Yes you are. < 1293995182 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :Notch can't code < 1293995213 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :nooga, we know that better than you. < 1293995238 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: have you finished epigram yet < 1293995260 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :For instance, there's a bug which will crash any server whatsoever and can be done with effectively no privileges. < 1293995281 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :No, I'm not saying what it is, and noöne else who knows should either. < 1293995314 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover killed a server with 1,000 people on it permanently once with that bug. True story!* < 1293995315 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*False story < 1293995343 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :true for very false values of 'true' < 1293995765 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :solution < 1293995767 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :: < 1293995775 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :reimplement minecraft < 1293995806 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: NETCRAFT < 1293995808 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro: NETCRAFT < 1293995810 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :confirms it < 1293995951 0 :Zuu!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1293995962 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :where < 1293996021 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I don't work on epigram < 1293996027 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: well get crackin'! < 1293996030 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1293996032 0 :Zuu!zuu@unaffiliated/zuu JOIN :#esoteric < 1293996035 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: parametrized modules < 1293996056 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: if I have an isomorphism between M and M', then why don't I have an isomorphism between F(M) and F(M')? < 1293996060 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :Coq is stupid. < 1293996072 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: Because Coq is stupid. < 1293996075 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :does epigram have this? < 1293996085 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: Epigram has everything! Including kittens! Nah, I don't actaully know. < 1293996086 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*actually < 1293996101 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: if I could get an isomorphism between F(M) and F(M') I could have something like useful quotients < 1293996128 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: Doesn't every Coq story starting with "So I had this idea to implement quotient sets..." end with "...and it didn't work"? < 1293996139 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :maybe I should apply that mu- thing to a language with modules < 1293996146 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :XD < 1293996158 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :mu- thing? < 1293996174 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :it's smoe magic way to turn a programming language into a dependently typed one < 1293996205 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :they did it to a sort of haskell liek language and got a simple version of agda out < 1293996222 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: what happens when you apply it to C < 1293996226 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :if we throw modules in maybe we'll get quotients out < 1293996228 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :does it kill you and your family? < 1293996230 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: well it has to be a lambda calculus < 1293996233 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: LAME < 1293996238 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :the C calculus :D < 1293996255 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :who does NETCRAFT < 1293996272 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :coppro (coppro is the entire u/waterloo) < 1293996284 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :is it open? < 1293996294 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's NETTTTTTULATORY < 1293996296 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :OF HTHE THWEOITH IOEDFJHDFGMLKDFGNHDKL;FGH < 1293996299 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :check their website for opening hours < 1293996303 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: excerice, prove the theorem http://pastebin.com/6P2ydkcU < 1293996303 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1293996337 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: ... < 1293996349 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: for your homework, prove goldbach's conjecture < 1293996356 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well oerjan seemed afk < 1293996359 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :well,* < 1293996385 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: hmm < 1293996399 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :um < 1293996401 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: (+,N):Z :: (*,Z):Q :: (^,Q):?? < 1293996422 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :netcraft is an internet services company based in england < 1293996437 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga doesn't know who netcraft are lol < 1293996443 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga is young netcraft confirms it < 1293996445 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1293996460 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :^ isn't QxQ -> Q though < 1293996461 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: what's ?? :) < 1293996465 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: oh indeed < 1293996466 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: darn < 1293996474 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: (+,N):Z :: (*,Z):Q :: (^,Z):?? < 1293996502 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: it's easy to show that you can define an inverse-making-quotient operation given an operator and a set obeying a few rules and that f(+,N)=Z and f(*,Z)=Q... this much is obvious < 1293996512 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: just wonder what happens when you put in (^,Z) < 1293996512 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1293996513 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :well < 1293996518 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(a,b) represents a-b or a/b < 1293996518 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so < 1293996528 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :we were talking about minecraft reimplementation, not a company with rainbow logo < 1293996530 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(a,b) represents a((^)^-1)b < 1293996548 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so is it just log_a(b)? < 1293996599 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :well < 1293996603 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I think so < 1293996611 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(1/x,e) = x < 1293996613 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :er no < 1293996619 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: you work out what comes out :P < 1293996667 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :well obviously (x,x^n) = n < 1293996671 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1293996684 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :waiit < 1293996698 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's actually (x^n,x) = n < 1293996700 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :obviously < 1293996705 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: halp < 1293996712 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :confusion < 1293996717 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :right okay < 1293996720 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(x^n, x) = n < 1293996727 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :obviously it's log_b(a) < 1293996731 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :for (a,b)... < 1293996750 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1293996754 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :is it closed < 1293996765 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :WHO KNOWS < 1293996777 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: i think it's just Q with log to be honest... but then Q is just Z with divide < 1293996884 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293996892 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1293996903 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: does the mu thing have to be a lambda calculus strictly? < 1293996907 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :or can any similar-ish structure do < 1293996913 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I'd love to see a dependent-typed term rewriting language < 1293997024 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Realizability and Parametricity in Pure Type Systems < 1293997045 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: that'd require actual thought!!!! < 1293997138 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :We describe a systematic method to build a logic from any < 1293997138 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :programming language described as a Pure Type System (PTS). The < 1293997138 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :formulas of this logic express properties about programs. We define a < 1293997138 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :parametricity theory about programs and a realizability theory for the < 1293997138 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :logic. The logic is expressive enough to internalize both theories. Thanks < 1293997140 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :to the PTS setting, we abstract most idiosyncrasies specific to particular < 1293997143 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :type theories. This confers generality to the results, and reveals parallels < 1293997145 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :between parametricity and realizability. < 1293997148 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :awesome < 1293997178 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :and it cites View from the Left < 1293997185 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :therefore its' MEGAawesome < 1293997209 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: i wish i was cool enough to have my own dependent language :p < 1293997227 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :you can! < 1293997232 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: o rly < 1293997240 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :just pick some esoteric PTS nobody cares about and apply this paper to it < 1293997261 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: bah -- i still want a language based on dual-intuitionistic logic < 1293997265 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: paraconsistent type system, how cool is that? < 1293997273 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :function arrow replaced with "butnot" < 1293997283 0 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1293997319 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: hmm maybe i will try hacking up a dependent language < 1293997321 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it sounds like fun < 1293997342 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: one with delimited continuations? < 1293997351 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :you can prove stuff that Coq and Agda can't prove if you do that < 1293997351 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: you can implement them on top of a language can't you? < 1293997355 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :huh < 1293997367 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: i don't wanna start doing tactics and shit so maybe proving isn't what i should focus on for now :) < 1293997369 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but that sounds fun < 1293997372 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :there's this paper about it I don't really get it but an implementation would be interesting < 1293997372 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ACTION waits for ghc to finish compiling < 1293997381 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I just mean typing out lambda terms to prove things < 1293997387 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :right < 1293997430 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: maybe i can write a lazy specialiser for it and i will have succeeded in creating the Best Language :) < 1293997520 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: I wish Scheme was a better language because Ponzi Scheme is an awesome name < 1293997530 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1293997542 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i mean i have to write it < 1293997545 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :even though i don't really want to < 1293997563 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ok so scheme is actually pretty nice < 1293997573 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://esolangs.org/wiki/Brainfuck/w/index.php%3Ftitle%3DTalk:Brainfuck/index.php#Implementation i'm proud of this code, for all the awful shit it does it's pretty < 1293997618 0 :pikhq!~pikhq@174-22-154-243.clsp.qwest.net JOIN :#esoteric < 1293997631 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Grawr.\ < 1293997653 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I found out how to use stow with packages that refuse to even give you the time of day if you change the prefix. < 1293997686 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Oh? < 1293997739 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: ./configure --prefix=/usr/local && make && make install DESTDIR=root && mkdir /stow/foo && cp root/usr/local/* /stow/foo < 1293997750 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Just about everything supports DESTDIR so this works great. < 1293997757 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(Even Python's setup.py does.) < 1293997834 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Do I win a prize? < 1293998035 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: you know that de-bruijn-for-bound-stuff-names-for-unbound-stuff? < 1293998050 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :huh < 1293998054 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: that the epigram people do < 1293998063 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I am not a number, I am a free variable < 1293998065 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :or something < 1293998074 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :what about it < 1293998076 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: am i weird if i think we should just get rid of all non-local variables and just rewrite everything as a single lambda application < 1293998078 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i.e. < 1293998081 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :x=y;foo=bar < 1293998083 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :should just be < 1293998087 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :yes LOL < 1293998092 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(\x->(\foo->...)bar)y < 1293998097 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: not as in, the actual code we write! < 1293998101 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but i think compilers should do it like that < 1293998104 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so i'm weird right < 1293998118 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i mean an assignment like that is basically a let around the whole program < 1293998120 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :if everything is a lambda, then you can't step inside an abstraction cayou? < 1293998125 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and let x=y in z is just (\x->z)y < 1293998128 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: why not < 1293998138 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :because it's just another lambda in side? < 1293998147 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: that isn't really what i mean < 1293998151 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: i don't mean every object should be a lambda < 1293998169 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: I just mean that there should be no assignment or anything, it should just be lambda application to a constant :p < 1293998179 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and have everything be de bruijn < 1293998186 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's simpler to process :D < 1293998218 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :if you can get away with it, do it! < 1293998233 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"I'd like to thank this /r/programming thread http://bit.ly/eNygOX for helping me adjust to senescence." --pigworker < 1293998240 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :guess what thread it is < 1293998244 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I can guess :P < 1293998298 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: one issue with doing bindings in this way is that the order you choose is totally arbitrary ... and everything that passes some parameters to a module, if you add something to that module, all those break because the order changes < 1293998301 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :BUT THAT'S BORING PRACTICAL PROBLEMS < 1293998322 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :obviously we just redo every single piece of code every time a single byte changes < 1293998629 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: quick, what should i put in my silly language < 1293998650 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :quotients < 1293998665 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: that sounds really painful to do :> < 1293998716 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: (is it?) < 1293998722 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :no it shouldn't be difficult < 1293998734 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: can i add them after everything else or should i really do them first < 1293998745 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :it just needs to be done early < 1293998748 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1293998939 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: i am getting slightly disillusioned with all the provers :-. < 1293998941 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*:-/ < 1293998956 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: so am I but I try to hide it < 1293998962 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1293998979 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: let's go back to ridiculously dynamically typed, late-bound languages and write unit tests < 1293998988 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :unit tests? HAH < 1293998993 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I don't /test/ < 1293998998 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: Unit tests prove goldbach!!!!!! < 1293999002 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i ran 10^30 of them < 1293999004 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :all passed < 1293999017 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: (if I keep this up I'll turn into Zeilberger) < 1293999020 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :that's such a weird thought < 1293999021 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is still completely blown away by the recent PS3 hack... < 1293999029 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :or Chaitin... "Add an axiom!" < 1293999049 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :what PS3 hack? < 1293999075 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: http://i.imgur.com/rwmHO.png The PAXEL < 1293999078 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: oen of my concerns is how large scale programming can work < 1293999095 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: The hack by fail0verflow, which contains all of Team Twiizers, detailed at 27C3 recently. < 1293999099 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: category theory may be the solution to it < 1293999100 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: this is why i was talking about a 75% solution for all the not-just-pure-proving work < 1293999102 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: Well, rather, the *set* of hacks. < 1293999116 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: like, I don't look at Idris or Ur and think "will this scale to bigger things..." < 1293999118 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: The most hilarious one is that they have the signing key now. < 1293999138 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :wow < 1293999172 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :You see, Sony signs things using ECDSA, which requires, as part of the algorithm, a cryptographically secure random number. < 1293999179 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sony, however, uses a *constant* instead. < 1293999190 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1293999194 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Which allows you to get the private key using simple algebra. < 1293999229 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :"Sony seem to have just randomly sprinkled crypto on the PS3 as magical pixie dust. Wackier crypto usage MUST be more secure, right? Right?" < 1293999232 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :So, the PS3 is as hacked as it is possible to be. < 1293999314 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :that is incredible < 1293999319 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :They also discovered a handful of buffer overflows in un-reflashable code that would allow one to make a mod chip that Sony couldn't do anything about, but that kinda pales in comparison to it being *literally impossible* for Sony to do anything about everyone being able to sign anything. < 1293999322 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric : Phantom_Hoover: http://i.imgur.com/rwmHO.png The PAXEL ← WANT < 1293999336 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I guess the PS3 devs grew up writing websites that don't santies SQL inputs < 1293999375 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: there's actually a mod for it lol < 1293999378 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :except it looks slightly less silly < 1293999388 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, WE MUST INSTALL IT < 1293999389 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: obviously we can solve that with DEPENDENT TYPES < 1293999392 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: client only < 1293999410 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, NOOOO < 1293999421 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It is, in fact, more hacked than the Wii now. < 1293999595 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: http://dl.dropbox.com/u/14765180/AnimalCrafting/screenshots/animalcrafting16.png WORST TEXTURE PACK < 1293999634 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what is that stuff meant to be? < 1293999642 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Gravel. Seriously. < 1293999654 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://i.imgur.com/1Z1Bw.jpg omg that reminds me i need to install ambient occlusion. and painterly. < 1293999688 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :That animalcrafting16.png reminds me of one of the early 3D Sonics, for some reason. < 1293999704 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's animal crossing methinks < 1293999721 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: lol the reddit thread is filled with OMG WHAT TEXTURE PACK < 1293999724 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's painterly you idiots < 1293999963 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :wut < 1293999978 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :what < 1294000000 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :so what;s with this reimplementation < 1294000029 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nooga: what reimplementation < 1294000102 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: On CMOS in Minecraft: "This is the best idea in the history of minecraft. Or at least slightly behind the idea of the character being able to pee, I think that is important also." < 1294000114 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :CMOS? < 1294000123 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://www.minecraftforum.net/viewtopic.php?f=1&t=45590 < 1294000213 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Phantom_Hoover: http://getsatisfaction.com/mojang/topics/will_here_be_dragons_or_other_flying_mobsters_in_the_air_in_the_berworld#reply_4040443 < 1294000217 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Oh god I cannot stop laughing < 1294000225 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :elliott: reimplementation of minecraft < 1294000253 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, that is the best dragon ever. < 1294000262 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: He is so happy. Unintentionally. < 1294000263 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :it's funny how everyone left digg for reddit, now people rae leaving reddit < 1294000268 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: For what :p < 1294000277 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Also nothing like a dragon at all which is just amazing. < 1294000279 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :there doesn't seem to be anything < 1294000285 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: ahahahaha oh god i just saw his eyes < 1294000287 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :http://blog.tmorris.net/bye-reddit/ < 1294000289 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I thought the eyes were the nostrils < 1294000291 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :at the front < 1294000307 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: that was the guy who said he was going to kill himself in all the irc channels he was in a few years ago. < 1294000319 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: that's what I know him for :-P < 1294000324 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ACTION reads post < 1294000355 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1294000365 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1294000381 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: i wonder why because of quad's post ... it's supremely idiotic but isn't it obvious that nobody actually agrees with him? < 1294000444 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :heh ... just checked hacker news < 1294000448 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :that idiot kroc camen is at #1 < 1294000452 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :IS NOWHERE SAFE < 1294000503 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :kroc camen? < 1294000507 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: this idiot. < 1294000508 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Cabal-1.10.0.0-8b2e042500a42b47b6b121795bb9262f is unusable due to missing or recursive dependencies: < 1294000509 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : process-1.0.1.4-2a42745dbb9dd3c8087608f127411124 < 1294000522 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :?? < 1294000547 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: what < 1294000800 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, which idiot? < 1294000806 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :an idiot < 1294001069 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, that's quite possibly the least specific identifier EVER. < 1294001085 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: an entity < 1294001106 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :*non-obviously-flippant < 1294001141 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i flip ants < 1294001163 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: please please please get Ubuntu working on this. < 1294001189 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, no. < 1294001217 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: why < 1294001240 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, you betrayed Debian in a Sgeoesque display of infidelity! < 1294001247 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: BAH < 1294001250 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*Sgesque < 1294001607 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, also, you are a stooge of SHUTTLEWORTH < 1294001608 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Yay, got that AONT code written (uses AES and SHA-256)... < 1294001615 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: *WORTHY SHUTTLE < 1294001636 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, YOUR TIME AT HOOVER HEAVY INDUSTRIES IS AT AN END < 1294001644 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: OK. Can I still steal TNT? < 1294001644 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Ilari, you can be his replacement! < 1294001664 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, you can't use company TNT unless you concede that Shuttleworth is EVIL. < 1294001685 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Of course he is. http://geekz.co.uk/lovesraymond/archive/cancomical-lynchpad < 1294001703 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, welcome back to HHI! < 1294001717 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I don't want to join until you read every Everybody Loves Eric Raymond comic ever. < 1294001735 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I've read most of them, if not all. < 1294001756 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if there will ever be a new one. < 1294001774 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"December 21, 2012 – A new ELER strip is published. < 1294001774 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sometime after, millions of *nix administrators die of a shock induced heart attack, and critical infrastructure is left unmaintained. Major companies go bankrupt as their servers succumb to threats normally mitigated by vigilant admins. The economies of the United States and the European Union collapse. Major military powers blame the incident on Chinese cyberwarfare, and invade the nation. Nuclear war ensues." < 1294001780 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I... that... is actually plausible. < 1294001782 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Certainly, all the links are purple. < 1294001789 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ACTUALLY PLAUSIBLE. < 1294001824 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"Checked ELER for update, as friend asked me had I seen latest post. Friend is now on a certain list. Oh yes…." < 1294001848 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: http://esr.ibiblio.org/?p=2575#comment-279450 "while arguably, I *am* in fact a world-changing figure" --esr < 1294001962 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :ESR SO CRAZY < 1294001977 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :The fact that the man is allowed anywhere near a gun is something I will never understand. < 1294002013 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :[[His highly respectable work and expertise in computer technology has been all but overshadowed by his batshit insane wingnut tendencies in the wake of 9/11]] — RW on ESR < 1294002019 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Highly respectable HAHAHAHAHAHA < 1294002046 0 :poiuy_qwert!unknown@unknown.invalid QUIT :Quit: This computer has gone to sleep < 1294002131 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ACTION corrects < 1294002168 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Pleasepleaseplease do that. < 1294002185 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: http://rationalwiki.org/w/index.php?title=Eric_S._Raymond&diff=707432&oldid=695156 < 1294002190 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: ADD A NEW REVISION ON TOP BEFORE HUMAN REVERTS ME < 1294002219 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"The worst part of all is that he blames Alan Turing for his judicial punishment and suicide, even though Raymond, like every other computer programmer, owes Turing his career." < 1294002222 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :He does? Ha < 1294002227 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: AD DA REVISION ADD A REVISION QUIIIICK < 1294002230 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :IT WON'T LAST LONG < 1294002235 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :what the hell? < 1294002242 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :el < 1294002245 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, http://rationalwiki.org/wiki/Talk:Eric_S._Raymond#Utter_madness < 1294002252 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :he doesn't owe Turing anything < 1294002258 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :what an absurd statement < 1294002264 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: it's rationalwiki it can't be right < 1294002265 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Note David Gerard's statement. < 1294002266 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :or sane or reasonable or < 1294002291 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, OTOH, he was saying that "Turing was asking for it", which is appalling beyond words. < 1294002301 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Who cares — the article is already crap anyway. < 1294002304 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :[[Um, no. INTERCAL is one of the things that is ESR working in his sphere of powerful competence.]] < 1294002304 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :"His highly respectable work and expertise ..." ~~> "His questionable work and expertise in computer technology ..." hahahaha < 1294002309 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1294002319 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Add a damned revision to the article already so mine doesn't get reverted. < 1294002324 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Just tweak the formatting of my edit :P < 1294002325 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :HE MERGED SOME GIT HUBS SO POWERFULLY COMPETENT < 1294002333 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: ^^^^ < 1294002333 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Er, s/HUBS/THINGS/ < 1294002349 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Also TO BE FAIR he did originally write C-INTERCAL, but the code wasn't very ... good. < 1294002416 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: So, is there any actual obstacle to using stow? < 1294002437 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, done. < 1294002441 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: yay < 1294002456 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Hey, you removed the amusing bit. < 1294002460 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Oh, just footnoted it. < 1294002575 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, [[I do not like this article because it does not sufficiently acknowledge what ESR is good at and famous for. He wrote large chunks of libgif and libpng - without him your web browser would be a much sadder place. He has code in every Linux-based gadget you use - if his contributions disappeared, your broadband modem and even your television would be bricks.]] < 1294002583 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :— David Gerard < 1294002589 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Seen, yes. What of it? < 1294002598 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, is this complete crap? < 1294002621 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I think it's factually correct (probably), but it doesn't really matter much. < 1294002629 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Parsing GIFs and PNGs is not some huge innovation. < 1294002649 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Also it doesn't invalidate my footnote which states that it's /hard/ to find such a list which is true. < 1294002675 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I have some kind of negative thought linked to David Gerard's name in my head but I don't know why. < 1294002768 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: maybe i'll use my crazy Transaction type in this lang < 1294002836 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Fun stuff with AONT: Pad messages to fixed size and do AONT on each. Pick HMAC key for each message, chunk messages and compute HMACs for chunks and append the MACs to chunks. Then perform random in-order merge of chunks. If there are enough chunks per message and at least 2 messages, that's difficult to untangle without HMAC keys. < 1294002874 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, David Gerard has been... not trolling, but being a pain at Less Wrong. < 1294002891 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :For extra fun, couple chunks containing random data can be added... < 1294002892 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Uh, other than symlinks sucking, no. < 1294002906 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Howso? < 1294002914 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I wonder how the GNU System guys didn't think of using DESTDIR. < 1294002927 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: They do. < 1294002935 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, not sure. Look at the RW LW articles: he wrote a great deal of them. < 1294002965 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: You mean [[Less Wrong]] on RationalWiki? < 1294002967 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Basically, that allows making data undecode multiple ways with possibilty of junk that just doesn't undecode. < 1294002972 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, yes. < 1294002984 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Scared to do that — Reddit Atheists react explosively when confronted with people who are actually rigorous about it. < 1294002993 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, he's also part of the Wikipedian Bureaucracy. < 1294002999 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Found that by Googling. < 1294003006 0 :Sasha2!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1294003048 0 :Sasha2!~WHAT@75-174-221-10.phnx.qwest.net JOIN :#esoteric < 1294003064 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: '"rationalists"'. < 1294003069 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Oh scare quotes. < 1294003075 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Then ... why is it blocking a release? < 1294003104 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Aren't you an admin? < 1294003123 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Oh wait, I forgot, RW goes by the Wikipedia Administration model, where admins are given endless powers but actually using them is taboo. < 1294003125 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, at RW? Sure, but the criteria for that are more or less the same as for autoconfirmation. < 1294003127 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :/troll < 1294003153 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: A) They don't *want* to use stow. B) stowfs does not work yet. < 1294003157 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://rationalwiki.org/w/index.php?title=Special%3AListUsers&username=&group=sysop&limit=50 < 1294003160 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Dear god how many are there. < 1294003166 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, a few hundred. < 1294003176 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Over 500. < 1294003178 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :FWIW, I'm also a bureaucrat for reasons unclear to me. < 1294003183 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Do they realise that they have almost as many sysops as Wikipedia? < 1294003186 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Or maybe even as many? < 1294003191 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :elliott: C) That's not actually a major blocker; a major blocker is that HARDLY ANYTHING ACTUALLY HAPPENS WITH IT AT ALL. < 1294003205 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: From using stow I actually kinda like it... < 1294003214 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, you fail to understand that a significant driving force behind RW's policy is being the opposite of Conservapedia. < 1294003223 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: RATIONALWIKI PREDATES CONSERVAPEDIA (iirc) < 1294003235 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, the symlink thing is the only really *bad* thing about stow, and it's not *that* bad... < 1294003237 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, erm... no it doesn't. < 1294003246 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: It doesn't? Well that explains ... a lot. < 1294003273 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I guess nobody realised that the opposite of Conservapedia is LiberalUnjustifiedNutjobPedia. < 1294003293 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, naw, that exists too, it's just *profoundly* unfunny. < 1294003307 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :http://liberapedia.wikia.com/wiki/Main_Page < 1294003312 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: It exists and it's called RW. Also isn't that Lumenos' thing? < 1294003330 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Imagine a female zzo. Then imagine her attempting to be funny. < 1294003331 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :If you say "but RW is humorous", well ... I can't bring myself to take Conservapedia seriously either. :P < 1294003353 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: "Libertarians aren't keen on illegal immigration, but liberals always sort them out." Err? < 1294003366 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, don't let it trouble you. < 1294003374 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: It just ... ist hat meant to be funny? < 1294003375 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I don't get it < 1294003387 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, again, it was written by zzo's distaff counterpart. < 1294003401 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Too man contractions < 1294003438 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :zzo? zzo38? < 1294003470 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*many < 1294003473 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I know. < 1294003475 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I meant in the text. < 1294003477 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Of Liberapedia. < 1294003484 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: [[If you indicate your disagreement with the local belief clusters without at least using their jargon, someone may helpfully suggest that "you should try reading the sequences" before you attempt to talk to them. The "sequences"[6] are several collated series of Yudkowsky's blog posts, and there are eighteen sequences in all. The indexes for just the four "core sequences"[7] are somewhere north of 10,000 words. Those < 1294003484 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :link to over a hundred and fifty 2,000-3,000-word blog posts. That's about 300,000-450,000 words for those four. For comparison, Lord Of The Rings is 454,000 words.[8] As such, "You should try reading the sequences" is LessWrong for "Godspeed" "fuck you."]] < 1294003489 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: tl;dr "Reading is hard"? < 1294003528 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well, saying "read this hefty tome" in an argument isn't a very good idea. < 1294003568 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: It's sort of like expecting you to have read the Bible on a Christian debate forum ... (I know, I know, that choice of analogy is just giving ammo but I don't care.) < 1294003571 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: As bad as RationalWiki is the Richard Dawkins forum is worse. :p < 1294003614 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, of course. RW is at least /ostensibly/ without any opinion on religion. < 1294003652 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: In attempting to interpret that sentence of yours, my brain stumbled upon a world where the definition of "ostensibly" is "not". < 1294003661 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Disturbingly that seems to be the real world. < 1294003718 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well, there are quite a few theists, and they get along fairly well. < 1294003727 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: O god, the RW article mentions the Amanda Knox case. < 1294003754 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Hmm? < 1294003761 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Murder of Meredith Ketcher. < 1294003774 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: As far as I can tell the entire Richard Dawkins forum is united in considering Amanda Knox 100% guilty without actually presenting any evidence at all or... anything; the courts agree. Less Wrong is of the opposite opinion. < 1294003803 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I can't actually understand _why_ the RD forum agrees except that Reddit Atheists have this strange tendency to put undue trust in authority, presumably because they also believe all the most popular scientific theories without actually looking into them themselves. < 1294003811 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Such a strange world. < 1294003818 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(And by that I mean the whole world.) < 1294003848 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, trusting the prevailing scientific theories is just the only way to get by in the world. < 1294003855 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Certainly. < 1294003861 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: But it doesn't mean you should generalise that to "trust authority". < 1294003894 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I don't have any /evidence/ that Reddatheists think this, but it's the only theory I can come up with for things like their absolute unwavering trust in, e.g. courts. < 1294003929 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, particularly odd, given that Dawkins himself is no fan of the legal system. < 1294003954 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I love Dawkins. It's his fans I'm not too keen on. < 1294004056 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: BTW, the Amanda Knox thing is http://lesswrong.com/lw/1ir/you_be_the_jury_survey_on_a_current_event/ http://lesswrong.com/lw/1j7/the_amanda_knox_test_how_an_hour_on_the_internet/; those posts have links to the Richard Dawkins forum, but if you replace "Don't be stupid, everyone can see that Amanda Knox is insanely guilty" mentally that's pretty much the exact content of the RD threads. < 1294004368 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :It still irks me that they ask for probabilities. < 1294004558 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: The LW-consensus is that an aversion to giving numeric probabilities is basically an artefact of human wetware. < 1294004589 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, but... I mean, do they have calculations for it or what? < 1294004599 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: "Your probability *estimate*". < 1294004626 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: It's meant to be rough, just like any guesswork. Numbers aren't inherently "precise". Note: I am giving my perception of the LW consensus, not supporting it or agreeing with it. < 1294004718 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :eat < 1294004767 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Hmm... Returning to that fan problem... At least CPU fan and main case fan both work... < 1294004797 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :(dunno about PSU fan) < 1294004801 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, incidentally, Ilari is now your subordinate at HHI. < 1294004812 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Also, GPU fan appears to work... < 1294004816 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :HHI? < 1294004816 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Ilari: Do whatever. The paychecks will come at regular intervals. < 1294004825 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Is it bad to try and establish a utopia of laziness with my position? < 1294004837 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Ilari: Hoover Heavy Industries, the most fake corporation of fakeness. < 1294004852 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I'm still not sure what kind of entity it is. < 1294004866 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: It's a militacountrypany! < 1294004879 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, OMG HHI in Oolite. < 1294004894 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: OH GOD < 1294004895 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*Oh god < 1294004916 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I would really play an Oolite MMO... I realise it's a non-trivial problem but I would honestly subscribe to a pay-monthly Oolite MMO I think. < 1294004924 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: EVE is just so boring and hard to get into. < 1294004928 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, yeah, but even then. < 1294004941 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Even then what. < 1294004952 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Even in a world of Platonically ideal computers, Braben would sue the hell out of the people running the MMO. < 1294004985 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :He's hardly easy-going about the rights to Elite. < 1294004986 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Even if the ship names were changed? Presumably it'd take place in a new world anyway. < 1294004995 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: You can't copyright gameplay itself. < 1294005007 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Change the names, make new designs, redo the UI. < 1294005009 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, by this point you can always just look at Infinity and sigh. < 1294005020 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Who cares about landing on planets. < 1294005034 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, there is actually an OXP that lets you do that... < 1294005043 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1294005126 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Although it basically just consists of flying into the planet and getting a docking effect. < 1294005179 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :What's there? < 1294005232 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :[[Go to your preferences, select monobook as your default skin and never again worry about the horrible new crap mediawiki wants to inflict on you. That's what I did, anyway. --JeevesMkII The gentleman's gentleman at the other site 15:18, 30 December 2010 (UTC) < 1294005233 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::That's the right conservative attitude. --Idiot numbre 188 (talk) 16:26, 30 December 2010 (UTC)]] < 1294005236 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I should stop reading RW, it's bad for me. < 1294005241 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I even /like/ Vector but COME ON. < 1294005283 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Well, Vector does have the font size problem. < 1294005300 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"Font size problem"? < 1294005342 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :What is it with people and No True Scotsman. I see No True Scotsman misused more than I see actual No True Scotsman. < 1294005343 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :It is well-documented that the text is far far far smaller than Monobook's on many computers. < 1294005379 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :If Dawkins announced that he was a Christian, and then kept doing EXACTLY THE SAME THINGS HE DID BEFORE FOREVER, and someone said then RD wasn't actually Christian, someone would bring out No True Scotsman. < 1294005398 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Just because he publishes books and speaks in public about how all religion is false doesn't make him not a Christian! SCOTSMAAAAAN < 1294005401 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Really? < 1294005405 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: s/computers/browsers/. Probably. < 1294005410 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I've never seen that. < 1294005437 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I did when WP started using it. < 1294005488 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Oh god I forgot how amazing http://www.youtube.com/watch?v=ZW2qxFkcLM0 is. < 1294005491 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Admittedly, Vector has a smaller font size anyway, but it was more pronounced. < 1294005540 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :LOL < 1294005565 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: lol at the trailer? or < 1294005568 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1294005571 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :this is hilarious < 1294005572 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's amazing :D < 1294005575 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i would so have gone and seen it < 1294005585 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :it's a parody of a real film no? < 1294005596 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: it's the trailer to "2012", recut with bongos < 1294005599 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and 70s < 1294005600 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1294005616 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Also stupid scrolling text. < 1294005769 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: *awesome < 1294005769 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, agreeing with you: that is a horrible misuse of No True Scotsman. It has a very particular syllogistic form that I've almost never actually seen used < 1294005802 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :the flaw has nothing to do whether someone or something is or isn't in a group :-\ < 1294005806 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :[[ Hamish is shocked and declares that "No Scotsman would do such a thing." [Brighton is not part of Scotland.] ]] — Antony Flew (before he got old and crazy) < 1294005809 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Best [] note ever. < 1294005817 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, true < 1294005829 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Oh, he died. < 1294005869 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, Antony Flew? < 1294005876 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: He did indeed. < 1294005894 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: (The populariser of No True Scotsman and famous atheist who later got old and was convinced to agree that God does actually exist.) < 1294005899 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(Then he died.) < 1294005902 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :the pure logical form is: (a) All members of the set of A lack the trait T. (b) X is a member of A (objection) X has trait T (c) X is not a True A < 1294005903 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :ACTION swatpans elliott to within an inch of his life --==\#/ < 1294005915 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Do you remember when almost all the examples of forms of argumentation on Wikipedia were between Father and (precocious) Daughter? < 1294005919 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :That was hilarious. < 1294005926 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, ...no. < 1294005931 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: It was amazing. < 1294005951 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :SHOW ME < 1294005957 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, one thing I'm *really* good at is logic :-} < 1294005960 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: In one of them the father argued for tolerance of all beliefs, then the daughter went "Well, you CAN'T say that because you have to be tolerant of the belief that it's BAD to be tolerant!" and oh god < 1294005970 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I'll try and find it. < 1294006008 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Can't. < 1294006030 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: I wonder whether I should do this with she. < 1294006063 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :{-# LANGUAGE TypeOperators, GADTs, KindSignatures, RankNTypes, TypeFamilies, FlexibleContexts, NoMonomorphismRestriction #-} < 1294006065 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I think I will < 1294006066 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :{-# OPTIONS_GHC -F -pgmF she #-} < 1294006070 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: I call that "Tuesday" < 1294006130 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ACTION edits keyboard layout, changes £ to # < 1294006135 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nobody talks about money and I need my hash < 1294006158 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, have you ever actually seen NTS used correctly? < 1294006164 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: not that I know of < 1294006165 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, HAHAHA YOU HAVE A CRAPPY MAC KEYBOARD LAYOUT < 1294006171 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it appears to be a vanishingly rare fallacy in practice. < 1294006186 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :mostly because there are easier-to-make, more convincing ones. < 1294006203 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, yep < 1294006217 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"To open kluchrtoxml, you need to install Rosetta. Would you like to install it now?" < 1294006218 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Lol, powerpc < 1294006234 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :stupid VLC and mplayer can't play my DVD < 1294006258 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :mplayer plays everything, you did something wrong < 1294006284 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, it should be mplayer dvd:// -dvd-device /dev/acd0 < 1294006285 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :right? < 1294006290 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I dunno :D < 1294006488 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: SHE can't do < 1294006488 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: I wish Type:Type was consistent < 1294006488 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :data (:/:) (r :: *) :: {Poly r} -> * where Q :: r -> r :/: p < 1294006489 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :type Gauss = Integer :/: {x^2 + 1} < 1294006501 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: Indeed, I doubt it can :P < 1294006505 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :It's not a full language, man! < 1294006523 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: That's cool though. < 1294006526 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :But I doubt it's possible :P < 1294006601 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: nicer than plain haskell though < 1294006603 0 :Behold!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1294006801 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1294006939 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :how does urxvt NOT have unicode support.... < 1294006942 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is really confused < 1294006991 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: it does < 1294007000 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: :( she can't have types which are dependent on themselves < 1294007007 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: i.e. a constructor of type T takes a dependent T < 1294007055 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, any unicode character shows up as ? < 1294007063 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: you set encodings wrong < 1294007074 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :what should I change? < 1294007081 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: depends :) < 1294007088 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I don't see what you mean < 1294007095 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: hm i think i did it wrong < 1294007103 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Sigma :: {a:Type} -> Term {Pi (TypeI Z) (TypeI Z)} -> Type < 1294007111 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :the output for that tries to use : as a type operator and stuff so no it's not that < 1294007113 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh does it have to be :: < 1294007114 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :of course < 1294007115 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :does that work though < 1294007129 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nope doesn't < 1294007130 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so how do you do it < 1294007138 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, which language are you guys messing around with this time? < 1294007169 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nm got it working < 1294007171 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Haskell+she < 1294007203 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what does this "she" do? < 1294007211 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: she does many things. < 1294007215 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, any ideas for what to look for? < 1294007218 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, that's what SHE said! < 1294007226 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pseudo-dependent types, Pi, pattern synonyms, pseudo-aspect-oriented programming, and IDIOM BRAKKETZ < 1294007230 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: LC_ALL etc < 1294007235 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: what program is outputting them? < 1294007237 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :have you tried "cat" < 1294007237 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::p < 1294007268 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :run locale < 1294007272 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :that outputs the relevant variables < 1294007280 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, when I attempt to copy from xchat to the shell (so I guess its zsh) < 1294007281 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :and also shows which is in effect for those not set < 1294007286 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :LC_ALL is empty < 1294007296 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :they are all ="C" < 1294007298 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :variable, then there is LANG, LC_CTYPE and so on. < 1294007304 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yeah you need to set them to en_foo.UTF8 < 1294007307 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :variable, well of course unicode doesn't work then < 1294007318 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, I'm new to unicode in the terminall.... < 1294007338 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :I should set them to en_US.UTF8 ? < 1294007351 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :variable, set LANG=en_US.UTF-8 < 1294007353 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :I think it is < 1294007367 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :then all the unset ones default to LANG < 1294007372 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :so you only need to set LANG < 1294007379 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(and LC_ALL overrides all on top of that) < 1294007391 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :urxvt: default locale unavailable, check LC_* and LANG variables. Continuing. < 1294007408 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :uh < 1294007409 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :what < 1294007423 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :export LANG="en_US.UTF8"; urxvt < 1294007434 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :btw, you might want to change LC_COLLATE to C again. since the non-C locales often sorts case insensitively. < 1294007438 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :oh wait - missing a 0 < 1294007440 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :a - < 1294007456 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :or another alternative: maybe the locale was not generated < 1294007462 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :I think how varies between distros < 1294007487 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :nope: adding a "-" works < 1294007492 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1294007495 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :it seems < 1294007560 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: aw man < 1294007564 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i just messed this up < 1294007572 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :data Term :: {Nat} -> {Type} -> * where < 1294007572 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Star :: {n} -> Term l {TypeI (S n)} < 1294007572 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Var :: Fin {n} -> Term {n} ??? < 1294007583 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: am i going to have to carry around the whole environment of types or something? : < 1294007584 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1294007668 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :obviously < 1294007694 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: in the /type system/? < 1294007698 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: I'm not Oleg! < 1294007706 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but okay < 1294007709 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's just a list < 1294007722 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Not Found < 1294007723 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :The requested URL /~conor/pub/she/examples/ShePrelude.lhs was not found on this server. < 1294007723 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Apache Server at personal.cis.strath.ac.uk Port 80 < 1294007771 0 :Sasha2_!~WHAT@75-174-221-10.phnx.qwest.net JOIN :#esoteric < 1294007836 0 :MigoMipo_!~John@84-217-13-27.tn.glocalnet.net JOIN :#esoteric < 1294007838 0 :BMG!~behold@d83-183-183-70.cust.tele2.se JOIN :#esoteric < 1294007919 0 :BMG!unknown@unknown.invalid QUIT :Changing host < 1294007919 0 :BMG!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1294007923 0 :BMG!unknown@unknown.invalid NICK :BeholdMyGlory < 1294008004 0 :Sasha2!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1294008043 0 :MigoMipo!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1294008050 0 :Behold!unknown@unknown.invalid QUIT :Ping timeout: 272 seconds < 1294008056 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, my next language design goal is to make a language that takes an extremely long time to *compile* but NOT based on the time of day or have any arbitrary time requirments < 1294008090 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: We have that, it's called C++. < 1294008093 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: Or Haskell. < 1294008123 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, isn't haskell faster than C++ at least? < 1294008127 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(at compiling) < 1294008135 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :basically - make the language itself require algorithms that are Θ(2^n) < 1294008163 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :variable, why not O(n!) < 1294008165 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Well. We're working on that. < 1294008192 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: better -- have a language with, e.g., 2^128 types exactly. have the only possible method of type checking be brute forcing < 1294008194 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: in fact < 1294008200 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: just store programs as SHA-512 hashes of an actual program < 1294008205 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :compilation takes place by brute-forcing the actual program < 1294008207 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and then compiling that < 1294008224 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric : variable: just store programs as SHA-512 hashes of an actual program <-- didn't gregor do this already? < 1294008240 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Probably. < 1294008243 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: this sucks < 1294008246 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I think there is such a language on the wiki. < 1294008247 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: What does? < 1294008256 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, no because that is not deterministic < 1294008276 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :and I don't just want O(n!) I want Θ(n!) < 1294008279 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: yes it is deterministic < 1294008286 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1294008291 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :there are hash collisions, but who cares :) < 1294008296 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, no - because there could be multiple programs that result in the same sha hash < 1294008300 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: specify the order in which strings are brute-forced duh < 1294008304 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :then it's deterministic < 1294008310 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :if it fails to compile, just search for a collision < 1294008316 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: :D < 1294008322 0 :pikhq!unknown@unknown.invalid QUIT :*.net *.split < 1294008330 0 :augur!unknown@unknown.invalid QUIT :*.net *.split < 1294008332 0 :Sgeo!unknown@unknown.invalid QUIT :*.net *.split < 1294008336 0 :sebbu!unknown@unknown.invalid QUIT :*.net *.split < 1294008356 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, but then its not turing complete - not all programs could be represented < 1294008357 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :run the program < 1294008357 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :until you manage to find a program that compiles < 1294008357 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ask the user if it's what they want < 1294008361 0 :coppro!unknown@unknown.invalid QUIT :*.net *.split < 1294008365 0 :dbc!unknown@unknown.invalid QUIT :*.net *.split < 1294008368 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :if it's not, keep going < 1294008369 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ËÌÍÎË‚·∏Ø!:L < 1294008369 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Was this correct? [y/n] < 1294008370 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well that works if every possible string is a valid program < 1294008370 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: No, you just completely skip the non-compiling ones. < 1294008370 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well true < 1294008370 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: That's not a requirement for turing completeness... < 1294008389 0 :pikhq!~pikhq@174-22-154-243.clsp.qwest.net JOIN :#esoteric < 1294008389 0 :augur!~augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1294008389 0 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1294008389 0 :sebbu!~sebbu@ADijon-152-1-57-8.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1294008397 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: You take the original language, remove a bunch of programs (those which come after a valid program in brute-force-order), and that's the "real" language. < 1294008428 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :The hashes are just a facade over that. < 1294008428 0 :pikhq!unknown@unknown.invalid QUIT :Excess Flood < 1294008429 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, anyway, I'm pretty sure that every hash can yeild a program that outputs a given output, assuming a good hash function. < 1294008430 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: You could finetune a hash function for it. < 1294008430 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*yield btw. < 1294008431 0 :pikhq!~pikhq@174-22-154-243.clsp.qwest.net JOIN :#esoteric < 1294008431 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: But that isn't true. < 1294008432 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Consider outputs bigger than the hash size. < 1294008442 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, Φ = lower bound O = upper bound Θ is when O == Φ IIRC < 1294008442 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well, there are infinitely many strings that result in the same hash < 1294008442 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Specifically, uncompressable outputs bigger than the hash size. < 1294008449 0 :coppro!~scshunt@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1294008449 0 :dbc!~daniel@130-94-161-238-dsl.hevanet.com JOIN :#esoteric < 1294008455 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Well, yes. < 1294008457 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: The pigeonholes are very crowded. < 1294008469 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: did j-invariant ask? < 1294008469 0 :pikhq!unknown@unknown.invalid QUIT :Excess Flood < 1294008469 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, meh - I want to invent the language myself < 1294008469 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric ::-} < 1294008485 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I thought he did when he said hm < 1294008488 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1294008490 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, if the hash function is good, then it will "look" random. Thus we won't get that anything starting with, say, an "y" can't have this hash < 1294008491 0 :pikhq!~pikhq@174-22-154-243.clsp.qwest.net JOIN :#esoteric < 1294008521 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :if that would happen, then it wouldn't be a good hash function < 1294008540 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, am I right? I always forget the lowerbound symbol - the rest I know are correct < 1294008548 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: I... think so. < 1294008552 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, thus, we should be able to find a program for any given hash that gives a specific output. Though it may be a /very/ long program. < 1294008554 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, right? < 1294008561 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Let's just say yes and not think about it! < 1294008574 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, do you think I'm not right? < 1294008575 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Var :: {Fin n} -> Term {t:ts} t < 1294008577 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: can't believe that actually works < 1294008580 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1294008581 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: I don't know :-) < 1294008585 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :It's probably right. < 1294008591 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott ah I have another idea for a language < 1294008600 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well, who would be the expert on this? < 1294008606 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Your mo^W^Wsomeone. < 1294008616 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: It sounds like something very hard to prove. < 1294008619 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :For a given hash function. < 1294008627 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, for any /real/ hash function yes < 1294008633 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :you program the language by defining all legal inputs and the resulting outputs. The compiler bruteforces the shortest program that would result in those inputs/outputs :-} < 1294008633 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, but for a theoretical perfect one < 1294008649 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: Reminds me of Clue. < 1294008660 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Well, let's consider the hash function : String -> 1. < 1294008675 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: There is only one such function, f(s) = (). < 1294008684 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :right < 1294008692 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Every program has the hash (), and the hash () has every program. < 1294008698 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: What is your hypothesis again? < 1294008724 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: what do you think of HOAS? < 1294008766 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well, for every value in the co-domain of the hash function it will be possible to find a program in the domain that gives the specific output (assuming a language where the program isn't the same as the output, I suspect the language need to be brainfuck-IO-complete) < 1294008780 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(or at least output, I don't think input matters) < 1294008780 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Consider < 1294008796 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :f : String -> 2; f('x':...) = A; f(s) = B < 1294008802 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what language is this < 1294008804 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i.e. x followed by anything is A, everything else is B. < 1294008807 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Pseudo. < 1294008809 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1294008816 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Now consider a language where no valid program starts with x. < 1294008823 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :All programs hash to B; A has no program. < 1294008833 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Of course this is pathological ... but it demonstrates that it is not universally true. < 1294008835 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, hm true. < 1294008844 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: I think the problem is that while hash functions "appear" random they are not _actually_ perfectly uniform. < 1294008849 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: HOAS is stupid < 1294008854 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: why < 1294008858 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, that is not a good hash in the way I said above though. < 1294008864 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: it's just completely impossible to use for anything nontrivial < 1294008866 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott: elliott, if the hash function is good, then it will "look" random. Thus we won't get that anything starting with, say, an "y" can't have this hash < 1294008866 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: I don't think a good hash in that sense exists then. < 1294008868 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: well eys :P < 1294008869 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*yes < 1294008879 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, true, I suppose even sha512 has some bias < 1294008893 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, but something like sha512 or similar should come close at least < 1294008918 0 :jix!unknown@unknown.invalid QUIT :*.net *.split < 1294008929 0 :coppro!unknown@unknown.invalid QUIT :*.net *.split < 1294008933 0 :dbc!unknown@unknown.invalid QUIT :*.net *.split < 1294008935 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Close doesn't make a theorem. Infinity is against you; close times infinity equals infinitely far. :p < 1294008936 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: obvious being able to write syntax using lambda terms is nice, but using it internally for algorithms doesn't seem possible < 1294008936 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, of course. < 1294008936 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: agreed < 1294008945 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, good hash functions are not defined by looking random < 1294008945 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ACTION parameterises Type < 1294008948 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(on the level...) < 1294008958 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: is there any way out of an infinite hierarchy of Type-s again? < 1294008962 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :good hash functions are defined by small changes in the source result in large changes in the output < 1294008963 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :or is it all just machinery to hide it < 1294008970 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: yes. we are aware < 1294008977 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :he was defining his own notion < 1294009024 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, but theoretically perfectly unbiased hash functions are often used in discussing algorithms using hash function. Proving something secure with that is easier than with any given real hash, so I seem to remember that often crypto things are proven secure given an unbiased hash function first. < 1294009036 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :variable, indeed < 1294009084 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, actually my definition isn't complete < 1294009084 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :variable, which will as a result look pretty random. I was not being very strict in my wording when I said "looking random" < 1294009084 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :because then theoretically multiplying all the bytes together should be a "good" hash function < 1294009102 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: is an unbiased function even theoretically possible? < 1294009106 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is away < 1294009108 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure such a functoin would be computable < 1294009109 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*function < 1294009126 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, define theoretically. < 1294009135 0 :jix!jix@tomakin.h-ix.net JOIN :#esoteric < 1294009181 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Is there a computable unbiased hash function? < 1294009183 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, you can discuss things using an oracle in articles. They are presumably not possible for an UTM. < 1294009190 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :So not computable then. < 1294009202 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I don't know if it has been proven if one could exist or not < 1294009210 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I'm pretty sure none is known though. < 1294009226 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :data Term :: {[Type]} -> {Type n} -> * where < 1294009226 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Star :: {n} -> Term {ts} {TypeI (S n)} < 1294009226 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Var :: {Fin n} -> Term {t:ts} {t} < 1294009228 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Fun :: {t} -> Term {t:ts} {s} -> Term {ts} {Pi t s} < 1294009230 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : App :: Term {ts} {Pi t s} -> Term {ts} {t} -> Term {ts} {s} < 1294009235 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: what's the hot way of describing data structures nowadays < 1294009240 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :W fell out of favour I know that :) < 1294009260 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, W? < 1294009273 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: W. < 1294009282 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :W < 1294009284 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :dot. < 1294009293 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, yes not very googable < 1294009312 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, even with the dot < 1294009314 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :THINGS I HATE: people who equate the web to "www". < 1294009315 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: The birth ceremony http://www.cs.nott.ac.uk/~txa/publ/icalp04.pdf and obituary http://www.e-pig.org/epilogue/?p=324 < 1294009333 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Just skip straight to the obituary. < 1294009379 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"In Epigram 2, we don’t take W-types as the primitive source of inductive structure. Instead, we supply a universe of inductive types, giving first-order data a first-order representation. We’ve just written a paper about it: The Gentle Art of Levitation." < 1294009381 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, elliott: HASHFUCK IS PATENTED < 1294009385 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but i think that might be overblown for what i want < 1294009399 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: YOUR MOERMYORI TJOP FDJ ODGPDNG IODFJG IODJG IODFJG KOFDJGOIFDJH0DZJSVOI HIOSI ]EWSE0R 9J90E4JYS0SJ TAWR -K5 -K[RS';T/XHC;LGKO[N]PLJK < 1294009401 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, ah < 1294009413 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: you read the whole post and understood it in that time? < 1294009414 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hashfuck? < 1294009415 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :don't lie < 1294009417 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, no < 1294009419 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I didn't < 1294009420 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :WELL THEN < 1294009421 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :get to it < 1294009422 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I never claimed I did < 1294009428 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :*ShaFuck rather < 1294009429 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I WONDER WHY < 1294009439 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: I should probably have a type for terms and values < 1294009450 0 :coppro!~scshunt@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1294009450 0 :dbc!~daniel@130-94-161-238-dsl.hevanet.com JOIN :#esoteric < 1294009478 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Quit: Rebooting < 1294009597 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: you mean both? < 1294009617 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1294009618 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: as in, two individual ones < 1294009625 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :rather than just reducing Terms down to more value-y terms < 1294009626 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1294009706 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :ugh, this utterly sucks < 1294009737 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I have Maybe all over the place because I can't parametrize haskell modules by values < 1294009748 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :but it's not clear whether they get turned to Just's in time < 1294009759 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well too long to read, but the general issue he mentions is a recurring theme. Too flexible, too hard to work with in computers. < 1294009760 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :data Term :: {[forall n. Type n]} -> {Type n} -> * where < 1294009761 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : TermWrap :: Thing Term {ts} {s} -> Term {ts} {s} < 1294009761 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : App :: me {ts} {Pi t s} -> me {ts} {t} -> Term {ts} {s} < 1294009762 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :instance Thingy Term where wrap = TermWrap < 1294009764 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :SUCH FUN < 1294009785 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: well there's more important stuff near the bottom where he demonstrates theoretical problems too. < 1294009793 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :23:08 j-invariant: I have Maybe all over the place because I can't parametrize haskell modules by values < 1294009797 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: this is why we need an ML-style module system! < 1294009801 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1294009803 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :or really Ur-style < 1294009803 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1294009810 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I don't know much about module systems really < 1294009821 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, the bit about canonical representation? < 1294009821 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I want a language expressive enough to define them in < 1294009828 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: the bit about tt = ff. < 1294009831 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :or ff = tt. around there. < 1294009832 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1294009889 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott, should I learn OCaml? < 1294009892 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I think I tried once < 1294009901 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, ah... it is inconsistent, right? < 1294009903 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Learn Standard ML instead. Probably. < 1294009907 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: It's more subtle than that :-P < 1294009944 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: so what's your favourite way of defining recursive types in the value language! < 1294009946 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :The reason I started with Racket in the first place is because I heard good things about the module system. I was lied to. < 1294009950 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: LIED < 1294009959 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: the ML module system is nothing like what you think it is. < 1294009969 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: i.e. combinators resulting in Types. < 1294009972 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott, ...? < 1294010101 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: can you look at what i have so far? http://sprunge.us/UiXi < 1294010107 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: specifically the XXX: comments ... I'm a bit confused < 1294010118 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :erm that App signature at the bottom is all wrong < 1294010120 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it hosuld say Term, not me < 1294010121 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*should < 1294010133 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :also star should be gone < 1294010144 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :also i have a bug < 1294010145 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ffff < 1294010147 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott, any reasons for Standard ML over OCaml? < 1294010157 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: ocaml sucks. sml sucks less. < 1294010174 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: just use Agda already :P < 1294010184 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: but agda is 'orrible < 1294010194 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :this IS agda code < 1294010215 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: LET ME LIVE IN MY ILLUSION < 1294010232 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :btw < 1294010240 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :you can't really use lists for a context of types < 1294010245 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Not in scope: type constructor or class `SheTyType' < 1294010246 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :what is this even. < 1294010247 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: why not < 1294010249 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :since later types might depend on the earlier ones.. < 1294010255 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :this makes things difficult < 1294010263 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: oh god you're right < 1294010266 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: asdfghj that is awful < 1294010273 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: i need like < 1294010274 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :dependent lists < 1294010279 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :is that something that exists < 1294010311 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what are you trying to do? < 1294010319 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: things. < 1294010333 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, okay, if you don't want to tell... < 1294010353 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: i explained above. < 1294010376 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, approx where? < 1294010386 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :dunno < 1294010391 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it's a dependent lang < 1294010407 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, that you are writing (or do you mean what she is?) < 1294010425 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :former < 1294010430 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, cool < 1294010439 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :it is not going well < 1294010464 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, haskell should add such an extension already < 1294010471 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :aha! < 1294010480 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :solved < 1294010490 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: um that would require a complete restructuring of GHC < 1294010498 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and would be difficult to integrate with large swathes of haskell < 1294010547 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, hm true < 1294010556 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Ambiguous type variable `thing' in the constraint: < 1294010556 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : `Thingy thing' < 1294010566 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: apparently "thing" is ambiguous, who knew? < 1294010574 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what good general purpose dependently typed languages are there? < 1294010576 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :any? < 1294010584 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Epigram < 1294010590 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, 1 or 2? < 1294010593 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :2 < 1294010603 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, which isn't usable yet iirc < 1294010604 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :so... < 1294010610 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Are computers? < 1294010614 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :none that is usable as of today? < 1294010618 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well, that depends < 1294010704 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, was it epigram that allowed you to declare a data structure using RFC notation? Or was that another language (which one?)? < 1294010764 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: That was Cola/whateveryouwanttocallit, completely unrelated, that one's more similar to Smalltalk — don't tell Sgeo, or I'll have to add another regexp to shutup. < 1294010794 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, dude you just highlighted him < 1294010795 0 :MigoMipo_!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1294010804 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: INDEED < 1294010829 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, so this Cola, was it any good? < 1294010841 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: It's a VPRI project. It's pretty coo'. < 1294010858 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah... < 1294010894 0 :augur!unknown@unknown.invalid QUIT :*.net *.split < 1294010896 0 :Sgeo!unknown@unknown.invalid QUIT :*.net *.split < 1294010900 0 :sebbu!unknown@unknown.invalid QUIT :*.net *.split < 1294010931 0 :Leonidas!unknown@unknown.invalid QUIT :*.net *.split < 1294010934 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: they are not general purpose < 1294010935 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, maybe I should try to learn Epigram? < 1294010935 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, which ones? epigram? < 1294010935 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: none of them < 1294010935 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, would you call haskell general purpose? < 1294010946 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1294010946 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah well < 1294010946 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: Epigram is close enough :P < 1294010951 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, in what way is epigram not general purpose then? < 1294010956 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: You can't learn Epigram 2 because nothing actually runs Epigram 2. < 1294010962 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, hm true < 1294010979 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: There's an interactive-in-a-user-hostile-kind-of-way theorem prover that can define things in the Epigram system, but the actual language is completely unimplemented and utterly unfinished. < 1294010992 0 :Leonidas!~Leonidas@unaffiliated/leonidas JOIN :#esoteric < 1294010992 0 :augur!~augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1294010992 0 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1294010992 0 :sebbu!~sebbu@ADijon-152-1-57-8.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1294011042 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: *Polynomial> let w = (one - Quot (mon 1, Just eisenstein))*(one + Quot (mon 1, Just eisenstein)) < 1294011042 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, right. Is it moving forward fast or? < 1294011042 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :*Polynomial> printPolynomial names ((inj w * x + y)^7) < 1294011042 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :"y^{7} + (14 + 7\\zeta)x y^{6} + (63 + 63\\zeta)x^{2} y^{5} + (105 + 210\\zeta)x^{3} y^{4} + (315\\zeta)x^{4} y^{3} + (-189 + 189\\zeta)x^{5} y^{2} + (-189)x^{6} y + (-54 + -27\\zeta)x^{7}" < 1294011057 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: It's been in progress since 2005, so no; but Conor likes throwing out gigantic swathes of the underlying system, so yes. < 1294011058 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: N I C E < 1294011058 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, hah < 1294011058 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: did you write this?!?! < 1294011066 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: *system on a regular basis, < 1294011071 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1294011116 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :printPolynomial < 1294011116 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric : :: (SheChecks Nat n, Ring r, Eq r, Show r) => < 1294011116 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric : Vec n String -> MonoidRing r (Vec n Integer) -> String < 1294011250 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: i approve. i approve very hard < 1294011282 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: so do quotient sets work yet >:) < 1294011461 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :/Users/ehird/Code/tabby/first.hs:52:26: < 1294011461 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Could not deduce (Show (me (t1 :$#$#$#: ts) s)) < 1294011462 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : from the context (t ~ SheTyPi t1 s) < 1294011463 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : arising from a use of `show' < 1294011465 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : at /Users/ehird/Code/tabby/first.hs:52:26-31 < 1294011467 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : Possible fix: < 1294011469 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : add (Show (me (t1 :$#$#$#: ts) s)) to the context of < 1294011471 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : the constructor `Fun' < 1294011474 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :import ShePrelud < 1294011475 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :e < 1294011520 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :"For any logical system, T, with an algorithm to decide what is and is not a proof in T (aka a decidable set of axioms) such that each axiom of Robinson Aritmetic (which is a very weak theory of arithmetic) is provable in T, there is some formula G, such if T proves G or if T proves ¬G, then T proves 0=1." < 1294011520 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: already have yo < 1294011526 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hasn't helped < 1294011540 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i think i see the problem though MAYBE < 1294011550 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :flexible contexts -- ALWAYS A MISTAKE ??? < 1294011578 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: indeed < 1294011584 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: any reason for quoting that? :p < 1294011723 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :"the incompleteness and undecidability of PA cannot be blamed on the only aspect of PA differentiating it from Q, namely the axiom schema of induction." < 1294011770 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :haha "For Christmas I received the book Gödel, Escher, Bach: An Eternal Golden Braid (or GEB) and I have been pretty deeply troubled regarding Gödel's incompleteness theorems since." < 1294011842 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"troubled"? < 1294011854 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: where's that from btw < 1294011984 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: http://i.imgur.com/1LCv6.png I think dome3 is smaller than the Cube. < 1294011997 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Note how they have tons of people working on it and even they haven't gone for bedrock. < 1294012109 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, dome3? < 1294012120 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: see image. on the reddit creative server. < 1294012136 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I see the image. But what is it supposed to be? < 1294012141 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :A dome. < 1294012143 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :WIP. < 1294012146 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :just a dome? < 1294012176 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yes. < 1294012192 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, how does one get to dome 3? < 1294012206 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: /warp dome3. < 1294012211 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Try not to crash the server. < 1294012245 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, such suspicion! < 1294012255 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: I'M ON TO YOU < 1294012272 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I don't understand haskell types < 1294012275 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :what are they for < 1294012279 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: to type things < 1294012286 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :which things? < 1294012298 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: typed things < 1294012319 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, it is useless when he is in this mood < 1294012325 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1294012351 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: actually i was joking along with j-invariant. < 1294012358 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :p. sure j-invariant knows what haskell types are < 1294012359 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1294012369 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: TYPES IN HASKELL ARE LIKE BURRITOS TO YOUR MONADS < 1294012528 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection < 1294012550 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :X) < 1294012565 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1294012607 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :If I became obsessed with Haskell, would shutup be configured to yell at me for mentioning Haskell? < 1294012646 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Only if you say stupid things. < 1294012647 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, the dome is quite astounding. < 1294012658 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Yes. Yet it is, afaik, smaller than the Cube and also more shallow. < 1294012665 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: How the fuck is the Cube ever going to get completed? < 1294012669 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: is that polynomial thing up anywhere? < 1294012672 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Well, it definitely does go down to bedrock. < 1294012674 0 :j-invariant!unknown@unknown.invalid QUIT :Quit: leaving < 1294012675 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I'd help if I could < 1294012681 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Buy Minecraft. < 1294012690 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, it will get completed because we are HHI and we do not have restrictions on TNT. < 1294012697 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :HHI? < 1294012700 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Do we have the TNT kit yet? < 1294012706 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :TNT kit? < 1294012713 0 :j-invariant!~aaaa@unaffiliated/j-invariant JOIN :#esoteric < 1294012717 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: a kit to get tnt < 1294012720 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: is the polynomial source open? < 1294012725 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, you have a script to tell him to shut up? < 1294012728 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, why not just ignore < 1294012758 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, if I say Racket, Newspeak, Smalltalk, Factor, AW, Active Worlds, or ActiveWorlds, I get PMed a message teling me to shut up < 1294012769 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Used to say it in the channel, but oerjan got ticked off < 1294012788 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I am excellent at obeying the letter but not the spirit of any judgement. < 1294012789 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, just filter such /msg from elliott! < 1294012793 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: what do you want to see? < 1294012796 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: It doesn't come from me. < 1294012799 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :it's 5 files