< 1383264038 349987 :tswett_!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :contrapumpkin < 1383264045 584774 :tswett_!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Or perhaps just ntrapumpkin < 1383264096 951990 :tswett_!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :oerjan: I think bignums would be easier if you don't use any fyte beginning with 1. You'd just do stuff in base 376 or whatever. < 1383264270 416661 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1383264321 409331 :john_metcalf!~digital_w@87.113.67.177 PRIVMSG #esoteric :Argh! PDFs that are only viewable online :-( No way to download. < 1383264324 416615 :john_metcalf!~digital_w@87.113.67.177 PRIVMSG #esoteric :Here: http://issuu.com/adpware/docs/mc069/MC069.pdf < 1383264362 609850 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383264522 552086 :Taneb!~Taneb@5.151.64.244 QUIT :Read error: Operation timed out < 1383264539 719647 :Taneb!~Taneb@5.151.64.244 JOIN :#esoteric < 1383264571 783333 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 272 seconds < 1383264704 785172 :Taneb!~Taneb@5.151.64.244 PRIVMSG #esoteric :Hmm < 1383264729 763180 :Taneb!~Taneb@5.151.64.244 PRIVMSG #esoteric :I'm not sure how Rel forms a category < 1383264770 370164 :Phantom__Hoover!~phantomho@146.66.56.14 JOIN :#esoteric < 1383264771 610310 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :With relation composition. < 1383264776 839018 :Phantom__Hoover!~phantomho@146.66.56.14 QUIT :Changing host < 1383264776 984344 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1383264808 281916 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 268 seconds < 1383264813 639954 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like how they call the category where the objects are sets and the arrows are relations Rel, but for some reason the category where the objects are sets and the arrows are functions is called Set. < 1383264846 811743 :Taneb!~Taneb@5.151.64.244 PRIVMSG #esoteric :Oooh < 1383264859 723883 :Taneb!~Taneb@5.151.64.244 PRIVMSG #esoteric :shachaf, would you rather they called it Fun? < 1383264868 872156 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :is there any actual reason for category names to be truncated to three characters. < 1383264869 17367 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That name would be more fun. < 1383264889 23595 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Bike, because mathematical notation is traditionally terse? < 1383264889 256895 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :better than the one character the rest of math uses, i guess < 1383264889 976511 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: yes, there's a deep categorical reason but you just don't know enough to understand it < 1383264912 359394 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :aw :( < 1383264969 431465 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i don't either :'( < 1383264974 913459 :Taneb!~Taneb@5.151.64.244 PRIVMSG #esoteric :Also, do any of you have a particularly compelling reason I should not read "Categories, Types and Structures: An Introduction to Category Theory for the Working Computer Scientist" by Andrea Asperti and Giuseppe Longo < 1383265000 452515 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1383265008 800582 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i seriously don't get why people complain about this, mathematical variable names are symbolic shorthands < 1383265013 127362 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :CTaSaItCTftWCS is kind of a shitty initialism? < 1383265029 545286 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :Phantom__Hoover: same reason i complain about one letter variable names in a program? < 1383265051 433907 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: why that book < 1383265057 812115 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :writing out full words makes expressions significantly harder to read < 1383265063 226657 :Taneb!~Taneb@5.151.64.244 PRIVMSG #esoteric :shachaf, because it had a nice blue cover < 1383265071 750044 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Bike, it's almost like they're different fields with different needs or something < 1383265097 80372 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :sounds like you haven't been paying attention to the univalent revoluuuuuution < 1383265261 404301 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i suspect you just made that up < 1383265272 414708 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no some other people made it up < 1383265276 522956 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike is just playing along < 1383265446 790532 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: did you purchase it or something < 1383265484 369460 :Taneb!~Taneb@5.151.64.244 PRIVMSG #esoteric :shachaf, no, I took it out from the library < 1383265485 228405 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION has this extremely vague memory of going to seminars mentioning univalent functions.
< 1383265591 660592 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and quasiconformal mappings. < 1383265601 307452 :Lymia!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1383265945 335825 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 272 seconds < 1383265957 19727 :tswett_!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :It is kind of interesting how variables in math usually have short names and variables in programming usually have long names. < 1383265992 224275 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 268 seconds < 1383265999 477674 :tswett_!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :It's explained by some degree, I think, by the fact that mathematical expressions are almost always embedded in prose, whereas programming statements usually are not. < 1383266111 571838 :tswett_!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :There are exceptions, of course. "(a -> b -> c) -> (a -> b) -> a -> c" is probably easier to read than "(sharedArgumentType -> intermediateResultType -> finalResultType) -> (sharedArgumentType -> intermediateResultType) -> sharedArgumentType -> finalResultType". < 1383266112 37448 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :also when you do math with your hand and a pen you want the variable names to be as short as possible < 1383266137 35330 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and you want "xy" to mean "x times y" or something, not "one identifier named with two letters" < 1383266151 607128 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :whereas when you program you want people to understand what you're doing < 1383266168 593090 :Taneb!~Taneb@5.151.64.244 PRIVMSG #esoteric :
ACTION --> bed
< 1383266171 114550 :Taneb!~Taneb@5.151.64.244 QUIT :Quit: Leaving < 1383266187 635837 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I also think lambda-calculus uses a lot more short variable names than imperative programming < 1383266202 604128 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :which might be a consequence of variables being bounds or free etc. < 1383266218 164686 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that is, you know what a variable stands for because you know where it was defined < 1383266261 91647 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :when you write int(f(x)dx) you don't need anyone to explain to you what x stands for, because it's bound to the integral < 1383266289 821605 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :whereas in imperative programming if your program starts with "int x;" it's kinda hard to know what it is < 1383266350 826280 :nooodl!~nooodl@3.168-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :nice "int" pun < 1383266362 964184 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :UNINTENDED < 1383266491 209575 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :UNINDENTED < 1383266519 666313 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :balls < 1383266528 59259 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :NINTENDUD < 1383266544 64008 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh no, dropped an E. < 1383266898 954340 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1383267083 19089 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, short arbitrary names are good when they are so general that nothing concrete can apply < 1383267105 697435 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and a lot of the intro Haskell stuff is like that < 1383267110 890219 :tswett_!6b0598fd@gateway/web/freenode/ip.107.5.152.253 QUIT :Quit: Page closed < 1383267128 381113 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :which probably sets up an unreasonable bias towards short names < 1383267200 375017 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1383267921 841199 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe QUIT :Quit: ChatZilla 0.9.90.1 [Firefox 24.0/20130910160258] < 1383269741 789499 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 265 seconds < 1383270061 753864 :augur!~augur@c-69-250-18-196.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1383270097 755183 :augur!~augur@c-69-250-18-196.hsd1.md.comcast.net JOIN :#esoteric < 1383270134 816031 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1383270385 799266 :augur!~augur@c-69-250-18-196.hsd1.md.comcast.net QUIT :Ping timeout: 272 seconds < 1383270665 138144 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1383271694 340484 :^v!~DerpHerp@2601:4:4500:887:a143:da81:44df:c8cd JOIN :#esoteric < 1383271857 776934 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION suddenly wants to try Microsoft Bob
< 1383271893 662784 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think I used software that used a Bob-like interface < 1383271898 557213 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Greeting Workshop < 1383271900 17982 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I miss it < 1383271938 553376 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://www.danielsays.com/daniel-says-images/dlcc/microsoft-bob/bob-lives/bob-in-ms-greetings-workshop-10.gif < 1383271942 214472 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://www.danielsays.com/ms-bob-16-bob-lives.html < 1383272026 988825 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1383272092 147598 :^v!~DerpHerp@2601:4:4500:887:a143:da81:44df:c8cd QUIT :Read error: Connection reset by peer < 1383272116 325662 :^v!~DerpHerp@2601:4:4500:887:a143:da81:44df:c8cd JOIN :#esoteric < 1383272300 744487 :augur!~augur@c-69-250-18-196.hsd1.md.comcast.net JOIN :#esoteric < 1383272490 601459 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I used Bob!!! < 1383272491 705291 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :bitd < 1383272676 454545 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :we had... hm, not Microsoft Plus!, but some other thing < 1383272732 451533 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i guess it was just one of the things you get with a Gateway 2000 computer < 1383272740 553603 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I also borrowed a bunch of these from the library: http://en.wikipedia.org/wiki/List_of_video_games_from_The_Magic_School_Bus < 1383273406 352752 :FreeFull_!~freefull@defocus/sausage-lover JOIN :#esoteric < 1383273532 316915 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 264 seconds < 1383273999 438474 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 246 seconds < 1383274480 430882 :Uguubee111119!~uguubee@101.166.145.209 QUIT :Quit: Uguubee111119 < 1383274786 305510 :Uguubee111119!~uguubee@101.166.145.209 JOIN :#esoteric < 1383276560 221896 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: oh yeah those animated characters were built into the operating system and there was an API for them < 1383276566 819643 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I used them a bit from Visual Basic < 1383276611 517109 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`addquote Sgeo: oh yeah those animated characters were built into the operating system and there was an API for them < 1383276615 538342 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1125) Sgeo: oh yeah those animated characters were built into the operating system and there was an API for them < 1383276618 795700 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is so Windows it hurts < 1383276635 652428 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Microsoft Agent is how I got into Creatures < 1383276661 842973 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(I was interested in 'agent', stumbled upon some site that collected... stuff that just happened to use the word, and C3/DS uses the term 'agent') < 1383276675 242340 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and ofc it makes Wine harder to write because now it has to provide animated paperclip APIs, just in case < 1383276697 691228 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Also, there was some chat program where you'd chat via Microsoft Agent. You'd download people's friends list to chat with them < 1383276715 203710 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I would send a command that put the agents to sleep, which stopped them from talking < 1383276718 973376 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Kind of trollish really < 1383276798 750378 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :well I mean "operating system" here in a sense that maps to "Debian" or "GNOME" and not like "Linux kernel" < 1383276811 421410 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :probably it's a DLL and that DLL might work unmodified in WINE < 1383276830 795039 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kmc: Windows devs use the term "kernel" to include many of the important libraries too < 1383276838 59659 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: wow that's even weirder than Comic Chat < 1383276840 581256 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at least the libc equivalents < 1383276955 101918 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I FOUND IT < 1383276956 674711 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think < 1383276957 177018 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://thecyberbuddy.com/ < 1383276964 864092 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The FAQ certainly sounds like the chat system I remember < 1383276972 989189 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://thecyberbuddy.com/Page7.html#QQ19 < 1383276991 593667 :pikhq!~pikhq@2602:100:4751:9692:922b:34ff:fed8:75d PRIVMSG #esoteric :ais523\unfoog: That's courtesy of a pair of legacy issues. < 1383277003 904173 :pikhq!~pikhq@2602:100:4751:9692:922b:34ff:fed8:75d PRIVMSG #esoteric :First, kernel.dll was the closest to the kernel on Win16 there was. < 1383277009 114457 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think I was banned from one of the main chatbots on there < 1383277011 378100 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :A long time ago < 1383277018 859449 :pikhq!~pikhq@2602:100:4751:9692:922b:34ff:fed8:75d PRIVMSG #esoteric :Second, kernel32.dll is the only documented kernel entry point. < 1383277060 406517 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i will not be your "cyber buddy" < 1383277088 560905 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :i will. ;) < 1383277098 743363 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i like how late 90s / early 00s Microsoft just did not give a fuck about using the correct names for anything < 1383277109 491084 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :or actually implementing the standards they claimed to implement, etc < 1383277111 198223 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: hot < 1383277220 835208 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ask mnoqy i think this calls for a self portrait of Sgeo < 1383277221 307433 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1383277226 530082 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: pretty much everything in Windows is somehow caused by legacy issues < 1383277235 752745 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :except the frequent changes to their recommendations for UI toolkits < 1383277240 167505 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which are mostly just inexplicable < 1383277531 163080 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: should i see Carrie (musical) this weekend < 1383277598 468091 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :don't know anything about that < 1383277686 449565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :isn't that what i pay you for :'( < 1383277752 151402 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :is it < 1383277764 381582 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://wereverinmylaptop.tumblr.com/post/56728391141/snakes-guido-mocafico < 1383277765 568819 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :snakes < 1383277854 427080 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you a snake < 1383277882 199527 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :don't think so < 1383278203 841873 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hard to know for sure < 1383278222 554124 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :listen to snake hisses and check if you're turned on < 1383278228 65736 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :of course, you may just be an asexual snake < 1383278234 635840 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :or i could be a human with a snake fetish < 1383278237 441714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that doesn't work in our furry age < 1383278243 607927 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :more like scaly < 1383278246 543653 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :webscale? < 1383278252 917574 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :i'm not saying there aren't false positives or negatives here!! < 1383278253 154451 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :spider / snake slash fiction < 1383278264 938835 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: please rephrase in terms of "Type I" and "Type II" errors < 1383278278 36598 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that terminology is no better < 1383278289 544468 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :webscale porn, sounds darnmyinnerdictionaryturnedoffagai < 1383278290 831559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :n < 1383278333 593103 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :are off-by-one errors type I or type II < 1383278348 598648 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: you were kind of snaky last time i saw < 1383278359 669532 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :o < 1383278377 458497 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you had things snakes have like eyes and a tongue < 1383278379 739842 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :'COMBINING SNAKE BELOW' (U+1DC2) what < 1383278381 699236 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what else do snakes have < 1383278396 791212 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :`unicode 'COMBINING SNAKE BELOW' < 1383278398 256641 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Unknown character. < 1383278399 440149 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :k᷂m᷂c᷂ < 1383278409 963371 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :i may have already forgotten how this program works :( < 1383278432 393345 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: rule (1): if you want _any_ kind of quoting, use `run. < 1383278433 638813 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you know chrome has an ed emulation mode < 1383278440 557596 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type a command in the address bar and press ^E < 1383278444 440449 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`run python -c 'print u"hi\u1dc2".encode("utf-8")' < 1383278446 660428 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :hi᷂ < 1383278453 91600 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :very hi < 1383278456 598898 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so snake < 1383278458 480182 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wow < 1383278489 66601 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run unicode 'COMBINING SNAKE BELOW' < 1383278490 854872 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​᷂ < 1383278493 348779 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :cool this program from 1987 is called "PATH" so i will never find it, ever < 1383278509 552224 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`man 1 rule < 1383278511 234884 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :man: can't open the manpath configuration file /etc/manpath.config < 1383278523 503394 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure what I expected < 1383278528 752694 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but that is more sensible than what I expected < 1383278556 174425 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this is silly < 1383278562 66984 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i have two cell phones next to each other < 1383278570 400287 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :one of them vibrated, which turned the screen on in the other one < 1383278576 78076 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hot < 1383278598 717799 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm saddened by the sudden realisation that cellphone slash fiction almost certainly already exists :( < 1383278600 261643 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf: Please go on. I’m interested to hear about the whole Rube Goldberg device. < 1383278628 641065 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: insert coin < 1383278699 466780 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: did you learn any exciting category things since last time < 1383278700 579420 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :forbidden love between an iphone and an htc one < 1383278759 358565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :forbidden love is allowed in here < 1383278848 784727 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :good to know < 1383278859 959970 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: ok do you think Distributive and Representable should both exist "hard to decide" < 1383278870 138179 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf: Not yet. I haven’t been very productive for a while. < 1383278900 449455 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :class Distributive g where distribute :: Functor f => f (g a) -> g (f a) < 1383278910 496600 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :cool, this chaos paper uses the unit bits/week < 1383278960 204301 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :er, Functor g => Distributive g < 1383278964 595526 :ion!ion@heh.fi PRIVMSG #esoteric :IO String -> [IO Char] < 1383278993 618627 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :class Distributive g => g where type Key g :: *; to :: (Key g -> a) -> g a; from :: g a -> Key g -> a < 1383279012 266280 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :er, Distributive g => Representable g < 1383279046 53837 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Representable is for a functor G where G a ~~ T -> a for some T < 1383279060 239713 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :e.g. Pair a ~~ Bool -> a < 1383279083 617440 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Distributive ends up having instances for all the same types but it has less power < 1383279088 255269 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so does it deserve to exist < 1383279106 158797 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i gotta know < 1383279115 680454 :ion!ion@heh.fi PRIVMSG #esoteric :Are there useful Distributive instances without useful Representable instances? < 1383279142 98849 :Bike!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :is there a kind-level Representable instance between Distributive and Representable < 1383279176 90189 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: is that supposed to make sense or should i just stop trying to figure it out < 1383279194 43011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: I think every type which is an instance of Distributive is also an instance of Representable. < 1383279214 897861 :ion!ion@heh.fi PRIVMSG #esoteric :Doesn’t sound like a too useful separation then. < 1383279226 648131 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure. < 1383279245 835270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does it give you less power in a useful way? If you make a function which is generic over Distributive or something? < 1383279421 883437 :ion!ion@heh.fi PRIVMSG #esoteric :If there’s a combined instance, can you not still write that function? < 1383279541 148848 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: is this you a billion years in the future?? http://mathoverflow.net/users/342/sixwingedseraph < 1383279556 288218 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: Combined instance? < 1383279602 885516 :ion!ion@heh.fi PRIVMSG #esoteric :Like Applicative combines Apply and Pointed? Or what would the alternative have been? < 1383279623 171775 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure what you mean. < 1383279630 132720 :ion!ion@heh.fi PRIVMSG #esoteric :Me neither. < 1383279704 167224 :ion!ion@heh.fi PRIVMSG #esoteric :From what i understood, you pointed out two classes with a dependency between them and said every instance of either one is an instance of another. So i thought you were thinking of combining the classes. < 1383279740 5063 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. Yes. Combining them into Representable. < 1383279761 623793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Since you can write Distributive easily with to and from. < 1383280179 165505 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 253 seconds < 1383281160 527917 :Uguubee111119!~uguubee@101.166.145.209 QUIT :Quit: Uguubee111119 < 1383281342 899513 :Uguubee111119!~uguubee@101.166.145.209 JOIN :#esoteric < 1383281604 658215 :nooodl!~nooodl@3.168-241-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1383282420 266279 :Bike!~Glossina@wl-nat105.it.wsu.edu QUIT :Ping timeout: 268 seconds < 1383282626 344118 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1383282664 385527 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :" writing out full words makes expressions significantly harder to read" but category names are not used in expressions much < 1383282686 978463 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that's probably why they are truncated _so little_ < 1383282709 427055 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :but still truncated? < 1383282888 260697 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :" It is kind of interesting how variables in math usually have short names and variables in programming usually have long names." <<< i've always figured this is because you need so many names in programming, while in math you often need just a few vectors. the things that are nonstandard but you need to remember for the whole of the article are usually definitions < 1383282895 20339 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and definitions are often just an english word < 1383282912 285646 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :"We call such a sequence \emph{asstastic}." < 1383282938 192436 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi oklofok < 1383282964 900583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what was that question about homotopy or something < 1383282969 146047 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i don't remember < 1383283062 637189 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :asstastic prime < 1383283162 224057 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :shachaf: um i don't recall there being a question < 1383283176 232810 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i don't know why i said "vectors" < 1383283231 851675 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :«The noun ‘Pegasus’ itself could then be treated as derivative, and identified after all with a description: ‘the thing that is-Pegasus’, ‘the thing that pegasizes’.» < 1383283302 898555 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i personally find one symbol variables annoying, because they are so annoying to look up when you don't remember what they mean (sometimes you basically have to start over). < 1383283323 130079 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :a longer word you could just search for < 1383283363 66980 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :if i had a working symbol search that could separate mathmode from textmode, i don't think there would be any problem < 1383283364 176768 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i guess that ties into the whole 'predates computers' thing. < 1383283547 669492 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :lol some guy from the czech republic solved my geocaching mystery (which is in finnish) < 1383283651 691812 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :nice < 1383283884 996968 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oklofok: relatedly, there's the rule in programming that a variable's name length should be proportional to its scope < 1383284091 394476 :augur!~augur@c-69-250-18-196.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1383284217 19657 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :and that's why JavaBeanFactoryVisitorFactory is global < 1383284257 125047 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now I want more universal scope variables < 1383284261 363358 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like in Network Headache < 1383284290 760277 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(CLC-INTERCAL's implementation of something similar is more interesting; each process has its own set of variables, but you can steal variables from other processes) < 1383284303 633853 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(stealing filehandles is a particularly nice simple way to set up a simple telnet-a-like) < 1383284326 480584 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :kmc: i think that would be a good rule for math too < 1383284330 360151 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :also for everything < 1383284357 544717 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :trees would have magnificent names < 1383284394 419839 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :we can rename "Cyprinodon salinus salinus" to "i jy" < 1383284404 338250 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what about for people < 1383284469 778038 :Uguubee111119!~uguubee@101.166.145.209 QUIT :Read error: Connection reset by peer < 1383284488 66475 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :you get a long name when you're born, and a letter drops each year < 1383284498 434875 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :when you run out of name, you are murdered. < 1383284501 964401 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :lol. < 1383284531 716176 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I thought it'd be based on scope < 1383284535 827797 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, it is to some extent < 1383284543 615254 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :close family and the like refer to you with shorter names < 1383284545 562581 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what's the scope of a man < 1383284559 578257 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and you can use shorter nicks in smaller communities < 1383284576 870090 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :counterpoint, i am known by all and sundry as "bike" < 1383284585 28207 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that's another way to think about it, but it's not what i'd consider the direct analog of scope < 1383284587 841788 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :countercounterpoint, i don't know what 'sundry' means < 1383284621 582514 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :says something intelligent about minimum description length < 1383284625 16829 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oklofok: well, the scope of a variable is the region of the program from which it's accessible/mentionable/nameable < 1383284625 177108 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but there are some languages/cultures where more familiar names are diminutives with extra letters < 1383284642 777286 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"Consisting of a haphazard assortment of different kinds; miscellaneous." what a weird word < 1383284671 214846 :ais523\unfoog!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I guess the scope of a person is either the number of people who have heard of them, the number of people who can describe them, or the number of people who could reasonably expect to be able to just look up their number, phone them up, and talk to them < 1383284745 830334 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i think a kid's voice is described as "sundry" in south park in the episode where cartman wants to become the... something of the school in place of wendy < 1383284788 39029 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and i didn't know what it means back then, and i just always remember that episode when i hear it, but not the actual meaning < 1383284801 591098 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :maybe i've always heard wrong < 1383284809 350427 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but yeah they ruined my life < 1383284810 866386 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i've only seen it in the dead phrase 'various and sundry'. < 1383284852 975456 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :which is apparently a hella pleonasm < 1383284858 8037 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i seemed to recall you're from the us, and tried to whois you < 1383284863 39467 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but i accidentally joined you. < 1383284870 881512 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :##bike used to exist < 1383284877 35567 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :somebody joined it to ask about bikes once < 1383284883 280238 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric ::D < 1383284892 95901 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :makes sense i guess < 1383284897 959234 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i of course do not endorse ##bike, as indicated by the name < 1383284901 160281 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i've been on #unicycling so why not < 1383284913 976178 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(i have a unicycle) < 1383284919 463651 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i am a unicycle < 1383284922 356994 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i tried to link them to a channel about biking but i couldn't find one. < 1383284932 209326 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sundried raisins < 1383284939 784621 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah < 1383284952 573134 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sundry sundried raisins < 1383284957 12317 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :kind of niche compared to php i guess < 1383284972 586126 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait you were already talking about that word < 1383284979 649368 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what a waste < 1383284994 841315 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :okay gtg byes < 1383285008 332262 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: 22:11 http://www.jwz.org/images/lzamexm.gif -- mri of a banana. That's trippy. < 1383285064 716045 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now i can never eat bananas again. < 1383285066 203576 :^v!~DerpHerp@2601:4:4500:887:a143:da81:44df:c8cd QUIT :Quit: Ping timeout: 1337 seconds < 1383285078 101801 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :great, i don't remember if bananas are fruits or what. < 1383285101 679442 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i mean, have you seen a banana tree? that shit is weird. < 1383285114 356269 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :22:47 nwf: banana flower, not banana fruit < 1383285120 91729 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: p. sure bananas don't grow on trees < 1383285131 141946 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course they're not fruits, why would fruit wear pajamas < 1383285142 830069 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i have seen many banana trees in my time < 1383285153 552117 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: sounds pretty fruity to me < 1383285157 358623 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :they grow on things that are like trees but not but also are because 'tree' isn't a real category anyway < 1383285179 161967 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :have a music http://www.youtube.com/watch?v=cnai_KrK4Ko < 1383285184 525248 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well they don't have a trunk < 1383285191 786820 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which is the main requirement to be a tree < 1383285196 511195 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :for example elephants and cars are trees < 1383285202 29001 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah < 1383285205 308741 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but not banana plants < 1383285216 532935 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :anyway mainly i was wondering if the banana had xylem and shit in it. < 1383285285 829547 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: omg < 1383285306 621858 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1383285309 97903 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :MRI of a sharkbanana < 1383285382 575841 :Uguubee111119!~uguubee@101.166.145.209 JOIN :#esoteric < 1383285414 660023 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome Uguubee111119 < 1383285416 829039 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Uguubee111119: 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.) < 1383285464 455271 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`run sed -i 's#http://esolangs.org/wiki/Main_Page##' wisdom/welcome < 1383285468 676909 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1383285509 481890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`relcome Uguubee111119 < 1383285512 160313 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​09Uguubee111119: 02Welcome 06to 13the 04international 07hub 08for 09esoteric 02programming 06language 13design 04and 07deployment! 08For 09more 02information, 06check 13out 04our 07wiki: 08. 09(For 02the 06other 13kind 04of 07esoterica, 08try 09#esoteric 02on 06irc.dal.net.) < 1383285524 356574 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://1.bp.blogspot.com/-e3MjWHdNTkE/UlKV0MgMDEI/AAAAAAAABiQ/Z7CxO0-Q3dE/s1600/Charleysayswww-scarfolk-blogspot-com.jpg some good stuff on jwz today < 1383285590 770470 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://3.bp.blogspot.com/-dq27_3O7T38/UkgoTj0YEfI/AAAAAAAABh0/3i25ms1TQrU/s1600/porn3www-scarfolk-blogspot-com.jpg long lost educational porn films < 1383287519 953921 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1383288518 933833 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1383288529 140178 :Uguubee111119!~uguubee@101.166.145.209 QUIT :Quit: Uguubee111119 < 1383288544 106993 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Read error: Connection reset by peer < 1383288553 905417 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1383288666 739579 :Uguubee111119!~uguubee@101.166.145.209 JOIN :#esoteric < 1383289349 134929 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :also i lost < 1383289420 176121 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :lost sharkbananas? < 1383289498 598746 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lost enthusiasm? < 1383289604 585458 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :no- < 1383289625 676468 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google what did kmc lose < 1383289629 138318 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :http://www.hindustantimes.com/india-news/kolkata/kmc-set-to-lose-crores-on-puja-ad-tax/article1-1131980.aspx < 1383289629 283559 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Title: KMC set to lose crores on Puja ad tax - Hindustan Times < 1383289816 355659 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1383289831 58600 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :you know what's a weird looking function? the half iterate of sine. < 1383289855 402904 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's that? < 1383289864 713198 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what about the half iteratee < 1383289865 215223 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the function f such that f.f = sine. < 1383289903 894553 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1383289935 168362 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well, i guess the weird part is mostly that as you keep taking half iterates it looks more and more like a triangle wave. < 1383289980 388696 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can you generalize this to real numbers? < 1383290059 309887 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah. here, there's an exact solution for an easier one. the t-th iterate of \x -> x/(1-x) is just \x -> x/(1-x*t). < 1383290314 671291 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric ::t (*) < 1383290315 725114 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Ambiguous occurrence `*' < 1383290315 870566 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : It could refer to either `L.*', < 1383290315 870724 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : defined at /home/lambdabot/.lambdabot/State/L.hs:149:4 < 1383290323 542686 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> 4 * 5 < 1383290324 784982 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Ambiguous occurrence `*' < 1383290324 947834 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : It could refer to either `L.*', defined at L.hs:1... < 1383290328 11146 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :cool < 1383290330 260134 :ais523\unfoog!~ais523@unaffiliated/ais523 QUIT : < 1383290422 143444 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike what did you do < 1383290428 442029 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 4 L.* 5 < 1383290432 227896 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : *Exception: L.hs:150:1-11: Non-exhaustive patterns in function * < 1383290435 562244 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike...... < 1383290443 381603 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i didn't do it, honest! < 1383290460 631658 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i did " @let boring t x = x/(1-x*t)" in privmsg and it said the ambiguous occurence thing. < 1383290530 345866 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :wow, i was going to try to mess with it but like... < 1383290532 832697 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> boring 1 10 < 1383290536 320359 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : -1.1111111111111112 < 1383290539 84818 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> boring 1/2 10 < 1383290540 230919 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Could not deduce (GHC.Num.Num (GHC.Integer.Type.Integer -> a -> a)) < 1383290540 376151 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : aris... < 1383290543 921062 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :thambdabot?? < 1383290591 875001 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@undefine < 1383290592 393114 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Undefined. < 1383290593 699524 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1383290618 420401 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :rip :( < 1383290646 290871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :rip L.* < 1383290660 785406 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> 4 * 5 < 1383290662 142828 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 20 < 1383290670 417940 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :wait, so i did that somehow? < 1383290673 984518 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what happen. < 1383290743 65690 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :...does "boring 1/2 10" parse as "(boring 1)/(2 10)"? or something? < 1383290753 983471 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> (*) 1/2 10 < 1383290755 175911 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Could not deduce (GHC.Num.Num (GHC.Integer.Type.Integer -> a -> a)) < 1383290755 425288 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : aris... < 1383290761 415851 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> (*) (1/2) 10 < 1383290762 758719 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 5.0 < 1383290893 838427 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1383290908 979572 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Function application is sticker than any operator. < 1383291137 122816 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :stickier < 1383291229 651402 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :so how'd the L.* thing happen. < 1383291339 768598 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Someone did @let x * y = ...? < 1383291346 335658 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :00:20 :t (L.*) < 1383291346 497873 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :00:20 (Eq a, Eq a1, Num a, Num a1, Num a2) => a -> a1 -> a2 < 1383291366 325484 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sounds like some 2*2=5 prank or something. < 1383291431 568475 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :go and tell the king that the sky is falling in but it's not < 1383294247 505962 :Uguubee111119!~uguubee@101.166.145.209 QUIT :Read error: Connection reset by peer < 1383294909 169858 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1383295108 83593 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1383295147 355511 :Uguubee111119!~uguubee@101.166.145.209 JOIN :#esoteric < 1383295616 793863 :sebbu!~sebbu@ADijon-152-1-18-196.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1383295655 828310 :sebbu!~sebbu@ADijon-152-1-18-196.w83-194.abo.wanadoo.fr QUIT :Changing host < 1383295656 10055 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric > 1383295843 638169 JOIN :#esoteric > 1383295847 755057 JOIN :#esoteric > 1383295848 270508 JOIN :#esoteric > 1383295880 755901 JOIN :#esoteric > 1383295884 858287 JOIN :#esoteric > 1383295885 373609 JOIN :#esoteric > 1383295914 466728 JOIN :#esoteric > 1383295918 590197 JOIN :#esoteric > 1383295919 105485 JOIN :#esoteric > 1383295954 489656 JOIN :#esoteric > 1383295958 597747 JOIN :#esoteric > 1383295959 113781 JOIN :#esoteric > 1383295993 945494 JOIN :#esoteric > 1383295998 65132 JOIN :#esoteric > 1383295998 581043 JOIN :#esoteric > 1383296034 528656 JOIN :#esoteric > 1383296038 638887 JOIN :#esoteric > 1383296039 149657 JOIN :#esoteric > 1383296080 318799 JOIN :#esoteric > 1383296084 444468 JOIN :#esoteric > 1383296084 958388 JOIN :#esoteric > 1383296123 218524 JOIN :#esoteric > 1383296127 323580 JOIN :#esoteric > 1383296127 838604 JOIN :#esoteric > 1383296161 224249 JOIN :#esoteric > 1383296165 349479 JOIN :#esoteric > 1383296165 864857 JOIN :#esoteric > 1383296217 936413 JOIN :#esoteric > 1383296222 58046 JOIN :#esoteric > 1383296222 565947 JOIN :#esoteric > 1383296254 312446 JOIN :#esoteric > 1383296258 438122 JOIN :#esoteric > 1383296258 954188 JOIN :#esoteric > 1383296301 81681 JOIN :#esoteric > 1383296305 205022 JOIN :#esoteric > 1383296305 720674 JOIN :#esoteric > 1383296338 73849 JOIN :#esoteric < 1383296339 259237 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1383296342 184618 JOIN :#esoteric > 1383296342 699539 JOIN :#esoteric < 1383296349 241493 :ais523_!93bcc342@gateway/web/freenode/ip.147.188.195.66 JOIN :#esoteric < 1383296373 447682 :ais523_!93bcc342@gateway/web/freenode/ip.147.188.195.66 NICK :ais523_\unfoog < 1383296994 959429 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1383297042 325684 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Read error: Connection reset by peer < 1383297056 334785 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1383297076 207569 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/VGTK that's just ridiculous. < 1383297339 146796 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 252 seconds < 1383297982 123268 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383298151 657132 :FreeFull_!~freefull@defocus/sausage-lover NICK :FreeFull < 1383298175 253852 :ais523_\unfoog!93bcc342@gateway/web/freenode/ip.147.188.195.66 QUIT :Ping timeout: 250 seconds < 1383298306 240879 :ais523_\unfoog!93bcc342@gateway/web/freenode/ip.147.188.195.66 JOIN :#esoteric < 1383299595 380325 :Slereahphone!~slereahph@561591080.ipsat.francetelecom.net JOIN :#esoteric < 1383299774 688064 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1383299965 860379 :ais523_\unfoog!93bcc342@gateway/web/freenode/ip.147.188.195.66 QUIT : < 1383300316 815407 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1383300318 837870 :Slereahphone!~slereahph@561591080.ipsat.francetelecom.net PRIVMSG #esoteric :Is a butt Turingcomplete < 1383300695 847135 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1383301201 378926 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1383301384 378451 :atslash!~cherep@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1383301707 356798 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1383302572 549502 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Koen_ < 1383302635 75926 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383302784 103868 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 252 seconds < 1383302989 834206 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Ping timeout: 272 seconds < 1383303559 941896 :Taneb!~Taneb@5.151.64.43 JOIN :#esoteric < 1383303797 480421 :ski_!~md9slj@remote1.student.chalmers.se NICK :ski < 1383303814 226140 :MindlessDrone!~MindlessD@vpn33-199.rz.hs-offenburg.de JOIN :#esoteric < 1383305373 371155 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds < 1383305580 809194 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1383306036 596120 :shikhin__!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383306061 621262 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Read error: Operation timed out < 1383306148 163894 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383306177 524355 :shikhin_!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1383306208 367414 :nooodl!~nooodl@91.179.168.179 JOIN :#esoteric < 1383306334 78246 :shikhin__!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 273 seconds < 1383306374 4998 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1383307477 782786 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1383307718 102557 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1383307793 863576 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1383308140 212081 :Slereahphone!~slereahph@561591080.ipsat.francetelecom.net QUIT :Quit: Colloquy for iPhone - http://colloquy.mobi < 1383308255 812951 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds < 1383309531 553436 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :good étuve morning! < 1383309573 752743 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :wisdom question: since when are we angle-quoting the URL to the Main Page in the welcomes? < 1383309603 852238 :nooodl!~nooodl@91.179.168.179 PRIVMSG #esoteric :`relcome nooodl < 1383309607 112262 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​06nooodl: 13Welcome 04to 07the 08international 09hub 02for 06esoteric 13programming 04language 07design 08and 09deployment! 02For 06more 13information, 04check 07out 08our 09wiki: 02. 06(For 13the 04other 07kind 08of 09esoterica, 02try 06#esoteric 13on 04irc.dal.net.) < 1383309619 571398 :nooodl!~nooodl@91.179.168.179 PRIVMSG #esoteric :huh < 1383309646 650260 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :shachaf: why did you anglify the URL? < 1383309680 506079 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Anglifying URLs.. does that make shachaf an angler? < 1383309727 198881 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :angler, as in https://en.wikipedia.org/wiki/Lophius_piscatorius? < 1383310259 471190 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: I assume because some clients/terminals/etc. otherwise interpret the trailing '.' as part of the URL. < 1383310302 137978 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :logical. < 1383310373 645387 :nooodl!~nooodl@91.179.168.179 PRIVMSG #esoteric :http://esolangs.org/wiki/Main_Page%2E works for me < 1383310561 906439 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess that's a workaround. < 1383310718 65841 :nooodl!~nooodl@91.179.168.179 PRIVMSG #esoteric :well what i'm saying is the extra . doesn't seem to matter either way < 1383310843 621318 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :welcome to #esoteric, where everything is off-topic and the points don't matter! < 1383310934 931279 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :the points are... pointless < 1383311230 905474 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1383311252 198404 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1383311583 135121 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1383312657 218736 :Uguubee111119!~uguubee@101.166.145.209 QUIT :Quit: Uguubee111119 < 1383312803 366105 :Uguubee111119!~uguubee@101.166.145.209 JOIN :#esoteric < 1383312960 366092 :mrhmouse!~jordan.br@firewall1.photobooks.com JOIN :#esoteric < 1383313488 448910 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 240 seconds < 1383313683 300072 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`unidecode ÐĐ < 1383313685 442595 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​[U+00D0 LATIN CAPITAL LETTER ETH] [U+0110 LATIN CAPITAL LETTER D WITH STROKE] < 1383313699 493139 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Are we still doing this? :P < 1383313719 609220 :Taneb!~Taneb@5.151.64.43 PRIVMSG #esoteric :`unicode MULTIOCULAR O < 1383313721 347255 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Unknown character. < 1383313726 555531 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :we're always doing this. < 1383313736 120036 :Taneb!~Taneb@5.151.64.43 PRIVMSG #esoteric :`unicode CYRILLIC LETTER MULTIOCULAR O < 1383313737 800293 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ꙮ < 1383313777 578951 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :mrhmouse: I was wikiwalking, and they mentioned capital eth and stroken-d being very similar. I had to verify their claim. < 1383313791 296610 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(you know, when you really have to know a useless fact.) < 1383313871 490321 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :I can relate. < 1383314734 135051 :nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1383315979 625804 :john_metcalf!~digital_w@87.113.67.177 PRIVMSG #esoteric :I've just installed the SainT Atari ST emulator. It even simulates the noise of the disk drive! < 1383316324 419829 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1383316989 974696 :atslash!~cherep@broadband-46-188-0-82.2com.net QUIT :Quit: This computer has gone to sleep < 1383317661 358445 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quinthellopia! < 1383317673 702455 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia: you may receive the cookies today and/or Monday. < 1383317953 223363 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(meanwhile Up North, it's raining sideways.) < 1383319333 19984 :smilerext!~smilerext@95.158.48.247 JOIN :#esoteric < 1383319337 973513 :smilerext!~smilerext@95.158.48.247 QUIT :Read error: Connection reset by peer < 1383320452 945062 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1383321105 1204 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1383321405 924509 :tertu!~tertu@143.44.72.124 JOIN :#esoteric < 1383321726 164806 :^v!~DerpHerp@2601:4:4500:887:7949:ee49:9373:cd06 JOIN :#esoteric < 1383321821 922549 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 272 seconds < 1383321877 919578 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Read error: No route to host < 1383321908 132865 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1383321981 951857 :asie!~textual@178.235.38.113 JOIN :#esoteric < 1383322104 746486 :ter2!~tertu@143.44.72.124 JOIN :#esoteric < 1383322168 920839 :tertu3!~tertu@143.44.72.124 JOIN :#esoteric < 1383322201 901957 :tertu!~tertu@143.44.72.124 QUIT :Ping timeout: 272 seconds < 1383322406 684307 :ter2!~tertu@143.44.72.124 QUIT :Ping timeout: 240 seconds < 1383322767 81359 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's raining man... < 1383322821 342290 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and I might have a heart attack < 1383323155 105128 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1383323376 834227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (*) < 1383323378 604861 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Num a => a -> a -> a < 1383323443 191978 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : you know what's a weird looking function? the half iterate of sine. <-- i am not sure that half iterates are particularly uniquely defined. < 1383323469 938880 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :when they exist at all. < 1383323513 98999 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose having a continuous one at all is an accomplishment, which a triangle wave certainly is. < 1383323693 698328 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Read error: Connection reset by peer < 1383323778 688011 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1383323809 335007 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t let 2*2=5 in (*) < 1383323810 550399 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :(Eq a, Eq a1, Num a, Num a1, Num a2) => a -> a1 -> a2 < 1383323834 941245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: perfect type match! < 1383324203 893822 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I have seen * be redefined locally to be some arbitrary operator < 1383324215 380729 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : (meanwhile Up North, it's raining sideways.) <-- have you checked that the landscape hasn't just tilted? < 1383324234 307372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: completely legal < 1383324257 695942 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Yeah < 1383324271 581795 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Just a bit weird to see * not be multiplication < 1383324273 182593 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@src on < 1383324273 760991 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :(*) `on` f = \x y -> f x * f y < 1383324282 29928 :tertu3!~tertu@143.44.72.124 QUIT :Ping timeout: 240 seconds < 1383324297 859367 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I think this is where I saw it < 1383324372 417037 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ask boily (meanwhile Up North, it's raining sideways.) <-- have you checked that the landscape hasn't just tilted? < 1383324372 860699 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1383324655 891648 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oerjan: in general they're not. half-iterates of identity are a pretty good example < 1383324668 368891 :tertu3!~tertu@143.44.72.124 JOIN :#esoteric < 1383324769 238046 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oerjan: strong gusts around 40 kt. < 1383324777 457292 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [sin x | x <- [-1,-0.8 .. 1::Float]] < 1383324779 80433 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [-0.84147096,-0.7173561,-0.5646425,-0.38941836,-0.19866937,-5.9604645e-8,0.... < 1383324802 115368 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [sin x | x <- [-0.2,0 .. 1::Float]] < 1383324803 190431 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :too good for map, huh < 1383324803 617405 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [-0.19866933,0.0,0.19866933,0.38941833,0.5646425,0.71735615,0.8414711] < 1383324805 941375 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hu < 1383324812 123591 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> [0..1::Float] < 1383324813 709462 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [0.0,1.0] < 1383324824 715534 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it doesn't always go well. < 1383324826 814363 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> [0.5 .. 1::Float] < 1383324828 318155 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [0.5,1.5] < 1383324831 745994 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm :( < 1383324833 36226 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose having a constantly shrinking range might force things? < 1383324835 376903 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval map sin [-1,-0.8..1 :: Float] < 1383324835 849138 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> [0..0.1..1.0] < 1383324836 776306 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :[-0.84147096,-0.7173561,-0.5646425,-0.38941836,-0.19866937,-5.9604645e-8,0.19866925,0.38941827,0.56464237,0.717356,0.8414709] < 1383324837 208378 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : :1:8: parse error on input `..' < 1383324841 627240 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ugh. < 1383324845 142051 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> [0,0.1..1.0] < 1383324846 15684 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> [0.1,0.5 .. 1::Float] < 1383324846 557473 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [0.0,0.1,0.2,0.30000000000000004,0.4000000000000001,0.5000000000000001,0.60... < 1383324847 531111 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [0.1,0.5,0.9] < 1383324849 205475 :ion!ion@heh.fi PRIVMSG #esoteric :I wonder if people would get mad if the powers that be just removed Enum from floats? < 1383324865 591730 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> succ (1:: Float) < 1383324867 171759 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 2.0 < 1383324870 884375 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ha < 1383324883 189273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: strong gusts around 40 kt. <-- kilotons? are you sure this is normal wind? < 1383324888 489118 :ion!ion@heh.fi PRIVMSG #esoteric :I wonder if that would involve fixing more code than, say, the Num/Eq/Ord change that happened before, or the Functor/Applicative/Monad change that will happen? < 1383324897 501395 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :the powers that be achieved enough positive karma by constraining Monads to Applicatives, so I feel they can do whatever they want with Enums. < 1383324908 635799 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ion: ↑ < 1383324932 139646 :ion!ion@heh.fi PRIVMSG #esoteric :boily: That would also be positive karma as far as i’m concerned. < 1383324943 747220 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ion: indeed. < 1383324945 371888 :tertu3!~tertu@143.44.72.124 QUIT :Ping timeout: 246 seconds < 1383324960 927941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I wonder if people would get mad if the powers that be just removed < 1383324966 532464 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oerjan: apparently kn is the preferable abbreviation to “knots”, but kt is accepted. < 1383324968 207869 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1383324977 734842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: ic < 1383324978 123053 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(insofar knots are socially correct.) < 1383324993 327571 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: depends, are you at sea? < 1383324993 983487 :ion!ion@heh.fi PRIVMSG #esoteric :kt is kilotonne. :-P < 1383325006 598377 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :kt is what killed the dinosaurs. < 1383325026 771703 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :kt is a telecom in South Korea. < 1383325106 218676 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I wonder if people would get mad if the powers that be just removed Enum from floats? <-- well it _might_ be nice if they actually supported the standard(s) backwards compatibly as written, which they already don't do and are planning to do even less. < 1383325162 989774 :ion!ion@heh.fi PRIVMSG #esoteric :Microsoft started using kt instead of kB in Finnish (because byte is “tavu” – the Finnish grammar doesn’t let allow doing that, though, it would need to be “kt.” to be grammatically correct because it’s an abbreviation and not an official unit symbol) and the whole IT media followed. < 1383325199 989488 :ion!ion@heh.fi PRIVMSG #esoteric :Also, kt is already a SI derived unit symbol. < 1383325220 196510 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um tonne isn't official is it? < 1383325284 929863 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: thus the kt boundary? < 1383325285 151922 :ion!ion@heh.fi PRIVMSG #esoteric :I actually don’t know for sure, but it’s a hell of a lot more “official” than kilotavu. < 1383325312 970327 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oerjan: “It is a non-SI unit accepted for use with SI.” < 1383325327 707166 :tertu3!~tertu@143.44.72.124 JOIN :#esoteric < 1383325339 375048 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`relcome tertu3 < 1383325340 229889 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 268 seconds < 1383325342 538191 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​07tertu3: 08Welcome 09to 02the 06international 13hub 04for 07esoteric 08programming 09language 02design 06and 13deployment! 04For 07more 08information, 09check 02out 06our 13wiki: 04. 07(For 08the 09other 02kind 06of 13esoterica, 04try 07#esoteric 08on 09irc.dal.net.) < 1383325346 431816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: was just about to paste that < 1383325467 655641 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1383325558 748046 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1383325574 680112 :tertu3!~tertu@143.44.72.124 QUIT :Ping timeout: 240 seconds < 1383325658 24574 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383325770 452860 :Bike!~Glossina@wl-nat109.it.wsu.edu JOIN :#esoteric < 1383325802 431418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: maybe you can tell me whether naturality and continuity are related somehow < 1383325834 66805 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :naturality sounds like some kind of hippie food brand. < 1383325903 557381 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :continuity doesn't, so probably they're totally unrelated. < 1383325931 823721 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :continuity could totally be "some kind of hippie food brand" imo < 1383325936 472421 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :continuity is like the opposite, they want you to keep buying the old poisonous food < 1383325970 812771 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :oerjan: well "KT" just stands for "Cretaceous-Tertiary". presumably German is involved here. < 1383326071 392572 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm sure we discussed that not many weeks ago. < 1383326094 185376 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :does 'we' include me < 1383326097 856163 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also discovered it's now officially changed to cretaceous-paleogene. < 1383326104 392765 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: that i don't know. < 1383326123 51096 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :paleogene also sounds like hippie food. category theorists, get on this. < 1383326212 649573 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well they cannot change it to c now that it is paleogene. < 1383326264 24998 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wp says K-Pg < 1383326323 743766 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION thinks he should drop the next pun he's thinking of.
< 1383326451 126872 :pong!~DerpHerp@2601:4:4500:887:7949:ee49:9373:cd06 JOIN :#esoteric < 1383326465 109760 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I fail to understand the link between hippie brands and categories. < 1383326475 156042 :pong!~DerpHerp@2601:4:4500:887:7949:ee49:9373:cd06 NICK :Guest90179 < 1383326503 116219 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: it's a natural transformation < 1383326515 805762 :^v!~DerpHerp@2601:4:4500:887:7949:ee49:9373:cd06 QUIT :Disconnected by services < 1383326517 879934 :Guest90179!~DerpHerp@2601:4:4500:887:7949:ee49:9373:cd06 NICK :^v < 1383326578 87103 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION facepalms... “hook, line, sinker...”
< 1383326795 191903 :derpherp!~DerpHerp@2601:4:4500:887:7949:ee49:9373:cd06 JOIN :#esoteric < 1383326824 148903 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`seen mnoqy < 1383326828 692946 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2013-10-29 00:06:06: i don't think i'd be able to explain it though < 1383326922 577757 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`seen HackEgo < 1383326927 319053 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2013-11-01 17:27:08: 2013-10-29 00:06:06: i don't think i'd be able to explain it though < 1383326929 538183 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`seen HackEgo < 1383326933 760782 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2013-11-01 17:28:47: 2013-11-01 17:27:08: 2013-10-29 00:06:06: i don't think i'd be able to explain it though < 1383326946 674708 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`seen HackEgo < 1383326951 338801 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2013-11-01 17:28:53: 2013-11-01 17:28:47: 2013-11-01 17:27:08: 2013-10-29 00:06:06: i don't think i'd be able to explain it though < 1383326970 988180 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I need to find a way to include django in that... < 1383327015 906057 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :well, that's easy. < 1383327018 694345 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :`quote django < 1383327020 425134 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :265) django is named after a person? thought it would be a giraffe or something \ 310) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 311) `quote django ​352) django is named a < 1383327025 179807 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :`seen HackEgo < 1383327029 533146 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2013-11-01 17:30:20: 265) django is named after a person? thought it would be a giraffe or something \ 310) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 311) `quote django ​ < 1383327032 128418 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`seen HackEgo < 1383327034 543983 :Bike!~Glossina@wl-nat109.it.wsu.edu PRIVMSG #esoteric :etc. < 1383327036 329980 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2013-11-01 17:30:29: 2013-11-01 17:30:20: 265) django is named after a person? thought it would be a giraffe or something \ 310) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 311) > < 1383337048 74055 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Oh < 1383337049 122263 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Haha. < 1383337050 88137 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :url dispatching < 1383337051 427346 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Templates < 1383337054 395598 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and stuff < 1383337067 946042 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :JavaScript still winning here. < 1383337073 905943 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Or Elm, for view code. < 1383337078 721474 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :If you like Haskell. < 1383337096 684185 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i'm confused, you are just looking for a server side web language in general? cause uh a lot of those exist < 1383337107 542634 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what is the context of "Why is there no webprogramming language" < 1383337109 297318 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Yeah, there are tons.. < 1383337118 715881 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :every major language has a web framework or six < 1383337126 735435 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't want a web framework < 1383337127 755761 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Python has like two dozen < 1383337131 600293 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Web frameworks do exists < 1383337133 335762 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :in dozens < 1383337153 456849 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :So.. you want a language that does nothing but web? < 1383337175 263600 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ideally some kind of language with very neat modelling support < 1383337208 600408 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what would be the point of that? the things you need to do to build websites fit well into most general purpose languages < 1383337257 390705 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they fit well < 1383337260 963510 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but not perfectly neat < 1383337262 351182 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :As I'm understanding it, you want: view generation (templates), data storage and access, URL routing, and "neat modelling support" (whatever that is)...? < 1383337279 2674 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mroman: that should be fixed with better libraries rather than fundamentally new languages < 1383337282 12399 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :imo < 1383337286 71867 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but also, there are web specific languages e.g. http://opalang.org/ < 1383337286 342002 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :^ < 1383337307 375693 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Django is really close to what I'd expect < 1383337311 741997 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Interesting link kmc! < 1383337322 619726 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it essentially generates the whole database etc from python classes < 1383337327 534892 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which is pretty neat < 1383337347 157505 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :So you want a code-first approach - plenty of frameworks offer that :P < 1383337417 543496 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well < 1383337417 764603 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Really, it sounds like you can get what you want by combining several existing libraries.. < 1383337423 739692 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I actually want modell first :) < 1383337441 915150 :lmt!~user_name@184.71.170.250 PRIVMSG #esoteric :python < 1383337444 725012 :lmt!~user_name@184.71.170.250 PRIVMSG #esoteric :pythonpython < 1383337446 171210 :lmt!~user_name@184.71.170.250 PRIVMSG #esoteric :pythonpythonpython < 1383337447 717880 :lmt!~user_name@184.71.170.250 PRIVMSG #esoteric :pythonpythonpythonpython < 1383337477 342177 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't want to write

