< 1393718403 153909 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Sgeo: as long as those other foods aren't mounds of salt < 1393718410 571239 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes make up such a Elo rankings < 1393718415 777619 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Bike: does such food exist? < 1393718435 548027 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, right, you usually eat incredible garbage < 1393718450 395023 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :in that case i'm gonig to say it's unsafe for you to eat anything because everything you eat is terrible < 1393718454 381957 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :just photosynthesize < 1393718482 561059 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Well, a potato chip is potato-flavored salt. < 1393718493 480426 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :On the plus side, this is not convenient food for me to make < 1393718509 662635 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I don't have much in the way of clean microwave-safe containers. Boiling water in a pot now < 1393718527 291121 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :http://sprunge.us/AjPf Unrelatedly, Lex is "clearly" the best way of producing compilers. < 1393718530 862162 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :So I don't think I'm going to be tempted to eat this frequently < 1393718534 133281 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :As evidenced by this trivial case. < 1393718541 508073 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is pizza mounds of salt? < 1393718549 846511 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :If this isn't filling I may just go for pizza < 1393718555 932935 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Depends on the pizza. < 1393718560 352188 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :pikhq: nice < 1393718561 2948 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Plain cheese pizza < 1393718582 370769 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Also I had a footlong Subway earlier, and two Lucky Charms bars < 1393718611 223975 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :You worry about your nutrition a lot for someone who seems to eat random thingsw. < 1393718634 390891 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :pikhq: Couldn't the ignore regex just be a "."? < 1393718656 131819 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :golly, it even optimizes < 1393718657 141104 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(For two matches of same length, the rule listed first is chosen.) < 1393718665 668817 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :fizzie: Quite likely. < 1393718687 690362 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's very possibly more efficient when it chomps more in one go, though. < 1393718689 155985 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :This resulted from me sitting down and realizing I had literally done nothing with lex or yacc before. < 1393718739 186844 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/ABVC heh < 1393718760 602316 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: there's less salt in a packet of crisps (potato chips) than there is in a slice of bread < 1393718764 868246 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is kind-of shocking, really < 1393718797 629555 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :ais523: Might be true of UK crisps, but... < 1393718820 626470 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Though, US bread probably uses about as much salt and sugar as flour, so. :P < 1393719140 26468 :Slereah__!~jackal@176.222.51.233 JOIN :#esoteric < 1393719239 622160 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Why do lactaid chewable pills taste so good? < 1393719261 382014 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :What about Flintstone vitamins < 1393719282 769257 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what about rocks i've painted pictures of tigers onto < 1393719313 786005 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1393719559 87818 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :I hear they keep tigers away < 1393719597 985870 :nooodl!~nooodl@91.177.108.54 PART #esoteric :"Leaving" < 1393719643 167305 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Wonder if there exist devices that let me pretend to have a second monitor < 1393719652 783090 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Cardboard box < 1393719681 230557 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Plug into VGA and USB, and it will somehow let you switch between "screens" with keypresses < 1393719811 306373 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sounds more like a job for a piece of software. < 1393719824 637610 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Was about to say, googled it and found some software results < 1393720153 532935 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :This stuff is kind of soupy < 1393720160 334413 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I don't like soup, maybe I should learn to liek it < 1393720419 123339 :nooodl!~nooodl@91.177.108.54 JOIN :#esoteric < 1393720517 833620 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Why are macros called macros < 1393720531 644978 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Because they are biiiig < 1393720581 143303 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Blargh, transferring things from the VM to the computer is not fun < 1393720633 111302 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :"FATAL: No bootable medium found! System halted." < 1393720641 559047 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Well apparently I didn't do it that well < 1393720647 381890 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :Taneb: something about mapping short input sequences to longer ones? < 1393720657 658690 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :lexande, seems likely < 1393720689 446363 :JZTech101!~JZTech101@botters/jztech101 QUIT :Remote host closed the connection < 1393720733 403139 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :still better than macrophotography < 1393721356 433055 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Dang, that bootloader thing still doesn't work. < 1393721456 879349 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :If the 4 bytes at 0x158 are 00 00 20 00, does that mean that the boot starts at 0x200000? < 1393721460 318641 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Or 0x2000 < 1393721701 521451 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In x86, assuming little-endian (so 00 00 20 00 for 0x00200000) is usually the safer bet. < 1393721719 623141 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Hm < 1393721722 981617 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Not sure what kind of boot loader that is. It's clearly not a regular BIOS-compatible boot sector.) < 1393721735 516617 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Damn < 1393721739 789148 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Hm, what to do < 1393721745 491121 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Let's try one from the osdev people < 1393721850 872466 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ugh still hungry < 1393721862 145900 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :After having a ball of salt (not a literal ball of salt0 < 1393721932 70409 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Try a literal ball of salt. < 1393721940 153168 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Google seems to suggest that "4 bytes at 0x158" refers to VirtualBox disk image format, which sounds not all that terribly relevant for simple bootloader things, since you can use raw floppy images with VirtualBox. < 1393722006 971050 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :I am just following this dude's tutorial, though < 1393722016 272249 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :On virtual box indeed < 1393722045 982479 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :I guess I could make some fake floppies though < 1393722201 530634 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :As for transferring things between the VM to the computer, VirtualBox's "shared folders" are quite okay. < 1393722215 102663 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :I couldn't make it work so far though < 1393722221 154865 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :i don't know how to access it inside the VM < 1393722341 205414 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"In a Linux guest, use the following command: mount -t vboxsf [-o OPTIONS] sharename mountpoint". I think it worked pretty much out-of-the-box after installing the guest additions. Though this was a while ago. < 1393722362 717314 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Just plain ssh daemon in the guest and winscp or something in the host is reasonable too.) < 1393722524 561080 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have idea of a computer game, that you would fly from the center of Pluto to the center of the Earth, without crashing into any Gas Giant planets. Such thing as software library to calculate rotations of Mars and Pluto would be needed; the program "Swiss Ephemeris" can already calculate rotations of Earth. < 1393722605 800835 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It can make up a real date, perhaps even a date in the future (although the present date or a date in the past works too; ephemeris data can calculate for far past and far future), and figure out what date would result in a better (most interesting/challenging) game, since that would affect position of planets. < 1393722806 124990 :Tritonio!~Thunderbi@77.49.58.38.dsl.dyn.forthnet.gr JOIN :#esoteric < 1393722828 60885 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Do you like this? < 1393722969 430210 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :that sounds boring to play, but people play Eve, so < 1393722994 106971 :impomatic!~chatzilla@37.152.198.84 QUIT :Quit: ChatZilla 0.9.90.1 [Firefox 27.0.1/20140212131424] < 1393723000 887446 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :People play Desert Bus. < 1393723003 65738 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1393723004 138213 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Probably it does, but it would be made more interesting by various ways < 1393723017 456611 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :But you are correct in general < 1393723025 350784 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :But I didn't write all about it of course! < 1393723042 531857 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Since it would take a long time, you could use warp drives and magical spells and so on to help < 1393723052 157439 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :But it would complicate with a lot more things too. < 1393723065 963464 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Such as, going through space isn't the entire game < 1393723084 941998 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Since the surface and inside of planets is also important < 1393723094 391822 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Welp putting it on a floppy didn't help < 1393723105 413132 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Let's investigate this loading of boot more closely < 1393723122 983480 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Slereah__: What operating system are you using? < 1393723151 728396 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393723162 930618 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :I guess the answer would be "none"? < 1393723171 96181 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :The virtual machine is on the windows though < 1393723187 31482 :JZTech101!jztech101@botters/jztech101 JOIN :#esoteric < 1393723196 461207 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :What kind of file system is it? < 1393723252 861174 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :i was trying to follow this tutorial : http://www.dreamincode.net/forums/blog/150/entry-2999-using-virtualbox-as-a-bootloader-testing-environment/ < 1393723257 750296 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :But it did not work out so great < 1393723279 864904 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Oh wait, you were there no? < 1393723356 80904 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Copy-pasting a boot sector into a .vdi file with a hex editor seems like a really circuitous way, compared to the conventional floppy approach. < 1393723379 297082 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :I tried with a floppy, but I guess it's not a very good idea to use that bootloader for it < 1393723387 190086 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :So I'm looking at the osdev wiki < 1393723401 565283 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :What exactly are you trying to copy? < 1393723403 354807 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The bootloader should be just fine for a floppy, since it just prints a string and hangs. < 1393723439 839930 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :I put the binary of said bootloader on a floppy and then booted up < 1393723461 236474 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :But it just tells me "No systemdisk. Booting from harddisk." < 1393723468 367734 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :And "Cannot load from harddisk" < 1393723484 392216 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know/remember what VirtualBox expects from a floppy image; possibly it wants a floppy-sized file with that at the beginning. < 1393723491 527442 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Although < 1393723522 83472 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :It does also say "Disk formatted with MagicISO 4.70 (c) 2001-04 MagicISO, Inc." < 1393723522 847620 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It is possible to copy disk images on Windows by using the "DefineDosDevice" API. < 1393723524 81524 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Not that I know how you made the floppy image, and how you stuck the boot sector binary in either.) < 1393723535 23625 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :So the problem might be that MagicISO added a bunch of stuff < 1393723561 873570 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Did you just copy the binary as a file on the floppy? < 1393723570 111552 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Yeah that's probably not a good idea < 1393723571 552491 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Hm < 1393723580 363047 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :It's always something < 1393723584 283372 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, no. It needs to be the first sector on the floppy. < 1393723605 139273 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :I suppose it might be "load boot image" < 1393723722 338226 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I wouldn't know anything about MagicISO; I've usually just used dd. Quick googling suggests that the "load boot image" might be inteded for making bootable CDs (with boot floppy images), but who knows. < 1393723778 933375 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :dd? < 1393723797 271697 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a command-line tool for copying bytes. < 1393723860 572200 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Slereah__: you can understand why having a filesystem isn't good here, right? < 1393723877 135423 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :that is not a frequent feeling but I wish I had a floppy drive right now < 1393723883 971127 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Yep < 1393723890 196847 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It'd be dd if=/dev/zero of=floppy.img bs=1024 count=1440; dd if=boot.bin of=floppy.img conv=notrunc in a Linux system to make a floppy-sized image of zeros, and then put boot.bin in front. < 1393723908 789658 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Well let's give it a try! < 1393723918 506238 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Or any out of a number of alternative ways, of course.) < 1393723931 706363 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1393723944 536864 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :this reminds me that i should probably understand uefi better than i do < 1393724002 952503 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Well there is most certainly a file now < 1393724013 83689 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(cat boot.bin; dd if=/dev/zero bs=512 count=2879) > floppy.img # another reasonable way < 1393724023 485663 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Isn't there supposed to be more things other than the program and 0's for a virtual floppy? < 1393724052 92488 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you want to put something on the floppy, sure, but there doesn't need to. < 1393724070 420866 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :I mean, aren't there data around the file? < 1393724084 741217 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :to tell the computer "hey that's a virtual floppy file" < 1393724101 459321 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There can be, but I'm reasonably sure VirtualBox doesn't mind raw images. < 1393724132 507458 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :I'll find out soon enough! < 1393724156 411623 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: It's kind of boring, to have an actual executable file format for things you can run at boot. < 1393724185 711414 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :heh well, i liked it more than a bios when setting up this computer < 1393724198 484624 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(A variant of PE, even.) < 1393724212 747041 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the large number of efi variables was more interesting to me, though < 1393724240 316651 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bah; OpenBoot is where it's at. < 1393724250 621136 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's not even a Forth interpreter in the UEFI standard. < 1393724262 244892 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"Open Firmware may be accessed through its Forth language shell interface" i see your point < 1393724298 262154 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Having a Forth interpreter built-in to the BIOS is a good idea. < 1393724320 109293 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I tried out a Fibonacci or some other such standard simple test program in the boot prompt of my SparcStation. < 1393724327 892459 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :It works! < 1393724332 648446 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Now nothing can stop meeeee < 1393724388 325019 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Now you can start figuring out how to go from real mode to 64-bit mode. < 1393724398 582002 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :One thing at a time man! < 1393724428 653066 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sure, but you did say you want to do x86-64. < 1393724441 840286 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Sure, but gotta learn to walk before I can run < 1393724445 668189 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Is real mode in x64 the same as the old timey real mode? < 1393724456 766164 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :That is, can I use the extra registers < 1393724459 709742 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Or will it not work < 1393724493 873903 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can't use the extra registers. There's no way to encode them in the opcode. < 1393724516 375907 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Since the prefix bytes used for that are repurposed actual instructions. < 1393724524 33661 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :I see < 1393724542 143108 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can use the 32-bit wide registers in real mode, though. < 1393724547 335684 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :do you still have access to the interrupts in long mode by the way? < 1393724593 847459 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :BIOS services? No, I think those pretty much all go out of the window when you ascend to protected mode. Which you will need to do before switching to long mode. < 1393724606 726919 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :I see < 1393724668 744607 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Is there an equivalent of interrupts? < 1393724674 368184 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Or do you have to do it all yourself < 1393724707 18004 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Incidentally, a slightly less painful way to write bare-metal code (compared to a 512-byte bootloader that loads more code and does mode switching) can be to write what you want to run in the form of a multiboot-compatible image (which doesn't have so many size restrictions), and have something like GRUB load that. < 1393724864 840757 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Like how would you go about to print a letter in protected mode < 1393724873 861421 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :They almost always worsen the PC design instead of making improvements. The original PC design was fine, and had a better keyboard too (although it is loud, it works better in general) < 1393724893 507782 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Other than loading the sprite of the letter to the memory of the VGA < 1393724914 711546 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :You should switch it to text mode and write to the corresponding tile address, if that still works. < 1393724935 873118 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1393724939 536303 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can also just not switch away from text mode. < 1393724966 689029 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(But you would write into the video memory, and have to track e.g. cursor position manually.) < 1393724991 636467 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :But how can I use the text mode without interrupts, is what I'm asking < 1393725020 435695 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :http://courses.engr.illinois.edu/ECE390/books/labmanual/realprot-diff-interrupts.html < 1393725022 488974 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Ah, I see < 1393725024 594388 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't think you need interrupts to use the text mode. < 1393725035 889403 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Don't I? < 1393725042 57550 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No. < 1393725053 764469 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :You just need to write into the proper memory address. < 1393725054 996599 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Usually I load the letter into ax and then call an interrupt for such a thing < 1393725064 630984 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Oh, I see < 1393725077 567885 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :You can read/write it even during rendering and at any time, and even execute code from video memory, unlike the Famicom. < 1393725128 200919 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The link you provided is specific to code running under DOS, with a DPMI host available, for the record. < 1393725196 508422 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Now what to do with all that power < 1393725217 707579 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Maybe I should just paste my pong program in there, see if it works! < 1393725541 764873 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :What does jmp $ mean by the way < 1393725552 896291 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Is $ just a reference to the beginning of the program? < 1393725557 730558 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The same as "foo: jmp foo". < 1393725564 546922 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :$ is the current position in NASM. < 1393725571 971091 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Oh < 1393725608 515204 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It's just "stop here", basically.) < 1393725613 524666 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PART :#esoteric < 1393725640 717944 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :do processors optimize a jump-to-self into a halt? < 1393725791 535014 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Hey, has anyone seen 3d-modeled objects that cast weird shadows? < 1393725793 277274 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think they do. Are the semantics not slightly different? (In terms of the jump instruction being modified by a DMA transfer or whatnot.) < 1393725800 898645 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Like, I remember a cube that casts an "A" in one direction, a "B" in another... < 1393725825 60437 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That sounds familiar. < 1393725870 410076 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Bike: Hofstadter's book "Godel, Escher, Bach" has picture of a object that casts shadow "G", "E", "B" in different directions. < 1393725880 751508 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: http://www.shapeways.com/blog/archives/554-3d-printed-shadow-cloud.html is kind of like that. < 1393725886 254713 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :zzo38: oh shit, i totally forgot! < 1393725911 427270 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :ais523: If you do it, it is wrong, depending on what the memory that it is executing from is mapped to. < 1393725927 472353 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :thanks < 1393725928 478700 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It might trigger on reads or writes, or have bank switching. < 1393725929 263544 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It seems to refer the GEB thing in the description.) < 1393725949 932407 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: the processor needs to know about that nowadays, though, because modern processors do their own caching < 1393726041 560243 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :ais523: Implicit caching is a bad idea, though. < 1393726109 935411 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: perhaps, but it's necessary for modern computers to run at the speed they do, because most programs don't contain explicit cache control commands, and the processor is much faster than the memory it accesses < 1393726144 629167 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :ais523: Yes, but it is a bad idea to design computers like that. < 1393726161 846963 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :why? < 1393726181 825127 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It overcomplicates and confuses too many things, and makes it unpredictable. < 1393726192 380179 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1393726192 814181 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1393726204 57794 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess there's a constant supply of tradeoffs between complexity and speed < 1393726219 314422 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :doing optimizations in one place (like caching) may cause optimizations in other places (like self-modifying programs) to fail < 1393726248 496328 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :You can unroll all your fucking loops~ < 1393726251 151140 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1393726255 430932 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :It's gonna be pretty fast < 1393726262 681660 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1393726281 356801 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Better would be to run it at a slow speed (also saving power!) until the instruction is told to load into cache/microcode RAM, and then switch to it at a faster speed, which would make it faster than the memory, and can then access instruction and data simultaneously. < 1393726293 373868 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :loop unrolling often slows a system down nowadays, because you can fit less program in the cache if it's unrolled < 1393726303 243930 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and correctly predicted jumps are pretty fast < 1393726311 314828 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although I imagine it still often speeds things up < 1393726324 332792 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :ais523: And that is a part of the bad idea too. It causes such problems. < 1393726348 608837 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: GPUs do something like you suggested with respect to memory accesses < 1393726378 453499 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they load into block memory (sort of like a cache) explicitly, and while waiting for the memory to load, the GPU's used to run other blocks instead < 1393726384 140014 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so the memory access and the code run entirely in parallel < 1393726759 725980 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, that would work well < 1393726800 554245 :nisstyre!yourstruly@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1393727269 387739 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1393727293 573037 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :hah < 1393727373 256324 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, GPUs /also/ have implicitly managed caches, like CPUs do < 1393727380 506006 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just they're only allowed to be used for read-only data < 1393727395 812875 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :presumably to prevent synchronization problems < 1393727519 947229 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Well, my idea is different, make one that has no implicitly managed cache, and that the cache is only explicit. < 1393727537 221769 :Sellyme!~Sellyme@irc.sellyme.com QUIT :Excess Flood < 1393727623 163171 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1393727672 12700 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Same with pipelining, parallization, etc, are all only working explicitly. < 1393727695 947820 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: are you familiar with what happened to the Itanium? < 1393727712 238071 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it required explicit specification several things on every instruction < 1393727718 579890 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and this probably made it fail, because compilers couldn't keep up < 1393727785 373036 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Then just tell it don't use such things. You can hand-code those things in if you need it. < 1393727977 249932 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, then it would be really slow on programs that didn't have those indications, by modern standards < 1393728008 327068 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, you'd be able to fit less in an explicitly managed cache than an implicit one < 1393728017 779114 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because the cache management instructions need to be stored in the cache < 1393728051 999415 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, but also make the microcode reprogrammable and use microcode RAM as cache. < 1393728088 280030 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that sounds like an esolang idea < 1393728101 281493 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Maybe < 1393728103 355655 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a processor that loads things into cache implicitly < 1393728107 408029 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :using a certain algorithm < 1393728113 533497 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and what happens to be in cache is interpreted as microcode < 1393728179 28990 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :You can post them in esolang list of ideas < 1393729693 370144 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1393729992 254746 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1393730022 944711 :Sellyme!~Sellyme@irc.sellyme.com JOIN :#esoteric < 1393730034 780966 :Sellyme!~Sellyme@irc.sellyme.com QUIT :Excess Flood < 1393730113 92633 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1393730390 609000 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1393730444 370653 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Things I have done in the past few hours: < 1393730453 208377 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Walked to a cinema and watched the Lego movie < 1393730455 7709 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Walked back < 1393730461 180895 :Sellyme!~Sellyme@irc.sellyme.com JOIN :#esoteric < 1393730461 369261 :Sellyme!~Sellyme@irc.sellyme.com QUIT :Excess Flood < 1393730472 535621 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Went to the tail end of a masquerade ball < 1393730533 16992 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1393730665 97567 :Tritonio!~Thunderbi@77.49.58.38.dsl.dyn.forthnet.gr QUIT :Ping timeout: 240 seconds < 1393731446 357542 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Then I did some other stuff < 1393732091 766504 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1393732659 879133 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :What kind of other stuff? < 1393732827 719473 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Mainly, wandering into places while wearing a suit < 1393732925 309196 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :At 3 am < 1393734084 125626 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 QUIT :Ping timeout: 245 seconds < 1393734102 76422 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 JOIN :#esoteric < 1393734403 864344 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :You have said that GUST OF WIND has been renamed as POKEMON CATCHER and is a very good card in the new format. Actually, it is very good card in the old format too. < 1393734772 859463 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It can be useful if opponent's cards have high retreat cost, and might need a lots of energy for attacking, or if you are also resisted to them. It can also be used if they are resisted to you, and if your cards attack both active cards and bench cards, then you can avoid to attack active pokemon cards in this way. < 1393734805 868029 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It may also be used, if you have one side card, to switch into the card that you can knock out and win right away. < 1393735366 517372 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :This game uses extremely bad AI; they keep doing things which are advantageous to me. < 1393735850 350194 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1393736141 544797 :nooodl!~nooodl@91.177.108.54 QUIT :Quit: Ik ga weg < 1393736205 707650 :nisstyre!yourstruly@oftn/member/Nisstyre JOIN :#esoteric < 1393736682 368660 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Remote host closed the connection < 1393736689 376561 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1393738434 657098 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1393739887 201384 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1393739919 92400 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1393740169 93783 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1393740791 837600 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1393743882 87244 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1393746017 772436 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1393746455 530674 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Or even if you have three side cards and then you can use GUST OF WIND and SWITCH and possibly win on one turn using that! < 1393746838 39724 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1393747251 910306 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net QUIT :Quit: leaving < 1393747512 101122 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1393747572 289641 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net QUIT :Client Quit < 1393747748 573898 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1393748110 155549 :MoALTz!~no@user-31-175-247-158.play-internet.pl JOIN :#esoteric < 1393748436 131667 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net QUIT :Quit: leaving < 1393748793 597871 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1393749284 290812 :itsy!~digital_w@37.152.198.84 QUIT :Ping timeout: 252 seconds < 1393750432 38166 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :all this gnu assembler talk i the logs made me wonder if there's an assembler called "plasma". apparently there is a 6502 VM/Assembler by that name < 1393750438 824943 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*in < 1393750609 673615 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no particularly promising hits for liquid assembler. and solid assembler is something completely different. < 1393750711 533667 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the solid graphics wiki looks completely dead. < 1393750781 193005 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as in unchanging. < 1393750803 572948 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1393750917 104064 :tromp__!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1393751065 566374 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1393751161 91175 :tromp__!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1393754228 469918 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1393754279 442557 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The Bose-Einstein condensate assembler. < 1393756596 998827 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :http://web.cs.dal.ca/~boardman/viz/proj/EnthusiASM.pdf < 1393756640 58208 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's a state of mind, not matter, Jafet < 1393756706 546072 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Does the mind not matter? < 1393756977 576366 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote Ugh still hungry After having a ball of salt (not a literal ball of salt0 Try a literal ball of salt. < 1393756980 506524 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1173) Ugh still hungry After having a ball of salt (not a literal ball of salt0 Try a literal ball of salt. < 1393758486 566609 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1393758662 764443 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1393758664 731665 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1393760770 509665 :nooodl!~nooodl@91.177.108.54 JOIN :#esoteric < 1393760882 277116 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1393760982 883646 :Sellyme!~Sellyme@irc.sellyme.com JOIN :#esoteric < 1393761475 549330 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1393762315 579741 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION observes someone on Reddit claim that the Church-Turing thesis implies that typical computers can run without electricity < 1393762360 180856 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :run? most computers don't even have legs! < 1393762450 483055 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393762618 577703 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I suddenly thought I should check out Eiffel a bit, but apparently most of the tutorial is about a new process for making software the eiffel way, not about the language < 1393765297 940034 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393765429 553310 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1393766546 421347 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :ais523: Technically, you could make an entirely mechanical computer =P < 1393766567 297653 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It probably wouldn't be very efficient < 1393766577 776830 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FreeFull: I put the "typical" in there because I knew someone was going to make that particular, inapplicable-in-context, nitpick < 1393766596 726576 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, is the Analytical Engine entirely mechanical? IIRC, although Babbage never built it, someone else later built one from his plans, and it did indeed work < 1393766624 425071 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It is, but I think there is enough resistance that you need an electric motor to power it < 1393766667 356939 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Although I guess an engine with a flywheel should work too < 1393766700 325807 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah no, it was the Difference Engine that got built < 1393766709 18230 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :couldn't you just use a counterweight? < 1393766735 627217 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Flywheel would be better if you want to provide continuous power < 1393766815 30955 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :flywheels that powerful are really hard to make < 1393766819 494315 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and also kind-of hard to extract energy from < 1393766833 32604 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they have a tendency to explode if you try to store too much energy in them < 1393766844 67189 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'd rather have a weight attached to a spool of rope, dangling over a cliff < 1393766919 614312 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :A powerful electric motor would probably be best < 1393767081 590937 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what about a petrol (gasoline) engine? < 1393767088 821338 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, better, diesel < 1393767093 46112 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you don't need spark plugs < 1393767248 730135 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Watermills < 1393767326 736483 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(Masterwork obsidian watermills, if you like) < 1393767350 698085 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i see dorfs? < 1393767372 498711 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1393769550 346540 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1393769907 619426 :atrapado!~ddd@unaffiliated/atrapado JOIN :#esoteric < 1393770696 140903 :password2!~password@197.78.173.68 JOIN :#esoteric < 1393770697 592496 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :12:11:55: * ais523 observes someone on Reddit claim that the Church-Turing thesis implies that typical computers can run without electricity < 1393770709 489853 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :nobody fucking understands the church-turing thesis < 1393770721 154590 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i've argued with people who seriously think the human brain is turing complete < 1393770740 914463 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Well it's as complete as a regular computer < 1393770756 778150 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Complete up to memory space and functioning time < 1393770816 855257 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe they mean "Turing complete" in the sense that Turing had one too. < 1393770849 130469 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Then again no physical thing is Turing complete < 1393770863 803018 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Even in an infinite universe < 1393770874 611639 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Because of the bloody cosmological expansion < 1393770974 565682 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Murray was Turing-hard. < 1393770990 574977 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Do you mean Murray the satanic skull? < 1393771027 8509 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :http://www.youtube.com/watch?v=8FJSGe6MVpU < 1393771198 418448 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1393771983 532184 :boily!~boily@96.127.201.149 QUIT :Quit: SHUFFLED CHICKEN < 1393772711 670066 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`ddg anagram chicken < 1393772712 543467 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ddg: not found < 1393772728 67045 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`duck anagram chicken < 1393772728 789589 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: duck: not found < 1393772765 990289 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh, wait. that must be the wrong bot, since it doesn't have easy internet access. But which was it? < 1393772770 690230 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :~duck anagram chicken < 1393772985 991718 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The bots are abandoning us! What do they know that we don't? < 1393773201 308094 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1393773204 132069 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Wow, the April fool's day jokes are starting already? http://www.theinquirer.net/inquirer/news/2331400/the-paper-printer-will-be-dead-in-four-years-says-ieee < 1393775024 908443 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: duck anagram chicken < 1393775025 369249 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: i turned my flashlight to the corner where the downward slant met the inward slant. she seemed to crystallize at a point where the curwen farm, where they had never seen the man, but had difficulty. then in the end the officials took no action, but carefully set down the new york tribune, in which mr. merritt in curwen's farmhouse more than a week. < 1393776014 472501 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1393776069 827109 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :~duck anagram chicken < 1393776094 882253 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :ah, you tried that already... anyway, metasepia is only here when boily is < 1393777033 766237 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :fungot's got fun < 1393777034 175686 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Jafet: " he built him a house in the hills had sounded, and all round on the north rim of the plateau near the crest whence i had first reached the central chamber as well, he might show me something rather unusual something a bit hysterical in his occasional exhilaration, while his moods of fright and depression were altogether too frequent. the old bookseller had told him about the fright of the dunwich people by giving any h < 1393777110 57225 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot should write a novel < 1393777110 279481 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: unseen fingers grip me... ghost fingers that lack the physical strength to force me to < 1393777149 737007 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which we can then give to children in order to train them in fungot's style. < 1393777149 922298 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: the fnord attempt was a fnord cut of a hideous cult of nocturnal worshippers whose strange customs descended from fnord and laboratory supply houses. < 1393777155 373123 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :fungot's style of writing seems familiar. < 1393777155 557992 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Jafet: document modified: < 1393777178 329051 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :But now a fungot twist < 1393777178 514517 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Jafet: " to my ancestor, gilbert de la poer, and i answered. he remembered one particular village of the creatures seemed not quite usual in their aspects and motions, and making it more and more < 1393777211 868236 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wait, who did s/Cthulhu/fnord/g there? < 1393777233 605401 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(That's my association at least.) < 1393777332 428760 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fungot knows better than to mention fnord by its true name(s) < 1393777332 614074 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: but as the weeks passed without further disclosures there began to float a picture of what had disappeared, whilst there had formed on the chest a very peculiar specimen. the proportions of its body seemed slightly altered in a queer antarctic haze such a haze, perhaps, which the maniac ( if maniac he were) yearned to avenge. < 1393777476 11499 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Gonna put some COOL GRAPHICS in my boot man < 1393777481 121643 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Maybe a wicked skull??? < 1393777505 87879 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :But for now, I just put it in SUPER VGA mode and filled the screen white < 1393777507 907232 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Let's see if it works < 1393777940 394523 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Yes, white screen! < 1393777946 313913 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Now to fill it with amazing graphics < 1393778423 912685 :blotter!~blotter@75-121-39-142.dyn.centurytel.net JOIN :#esoteric < 1393778611 988648 :blotter_!~blotter@75-121-39-142.dyn.centurytel.net JOIN :#esoteric < 1393778651 537934 :blotter_!~blotter@75-121-39-142.dyn.centurytel.net QUIT :Client Quit < 1393778664 674781 :blotter!~blotter@75-121-39-142.dyn.centurytel.net QUIT :Client Quit < 1393778682 3708 :blitter64!~blitter@75-121-39-142.dyn.centurytel.net JOIN :#esoteric < 1393778932 398234 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so "check elfish fund" is an anagram of "shuffled chicken". < 1393779023 379615 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so is "filched hen fucks", and that ends my session with the internet anagram finder. < 1393779113 255254 :Slereah__!~jackal@176.222.51.233 PRIVMSG #esoteric :Rand Paul is an anagram of PANDA URL < 1393779214 619030 :variable!root@freebsd/developer/variable NICK :constant < 1393779264 908202 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://wordsmith.org/anagram/hof.html has a couple of cute ones < 1393780001 739147 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1393780097 520221 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1393780248 78213 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1393780298 792493 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1393780298 977440 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1393780521 302629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : A powerful electric motor would probably be best <-- clearly only a steam engine would be proper hth < 1393780935 565988 :password2!~password@197.78.173.68 QUIT :Read error: Connection reset by peer < 1393780943 283741 :newsham_!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :plus it can remove wrinkles < 1393781552 732484 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1393782097 122754 :blitter64!~blitter@75-121-39-142.dyn.centurytel.net QUIT :Ping timeout: 240 seconds < 1393782197 785750 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is it unethical to buy a VIP for WorldsPlayer? The company is a bit of a patent troll < 1393782295 379556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :itt Sgeo ethically gets sued < 1393782314 379750 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Internet Relay Ethics. < 1393782322 340005 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am feeling a bit down today < 1393782351 148040 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION ties helium balloons to Taneb  < 1393782363 149255 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Now I am stuck to the ceiling < 1393782368 478994 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Typing is somewhat difficult < 1393782375 319553 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but you're no longer down, right? < 1393782384 435530 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mission accomplished! < 1393782391 694702 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Well, I am no longer literally down < 1393782440 757479 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Metaphorically I still feel somewhat down < 1393782442 526266 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :A little tied up there? < 1393782446 429341 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Too late now < 1393782447 286936 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Although less so than before < 1393782512 955518 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Thank you oerjan < 1393782524 64156 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you're welcome < 1393782525 213465 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1393783332 752624 :Phantom__Hoover!~phantomho@146.66.56.199 JOIN :#esoteric < 1393783332 752745 :Phantom__Hoover!~phantomho@146.66.56.199 QUIT :Changing host < 1393783332 752814 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393783749 79076 :atslash!~atslash@playisland.ru JOIN :#esoteric < 1393783988 309303 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the internet is moving too fast today < 1393783993 950702 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the ideas of march are flying < 1393784083 242582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hi quintopia < 1393784095 884724 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what? what now? < 1393784099 605107 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :stop the world < 1393784110 550462 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i realized resPairate-exactly-2 has a solvable halting problem < 1393784122 882908 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that is, if you use only (n,2) pairs < 1393784142 645330 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1393784164 360877 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :really? i cannot fathom what that means in the context of an ever-growing thing < 1393784167 154548 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://www.reddit.com/r/SubredditDrama/comments/1zc63k/who_is_to_blame_for_mtgox_collapsing_and_losing/ < 1393784202 270807 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: it's not _necesarily_ ever-growing. you can have (0,2) pairs. < 1393784205 586969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+s < 1393784242 100210 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :right, but all the programs that do interesting things will clearly be the ones that get ever longing, constantly dragging around and duplicating useless chaff < 1393784248 190499 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :*longer < 1393784257 606288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose. < 1393784291 44547 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Will Haskell ever be fully dependently-typed? < 1393784297 241635 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I can hardly look at Haskell when I see Idris < 1393784302 55027 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Even for more trivial things < 1393784322 464495 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Like instead of type synonyms, just a simple definition < 1393784329 694548 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Will Sgeo ever find a language which doesn't disappoint him? < 1393784347 95360 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :No. Even if I made my own, the lack of libaries would disappoint me. < 1393784375 940081 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :MyInt : Type < 1393784378 232559 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :MyInt = Int < 1393784389 746272 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Sgeo: try opening up the wolfram language and fixing the things you don't like. probably easier than writing all those libraries yourself :D < 1393784426 896978 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Hadn't heard of it until now < 1393784429 984244 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :but rename it to "sgeo language" first (or ego language?) < 1393784443 121497 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :olsner: no. ego is gregor's thing < 1393784465 127387 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: anyway the thing is, if (n,2) is the largest pair in your queue, then if it survives one cycle there will be two (n,0) at most n apart, and then they can never both be deleted again. < 1393784505 379298 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(and the one which isn't deleted will be duplicated for the next cycle) < 1393784519 706813 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er, *(n,2) < 1393784567 755272 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sure... < 1393784575 850546 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i think this also means the number of such close pairs can never shrink < 1393784607 925794 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah, so something like conway's argument for look-and-say < 1393784655 917031 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the idea of comparing those occured to me, but i haven't thought enough to say if a similar argument can work < 1393784660 325415 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1393784703 735775 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because a lot clearly depends on alignment with the execution, unlike look-and-say < 1393784784 579326 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anyway also with ever-growing things you get into the trouble like with ais523's TM proof that turing-completeness is rather fuzzily defined < 1393784798 794752 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1393784855 566758 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :indeed. if computation is possible, you have to extract the answer manually. so it be called weak universality if it's there. < 1393784858 306616 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1393785335 322731 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :one thing you need to avoid is that any part of the queue starts growing exponentially so information cannot cross it. < 1393785447 482748 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is similar to what happens to roman numeral look and say - there are no atom boundaries in the ordinary sense, but things grow faster than they can communicate so you end up with an analogous process < 1393785525 675774 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i suppose with resPairate=2 you'd still have the question of whether you could communicate using the alignments < 1393785559 290996 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which _might_ work even across something exponentially growing. < 1393785622 564470 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :quintopia: why would Wolfram Language have a lot of libraries? < 1393785650 390982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: the libraries are called "Mathematica" < 1393785682 115608 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Does Mathematica have libraries for processing WSDLs? IRC clients? < 1393785734 182868 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :PROBABLY < 1393785740 937413 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it has everything, don't you know < 1393785822 277516 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Did Wikipedia(/MediaWiki) have a "git blame" style feature where it annotates the lines of the current version of the page and shows who last edited those lines? < 1393785905 990222 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I'm wondering who added a barely disguised SatelliteDirect ad -- http://www.oscarslive2014.com/ -- on top of the "Official websites" external links section.) < 1393785952 135084 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i just use binary search to find such things < 1393785972 634273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(although i suppose i'd be interested to know the answer, too) < 1393785977 862913 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: what page? < 1393786006 638104 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://en.wikipedia.org/wiki/86th_Academy_Awards < 1393786057 358742 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've found a couple of edits changing it so far. (It used to have "Watch Oscars Live On Your PC" as the link title, which sounds a lot more ad-y than the current.) < 1393786105 270533 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And it's come and gone too. < 1393786140 467509 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eek, i've not used binary search on pages with _that_ large a history before. < 1393786150 263158 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Seems to be different people adding it with different URLs every now and then. < 1393786157 271070 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The one I saw was already reverted, too. < 1393786168 47380 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, or maybe not. < 1393786187 375280 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It was added by the second-latest edit, anyway.) < 1393786297 589619 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(By Mr. 176.42.136.235, who coincidentally enough is from Turkey, like whoever registered the domain the link was to.) < 1393786352 864666 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Should probably go ahead and press that undo button myself. I mean, it is the encyclopedia *everyone* can edit. < 1393786448 295584 :JZTech101!jztech101@botters/jztech101 QUIT :Quit: Now what? < 1393786510 424009 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i just did < 1393786514 752940 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That was a good thing. < 1393786525 792953 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Because I have no idea what my Wikipedia user account is. < 1393786538 537299 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And appearing as an IP address is just so pedestrian, you know. < 1393786604 310548 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :e also added the link to "Academy Awards", but that was already reverted. < 1393786775 10860 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the same ip did a completely unrelated, but very dubious set of edits to Samuel Holmén < 1393786794 606190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but that was months ago < 1393786964 451293 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :surely you must be https://en.wikipedia.org/wiki/User:Fizzi830 < 1393786976 31399 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION runs away < 1393786976 923561 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I have no idea what the "(streamable)" in their link in the "Academy Awards" meant. < 1393786990 387401 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Surely. < 1393787010 75623 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I like the talk page of that user page. < 1393787017 626209 :Guest73663!jztech101@crabhost.org JOIN :#esoteric < 1393787073 892139 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or, I mean... I am like, SO sure it's my page. UGH! TTYL! < 1393787106 628127 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :O < 1393787110 540389 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Whoops. < 1393787214 730348 :Guest73663!jztech101@crabhost.org NICK :JZTech101 < 1393787216 751741 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well if you have a wikipedia account, you've not made it under any obvious name < 1393787232 388400 :JZTech101!jztech101@crabhost.org QUIT :Changing host < 1393787232 574239 :JZTech101!jztech101@botters/jztech101 JOIN :#esoteric < 1393787249 325016 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Are you sure I'm not Fizzie-zombie23, editing "Talk:Mayday (Taiwanese band)" and "Sokka"? < 1393787261 852749 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Perhaps I didn't have an account at all.) < 1393787346 7662 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or that you never made a user page < 1393787375 886110 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I was looking at Special:ListUsers for myself. < 1393787441 151847 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1393787463 377690 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393787473 798153 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Perhaps I was Fizzieissie, whose only contribution was to change the Portuguese translation of Locomotive from "Locomotiva" to "vaginia", which does sound slightly suspicious. < 1393787600 11504 :JZTech101!jztech101@botters/jztech101 QUIT :Quit: Now what? < 1393787610 139451 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Gardening ad playing. "Wipe out this" depicting a dandelion < 1393787614 987043 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :But it looks so pretty :( < 1393787661 349536 :JZTech102!jztech101@crabhost.org JOIN :#esoteric < 1393787768 940100 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Which I keep spelling dandeloin < 1393787781 20112 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Unless I try to type dandeloin in which case I type dandelion < 1393787884 204692 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Wikipedia says it's a "beneficial weed", which makes me more confused. I assume the ad had them removing it because it's a weed (I knew that much), but if it's beneficial.. < 1393787914 183499 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph, changing ListUsers to sort by creation date makes giving a username prefix completely useless. < 1393788025 720722 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I presume it's all about what you want in your garden. < 1393788102 654495 :JZTech102!jztech101@crabhost.org NICK :JZTech101 < 1393788102 840857 :JZTech101!jztech101@crabhost.org QUIT :Changing host < 1393788102 841005 :JZTech101!jztech101@botters/jztech101 JOIN :#esoteric < 1393788140 801144 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Ah, it's a nitrogen fixer. < 1393788147 235019 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Among other things. < 1393788172 533682 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Also, it's edible. Bitter, but hey. < 1393788898 287121 :shikhin!~Shikhin@unaffiliated/shikhin NICK :sad < 1393788977 143496 :sad!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1393789267 664826 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :"A phone touted as the first to put privacy and security ahead of all other considerations launched at a packed event at Mobile World Congress in Barcelona, Spain, today." < 1393789277 371626 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :So, a paperweight? < 1393789305 106515 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Yes < 1393789463 155053 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :I dunno man, could be bugged. < 1393789542 288731 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote "A phone touted as the first to put privacy and security ahead of all other considerations launched at a packed event at Mobile World Congress in Barcelona, Spain, today." So, a paperweight? Yes I dunno man, could be bugged. < 1393789544 906390 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1174) "A phone touted as the first to put privacy and security ahead of all other considerations launched at a packed event at Mobile World Congress in Barcelona, Spain, today." So, a paperweight? Yes I dunno man, could be bugged. < 1393791250 521775 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :In the computer game I described (which could be called "Flying to the center of the Earth"), of course you would need to go through a lot of passages just getting through the center of the planets to the outside and to the inside. So, those are three phases; and then once you reach the center, it still isn't finished yet so it is a fourth phase. Each phase can affect the future phases too in various ways. < 1393791399 148437 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :And in the final phase, once you are in the center of the Earth, if you could optionally enable listening on a TCP port so that it can be multi-player, other players can try to stop you, to help you, or to be a double-agent. < 1393791521 224576 :atrapado!~ddd@unaffiliated/atrapado QUIT :Quit: Leaving < 1393791523 28411 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :So, it is like four games in one that interfere with each other, I suppose like how Ultimate Gipf does something like that < 1393791865 713219 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Is it better now? < 1393792099 764345 :ion!ion@heh.fi PRIVMSG #esoteric :"You just don't in the 21st century behave in 19th century fashion by invading another country on completely trumped up pre-text," Kerry told the CBS program "Face the Nation." http://www.reuters.com/article/2014/03/02/us-ukraine-crisis-usa-kerry-idUSBREA210DG20140302 < 1393792142 569698 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what are you talking about, defending ethnic russians is a totally sensible reason < 1393792322 115549 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I keep forgetting that the 19th century was two centuries ago < 1393792323 26482 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh did Russia forget to tell the US about the proof that the Ukraine has weapons of mass destruction? < 1393792486 296980 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :What kind of weapons of mass destructions? < 1393792497 665976 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Politically convenient ones. < 1393792509 598615 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :like the US had in 2001. < 1393792525 613264 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Which was in the 21st century. That's why I thought of it.) < 1393792989 747140 :ion!ion@heh.fi PRIVMSG #esoteric :This article documents a current event. Information may change rapidly as the event progresses. (March 2014) http://en.wikipedia.org/wiki/World_War_III < 1393792997 73277 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :¬_¬ < 1393793026 161228 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wat < 1393793116 299837 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Russia invaded Ukraine meaning WW3 has begun, prepare yourself for war." < 1393793123 23056 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :From a since-reverted version of that page. < 1393793128 9419 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :¬_____¬ < 1393793169 119131 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :if we're going for dumb wikivandalism i prefer the one on G8 "The Group of Eight (G8) is a forum for the governments of seven leading industrialized democracies, plus Russia." < 1393793187 196409 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Welcome to Wikipedia, the free encyclopedia that anyone can edit. < 1393793260 481501 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1393793433 402362 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1393793466 980433 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Whoever reverted it apparently didn't notice the current-event template.) < 1393793918 964816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i'm _not_ going to revert it. < 1393793996 304059 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1393794080 799200 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the G8 one was reverted, naturally by a russian IP. < 1393794903 341952 :blitter64!~blitter@75-121-39-142.dyn.centurytel.net JOIN :#esoteric < 1393795422 580050 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"unsigned char y = -1" nooooo < 1393795558 753193 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :isnt that usually just ÿ < 1393795583 581571 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is there a language where ÿ is a legal identifier < 1393795608 358540 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ẍ could be one too < 1393795613 469207 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let ÿ = "yes" in ÿ < 1393795614 706527 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "yes" < 1393795656 622879 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :> let ẍ = "no" in ẍ < 1393795657 779446 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "no" < 1393796104 16766 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t [Vect 5 String, String, Type] < 1393796105 204028 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393796136 412289 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :^^ doesn't work with the Idris bot either < 1393796142 18768 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric : > :t with Vect [Vect 5 String, String, Type] < 1393796142 204233 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric : [Vect (fromInteger 5) String, String, Type] : Vect 3 Type < 1393796291 399265 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1393796292 681006 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Aww, the colors didn't copy < 1393796305 131270 :atslash!~atslash@playisland.ru QUIT :Ping timeout: 240 seconds < 1393796307 6755 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :And Quassel isn't showing me the mode of the channel < 1393796317 54406 :atslash!~atslash@46.72.83.247 JOIN :#esoteric < 1393796389 401200 :Slereah__!~jackal@176.222.51.233 QUIT :Ping timeout: 252 seconds < 1393796641 359402 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1393796907 578563 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :+n, hth. < 1393796997 840403 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :So no color stripping < 1393797038 876303 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I may turn into a language bot collector < 1393797050 816529 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :that sounds like something you would do. < 1393797083 819822 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think I'll store my collection in #esoteric < 1393797102 363878 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :imminently practical and useful < 1393797110 474878 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :everyone here wants access to all languages all the time < 1393797157 837135 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Wonder if it would just be easier to install an Idris interpreter in HackEgo < 1393797284 73044 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but then how will we make the population of this channel over 50% bots in the longrun? < 1393797287 76678 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :be sensible < 1393797304 920557 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah sgeo, think this through. take your position as bot steward seriously. < 1393797600 458248 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393797651 665958 :MoALTz!~no@user-31-175-247-158.play-internet.pl QUIT :Quit: Leaving < 1393797756 350202 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1393797882 944293 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 244 seconds < 1393798324 586676 :eighteighteighte!~Eight8Eig@c-68-40-148-246.hsd1.mi.comcast.net JOIN :#esoteric < 1393798438 474678 :eighteighteighte!~Eight8Eig@c-68-40-148-246.hsd1.mi.comcast.net PART :#esoteric < 1393798813 899095 :nisstyre!yourstruly@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1393798837 901589 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 JOIN :#esoteric < 1393799383 250445 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :So, person who runs Idris bot says e can add #esoteric to the list < 1393799386 267372 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Should I do it? < 1393799567 412557 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Maybe not, the prefix (> ) is hardcoded < 1393799570 957208 :ion!ion@heh.fi PRIVMSG #esoteric :The channel traditionally has a very anti-bot sentiment, that would be groundbreaking. < 1393799580 450057 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Could lead to some hilarity with lambdabot < 1393799582 271892 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :"hilarity" < 1393799591 499031 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 PRIVMSG #esoteric :yeah, that sounds fun. < 1393799594 237251 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> fix error < 1393799595 392795 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex... < 1393799608 976332 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I can make lambdabot leave. *shrugs* < 1393799619 746177 :ion!ion@heh.fi PRIVMSG #esoteric :Everyone simply needs to start using the intersection of Haskell and Idris. < 1393799626 541569 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :int-e: I think people value a Haskell bot over Idris bot < 1393799665 512007 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@bf +++++[>+++++++<-]. < 1393799665 820610 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Done. < 1393799675 434262 :ion!ion@heh.fi PRIVMSG #esoteric :`coins < 1393799676 866330 :blitter64!~blitter@75-121-39-142.dyn.centurytel.net PRIVMSG #esoteric ::O < 1393799677 759440 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :23coin attocoin tricoin subtlecoin eccecoin cvhcoin iyurduebagcoin thromacoin brailitcoin doubcoin acrowcoin cencoin rhyoldcoin combacoin tendcoin glycoin whirancoin stoplicoin duplearmynacoin hanifiecoin < 1393799689 26844 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@help bf < 1393799689 254855 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :bf . Evaluate a brainf*ck expression < 1393799721 234444 :ion!ion@heh.fi PRIVMSG #esoteric :brainfasteriskck < 1393799751 248998 :reynir!~reynir@unaffiliated/reynir JOIN :#esoteric < 1393799766 786866 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@bf +++++[>+++++++<-]>. < 1393799766 977232 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : # < 1393799771 485554 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :`welcome reynir < 1393799772 697681 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :reynir: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1393799776 203037 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ok, that was stupid. so @bf works :) < 1393799777 988825 :reynir!~reynir@unaffiliated/reynir PRIVMSG #esoteric :thank you < 1393799780 352306 :blitter64!~blitter@75-121-39-142.dyn.centurytel.net PRIVMSG #esoteric :bf is a great demonstration of how a languages popularity is tied to it's name < 1393799792 751493 :blitter64!~blitter@75-121-39-142.dyn.centurytel.net PRIVMSG #esoteric :@bf . < 1393799792 936682 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Done. < 1393799805 555606 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net JOIN :#esoteric < 1393799809 957819 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but it filters control characters. < 1393799822 783694 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and I'm not sure what it does with , ... < 1393799832 841589 :ion!ion@heh.fi PRIVMSG #esoteric :@bf print "Done." < 1393799833 40073 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Done. < 1393799837 981767 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :wat < 1393799849 39289 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net JOIN :#esoteric < 1393799871 67018 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t with Vect [Int, Bool, Vect 3 Type] < 1393799871 320352 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :04[12Int04, 12Bool04, 12Vect (09fromInteger 043) 12Type04] : 12Vect 043 12Type < 1393799871 775404 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 PRIVMSG #esoteric :awesome. < 1393799872 125787 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393799881 617561 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 PRIVMSG #esoteric :ooh, pretty colors. < 1393799930 686369 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Unfortunately, I don't think that lambdabot's prefix can be configured on a per channel basis. < 1393799953 613949 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :idris-ircslave's prefix is hardcoded too. If I ran it myself, could change it < 1393799962 450841 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> text "> 1" < 1393799962 691948 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :No such variable text < 1393799963 537033 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : > 1 < 1393799981 862398 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Melvar: can idris-ircslave do IO? < 1393800027 772102 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> the Bool "Hello" < 1393800027 981671 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :Can't unify < 1393800028 168437 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric : 12String < 1393800028 168592 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :with < 1393800028 168741 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric : 12Bool < 1393800028 168832 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :Specifically:14↵… < 1393800028 841712 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `the'Not in scope: data constructor `Bool' < 1393800035 321308 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :Sgeo: No. < 1393800070 218332 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> the (so True) oh < 1393800070 404105 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :04oh : 12so 04True < 1393800071 269411 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `the'Not in scope: `so' < 1393800071 454527 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1393800071 454682 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `s' (imported from Debug.SimpleReflect), < 1393800072 897868 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `o' (imported from Debug.SimpleReflect), < 1393800074 842743 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `iso' (imported from Control.Lens)Not in scope: `oh' < 1393800081 530405 :ion!ion@heh.fi PRIVMSG #esoteric :idris-ircslave seems to be faster than lambdabot. Idris is faster than Haskell. QED < 1393800087 126458 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :I filter commands, only a few I deem safe are allowed. < 1393800089 79980 :reynir!~reynir@unaffiliated/reynir PRIVMSG #esoteric :what is lambdabot doing < 1393800106 337264 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :ion: Both Idris itself and the Bot are written in Haskell. < 1393800107 29942 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :s and o are... things, I guess? < 1393800123 766398 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> the (so False) oh < 1393800123 951389 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:16:Can't unify < 1393800124 136470 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric : 12so 04True < 1393800124 136632 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :with < 1393800124 136724 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric : 12so 04False < 1393800124 136816 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :Specifically:14↵… < 1393800124 675346 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `the'Not in scope: `so' < 1393800124 860519 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1393800124 860670 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `s' (imported from Debug.SimpleReflect), < 1393800124 860760 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `o' (imported from Debug.SimpleReflect), < 1393800124 860849 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `iso' (imported from Control.Lens)Not in scope: `oh' < 1393800138 23296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so, you write a bot in haskell and make its prefix collide with _the_ haskellbot? sounds smart. < 1393800140 998382 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ok, @bf does not support ,. < 1393800142 912517 :ion!ion@heh.fi PRIVMSG #esoteric :melvar: Re: Idris, i know. :-) < 1393800174 411977 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :oerjan: I started out with ‣ , but people complained. < 1393800225 748076 :ion!ion@heh.fi PRIVMSG #esoteric :melvar: You shouldn’t listen to people, they tend to be wrong. < 1393800228 397787 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :heh, how about 'I ' (short for 'idris') *whistles innocently* < 1393800283 471240 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :+ is free? < 1393800286 185474 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ‣ < 1393800287 329607 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2023 TRIANGULAR BULLET] < 1393800302 364739 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Doesn't look very triangular to me < 1393800309 527250 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Looks like a thick | < 1393800316 292892 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: technically + is taken by thutubot, but it's never here so... < 1393800337 846599 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :>True < 1393800342 80575 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :aww < 1393800353 585524 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :▶▷▸▹►▻ < 1393800365 197386 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :idris-ircslave: > True < 1393800374 233215 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lambdabot: > True < 1393800379 289820 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1393800380 147793 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@eval 1 < 1393800387 538671 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err, no. < 1393800388 858522 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@run 1 < 1393800389 859652 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 < 1393800390 121063 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lambdabot: @run True < 1393800391 63096 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1393800400 925462 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's a little inconvenient < 1393800406 610776 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :True. < 1393800461 608946 :reynir!~reynir@unaffiliated/reynir PRIVMSG #esoteric :> putStrLn "Hello, world! This is IO" < 1393800462 507080 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :04MkIO (\13w => 09prim_io_bind (mkForeignPrim (04FFun 04"putStr" 04[04FString04] 04FUnit) 04"Hello, world! This is IO\n" 13w) (\13x => 04prim__IO 13x)) : 12IO 12() < 1393800462 692425 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : < 1393800484 731907 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hah! < 1393800540 374111 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t mkForeignPrim < 1393800540 560318 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :mkForeignPrim : (12Foreign 13x) -> 13x < 1393800541 302203 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393800548 929060 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t Foreign < 1393800549 114058 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :12Foreign : 12Type -> 12Type < 1393800549 863832 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393800585 116346 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I know the Idris tutorial has a chapter on FFI, I just haven't read it < 1393800620 978064 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Also, I wish standard IO just used the neweffects library < 1393800639 979963 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :I have the feeling you guys are going to crash the bot before long … < 1393800650 842970 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It's crashable? < 1393800702 294111 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :If we break something, what's the chance of it being an Idris bug vs. bot bug? < 1393800702 819033 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :> crash < 1393800703 457900 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1:No such variable crash < 1393800793 181359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> unsafePerformCrashing < 1393800793 492148 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1:No such variable unsafePerformCrashing < 1393800794 295683 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `unsafePerformCrashing' < 1393800811 481781 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> fix error < 1393800811 668296 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :No such variable fix < 1393800812 475208 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex... < 1393800821 145356 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: We'll see how many bots are alive tomorrow. < 1393800825 978571 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :Well, it depends. The easiest way is to ask for something that diverges. I have no way available to filter that, so the idris process hangs or stackoverflows or whatever, and the bot has no real way to deal with that except terminating. < 1393800885 611916 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Just have a timeout, and if Idris doesn't respond within the timeout, restart the Idris process < 1393800887 123592 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :? < 1393800894 385168 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :(It started as a weekend hack, don’t expect too much.) < 1393800907 357711 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Although some terminating functions will inevitably be terminated early < 1393800920 538222 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :It has a timeout. The timeout terminates the bot, because I have no way to reset its state. < 1393800926 660985 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ah < 1393801506 351575 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :info < 1393801506 579358 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1: error: expected: end of input, < 1393801506 764474 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric : operator < 1393801506 764678 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric ::info < 1393801506 764770 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :^ < 1393801507 392176 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393801515 992541 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :info Type < 1393801516 198390 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1: error: expected: end of input, < 1393801516 383501 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric : operator < 1393801516 383663 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric ::info Type < 1393801516 383761 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :^ < 1393801517 34229 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393801552 292853 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :What does casesplit do? < 1393801563 469942 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :info + < 1393801563 654945 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1: error: expected: end of input, < 1393801563 839850 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric : operator < 1393801564 24740 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric ::info + < 1393801564 24924 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :^ < 1393801564 629129 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393801569 629303 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :info (+) < 1393801569 814225 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :Not a class < 1393801570 708884 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393801572 931411 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ah < 1393801597 432942 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :Splits cases on a pattern variable, used by editor integration. < 1393801604 365812 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^prefixes < 1393801604 551199 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, jconn ) , blsqbot ! < 1393801629 594736 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :?run 123 < 1393801630 784248 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 123 < 1393801658 712034 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :/ is free ;-) < 1393801663 627404 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :casesplit 5 xs < 1393801663 851584 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :: openFile: does not exist (No such file or directory) < 1393801664 623833 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393801671 781843 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Look at that greedy lambdabot, grabbing two prefixes. < 1393801673 94889 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :?pl \x -> not (not x) < 1393801673 280042 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :id < 1393801694 99991 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@pl id `asTypeOf` not < 1393801694 284944 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :id `asTypeOf` not < 1393801708 230363 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(The opening parenthesis is free also.) < 1393801710 792784 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :@djinn Void -> Bool < 1393801711 132831 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :f = void < 1393801716 258342 :shikherr!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1393801727 204552 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :? < 1393801742 119978 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :void has type Void -> a < 1393801745 794221 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ah < 1393801760 445064 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :How would void be written in Idris? < 1393801770 482008 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :> :t FalseElim < 1393801770 667737 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :FalseElim : 12_|_ -> 13a < 1393801771 393117 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393801787 414341 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Where is it defined? < 1393801819 74917 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :It’s builtin, I believe. < 1393801826 449435 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :>> ... < 1393801844 645839 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> iterate ('>':) "> " < 1393801844 830837 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:9: error: expected: "$", < 1393801845 16001 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "*", "+", "++", "-", < 1393801845 16170 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric : "->", ".", "/", "/=", "::", "<", < 1393801845 16263 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric : "<$", "<$>", "<*>", "<+>", < 1393801845 16354 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric : "<->", "<<", "<=", "<|>", "=",14↵… < 1393801845 621458 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["> ",">> ",">>> ",">>>> ",">>>>> ",">>>>>> ",">>>>>>> ",">>>>>>>> ",">>>>>>... < 1393801898 796268 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1393801898 988443 :shikherr!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1393801902 729116 :Melvar!~melvar@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :> take 10 (iterate (strCons '>') "> ") < 1393801902 914683 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :04[04"> "04, 04">> "04, 04">>> "04, 04">>>> "04, 04">>>>> "04, 04">>>>>> "04, 04">>>>>>> "04, 04">>>>>>>> "04, 04">>>>>>>>> "04, 04">>>>>>>>>> "04] : 12Vect 0410 12String < 1393801903 751499 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `strCons' < 1393801920 778966 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t iterate < 1393801920 963806 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Stream.iterate : (13a -> 13a) -> 13a -> 12Stream 13a < 1393801921 753012 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393801949 641508 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> :t take < 1393801949 827044 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.List.take : 12Nat -> (12List 13a) -> 12List 13a < 1393801950 12278 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Stream.take : (13n : 12Nat) -> (12Stream 13a) -> 12Vect 13n 13a < 1393801950 197373 :idris-ircslave!~ircslave@dslb-188-109-006-022.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Vect.take : (13m : 12Fin (04S 13n)) -> (12Vect 13n 13a) -> 12Vect (09cast 13m) 13a < 1393801950 651447 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input `:' < 1393802002 560334 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm feeling a bit sad for poor lambdabot hitting its head on all those parse errors on input `:'. < 1393802017 294927 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :ACTION considers reading http://www.andres-loeh.de/LambdaPi/LambdaPi.pdf < 1393802034 101102 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Maybe then I'll fully understand it < 1393802083 882879 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Not that I actually understand the simply-typed lambda calculus either < 1393802318 267087 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 PRIVMSG #esoteric :Chicken < 1393802545 740293 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1393802760 275822 :blitter64!~blitter@75-121-39-142.dyn.centurytel.net QUIT :Ping timeout: 252 seconds < 1393803140 27896 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 QUIT :Quit: Page closed < 1393803294 891041 :Bicyclidine!45a62f6e@gateway/web/freenode/ip.69.166.47.110 JOIN :#esoteric < 1393804592 976207 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I am trying to figure out how to pattern match on a list of Z-machine instructions, and on an 'inner block' of instructions. I have already partially figured it out: There is a pseudo 'branch target' instruction to help, and each opcode has flags associated with it, for one thing. (For example, IGRTR? has flags (IF_in_place|IF_pure|IF_predicate).) < 1393804777 365974 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Do you have advice?