< 1367971310 761186 :Bike!~Glossina@71-34-72-185.ptld.qwest.net JOIN :#esoteric < 1367971317 996168 :boily!~boily@207.34.230.30 QUIT :Quit: later. < 1367971385 276590 :Bike!~Glossina@71-34-72-185.ptld.qwest.net QUIT :Client Quit < 1367971397 874843 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1367971409 24002 :Bike!~Glossina@71-34-72-185.ptld.qwest.net JOIN :#esoteric < 1367971726 668406 :Bike!~Glossina@71-34-72-185.ptld.qwest.net QUIT :Quit: leaving < 1367971767 669127 :Bike!~Glossina@71-34-72-185.ptld.qwest.net JOIN :#esoteric < 1367971843 224305 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1367971848 739773 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric > 1367972388 37074 JOIN :#esoteric > 1367972392 159510 JOIN :#esoteric > 1367972392 675598 JOIN :#esoteric > 1367972427 686141 JOIN :#esoteric > 1367972431 811880 JOIN :#esoteric > 1367972432 327827 JOIN :#esoteric > 1367972461 365164 JOIN :#esoteric > 1367972465 476287 JOIN :#esoteric > 1367972465 987089 JOIN :#esoteric > 1367972509 789914 JOIN :#esoteric < 1367972510 494956 :glogbot!dlopen@libdl.so JOIN :#esoteric < 1367972510 679553 :adams.freenode.net NOTICE #esoteric :[freenode-info] channel flooding and no channel staff around to help? Please check with freenode support: http://freenode.net/faq.shtml#gettinghelp > 1367972513 878001 JOIN :#esoteric > 1367972514 389036 JOIN :#esoteric < 1367972521 482070 :comex!~comex@ec2-23-22-255-183.compute-1.amazonaws.com JOIN :#esoteric < 1367972696 818760 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1367973152 225525 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1367973157 699405 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1367973198 804463 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :if you do that zzo38 I'm totally playing < 1367973389 928956 :BillyZane!~Billy@ip68-7-202-160.sd.sd.cox.net QUIT :Ping timeout: 256 seconds < 1367973420 238533 :BillyZane!~Billy@ip68-7-202-160.sd.sd.cox.net JOIN :#esoteric < 1367973423 798057 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Pokemon game for http://en.wikipedia.org/wiki/Z_machine < 1367973763 934364 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So. In general. Fuck ... actually, I'm not really annoyed at anything right now < 1367973790 585812 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(work-wise) < 1367973816 117868 :Bike!~Glossina@71-34-72-185.ptld.qwest.net PRIVMSG #esoteric :if it helps i'm annoyed at computers < 1367973821 577567 :Bike!~Glossina@71-34-72-185.ptld.qwest.net PRIVMSG #esoteric :so imo, in general, fuck < 1367973858 600670 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Koen_ < 1367974403 455743 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what < 1367974789 843074 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1367974896 608059 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Remote host closed the connection < 1367975491 486593 :TeruFSX!~TeruFSX@184-97-190-154.mpls.qwest.net JOIN :#esoteric < 1367975738 42433 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does anyone really understand how free variables work < 1367975739 977135 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm not sure i do! < 1367975759 432117 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :left adjoint to forgetful variables hth < 1367975858 807190 :ion!~ion@heh.fi PRIVMSG #esoteric :Hope this helps. Helps. < 1367975896 724716 :Bike!~Glossina@71-34-72-185.ptld.qwest.net PRIVMSG #esoteric :is this a category thing again < 1367976018 488484 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :actually this is incredibly frustrating < 1367976022 100158 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i have no idea how anything is supposed to work < 1367976072 318352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: a free functor is left adjoint to a forgetful functor hth < 1367976093 280809 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: (and a cofree functor is right adjoint to a forgetful functor hth) < 1367976097 597769 :Bike!~Glossina@71-34-72-185.ptld.qwest.net PRIVMSG #esoteric :yes but variables what < 1367976100 73482 :Bike!~Glossina@71-34-72-185.ptld.qwest.net PRIVMSG #esoteric :y'all fucking suck < 1367976115 60727 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: what if the regexp ends with "hth)" or "hth."? hth < 1367976126 322793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: "regexp" is now a euphemism for "string" hth < 1367976387 133737 :augur!~augur@129-2-129-35.wireless.umd.edu JOIN :#esoteric < 1367976435 123547 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1367976709 797936 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What is a program calling itself "Microsoft Windows Operating System" doing in msconfig? < 1367976752 733186 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :sounds legit. < 1367976753 768736 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :According to Google it's legit wtf < 1367976765 216582 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(p2phost.exe) < 1367976769 884061 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Even the filename sounds suspicious < 1367976777 81653 :Bike!~Glossina@71-34-72-185.ptld.qwest.net PRIVMSG #esoteric :pff < 1367976783 736784 :Bike!~Glossina@71-34-72-185.ptld.qwest.net PRIVMSG #esoteric :you sure about that legitimacy dude < 1367976784 725531 :pikhq_!~pikhq@71-34-128-25.clsp.qwest.net PRIVMSG #esoteric :Ah, yes, that's the peer to peer messaging service in Windows. < 1367976791 225166 :pikhq_!~pikhq@71-34-128-25.clsp.qwest.net PRIVMSG #esoteric :Yes, that's actually in Windows. < 1367976797 371629 :pikhq_!~pikhq@71-34-128-25.clsp.qwest.net PRIVMSG #esoteric :It's stupid as shit, but it's part of the OS. < 1367976831 30736 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Maybe it can be disabled if not used < 1367976886 137927 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :yeah, I love those really shady sounding services < 1367977061 682253 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1367977117 163848 :augur!~augur@129-2-129-35.wireless.umd.edu QUIT :Remote host closed the connection < 1367977261 808695 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`addquote So. In general. Fuck ... actually, I'm not really annoyed at anything right now < 1367977265 277484 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1033) So. In general. Fuck ... actually, I'm not really annoyed at anything right now < 1367977285 488178 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Just disable them if you don't use them, even if legitimate; except the ones required for the operating system to function in general. < 1367977326 700084 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's what i do for gnome < 1367977358 121107 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: do you know about free variables < 1367977359 541615 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like really know < 1367977393 559871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: de bruijn index > number of lambdas hth < 1367977489 810135 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i am not a number, i'm a free variable! (the joke is about locally nameless representations of lambda calculus) < 1367977523 724395 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :conor mcbride already made that joke hth < 1367977584 580742 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :conor mcbride has already made every joke < 1367977589 288658 :Bike!~Glossina@71-34-72-185.ptld.qwest.net PRIVMSG #esoteric :what the hell are you talking about elliott! < 1367977615 324171 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this paper literally has bound free variables < 1367977673 144988 :Bike!~Glossina@71-34-72-185.ptld.qwest.net PRIVMSG #esoteric :like... quantification over variables, or... < 1367977702 824390 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1367977765 447846 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no as in its constructor for free variables takes a data type which has a constructor for bound variables < 1367977768 411221 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and this is actually used < 1367977789 302120 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and there's a separate constructor for actually bound variables < 1367977809 544147 :Bike!~Glossina@71-34-72-185.ptld.qwest.net PRIVMSG #esoteric :i refuse to believe this is a real explanation < 1367977812 567560 :Singingboyo!~SingingBo@d154-5-190-48.bchsia.telus.net JOIN :#esoteric < 1367977864 618365 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm so pissed < 1367977865 859392 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :at everything < 1367977994 383824 :pikhq_!~pikhq@71-34-128-25.clsp.qwest.net PRIVMSG #esoteric :Perhaps you should take out your rage on important problems. < 1367977996 967190 :pikhq_!~pikhq@71-34-128-25.clsp.qwest.net PRIVMSG #esoteric :I recommend @ < 1367978203 301949 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in general, fuck < 1367978228 664766 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yo kmc < 1367978231 159277 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how about you do this for me instead < 1367978323 179173 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1367978438 555809 :oklopol!~oklopol@dyn60-339.yok.fi QUIT :Ping timeout: 256 seconds < 1367978490 63745 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how about no < 1367978494 520 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how about < 1367978494 321046 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1367978499 786597 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it can be your new job < 1367978504 923350 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can do it in SF < 1367978508 209645 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the donkey died, you're the donkey now elliott < 1367979263 420588 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1367979513 738574 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1367979559 723072 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net QUIT :Quit: NihilistDandy < 1367979568 668563 :Bike_!~Glossina@67-5-243-210.ptld.qwest.net JOIN :#esoteric < 1367979575 13499 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1367979605 485825 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Another idea of computer game is a cross of Tetris and pinball; the flippers could also move the tetris blocks left/right, and then you can nudge the table to make the ball bounce off of the blocks in certain ways, which are worth different number of points; maybe four lines at once gives you a ball saver < 1367979685 525340 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1367979725 458890 :Bike!~Glossina@71-34-72-185.ptld.qwest.net QUIT :Ping timeout: 255 seconds < 1367979725 806823 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1367979800 120305 :TeruFSX!~TeruFSX@184-97-190-154.mpls.qwest.net QUIT :Read error: Connection reset by peer < 1367979812 393322 :Bike_!~Glossina@67-5-243-210.ptld.qwest.net NICK :Bike < 1367979975 800568 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1367981005 313544 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1367981224 841839 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1367981329 691339 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1367981342 490453 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION vaguely suspects a hardware problem
< 1367981359 598119 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :suspect it of what? < 1367981382 342036 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is it plausible that one OS might behave worse than another, but both behave badly, in the presence of a hardware problem? < 1367981389 571642 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :very much so < 1367981393 418003 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Causing the massive slowdowns and pain I've been having for a while < 1367981411 567941 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :On both Windows and Linux. < 1367981425 657722 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I've been sort of blaming the Linux issues on using an obsolete distro < 1367981429 435249 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :But now I'm wondering... < 1367981442 705368 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :is kubuntu obscure < 1367981460 953758 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I'm on 10.10 < 1367981461 178059 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :kubuntu should have the same drivers as regularbuntu < 1367981558 436941 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::( http://www.nytimes.com/2013/05/02/business/media/cablevision-picks-up-glenn-becks-internet-channel.html?_r=0 < 1367981564 856335 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is any particular operation slow? < 1367981570 157838 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :any errors in dmesg? < 1367981602 354841 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :[ 509.462816] ecryptfs_read_and_validate_header_region: Error reading header region; rc = [-4] < 1367981609 512889 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :That's just the last line of dmesg < 1367981680 66323 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :anything else? disk IO errors? < 1367981703 977825 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :btw ecryptfs sucks; if you end up re-installing I recommend full-disk encryption with LUKS < 1367981716 691962 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which is something the Debian installer can set up automatically, and probably Ubuntu as well < 1367981788 251347 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :
ACTION "dmesg | grep -i error", sees fs has been remounted five times
< 1367982148 884934 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :No problems ATM < 1367982153 169509 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :They usually get worse later < 1367982157 474737 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1367982188 316496 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :'top' may also be useful, see if the time is spent on CPU or on IO waiting, and what processes are associated < 1367982198 73200 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :then you can strace those processes and see what the slow operations are < 1367982295 174747 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://www.youtube.com/watch?v=5sXTrlZeDyg < 1367982405 315261 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :okay i have diagnosed one facet of my tiredness problem < 1367982407 521405 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :which is that i am tired < 1367982411 12017 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and agitated < 1367982414 582941 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :uh < 1367982419 194163 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i meant to type variable problem < 1367982435 953118 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION golf clap
< 1367982455 272820 :Singingboyo!~SingingBo@d154-5-190-48.bchsia.telus.net PRIVMSG #esoteric :well you've certainly proved that you're tired. < 1367982494 287738 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :imo, both of you can shut right up. < 1367982945 758270 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thank you. < 1367982955 893535 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :my pleasure < 1367983075 282747 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1367983769 929840 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe i should get drunk and then try to write this typechecker < 1367984250 558642 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is it supposed to be a drunk typechecker? < 1367984495 932997 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it can be any kind of typechecker < 1367984505 539276 :Bike_!~Glossina@67-5-243-210.ptld.qwest.net JOIN :#esoteric < 1367984505 830854 :Bike!~Glossina@67-5-243-210.ptld.qwest.net QUIT :Quit: leaving < 1367984525 997930 :Bike_!~Glossina@67-5-243-210.ptld.qwest.net NICK :Bike < 1367984603 609156 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Why should you get drunk to write it unless you are writing a drunken typechecker? < 1367984668 577359 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :this is some good logic < 1367984995 304690 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: well if i am drunk then maybe all this will be less irritating and i will blurt out some working code < 1367985038 748242 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So, languages whose static typecheckers pass all input programs are common, and often loved by some for this feature. How about a language where no programs pass the static typechecker? < 1367985045 667215 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What would such a type system be like? < 1367985057 112274 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The former is often done by having one type < 1367985075 858852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :having no types hth < 1367985093 75390 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the initial object in the category of type systems????????? < 1367985146 263353 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :well, you could have the trivial typechecker of "fuck you" < 1367985150 380404 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :elliott: Well, you can try if you want to < 1367985155 353859 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :i guess you could also have a type checker that never halts? < 1367985156 986854 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :kinda shitty < 1367985168 492073 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Is there a category of type systems?????????????????????/ < 1367985177 98480 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :is there shachaf < 1367985221 586116 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: worse, i could have Bike as my typechecker < 1367985222 739214 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, I want an equivalent of "fuck you" expressed in terms of a type theory that goes "fuck you" < 1367985236 312849 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1367985239 187835 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :*effectively goes < 1367985258 597352 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :Sgeo: so you have a type checker that's a program that ignores its input and writes "fuck you" on the terminal. < 1367985269 493191 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :aka elliott, maybe. < 1367985308 447749 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :no static type checker : static type checker passes everything : everything is the same type :: fuck you to everything : static type checker that rejects all programs : ??? < 1367985379 913966 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :can you do analogy syntax like that? i don't know if i can handle this. < 1367985443 611625 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :That doesn't even make sense. "no static type checker" is analogous to "fuck you to everything"? < 1367985487 708467 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :No static type checker is sort of opposite to fuck you to everything < 1367985507 303288 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Well, hmm, not quite < 1367985543 426292 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :What you mean is: "everything passes : static type checker that passes everything : everything is the same type :: no program passes : static type checker that rejects everything : ???" < 1367985547 352708 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :Probably. < 1367985569 991443 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Yes < 1367985582 794434 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :I guess the obvious would be that everything is a different type. And there's no punning or anything. < 1367985636 735780 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Esolang idea, I guess < 1367985652 806696 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Do languages where no programs compile but for interesting reasons count as esolangs? < 1367985680 767224 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :it's better than a brainfuck derivative, anyway. < 1367985701 198912 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :you should write a compiler that gives detailed explanations of why your program, specifically, won't compile. and have it do that for all programs < 1367985708 630474 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :also have it say "fuck" a lot and call it elliottson. < 1367985751 245125 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Well, it should have a syntax < 1367985778 21631 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :Obviously. You need something to reject. < 1367985814 455100 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I don't know. < 1367985819 13928 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: There is shachaf, yes. < 1367985830 448602 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :Cool. < 1367985884 843069 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I fell asleep in the afternoon until the evening. :-( < 1367985896 111938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now it's midnight and I won't sleep. < 1367986485 439032 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Does vi or emacs have any extensions to ring the bell when the cursor moves near the end of the line? < 1367986546 424672 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :you could certainly write that. < 1367986702 123033 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Now I am writing the "Aberration Saver" prestige class into the computer. < 1367987494 815284 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :"(4-3-2). Further applications of programming techniques, introducing the fundamental concepts of data structures and algorithms. Topics include recursion, fundamental data structures (including stacks, queues, linked lists, hash tables, trees, and graphs), and algorithmic analysis. Recommended prerequisite: COSC 1437." < 1367987497 650857 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :This is a course description. < 1367987509 520468 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Guess how many semesters in this is, going by recommended preequisites < 1367987620 286144 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Well, I don't know what "COSC 1437" is so I cannot guess very well. < 1367987624 202788 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ok, my job is both sweet < 1367987626 552725 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :and fucking awful < 1367988047 648244 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :good/bad for you < 1367988337 902453 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ask mnoqy oh i remememembered the amazing discovery < 1367988338 387660 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :Consider it noted. < 1367988731 490531 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I made this list of idea of computer games: http://forums.nesdev.com/viewtopic.php?f=5&t=10081 < 1367988757 526557 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :Lymia: 1? < 1367988838 317719 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike, Bike Bike Bike < 1367988864 631782 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :sha chaf < 1367988869 332474 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :sha, chaf chaf chaf < 1367988918 445357 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the wheels on the Bike go round and round hth < 1367989225 346124 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :Bike, well. < 1367989231 611425 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :he course is called "Programming Fundamentals III" < 1367989233 138457 :Lymia!~moe@inportb/loli/cirno-chan PRIVMSG #esoteric :The* < 1367989258 452638 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :yeah, i hada class that sounded about the same, and i think it was just a semester < 1367989831 420278 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What bothers me a lot about most web browser programs is that it treats URLs entered in the location bar as absolute (my own treats them as relative). What is your opinion? < 1367989860 147285 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Absolute sounds better. < 1367989864 963210 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net JOIN :#esoteric < 1367989888 244316 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :if i'm entering URLs myself something is going wrong anyway < 1367989962 412022 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Bike: It is? Are you sure? < 1367989982 417093 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net QUIT :Client Quit < 1367989987 90882 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I always enter them myself, and I find the relative entry very useful. < 1367990003 106226 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :yeah, i usually use a search (like wikipedia's), or, you know, hyperlink < 1367990004 426194 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :s < 1367990038 914251 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net JOIN :#esoteric < 1367990046 19424 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Well, I *often* enter them myself; I do use search (such as Wikipedia), hyperlink, speeddials, etc too. < 1367990202 839944 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1367990213 552135 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oops mnoqy < 1367990216 92208 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sorry < 1367990219 561913 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1367990224 567862 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whats the amazing discovery < 1367990234 641369 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it turns out to be "not "so amazing"" < 1367990240 291056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sorry. < 1367990244 593808 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh what is it anyway < 1367990258 261143 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's so unamazing it's embarrassing. < 1367990272 130180 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh..............what is it anyway :> < 1367990328 640932 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's too embarrassing to share. < 1367990378 988628 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh.........................................what is it anyway :» < 1367990406 561384 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy don't do this to me :⋘ < 1367990439 506570 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: I'm basically elliott now. Should I go to sleep? < 1367990443 405673 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's 01:20. < 1367990447 77576 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :God yes. < 1367990472 795007 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's 6:20 < 1367990474 39261 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is "God" like "Simon Says"? < 1367990475 978347 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :6:21 < 1367990480 540207 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i like how typing search terms into the URL bar was a quintessential "old person bad at computers" thing and then it basically became the only way people use the url bar within the space of a few years < 1367990505 782990 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: It's a conspiracy by old people. < 1367990510 909804 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :Old people are a pretty good basis for how computer interfaces should work, really. < 1367990513 750412 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: To me, if I search in the URL bar it is always with a prefix starting with a colon, such as ":w " for Wikipedia. < 1367990514 112867 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Computer-assisted dementia < 1367990530 585915 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :That's why I also whisper conspiratorially into my watch < 1367990537 13932 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :always. also. same word < 1367990541 827383 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Bike: I don't think so. I think it is a good basis for people who don't know how to use a computer should learn or not use it at all. < 1367990555 989361 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey mnoqy < 1367990560 53657 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :but it's so easy for them < 1367990566 165932 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :guess how much an advertisement on supermegacomics.com goes for < 1367990570 924259 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :"i want my computer to do this. well, i guess i'll try doing this thing and then it'll work." < 1367990584 875351 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :and then it works if they have a modern browser and otherwise you charge them for tech support. < 1367990591 656997 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: how much??? < 1367990601 701550 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :apparently ~¢6??????????????????????????? < 1367990613 10677 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :that's not many. < 1367990613 195936 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :should i bid on advertisings < 1367990625 782311 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :You should make an ad teling elliott to go the fuck to sleep. < 1367990638 279075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott doesn't even read super mega < 1367990640 115058 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :does elliott read supermegacomics < 1367990640 973971 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :oh < 1367990651 340040 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how could you say that < 1367990651 703984 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should make an ad saying "hi monqy". < 1367990656 524248 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :should i do that mnoqy < 1367990658 904449 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i read super mega before you did < 1367990660 20336 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :well, you should make an ad for supermegacomics, so that elliott will see it and think "huh, maybe i should check this shit out" < 1367990673 476283 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: What I mainly do with the URL entry is to enter relative URLs, such as "/" to access the root page, and to enter searches with prefixes, and sometimes full URLs. Mozilla does it the other (more common) way and I don't like that Firefox has no way to turn that feature off and change it! It is a stupid feature! < 1367990674 458874 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :that's how elliott talks btw. < 1367990700 898305 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Can you say "hth" a bit more? It would be easier to understand you. hth < 1367990701 648998 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :zzo do you actually like how any of the programs on your computers work < 1367990712 248867 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :shachaf: is that like "fuckshitter" < 1367990725 531825 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :n° < 1367990733 607559 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :Oh. < 1367990743 586040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :n°h < 1367990750 31826 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :Theatre? < 1367990754 836032 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net QUIT :Quit: leaving < 1367990776 188747 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That would be nōh or something like that, wouldn't it? < 1367990792 758696 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Bike: Well, some are OK, such as TeX (although they added something which results in a bug relating to file number 18, and I don't like that); most of my own programs are also OK (which is why I write them that way), and some others may be OK but many are badly designed. < 1367990817 432185 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net JOIN :#esoteric < 1367990818 808548 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :I don't think I can have a character with ¯ and ° at the same time... < 1367990821 366368 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Did you report the bug? < 1367990836 723230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :°̄ < 1367990842 193069 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: I don't have an account to report the bug, nor am I sure who is responsible. < 1367990847 937946 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : ā° < 1367990850 765365 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :OK, back up a second here. < 1367990866 461007 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :You write your programs in a good way because your programs are OK? < 1367990868 424729 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: An account? Just email it to Knuth. < 1367990884 541179 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Writing your own web browser could be a bad idea if there's someone who is targetting you specifically and has access to the browser's code < 1367990906 655884 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It isn't Knuth who put that bug in, and neither me nor Knuth has email. < 1367990907 354048 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric : writing your own browser is a bad idea for so many other reasons < 1367990914 505742 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Web browsers are tricky to get right, I think. Websites try to do the right thing by knowing the oddities of modern browsers. < 1367990916 373852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Knuth replied to my email. < 1367990936 280975 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"achievement unlocked" hth < 1367990941 582430 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :But if your own browser has a security flaw, you can't expect websites to know about it and work to avoid making it exploitable. < 1367990947 759176 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sgeo: Well, I am using Mozilla-based; furthermore, I think all of them (Mozilla, WebKit, etc) are way too complicated. < 1367990992 813736 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :All browsers have gaping security holes < 1367991012 13207 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Insult maternal ancestor here < 1367991018 385299 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Jafet: Yes; namely, HTML, HTTP, CSS, JavaScript, Flash, Java, etc. < 1367991026 442231 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And I do know about security; I always make sure to secure it whenever security is relevant (sometimes it isn't, and in those cases I usually omit those things in order to improve the performance instead) < 1367991118 132970 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Often there are security issues dealing with buffer overflows, out of memory, infinite loops, etc; Internet Quiz Engine doesn't even have any buffers and the programming language it implements has no backward flow control (so there is no infinite loops). < 1367991453 142990 :BillyZane!~Billy@ip68-7-202-160.sd.sd.cox.net QUIT :Ping timeout: 245 seconds < 1367992169 641272 :Singingboyo!~SingingBo@d154-5-190-48.bchsia.telus.net QUIT :Read error: Connection reset by peer < 1367992173 607053 :BillyZane!~Billy@ip68-7-202-160.sd.sd.cox.net JOIN :#esoteric < 1367993738 488249 :BillyZane!~Billy@ip68-7-202-160.sd.sd.cox.net QUIT :Ping timeout: 255 seconds < 1367993864 259791 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: hourguing hth < 1367994362 482514 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net QUIT :Quit: leaving < 1367994379 629754 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net JOIN :#esoteric < 1367994379 854301 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net QUIT :Client Quit < 1367994396 538376 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net JOIN :#esoteric < 1367994503 660634 :BillyZane!~Billy@ip68-7-202-160.sd.sd.cox.net JOIN :#esoteric < 1367994561 700295 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net QUIT :Client Quit < 1367994565 191349 :BillyZane!~Billy@ip68-7-202-160.sd.sd.cox.net QUIT :Max SendQ exceeded < 1367994578 841040 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net JOIN :#esoteric < 1367994868 808723 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net QUIT :Client Quit < 1367994885 405313 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net JOIN :#esoteric < 1367994890 412797 :BillyZane!~Billy@ip68-7-202-160.sd.sd.cox.net JOIN :#esoteric < 1367995168 801513 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net QUIT :Client Quit < 1367995188 131637 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net JOIN :#esoteric < 1367995459 373674 :BillyZane!~Billy@ip68-7-202-160.sd.sd.cox.net QUIT :Ping timeout: 276 seconds < 1367995747 267350 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I will define "key move" in my Pokemon card puzzles to mean all the actions you take before the first thing that is beyond your control which immediately affects you. < 1367995754 658178 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is this reasonable? < 1367995892 97799 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :do you have a precise definition of "immediately affects you"? < 1367995914 291899 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :However, the order doesn't matter to distinguish possible key moves if this order does not affect anything relevant. < 1367995967 406080 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: No, but I do have an example; activating RATTATA [Lv12]'s power to switch the cards does not affect you until you actually draw that card. < 1367996202 224118 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :These puzzles do not follow all the aesthetics of chess problems; I do not consider all of them important. Many of these puzzles are "dressed" (except for puzzle.4 which I think isn't; but I didn't make that one) < 1367996262 420332 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Actually, I think puzzle.2 is also not dressed; puzzle.1 is clearly dressed though.) < 1367996385 184385 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I want to develop the first ever muckbell < 1367996713 477431 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is muckbell? < 1367996773 216019 :sebbu2!~sebbu@ADijon-152-1-55-206.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1367996810 626244 :sebbu2!~sebbu@ADijon-152-1-55-206.w83-194.abo.wanadoo.fr QUIT :Changing host < 1367996810 811742 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1367996841 638771 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :a muckbell is a slyming rhang < 1367996852 989836 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 252 seconds < 1367996977 714333 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: Well, maybe I do have another definition: If playing by mail, they can be written all at once and without receiving a response. < 1367996991 501113 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(This isn't really mathematically precise either, though.) < 1367997043 377311 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Actually I guess this can be called a "move"; a "key move" would just be the first one. < 1367997055 133929 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(As it is in chess.) < 1367997078 306245 :Bike!~Glossina@67-5-243-210.ptld.qwest.net PRIVMSG #esoteric :fuck yell? < 1367997385 881682 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :However, in this game, the number of moves might be different from the number of turns. < 1367998314 725855 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net QUIT :Quit: leaving < 1368000209 708655 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1368000533 476209 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Cya < 1368000534 951204 :BillyZane!~Billy@ip68-7-202-160.sd.sd.cox.net JOIN :#esoteric < 1368000668 572672 :Bike!~Glossina@67-5-243-210.ptld.qwest.net QUIT :Ping timeout: 268 seconds < 1368000748 98155 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1368000886 423636 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1368001230 879340 :SingingBoyo!~brandon@d154-5-190-48.bchsia.telus.net JOIN :#esoteric < 1368001741 211615 :epicmonkey!~epicmonke@188.134.41.112 JOIN :#esoteric < 1368001956 919362 :BillyZane!~Billy@ip68-7-202-160.sd.sd.cox.net QUIT :Ping timeout: 256 seconds < 1368002198 117330 :BillyZane!~Billy@ip68-7-202-160.sd.sd.cox.net JOIN :#esoteric < 1368002283 641154 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1368004235 570252 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`awake elliott < 1368004239 587463 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: awake: not found < 1368004279 800617 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :`sleep 999 < 1368004310 892964 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1368004338 365600 :pikhq!~pikhq@71-34-128-25.clsp.qwest.net JOIN :#esoteric < 1368004368 803015 :yiyus_!1242712427@je.je.je JOIN :#esoteric < 1368004377 652901 :mroman!~roman2@fmnssun.ibone.ch JOIN :#esoteric < 1368004390 403604 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm awake < 1368004460 874373 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :don't be hth < 1368004478 37410 :yiyus!1242712427@je.je.je QUIT :Ping timeout: 256 seconds < 1368004862 682309 :impomatic!~digital_w@43.22.125.91.dyn.plus.net QUIT :*.net *.split < 1368004862 906659 :pikhq_!~pikhq@71-34-128-25.clsp.qwest.net QUIT :*.net *.split < 1368004863 91740 :mroman_!~roman2@fmnssun.ibone.ch QUIT :*.net *.split < 1368005255 29620 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net JOIN :#esoteric < 1368006685 728666 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1368007260 687429 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1368007325 738889 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1368007325 924200 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Read error: Connection reset by peer < 1368009652 895854 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PART :#esoteric < 1368014393 526157 :SingingBoyo!~brandon@d154-5-190-48.bchsia.telus.net QUIT :Ping timeout: 255 seconds < 1368014618 885628 :nooodl!~nooodl@91.177.101.183 JOIN :#esoteric < 1368014812 354721 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1368015122 733083 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1368016273 840457 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 246 seconds < 1368016704 325508 :impomatic!~digital_w@43.22.125.91.dyn.plus.net QUIT :Read error: Connection reset by peer < 1368017131 837364 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1368018203 232559 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 252 seconds < 1368018988 566457 :sirdancealo2!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1368019199 838332 :boily!~boily@207.34.230.30 JOIN :#esoteric < 1368019630 819951 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1368019639 29894 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Greetings < 1368019772 404570 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :salutations. < 1368020139 991480 :boily!~boily@207.34.230.30 QUIT :Quit: Poulet! < 1368020299 385059 :boily!~boily@207.34.230.30 JOIN :#esoteric < 1368020333 851787 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net JOIN :#esoteric < 1368020960 442117 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I started working on an esoteric programming language yesterday. https://github.com/jessehorne/derplang < 1368020976 10913 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :@ask ThatOtherPerson I was reading some of the emulator code, and I wondered why the dcpu isn't inheriting from device itself? < 1368020976 410890 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :Consider it noted. < 1368021821 305910 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :My language is interpreted with an interpreter I wrote in Lua btw. < 1368021880 144250 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 JOIN :#esoteric < 1368021980 275722 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :@tell zzo38 I do mean "all hom-sets are abelian groups" but I also mean the distributive law. <-- i think the distributive law is the same as bilinearity < 1368021980 498269 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :Consider it noted. < 1368022064 577932 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 JOIN :#esoteric < 1368022079 109238 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: hi < 1368022083 686188 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :Hi < 1368022087 345223 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: hi < 1368022088 325958 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :tanello < 1368022091 407188 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :This "hi" is ominous < 1368022100 991190 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1368022130 468882 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :@tell zzo38 It's called bilinearity because it generalizes from homomorphisms between abelian groups to linear transformations between modules over rings < 1368022130 653934 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :Consider it noted. < 1368022137 653308 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Today, I made a really pointless baseclass < 1368022162 474502 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :well it might prove useful in the future < 1368022209 613958 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :Today, I was reading about type algebra again < 1368022230 147977 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :And I came upon a sudden ponderance: < 1368022269 865504 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :I will not share it because the answer is "Shut up, Taneb, you don't really understand this" < 1368022395 316333 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :@tell bike @google "ceasar gets money where he looses hearts" <-- you could try spelling caesar correctly, although it might not help. < 1368022395 787829 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :Consider it noted. < 1368022432 957177 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :i also failed to answer a quiz correctly the other day because the asker grossly mispronounced caesarion. < 1368022460 147418 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :caesarion? caesar's son right? < 1368022486 969908 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :yes. the quiz asked who his parents were. < 1368022499 460845 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :Cleopatra's son, supposedly by Gaius Julius Caesar < 1368022517 730825 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: if you don't share the ponderance I will have to call the police < 1368022540 380369 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :elliott: is there any type that corresponds to something like the golden ratio? < 1368022558 777345 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :elliott: what if the ponderance _was_ 'I will not share it because the answer is "Shut up, Taneb, you don't really understand this"' ? < 1368022559 810949 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :elliott needs his daily moment of "shut up you don't know anything" < 1368022560 188488 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wasn't there a sigfpe post about that... < 1368022604 767439 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hard to google for < 1368022628 968873 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i bet oerjan knows. < 1368022645 349916 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :SO question: moving wordpress from local to local < 1368022646 375343 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :great < 1368022688 820927 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :What's a good book about type algebra for noobs btw? < 1368022694 848237 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :you'd want a type satisfying the polynomial for the golden ratio, right? < 1368022696 250262 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :(eg. me) < 1368022700 764527 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hm, so Maybe φ = (φ, φ) < 1368022708 1090 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's pretty weird. < 1368022715 456815 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1368022726 421175 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION trying to rederive a blog post from scratch in lieu of finding it
< 1368022736 718680 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't know how to go from that to solving it as a type. < 1368022776 232450 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :If you can think of a type such data T a = N | W a a (T a) corresponds to its one-hole context, that type corresponds to inverse hyperbolic tan < 1368022780 605661 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :neither do i. < 1368022783 534279 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/ < 1368022796 35830 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well... if we say that φ is a function a -> b, as seems likely for such a weird type, then we need Maybe (a -> b) = (a -> b, a -> b) < 1368022807 235485 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :aka b^a + 1 = (b^a)^2 < 1368022816 714949 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION consults god Wolfram to cover up for his incompetence.
< 1368022830 10593 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :
ACTION is can't believe it
< 1368022837 42318 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :- is < 1368022847 760312 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, that wasn't helpful. it just told me b^a + 1 = b^(2a). I'm not /that/ incompetent < 1368022852 7288 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but, uh, that means < 1368022864 45072 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if Maybe (a -> b) = (a, a) -> b < 1368022868 87560 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :then a -> b = φ < 1368022876 973408 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe flipping it works better. < 1368022880 147572 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(a, a) -> b = Maybe (a -> b) < 1368022884 809544 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how strange. < 1368022905 542020 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :φ = [φ], I think < 1368022911 57655 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :So... Fix []? < 1368022934 790924 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hm, φ = 1 + φ + φ^2 + φ^3 + ...? < 1368022937 390369 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is that true? < 1368022948 33927 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it sounds distinctly untrue. < 1368022961 336717 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for the obvious reason? < 1368022966 203902 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :aka φ = 1/(1-φ) < 1368022977 510360 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, hm, right. < 1368023005 617202 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wait, is it actually true? < 1368023008 653145 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i've got myself completely confused. < 1368023024 167239 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :not the same polynomial < 1368023032 189404 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er right < 1368023037 1026 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :φ + 1 = φ² < 1368023044 678274 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :was my interpretation of [] wrong... it looks like the standard expansion for the free monoid? < 1368023067 886744 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :elliott: i find it plausible... < 1368023071 566416 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :No, my arithmetic was off < 1368023077 552807 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :φ-1 /= 1-φ < 1368023081 932517 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well I mean if φ = 1 + φ + n < 1368023085 95325 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :then n must < 0 < 1368023094 45109 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and φ^2 + φ^3 + ... does not seem to have any reason to be < 0. < 1368023104 979385 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i am sleep deprived but at least that much makes sense to me < 1368023110 647163 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :φ=-[φ] < 1368023113 565533 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :Is more true < 1368023129 222361 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well you sort of have to eliminate all the divisions and subtractions if you want to work out a type :P < 1368023158 406432 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :By "more true" I distinctly did not mean "closer to the answer" < 1368023194 910063 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :Anyway, brb < 1368023200 88618 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 PRIVMSG #esoteric :I have a home to go to < 1368023202 528498 :Taneb!d917e6fd@gateway/web/freenode/ip.217.23.230.253 QUIT :Quit: Page closed < 1368023220 10280 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :lucky guy < 1368023226 192948 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hm... < 1368023291 158897 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :i don't know much about handling negation or division in types other than the 1/(1-t) kind of trick < 1368023359 398157 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wait, there's a relevant trick i'm missing? :P < 1368023380 99790 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :i just mean 1/(1-t) = 1+t+t^2+... < 1368023386 329543 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, right < 1368023413 472950 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's not equal to the golden ratio for any convenient t though :( < 1368023419 844241 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :i think i've also seen someone claim t^n/n represents cyclic lists of length n < 1368023428 717312 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hm < 1368023453 355899 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh hm < 1368023466 76311 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :φ = 1 + 1/φ < 1368023466 767232 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so < 1368023483 625665 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that gives some sort of clue? sort of? < 1368023494 204189 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if there's any nice trick for 1/(1+t)... < 1368023501 40360 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm so tired. < 1368023517 349042 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :1/(1+t) = 1-t+t^2-t^3+... < 1368023536 540656 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hm < 1368023569 205230 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :φ = 1 + 1 - (φ-1) + (φ-1)^2 - (φ-1)^3 + ... < 1368023569 481075 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :ugh guys how is monad pronounced < 1368023577 710594 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :φ = (φ-1) + (φ-1)^2 - (φ-1)^3 + ... < 1368023581 746330 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :even worse dilemma: how do i pronounce it in dutch < 1368023588 301418 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :φ = ((1 + 1/φ)-1) + (φ-1)^2 - (φ-1)^3 + ... < 1368023596 61096 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :φ = (1/φ) + (φ-1)^2 - (φ-1)^3 + ... < 1368023601 670624 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this does not seem to be helping. < 1368023617 801399 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :nooodl: monachchxt*ARGH MY THROAT* < 1368023620 28894 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :hth < 1368023645 119220 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :i know a "monoid" is a "monoïde" so people seem to put some effort into translating technical terms < 1368023669 507578 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :but there's no obvious non-stupid way to pronounce "monad", which is also used in dutch < 1368023700 918716 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :dutch is so funny, i listened to the king's inauguration speech the other day < 1368023713 84564 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :dutch is great < 1368023729 104023 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :it's all "schchcxhxsh rshcrhxschhrx" < 1368023740 642587 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :really? didn't know that < 1368023758 29673 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :only arabic can beat it in sheer throat messing up < 1368023793 2041 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :oh man that's right, AnotherTest lives about a decibelgium away from me < 1368023793 625444 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :that's probably just dutch dutch, not Flemish dutch then < 1368023820 89676 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :`? debibelgium < 1368023821 990168 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :debibelgium? ¯\(°_o)/¯ < 1368023822 578801 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :but yeah flemish dutch is less throat-y. it's more like german < 1368023828 377282 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :`? decibelgium < 1368023830 142063 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :decibelgium? ¯\(°_o)/¯ < 1368023836 74417 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :elliott: someone's probably analyzed what expressions can work as types < 1368023878 983320 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: yes. but if I could find things, I could also just dig up the blog post. < 1368023885 647186 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so I'm reduced to thought instead. < 1368023947 76080 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :how horrible < 1368023995 808923 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :elliott: are you sure it's a sigfpe blog post < 1368024015 37173 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no i've realised it wasn't < 1368024020 791861 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :uh i think it had a black background, haskell code, recent < 1368024026 80972 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or at least recentish < 1368024032 85498 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the default new wordpress theme thing < 1368024075 600489 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :site:wordpress.com hth < 1368024097 164925 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thank's < 1368024101 496675 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :aah < 1368024239 854045 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1368024246 713886 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: nooodl: http://ctenophoric.wordpress.com/2013/04/21/algebraic-data-part-1-golden-tree/ < 1368024330 195794 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :ohhh < 1368024359 511327 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :In many everyday categories (sets, spaces, modules, ...) objects can be both added and multiplied. The arithmetic of such objects is a challenge because there is usually no subtraction. We prove a family of cases of the following principle: if an arithmetic statement about the objects can be proved by pretending that they are complex numbers, then there also exists an honest proof. < 1368024369 258973 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :i was confused about the [x] = 1 + x + x² + x³ + ... thing at first... but now it makes sense < 1368024387 608444 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :so there are exponential types. Are there hyper types? < 1368024424 951387 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: list is either empty or one element or two elements or etc. < 1368024428 478795 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :yeah < 1368024440 704909 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :AnotherTest: A^^n = A -> A -> ... -> A < 1368024452 531862 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :-1 = [Bool] OKAY < 1368024471 33881 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :nooodl: So that would be eg. a function returning a function? < 1368024487 266954 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I assign oerjan the task of divining the deep connection between Tree [Bool] and the golden ratio < 1368024504 900399 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :yeah; n is a natural number here though so it's not really a "hyper type" at all < 1368024507 732545 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :i thought that was what the blog post did < 1368024511 893501 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :it's just A^A^A^...^A < 1368024519 562443 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :oerjan: could you please stop shouting your okays? it disturbs this channel's feng shui. hth. < 1368024531 76179 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: well it doesn't count unless you have types on both sides. < 1368024551 486428 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well it showed the correspondence. i can't say it says much on _why_ on earth that's the type :P < 1368024554 270957 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :indeed... i have no idea what A^^B would be though < 1368024560 765971 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :boily: no, the precise spacing and capitalization is part of the meaning hth < 1368024572 999844 :Taneb!~nathan@host-92-30-163-254.as13285.net JOIN :#esoteric < 1368024577 913067 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :clearly A^^Bool = A -> A, somehow < 1368024581 219114 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: well, you know that A^^Bool is A -> A < 1368024583 354054 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or is it A -> A -> A? < 1368024583 881083 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :haha < 1368024588 237934 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no it's A -> A < 1368024588 667376 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :And I'm back < 1368024600 838059 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :data Foo = A | B | C; A^^Foo = A -> A -> A < 1368024601 500661 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so < 1368024613 284020 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :A^^Foo = A^Bool -> A < 1368024614 252654 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so uh < 1368024616 420831 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well that's not helpful < 1368024638 352551 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :but what about (A -> B) ^^ (C -> D) < 1368024668 417456 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well that's (B^A)^^(D^C). < 1368024674 277369 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so for fixed D and C we know what the result should look like. < 1368024681 753931 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :wait what is sqrt(2) as a type < 1368024700 613400 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: figure it out :P < 1368024724 814004 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :What's so special about sqrt(2) as a type? < 1368024735 410478 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Seems like I'm not understanding this < 1368024752 415810 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :oh right I see < 1368024753 281629 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :nmv < 1368024755 240226 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :*nvm < 1368024768 675110 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :it doesn't exist in any way i can think of but i remember seeing that "negative and fractional types" paper and not understanding it at all < 1368024788 976062 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :oh so there's negative types? < 1368024839 185252 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Also is A^(-1) the inverse type of A? Or what's used for that? < 1368024893 368045 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :what would the inverse type be anyway < 1368024894 37189 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :hm < 1368024907 429253 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :but does that 1+2+3+... = -1/12 equation hold in types? < 1368024917 123760 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :I guess a type so that A * B = Void < 1368024928 798945 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :you mean () < 1368024934 340579 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :oops yeah < 1368024953 158275 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :()^(-1) = () at least < 1368024959 845567 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :and iirc it's kinda like that... here's a thing i don't understand http://www.cs.indiana.edu/~sabry/papers/rational.pdf < 1368025001 999599 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i remember edwardk mocking the negative and fractional types paper < 1368025026 817978 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :is (A -> B)^(-1) = (B -> A) < 1368025039 961557 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :...have I started something here < 1368025045 37039 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :sorry < 1368025062 806700 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Taneb: you made me read something about type algebra so thanks < 1368025075 818116 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :> import Control.Category < 1368025076 3662 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :> import Prelude hiding ((.),id) < 1368025078 319355 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :I'm probably annoying elliott etc atm though < 1368025078 846586 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric : :1:1: parse error on input `import' < 1368025079 169253 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric : can't find file: L.hs < 1368025079 354628 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :what's this for < 1368025083 466121 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :(sorry lambdabot) < 1368025086 974307 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :p.sure you can't generalise division to types < 1368025092 471381 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the only thing that annoys me is... soap < 1368025096 925801 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :well, you can have quotients but they're not what you want < 1368025102 12016 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: catch up pls < 1368025103 299149 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: In many everyday categories (sets, spaces, modules, ...) objects can be both added and multiplied. The arithmetic of such objects is a challenge because there is usually no subtraction. We prove a family of cases of the following principle: if an arithmetic statement about the objects can be proved by pretending that they are complex numbers, then there also exists an honest proof. < 1368025120 425717 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :cf also http://ctenophoric.wordpress.com/2013/04/21/algebraic-data-part-1-golden-tree/ < 1368025127 278049 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh Dear < 1368025134 651200 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Well I'm pretty sure inverse types can exist < 1368025139 947446 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :that sounds ok < 1368025162 714454 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :so a division of two types A / B = A * B^(-1) I guess? < 1368025225 232232 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :I wonder what they are though < 1368025229 113261 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i feel your presentation of A^(-1) insufficiently justified < 1368025240 641708 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :elliott: I agree really < 1368025252 626379 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :especially since it must be a function from a type (-1) to A < 1368025263 211804 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :-1 = [Bool] hth < 1368025289 146507 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :elliott: well consider it a separate notation? ^ is probably an ill chosen symbol < 1368025316 602436 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric : left adjoint to forgetful variables hth <-- i am hoping this is somehow actually true. < 1368025326 650146 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Well f^(-1) != 1/f too < 1368025328 771554 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: (A, [Bool] -> A) = Void < 1368025331 90661 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :so it gets all weird < 1368025344 375373 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :it's beautiful :-) < 1368025349 830776 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :btw: ()?? < 1368025355 673616 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes the joke is its nonsense < 1368025398 699223 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Where can I read more about this type algebra (besides on Taneb's link which was pretty basic)? < 1368025431 302141 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :http://www.cis.upenn.edu/~byorgey/pub/species-pearl.pdf I think < 1368025447 136156 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :http://chris-taylor.github.io/blog/2013/02/11/the-algebra-of-algebraic-data-types-part-ii/ hth < 1368025474 999029 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :aah, but that probably does help < 1368025506 684954 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :well I am reading part 2 < 1368025678 380371 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :To interpret this for types, remember that the derivative operator d/da makes holes in a data structure that contains data of type a. This equation is saying that if a type doesn’t have any data of type a, then its one-hole context is Void, i.e. you can’t create any instances of it. < 1368025692 768807 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :type algebra is so good < 1368025703 231442 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :oh so there is a type derivative? cool. < 1368025707 373549 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :i have the hugest grin on my face < 1368025712 478460 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :is there a type integral? < 1368025737 774062 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :"modular type algebra": coming soon? < 1368025738 467387 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :i don't think there's a sensible definition of type integrals < 1368025747 963138 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :the whole constant of integration thing sounds messy < 1368025831 43967 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :A mod B = B ? < 1368025867 176453 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :so did he work out how to divide types yet < 1368025894 849874 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :well assuming that this type division is a real thing, you could define rounding down types < 1368025910 953698 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :then you could define modulo (assuming you also have negative types) < 1368025924 726536 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :then you could implement RSA with types or something I guess < 1368025931 113863 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :good type encryption < 1368025957 567294 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :so someone could not only encrypt a message, but also the type of the message! < 1368026005 169737 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :serious question: What's the difference between Nil and Nothing? The post seems to use both. < 1368026010 391629 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Nil === Nothing though? < 1368026018 506481 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :or is it something else < 1368026960 715476 :MindlessDrone!~MindlessD@141.70.114.64 JOIN :#esoteric < 1368028489 191147 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 QUIT :Quit: Later < 1368028671 262933 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :AnotherTest: Nil is a List a < 1368028676 526608 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Nothing is a Maybe a < 1368028681 578540 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :They are different things < 1368028691 842456 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1368030018 264979 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :there are quite a few debian forks: https://en.wikipedia.org/wiki/File:DebianFamilyTree1210.svg < 1368030031 471547 :Bike!~Glossina@67-5-243-210.ptld.qwest.net JOIN :#esoteric < 1368030120 813208 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net PRIVMSG #esoteric :o_o < 1368030483 201271 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not an insignificant fraction are Ubuntu-derived. < 1368030499 982231 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Is there a debian package for making lousy debian forks < 1368030598 794118 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It is good that the line for Ubuntu Satanic Edition is 4RED < 1368030628 395732 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net PRIVMSG #esoteric :How many people use all these friggin' forks? < 1368030645 150464 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm sure "Leeenux" has a large following. < 1368030649 863117 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net PRIVMSG #esoteric :I've used Damn Vulnerable a couple of times, but there are just so damn many < 1368030668 834566 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Apparently it's a netbook-oriented thing.) < 1368030712 243418 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :@quote in.the.type.system < 1368030712 911163 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :dons says: ghc 12.5 can implement the device drivers in the type system! < 1368030719 771914 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :@quote in.the.type.system < 1368030720 550614 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :olsner says: < kmc> i think 250 milliolegs is enough to kill an elephant < olsner> kmc: ... to kill an elephant - in the type system! < 1368030736 277945 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hrm, a Google search for "Descent|OS" (with quotes) seems to still be looking for the words "Descent" or "OS", not the combination. < 1368030752 215026 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :@google +"descent.os" < 1368030753 529507 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :http://www.descentos.org/ < 1368030753 714560 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :Title: DescentOS: Simple by Design < 1368030757 180623 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, yes. < 1368030770 287105 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I was hoping it'd have something to do with Descent-the-game, but it doesn't seem to. < 1368030848 307938 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Descent was nausea-inducing, so that's not implausible < 1368030881 926978 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Only losers turned on the option that auto-rotates the ship so that "up" stays up. < 1368030902 428626 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :I think it was the corridors < 1368030936 743832 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Can you put a bitmap object thing in a KML file or something? Like, assuming I have a bitmap map of something, and I'd like to plonk it on top of a map (assuming some reasonable projection) so that I can look at it on an Android device and see where I am? < 1368030979 153977 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe that's an . < 1368031002 146681 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Do it right, use a spheroidal bitmap < 1368031045 343777 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know if the bitmap is even a real map, in any sort of scale, instead of just an illustration. < 1368031223 664292 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1368031250 413718 :Bike_!~Glossina@67-5-249-37.ptld.qwest.net JOIN :#esoteric < 1368031258 432368 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :I feel a bizarre need to create a website < 1368031410 242175 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Hey, werecatt's at it again < 1368031417 372969 :Bike!~Glossina@67-5-243-210.ptld.qwest.net QUIT :Ping timeout: 276 seconds < 1368031447 751820 :Bike_!~Glossina@67-5-249-37.ptld.qwest.net NICK :Bike < 1368032278 688927 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I just added an "image overlay" in Google Earth, but now I can't figure out how to edit its size/position. < 1368032324 212162 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, it's editable when its "Properties" window is open. < 1368032976 270617 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Huh. The exported kmz (and kml) files work when I write the URL to the web-browser Google Maps, but not when I write it to the search field of the Android Google Maps, even though I've used that earlier to look at a kml file in the webs. < 1368033194 76537 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Jafet, descentos looked interesting until I saw the reddit link >_> < 1368033477 13061 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Why doesn't anything ever work out right? I managed to get the image overlay open in Android Google Earth (by making a dummy page with a link to it, then going there with Chrome and telling it to open it with Earth), but it only shows about one half (left half) of the image. < 1368033503 464326 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :A feature would like to see in a GameBoy emulator is the feature to interact with the IR port driver on your computer. < 1368033503 973753 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :zzo38: You have 2 new messages. '/msg lambdabot @messages' to read them. < 1368033507 633267 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :?messages < 1368033507 818448 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :oerjan said 3h 12m 7s ago: I do mean "all hom-sets are abelian groups" but I also mean the distributive law. <-- i think the distributive law is the same as bilinearity < 1368033508 471905 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :oerjan said 3h 9m 37s ago: It's called bilinearity because it generalizes from homomorphisms between abelian groups to linear transformations between modules over rings < 1368033604 298737 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In fact, the leftmost 1333 pixels is what it displays. IDGI. < 1368033610 747952 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hi shachaf < 1368033694 529626 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Descent|OS incorporates ease of use with the power that advanced users hunger, with emphasis on functionality and lightness combined with good looks." < 1368033710 397621 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i like that people can just say this without admitting that there are tradeoffs between these things < 1368033729 633260 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I guess "marketing is bullshit" is not exactly a cutting edge observation < 1368033752 775411 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i like how this site does not tell me anything helpful as a linux user < 1368033755 192510 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :except "it uses MATE" < 1368033755 377943 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Well, yes they are tradeoffs. < 1368033771 840669 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but it's funny that one-person Linux distro projects have bullshit marketing just like huge corporate products < 1368033772 553572 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i had to click on to their reddit to find it's a debianoid < 1368033772 911659 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :A simple and fast operating system is FreeDOS. < 1368033797 249715 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: i think it kind of shows how ingrained this kind of crap is to society < 1368033812 290084 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that people think it improves everything they do to imitate it < 1368033842 44762 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :"Taneb's linux distribution" < 1368033853 937148 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :You got one? :D < 1368033855 851648 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :"It's basically debian, but stripped down, and with chromium installed by default" < 1368033856 728810 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :turns out to be slackware < 1368033857 267522 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :Bike: You have 1 new message. '/msg lambdabot @messages' to read it. < 1368033857 857886 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Oh god now < 1368033859 373711 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :*no < 1368033871 311723 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Tabuntu" or "Tanebuntu". < 1368033873 11016 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :thx oerjan. < 1368033883 81531 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: have PC manufacturers stolen the whole retina thing yet, you are my update service for this fact < 1368033885 482345 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :remember, software with the features I want is "pragmatic", software with the features you want is "bloated" < 1368033895 136280 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :fizzie: Tabuntu sounds like the mutant offspring of two colas < 1368033896 737382 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: just the Chromebook Pixel < 1368033904 738966 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :My distro is exactly ubuntu 10.04, but without the firefox package. < 1368033909 99350 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you can run regular Linux on it (or on a Macbook Retina for that matter) < 1368033912 62719 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :VIVA REVOLUTIOJ < 1368033918 250211 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :REVOLUTION* < 1368033921 450871 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: that has an arm in it right < 1368033929 193512 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(a literal human arm to go with the retina) < 1368033938 697086 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(humanistic computing) < 1368033939 448647 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i expect so < 1368033947 260170 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but no it's an x86 chip < 1368033964 989524 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :core i5 < 1368033975 598395 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hm that's pretty good < 1368033978 154171 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :too bad the screen is tiny :/ < 1368033987 678205 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but the defs are so high < 1368033990 376627 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't even know if i want a laptop < 1368033994 660238 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't even know what i want < 1368034016 267909 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :all i want is a computer i can use to do the things i like using computers for without getting incredibly frustrated by it all freezing multiple times a day < 1368034027 360896 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1368034034 372582 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and technical knowledge does not really help with this goal afaict < 1368034051 431461 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :agree/disagree: "simple" and "minimal" are not design goals, they just mean you've done your job evaluating the actual design goals < 1368034068 493704 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :i'm not sure those words actually mean anything in a design context < 1368034086 738351 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :elliott: have you considered taking up something easier like gradening or bomb defusal. < 1368034130 764824 :tromp!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :reminds me of a monthy python sketch < 1368034144 341321 :tromp!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :with the banker wanting to become a lion tamer < 1368034171 703015 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: yet they seem to be a huge deal in free software communities < 1368034181 454533 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so if they mean nothing then that's... well, not surprising, but kinda funny < 1368034202 309253 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: well the problem is i'm kind of deep into this functional programming thing by now! < 1368034206 453330 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's wormed its way into my aesthetics < 1368034223 93577 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :i;m sorry < 1368034228 653810 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :my only out appears to be a purer form of mathematics, and (a) I'm not good enough for it, and (b) you still need to use computers a lot < 1368034247 824633 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1368034268 771678 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :anyway I think what I said is not 100% true because there can be varying levels of pushback against new feature requests < 1368034284 540990 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :kmc: mostly i'm thinking of http://yourkickstartersucks.tumblr.com/tagged/wallet and all the Minimal Wallets in general < 1368034294 893257 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :there's more than just those two, their tagging just sucks apparently < 1368034297 759749 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what I said kind of presupposes a one-way (I think the kids call this "waterfall") methodology where the requirements are set in stone < 1368034305 898412 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :elliott: know who else was concerned with purity? hitler < 1368034312 705492 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hahaha woow < 1368034320 945764 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :A modern minimalist wallet system that blocks RFID signals yet allows users to express their individuality. < 1368034330 10754 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :BUT DOES IT CELEBRATE CRAFTSMANSHIP?!?!? < 1368034340 28373 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: no i already argued with someone who has unironically compared things similar to what i was arguing about to hitler recently today! < 1368034346 475885 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :oh oop < 1368034348 808713 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :s < 1368034351 199652 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: I'M SCARRED < 1368034373 731123 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :tough it up!!! < 1368034397 597665 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe I should just figure out how to make a lot of money and give up on caring about things and buy a macbook, except every time i have said "i can't care about computers any more" and bought a mac it's turned out that programming on them is a net more hellish experience than dealing with other things < 1368034398 939029 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"We're making the world's fist anime time management/tycoon game." < 1368034402 725474 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: can I just dictate programs to you < 1368034409 92877 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that seems like the easiest solution < 1368034421 372089 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :here in the Real World you'll get baselessly compared to hitler and there's nothing you can do about it without violating my free speech < 1368034445 746453 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :yeah ok this is pointless. < 1368034447 171948 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :kmc: yes. < 1368034531 18777 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :http://yourkickstartersucks.tumblr.com/post/40901452707 another minimalist wallet < 1368034565 813264 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :http://yourkickstartersucks.tumblr.com/post/40770610878/ just keep coming < 1368034566 194541 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: i will pay you < 1368034577 279054 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : all i want is a computer i can use to do the things i like using computers for without getting incredibly frustrated by it all freezing multiple times a day < 1368034578 469202 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm < 1368034582 788718 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :elliott, what OS? < 1368034594 702383 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :It has been years since I had problems with freezes < 1368034610 383286 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it freezes because i use up all my ram and it starts swapping < 1368034612 441056 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and the disk is relaly slow < 1368034623 426566 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I think I had one kernel panic in the last year, that was a failing swap HDD < 1368034633 955743 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :elliott: do you even have money < 1368034636 444964 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :no, that was two years ago < 1368034642 519812 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :elliott, I suggest getting a LOT of ram then < 1368034659 583498 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :elliott, 16 GB, haven't had any issues, I do use xfce though, so not very memory hungry < 1368034660 702474 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes i have figured out that ram in the double digits would be best for my continued sanity < 1368034664 441216 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: uh a bit < 1368034665 235410 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :and windows is more IO-bound < 1368034670 804946 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :so the disk is the slow bit there < 1368034671 33359 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: i mean i don't really buy things... < 1368034677 110951 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :at least for like 10 minutes after boot < 1368034678 705129 :Bike!~Glossina@67-5-249-37.ptld.qwest.net PRIVMSG #esoteric :you buy kmcs < 1368034688 431684 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't really buy things i don't love < 1368034690 227039 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Long cat 3D. A game built for the meme community… inspired by teh internetz." < 1368034690 412318 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :elliott: what do you do that uses up all your ram? fire multiple eclipse instances at the same time? < 1368034694 321078 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they don't even have any comment on that one < 1368034723 239955 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :boily: chromium appears to be the main culprit < 1368034729 836750 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ghc also doesn't help < 1368034731 527205 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :elliott, you might want to go for 32 GB, I actually managed to swap a couple of weeks ago! I had 150 tabs in chromium open and a minecraft instance that used 4GB. Also was compiling a kernel in the background < 1368034743 725128 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :(cross compiling a kernel) < 1368034753 660736 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :elliott, unless you do stupid stuff like that, 16 GB is fine :P < 1368034777 584568 :Bike_!~Glossina@174-25-46-174.ptld.qwest.net JOIN :#esoteric < 1368034780 55906 :Bike_!~Glossina@174-25-46-174.ptld.qwest.net PRIVMSG #esoteric :speaking of stupid computer problems < 1368034842 934406 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :The World’s First Dubstep MMO < 1368034902 727727 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :“Please give $7500 to Bulk and Skull to cover damages from pies thrown at the wall during the last Power Rangers convention” < 1368034951 408966 :Bike!~Glossina@67-5-249-37.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1368034963 327395 :Bike_!~Glossina@174-25-46-174.ptld.qwest.net NICK :Bike < 1368035019 977125 :Bike!~Glossina@174-25-46-174.ptld.qwest.net PRIVMSG #esoteric :those are some hella pies < 1368035209 541634 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net QUIT :Quit: leaving < 1368035308 57476 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Ever since the 1st smartphone came to the market we all have been waiting for Uppercup™. The first cupholder for the iPhone." < 1368035354 320048 :NihilistDandy!~NihilistD@65-183-140-119-dhcp.burlingtontelecom.net JOIN :#esoteric < 1368035627 576906 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Time Lord Style - A Doctor Who 'Gangnam Style' Parody < 1368035641 811287 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection < 1368035662 575177 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they raised $345 of a $700 goal, I don't know which of those numbers is sadder < 1368035734 15259 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :lol < 1368035876 424598 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1368035997 596558 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh good there's a kickstarter solely for porn now http://offbeatr.com/ (nsfw obviously) < 1368036174 258071 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Yep, a friend of mine is working on this. http://offbeatr.com/project/seduction-quest-25942461211 < 1368036193 11266 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :It wasn't funded. < 1368036197 172742 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :;__; < 1368036201 811646 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :JesseH: I don't think I know you. Are you new? < 1368036209 500382 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I am new. :-) < 1368036294 416829 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I was told by http://esolangs.org/wiki/Esolang:Community_portal that this was the place to go. < 1368036317 1654 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1368036361 968729 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Yeah, this is the place to be < 1368036402 706199 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I recently started working on a esoteric programming language, and thought I'de hang out here. :P < 1368036411 692503 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: "ram in the double digits" like up to a dozen bytes! < 1368036431 635548 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :JesseH: cool, what's it like? < 1368036453 730009 :nooodl!~nooodl@91.177.101.183 QUIT :Ping timeout: 248 seconds < 1368036463 375753 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :This is your basic hello world program. < 1368036463 862603 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :START:ou:hello world:DONE: < 1368036473 746081 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :The interpreter is written in Lua. < 1368036487 544365 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :It does some basic things, working on getting it turing complete. ^_^ < 1368036502 246648 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Turing completeness is not as important as it may seem < 1368036516 643313 :nooodl!~nooodl@91.177.101.183 JOIN :#esoteric < 1368036532 686071 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what does it do differently from other languages? < 1368036539 881595 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :https://github.com/jessehorne/derplang < 1368036551 71668 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :A script MUST be on one line < 1368036565 48657 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I am still working on the unique part. < 1368036572 884826 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :It handles things differently I can tell you that. < 1368036588 666197 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :"17: amazingly another prime number" < 1368036601 50228 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection < 1368036603 244872 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :https://github.com/jessehorne/derplang/blob/master/examples/test.derp < 1368036619 352072 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :watch out python...derplang is coming! < 1368036623 347209 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric ::P < 1368036700 977418 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :That's a pretty cool esolang < 1368036719 670099 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Pretty easy to implement too. < 1368036737 853586 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :A little bit harder to write... < 1368036738 258604 :tromp!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :JesseH: how do you output the string ":DONE:" ? < 1368036755 560349 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :You can't :P < 1368036766 191789 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :DONE: means end of code < 1368036796 29605 :tromp!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :so does exit(0) in C, but it can still print it:) < 1368036807 749654 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :This isn't C XD < 1368036832 770257 :tromp!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :you can just print it in two parts, right? < 1368036838 586204 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I don't use "'s to show the interpreter what is a string and what isnt < 1368036852 685725 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :actually what you could do is do this < 1368036858 635965 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :START:ou:DONE :DONE: < 1368036863 20875 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :That will print DONE < 1368036880 252905 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :With one added space at the end...it makes a difference. ^_^ < 1368036920 656926 :tromp!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :must all programs start witrh START: ? < 1368036924 635128 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Yes < 1368036946 6485 :tromp!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :can you have more STARTs? < 1368036952 355370 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Now, I could take it out, and make it not matter very easily....but why would I do that? < 1368036961 848189 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Actually wait < 1368036963 829234 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I was wrong < 1368036970 163164 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :You can do < 1368036973 302398 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :ou:DONE: < 1368036983 125761 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I forgot how I implemented it! Such bad memory < 1368036995 230125 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Since yesterday I've rewritten around 10 times :P < 1368037017 828434 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :It checks the 1st, and last statement < 1368037023 597702 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :the 1st statement MUST be start < 1368037028 70209 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :and the last MUST be DONE < 1368037041 292076 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :If not, it spits a DERP error to you < 1368037058 570477 :tromp!~tromp@rtc35-148.rentec.com PRIVMSG #esoteric :we wouldnt want that < 1368037083 540531 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :So yeah, if you wanted to get some input, and print it out 5 times heres what the script would look like < 1368037102 819365 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :START:ou:What is your name?:ip:x:fo:1:5:ou:x:DONE: < 1368037113 759541 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I think...let me run that in my interpreter to check. < 1368037150 981321 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Yep that syntax is correct < 1368037232 91055 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 JOIN :#esoteric < 1368037338 570733 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :`addquote Is there a debian package for making lousy debian forks < 1368037342 787161 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1034) Is there a debian package for making lousy debian forks < 1368037384 527911 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Taneb, thanks btw ^_^ < 1368037716 648860 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric : "Tabuntu" or "Tanebuntu". <-- i think this requires Taneb to be a swahili noun prefix hth < 1368037743 823624 :ocojocaru!~Azzido-da@82.137.12.84 JOIN :#esoteric < 1368037835 246228 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric : remember, software with the features I want is "pragmatic", software with the features you want is "bloated" <-- what about software with the features he/she wants? < 1368037861 967730 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :depends on whether he/she is kmc or not? < 1368037906 558998 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :but I guess you were making a joke or something < 1368037927 633556 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :olsner: clearly kmc is "I" in this case hth < 1368037959 53946 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :i was just wondering about the full person inflection of this adjective hth < 1368037960 193606 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :oerjan: bug-ridden < 1368037961 875116 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :but when I say I I usually mean me < 1368037987 623935 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :olsner: but i wasn't quoting you < 1368038036 785757 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :ah, ok, I probably can't help you then < 1368038081 88530 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Yeah, software with the features he wants is bug-ridden < 1368038120 362327 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric : (a literal human arm to go with the retina) <-- it suddenly occurs to me that to be literally literal you have to be made of letters < 1368038254 803114 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :literally made of letters??? < 1368038284 724864 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric : elliott: have you considered taking up something easier like gradening or bomb defusal. <-- plz explain what "gradening" is thx < 1368038318 592169 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :mnoqy: yep < 1368038327 423731 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oerjan: probably a typo for gardening, hth < 1368038348 922238 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :olsner: i considered that possibility and found it implausibly boring hth < 1368038351 436276 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :"literal" is literally a literal < 1368038359 173914 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :It's the process of turning something into a grade < 1368038489 318036 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :Jafet: only if it's properly quoted. "\"literal\"" is literally a literal. < 1368038549 225044 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :is literally preceded by its quotation < 1368038561 654111 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric : maybe I should just figure out how to make a lot of money and give up on caring about things and buy a macbook, except every time i have said "i can't care about computers any more" and bought a mac it's turned out that programming on them is a net more hellish experience than dealing with other things < 1368038600 657839 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :<-- i suspect the computers made for people that don't want to care about computers are eerily unconcerned with making programming easy hth < 1368038620 398512 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :but then, how do they program software for them in the first place? < 1368038629 26692 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :by cross-compiling from linux of course < 1368038748 929240 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric : here in the Real World you'll get baselessly compared to hitler and there's nothing you can do about it without violating my free speech <-- i'm sure you can use other methods, although hitler used all of them hth < 1368038804 53412 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :oerjan is very hambiguital today. < 1368038827 286076 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :`? hambiguital < 1368038833 482397 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :hambiguital? ¯\(°_o)/¯ < 1368038854 349823 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :`? hth < 1368038863 411530 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :hth here there be hambiguity < 1368038891 136248 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :DID ANYONE ORDER A BIG HAM? < 1368038906 962783 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Yeah, 6 of them < 1368038917 52830 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :JesseH: btw did you get asked the questions < 1368038927 537279 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :The questions are important < 1368038932 127914 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :What questions O.o < 1368038941 225161 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Firstly! Do you live in Hexham? < 1368038957 270888 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Sounds like a fun place to live < 1368038972 952188 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :but no < 1368038977 415925 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Okay! < 1368038981 739011 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :How about Finland? < 1368038985 665073 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I do not. < 1368038990 906946 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Okay! < 1368038993 561264 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :That is all < 1368038996 442008 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Thanks < 1368038998 107547 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :^_^ < 1368039011 614885 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :i am sure there was a third question last time i saw it came up < 1368039012 796912 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :uhm, what about his/her/its/hir geographical coordinates? < 1368039044 54155 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :ah yes, for the #esoteric center of mass project < 1368039062 104918 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :that also requires eir weight hth < 1368039073 407176 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :How do I get my coords? < 1368039075 739866 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :(or mass) < 1368039093 817106 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :JesseH: i'm sure google maps can give them somehow < 1368039100 111461 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Oh right < 1368039113 345799 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I live in Murica if that matters. < 1368039120 663342 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :oerjan: it does, but I'm trying to subtly introduce the question for later. < 1368039126 618855 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :ah. < 1368039144 119078 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :boily: what's the average so far? < 1368039147 319056 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :`? the us < 1368039149 28537 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :The US is the country opposed to the THEM. < 1368039156 326907 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :O.o < 1368039159 548559 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :I'm guessing north-east atlantic < 1368039170 824230 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :More like, Georgia. < 1368039189 762493 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Hang on < 1368039195 26923 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :<_> #esoteric lurkers be creapin < 1368039197 164924 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :Taneb: haven't compiled all the results yet (not enough datapoints), but my gut guesstimateeling is somewhere in northern atlantic. < 1368039197 764118 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Didn't kallisti live in Georgia < 1368039207 647591 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :JesseH: thanks! and subtly your body weigh? < 1368039212 843995 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Taneb, probably no < 1368039215 771855 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :well someone here was from georgia < 1368039218 437039 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :boily, 135 < 1368039224 821489 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :No one here is from georgia XD < 1368039229 693665 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :possibly kallisti < 1368039241 820755 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I would be surprised. < 1368039242 30761 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :JesseH: do you know anyone called Adam Curtis < 1368039244 471206 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :JesseH: ah, good, someone else that works with good ol' regular orthodox pounds. < 1368039258 738072 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :JesseH: you _could_ be right since kallisti isn't present < 1368039262 80247 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Taneb, sounds familiar O.o < 1368039267 219140 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Small world < 1368039284 611084 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :well, unless he changed nick again without me noting < 1368039291 654533 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :How about (and now I list all the people I know who live in Georgia): < 1368039300 335543 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :lol < 1368039301 55043 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Edil Ostolaza? < 1368039342 63801 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Atlanta is the city where "it's happeneing". < 1368039348 202904 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I don't live there either. :c < 1368039355 676224 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Hmm < 1368039385 90475 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :The people I know in Georgia are either in the Savannah area (I think? is that an area?) or Commerce/Athens < 1368039398 914875 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :The good neighborhoods >_> < 1368039430 823062 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :`frink 135 pounds -> kg < 1368039431 124075 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Don't know anyone in Tbilisi, though < 1368039439 727395 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1224699399/20000000 (exactly 61.23496995) < 1368039450 653308 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :`frink 9 stone -> lb < 1368039461 122866 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :126 < 1368039472 881752 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :`frink 130 -> kg < 1368039482 82754 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ Conformance error \ Left side is: 130 (dimensionless) \ Right side is: 1 kg (mass) \ Suggestion: multiply left side by mass \ \ For help, type: units[mass] \ to list known units with these dimensions. < 1368039487 939719 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :`frink 130 lb -> kg < 1368039496 897051 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :589670081/10000000 (exactly 58.9670081) < 1368039509 114489 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :So um < 1368039512 110955 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Enough of that < 1368039530 288718 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Cool esolang talk goes on here? < 1368039535 405586 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Ha < 1368039535 784087 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I haven't heard any ;D < 1368039536 434370 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Hahaha < 1368039540 131010 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Hahahahahahahahaha < 1368039542 981184 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Yeah, sometimes < 1368039545 36666 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Occasionally < 1368039553 185221 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :fsvo cool, esolang, talk < 1368039562 949955 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Taneb, good idea for a language! < 1368039564 943671 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :ha < 1368039565 927960 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`quote on-topic < 1368039566 750076 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :haha < 1368039567 698116 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :417) Non sequitur is my forte On-topic discussion is my piano Bowls of sugary breakfast cereal is my mezzoforte Full fat milk is my pianissimo On which note, I'm hungry \ 844) FireFly: oh, did you see ion's police reindeer? that was ... at least as on-topic as this discussion < 1368039567 883154 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :hahaha < 1368039589 406717 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :JesseH, yeah, look at the topic bar < 1368039594 437489 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :/topic < 1368039597 517328 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1368039619 891524 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :for slight on topicness, i've been vaguely wondering if MemFractal is turing complete < 1368039648 264498 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :I don't see why not. everything today and its toaster is TC. < 1368039675 787615 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Strange....my toaster is only toaster complete >_> < 1368039686 57095 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :My toaster is linear-bounded < 1368039686 935500 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :*f < 1368039859 714499 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :boily: i am pretty sure a variant of MemFractal that had a bit more exits/entrances to the program would be TC, but i am not sure if 4 are enough to work with. < 1368039904 758362 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :my other toaster is a hypercomputer < 1368039946 824871 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i only have one toaster and it's half broken and the other half is pretty broken too and it makes bad smells so i don't like it < 1368040010 192480 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric : Don't know anyone in Tbilisi, though <-- * oerjan suddenly gets that. and wonders if there's a tbilisi in georgia, usa. < 1368040040 588745 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :თბილისი < 1368040048 181876 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Tbilisi" doesn't have a disambiguation page < 1368040081 596472 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hm < 1368040091 809623 :ocojocaru!~Azzido-da@82.137.12.84 QUIT : < 1368040126 372168 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I assume JesseH has been properly `welcome'd? < 1368040162 617895 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :...those are not meant to look like matching quotes < 1368040196 366010 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :extra welcoming can't hurt, I suppose < 1368040201 589205 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`relcome JesseH < 1368040208 132405 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​14JesseH: Welcome to07 02the06 inte12r08nat14ional hub for esoteri04c 14pr13ogramming language design and deployment! For more03 informatio07n06, ch10eck ou03t o03ur wik04i: http://eso13langs.org/wiki/06Main_Page13. (For the other 14kind of eso06teri05ca, try #eso06t12eric on irc.d05al.n05et.) < 1368040230 334235 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :`wElCoMe FireFly < 1368040231 504511 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wElCoMe: not found < 1368040242 562222 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :`WeLcOmE FireFly < 1368040244 884166 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :FiReFlY: wElCoMe tO ThE InTeRnAtIoNaL HuB FoR EsOtErIc pRoGrAmMiNg lAnGuAgE DeSiGn aNd dEpLoYmEnT! fOr mOrE InFoRmAtIoN, cHeCk oUt oUr wIkI: hTtP://EsOlAnGs.oRg/wIkI/MaIn_pAgE. (FoR ThE OtHeR KiNd oF EsOtErIcA, tRy #EsOtErIc oN IrC.DaL.NeT.) < 1368040325 590232 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :tHaNkS tAnEb < 1368040410 889662 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`ls bin < 1368040413 275270 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​! \ ? \ @ \ ＷＥＬＣＯＭＥ \ addquote \ allquotes \ anonlog \ aseen \ botsnack \ bseen \ calc \ CaT \ define \ delquote \ e \ emmental \ emoclew \ emptylist \ etymology \ forget \ fortune \ frink \ fueue \ gaseen \ gccrun \ google \ h \ ?h \ h! \ hatesgeo \ hello \ ?hh \ hyfinate \ hyphenate.fi \ instalist \ interp \ it \ joustreport \ jo < 1368040447 565645 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hey, I didn't know about `emoclew < 1368040462 159959 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :`ls bin/[j-z]* < 1368040465 537638 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :ls: cannot access bin/[j-z]*: No such file or directory < 1368040465 988465 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I always read that as -claw < 1368040539 609489 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`run ls bin/[j-z]* < 1368040541 351828 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :bin/joustreport \ bin/jousturl \ bin/js \ bin/json \ bin/karma \ bin/karma- \ bin/karma+ \ bin/learn \ bin/list \ bin/listen \ bin/log \ bin/logurl \ bin/lowercase \ bin/ls \ bin/lua \ bin/luac \ bin/luarocks \ bin/luarocks-admin \ bin/macro \ bin/makelist \ bin/makequine \ bin/maketext \ bin/marco \ bin/mlist \ bin/mov \ bin/No \ bin/nooodl: \ bin < 1368040556 773254 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :thank god for bin/nooodl: < 1368040565 333916 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`nooodl: hi < 1368040567 120589 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :hi < 1368040578 991943 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`nooodl: nooodl < 1368040580 159117 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :nooodl < 1368040591 983987 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :seems quite useful < 1368040601 549658 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Useful if you're after botcycles < 1368040614 957043 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :it was exactly that FireFly < 1368040635 472854 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`marco < 1368040638 747636 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :polo < 1368040644 973910 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :`luarocks < 1368040651 40124 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ \ LuaRocks 2.0.12, a module deployment system for Lua \ \ NAME \ luarocks - LuaRocks main command-line interface \ \ SYNOPSIS \ luarocks [--from= | --only-from=] [--to=] [VAR=VALUE]... [] \ \ GENERAL OPTIONS \ These apply to all commands, as appropriate: \ \ --server= Fetch rocks/r < 1368040652 465612 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`cat bin/marco < 1368040653 631466 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​#!/bin/sh \ echo polo < 1368040664 901443 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :nice lua < 1368040700 666901 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1368040707 539142 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`luarocks a < 1368040711 857169 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ \ Error: Unknown command: a < 1368040855 598037 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :FireFly, thanks ;D < 1368040936 57122 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :dal net? < 1368040939 532875 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Might try it out < 1368040978 633352 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :If you're into "the other kind" of esoterica.. < 1368040981 52303 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :dhalnet < 1368041023 769152 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :^_^ < 1368041052 135029 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :So um, no convos are going on so... < 1368041060 237613 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :☺ < 1368041070 134644 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Anyone wanna discuss my language, help me decide what to implement next/in the future? < 1368041104 368263 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :For those who missed... (github.com/jessehorne/derplang) < 1368041119 861845 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Fork and or star it pl0x :-) < 1368041161 889798 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :JesseH: make a wiki article! < 1368041168 922651 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I just might! < 1368041186 524848 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Some of the design will change though so I'm afraid to go into much detail. < 1368041224 532653 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :wiki articles are very important. they fend off spam and slightly embetter the SNR. < 1368041287 242223 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi kmc < 1368041298 289794 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My sleep is messed up even on this coast. :-( < 1368041308 792175 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Taneb, where is this wiki so I can make an article < 1368041321 655399 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :...you got here from the community portal on the wiki < 1368041330 774915 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Just checking ^_^ < 1368041335 608173 :MindlessDrone!~MindlessD@141.70.114.64 QUIT :Quit: MindlessDrone < 1368041438 568085 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :What am I supposed to put here? http://esolangs.org/wiki/User_talk:JesseH < 1368041456 994705 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :JesseH: nothing < 1368041465 403340 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :ah okay < 1368041474 19097 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :My dad's entering a badminton tournament... in Helsinki < 1368041499 898410 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :Taneb: this may upset the balance of the universe < 1368041500 83508 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :uh oh < 1368041504 717624 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I don't know where to put my article ;_; < 1368041519 151359 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :http://esolangs.org/wiki/Derplang < 1368041555 327037 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :oerjan: I'm not allowed to go with him because it's to do with airlines < 1368041555 888299 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :ahh < 1368041556 715656 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :okay < 1368041575 743610 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :um...no < 1368041579 849732 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :That's "Derplang" < 1368041585 649070 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :My language is called "derplang" < 1368041588 643359 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :Taneb: i mean hexhammers and helsinkists meeting in general. < 1368041603 587724 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :oerjan: luckily, my dad is an Aussie < 1368041624 556103 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 PRIVMSG #esoteric :JesseH: you need to put a {{lowercase}} template on top of the article. < 1368041631 203885 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :what if helsinki and hexham are the same city but they just don't realize it? < 1368041644 661800 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :btw, that reminds me that I haven't seen nortti in a while. < 1368041655 456601 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :olsner: that would change the geography of Europe quite significantly < 1368041668 865968 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :boily: that is because I'm invisible < 1368041686 155489 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Taneb: not necessarily, there may be wormholes or something like that involved < 1368041695 776591 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :nortti: I'll continue not seeing you, then. < 1368041708 426438 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :or maybe hexhinki just exists in two places < 1368041708 611532 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :okay oerjan < 1368041712 960717 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :boily: nortti: I hope you two can remain friends < 1368041724 838996 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :europe still has geography? I thought your mines became depleted some decades ago. < 1368041741 594235 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :boily: they were closed for political reasons in the 80's < 1368041743 727439 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :Taneb: we can. he's invisible, I do not exist. there are many common points in that. < 1368041805 745154 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :how can a person talk on irc is they do not exist? < 1368041827 129341 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :nortti: at least three people on this channel manage it < 1368041831 754202 :oerjan!5bba487a@gateway/web/freenode/ip.91.186.72.122 QUIT :Quit: nortti: Darn you got me < 1368041839 734612 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric ::D < 1368041930 469912 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :JesseH: why's it called derplang? < 1368041937 674705 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :because...derp < 1368041950 59064 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :pronounced "derpling" < 1368041951 970855 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :is it derp-lang or der-plang? < 1368041967 36278 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :derp-lang < 1368041982 712636 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Inspired by the derpitines of ancient rome < 1368041989 191399 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :or whatever < 1368042062 163132 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :`? boily < 1368042065 161026 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :boily is Canadian or something. We are not sure about Canada's existence. < 1368042070 22096 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what's unique about this derplang of yours? < 1368042070 496286 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: which coast < 1368042076 176556 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :ah, my status's preserved. < 1368042097 364539 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`? nortti < 1368042100 175632 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :nortti boy. very nortti boy. < 1368042179 812 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :oh man, < 1368042179 798607 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :`? nooodl < 1368042184 646039 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :nooodl? ¯\(°_o)/¯ < 1368042200 68961 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :imo shachaf/mnoqy should write this entry < 1368042242 578622 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`run echo nooooodl? ¯\(°_o)/¯ > wisdom/nooodl < 1368042249 782319 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :bash: -c: line 0: syntax error near unexpected token `)' \ bash: -c: line 0: `echo nooooodl? ¯\(°_o)/¯ > wisdom/nooodl' < 1368042252 375185 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :wooops! < 1368042258 13584 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :tahnks bash < 1368042258 904562 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`run echo 'nooooodl? ¯\(°_o)/¯' > wisdom/nooodl < 1368042262 885 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :tahsh < 1368042289 15406 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1368042289 829979 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Will the Contents thingy show up automatically? < 1368042296 41828 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :`? nooodl < 1368042297 645304 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :(of the wiki) < 1368042301 120450 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :nooooodl? ¯\(°_o)/¯ < 1368042314 980644 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :nice < 1368042331 283090 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :JesseH: contents is either javascript and or php and or stuff going on in the background, usually. < 1368042340 646773 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :O.o < 1368042384 32867 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :(sometimes it tries to invoke some grotesque ritual and reach through your screen from some eldritch portal, but this is easily dispelled by hitting Ctrl-Alt-Del with you hands behind your back.) < 1368042399 908967 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :(void in Nevada) < 1368042424 185943 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Someone needs to create a language, that is used for creating other languages. < 1368042440 554960 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :english? < 1368042450 65595 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :> create language called mixANDfix < 1368042453 723301 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric : Not in scope: `create'Not in scope: `language'Not in scope: `called' < 1368042453 908734 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric : Perha... < 1368042456 49603 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :>> language created < 1368042457 212748 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :lol < 1368042482 785213 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :It will make up random syntax and what not. < 1368042486 294994 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`? JesseH < 1368042488 236576 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :JesseH? ¯\(°_o)/¯ < 1368042499 766143 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :`?`? < 1368042501 814 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?`?: not found < 1368042516 508926 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`? `? < 1368042518 600184 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :See `? for further details. < 1368042526 39930 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :`? nortti < 1368042527 840230 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :nortti boy. very nortti boy. < 1368042530 225175 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :`? for < 1368042530 721473 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :D: < 1368042533 89705 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :for? ¯\(°_o)/¯ < 1368042538 441713 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`? < 1368042539 914615 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​? ¯\(°_o)/¯ < 1368042540 721221 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :`? for further details < 1368042551 359230 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :for further details? ¯\(°_o)/¯ < 1368042552 806914 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`? for further details. < 1368042556 115816 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :for further details.? ¯\(°_o)/¯ < 1368042581 569415 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :`run echo "who knows" > wisdom/for\ further\ details < 1368042609 837785 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1368042647 407031 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`run echo "See '? for further details for futher details." > wisdom/for\ further\ details. < 1368042650 549031 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1368042653 570579 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`run echo "See `? for further details for futher details." > wisdom/for\ further\ details. < 1368042660 72549 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :bash: -c: line 0: unexpected EOF while looking for matching ``' \ bash: -c: line 1: syntax error: unexpected end of file < 1368042677 592165 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`run echo 'See `? for further details for futher details.' > wisdom/for\ further\ details. < 1368042682 737654 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1368042829 696622 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`run echo 'See `? for further details for futher details.' > wisdom/for\ further\ details\ for\ futher\ details. < 1368042834 10149 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1368042866 959803 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :I think I unleashed a Finn onto the channel... < 1368042870 150895 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`? for further details < 1368042871 744088 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :who knows < 1368042875 466124 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1368042889 14936 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`? for further details for further details < 1368042890 711214 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :for further details for further details? ¯\(°_o)/¯ < 1368042896 345437 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`? for further details for futher details < 1368042898 837337 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :for further details for futher details? ¯\(°_o)/¯ < 1368042903 611863 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :dot. < 1368042911 19862 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`? for further details for futher details. < 1368042915 327060 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :See `? for further details for futher details. < 1368042940 565375 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`! for further details. < 1368042942 846146 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :SEE `! FOR FURTHER DETAILS FOR FUTHER DETAILS! < 1368042980 331590 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`! FOR FURTHER DETAILS FOR FUTHER DETAILS! < 1368042983 57314 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :FOR FURTHER DETAILS FOR FUTHER DETAILS!! ¯\(°_O)/¯! < 1368042992 320324 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :that is some aggressive command. < 1368043001 95794 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`! boily < 1368043003 146030 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :BOILY IS CANADIAN OR SOMETHING! WE ARE NOT SURE ABOUT CANADA'S EXISTENCE! < 1368043004 724369 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`which ! < 1368043006 195288 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​/hackenv/bin/! < 1368043014 213560 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`cat /hackenv/bin/! < 1368043015 371950 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​#!/bin/sh \ \? "$@" | perl -C7 -pe '$_ = uc' | sed -e s/[.?]/!/g -e 's/!\?$/!/' < 1368043017 483522 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :it's the shouty `? < 1368043104 86262 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`! `! < 1368043106 58058 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​`!! ¯\(°_O)/¯! < 1368043117 254282 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Perfect. < 1368043157 603108 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :now we only need `¿ < 1368043186 882611 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :nortti: does it substitutes chars with similar looking but 180° rotated unicode glyphs? < 1368043198 859463 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :yes < 1368043210 934627 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :ooooh :D < 1368043229 396263 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :anyone know a perl function for that? < 1368043277 93503 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :nortti: there is https://en.wikipedia.org/wiki/Transformation_of_text as a starting point. < 1368043335 600965 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: east < 1368043341 53658 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1368043351 147546 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :...is there really a wikipedia article for that? < 1368043368 165716 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :yes, of course < 1368043370 821192 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tomorrow i will go on the BUUUUUUUUUUS < 1368043372 344106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1368043383 720066 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :why not the traaaain? < 1368043419 828753 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :um < 1368043423 538127 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i didn't plan this hth < 1368043762 473863 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`run echo 'abcba' | tr 'abc' 'ɐq ɔ' < 1368043765 370032 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ɐq�� < 1368043794 972861 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :`run echo 'abcba' | tr 'abc' 'ɐqɔ' < 1368043796 706252 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ɐq�� < 1368043807 4849 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :it seems I have managed to fuck up my curses yet again < 1368043819 75996 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :`run echo 'abcba' | tr 'abc' 'def' < 1368043820 538044 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :defed < 1368043837 812265 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :`run echo 'abcba' | tr 'abc' '\3000\3001\3002' < 1368043839 774452 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​�0�0� < 1368043861 564171 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :
ACTION kicks HackEgo in the utf8 bits
< 1368043931 804995 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :`run echo 'abcdefg' | tr 'abcde' 'ɐqɔ' < 1368043933 508359 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ɐqɔfg < 1368043935 289462 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :nortti: that curse came out alright though < 1368044364 456659 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :http://esolangs.org/wiki/Derplang < 1368044369 249161 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Tell me what you guys think ;D < 1368044506 526346 :oklopol!~oklopol@dyn60-339.yok.fi JOIN :#esoteric < 1368044531 150990 :Zerker!~zerker@2602:306:bd53:9ef0:55eb:1bae:21a5:bb00 JOIN :#esoteric < 1368044542 101052 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :JesseH: are numbers and strings automatically coerced to eachother < 1368044580 446517 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :With co? < 1368044605 501412 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Yep < 1368044616 656329 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :And with the arithmetic? < 1368044624 661107 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :huh? < 1368044628 310412 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Explain your questions ;D < 1368044630 723029 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Like, if I said ad:z:x:y but x and y were strings < 1368044642 940520 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :JesseH: you should add a section on what's unique about your language < 1368044663 162704 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Taneb, if they are strings it won't work and will spit a lua error at you probably < 1368044688 406057 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Yep that won't work < 1368044725 299914 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :mnoqy, I will eventually. ^_^ < 1368044742 487869 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1368044743 113677 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I am considering taking out the START and DONE things... < 1368044749 354492 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :JesseH: would you consider an implementation inaccurate if it detected that at compile-time and didn't compile because of ti < 1368044776 887355 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I don't understand < 1368044805 572649 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :JesseH = simpleton < 1368044917 574764 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :basically if the compiler noticed "hey, this instruction says ad:z:x:y, but x and y aren't both declared as strings!" before even compiling the code < 1368045011 109930 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :JesseH: it's bad because you haven't categorized it < 1368045013 341230 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :JesseH: does 'fo' only work with single-argument commands? < 1368045016 691426 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: How do you talk about rank-n types etc. in Haskell "categorically"? hth < 1368045033 86629 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :shachaf: nice hth < 1368045053 165661 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :hth is starting to transcend meaning. its just letters < 1368045070 469410 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :All three of its letters are just. < 1368045091 697512 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :> map Just "hth" < 1368045092 297795 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: hm < 1368045094 846387 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric : [Just 'h',Just 't',Just 'h'] < 1368045101 212038 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :aah < 1368045132 551970 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :> map Just "hth" ^.. folded._Just < 1368045136 405435 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric : "hth" < 1368045142 707062 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :nooodl, then that would throw a lua error at you < 1368045146 600367 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :what are rank-n types? I tried to follow a blog article about them, but I got lost, confused, dazzled, and other similar status effects. < 1368045152 771990 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :lens is scary... < 1368045174 428674 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :nooodl, yes for now, its all single argument. Must be a number. Basically it says "execute" the command with one argument x number of times. < 1368045181 399743 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :nooodl: that's just an alternate way to express catMaybes < 1368045185 269930 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :boily: they're just types with foralls in the wrong places < 1368045194 162271 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :AnotherTest, I see a contents thing is that what you mean? < 1368045205 493109 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :olsner: that I saw, and it gave me a queasy feeling. < 1368045208 149031 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Oh wait no I see AnotherTest < 1368045208 504700 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :> [(1,2),(3,4),(5,6)] ^.. folded._1 < 1368045211 660069 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric : [1,3,5] < 1368045221 504986 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :> let qqq id' = (id' 5, id' "hi") in qqq id < 1368045224 461646 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric : No instance for (GHC.Num.Num [GHC.Types.Char]) < 1368045224 646736 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric : arising from the literal ... < 1368045229 357488 :Zerker!~zerker@2602:306:bd53:9ef0:55eb:1bae:21a5:bb00 QUIT :Quit: Colloquy for iPad - Timeout (10 minutes) < 1368045230 934260 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"lambdabot sucks" < 1368045238 623197 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :mnoqy: my bot sucks more. < 1368045239 799992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: ??????? that's haskell < 1368045251 108422 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :So because it was apparently IMPOSSIBLE to categorize the article I have done the IMPOSSIBLE and made it POSSIBLE < 1368045258 849526 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :rank 2 tyles "impossible" < 1368045262 361560 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: GHC isn't about to infer a rank-2 type for you. < 1368045269 974219 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :> let qqq id' = (id' 5, id' "hi"); qqq :: (forall a. a -> a) -> b -> b in qqq id < 1368045272 489133 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric : Couldn't match expected type `b -> b' with actual type `(t0, t1)' < 1368045278 871234 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :> let qqq id' = (id' 5, id' "hi"); qqq :: (forall a. a -> a) -> (Int, String) in qqq id < 1368045283 229328 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric : (5,"hi") < 1368045288 380410 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection < 1368045306 93564 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :oh dang I am confused on categorizing! < 1368045307 776632 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: well maybe ghc sucks!!! < 1368045332 315510 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :> map (2 *) [1, 2, 3] < 1368045335 224822 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric : [2,4,6] < 1368045341 51244 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :so my haskell is really bad < 1368045349 740815 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :AnotherTest, What do you mean you havent categorized? < 1368045358 944720 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :I have? < 1368045368 877315 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: well maybe it's punishment for inventing bell peppers hth < 1368045372 128519 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric : JesseH: it's bad because you haven't categorized it < 1368045384 913844 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Now it's categorized < 1368045402 664706 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :I did it because (10:34:10 PM) AnotherTest: So because it was apparently IMPOSSIBLE to categorize the article I have done the IMPOSSIBLE and made it POSSIBLE < 1368045439 552704 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :> (0, 1) + (2, 3) < 1368045443 243760 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric : (2,4) < 1368045448 757852 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :oh so you can add tuples < 1368045469 217224 :nooodl!~nooodl@91.177.101.183 PRIVMSG #esoteric :not in regular people haskell < 1368045505 757717 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Oh right < 1368045506 726525 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :pointwise instances is a "caleskell thing" < 1368045524 864028 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :nooodl: are you sure there are regular people doing haskell :p? < 1368045531 605095 :boily!~boily@207.34.230.30 PRIVMSG #esoteric ::i (,) < 1368045537 712872 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :AnotherTest: great joke????? :☺) < 1368045547 252285 :boily!~boily@207.34.230.30 PRIVMSG #esoteric ::t (,) < 1368045550 864685 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :mnoqy: quite serious < 1368045551 79985 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :a -> b -> (a, b) < 1368045568 519473 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :AnotherTest: the Haskell is regular, the people doing it are epi-regular. < 1368045570 71852 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"haskell people sure are WEIRD and SPECIAL" - ??????do people really think this???????why < 1368045573 301894 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1368045614 963319 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :mnoqy: because, suppose I said "hey, what do you think about Haskell?" to a random person I found on the street < 1368045627 364919 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :They'd probably be like "What? Haskell? That's weird!" < 1368045652 784622 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :So they surely thing it's very WEIRD and SPECIAL < 1368045657 642576 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :*think < 1368045666 943916 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :or they might not care, probably < 1368045697 363304 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and what about that makes haskell people weird or special < 1368045733 6911 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :weird or special is not an objective property < 1368045757 426561 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :in their opinion, it is is weird because it is not typical < 1368045763 33698 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :because it is not like thme < 1368045820 27344 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: 2 3 5 7 11 13 ... 521 523 < 1368045828 666888 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :bye < 1368045854 639249 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :mnoqye. < 1368046403 184148 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1368046935 406939 :sebbu!~sebbu@ADijon-152-1-55-206.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1368046966 815696 :sebbu!~sebbu@ADijon-152-1-55-206.w83-194.abo.wanadoo.fr QUIT :Changing host < 1368046967 742 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1368047545 536508 :Taneb!~nathan@host-92-30-163-254.as13285.net PRIVMSG #esoteric :Goodnight, guys < 1368047567 768234 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :'night Taneb < 1368047571 655301 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Tanebnight < 1368047577 132833 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :night Taneb < 1368047582 10840 :Taneb!~nathan@host-92-30-163-254.as13285.net QUIT :Quit: Leaving < 1368048555 132577 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection < 1368048628 267409 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1368048629 402159 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1368049192 636064 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1368049248 257942 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION refreshes his understanding of heap-corruption exploits
< 1368049956 329685 :comex!~comex@ec2-23-22-255-183.compute-1.amazonaws.com NICK :lycomthrope < 1368050039 672282 :lycomthrope!~comex@ec2-23-22-255-183.compute-1.amazonaws.com NICK :comex < 1368050281 482560 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1368050832 184130 :Zuu_!~zuu@unaffiliated/zuu JOIN :#esoteric < 1368051522 5579 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net NICK :NotJesseH < 1368051554 797470 :NotJesseH!~JesseH@ip72-210-71-131.mc.at.cox.net NICK :JesseH < 1368051558 442824 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 245 seconds < 1368051819 507031 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1368052443 14623 :SingingBoyo!~brandon@d154-5-190-48.bchsia.telus.net JOIN :#esoteric < 1368052476 659252 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1368052497 77229 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1368053608 408592 :epicmonkey!~epicmonke@188.134.41.112 QUIT :Read error: Operation timed out < 1368054346 838413 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn QUIT :Ping timeout: 246 seconds < 1368054646 114655 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn JOIN :#esoteric < 1368055476 273130 :Zuu_!~zuu@unaffiliated/zuu PART :#esoteric < 1368055551 938573 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.flickr.com/photos/martindavidsson/96160482/ paul graham keeping it classy < 1368055606 386319 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1368055610 211027 :Bike!~Glossina@174-25-46-174.ptld.qwest.net PRIVMSG #esoteric :whether the people funding you respect you: important to self-esteem < 1368055643 420281 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1368055648 390415 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1368055681 636176 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION contemplates an alternate universe where the domain of a .js file is the domain that the file was served from
< 1368055766 373319 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I think my language is becoming too useful. < 1368055769 5302 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :>_> < 1368055990 79961 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Yep, might just stop development here. It does enough. ^_^ < 1368056314 67222 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :link? < 1368056415 110583 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :http://esolangs.org/wiki/Derplang < 1368056443 786269 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Actually no, once I get a better conditional statement, and some socket library access, ill say it's "done". < 1368056459 527547 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :That way I can start working on my other ideas ^_^ < 1368056593 829474 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :have you implemented this so-callend language < 1368056603 233276 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Scroll down look for the github < 1368056625 956072 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :What would be the point designing a language without implementing? < 1368056627 934354 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric ::P < 1368056801 121001 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :GitHub is 403'ing when I try to push to it :( < 1368056812 837453 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :D: < 1368056873 946708 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Maybe somebody found another mass assignment bug with their roobee on reuls < 1368056935 604768 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I need two domains < 1368056947 17961 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Was thinking dropbox and github, but maybe there's another place I can use? < 1368056987 946488 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I could use Farmingdale I guess < 1368056988 668966 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :Sgeo, bitbucket < 1368057007 590404 :SingingBoyo!~brandon@d154-5-190-48.bchsia.telus.net QUIT :Quit: Leaving < 1368057011 748894 :boily!~boily@207.34.230.30 PRIVMSG #esoteric :Sgeo: don't listen to heretics. stay true to github! < 1368057021 218971 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Why do you need two domains < 1368057044 139534 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :publish your code in a distributed proof of work block chain < 1368057049 356889 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Want to show my boss that something he said would work won't work. < 1368057053 921094 :boily!~boily@207.34.230.30 QUIT :Quit: FOUDE! < 1368057068 714896 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :You know you can map as many domains as you want onto your local server via /etc/hosts < 1368057097 924899 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Too lazy to run a local server < 1368057131 298772 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :I don't think youll die if you don't push for a few minutes < 1368057142 271090 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric ::P < 1368057303 985414 :SingingBoyo!~brandon@d154-5-190-48.bchsia.telus.net JOIN :#esoteric < 1368057524 751466 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ruby on reals < 1368057534 453878 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :lol < 1368057548 17648 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :web framework for FRACTRAN?