< 1445645831 375979 :jaboja!~jaboja@esf94.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 250 seconds < 1445646175 865301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: of course that's possible, if you can add an interpreter option to tell the IDE the information < 1445646190 27506 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh right. < 1445646193 855959 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Um. < 1445646195 845807 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :How? < 1445646205 852161 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I know the interpreter option part, but... < 1445646206 31429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well you could print it to stderr perhaps < 1445646212 570838 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh. That works. < 1445646228 348292 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(We need a STDINF stream, don't we?) < 1445646276 917718 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well if you're using linuxy fork, you could also agree on another file descriptor number i guess < 1445646312 733600 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or you could use a named pipe < 1445646556 100375 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what would stdinf mean? < 1445646596 30470 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :std info? < 1445646599 867126 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :std infinity? < 1445646616 395024 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :there should be an input equivalent of stderr < 1445646627 149728 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :http://explosm.net/comics/4040/ < 1445646639 443291 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :std infection < 1445646647 583533 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: Standard Info < 1445646657 492717 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :aww that's the most boring alternative < 1445646665 487262 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Phantom_Hoover: I suggested that. Check "Stream" on the wiki. < 1445646684 316620 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Unfortunately, I'm a windows user, AND I prefer this to be cross-platform < 1445646699 155882 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :don't be a windows user problem solved? < 1445646699 553635 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :cygwin < 1445646712 793261 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :Phantom_Hoover: that's much better < 1445646717 878306 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Phantom_Hoover: I would, but I haven't gotten around to dual booting yet. < 1445646724 658087 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats Phantom_Hoover on principle -----###
< 1445646728 188213 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :no need for dual < 1445646731 440326 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(I also do some light gaming, and games usually are made for windwos, so...) < 1445646738 239408 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :*windows < 1445646740 728622 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :anyway your stderrin is questionable, you should be able to pipe it < 1445646754 265090 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Phantom_Hoover: Oh right. You should add that to the wiki. < 1445646757 620370 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, how? < 1445646765 948980 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :How do you pipe normal stdin < 1445646790 41811 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i mean that semantically stderrin should be the stderr of the previous program in the pipe < 1445646803 280380 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ooooooooooh < 1445646809 81080 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I prefer being able to complain < 1445646824 693783 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, you /can/ pipe stderr into the next program < 1445646852 278534 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :cat invalidFile 3> (cat > error.log) or something along those lines < 1445646858 444318 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Unless you mean multi-piping < 1445646858 683801 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :nope < 1445646874 855123 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, I did that wrong < 1445646881 649668 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :cat invalidFile 3> error.log < 1445646885 11107 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :better < 1445646888 678285 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Don't know why I added the extra cat... < 1445646903 697366 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I must just like cats too much < 1445646910 599857 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :but stderr is usually 2 < 1445646913 378217 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Cats in a pipe. < 1445646921 428667 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh right. Counting from 0. < 1445646928 946574 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :fizzie: More likely, a tube. < 1445646948 171859 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric : < 1445646955 715586 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :can someone write a kernel with tube() instead of pipe() ? < 1445646955 715676 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :s/>/\/> < 1445646971 357124 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: I would if I knew how to write kernels < 1445646987 213065 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :How about both tube() AND pipe()? < 1445646992 922569 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :mind=blown < 1445646995 532980 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What would tube do that pipe doesn't? < 1445647001 325418 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :In this scenario < 1445647002 757481 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe be bidirectional? < 1445647014 524569 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Or more accurately, how would they be different? < 1445647015 454293 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Although I think at least Solaris' pipes are actually bidirectional. < 1445647016 118434 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ooooh < 1445647017 376807 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :YES bidi pipes are so much needed < 1445647019 32727 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :INFINITE PIPE LOOP < 1445647040 712847 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Solaris also has doors, which is another whimsically named IPC construct. < 1445647058 74731 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :How /does/ one write a kernel? < 1445647069 182895 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :you need a pen and enough ink to write at least 6 letters < 1445647070 916898 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Does anyone here feel like /finally/ developing the EsOS? < 1445647089 211286 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: No, 7 letters. "a kernel". < 1445647097 21264 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what about the spaaace < 1445647106 178969 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :oh right it needs no ink < 1445647114 156141 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :
ACTION claps
< 1445647181 366510 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Well, I feel like finally getting around to the EsOS. Anyone who feels like helping should speak up. < 1445647188 551069 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is there any esoteric language that can be used by humans to speak? < 1445647195 981766 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Optionally, I've created the channel #esoteric-os) < 1445647208 414892 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Huh, OpenBSD/FreeBSD (but not NetBSD) pipes are bidirectional too, according to their corresponding pipe(2) manpages. < 1445647208 814370 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: Well Lojban is entirely unambiguous. < 1445647215 576737 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is that esoteric? < 1445647270 252703 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It's a spoken language based on predicate logic. < 1445647274 892759 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I would say... yes. < 1445647275 789505 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yes but < 1445647280 552757 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :well i dunno < 1445647296 812181 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Confined to and understandable by only an enlightened inner circle." < 1445647298 672482 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i feel that being unambiguous is a /start/, nothing more than a basic requirement < 1445647333 785960 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: I meant unambiguous as being useful for being executed by a computer. < 1445647352 510434 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Seriously. EsOS. We need to get that made. < 1445647425 254413 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It would be like esolangs, but we would ascend to gods in the process. < 1445647465 149150 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Well. The movie was... odd, but it seemed more like it was making references to the books rather than being based on the books < 1445647474 267727 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Although I barely remember the books < 1445647487 852037 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :fizzie: the man page says it appeared in system V r4 which is from 1989... why doesn't linux have this? < 1445647501 385077 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's never been part of POSIXy things. < 1445647510 685682 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :linux does a lot more than posix < 1445647618 509769 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i don't see why it's not more used, looks like a useful interface < 1445647653 101800 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So... I'm doing this myself? < 1445647671 564535 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :hppavilion[1]: are you actually doing it? < 1445647672 918995 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :izabera: I think because it wouldn't be at all portable anyway, and there's always socketpair when you do need it. < 1445647678 795866 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: I hope so. < 1445647699 985639 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I know almmost nothing about OS development, and I was hoping for some help, but I can figure it out. < 1445647716 106712 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :osdev.org < 1445647729 185384 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: I know. I'm there < 1445647737 473146 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1445647751 185090 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm also reading the Rust OS development readme and joining #rust-osdev on irc.mozilla.org < 1445647775 237163 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i think it'd be easier to first define which parts would be esoteric < 1445647788 279854 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :izabera: I know < 1445647824 706232 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Well the shell will certainly be interesting. < 1445647825 292914 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :isn't there a forth os? < 1445647830 570520 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Is there? < 1445647841 204069 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Perhaps a stacky shell? < 1445647854 555181 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's certainly people running Forth on bare metal. < 1445647889 600514 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Does the Open Firmware stuff count? < 1445647899 492215 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :There is a forth os it looks like. < 1445647950 524101 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :colorForth I think is also a "Forth OS". < 1445648158 621288 :zzo38!~zzo38@24-207-56-9.eastlink.ca JOIN :#esoteric < 1445648542 808113 :^v!~^v@c-73-161-238-89.hsd1.mi.comcast.net QUIT :Ping timeout: 260 seconds < 1445648773 347697 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my vague impression was that Forth was *designed* to be used on bare metal. < 1445648812 92760 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i, too, seem to be transitioning from emphasizing with _ to emphasizing with *. silly markdown! < 1445648851 299462 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :do you mean %silly% markdown < 1445648861 15295 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1445648887 163198 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it surely got your attention, didn't it? < 1445648892 785443 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :SO markdown doesn't seem to recognize that. < 1445648899 715196 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :of course it doesn't -.- < 1445648905 227551 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i made it up -.- < 1445649012 366100 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Forth could be used at any level, I think. < 1445649057 271228 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :izabera: i hear markdown has so many variants, there's probably one that makes that mean something < 1445649333 143986 :FireFly!firefly@oftn/member/FireFly PRIVMSG #esoteric :oerjan: ...markdown allows both, I think, so you could stick to _underscores_ if you prefer < 1445649353 751683 :FireFly!firefly@oftn/member/FireFly PRIVMSG #esoteric :although *asterisks* seem to be more common < 1445649380 640405 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm so it does < 1445649424 547031 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`true` < 1445649425 276378 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: true`: not found < 1445649445 476226 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Whoops, didn't think that one through. < 1445649478 829125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :TOO LATE NOW < 1445649561 712151 :FireFly!firefly@oftn/member/FireFly PRIVMSG #esoteric :`` true `` < 1445649562 368367 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1445649592 701624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`true` < 1445649634 212115 :FireFly!firefly@oftn/member/FireFly PRIVMSG #esoteric :Curiously zsh allows `` but chokes on $() < 1445649825 348027 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1445649829 111065 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hi variable < 1445650235 118986 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I think I have to go for now < 1445650237 405832 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Bai < 1445650336 525870 :bender|!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1445650535 721606 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 264 seconds < 1445650776 82692 :mauris_!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1445650835 132334 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 246 seconds < 1445650939 85427 :bender|!~benderx2@unaffiliated/bender/x-9459530 QUIT :Ping timeout: 240 seconds < 1445651534 652390 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :When I try to print a PCL document to the "HP Laserjet P1102w" printer, the light just blink instead of printing; do you know what is wrong? (I tried to phone them, they couldn't help) < 1445651858 481936 :variable!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1445651902 262642 :jaboja!~jaboja@esf94.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1445652179 992311 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Quit: ChatZilla 0.9.92 [Firefox 40.0.2/20150812163655] < 1445652801 543907 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1445652893 102397 :mauris_!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 246 seconds < 1445653152 532018 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :try taking the ink out and shaking it hard, then putting it back in < 1445653349 473921 :bb010g!uid21050@gateway/web/irccloud.com/x-ljbmmbuuilqugahq JOIN :#esoteric < 1445653515 754128 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Do you know how ZjStream format is working? I found a document but it doesn't quite explain everything < 1445655274 343747 :jaboja!~jaboja@esf94.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 244 seconds < 1445655826 749694 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Actually, apparently it supports "ZJS,URF,PCLm,PJL,ACL,HTTP". What is PCLm? < 1445656014 362245 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :It seems that PCLm is a subset of PDF, and seems to have nothing to do with PCL. But I don't know what URF and ACL mean either. < 1445656316 275816 :jaboja!~jaboja@esf94.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1445656490 413200 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1445656503 272010 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hellu < 1445656668 885318 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :hellau! < 1445656766 313899 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Setting up a cross-compiler is hard :,( < 1445656789 153115 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :it is a huge pain in the ass < 1445656815 191493 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And I might have to set up more than one in my lifetime < 1445656837 418579 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :usually you have to compile the compiler from source to make it work < 1445656862 916876 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Do I have to get all the stuff from http://wiki.osdev.org/GCC_Cross-Compiler#Downloading_the_Source_Code by hand, or can I just get the binutils stuff and have it come with? < 1445656886 338435 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :not sure < 1445656968 166846 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm trying to build https://github.com/thepowersgang/rust-barebones-kernel as practice and it says I need a cross-compiling binutils for i586-elf or x86_64-elf < 1445657006 491674 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :huh? < 1445657015 50363 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :tht doesn't make sense < 1445657031 331103 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :are you not ON either of those? < 1445657057 474662 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :what OS and cpu do you have? < 1445657234 477491 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, what? < 1445657269 296961 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: I'm running Windows 10 on... not sure what the cpu is, to tell the truth. Or even what cpu names sound like. The core is an i5 I think. < 1445657281 454675 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :Ah. < 1445657309 59138 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :so the issue is you need an EXE that can create ELF's. got it < 1445657333 322512 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: It says I need A recent (1.0 nightly) build of rustc, A suitable cross-compiling copy of binutils (i586-elf or x86_64-elf), and A copy of the libcore source in .../libcore (synlink will do), so I'm getting those. < 1445657344 879870 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Copied directly from the readme) < 1445657372 599363 :lleu!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1445657385 232250 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: The windows 10 is because I'm lazy and my parents raised me on windows. < 1445657408 343424 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :Evil parents. Pure, windows infused evil. < 1445657446 574403 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :I grew up on Red Hat linux dual boot with Win98 < 1445657558 148452 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric < 1445657566 276734 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :I first learned to program with Perl and Visual Basic < 1445657572 325893 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So I did git clone git://sourceware.org/git/binutils-gdb.git. Am I on the right track, or am I doing something entirely wrong? < 1445657582 418807 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :\oren\: I'm feel so bad for you < 1445657587 798528 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: I think I started on .bats and VBscript. < 1445657599 762308 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: what's a "bats"? < 1445657607 216957 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :adu: I meant ".bat"s < 1445657613 224329 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :.bat is a windows batch file < 1445657618 151934 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :basically window's anemic version of a shell script < 1445657620 325480 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :oh, I've never used Windows < 1445657635 118248 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I grew up on Mac and Linux < 1445657659 729000 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :adu: I've been meaning to get a linux distribution running on here (dual-boot), but I'm too lazy. I'll do it someday. < 1445657669 170959 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :for windows automation, .bat's are ok, but I prefer to write a little VB program < 1445657671 225433 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :Make that day today! < 1445657689 788909 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I used to dual-boot and triple-boot back in the day, but now I just use VMs < 1445657692 602673 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :zgrep: No disk/drive to burn the iso to. < 1445657695 553306 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :why dual boot when you can get a server in the cloud < 1445657704 549524 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :hppavilion[1]: Not even a usb? < 1445657716 631836 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :zgrep: Not one big enough. Don't think there are any around here. < 1445657730 465499 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :A small distro isn't *that* big... < 1445657737 914485 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :...unless it's a really tiny flash drive. < 1445657751 774709 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :do you have a 2GB or larger one < 1445657761 568984 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I used to work with a guy who had dreams of running a company. We were discussing what computers he was going to give employees. He wanted to put all the programmers on Windows. I went to a lot of effort to explain to him he was being a fucking moron. I failed. < 1445657770 890791 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :really 1GB should be enough < 1445657772 880348 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :zgrep: \oren\: Nope. < 1445657781 436642 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Not that I know of < 1445657788 10559 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :hppavilion[1]: What's the maximum you know of... < 1445657796 457456 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :zgrep: Not sure. < 1445657801 627608 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Don't know where it is to test it. < 1445657833 520594 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :Plug it in, it should say it somewhere. < 1445657839 333912 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :Ah. < 1445657841 938894 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :Mis-read. < 1445657915 541702 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: well, it's irrelevant if he was being a moron, you should have showed him than unix programmers are 2571% more productive than windows programmers < 1445657922 461529 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :but like I said you can get a cloud server. in particular, you can use AWS's free tier to get a free linux box to do stuff on < 1445657931 456709 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Can't find it. < 1445657936 543227 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :But my dad says he has one. < 1445657945 505580 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :adu: Nice statistic. < 1445657974 171071 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :zgrep: did you know that 76.3% of statistics are invented on the spot? < 1445657988 968106 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :adu: I did. < 1445657998 5937 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :https://aws.amazon.com/free/ <-- a free linux box for one whole year < 1445658012 473888 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :adu: It seems to have risen from last year's 73.9%. < 1445658079 689828 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I wonder what the standard deviation of that is < 1445658161 776545 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :adu: 6+27i% < 1445658168 188234 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :lol < 1445658170 828975 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Complex probability... Mmmm....) < 1445658300 880704 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ubuntu's good, correct? < 1445658311 821133 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :xubuntu is better. < 1445658339 947639 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I don't feel like downloading another many-gigabyte file. < 1445658364 226936 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I prefer Debian over Ubuntu < 1445658370 12707 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :eh. actually if you don't mind windows 10, ubuntu will be fine for you < 1445658401 923962 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :granted, VirtualBox supports Ubuntu out-of-the-box, but I recently figured out how to install VBox additions on Debian, so I'm super-happy now < 1445658407 708353 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric : < 1445658439 464964 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :\oren\: I've never used Windows 10 < 1445658495 406612 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :you should hope never to encounter it. Win8 and win10 are indescribable horrors of UI design < 1445658539 663789 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :well, whenever I encounter Windows at work, I usually find a way to get my employer to buy a mac, or let me install Linux instead < 1445658576 333909 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I did use a computer with Win8 once; it is not much difficulty to use, all the WIN+R and ALT+F4 and ALT+TAB and cmd.exe and so on seem working same as in older versions of Windows < 1445658581 942564 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :I use a macbook pro at work, but I connected a proper keyboard and a three button mouse mouse < 1445658588 373139 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Win10 is a massive improvement over Win8 < 1445658603 475780 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(They got rid of the bathroom tiles, thank faust) < 1445658609 473580 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :and a external monitor too < 1445658620 713305 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: what's bathroom tiles? < 1445658626 387207 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :eh. Win10 still LOOKS terible < 1445658636 150964 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :The default theme is pretty bad. < 1445658641 583938 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I did have to hide the search bar. < 1445658654 99256 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Or maybe I just switched it to something that looks bad xD < 1445658655 505883 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :adu: I see you are living in blissful ignorance of the horrific tiles. < 1445658696 293682 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :How much space should I make for ubuntu? It's a ~800 gb drive < 1445658713 931694 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(706 free) < 1445658723 689360 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: at least 20G < 1445658730 978461 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What do you recommend though? < 1445658732 65285 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Although the main menu is clearly different, the old keyboard commands are still working, and cmd.exe is still working, so it doesn't seem much of a problem to figure out. < 1445658734 610251 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :they are rectangular tiles with nothing that looks in any way familiar to eye, scattered in colors across a screen that has neither taskbar nor separate windows < 1445658736 125911 :bender|!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1445658742 186402 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I usually go halvsies < 1445658756 424265 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :adu: That's what I was thinking < 1445658796 171144 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :\oren\: oh, I thought that was called "Metro" which when I first read about it, thought it was the trains in the DC area < 1445658804 546931 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But my own computer is now OEM Ubuntu with 160 GB hard drive, although I removed the default window manager and desktop environment and installed i3-wm instead. < 1445658836 967732 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait. < 1445658842 808261 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :You can switch window managers!? < 1445658847 620362 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :yah < 1445658847 809016 :pikhq_!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Yes. < 1445658853 35180 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: you can customize everything < 1445658869 285457 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :My mind has been blown. Unfortunately, they don't have IRC in hell, so... < 1445658874 392977 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Bai! < 1445658878 570036 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PART #esoteric :"Fear Me" < 1445658891 648953 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :you can choose: window manager, themes, panels, widgets, backgrounds, colors < 1445658898 883481 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1445658902 178569 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, what? < 1445658908 150350 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :the only thing you can't choose is the widget toolkit, the app chooses that < 1445658908 603134 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :How- how am I back on this side? < 1445658914 163211 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :HOw long has it been? < 1445658918 88873 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :HOW LONG HAS IT BEEN!? < 1445658921 972362 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :1 minute < 1445658925 152021 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh < 1445658926 519048 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Really? < 1445658927 716486 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wow. < 1445658935 646617 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hell's relativity is REALLY screwed up < 1445658948 367163 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :so if you have a Gtk app, it uses Gtk, forever! < 1445658957 969007 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :if you have a Qt app, then it will always use Qt < 1445658965 974291 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :YAY I fixed it! < 1445658996 827971 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I just went into aptitude and told it to install i3-wm and uninstall the other stuff, and then when I started X next time, it just worked; I did not need to do anything else. However, I did later configure it so that the setting and so on are changed, although it worked even without that. < 1445659022 947613 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :I generally use either LXDE or XFCE < 1445659030 673706 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: you can choose: window manager, themes, panels, widgets, backgrounds, colors < 1445659061 936129 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :however, right now I'm using Windows 7 < 1445659085 163000 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :adu: Yes, I know, I like the Athena widgets but Firefox is not using them < 1445659102 690079 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :i.e. the last windows before Microsoft dove into satan's mouth < 1445659109 575099 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Firefox has it's own themes < 1445659143 135716 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I think because it's toolkit is XUL < 1445659147 666318 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Firefox is using XUL, I think < 1445659163 429290 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :there is not toolkit. there is only XUL < 1445659170 374684 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :it's not really a toolkit, but it plays a similar role < 1445659189 52199 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But is there the way to code XUL overlays or whatever, in order to change how scrollbars act and so on? < 1445659204 996867 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :So that it can be made to work like Athena scrollbars. < 1445659218 423401 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :definitely < 1445659231 708259 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :but most themes do boring stuff like change the background :P < 1445659286 177469 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I should probably back things up before I do this xD < 1445659343 7331 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :How do I put files in a .tar.gz from windows? < 1445659349 972461 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Is that even possible? < 1445659355 262082 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :With about:config, Classic Theme Restorer, userChrome.css, and userChrome.js, you can do a lot more than just changing the background; I have done many thing < 1445659374 359165 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: Cygwin or MinGW < 1445659385 217558 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ah. < 1445659397 130464 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And what command would I use? < 1445659400 86235 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: Yes, although I think not using built-in software. I have used 7-Zip. First you create the .tar by something like "7z a file.tar @ziplist" or whatever, and then "7z a file.tar.gz file.tar" I think. < 1445659415 106375 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: there's probably a simpler way with like WinTar or 7-Zip or something < 1445659436 491357 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I know 7-Zip supports those formats, although I have not used it to create .tar.gz, only to open them. < 1445659437 782459 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I want to do it the h4xx0ry way < 1445659476 638748 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :xD < 1445659539 425249 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I have created .tar.gz only on Linux systems, where the command is: tar c `cat ziplist` | gzip < 1445659553 105893 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :And then to extract it the command is: zcat | tar x < 1445659602 16005 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :zzo38: I usually do $(tar -czf ...) to create and $(tar -xzf ...) to extract < 1445659708 760643 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: but I think that requires that you have libz installed, which requires a decent environment, which requires either Cygwin or MinGW < 1445659732 659267 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I do have MinGW < 1445659737 726616 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :GNU tar supports a lot of options, although I only ever use the "c", "t", and "x" options; most of the others seem worthless to me. < 1445659764 153322 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :"To defuse the bomb, please enter a valid tar command on your first try" < 1445659767 891912 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :"I- I'm so sorry" < 1445659841 663575 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :lolol < 1445659928 591221 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :To me, the pipes are the way it should be done; all of program should be acting as a filter, and then each program has a different function, such as one for archive and one for compression. Many programs don't do that but some do, including the ones I wrote (such as "amigamml" and "playmod"). < 1445659970 212839 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :tar -xvf foo.tar < 1445659977 637121 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :zzo38: agreed, but it's so inconsistent that way < 1445660008 190906 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :`? tar < 1445660010 52442 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :tar? ¯\(°​_o)/¯ < 1445660018 200214 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Inconsistent? < 1445660034 516703 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :https://xkcd.com/1161/ is amazing < 1445660058 324489 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :zzo38: because then you have to know the command line options for gzip, bzip2, xzip, 7z, etc, or you can just use a single extra letter with tar, much simpler imho < 1445660115 342579 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Well, maybe. Although the default settings for gzip and zcat and tar seem working well enough? < 1445660143 145517 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :$(tar xzf ...) also works, but it has the disadvantage of being compliant to tar history, but violates POSIX's own parameter guidelines < 1445660206 702367 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Pipes? Why not tubes for online storage? < 1445660312 863444 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :My program "amigamml" does not even support any command-line options; argc/argv are ignored. The output of amigamml is accepted as the input of playmod and the output of playmod is accepted as the input of aplay or sox so you can easily join them together in this way! < 1445660437 419971 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I have seen many different command-lines used with tar, although I would have omitted the "z" and "f" options if I had designed it by myself. < 1445660863 626510 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :amigamml? < 1445660947 65310 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :It is a program to make .MOD and .XM music files < 1445660971 579621 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Many other programs exist, but I didn't find any of the others very good so I made up my own < 1445661202 527333 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :MUSICAL COMMAND LINE < 1445661407 265538 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :hmmm what characters should I add to my font next? < 1445661526 943647 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Ping timeout: 260 seconds < 1445661567 729081 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Music < 1445662804 962217 :bb010g!uid21050@gateway/web/irccloud.com/x-ljbmmbuuilqugahq QUIT :Quit: Connection closed for inactivity < 1445663029 882057 :jaboja!~jaboja@esf94.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection < 1445663907 705221 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: still saying you should add rotated/mirrored variant glyphs for those punctuation characters that require it < 1445664400 233017 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: Levitating business man < 1445664405 289606 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Do you have emoji yet? < 1445664456 218540 :JesseH!~JesseH@oftn/member/JesseH QUIT :Remote host closed the connection < 1445665371 488734 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hm... < 1445665498 12042 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Quit: adu < 1445666281 321595 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :`danddreclist 69 < 1445666292 117977 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :danddreclist 69: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex < 1445666434 736078 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What is the bare minimum for a social network? < 1445666473 303540 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :2 persons hth < 1445666485 69571 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shopping -> < 1445666521 598052 :Drone_swarm!18cfa008@gateway/web/freenode/ip.24.207.160.8 JOIN :#esoteric < 1445666525 925874 :Drone_swarm!18cfa008@gateway/web/freenode/ip.24.207.160.8 QUIT :Client Quit < 1445666569 535565 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: I mean the minimum stuff the site needs to support -_- < 1445666573 297087 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :._. < 1445666762 583876 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :::_:: <-- Spider < 1445668160 126917 :kallisti!471e37d7@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :http://imgs.xkcd.com/blag/rms_katana.jpg < 1445668300 252604 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :nice < 1445669067 990696 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :︰︱︲︳︴︵︶︷︸︹︺︻︼︽︾︿﹀﹁﹂﹃﹄ < 1445669195 126931 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :b_jonas: there, vertical things! < 1445669432 363401 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 250 seconds < 1445669541 109599 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1445669550 391870 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I wonder if Randall Munroe has ever considered doing a long, continuitous storyline. < 1445670166 558934 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't know. < 1445671190 852407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: um are you not familiar with Time < 1445671205 583341 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh rihgt. Time. < 1445672673 90506 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1445673696 550572 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Ping timeout: 255 seconds < 1445673860 575401 :J_Arcane!~chatzilla@37-219-8-22.nat.bb.dnainternet.fi JOIN :#esoteric < 1445673946 116428 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 240 seconds < 1445674581 458443 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1445674756 394366 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net JOIN :#esoteric < 1445675482 476388 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 268 seconds < 1445676915 646742 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Radixal!!!!14]]4 M10 02http://esolangs.org/w/index.php?diff=44835&oldid=43920 5* 03Oerjan 5* (+4) 10/* Computational class */ link < 1445677075 778573 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck Sharp14]]4 M10 02http://esolangs.org/w/index.php?diff=44836&oldid=44613 5* 03Oerjan 5* (+0) 10/* Goal */ case < 1445677213 698355 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/move14]]4 move10 02 5* 03Oerjan 5* 10moved [[02Introduction to Esolang Design10]] to [[Introduction to esolang design]]: The case is wrong, WRONG < 1445677948 447662 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Introduction to esolang design14]]4 10 02http://esolangs.org/w/index.php?diff=44838&oldid=44837 5* 03Oerjan 5* (+5) 10Less caps, more links < 1445678251 82306 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1445679126 177839 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 240 seconds < 1445679293 492902 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 268 seconds < 1445680043 966738 :FreeFull!~freefull@97e2b788.skybroadband.com JOIN :#esoteric < 1445680067 514819 :FreeFull!~freefull@97e2b788.skybroadband.com NICK :Guest93383 < 1445680221 536971 :mauris_!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1445680585 148909 :TieSoul!~TieSoul@86.89.119.147 JOIN :#esoteric < 1445680874 972341 :TieSoul!~TieSoul@86.89.119.147 QUIT :Ping timeout: 260 seconds < 1445681724 478131 :TieSoul!~TieSoul@2a02:a448:4a62:0:50a:1360:6c2:2d6 JOIN :#esoteric < 1445682364 856580 :gniourf!~gniourf@pdm-l03.insa-lyon.fr QUIT :Quit: Leaving < 1445682524 132208 :gniourf!~gniourf@pdm-l03.insa-lyon.fr JOIN :#esoteric < 1445682723 984265 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Labyrinth14]]4 M10 02http://esolangs.org/w/index.php?diff=44839&oldid=44448 5* 03Oerjan 5* (-12) 10links, grm, case < 1445683151 290020 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02http://esolangs.org/w/index.php?diff=44840&oldid=44770 5* 03Oerjan 5* (+0) 10order < 1445683249 427770 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1445686115 84391 :bender|!~benderx2@unaffiliated/bender/x-9459530 QUIT :Ping timeout: 246 seconds < 1445686147 178405 :bender|!~benderx2@2404:e800:e61a:41d:708b:760a:b51b:8207 JOIN :#esoteric < 1445686147 355401 :bender|!~benderx2@2404:e800:e61a:41d:708b:760a:b51b:8207 QUIT :Changing host < 1445686147 355473 :bender|!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1445686457 205327 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1445686602 555056 :zgrep!~zgrep@zgrep.org QUIT :Ping timeout: 255 seconds < 1445686777 155757 :zgrep!~zgrep@zgrep.org JOIN :#esoteric < 1445687394 132214 :kallisti!471e37d7@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1445687543 388719 :kallisti!471e37d7@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1445687944 367178 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 250 seconds < 1445688226 579866 :Guest93383!~freefull@97e2b788.skybroadband.com QUIT :Changing host < 1445688226 793340 :Guest93383!~freefull@defocus/sausage-lover JOIN :#esoteric < 1445688236 836650 :Guest93383!~freefull@defocus/sausage-lover NICK :FreeFull < 1445688977 500023 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :good mroing < 1445689167 828943 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Hi, \oren\ < 1445689353 498854 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07SMBF14]]4 N10 02http://esolangs.org/w/index.php?oldid=44841 5* 03SuperJedi224 5* (+38) 10Redirected page to [[Self-modifying Brainfuck]] < 1445689732 610067 :J_Arcane!~chatzilla@37-219-8-22.nat.bb.dnainternet.fi QUIT :Ping timeout: 265 seconds < 1445689775 749578 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: BRB < 1445689797 595380 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1445691881 675225 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://www.lispcast.com/img/typing.png is cute < 1445691945 851270 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :is there a scheme or lisp with hindley-milner typing? < 1445692017 89973 :J_Arcane!~chatzilla@37-219-193-89.nat.bb.dnainternet.fi JOIN :#esoteric < 1445692744 687645 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1445693538 292998 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :int-e: typed racket maybe? < 1445694479 560594 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT : < 1445694738 440284 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Quit: Leaving. < 1445694742 424172 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1445694787 658808 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Taneb: looks good, thanks < 1445694835 444567 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1445694871 8227 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[073var14]]4 10 02http://esolangs.org/w/index.php?diff=44842&oldid=41125 5* 03LegionMammal978 5* (-10) 10minor fixes < 1445694880 135971 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1445696381 951030 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Quit: Leaving. < 1445697518 210879 :zemhill!bfjoust@selene.zem.fi PRIVMSG #esoteric :david_werecat.atom: points -2.76, score 17.72, rank 28/47 (+11) < 1445698376 858046 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1445698669 15707 :alyyy!~aober@c-73-149-169-210.hsd1.ma.comcast.net JOIN :#esoteric < 1445698748 683737 :alyyy!~aober@c-73-149-169-210.hsd1.ma.comcast.net PRIVMSG #esoteric :hey peeps. is there a way I can download the entire esolang wiki? like a site backup? < 1445699224 96942 :Frooxius!~Frooxius@ip-89-177-144-144.net.upcbroadband.cz QUIT :Quit: *bubbles away* < 1445699735 598987 :Frooxius!~Frooxius@ip-89-177-144-144.net.upcbroadband.cz JOIN :#esoteric < 1445699760 366823 :Lyka!~scat@unaffiliated/schrodingerscat JOIN :#esoteric < 1445699764 408369 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :https://dl.dropboxusercontent.com/u/98841263/HYDRA%200005B%20Commands.pdf < 1445699782 638350 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :make any sense? < 1445699936 230774 :mauris_!~mauris@unaffiliated/nooodl NICK :mauris < 1445700077 25645 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1445700100 280194 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 244 seconds < 1445700417 212150 :FreeFull!~freefull@defocus/sausage-lover QUIT :Remote host closed the connection < 1445700526 126106 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1445701081 375909 :JesseH!~JesseH@oftn/member/JesseH JOIN :#esoteric < 1445701404 840633 :FreeFull!~freefull@defocus/sausage-lover QUIT :Read error: Connection reset by peer < 1445701548 704226 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1445701967 615409 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :is there a Lisp with Forth-style untyping? < 1445702207 973853 :bender|!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :Lyka, err < 1445702233 914647 :bender|!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :how do you set the values of a[1] and a[2]? < 1445702250 481006 :bender|!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :If I understand you correctly, a[1-3] are kind of like registers, right? < 1445702295 296251 :bender|!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :actually, a[1-8] < 1445702325 863893 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :um...they are read from file < 1445702353 348589 :bender|!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :Oh, I'm sorry, can I have some background on this? < 1445702382 778980 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :some background: i asked here by mistake < 1445702391 122497 :bender|!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :lol. < 1445702455 856614 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :OH god damn it mom, it is your "macbook air" not your "baby computer". it did not come from two imacs fucking. < 1445702492 591696 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: hello < 1445702510 393793 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :tech support for family members is irritating. hi quintopia < 1445702516 158671 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i see david_werecat wants to get back in the game < 1445702782 633979 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :\oren\: No, she's saying it's meant for babies < 1445702879 993424 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :hmm... no, it would have to be waterproof and bale to be thrown repeatedly across the room for that < 1445702931 620609 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( quintopia is taking #esoteric customs to ##math? ) < 1445702937 308203 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :I once threw my gameboy into the Pacific Ocean and retrieved it, it still worked < 1445702965 978908 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ive taken them everywhere for people i like < 1445702989 140103 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :what;s ##math about < 1445703002 970 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :language arts < 1445703004 604393 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :astonishingly often, mathematics. < 1445703016 552425 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(highschool level, mostly) < 1445703040 623760 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :I see. my dad teaches that < 1445703061 724532 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nice < 1445703064 547790 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :(he teaches the remdial calculus for people who didn't take it in high school) < 1445703110 845830 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :It's crazy how many people don't take calculus in high school and then choose a major that needs calculus < 1445703112 152463 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( rem-dial looks too much like a real thing ) < 1445703124 409657 :Lyka!~scat@unaffiliated/schrodingerscat PART :#esoteric < 1445703200 956458 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm, IIRC my comp sci curriculum was virtually free of calculus... < 1445703236 455583 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :int-e, mine definitely is < 1445703249 714582 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :I took advanced calculus and topology and number theory just beacasue I thought I'd do well in them, they weren't required < 1445703249 891754 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(there was linear algebra, some combinatorics, abstract algebra, logic, a bit of number theory...) < 1445703265 67465 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :A lot of statistics in mine < 1445703269 983088 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :And algebra < 1445703275 884546 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :And graph theory < 1445703299 404317 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :yah. statistics sometimes turns into calculus though < 1445703310 402350 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I try to avoid it < 1445703336 656583 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm I'm not sure how the machine learning people dealt with the lack of calculus. < 1445703345 27717 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :There's some "knowing differential calculus kind of helps" in the optimization module I'm doing now, but that's in maths, not CS < 1445703433 398463 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :in my machine learning course they gave you the integrals you needed < 1445703455 757876 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :(in one case the answer sheet had it wrong, however) < 1445703458 435940 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :once i got more into theoretical cs in my masters, calculus was marginally more useful < 1445703486 100012 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(calc was required for undergrad, but not diffeq. i still dont know diffeq) < 1445703496 596081 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[073var14]]4 M10 02http://esolangs.org/w/index.php?diff=44843&oldid=44842 5* 03LegionMammal978 5* (-1) 10/* Language Overview */ < 1445703614 502354 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :anyway it's hard to get anywhere with stats on continuous distributions without using the fact that a distribution is something you integrate to get a value < 1445703688 146895 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :This is something I had to expain recently to my best friend who is taking statistical mechanics < 1445703789 852727 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :a distribution on x is a function f(x) such that f(x) is between 0 and 1 and if you integrate it over all x you get 1. to get the average of any expression of x like g(x) you integrate g(x)f(x) < 1445704033 360455 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :this is apparently not covered in the basic stats course. idiots < 1445704052 687101 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :luckily i took advanced stats < 1445704771 286281 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i should eat a food < 1445705025 991608 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Good idea < 1445705127 971995 :qwertyo!~qwertyo1@rn-nat-129-97-131-0.dynamic.uwaterloo.ca JOIN :#esoteric < 1445705583 603340 :jaboja!~jaboja@erx128.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1445705802 644614 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :hmm ︻ looks like a mouth open in horror < 1445705818 833735 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :or maybe just the way I drew it < 1445706206 350819 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1445706878 576187 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I thought of some idea of Magic: the Gathering card: Whenever ~ would be destroyed (whether by a state-based effect or otherwise) while there are any -1/-1 counters on it, instead remove a -1/-1 counter from ~ (do not remove any marked damage). < 1445707052 254712 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :~? < 1445707302 523182 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: It's replaced with the name of the card. < 1445707390 859793 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Right < 1445707808 51131 :bender|!~benderx2@unaffiliated/bender/x-9459530 QUIT :Ping timeout: 246 seconds < 1445708927 730869 :J_Arcane!~chatzilla@37-219-193-89.nat.bb.dnainternet.fi QUIT :Quit: ChatZilla 0.9.92-rdmsoft [XULRunner 35.0.1/20150122214805] < 1445709040 133966 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: do you have the mirrored parenthesis and question mark too? < 1445709059 924411 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :though probably that's less important because you won't be writing arabic with this font < 1445709103 397092 :alyyy!~aober@c-73-149-169-210.hsd1.ma.comcast.net QUIT :Quit: Leaving < 1445709135 693863 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: vertical quotation marks. nice. < 1445709157 228001 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: wait, isn't there a vertical version of the Chinese comma and period too, used in some language? < 1445709182 929054 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: and where's the vertical kana long vowel mark? < 1445709232 968126 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: definitely do the vertical long vowel mark. you can't write vertical text without that. < 1445709417 333215 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :Oh. Yeah I'll add vertical period and comma. Also I'm adding the Deseret and Shavian alphabets < 1445709598 325162 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :I'm taking a short break from adding nothing but kanji < 1445709600 192730 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: apparently there are multiple different placements of the full stop in vertical writing, for some of mainland Chinese, Taiwan Chinese, Japanese. Some of these may coincide with the horizontal writing comma. < 1445709621 775841 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :But the vertical long vowel mark is the most important, I think < 1445709633 445907 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1445709634 160357 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :because you often see it in advertizments < 1445709700 246291 :J_Arcane!~chatzilla@37-219-193-89.nat.bb.dnainternet.fi JOIN :#esoteric < 1445709724 189189 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :Hi J_Arcane < 1445709732 656710 :J_Arcane!~chatzilla@37-219-193-89.nat.bb.dnainternet.fi PRIVMSG #esoteric :allo < 1445709768 751235 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :I should also add the ideographic description characters < 1445709777 316699 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: also, it's rare but easy to draw, so add the "　" (fullwidth space, for Chinese script) < 1445710171 616115 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric ::t ord < 1445710172 864775 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Char -> Int < 1445710178 229538 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Why is that called ord? < 1445710204 14111 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :because asc is what everbody would've guessed? < 1445710206 100180 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: I think it's a tradition, that's what it's called in pascal too. the alternative is ASC which is horribl < 1445710217 991062 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :because Char isn't necessarily an ascii character < 1445710247 258413 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: the vertical ellipsis ⋮ , I think it should go down below the descender, spread out more < 1445710264 608274 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: that character is used to indicate more rows in a table or matrix for example < 1445710360 401197 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: and your ⟦ look wrong. it should be a double vertical line with just a single horizontal line, which in a proportional font looks similar to two overlapping [ horizontally offset from each other < 1445710371 428793 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: it's used in some maths or compsci writing as a delimiter < 1445710428 547420 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :is remedial calculus anything like remedial differential geometry? < 1445710683 885972 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :I'm not sure how similar. I've never taken differentiol geometry, and I've only ever graded, not taken, remedial calculus < 1445710708 572446 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :(one year my dad's TA's were more incompetent than usual) < 1445710841 537765 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :so I got roped in to help grade 150 or so exams < 1445710910 303695 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :b_jonas: got it. I'll adjust those characters < 1445711135 156691 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :seriously though, at York University sometimes people don't get their grades back until a few months into the next term < 1445711249 123396 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :At my old university, there was technically a guaranteed 30-day SLA in getting exam grades. < 1445711253 680807 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But it was broken quite often. < 1445711291 975962 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :\oren\, York University? < 1445711304 67067 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Would you believe I'm at a university with an almost identical name? < 1445711309 268360 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :(University of York) < 1445711450 968536 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :Heh. my dad went to a confusing conference there once < 1445711476 984458 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :There's someone in the CS department here who is a professor here and also at York University < 1445711920 231156 :evalj!~jeval@BC066B86.catv.pool.telekom.hu JOIN :#esoteric < 1445712260 21248 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :questino, in http://golf.shinh.org/p.rb?International+Radiotelephony+Spelling+Alphabet for the 156 byte post-mortem leading solution of teebee(llhuii), why is -ray double-quoted? would it break something later if it wasn't quoted? < 1445712270 972150 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :this is perl, so -ray evaluates to "-ray" just fine < 1445712310 101733 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :though it might not actually be shorter because the omeo uses the letter m that's already there < 1445712356 468252 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but that would let the first line end in omeo, < 1445712391 940429 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :then the next line would start with probably mebec followed by something < 1445712428 370674 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :probably with mebec^n^v < 1445712447 928300 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1445712467 69184 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I should try to see if I can shorten it this way, but since it's post-mortem, feel free to do it faster. < 1445712741 952384 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :... not that I haven't had my share of pointlessly losing a character in a golf for quoting something that needn't be quoted < 1445713386 547331 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i'm trying to complete a codeeval challenge in bash but it's timing out < 1445713416 623019 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :the challenge is this https://www.codeeval.com/open_challenges/42/ < 1445713426 532097 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and this is my code http://arin.ga/yeBjHx/raw < 1445713437 565775 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is the algorithm terribly inefficient? < 1445713531 21568 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :izabera: or you have a bug? < 1445713548 628577 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i don't know < 1445713552 978570 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i think it's correct < 1445713904 676610 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :can you find any example that produces an incorrect result? :\ < 1445714073 826204 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I think I've been working on this programming language of mine for... several weeks now? < 1445714089 989230 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It's finally at the point where you can define some stuff. < 1445714093 923698 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :For example, the number three: < 1445714100 14022 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :three = succ (succ (succ zero)) < 1445714108 518870 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :And an add-two function: < 1445714114 461600 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :add_two x = succ (succ x) < 1445714131 859560 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :And for something super fancy, here's something that takes two numbers and returns the first one, two plus the second, and three plus the first: < 1445714135 505882 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :tswett: is it called peano? :P < 1445714149 394841 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :fancy (x,y) = (x, succ (succ y), succ (succ (succ x))) < 1445714167 193794 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :izabera: sump'm like that. < 1445714266 925498 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :`swedish fancy (x,y) = (x, succ (succ y), succ (succ (succ x))) < 1445714277 569218 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: swedish: not found < 1445714288 496904 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :No? < 1445714332 560858 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Where did the swedifier go? < 1445714358 468084 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Maybe it conflicts with the autowelcomer. < 1445714360 556076 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :`autowelcome off < 1445714361 206508 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Autowelcome disabled. < 1445714367 925798 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :`swedish fancy (x,y) = (x, succ (succ y), succ (succ (succ x))) < 1445714368 559953 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: swedish: not found < 1445714376 107143 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Darn. < 1445714565 799803 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So now I'm working on making it so you can define addition. < 1445714995 909628 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Ping timeout: 252 seconds < 1445715027 373193 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1445715071 903562 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Hey everyone. I want to buy something from someone over the Internet. She only takes PayPal for payment; I don't feel keen on getting a PayPal account. < 1445715098 478893 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :...Eh, screw it. < 1445715185 871014 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1445715204 903297 :boily!~alexandre@96.127.201.149 QUIT :Quit: INDUCTION CHICKEN < 1445715217 16497 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you don't have to < 1445715553 765734 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :German-oriented programming language < 1445715560 227358 :zemhill!bfjoust@selene.zem.fi PRIVMSG #esoteric :david_werecat.lirtle: points -46.00, score 0.00, rank 47/47 (-15) < 1445715561 463873 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Allowing for MASSIVE compound words < 1445715580 419557 :zemhill!bfjoust@selene.zem.fi PRIVMSG #esoteric :david_werecat.xurtle: points 0.33, score 20.56, rank 16/47 < 1445715635 572861 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :as a german, i am okay with it < 1445715682 675679 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :every line should be a single word < 1445716088 977368 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I seem to have arranged my taskbar by both use and, secondarily, by complexness of the program < 1445716099 819045 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :The programming segment goes: < 1445716114 420578 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Notepad++, CMD, PyCharm, GitHub < 1445716129 632730 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :myname: Yep, pretty much. How would it work though... < 1445716145 184401 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Perhaps entire objects could be encoded into something resembling a name? < 1445716157 204719 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Or you could create a new object by modifying an old one? < 1445716186 24017 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :dog_with_speech would create the "Magical talking dog" object/class < 1445716293 294545 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I imagine something like english < 1445716317 824273 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :you would use a noun and then adjectives to characterize the object < 1445716344 593425 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :e.g. talking orange, or fat chicken < 1445716421 489815 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :rdococ: Except it's compound. < 1445716434 523083 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :talkingOrangge or fatChicken < 1445716440 303887 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :*talkingOrange < 1445716479 634943 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I want it to be like real english < 1445716481 559294 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :talking orange < 1445716512 271386 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :rdococ: Yes, but the idea was to base it on German. < 1445716553 846142 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :how does german work? < 1445716556 268385 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you could say "talk of the chicken" < 1445716561 696993 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :like, chickentalk < 1445716648 668199 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :rdococ: Have you seen 90 yet? < 1445716660 931317 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :90? < 1445716680 335160 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yay you inspired its creation < 1445716681 318182 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It's a language < 1445716683 800241 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Yep < 1445716691 220165 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :My crowning achievement xD < 1445716717 825975 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I had the idea of negative files that removed data < 1445716726 364088 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :sort of like 90 < 1445716772 137951 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I remember that! < 1445716786 718471 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It doesn't so much remove data as replace data though in this case < 1445716796 122417 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :true < 1445716803 97754 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yay for nops < 1445716814 315917 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I've decided to finally start making the EsOS. < 1445716823 308406 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I've decided on rust as my language < 1445716845 822444 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1445716865 481341 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Unfortunately, I don't know rust xD < 1445716870 818318 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm not good with low-level things < 1445716898 356038 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I have an idea < 1445716910 810304 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :a programming language that is very very very high level < 1445716922 772912 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :How so? < 1445716932 120040 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :do what i want with this graph < 1445716934 253099 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1445716993 416634 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 250 seconds < 1445716996 977023 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :myname: I don't have to what? < 1445717038 83136 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I need better ideas < 1445717063 944914 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :maybe a programming language with only a single instruction that has no parameters < 1445717107 965281 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ugh. Getting a cross-compiler is hard < 1445717157 349874 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :rdococ: I've thought of that. If it's TC and lacks parentheses, you can encode any program as a number of instructions < 1445717167 798192 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :If it does have parentheses, you're thinking about iota < 1445717189 94008 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I already kind of thought of it though < 1445717278 812592 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I hate that all the instructions for getting a GCC cross-compiler (at least on OSDev.org) are targetted solely at linux users < 1445717293 260003 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :They have a few sections on what to do on windows, but nothing for the important parts < 1445717548 270810 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ugh... < 1445717570 347142 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm trying to build https://github.com/thepowersgang/rust-barebones-kernel on windows 10, but the instructions are exclusively for *nix < 1445717573 192549 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :trying to think of new esoteric languages is boring < 1445717590 872897 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm going to install Ubuntu later today, but I can't right now because I haven't backed up my drive yet < 1445717613 293767 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :especially when my brain compels me to make user friendly languages < 1445717707 352972 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it's not about being user unfriendly, it's all about the concept < 1445717724 926357 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :^^^ < 1445717739 653983 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm making a User-Friendly Fungeoid, so... < 1445717787 13744 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I said user friendly < 1445717790 767607 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :not unfriendly < 1445717794 896797 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i like the idea someone mentioned here a while ago < 1445717825 235612 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :making a language that can solve all the standard problems < 1445717836 319607 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :but not e.g. addition < 1445717850 324833 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :a standard problem? < 1445717852 544890 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :or accessing an array index < 1445717869 489349 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :rdococ: Quine, etc, I think < 1445717882 891349 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Though I think HQ9 does that already) < 1445717890 704384 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :fibonacci, truth machine, ... < 1445717894 367003 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :this gives me an idea < 1445717903 390131 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :imagine a programming language where the interpreters are people < 1445717903 762660 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I think implementing HQ9 should be a standard problem < 1445717908 990848 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :rdococ: IRC < 1445717912 285023 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :hppavilion[1]: well, you want to be able to actually code in it < 1445717917 661304 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh < 1445717928 351428 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :you'd be able to talk with the interpreter < 1445717928 614087 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Well if you can code into it, addition is possible, if in a roundabout way < 1445717938 813125 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :rdococ: IRP < 1445717957 594276 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :hppavilion[1]: the question is: in what way? < 1445717976 976607 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :myname: Sets, Church Numerals, etc. < 1445717990 927640 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1445717992 762670 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Anyone else feel like making up List Theory? < 1445718007 837912 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :personally, i wouldn't count that as standard problem < 1445718028 436669 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :myname: But if you can actually code in it, there'll be a way to do it < 1445718041 252609 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :yeah < 1445718053 932366 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :but the question isn how? < 1445718087 598346 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what problems do you need to use in what way to actually add numbers < 1445718119 447236 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :hppavilion[1]: like set theory but for lists? < 1445718125 731291 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I kind of want to make a series where I incrementally develop a Social Network from scratch < 1445718127 842042 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Yes. < 1445718156 409144 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I should go eat. < 1445718158 22836 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Bai. < 1445718174 271173 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Adiós. < 1445718185 853684 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :hppavilion[1]: would it admit infinite lists, or only finite ones? < 1445718226 763361 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yay lists < 1445718238 782998 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :lists are just ordered tuplets right? < 1445718256 428076 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :unless you mean unordered lsits < 1445718258 66623 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :lists* < 1445718300 587194 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Man, this neural net of mine is generating some nice words. < 1445718305 27952 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"microwapper" < 1445718312 655388 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"cockperned" < 1445718324 296544 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :that just gave me a dirty idea < 1445718326 271859 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"masterdick's" < 1445718343 913735 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"doughbox" < 1445718351 409828 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :a language that has something to do with - well - stuff < 1445718369 35230 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"debutted" < 1445718389 837471 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :You know. I didn't like his butt, so I debutted him. < 1445718439 199806 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :that sounds painful < 1445718452 134909 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hello, world!14]]4 10 02http://esolangs.org/w/index.php?diff=44844&oldid=42075 5* 0392.204.69.55 5* (-13) 10updated link to the Hello World Collection < 1445718457 378378 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`words --finnish 20 < 1445718459 108342 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :alkueilla puuhallesi liutuvakolmeija hupeestäni ahnaani hidastanillanta kaunoillä johdattamme röyhimoillemistämänä pikarkaloksi koteksin hiippumiinnostoimi saavana jumistä tuvillammaltamini kilpaamintoivasta ruhoiduttavilta kimeävin hytkyväksetuimiänne vuoltaksenne < 1445718470 362247 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"quarterbalistic's" < 1445718489 117771 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Whelp, I can't tell you for sure that any one of those is not a Finnish word. < 1445718497 847009 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Though "kaunoillä" seems pretty unlikely. < 1445718511 626387 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :`words --spanish 20 < 1445718513 383884 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :exológico stvesta fermo lauro potz embus ethyricos hete chouia cnuidad ento fricas var trís queseabanció tronl dommiquema raditá pallc íntique < 1445718517 959611 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, it brakes the vowel harmony rules pretty badly. < 1445718522 814356 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"stvesta" is definitely not a Spanish word. < 1445718550 59667 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :`words --french 20 < 1445718551 697429 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oflor bonnanzavit alcoteur imhospecult gouvresi beek conses illa surdiro ron cuttori annem supermin mode nœgustrando celly neautdr scavandi pures rationnné < 1445718553 107894 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"hupeestäni", "kaunoillä", "jumistä" are all arguably invalid because of that. < 1445718554 136965 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I find the Spanish words much less convincing than the Finnish words. < 1445718574 687294 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :To my eyes, "saavana" is a pretty good one. < 1445718589 660583 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"puuhallesi", "ahnaani" and "saavana" at least are perfectly normal words. < 1445718597 747231 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :the french words look even less convincing to me... but it might just be my bad understanding of french < 1445718616 83750 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I think "íntique" seems like a pretty interesting Spanish word. Kind of strange, but also completely plausible. < 1445718637 964861 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :`words --japanese 20 < 1445718638 798800 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Unknown option: japanese < 1445718655 709713 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :How about some Swedish Chef? < 1445718659 768140 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :`words --afrikaans < 1445718660 21222 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :`words --dutch 20 < 1445718660 552004 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Unknown option: afrikaans < 1445718660 877359 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Unknown option: dutch < 1445718664 797386 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Whaaat? < 1445718670 607341 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's not a big list. < 1445718672 698703 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`words -l < 1445718673 576566 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :valid datasets: --eng-1M --eng-all --eng-fiction --eng-gb --eng-us --french --german --hebrew --russian --spanish --irish --german-medical --bulgarian --catalan --swedish --brazilian --canadian-english-insane --manx --italian --ogerman --portuguese --polish --gaelic --finnish --norwegian --esolangs \ default: --eng-1M < 1445718699 493515 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :`words --canadian-english-insane 20 < 1445718701 205196 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :revet flandly coning jointo sapperpur doon periardial counda equela eccescrify undedusan poweremend pac ackstomycosmoi prection comotier theospaioranne unsligh tealonegalization arca < 1445718717 542666 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Phone14]]4 N10 02http://esolangs.org/w/index.php?oldid=44845 5* 03Rdococ 5* (+228) 10Small article as usual *yawn* < 1445718719 309046 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You probably can unsligh someone. < 1445718731 25024 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Back < 1445718735 582484 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: I don't know < 1445718742 588746 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or I guess it would be 'unslight'. < 1445718762 510855 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"Buckethefstack" < 1445718803 156494 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :hppavilion[1]: well, both would be possible. I think admitting infinite lists would make the theory significantly more interesting. < 1445718809 156501 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Probably < 1445718818 425381 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Is there some other DS we could do weird things about? < 1445718826 282731 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Remind me what a DS is? < 1445718829 730033 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Map Theory perhaps? < 1445718834 100720 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Data Structure < 1445718852 931429 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Nah. I'll just do list theory. < 1445718855 879516 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I have a Nintendo Data Structure Lite somewhere. < 1445718859 686896 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :A function is just a key–value map that's permitted to have infinitely many pairs. < 1445718869 111806 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :data structure theory < 1445718888 680235 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :SQL table theory? xD < 1445718893 22316 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So hey, let's come up with some axioms! < 1445718900 866258 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yay I love axioms < 1445718909 5918 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :There's a predicate is_empty. < 1445718919 771286 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :There's exactly one list x such that is_empty(x). < 1445718928 732840 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'll put the page under my user namespace < 1445718950 566015 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :There's also a predicate is_head(x,y) and is_tail(x,y). < 1445718987 882465 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1445719000 172022 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Lemme phrase these next couple axioms a little more loosely. < 1445719016 654121 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The empty list has no head and no tail. Every other list has exactly one head and exactly one tail. < 1445719028 312925 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Further more, given lists x and y, there's exactly one list whose head is x and whose tail is y. < 1445719033 366252 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :s/ // < 1445719045 921370 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :A basic data structure is a just a set of keys < 1445719084 953101 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :lock-oriented programming < 1445719100 631281 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :A basic data structure is a just a set of keys from which maps can be created mapping each key to a value, called objects < 1445719123 553102 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(keys should be mapped to keyholes) < 1445719142 656480 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :int-e: I was hoping that you meant mutex-oriented programming. < 1445719148 768447 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :An object is a map that maps the elements in a data structure < 1445719151 153007 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Al dente is based on a model of concurrency! < 1445719156 545658 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Man, I like Al dente. < 1445719176 379165 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1445719250 821706 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It's a pretty unusual programming language. < 1445719257 510946 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Hppavilion1/List Theory14]]4 N10 02http://esolangs.org/w/index.php?oldid=44846 5* 03Hppavilion1 5* (+287) 10Created Page (will fill out when we've finished inventing it) < 1445719263 261608 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Like, with most programming languages, nothing really happens except what you specify. < 1445719278 104122 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Like, in Python, if you declare a boolean variable, the value of that variable isn't going to spontaneously change. < 1445719282 245603 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Al Dente isn't like that at all. < 1445719324 648836 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :In Al Dente, everything just happens spontaneously, and your program restricts the manner in which it can happen. < 1445719365 20546 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm, it lacks pasta-eating philosophers < 1445719385 641167 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :A data structure is just a set of keys and functions. < 1445719414 91464 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :A data structure is just data satisfying a given structure. < 1445719424 475954 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: Who deadlock obtaining their forks? < 1445719448 358407 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :My boredom satisfies x > n for any n in R. < 1445719497 538131 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Hppavilion1/List Theory14]]4 10 02http://esolangs.org/w/index.php?diff=44847&oldid=44846 5* 03Hppavilion1 5* (+244) 10Primitives < 1445719518 65552 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: yeah, those < 1445719696 862733 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Hppavilion1/List Theory14]]4 M10 02http://esolangs.org/w/index.php?diff=44848&oldid=44847 5* 03Hppavilion1 5* (+258) 10Other predicates < 1445719712 431384 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :For some reason, I automatically mark all my edits as minor. < 1445719736 253948 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :rdococ's boredom is a cardinal? < 1445719745 325186 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Or what? < 1445719751 404176 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :meh < 1445719773 546419 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :stupid hackego not giving me a link to the article itself < 1445719789 781347 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :http://esolangs.org/wiki/User:Hppavilion1/List_Theory < 1445719797 902349 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :meh < 1445719815 624888 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :rdococ: you can use the link, then click on the "Page" "tab"? < 1445719826 616221 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Solving unnecessary problems! < 1445719829 130770 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Yay! < 1445719836 815558 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"afterfort" < 1445719847 549428 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :Yaaay! < 1445719857 946365 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :uh oh the yays are contagious YAY < 1445719869 870228 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Yya. < 1445719871 570955 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Yay! < 1445719876 880538 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which is bad UI design: clicking on the "active" tab goes to a different page than the active one... < 1445719879 750760 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Contagions are fun! < 1445719882 994873 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Pinkie Pie deck. < 1445719891 290398 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric ::) < 1445719898 660976 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :contagions? < 1445719900 861617 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :A combination of antics. Attorney. < 1445719903 920344 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :U-235. < 1445719915 812587 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? contagion < 1445719915 989505 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The wise. < 1445719916 874146 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :contagion? ¯\(°​_o)/¯ < 1445719917 725109 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I spelled it as best as I could xD < 1445719919 235005 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :uh oh, my use of the word delicion has spread < 1445719931 428121 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I'm pretty sure "contagions" is in fact a real word. < 1445719936 749084 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :delicions! yay! < 1445719937 182940 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Correctly spelled, even. < 1445719941 648366 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :No, I spelled it right < 1445719948 617414 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :prettions! realions! < 1445719948 794263 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :https://en.wiktionary.org/wiki/contagions < 1445719952 498675 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :infections! < 1445719958 348279 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :oh wait... that's real < 1445719965 700355 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So are contagions < 1445719969 128368 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :rdococ: I think you made uo "delicions", but got lucky with "infections" < 1445719973 529804 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Caribons! < 1445719982 550506 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Cabal! < 1445720009 412041 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm, "uo"... why do keyboards come with adjacent keys... this just invites spelling errors like that one. < 1445720015 234094 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :nalalapenatelions! < 1445720030 569068 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So what are the axioms of set theory? < 1445720036 221200 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yay axioms < 1445720054 826824 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :hppavilion[1]: depends; there are a lot of set theories. ZFC is the most popular one. < 1445720064 765732 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory < 1445720067 921475 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :everything is boring < 1445720103 802446 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Hppavilion1/List Theory14]]4 10 02http://esolangs.org/w/index.php?diff=44849&oldid=44848 5* 03Hppavilion1 5* (+175) 10Axiom #1 < 1445720105 762238 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Let the music carry you. Maybe I will follow you forever. < 1445720116 359604 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I meant list theory xD < 1445720117 836007 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :There's nowhere else I'd rather be. < 1445720123 936884 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm bad at remembering things < 1445720126 534052 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :hppavilion[1]: well, I gave you a few above. < 1445720132 350558 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Right, right < 1445720167 551189 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I think if you just add an unfolding axiom, you'll be pretty good. < 1445720190 979590 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I listed the predicates empty, is_head, and is_tail. I also discussed the head and tail of the empty list < 1445720204 132193 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What's an unfolding axiom? < 1445720207 50988 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Wait, lemme think how this is gonna work. < 1445720208 259135 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Is it like list flattening? < 1445720211 581167 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Okay, maybe two things. < 1445720248 329505 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :First, say that if you have a function f from a list to maybe-a-list, as well as a list x, then there's a list that goes like [x, f(x), f(f(x)), f(f(f(x))), ...], stopping once f decides to return not-a-list. < 1445720273 476932 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hm... < 1445720277 536083 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :You know what, that one's probably sufficient. I don't think you'd need the second one. < 1445720283 610354 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :But I'll tell you what the second one is anyway. < 1445720301 990659 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :a list is just a key-value map with one to one correspondence and numerical keys < 1445720331 442230 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :No, actually, the second one is bogus. < 1445720343 411746 :zemhill!bfjoust@selene.zem.fi PRIVMSG #esoteric :david_werecat.atom: points -2.76, score 17.68, rank 30/47 (+17) < 1445720368 421378 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Now, you'll also want to have a definition of what a finite list is. < 1445720379 373815 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Hppavilion1/List Theory14]]4 10 02http://esolangs.org/w/index.php?diff=44850&oldid=44849 5* 03Hppavilion1 5* (+328) 10Added two more axioms < 1445720397 261572 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I think you can pretty much define that using induction. < 1445720425 106544 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK... < 1445720434 408631 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'll try to figure this out myself from here on out < 1445720442 588769 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what if f never returns not-a-list... < 1445720446 163430 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That +17 looks a bit suspicious. < 1445720455 659333 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The empty list is finite. If the tail of a list is finite, then the list is finite. If a property holds for the empty list, and the property holds for a list whenever it holds for the list's tail, then the property holds for every finite list. < 1445720456 421670 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1445720459 127814 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :int-e: then the list goes on forever. < 1445720468 305816 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :One more thing you might want to add. A well-foundedness axiom. < 1445720483 751762 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I think this axiom will do the trick perfectly well—I'm about 60% sure. < 1445720489 189886 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :
ACTION googles induction
< 1445720500 505797 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :
ACTION also googles well-foundedness axiom
< 1445720525 759417 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :................................ < 1445720525 936348 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :................................ < 1445720526 113414 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :................................ < 1445720526 113496 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :For every list, the list [x, head(x), head(head(x)), ...] (defined using that "unfolding axiom") is finite. < 1445720526 113530 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :................................ < 1445720526 113560 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :................................ < 1445720528 277014 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :................................ < 1445720530 713142 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :................................ < 1445720533 229429 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :................................ < 1445720561 562853 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Neat, a dotfield. < 1445720567 560060 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tswett: hmm, I'd rather have an inductively defined list type (which means, finite lists only) and get a nice induction principle in return < 1445720591 182282 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :But I asserted that a theory admitting infinite lists would probably be more interesting. < 1445720592 67646 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :i'm trying to copypaste the deseret and shavian alphabets but it doesnt work! < 1445720592 244730 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(rather than a coinduction principle... from what I've seen those tend to be quite unwieldy) < 1445720604 934966 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :................................ < 1445720611 811302 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :AAAAAAAAAAa < 1445720652 36748 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"misternution" < 1445720659 403754 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"screenbran" < 1445720666 568303 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"miscalciable" < 1445720670 638831 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :http://www.orenwatson.be/fontdemo.htm < 1445720687 916138 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1445720721 328128 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"housebreed", "pumperwoman", "exaggedistic" < 1445720727 157120 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What should I call the section where I figure out finite lists? < 1445720736 106449 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"hallucious" < 1445720740 549020 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :hppavilion[1]: "Finite lists"? < 1445720768 630653 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: But won't I want to talk about other things there? < 1445720773 449106 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Like, infinite lists? < 1445720781 252799 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"Finite and infinite lists", then? < 1445720807 498322 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I would say the whole section should be based on things that are figured out from the axioms, but I don't know what the term for that is... < 1445720889 14766 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"Derivations", "constructions", "theorems", "consequences"? < 1445720908 70155 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :boredom < 1445720927 690615 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :"butterfude" < 1445720932 986578 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Hppavilion1/List Theory14]]4 10 02http://esolangs.org/w/index.php?diff=44851&oldid=44850 5* 03Hppavilion1 5* (+18) 10One last axiom. On well-foundedness. < 1445720937 802883 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :"lemmata" < 1445720940 338750 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Is it pronounced like "butterfood", or like "butterfeud"? < 1445720949 715762 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :rdococ: I think you've made your point. < 1445720965 53144 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :or maybe one lemon, two lemma < 1445720974 306490 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :There we go < 1445721018 794562 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Hppavilion1/List Theory14]]4 M10 02http://esolangs.org/w/index.php?diff=44852&oldid=44851 5* 03Hppavilion1 5* (+43) 10Constructions section < 1445721087 555459 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :contortions < 1445721109 867429 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(aka bending reality) < 1445721922 904993 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I request that http://esolangs.org/wiki/Lazy_evaluation is filled out < 1445721964 451674 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that would rather spoil the joke < 1445722004 407594 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ooooooooooooooooooooooh! < 1445722011 887083 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :How did I miss that!? xD < 1445722029 578990 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :but he requested it so you must < 1445722036 878893 :variable!~variable@freebsd/developer/variable NICK :function < 1445722039 484485 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Well first of all, I didn't read the entire thing < 1445722050 496192 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I didn't notice the cutoff < 1445722062 50424 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :rdococ: we can still raise an async exception to save the day < 1445722069 775842 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :unless you found some kind of super lazy evaluation < 1445722081 646595 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :should I call it super lazy or ultra lazy? < 1445722111 458041 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :rdococ: why don't you postpone the decision < 1445722129 204133 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :If we have that page, esolangs.org/wiki/Strict_Evaluation needs to be made for completeness < 1445722133 1715 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :good idea < 1445722143 509047 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :rdococ: I would say that super- and ultra- should be different things < 1445722152 902331 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Utra-lazy allows this: < 1445722156 137654 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :x = 5+ < 1445722161 529715 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :y = x2 < 1445722164 255660 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :print(y) < 1445722166 887184 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :>>> 7 < 1445722167 498252 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hppavilion[1]: hmm, would it be a stack overflow while fetching contents of the strict evaluation page? < 1445722179 997930 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :in my idea, super-lazy evaluation allows you to interact with things WITHOUT evaluating them < 1445722181 762710 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Perhaps < 1445722192 134211 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :rdococ: So rewriting? < 1445722209 201119 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :e.g. x = f() -- imagine this is five; y = x+2 -- still not evaluated; print(y) -- now it's evaluated < 1445722226 319800 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Cooool < 1445722258 537877 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :rdococ: isn't that just plain lazy evaluation though... < 1445722261 653012 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So it's only evaluated when it's literally impossible not to? < 1445722266 282923 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yep < 1445722271 921850 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :int-e: I don't think so < 1445722292 239741 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :well < 1445722293 966820 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :int-e: I think in lazy, x would be evaluated at x+2 < 1445722295 809827 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> let x = undefined in let y = x + 2 in "Hello, " ++ show y ++ "world!" < 1445722297 567394 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "Hello, *Exception: Prelude.undefined < 1445722319 875279 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Someone should invent a Hyper-Kolmogorov Machine < 1445722384 871824 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :now in Hyper Lazy Evaluation... < 1445722413 231164 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :rdococ: It isn't evaluated until it reaches your brain < 1445722453 348758 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :in hyper lazy evaluation, it isn't evaluated, ever, at all, until you force the computer at gun point to do it < 1445722454 956575 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 260 seconds < 1445722478 797693 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( A hyper-lazy universe collapses the instant it is observed... ) < 1445722479 534095 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I prefer making the user evaluate it themselves < 1445722500 338725 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :how do we get the value without evaluating it? < 1445722510 393582 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :guess! < 1445722515 920433 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :rdococ: We just print the expression < 1445722517 787125 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :also, should preferably take less computation than actually evaluating it < 1445722528 806026 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :but the expression is not the value... < 1445722551 29596 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or just print "IOU" < 1445722554 432055 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :YES < 1445722580 785498 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :maybe hyper lazy evaluation isn't such a good idea < 1445722587 528196 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Should I allow graph rewriting in ArbourDB? I don't see how it'd work, but it's cool... < 1445722595 913689 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(actually now it sounds like a promise... a kind of future value... those are genuinely useful in concurrent programming) < 1445722692 804303 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1445722753 966824 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :would y = x + 2; evaluate x in normal lazy evaluation? < 1445722784 408975 :function!~variable@freebsd/developer/variable QUIT :Ping timeout: 250 seconds < 1445722799 328375 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :THINK-A-TRON, the machine that thinks like a man. < 1445722803 476910 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :https://googledrive.com/host/0B4J9OAzXNfZAU256S3YtRUVIQWc < 1445722858 915705 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :does it actually think like a man, or is it predetermined/calculated? < 1445722870 589117 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ah, but isn't that how a man thinks? < 1445722885 782807 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :like what? < 1445722924 351190 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Calculatingly. < 1445722925 874734 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :predetermined? calculated? I smell something deviously fishy < 1445722945 113098 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :does this judgement have anything to do with gender? < 1445723035 368771 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :At least for THINK-A-TRON, I do believe they're using 'man' to refer to both genders. < 1445723060 844938 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, maybe that's overly binary too. All people. < 1445723096 576507 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I was going to ask < 1445723290 522772 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :does y = x + 2; evaluate in a lazy environment? < 1445723299 505517 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :evaluate x* < 1445723432 530228 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :... < 1445723434 934643 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :seriously/ < 1445724234 797476 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's fun to read discussion about maths and M:tG mixed. can be confusing when they talk about "permanent" which means a completely different thing in the two. < 1445724254 382891 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1445724395 390108 :evalj!~jeval@BC066B86.catv.pool.telekom.hu QUIT :Remote host closed the connection < 1445724637 951430 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :rdococ: only when y is evaluated < 1445724785 907078 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :oh < 1445724805 367075 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :are there any cards in MtG that take effect when they are drawn? < 1445725443 370790 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net QUIT :Ping timeout: 250 seconds < 1445726830 565992 :jaboja!~jaboja@erx128.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 240 seconds < 1445727309 822743 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :idea: when data integrity is assured by other means, e.g. checksums or hashes, one can use a unicode encoding which, unlike utf-8, uses all possible sequences of high bytes < 1445727312 913474 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hellu < 1445727381 24538 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It's interesting that we measure quantities of data in the number of digits it takes to represent it in an obscure counting system few people use, divided by 8, divided by 1024 to the power of a multiple of 3. < 1445727455 456 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :MULTIHYPER MIXED GRAPH (with loops) < 1445727479 279081 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :Eg. use utf-8, except that instead using only bytes 80-BF for continuation, use 80-FF < 1445727524 847951 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :and similarly, alter the start bytes so that all bytes 80-FF are valid start bytes < 1445727627 981314 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What kinds of graphs should my DB support? < 1445727662 743547 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I want at least digraphs, undigraphs, and their hyper- equivalents. Should I include the multi- equivalents of these? < 1445728005 394031 :bb010g!uid21050@gateway/web/irccloud.com/x-lrzhqelndmlnfqxk JOIN :#esoteric < 1445728390 478930 :Wildwood!IceChat9@gateway/vpn/mullvad/x-mzzicgvmwixcrrnc JOIN :#esoteric < 1445728811 567534 :FireFly!firefly@oftn/member/FireFly PRIVMSG #esoteric :hppavilion[1]: are you sure you meant 1024 to the power of a multilpe of 3? 10 to the power of a multiple of 3 would make more sense < 1445728824 27192 :FireFly!firefly@oftn/member/FireFly PRIVMSG #esoteric :(or just 1024 to an integer power, or 1000 to an integer power) < 1445728847 742260 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or 2 to the power of a multiple of 10. < 1445728849 757803 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :FireFly: Not when you're dealing with data. The 3 is from metric. < 1445728860 870397 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And the 1024 is from data < 1445728866 798147 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Saved it!) < 1445728949 56174 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :1024 to the power of a multiple of 3 means you only speak of bytes, gigabytes and exabytes, none of the intermediate units. < 1445729103 218917 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :fizzie: you mean bytes, kilobytes, megabytes, and gigabytes? < 1445729107 973939 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No. < 1445729127 369769 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I mean 1024**(3*x) where x is a natural number (including 0) < 1445729135 178686 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :hppavilion[1]: Yes, and 1024^0 is bytes, 1024^3 is gigabytes and 1024^6 is exabytes. < 1445729149 844400 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Then they don't have names anymore. < 1445729153 585408 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh right < 1445729157 742405 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :*facepalm* < 1445729181 175002 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :1024^(n) where n is a natural < 1445729198 790753 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or, if you want the multiples, 2^(10n). < 1445729225 734283 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :sqrt(2) bits... < 1445729249 768892 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Should I create a category for data types, under which we will include things like STIB < 1445729471 325510 :Wildwood!IceChat9@gateway/vpn/mullvad/x-mzzicgvmwixcrrnc PART :#esoteric < 1445729602 88858 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :Yeah. so it's actually very easy to make a format that uses up to 3 bytes to represent all unicdoe characters < 1445729639 877628 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :http://www.orenwatson.be/utf-8ns.htm < 1445729918 269780 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :basically if you use all 128 high-bit charaters as coninuation bytes, then you only need 68 start bytes to cover all the planes < 1445729979 301039 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, I mean, sure, but you could also just use a normal base-128 number (with one bit to indicate first/continuation), which gives you 21 bits of payload when going <= 3 bytes. < 1445730039 747301 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :As in, normal VLQ encoding. < 1445730087 624343 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Also seen as the Google protobuf varint encoding, and in many many other places.) < 1445730097 860710 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :yes but that wouldn't be ascii compatible I don't think < 1445730124 995341 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :To clarify the slightly unclear message: you'd have the sign bit off for the last byte, and on for all bytes for which something will still follow. < 1445730140 642437 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's ASCII-compatible, because it encodes 0..127 as one byte, 0..127. < 1445730180 425964 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :it still has ascii bytes inside non-ascii characters < 1445730197 274251 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :(same problem as Shift-JIS has) < 1445730204 459180 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, that's true. < 1445730262 984247 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :since there are only 0x10000 characters with the 21'st bit on, I allocated 4 extra start bytes < 1445730298 344194 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://plaintextoffenders.com/ what is insecure about sending a new password to someone via email? < 1445730342 903031 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'd like to see the day when Unicode is TC xD < 1445730347 713913 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oooh < 1445730352 266527 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :We should invent a character encoding < 1445730405 691100 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :In lack of objection, I'm creating Category:Data Types < 1445730466 624018 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Should I create Category:Data Types and Structures or make them two separate categories? < 1445730507 590023 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\, what do you think? < 1445730526 133024 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :the same category < 1445730529 163938 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1445730540 17802 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I probably shouldn't roll algorithms into it though < 1445730582 967606 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :izabera: According to the about page, it's supposedly about websites that store your plaintext password (as evidenced by the fact that they can email it to you). I'm not sure how that matches up with all those "here's your newly generated password" email screenshots. < 1445730587 437067 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Category:Data Types and Structures14]]4 N10 02http://esolangs.org/w/index.php?oldid=44853 5* 03Hppavilion1 5* (+116) 10Created Category < 1445730599 468101 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that was my though < 1445730601 284009 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :t < 1445730625 411828 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07TIB and STIB14]]4 M10 02http://esolangs.org/w/index.php?diff=44854&oldid=8425 5* 03Hppavilion1 5* (+39) 10Categorized < 1445730739 17132 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :izabera: Yeah, I'm not sure how that's majorly different from a "set your initial password with this link" link, although at least that way (if the recipient gets there first) they're less likely to end up permanently having a password that was sent over the wire unencrypted. (If you just set them an initial random password, I'd guess a lot of people leave it at that.) < 1445730775 287405 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh, whoops, looks like Data Structures was already a category. < 1445730796 798586 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Tape14]]4 M10 02http://esolangs.org/w/index.php?diff=44855&oldid=8046 5* 03Hppavilion1 5* (+15) 10Switched category < 1445730825 606589 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh well, I feel it's better to have them as a joint category < 1445730847 711069 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Deque14]]4 M10 02http://esolangs.org/w/index.php?diff=44856&oldid=40431 5* 03Hppavilion1 5* (+10) 10Recategorized < 1445730882 566223 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Graph14]]4 M10 02http://esolangs.org/w/index.php?diff=44857&oldid=43126 5* 03Hppavilion1 5* (+10) 10Recategorized (GOD! SOMEONE FIX THIS PAGE!) < 1445730909 928723 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Queue14]]4 M10 02http://esolangs.org/w/index.php?diff=44858&oldid=35376 5* 03Hppavilion1 5* (+10) 10Recategorized < 1445730927 523654 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Becasue they're very similar things < 1445730957 517254 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Stack14]]4 M10 02http://esolangs.org/w/index.php?diff=44859&oldid=43097 5* 03Hppavilion1 5* (+10) 10Recategorized < 1445730980 957847 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07String14]]4 M10 02http://esolangs.org/w/index.php?diff=44860&oldid=13365 5* 03Hppavilion1 5* (+10) 10Recategorized < 1445730994 938822 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :) < 1445731026 899717 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :A uniquestring is a data type consisting of a string of bits which does not occur anywhere else in mamory < 1445731119 272327 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :the hash of a uniquestring can be used to locate it, hence if an object contains a uniquestring, it can be relocated and the hash can be used to find it