{{foo.title}} etc < 1383337480 867110 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :say python again, say python again, i dare you, i double dare you motherfucker, say python one more goddamn time < 1383337482 56029 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's already too low-level < 1383337518 819697 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :esentially < 1383337523 968497 :lmt!~user_name@184.71.170.250 PRIVMSG #esoteric :oh no you didn't < 1383337528 76723 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I want a WYSIWYG editor to create Websitse < 1383337530 603329 :lmt!~user_name@184.71.170.250 PRIVMSG #esoteric :just say "too low-level" in #esoteric < 1383337537 268581 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :webshits < 1383337554 817015 :lmt!~user_name@184.71.170.250 PRIVMSG #esoteric :webscheiße < 1383337558 431500 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :++ < 1383337565 544460 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fun fact: the swedish word for python means disgusting < 1383337567 884271 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or a lanugage that suitable is close enough to wysiwy < 1383337576 662831 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :(and a kind of snake) < 1383337578 823910 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what you see is what you < 1383337582 67271 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well < 1383337586 335100 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :y brain just has shutten down < 1383337595 378723 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :all you touch and all you see is all your life will ever be < 1383337601 921320 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1383337603 962555 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and strangely my shoulder still hurts when I breathe < 1383337618 165089 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :try breathing with your lungs instead < 1383337624 828752 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wise guy. < 1383337627 652986 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric ::D < 1383337631 258207 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric ::D D: < 1383337638 221232 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :or try not breathing, if it hurts it must be bad for you < 1383337662 382765 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :YEah... < 1383337675 397225 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm gonna go back to watching some Jason Bourne Movie < 1383337717 370130 :augur_!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1383337718 460732 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Read error: Connection reset by peer < 1383337751 983053 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :mroman: How's li a href: foo.d, foo.title < 1383337775 334777 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :or if you write a helper method, just listAnchorFor foo < 1383338118 278018 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mroman: you're right that there are improvements to be made in HTML template languages < 1383338124 568092 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and those languages can be embedded within programming languages < 1383338136 269397 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but there's no reason the encompassing programming language needs to be redesigned from scratch < 1383338148 867055 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :e.g. Yesod has some fancy template languages for HTML and CSS and JS, but it's embedded within Haskell < 1383338155 681659 :lmt!~user_name@184.71.170.250 PRIVMSG #esoteric :html embedded in javascript embedded in javascript < 1383338167 430698 :Bike!~Glossina@wl-nat99.it.wsu.edu PRIVMSG #esoteric :