< 1415404873 72836 :impomatic_!~digital_w@235.198.208.46.dyn.plus.net QUIT :Ping timeout: 264 seconds < 1415404893 879872 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :here's a nice wikipedia page https://en.wikipedia.org/wiki/Language_identification_in_the_limit < 1415404913 855672 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1415404933 256961 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1415405064 527844 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily < 1415405069 738496 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1415405072 707714 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :quinthellopia! < 1415405085 682410 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: compressible hej! < 1415405096 109088 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :int-e: My own thought is just to manually group together the files and then tell it to compress; a preprocessor can split them if a file contains multiple areas (which may even be interleaved). < 1415405104 990910 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :quintopia: long time no see! anything new on your end? < 1415405134 161656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: god ekspandert kveld < 1415405166 610249 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: not much. abc family is showing robin williams movies, so i'm trying to decide whether to go out to one of the movies that came out today, or just watch jumanji :P < 1415405179 379141 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :jumanji hth < 1415405233 108927 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but sitting at home watching tv seems kind of late for my day off < 1415405238 17382 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :*lame < 1415405314 842314 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :point. < 1415405338 323597 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :you could go out, watch a move, snarf down a late night pad thaï after a nice pint at your local pub... < 1415405508 735075 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Some kinds of data are already packed in some way; it might help to unhuff the data before doing the rest of the compression. (Possibly a predictive algorithm can still be used during unhuffing.) Any bit stream can be reversibly huffed or unhuffed, anyways. < 1415405539 675374 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu JOIN :#esoteric < 1415405768 972247 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i wish i had a good "local pub" < 1415405784 142714 :nys!~nys@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1415405802 567334 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :jumanji it is < 1415405890 722330 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i believe we're above 10% bots again < 1415405976 659222 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there are 10 bots in here, really? < 1415406029 702505 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :blsqbot clog EgoBot fungot glogbot HackEgo idris-bot j-bot lambdabot zemhill, I think. < 1415406029 923516 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: some m are x'. all m' are y'," i ventured to ask. < 1415406046 995467 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :blsqbot, clog, egobot, fungot, glogbot, hackego, idris-bot, j-bot, lambdabot, zemhill... < 1415406047 179613 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Bicyclidine: so they wandered off lovingly together, in among the fnord but i could see his eyes fill with tears, such a sentence would have not the slightest effect, as the lord chancellor, made up a party of four is surely fnord? and cannot friends be firm and fast, and yet genial old man were entirely fnord: and yet, so grand were her replies, i could but stand outside, and take a last look at the larger diagram, possess thr < 1415406050 655718 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :can the bots talk to each other < 1415406065 733763 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: only if someone has made a misatke < 1415406067 547545 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*mistake < 1415406068 608918 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so, probably < 1415406077 564638 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :most of them try to not trigger, or ignore, the others < 1415406079 417222 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :fungot, you tell them < 1415406139 109166 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(actions speak louder than words, huh...) < 1415406147 966419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's possible there might be a bot here that fungot doesn't ignore yet < 1415406148 150383 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: " fnord handsome!" muttered arthur: then smiled at his own bitter words. " lucky no one heard me but you!" < 1415406159 36128 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq "fungot" < 1415406159 219002 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: taking " houses" as universe; fnord the house"; fnord and fnord < 1415406159 219165 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "fungot" < 1415406162 797098 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah < 1415406173 329314 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :[ "fungot" < 1415406173 551117 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: " my foot took it into its head to fnord" bruno began, in doggee. ( " algebra too!" i exclaimed. " a party of four is surely fnord? and as for the baby, it was over at last and they sat down again. < 1415406173 770416 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :oerjan: |syntax error < 1415406173 954439 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :oerjan: | "fungot" < 1415406173 954533 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :j-bot: 9. some judges are unjust.' and hatta went bounding away like a fnord. after a minute's search, i found myself following this imperious voice into a room where the earl was sitting alone when we entered. " i am to get here! and what is the song, is it?' < 1415406174 267199 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: |open quote < 1415406174 451617 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | 9. some judges are unjust.' and hatta went bounding away like a fnord. after a minute's search, i found myself following this imperious voice into a room where the earl was sitting alone when we entered. " i am to get here! and what is the song, is it?' < 1415406174 451764 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | ^ < 1415406174 451840 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :j-bot: ' which reminds me--' the white queen cried out as she rushed past the king, just glancing at him as he passed. it was labeled " fnord fnord, years ago, the mayor and fnord! talk of original sin!" < 1415406174 451913 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :j-bot: ' when do you expect to do it. < 1415406174 451985 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :j-bot: and these may be expressed, using letters for words, " all x are y, and none are x'; i.e. no lobsters are unreasonable; no reasonable creatures expect fnord. < 1415406186 251695 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | ^ < 1415406186 436146 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: |open quote < 1415406192 639264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whee! < 1415406193 823396 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | and these may be expressed, using letters for words, " all x are y, and none are x'; i.e. no lobsters are unreasonable; no reasonable creatures expect fnord. < 1415406197 807417 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | ^ < 1415406220 46794 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :no lobsters are unreasonable! < 1415406223 955806 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fortunately fungot also has a quota for the blathering < 1415406224 139957 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: " it was done by a little fnord it has ever been my lot to see. you'll remember how to use it fnord: so, that i am now considering, are honest men." ( bruno had very fnord provided one, which fitted him exactly, by cutting out the centre of a fnord whose two most important witnesses have been suddenly taken away. " let me feel your fnord, you know, as the story was getting a little complicated. < 1415406245 272293 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :unfortunately it's measured in lines, not words < 1415406246 276683 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :The bot should be programmed to change its output to a NOTICE if it suspects a loop is occurring, in order to stop the loop, without stopping legitimate commands that only seems to be a loop. < 1415406282 899632 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats zzo38 for mentioning NOTICE -----###
< 1415406295 881249 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :^cat [ "abc" < 1415406304 451356 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: lewis carroll, good choice, except for the many uncommon words < 1415406304 675219 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: " yea, each to each was worse than foe: thou, a scared fnord, fnord, and began winding up the ball again. but she hardly sees it from that point of view. < 1415406307 80679 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :^show < 1415406307 264723 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :echo reverb rev rot13 rev2 fib wc ul cho choo pow2 source help hw srmlebac uenlsbcmra scramble unscramble asc ord prefixes tmp test celebrate wiki chr ha rainbow rainbow2 welcome me tell eval elikoski list ping def a thanks tmp2 8ball < 1415406316 402456 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :the bot should be programmed with an artificial intelligence to determine when it is being botbused < 1415406322 733081 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what's the real echo, again < 1415406329 665780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :^def oops ([ "abc")S < 1415406329 850073 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Usage: ^def < 1415406332 250908 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :^def oops ul ([ "abc")S < 1415406332 434827 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Defined. < 1415406334 152712 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :^oops < 1415406334 336746 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :[ "abc" < 1415406334 763451 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Bicyclidine: It might be a bit complicated? < 1415406334 959143 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: |syntax error < 1415406334 959313 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | "abc" < 1415406334 959391 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :j-bot: they placed themselves close to where hatta, the other white knight came and put it on. he thought it was fourteen!" and the glorious work of the day; and each tried to pretend that he did so day and night, that would light the world, and played on the petals as if they were tables!' < 1415406335 143374 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :j-bot: here i ventured on a question. " but, now that father's gone. the lion were coming. and he sat down on the rails!" she exclaimed. " i saw it in a flower," sylvie explained in a whisper, " the little wretch always fnord to upset his coffee!" < 1415406335 405598 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: |open quote < 1415406335 590112 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | they placed themselves close to where hatta, the other white knight came and put it on. he thought it was fourteen!" and the glorious work of the day; and each tried to pretend that he did so day and night, that would light the world, and played on the petals as if they were tables!' < 1415406335 590221 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | ^ < 1415406335 590302 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: |open quote < 1415406335 590377 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :j-bot: " the second tells us what is right in saying the heart is fnord: i am come frae a fnord land: i am come frae a fnord land: i am sure that my love is returned." < 1415406335 590451 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :j-bot: it succeeded beautifully. she had just succeeded in fnord it down into a fnord," sylvie gravely replied. " this is harder than fnord!" < 1415406336 392703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :do we have one < 1415406338 788884 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | here i ventured on a question. " but, now that father's gone. the lion were coming. and he sat down on the rails!" she exclaimed. " i saw it in a flower," sylvie explained in a whisper, " the little wretch always fnord to upset his coffee!" < 1415406341 746776 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[ '^q' < 1415406342 788845 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | ^ < 1415406342 973146 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: |spelling error < 1415406348 777052 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmmm < 1415406350 814743 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | " the second tells us what is right in saying the heart is fnord: i am come frae a fnord land: i am come frae a fnord land: i am sure that my love is returned." < 1415406353 17568 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[ 123 < 1415406354 816771 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | ^ < 1415406355 431495 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :zzo38: have you ever considered stand up comedy < 1415406358 808913 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: |spelling error < 1415406359 704443 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess there is no way to avoid the nick prefix so it is hopeless anyway < 1415406366 875338 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | it succeeded beautifully. she had just succeeded in fnord it down into a fnord," sylvie gravely replied. " this is harder than fnord!" < 1415406367 59377 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :fungot: | ^ < 1415406367 59491 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :elliott: ^q < 1415406370 918487 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :elliott: 123 < 1415406372 182155 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :^undef oops < 1415406426 949435 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But I believe the solution is that it uses some heuristic to decide and if it believes it is being part of a loop its next output will be changed from PRIVMSG to NOTICE. If it still continues, delays will be added; and then finally, a message sent to whoever controls that bot. < 1415406463 300973 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(And then they can fix it manually if it is in fact broken.) < 1415406484 287883 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Therefore it will not interfere with legitimate commands. < 1415406514 655912 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION idly wonders how many people here have read Sylvie and Bruno...
< 1415406515 148196 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :abab < 1415406520 783344 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :can be compressed as a grammar: < 1415406520 967737 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :besides fungot < 1415406520 967855 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: ' it didn't hurt him,' the red queen. ' she's grown a good deal more amusement may be got by two working at it together, and all the little oysters stood and waited in a row. < 1415406522 713004 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :g -> XX < 1415406523 965893 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :X -> ab < 1415406529 104903 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :now G expands to abab < 1415406536 588565 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :sounds like hippie shit < 1415406537 903772 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :how effective this this type of compresion? < 1415406558 83815 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :vanila: It is like byte pair coding? < 1415406565 20890 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Bicyclidine: what! < 1415406595 216602 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :zzo38, I just mean any grammar as a list of productions: -> * where is a name or a symbol < 1415406622 582749 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes, I can see how you mean. I do not know the answer. < 1415406633 196269 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :I think it might not be very good < 1415406634 220209 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: No, not Alice! Sylvie and Bruno. Please focus! < 1415406634 404087 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: " i'm sure it will be a grand military fnord!" < 1415406644 229327 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :but if you extend it to take parameters foo(X) --> a X b < 1415406650 255491 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :thne it could be very good at compression < 1415406655 733058 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: you can at least do "backreferences" with it, right? < 1415406666 486180 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :when you emit some text that you reference later, make a rule for it < 1415406666 695618 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Possibly it might help < 1415406670 486058 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and then just use that rule instead < 1415406676 434860 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :that'sa good idea! < 1415406680 932690 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :yea so this is more powerful than backrefs < 1415406689 242117 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :or maybe equal? < 1415406695 903454 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: See, you can do it. < 1415406696 87411 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: the old man with a hearty kiss. then he gazed at them again." she drew herself up rather stiffly, and said ' wait till you've tried.' < 1415406707 702634 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :original: "It will be a grand military exploit!" < 1415406763 243624 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: well, you can't emit it as a stream < 1415406779 796889 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and overlapping backreferences are harder < 1415406786 201220 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(can't stream it you have to know whether you'll reference it in future before you know whether to embed it as a symbol or its own rule) < 1415406811 812237 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :though I suppose it could be something like, you get one basic rule for every character, and the compression instructions just build up a tree < 1415406865 46508 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so you'd end up emitting "hello" as hel -> he l, lo -> l o, he -> h e < 1415406871 121129 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but then you can't backreference "llo". so. < 1415406874 469847 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it seems weird. < 1415406919 162329 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Are you busy reinventing https://en.wikipedia.org/wiki/Lempel%E2%80%93Ziv%E2%80%93Welch ? < 1415406951 466546 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It is a kind of macro compression then, I suppose, which seems to be better for manual coding < 1415406952 517520 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :...right. I knew these thoughts were too familiar to be my own. < 1415406955 840871 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(it works differently, but has a similar flavor) < 1415406981 223861 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :DEFLATE seems to work better than LZW anyways < 1415406995 704451 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :LZW does not give you RLE. < 1415407000 951088 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :*Argh*. Anyone else having trouble accessing Google via IPv6? < 1415407061 426687 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: that url is so ironic < 1415407070 895395 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(more to the point, LZW takes too long to build up long words in its dictionary, while back references of arbitrary length are immediately available in deflate) < 1415407078 737027 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lempel, ziv and welch are such great names. < 1415407111 15543 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like a trio of gnomes or something < 1415407138 436815 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: ironic, hmm. < 1415407183 251993 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: oh well I didn't find your "obvious pun" yesterday (braint rust compiler) all that obvious either. < 1415407197 683346 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: the en dashes are encoded rather verbosely. < 1415407576 972497 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : didn't there used to be " [...] that sword alone can't stop! that sword alone can't stop! that sword alone can't stop! that sword alone can't" in the qdb. <-- not that i remember < 1415407577 156464 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: 3. no not-y are x. i.e. all houses, that are not built of brick, are not at home, music ( elveston doesn't give dinners), 8 p.m. carriages at 10. there you are again!" < 1415407621 941935 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: you PHILISTINES don't deserve my humør < 1415407691 36715 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote fungot < 1415407691 259152 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: ' yes, it's all right: eric has got his fnord and she was now the right size for going through the little door, had vanished all in a moment. she looked up eagerly. < 1415407691 585794 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :10) GregorR-L: i bet only you can prevent forest fires. basically, you know. \ 13) Finally I have found some actually useful purpose for it. \ 14) oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! executing program. plea < 1415407735 528892 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote 14 < 1415407737 345985 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :14) oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! executing program. please let me go... put me out! he's really a tricycle! pass him! < 1415407750 284837 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's the same style, at least < 1415407754 556866 :boily!~alexandre@96.127.201.149 QUIT :Quit: OPTIMAL CHICKEN < 1415407760 998353 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I still don't get the tricycle oots reference < 1415407785 140587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think that's oots but ct? < 1415407799 503445 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm < 1415407804 346712 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style ct < 1415407804 530624 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: ct (Chrono Trigger game script) < 1415407821 232747 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not that i know the game but it's the same impression as those quotes < 1415407824 911166 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :now if only I could get fungot to include a keyword like tricycle < 1415407825 95469 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: but, we are far outnumbered! dalton! leave her alone! i...i'm so relieved. peace is ours! crono!! they're escaping! < 1415407843 201296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastequotes fungot < 1415407843 385293 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: your majesty! and queen. he and a friend left on a journey 10, then magic damage will be reduced by 10%. a star after any characteristic means it's at maximum strength! no matter what the price! it is, you idiot! hey! is that for us! the chef's in a snit, trying to get food to the front lines. heard a spell to energize the sword takes immense evil! indeed! this thing. what you have? transform! this trading house. it's t < 1415407845 11335 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.31012 < 1415407917 342827 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot got tricycles? < 1415407917 526607 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: you are strong of will...! that's the pendant the gurus and miss you. not interested. all time periods as well, now live in a world that knows hope. < 1415407925 904057 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style oots < 1415407926 87915 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: oots (Order Of The Stick) < 1415407928 136061 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot got tricycles? < 1415407928 389392 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: my name is " roy's archon" stinks. haley, i know, i was, uh,, we would like my mode of transit returned, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, l < 1415407936 803976 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ok, that's also good. < 1415407957 776606 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style < 1415407957 981432 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots* pa qwantz sms speeches ss wp youtube < 1415407962 564742 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^alice < 1415407966 8605 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style alice < 1415407966 192594 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: alice (Books by Lewis Carroll) < 1415407979 295629 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :I could compress that < 1415407979 546609 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: bread? or taxes? < 1415407979 730570 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: fnord, the only two, available for fnord, two excellent fnord, one against fire, and one to go. arthur said, looking after him with admiring eyes. " most orators are born, you know. there's glory for you!" < 1415408030 966407 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: there's some nice compression corpuses (corpi?) you might want to test against < 1415408034 717667 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`quote 709 < 1415408035 246890 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :709) elliott: fibonacci heaps, trinomial heaps, fat heaps, thin heaps, fat heaps, thin heaps, fat heaps, relaxed heaps, and maybe even specifically optimized by the implementation < 1415408035 940378 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(wow) < 1415408061 62778 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :most of all I want to increase the VM instructionsfrom just emit and backref < 1415408073 551326 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :but i dont have a good idea of hat < 1415408074 649483 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :what < 1415408094 377646 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://corpus.canterbury.ac.nz/descriptions/ < 1415408100 932527 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: InsertBibleQuote Int {- book -} Int {- chapter -} Int {- verse -} < 1415408106 697317 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is relaxed heap a thing < 1415408112 149068 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@google relaxed heap < 1415408115 73789 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://www.cs.gsu.edu/~wkim/index_files/papers/relaxedheap.pdf < 1415408115 257877 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Title: Relaxed Heaps: An Alternative to Fibonacci Heaps with Applications to Paralle... < 1415408115 637899 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/Insert/Emit/ < 1415408117 783723 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm a relaxed heap < 1415408146 918965 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: grow some backbone < 1415408156 198864 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1415408182 514820 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :> InsertBibleQuote 9 17 1 < 1415408183 563007 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: data constructor ‘InsertBibleQuote’ < 1415408184 362900 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote 586 < 1415408184 914609 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :586) anyway fungot is the only esolang irc bot I know of that doesn't depend on nethack or a similar helper < 1415408186 616457 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu PRIVMSG #esoteric :bullshit < 1415408196 541254 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh man i forgot about van pelt's semiautomatic elephant gun < 1415408200 757749 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wish i had one o' them < 1415408222 711972 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :int-e: But there is also version of Bible? < 1415408248 486123 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: well, if somebody quotes the wrong version, they'll get worse compression < 1415408303 721443 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :good way to promote kjv version < 1415408311 341756 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :er. < 1415408314 734223 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*good way to promote the kjv < 1415408327 46267 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: version version < 1415408327 230789 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: " should it not be read out, at once." and when they wake up in the air when you tumble? legs are meant to walk with, you know.' < 1415408343 281206 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :does the alice style ever loop fungot? < 1415408344 424074 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :okay, the plural is "corpora". < 1415408353 587436 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: hey! < 1415408361 395709 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you could say they're corporate. < 1415408387 840295 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :stop! next you'll start talking about incorporation. < 1415408411 375011 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's the term for when you include something in a corpus, right? < 1415408425 823524 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :And what about quotation with ellipsis and that stuff? < 1415408430 182695 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :they're not corporeal, though < 1415408434 509413 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: yes < 1415408459 881522 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: you're ruining the joke :( < 1415408613 576354 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the joke is corpurted < 1415408713 738530 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu QUIT :Ping timeout: 244 seconds < 1415409458 700374 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Burrows%E2%80%93Wheeler_transform < 1415409461 825568 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :this seems impossible to me < 1415409529 528056 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what do you mean, "impossible"? < 1415409557 849973 :MoALTz_!~no@user-188-33-211-16.play-internet.pl JOIN :#esoteric < 1415409575 123951 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :it permutes the string in such a way that it's easier to compress < 1415409583 576462 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :and its' claimed you can undo this permutation without any extra info < 1415409589 917306 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :how can you undo it? < 1415409602 65535 :J_Arcane_!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi JOIN :#esoteric < 1415409630 258551 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the claim rests on the EOF character. < 1415409632 547554 :nortti_!nortti@nano.smar.fi JOIN :#esoteric < 1415409640 710912 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :interesting! < 1415409651 390412 :sebbu2!~sebbu@ADijon-152-1-30-87.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1415409651 574276 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :so the special EOF char signals when you've "unpermuted' < 1415409667 839776 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(any cyclic shift of a string has the same BWT result) < 1415409675 269429 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :vanila: http://marknelson.us/1996/09/01/bwt/ < 1415409688 334936 :sebbu2!~sebbu@ADijon-152-1-30-87.w83-194.abo.wanadoo.fr QUIT :Changing host < 1415409688 518897 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1415409721 331632 :nortti!nortti@nano.smar.fi QUIT :Ping timeout: 244 seconds < 1415409721 637973 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 244 seconds < 1415409722 400477 :mroman!~roman2@fmnssun.ibone.ch QUIT :Ping timeout: 244 seconds < 1415409724 120344 :MoALTz!~no@user-188-33-211-16.play-internet.pl QUIT :Ping timeout: 244 seconds < 1415409725 492318 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi QUIT :Ping timeout: 244 seconds < 1415409725 492458 :yiyus!1242712427@je.je.je QUIT :Ping timeout: 244 seconds < 1415409732 181055 :J_Arcane_!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi NICK :J_Arcane < 1415409747 573201 :mroman!~roman2@fmnssun.ibone.ch JOIN :#esoteric < 1415409757 751492 :yiyus!1242712427@je.je.je JOIN :#esoteric < 1415409795 470518 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: but for intuition, note that from the last column of the sorted rows, you can reconstruct the first column (because that's just all letters, in order). < 1415409823 711435 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: it's a bit harder to see that this kind of idea works for all columns. So you can reconstruct the cycle. < 1415409834 448729 :nys!~nys@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :oh the wikipedia article has diagrams too < 1415409849 249097 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :I get it now! thanks a lot < 1415409925 972333 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: there are two ways to identify the cyclic shift; either you have some EOF symbol, or you can add an additional index identifying the shift. < 1415409973 727608 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I recall that it's fun to work out the details. I did that once about 15 years ago. < 1415409979 693650 :MoALTz__!~no@user-188-33-211-16.play-internet.pl JOIN :#esoteric < 1415410074 487337 :MoALTz_!~no@user-188-33-211-16.play-internet.pl QUIT :Read error: Connection reset by peer < 1415410124 530934 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Right. 1999. http://www.hugi.scene.org/compo/compoold.htm#compo7 < 1415410200 221964 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1415410373 5969 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nice, I was 3 when you were doing that :I < 1415411201 884663 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1415411235 233298 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :How many seconds between the adoption of the Gregorian calendar and the UNIX epoch? < 1415411251 34104 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(I need to know this so that I can generate a UUID.) < 1415411296 764831 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it depends < 1415411317 615406 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1415411373 356556 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Depend on what? < 1415411388 46913 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(The October revolution happened in November according to the Gregorian calendar, but Russia had not adopted it yet.) < 1415411394 642819 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Location. < 1415411433 61093 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :did original unix use UTC timestamps (well, I guess UTC didn't exist then...) or bell labs local time? < 1415411436 906329 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Well, I need the number which is correct for generating a UUID. < 1415411498 676868 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 250 seconds < 1415411503 323852 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :0:00, 15th October 1582 apparently < 1415411583 495988 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so rfc 4122 comes with examples code: *uuid_time = ((unsigned64)tp.tv_sec * 10000000) + ((unsigned64)tp.tv_usec * 10) + I64(0x01B21DD213814000); < 1415411605 272061 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :O, sorry I didn't notice that. < 1415411605 556893 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> 0x01B21DD213814000 < 1415411606 900576 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 122192928000000000 < 1415411637 386101 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> 0x01B21DD213814000 `mod` 86400 < 1415411638 687514 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0 < 1415411642 477387 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> 0x01B21DD213814000 `div` 86400 < 1415411643 916981 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1414270000000 < 1415411651 817679 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> 0x01B21DD213814000 `div` 86400000000 < 1415411653 339874 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1414270 < 1415411680 712286 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Why isn't RFC 4122 based on UNIX epoch, anyways? < 1415411744 602392 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wait, the unit is 10^-7 seconds? < 1415411764 162699 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> (0x01B21DD213814000 `div` 864000000000) `divMod` 365 < 1415411765 551219 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (387,172) < 1415411815 732007 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1415411898 284816 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :right. 94 leap days, and 78 days to the end of the year 1582. No leap seconds. < 1415412549 567534 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: fancy, apparently NTFS stores file times as 10ps units since 1601-01-01 00:00:00. So there's a motivation for having a starting date before that. Anyway, the Gregorian calendar has been in continuous use since 1582, so that's a good starting point as any. < 1415412659 86259 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :O, OK < 1415412679 93556 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But there were no MAC addresses in 1601, isn't it? < 1415412680 521328 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :No, not 10ps, 100ns, unit, same as UUID. < 1415412695 384862 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ye olde ethernet < 1415412743 194433 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So it appears that the MS affiliation of the first RFC author played some role in that design. < 1415412772 449101 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :A better choice might have been the time of the invention of MAC addresses, for the purpose to figure out what reference time should be used for UUID. < 1415412787 632193 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nah < 1415412798 696175 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it'd be just another totally arbitrary choice. there is no right one. < 1415412858 858438 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :be glad that the unit isn't femtofortnights. < 1415412991 671576 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(even though that would give a better resolution!) < 1415413003 571191 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I see no reason to store a timestamp prior to the invention of MAC addresses into a UUID anyways, though. < 1415413018 374013 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I don't care. < 1415413031 608022 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Arbitrary choices are arbitrary. < 1415413124 814589 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Not entirely since it is possible to run out in future. < 1415413164 229632 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Although, they can post a new RFC by then I suppose. < 1415413190 133544 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Still, they could have avoided this. < 1415413373 184617 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I also don't care whether UUIDs will run out in 5237 or 5625. < 1415413395 708008 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(besides, "For UUID version 4, the timestamp is a randomly or pseudo-randomly generated 60-bit value, as described in Section 4.4.") < 1415413931 975397 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I am curious to know, when were MAC addresses invented anyways? < 1415414053 709264 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :requiring timestamps for things like UUIDs are a bit iffy. < 1415414065 835366 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :synchronised clocks are a luxury < 1415414068 624773 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*is a bit < 1415414081 680335 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Another idea is if eventually they would make a new version that instead of a MAC address it uses a missile address (including elevation) and a process ID. < 1415414142 402544 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :i think you'll find that simultaneity is an illusion < 1415414174 69401 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Language_identification_in_the_limit How can I use this for compression? < 1415414191 378894 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :elliott: Well, as long as you know the MAC address is for a device for your own use during the time which is represented in the UUID, it should be OK, isn't it? < 1415414204 600189 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: you don't necessarily know the time < 1415414221 682111 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: beats me. I got there from the solomonoff induction article < 1415414232 668449 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which you *can* use for compression if you don't believe in church-turing < 1415414370 412998 :jameseb!~jameseb_@runciman.hacksoc.org QUIT :Ping timeout: 240 seconds < 1415414400 73321 :Taneb!~Taneb@runciman.hacksoc.org QUIT :Ping timeout: 245 seconds < 1415414469 923872 :jameseb!~jameseb_@213.138.101.13 JOIN :#esoteric < 1415414470 107577 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1415414567 974556 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :no turing machines pleas < 1415414670 215588 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can use any model of computation for solomonoff induction < 1415414678 808177 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :elliott: I know, but you should know approximately; therefore you need to avoid the timestamps corresponding to the possible error in the measurement of the time. (Due to relativity it is impossible to know exactly, but the units you use shouldn't cause a problem with that.) < 1415414682 381948 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's agnostic to that, like kolgomorov complexity (the two are intimately related) < 1415414716 362261 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :i understand solomonoff induction and the halting problem < 1415414767 307385 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :me too < 1415414768 296537 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :just want really simple subturing stuff so there might be good algorithms for compression < 1415414805 447985 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(just to clarify, by using solomonoff induction for compression, I meant using it as the predictive model in, e.g. an adaptive arithmetic coder. which is uncomputable but effective.) < 1415414815 437914 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(not disagreeing with you though.) < 1415414823 34717 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :mm intersting < 1415414856 203996 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :I wonder if a compression scheme could work by building an NFA < 1415414858 998634 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(it is the "optimal" compression algorithm, modulo constant factors, for any data which has a computable probability distribution, so you can think of it as a perfect compressor in a sense.) < 1415414868 536852 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :and then providing a sequence of instructions: which branches to take < 1415414884 783949 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION nods
< 1415415123 264255 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :the example of learning regexes from test data is fun < 1415415167 8348 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes. unfortunately compressors operate on arbitrary data so no string is ever truly "not in the language" < 1415415178 406040 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but maybe you can rephrase the whole thing to be about /probability/ of strings rather than possibility. < 1415415220 247820 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :And then you're describing an interesting variant of arithmetic coding. < 1415415565 7422 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Sequitur_algorithm < 1415415574 215564 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :that grammar idea already existed < 1415415625 739553 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :why deoes it have to be digrams though? < 1415415630 584693 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :could it be more efficient to use n-grams < 1415415646 382721 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sadly I rate my chances of having an original thought about data compression extremely low < 1415415661 121835 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, I suppose that was mostly your idea < 1415415779 567325 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :http://www.sequitur.info/ < 1415415786 385366 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Well, it is possible other people can have similar idea. < 1415415789 671922 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :isnt ths zzo38's language? < 1415415900 174829 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo's language is named after a nursery rhyme < 1415415909 672498 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Pease_Porridge_Hot < 1415415926 952563 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :i see < 1415415937 446977 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :this pag lets you compress pease porridge hot programs well < 1415415990 997908 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hehe < 1415416079 237927 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :O, it even includes music. I did think of possibly using such thing with music. < 1415416300 980325 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :sequitur works in linear time < 1415416309 584047 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :I imagine you can compress better than it does < 1415416761 198885 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I need a version which is restricted to right regular grammars. < 1415416882 520155 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(Except for S, which is allowed to consist of any string of terminals and nonterminals, as long as the number of distinct nonterminals it includes is limited to a specified maximum.) < 1415416958 488571 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Is there such a thing? < 1415417042 176343 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Actually there is a further restriction I missed, too. < 1415417257 509579 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :zzo38, imconfused about the definition of right regular grammar < 1415417269 422422 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :it says the priductions must be of the form < 1415417271 70772 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :A -> a < 1415417274 205407 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :A -> bC < 1415417278 127171 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :A -> epsilon < 1415417294 488058 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :so there's no way for one rule to expand into multiple other rules < 1415417297 383319 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :how can i tcompress anything? < 1415417483 581346 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes, it is why I have said that the start symbol is allowed to expand into multiple other rules. (The resulting compression isn't very good, but it is something I have needed.) < 1415417530 255557 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1415418049 933701 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1415418050 117524 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1415418238 339682 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1415418459 965607 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 265 seconds < 1415418492 805930 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1415418493 46852 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1415419424 383261 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :What restrictions are there on the filename in a #line directive in a C program? < 1415419497 523308 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :there is no filename in a #line directive < 1415419499 925833 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Is the file required to actually exist? Is it limited to the length required by the operating system? Are special symbols allowed? < 1415419558 830264 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :coppro: Are you sure? < 1415419589 617268 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yes. you may be thinking the #file directive < 1415419609 332089 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :orr... hmm < 1415419614 321616 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :no, apparently you're right < 1415419614 853047 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :nvm < 1415419637 803520 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :The only requirement is that it is a valid string literal < 1415419650 732418 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :(I was confusing the directives and built-in macros) < 1415419656 223953 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"The string literal of a #line directive, if present, shall be a character string literal." - no wide characters, I guess. < 1415419859 99131 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which makes sense, because __FILE__ has to expand to a character string literal. < 1415419954 399367 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so the N1570 document (C11 draft) contains the word "presumed" exactly 6 times, and 5 of them refer to "presumed file name" or "presumed line number". < 1415420029 450845 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Yep, a translation unit doesn't have to map to a file at all. < 1415420098 589524 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` cpp < /dev/null < 1415420099 423424 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​# 1 "" \ # 1 "" \ # 1 "" < 1415420791 354107 :Bicyclidine!~Glossina@cpe-69-76-20-231.natnow.res.rr.com JOIN :#esoteric < 1415420955 202570 :nys!~nys@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1415421763 436774 :MDude!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net NICK :MDream < 1415421869 899642 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Remote host closed the connection < 1415421962 701500 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :The bzip2 documentation says that the BZ_CONFIG_ERROR return value from the API functions "Indicates that the library has been improperly compiled on your platform -- a major configuration error. Specifically, it means that sizeof(char), sizeof(short) and sizeof(int) are not 1, 2 and 4 respectively, as they should be." < 1415421977 148677 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But, I fixed it now so that it is a compiling error instead. < 1415422003 559847 :Bicyclidine!~Glossina@cpe-69-76-20-231.natnow.res.rr.com PRIVMSG #esoteric :wow, why would that be a runtime error? < 1415422021 159822 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I don't know, but for some reason they made it a runtime error. < 1415422049 753093 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Also, why the heck does it care about sizeof(short) and sizeof(int)? < 1415422062 593854 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :uint16_t and uint32_t, seriously. < 1415422071 850848 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Tell Julian Seward to fix it please. < 1415422093 948152 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Though of course something with sizeof(char) being != 1 is pretty incredibly broken. < 1415422172 734581 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(It is possible to send a patch; I have fixed the program myself so this can be possible.) < 1415422624 540886 :MoALTz!~no@user-188-33-211-16.play-internet.pl JOIN :#esoteric < 1415422721 974564 :MoALTz__!~no@user-188-33-211-16.play-internet.pl QUIT :Ping timeout: 264 seconds < 1415422754 56164 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :pikhq: Maybe they want to use C89 instead of C99? < 1415422769 99273 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Meh, fuck that. < 1415422778 860211 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :Even *Microsoft* has moved on. < 1415423174 3695 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1415423881 349256 :Bicyclidine!~Glossina@cpe-69-76-20-231.natnow.res.rr.com QUIT :Ping timeout: 264 seconds < 1415423910 318179 :Bicyclidine!~Glossina@cpe-69-76-20-231.natnow.res.rr.com JOIN :#esoteric < 1415424030 562377 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :pikhq: GGGGC rewritten, 10x more amazing. < 1415424414 786783 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I want to make up, a slight variant of VLQ. The difference is that if the high bit of the first octet of a VLQ is set, that octet's value is considered one more (i.e. 1 to 128). < 1415424452 826609 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: huh, what did you do to it? < 1415424458 806045 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :What is your opinion this variation of such thing? < 1415424517 660850 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :elliott: Better object model, thread safe. < 1415424531 630281 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Far greater potential for a correct implementation of finalizers, too. < 1415424536 537513 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: does it have compiler instrumentation yet? :p < 1415424555 327801 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(I think LLVM can support precise GC...) < 1415424645 570126 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :That'd be nice X-D < 1415424692 146829 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :would still break on, like, xor linked lists and stuff, but I bet most stuff would only require minor patches at most with a cooperating compiler < 1415424990 707298 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Well nothing is going to make it work with storing xor'd pointers. < 1415425366 837145 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah. < 1415425384 479855 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, no. that's not strictly true. < 1415425393 865795 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you could add support for telling it where xor'd pointers are and what they're xor'd with. < 1415425396 880403 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if you really wanted to. < 1415425659 357038 :Bicyclidine!~Glossina@cpe-69-76-20-231.natnow.res.rr.com QUIT :Ping timeout: 272 seconds < 1415425759 866121 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :This is like when I was arguing with cpressey saying that a C-like language couldn't be typesafe without GC, so he made a language that had every part of a GC except the actual collection. < 1415425808 281756 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :garbage? < 1415425857 889017 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So it had allocation? < 1415425957 953959 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :shachaf: And tracing. It just didn't actually reclaim any space. < 1415426026 269603 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh. the argument is that when casting a (void *) pointer to something else, you need to check that the thing pointed to has that type? < 1415426096 224074 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but it's probably more complicated than that. < 1415426690 295696 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Do you know if any emulators do these things or if anyone will write an emulator to do these things? http://vt100.net/vt100_oddities < 1415427070 420054 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"A airport that has worked hard to change its given code is Sioux City's Sioux Gateway Airport—SUX. Mayor Craig Berenstein described the SUX code as an "embarrassment". City leaders petitioned the FAA to change the code in 1998 and again in 2002. At one point the FAA offered the city five alternatives—GWU, GYO, GYT, SGV and GAY" < 1415427084 629242 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :GAY airport, formerly SUX < 1415427406 988807 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi PART :#esoteric < 1415427418 626182 :J_Arcane!~chatzilla@dsl-trebrasgw2-50de97-172.dhcp.inet.fi JOIN :#esoteric < 1415428520 821430 :vanila!~user@unaffiliated/vanila QUIT :Quit: Leaving < 1415429135 731092 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-asdaqtqsgaiijcms QUIT :Ping timeout: 265 seconds < 1415429189 586691 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-yvubrcxtkcpvnisq JOIN :#esoteric < 1415429472 644885 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-yvubrcxtkcpvnisq QUIT :Ping timeout: 260 seconds < 1415429762 656999 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-wnxqrwpqifsgbqow JOIN :#esoteric < 1415431546 332329 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Huh. There was a reCAPTCHA, and it only had a "[ ] I'm not a robot" checkbox, and that was all. < 1415431553 66108 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe it's part of their reputation thing. < 1415431833 900267 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Is this a correct UUID? 1019EA00-6717-11E4-AEFC-0009BF2D3438 < 1415432031 57697 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :fizzie: I thought reCAPTCHA was a specific captcha < 1415432054 739540 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Non-big sites can generally get away with just a reading comprehension check, or at least I'm under that impression < 1415432072 514357 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no, they can't. < 1415432076 289918 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :unless you consider esolang big < 1415432104 465459 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Huh. < 1415432117 219702 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :qntm seems to not have any issues < 1415432235 834979 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :probably just because of using custom software. < 1415432241 338305 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :security by obscurity is not great < 1415432675 400308 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sgeo: reCAPTCHA *is* a specific captcha (system), but they have several things they can show to the user. < 1415432679 488329 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Can you please tell me if this UUID seem to be correct to you? < 1415432729 170211 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://stackoverflow.com/questions/25545514/how-does-this-checkbox-recaptcha-work-and-how-can-i-use-it <- looked like this, except in English. < 1415432896 371260 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1415433090 328319 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1415434766 107604 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fun fact: you can't use gforth's C FFI on anagol in any problem where exec is denied, because it involves calling libtool and gcc and whatnot, and those haven't been counted in the usual processes required by gforth. < 1415434876 335736 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh < 1415434880 800300 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that sounds like a slow way to do FFI < 1415435150 611499 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think it's a on-first-call-only kind of thing, but still, sure. < 1415435363 464229 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It compiles a wrapper function that pops the argument off the Forth stack, calls the specified C function, and pushes the return value back.) < 1415435631 793875 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :So... every language uses the same name for different things < 1415435696 421896 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :In Scala, collect is generally like a map that takes a partial function. In Rust, it lets you make a collection out of an iterator. In Smalltalk, it's map < 1415435721 342355 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :In Smalltalk, select is filter, in C#, Select is map < 1415435746 743568 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :At least in Rust select does something not related to collections at all < 1415436045 513550 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :and flammable and inflammable mean the same thing!! < 1415436439 153465 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in ruby it's map < 1415436450 48589 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(collect) < 1415437434 378456 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Is it possible with GNU C compiler to make it a compiler error to call a specific function, but it is not an error to use it with typeof and stuff like that, and also is not an error if it is used in a position where it is optimized out? < 1415438072 701867 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess you can't just not provide a definition for the function, so that it would lead to a linker error if it actually got called? < 1415438276 154597 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Even so, it would only make it a link error and not a compile error. < 1415438350 970898 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, there is actually an attribute for it. < 1415438369 62870 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"error ("message") -- If this attribute is used on a function declaration and a call to such a function is not eliminated through dead code elimination or other optimizations, an error that includes message is diagnosed." < 1415438402 753493 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :OK < 1415438486 495784 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Is there a way to make it to ignore such a declaration if another declaration of the same function already exists before this one? < 1415438667 596027 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1415438817 581294 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The basic thing seems to work -- http://sprunge.us/DYfi -- but I don't know of a way to do that second thing. < 1415438824 760142 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de QUIT :Ping timeout: 260 seconds < 1415438883 575091 :Melvar!~melvar@dslb-088-078-146-232.088.078.pools.vodafone-ip.de QUIT :Ping timeout: 272 seconds < 1415439974 175508 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: I am baffled that a random highly-specific zzo38 request actually exists in gcc. < 1415440040 153140 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So am I. I knew about the deprecated attribute, but it applies to all uses. The whole "only if not optimized out" thing seemed so unlikely to exist. < 1415440563 241231 :Melvar!~melvar@dslb-088-078-146-232.088.078.pools.vodafone-ip.de JOIN :#esoteric < 1415440954 293286 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 244 seconds < 1415442060 829485 :drdanmaku!uid17782@gateway/web/irccloud.com/x-mdxpjrphvnvdnyeb QUIT :Quit: Connection closed for inactivity < 1415443709 782696 :CADD!~CADD@12.227.104.109 JOIN :#esoteric < 1415444699 681888 :MoALTz!~no@user-188-33-211-16.play-internet.pl QUIT :Quit: Leaving < 1415445177 170072 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck algorithms14]]4 10 02http://esolangs.org/w/index.php?diff=40806&oldid=40696 5* 03YoYoYonnY 5* (+813) 10 < 1415447585 74116 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type execStateT < 1415447585 835957 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Monad m => StateT s m a -> s -> m s < 1415448331 442769 :blsqbot2!~blsqbot2@208-214.62-81.cust.bluewin.ch JOIN :#esoteric < 1415448336 462032 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsQ "abc"iT < 1415448336 701057 :blsqbot2!~blsqbot2@208-214.62-81.cust.bluewin.ch PRIVMSG #esoteric : {"" "a" "ab" "abc"} < 1415448353 812797 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsQ 10ro{?i?i}m[ < 1415448354 25787 :blsqbot2!~blsqbot2@208-214.62-81.cust.bluewin.ch PRIVMSG #esoteric : {3 4 5 6 7 8 9 10 11 12} < 1415448359 511813 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsQ 10rom{?i?i} < 1415448359 694744 :blsqbot2!~blsqbot2@208-214.62-81.cust.bluewin.ch PRIVMSG #esoteric : {3 4 5 6 7 8 9 10 11 12} < 1415448367 56925 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsQ 10rom{10ro)?i} < 1415448367 239944 :blsqbot2!~blsqbot2@208-214.62-81.cust.bluewin.ch PRIVMSG #esoteric : {{2 3 4 5 6 7 8 9 10 11} 1 {2 3 4 5 6 7 8 9 10 11} 2 {2 3 4 5 6 7 8 9 10 11} 3 { < 1415448376 746287 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsQ 10rom{10ro} < 1415448376 929404 :blsqbot2!~blsqbot2@208-214.62-81.cust.bluewin.ch PRIVMSG #esoteric : {{1 2 3 4 5 6 7 8 9 10} 1 {1 2 3 4 5 6 7 8 9 10} 2 {1 2 3 4 5 6 7 8 9 10} 3 {1 2 < 1415448381 127137 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hu < 1415448387 296150 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 10ro{10ro}m[ < 1415448387 770188 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{1 2 3 4 5 6 7 8 9 10} 1 {1 2 3 4 5 6 7 8 9 10} 2 {1 2 3 4 5 6 7 8 9 10} 3 {1 2 < 1415448392 928870 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1415448400 143389 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 10ro{ro{?i}m[}m[ < 1415448400 326532 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{2} {2 3} {2 3 4} {2 3 4 5} {2 3 4 5 6} {2 3 4 5 6 7} {2 3 4 5 6 7 8} {2 3 4 5 < 1415448406 440676 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsQ 10rom{ro{?i}m[} < 1415448406 623726 :blsqbot2!~blsqbot2@208-214.62-81.cust.bluewin.ch PRIVMSG #esoteric : {{2} {2 3} {2 3 4} {2 3 4 5} {2 3 4 5 6} {2 3 4 5 6 7} {2 3 4 5 6 7 8} {2 3 4 5 < 1415448408 969796 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1415448419 743743 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: m{} is now a "MapBlock" < 1415448424 176651 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which is short for {}m[ < 1415448500 867551 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If you have other ideas for Blocks let me know < 1415448513 913494 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(i'll implement also Filter and Reduce blocks as r{ and f{) < 1415448555 138186 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(i'll also implement a slice+marker) < 1415448556 37419 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :like < 1415448593 827333 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :|[5 5.+]| will evaluate to {10} whereas {5 5.+} is {5 5.+} < 1415448604 407058 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :|[ is a marker and ]| just slices the stack to the next marker < 1415449166 362185 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1415449198 382491 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :does parsec have an "exactly n-times"? < 1415449265 460696 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. manyN 5 (string "5" >> optional spaces) < 1415449267 385125 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :kinda like that < 1415449387 146492 :MoALTz!~no@user-188-33-211-16.play-internet.pl JOIN :#esoteric < 1415449453 566214 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Parsec is a monad < 1415449459 398325 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can just use replicateM{,_} < 1415449488 354624 :Lymia!~fujoshi@inportb/loli/cirno-chan PRIVMSG #esoteric :blsq is confusing < 1415449548 526890 :blsqbot2!~blsqbot2@208-214.62-81.cust.bluewin.ch QUIT :Ping timeout: 265 seconds < 1415449774 94028 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Lymia: I think you hurt its feelings < 1415449783 910664 :Lymia!~fujoshi@inportb/loli/cirno-chan PRIVMSG #esoteric :Opps < 1415449972 205436 :Lymia!~fujoshi@inportb/loli/cirno-chan PRIVMSG #esoteric :!blsq "abc"+. < 1415449972 389865 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : No output! < 1415449974 565374 :Lymia!~fujoshi@inportb/loli/cirno-chan PRIVMSG #esoteric :!blsq "abc""abc"+. < 1415449974 775036 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : No output! < 1415450009 56295 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :!blsq myhovercraftisfullofeels < 1415450009 279405 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Unknown command: (ls)! < 1415450343 292066 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 250 seconds < 1415450858 452886 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1415451716 935662 :nortti_!nortti@nano.smar.fi NICK :nortti < 1415451826 246682 :boily!~alexandre@96.127.201.149 QUIT :Quit: WeeChat 1.0.1 < 1415451957 802891 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Dimensions14]]4 N10 02http://esolangs.org/w/index.php?oldid=40807 5* 03TomPN 5* (+4945) 10Created page with "'''Dimensions''' is an esoteric programming language invented by Tom Price-Nicholson in 2014. It was inspired by a class of esolangs called fungeoids (although it may not be a..." < 1415452085 383203 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Musical notes14]]4 10 02http://esolangs.org/w/index.php?diff=40808&oldid=40785 5* 03TomPN 5* (+133) 10/* Notes */ < 1415452101 603370 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1415452142 326183 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02http://esolangs.org/w/index.php?diff=40809&oldid=40791 5* 03TomPN 5* (+17) 10/* D */ < 1415452219 488242 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Dimensions14]]4 10 02http://esolangs.org/w/index.php?diff=40810&oldid=40807 5* 03TomPN 5* (-6) 10/* Motion */ < 1415452275 144762 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Dimensions14]]4 10 02http://esolangs.org/w/index.php?diff=40811&oldid=40810 5* 03TomPN 5* (+4) 10/* Disclaimer */ < 1415452384 238049 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Dimensions14]]4 10 02http://esolangs.org/w/index.php?diff=40812&oldid=40811 5* 03TomPN 5* (+66) 10 < 1415452434 742178 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Musical notes14]]4 10 02http://esolangs.org/w/index.php?diff=40813&oldid=40808 5* 03TomPN 5* (+68) 10 < 1415452891 165884 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "abc""abc".+ < 1415452891 348551 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "abcabc" < 1415452900 30955 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "abc""abc".+ < 1415452900 213924 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : No output! < 1415452905 332448 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :don't put a space there ;) < 1415452934 464533 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq < 1415452934 647561 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : No output! < 1415453694 894567 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq }oerjan!! < 1415453695 77921 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : No output! < 1415453726 933900 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :everything after an unmatched } is a comment. < 1415453742 753858 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 5 5.+ }hth < 1415453742 936696 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 10 < 1415453766 649428 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 10ro?i }?i can be used on lists too < 1415453766 832329 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {2 3 4 5 6 7 8 9 10 11} < 1415454007 874025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1415454054 788445 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and it's totally not a bug in the parser! < 1415454215 952196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed! < 1415454539 394999 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1415454725 730938 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1415455160 674352 :drdanmaku!uid17782@gateway/web/irccloud.com/x-zwcgspeollnqciqv JOIN :#esoteric < 1415455517 969441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : does parsec have an "exactly n-times"? <-- count, although what elliott said too. i was going to say count might be more efficiently implemented than the obvious way (like "many" is), but it's code is actually identical to replicateM except for a redundant <= 0 check. < 1415455539 191147 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :parsec duplicates a lot of things < 1415455540 774134 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like (<|>) < 1415455583 733089 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :its duplicated <|> has a different precedence < 1415455632 109412 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :parsec's <|> is weird. < 1415455633 939225 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :one which might have been better for the Alternative version too, the Applicative/Alternative operators have annoyingly different fixities from their Monad analogies. < 1415455731 858795 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically it _looks_ on first glance like whoever chose the fixities for Applicative operators borrowed ocaml's "choose precedence based on first character" rule < 1415455798 663269 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and put things around where < is < 1415455848 655742 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(although <|> has 3) < 1415455936 916744 :Melvar!~melvar@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :oerjan: I didn’t know the analogous monad functions had fixities. < 1415455948 251297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well mplus doesn't < 1415455951 844994 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but >> does < 1415456000 743204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what i'm saying is, the applicative ones are not designed to mix well with the monadic ones < 1415456021 769267 :Melvar!~melvar@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :Oh. I didn’t think of (>>), just mplus and ap. < 1415456022 654848 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I was thinking of adding m < 1415456024 198464 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. < 1415456034 610367 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :m{9.+} would be m29.+ < 1415456073 597109 :Melvar!~melvar@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :Hm. < 1415456075 491384 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman: that's making the parsing annoyingly specific, isn't it? < 1415456081 767082 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::) < 1415456087 430439 :Melvar!~melvar@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :( :doc (<$>) < 1415456089 718354 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it also makes code harder to read < 1415456090 559092 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but hey < 1415456093 403114 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It saves one byte! < 1415456098 355602 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i mean, extending m{ to a general "letter"{ rule would be reasonable < 1415456109 985221 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de JOIN :#esoteric < 1415456111 449034 :Melvar!~melvar@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :( :doc (<$>) < 1415456111 633082 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :09(<$>) : 12Applicative 13f => 13f (13a -> 13b) -> 13f 13a -> 13f 13b < 1415456111 817095 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric : infixl 2 < 1415456111 817236 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :09(<$>) : 12Eff (13a -> 13b) 13xs (\13v => 13xs) -> 12Eff 13a 13xs (\13v7 => 13xs) -> 12Eff 13b 13xs (\13v8 => 13xs) < 1415456111 817315 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric : infixl 2 < 1415456111 817390 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :09(<$>) : (13f 12= 13g) -> (13x 12= 13y) -> 13f 13x 12= 13g 13y14↵… < 1415456124 103603 :Melvar!~melvar@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :( :doc (<|>) < 1415456124 327258 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :09(<|>) : 12Alternative 13f => 13f 13a -> 13f 13a -> 13f 13a < 1415456124 327412 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric : infixl 3 < 1415456131 628246 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it looks like theres a 29 in there < 1415456135 192719 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but it's infactc m2 9 .+ < 1415456136 85497 :Melvar!~melvar@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :( :doc ($>) < 1415456136 270827 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :09($>) : 12Applicative 13f => 13f 13a -> 13f 13b -> 13f 13b < 1415456136 270970 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric : infixl 2 < 1415456137 634681 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*infact < 1415456144 700502 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*in fact < 1415456145 186328 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman: i vaguely thought one of the qualities of burlesque was that its parsing was relatively logical < 1415456152 729413 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wait < 1415456159 339376 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You thought Burlesque has qualities? < 1415456159 532011 :Melvar!~melvar@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :( :doc (>>=) < 1415456159 716201 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :09(>>=) : 12Eff 13a 13xs 13xs' -> ((13val : 13a) -> 12Eff 13b (13xs' 13val) 13xs'') -> 12Eff 13b 13xs 13xs'' < 1415456159 900316 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric : infixl 5 < 1415456159 900452 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :09(>>=) : (13x 12= 13y) -> ((13z : 13a) -> 13f 13z 12= 13g 13z) -> 13f 13x 12= 13g 13y < 1415456159 900531 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric : infixl 5 < 1415456159 900607 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :09(>>=) : 12Monad 13m => 13m 13a -> (13a -> 13m 13b) -> 13m 13b14↵… < 1415456169 76613 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Achievment unlooked. < 1415456176 993175 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :* Convince oerjan something I did has qualities. < 1415456184 254684 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*unlocked < 1415456201 192995 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: It used to be logical < 1415456225 489791 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but now with prefixes and single character commands and stuff < 1415456230 826548 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's not so logical anymore :D < 1415456241 573132 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also Burlesque isn't really pure anymore due to the secondary stack < 1415456281 754933 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. mapping/filtering didn't have side-effects < 1415456285 685393 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :now they can have side-effects < 1415456389 453550 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :back in the old days you knew that each group of two chars is a command < 1415456390 679214 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :now < 1415456392 948834 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq qj < 1415456393 132801 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {j} < 1415456393 984857 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well but still, m2 should be _either_ a two character command which doesn't change parsing, or a 2 suffix that can be used generally < 1415456398 105190 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's not the case anymore < 1415456421 166551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :on the same things that allow { < 1415456429 541064 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :m2 can be a command yes < 1415456450 701643 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no it cannot, not if it gobbles up the two next < 1415456460 584430 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(i.e. it would fall into the group of special-builtins that can read/modify the instruction stream) < 1415456490 753262 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm just trying to defend logic here hth < 1415456528 608831 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh well right you already have those kinds < 1415456532 899088 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what do you mean with "2 suffix that can be used generally" < 1415456544 852212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok maybe it _is_ logical. < 1415456558 664428 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :q is a parse-level thing < 1415456568 891240 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :whereas other things like : ) and @ are eval-level things < 1415456585 618407 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {q0} < 1415456585 802458 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{0}} < 1415456588 330850 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {:0} < 1415456588 514833 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {: 0} < 1415456605 27302 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {:0}[- < 1415456605 263523 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {0} < 1415456607 791172 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {:0}-] < 1415456607 975200 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : : < 1415456620 745596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1415456620 930170 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {:0}-]Sh < 1415456621 114323 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ":" < 1415456627 528063 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {:0}-]Sh(-)Sh_+ < 1415456627 712102 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: (line 1, column 12): < 1415456629 716060 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1415456632 945748 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {:0}-]Sh(-))Sh_+ < 1415456633 129773 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ":-)" < 1415456636 611301 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {:0}-]Sh(-))Sh_+Q < 1415456636 795440 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : :-) < 1415456637 951066 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yay < 1415456654 9107 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :best burlesque code ever < 1415456683 156473 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Do you know what (-)))Sh is? < 1415456693 913426 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no hth < 1415456696 228973 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq myhovercraftisfullofeels < 1415456696 412924 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Unknown command: (ls)! < 1415456696 597278 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::D < 1415456709 737081 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it would try to map Sh over the Identifier -) < 1415456718 376321 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :does that mean everything _before_ ls parses in that? < 1415456725 1020 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: yes < 1415456727 628697 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq myhovercraftisfullofee < 1415456727 845737 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 2.718281828459045 < 1415456751 895085 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq myhovercraftisfullofeeS < 1415456752 78225 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: (line 1, column 24): < 1415456764 782174 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq myhovercraftisfullofeeSh < 1415456764 966225 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "2.718281828459045" < 1415456776 714402 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq myhovercraftisfullofee#s < 1415456776 898437 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {2.718281828459045 ERROR: Unknown command: (of)! ERROR: Unknown command: (ll)! E < 1415456792 802706 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ls actually parses as well < 1415456803 867229 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "myhovercraftisfulloffeels"ps < 1415456804 51456 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {ERROR: (line 1, column 26): < 1415456817 373274 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "myhovercraftisfullofeels"ps < 1415456817 556198 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {my ho ve rc ra ft is fu ll of ee ls} < 1415456822 898476 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that perfectly parses < 1415456831 118983 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1415456843 60509 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "{c}d{}"ps < 1415456843 243717 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{c} d{}} < 1415456846 822101 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :this parses as well hth < 1415456884 839567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq myhovercraftisfull < 1415456885 23613 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Unknown command: (ll)! < 1415456901 569113 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait it's because burlesque is lazy so it does the last one first? < 1415456901 791199 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "{c}dq(a{}"ps < 1415456901 792505 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {ERROR: (line 1, column 9): < 1415456913 941836 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: no it does "my" first < 1415456919 509749 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but my results in an error "Unknown my" < 1415456921 477756 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq my < 1415456921 661929 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Unknown command: (my)! < 1415456924 286108 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq myee < 1415456924 470159 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 2.718281828459045 < 1415456931 738665 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :blsqbot just prints the top-most element < 1415456934 485239 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq myee#s < 1415456934 669649 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {2.718281828459045 ERROR: Unknown command: (my)!} < 1415456941 859855 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- but that error is still on the stack < 1415456947 341160 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh so it just keeps going on < 1415456950 377221 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yes < 1415456958 467326 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you can check for errors < 1415456958 782329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well that's not so impressive then < 1415456960 404396 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq myis < 1415456960 661893 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 1 < 1415456975 26677 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :is returns 1 if it's an error 0 otherwise < 1415456977 36667 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq eeis < 1415456977 219570 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 0 < 1415457005 151961 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's a messed up language < 1415457006 658920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq myhovercraftis < 1415457006 843217 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 1 < 1415457015 416524 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and I'll fuck it up a notch for the next release < 1415457022 763790 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OH NOES < 1415457031 160810 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq OH NOES < 1415457031 343670 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Unknown command: (ES)! < 1415457042 978532 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ohyeahCLL[ < 1415457043 161604 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 3 < 1415457054 458179 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ohyeahCLL[fuckshit < 1415457054 641331 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Burlsque: (n!) Invalid arguments! < 1415457058 650353 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ohyeahCLL[shit < 1415457058 833263 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 3 < 1415457073 854754 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ohyeahCLL[shitisgettingrealCLl[ < 1415457074 39037 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: (line 1, column 32): < 1415457074 286849 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq thisissome[shit < 1415457074 469801 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: (line 1, column 16): < 1415457078 993820 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ohyeahCLL[shitisgettingreal.CLl[ < 1415457079 176910 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Unknown command: (l[)! < 1415457083 82173 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ohyeahCLL[shitisgettingreal.CLL[ < 1415457083 266684 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 13 < 1415457105 356661 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ilikemyhovercraft < 1415457105 539556 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: (line 1, column 18): < 1415457107 808128 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ilikemyhovercrafts < 1415457107 991262 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Unknown command: (ts)! < 1415457113 960629 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ilikemyhovercraftsCL)is < 1415457114 143651 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 1 1 1 1 1 1 1 1} < 1415457145 950963 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq aha!CL < 1415457146 133854 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {ERROR: Unknown command: (a!)! ERROR: Unknown command: (ah)!} < 1415457149 185882 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ilikemyhovercraftsfleet!CL)is < 1415457149 370309 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 0 2.718281828459045 1 1 1 1 1 1 1 1 1 1 1} < 1415457161 243393 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :lol what < 1415457165 963535 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 2.7is < 1415457166 183113 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 0 < 1415457168 335116 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1415457177 603326 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :interesing < 1415457181 454858 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 2.7is#s < 1415457181 638235 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {0 2.7} < 1415457183 137610 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1415457188 75039 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if it's not an error it's not popped < 1415457206 825680 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ilikemyhovercraftsfleet!CL{isn!}f[ < 1415457207 47227 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {2.718281828459045} < 1415457233 619620 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq eeeeeeee^^^^^^ < 1415457233 803718 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 2.718281828459045 < 1415457251 123541 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hu? < 1415457254 211284 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq eeee^^ < 1415457254 396875 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq eeeeeeee****** < 1415457254 398053 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 2.718281828459045 < 1415457254 579620 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Ain't nobody got time fo' dat! < 1415457263 71542 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^^ is dup ;) < 1415457264 801506 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq eeeeee**** < 1415457264 985750 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 3814279.1047601975 < 1415457280 392189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq eeeeeeee****** < 1415457280 576364 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Infinity < 1415457284 608770 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq (;)) < 1415457284 792837 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ;) < 1415457287 840800 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh just intermittent < 1415457342 655250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq ;)CL^^++ < 1415457342 879172 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Unknown command: (;))! < 1415457353 241601 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq q;)CL^^++ < 1415457353 460044 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {;)} < 1415457367 135340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq q;)CL^^CL < 1415457367 319592 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{{;)}} {{;)}}} < 1415457377 66969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq q;)CL^^+. < 1415457377 263857 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{;)} {;)}} < 1415457395 534287 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq q;)^^+.^^+.^^+. < 1415457395 718511 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {;) ;) ;) ;)} < 1415457400 433998 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "abcdefgh"+. }hth < 1415457400 618164 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "abcdefghh" < 1415457408 938904 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :+. appends last of xs to xs < 1415457421 6712 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1415457429 442656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :HOW CONFUSING < 1415457449 695352 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Nothing in Burlesque is confusing ;) < 1415457469 199929 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "abc"-. < 1415457469 395731 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "aabc" < 1415457470 323041 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq q;)^^++ < 1415457470 507062 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ;) < 1415457475 862054 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :-. prepends head of xs to xs < 1415457493 318771 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but actually concatenating two lists is impossible, clearly < 1415457497 102141 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :no < 1415457501 790136 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {1 2 3}{4 5 6}_+ < 1415457502 11242 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 2 3 4 5 6} < 1415457513 693342 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {1 2 3}{4 5 6}.+ < 1415457513 877564 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 2 3 4 5 6} < 1415457518 288431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq q;)^^_+^^_+^^_+ < 1415457518 472593 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {;) ;) ;) ;) ;) ;) ;) ;)} < 1415457524 545566 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :finally < 1415457539 363410 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :.+ _+ sometimes do the same thing < 1415457547 735382 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but .+ is not to be confused with _+ < 1415457554 128535 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and certainly not to be confused with +. or ?+ < 1415457579 303178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1415457597 149441 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1415457597 574691 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!blsq OKAY < 1415457597 758769 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Unknown command: (AY)! < 1415457600 984162 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ?n < 1415457601 168304 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : That line gave me an error < 1415457603 452459 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ?_ < 1415457603 636454 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "I have 340 non-special builtins!" < 1415457610 105172 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 339rz)?_ < 1415457610 974042 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Ain't nobody got time fo' dat! < 1415457613 98088 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 339rz)?_ < 1415457613 344712 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"I have 340 non-special builtins!" 0 "I have 340 non-special builtins!" 1 "I ha < 1415457619 55893 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oops < 1415457620 561870 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 339rz)?n < 1415457620 745874 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {j J .+ _+ .- ./ .* .% +. -. .> .< >. <. >] <] ** r_ R_ == != <- ln un uN wl WL < 1415457625 244646 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 339rz)?n)Sh < 1415457625 471275 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"j" "J" ".+" "_+" ".-" "./" ".*" ".%" "+." "-." ".>" ".<" ">." "<." ">]" "<]" " < 1415457646 879652 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :That reads almost like J < 1415457648 791561 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 339rz)?n)Sh{'+~[}f[ < 1415457648 975568 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {".+" "_+" "+." "++" "[+" "+]" "?+"} < 1415457674 717878 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- all builtins containing a + < 1415457698 947191 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :!blsq 339rz)?n)Sh{'.~[}f[ < 1415457699 131379 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {".+" ".-" "./" ".*" ".%" "+." "-." ".>" ".<" ">." "<."} < 1415457714 926891 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Yay, changing a character in the line noise did something sensible < 1415457726 348799 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :!blsq 339rz)?n)Sh{':~[}f[ < 1415457726 532874 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"f:" "F:"} < 1415457788 470248 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 339rz)?n{Sh':~[}f[ < 1415457788 654326 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {f: F:} < 1415457821 768773 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1415457825 702141 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 339rz)?nf: < 1415457825 890028 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{1 ~~} {1 ~]} {1 ~[} {1 ~=} {1 ~-} {1 ~!} {1 ||} {1 zz} {1 zi} {1 z[} {1 z?} {1 < 1415457835 429147 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 339rz)?n)Sh\[f: < 1415457835 616479 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{31 'c} {29 's} {27 '[} {26 'p} {21 'r} {21 'm} {19 '!} {18 'd} {17 't} {16 'n} < 1415457851 372078 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :according to this, c is the most used character in commands < 1415457884 555837 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 339rz)?n)Sh\[F: < 1415457884 774971 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{0.04579025110782865 'c} {0.04283604135893648 's} {0.03988183161004431 '[} {0.0 < 1415457906 61048 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :with 0.0458% < 1415457924 602060 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 339rz)?n)Sh\[L[ < 1415457924 839203 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 677 < 1415457943 414240 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :all commands together form a string of length 677 < 1415457978 650943 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "[,,,]"ra < 1415457978 833845 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: (line 1, column 2): < 1415457982 29904 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "[1,,,2]"ra < 1415457982 214539 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 2} < 1415457998 596471 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "[1,[],[],2]"ra < 1415457998 780402 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: (line 1, column 5): < 1415458004 712150 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :lol < 1415458009 148890 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "[1,[2],[2],2]"ra < 1415458009 331673 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 {2} {2} 2} < 1415458016 335085 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :stupid ra can't parse empty lists :D < 1415458029 423491 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "[]"ra < 1415458029 607938 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: (line 1, column 2): < 1415458033 839240 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :interesting < 1415458044 361247 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :WHY DIDNT ANYBODY REPORT THIS? < 1415458147 81444 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "1,2"ra < 1415458147 303198 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 1 < 1415458173 523808 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "ab"ra < 1415458173 707847 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: (line 1, column 1): < 1415458211 765940 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: just wait for the introduction of pointers in Burlesque ;) < 1415458308 752616 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(and yes, I'm aiming for "most fucked up language") < 1415458368 24564 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1415458545 30062 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/Gqdjl1Ed < 1415458563 321578 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :although that's not really fucked up < 1415458572 951477 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but it allows you to define functions and call them recursively of course < 1415458687 558888 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :FireFly: I hope you still want to learn Burlesque. < 1415459144 371292 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman: continuations and pointers, now you just need threads hth < 1415459203 871642 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I was planning on having threads < 1415459205 374864 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but ... < 1415459211 683040 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :switching to StateT IO is *effort* < 1415459807 869494 :vanila!~user@unaffiliated/vanila JOIN :#esoteric < 1415459855 685523 :MoALTz_!~no@user-188-33-211-16.play-internet.pl JOIN :#esoteric < 1415460063 360668 :MoALTz!~no@user-188-33-211-16.play-internet.pl QUIT :Ping timeout: 244 seconds < 1415460290 328531 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :surely you mean ContT _ (StateT IO) < 1415460362 425610 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :hi! < 1415460370 844636 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :g'day < 1415460552 930662 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :bon matin! < 1415460758 422620 :vanila!~user@unaffiliated/vanila QUIT :Quit: Leaving < 1415461620 847640 :dianne!~hianne@unaffiliated/dianne QUIT :Quit: ~ < 1415461648 702602 :dianne!~diannes@unaffiliated/dianne JOIN :#esoteric < 1415462187 297387 :constant!root@freebsd/developer/variable QUIT :K-Lined < 1415463125 127400 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :buenos matinos. < 1415463298 106745 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :buenos matinos? < 1415463428 882561 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :genau < 1415463444 159508 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hesch du richtig glese :) < 1415463463 796673 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :buone mattine < 1415463553 313983 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm it can be either mattino or mattina < 1415463554 634506 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1415463686 230370 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :boily: some made-up language < 1415463700 449170 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Actually I'd say "guätä morgä" < 1415463732 755378 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wi dutsh < 1415463777 857137 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also it's like, afternoon here < 1415463786 390037 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? fternooner < 1415463787 287153 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :fternooner (Danish »fternooner«, Norwegian «ttermiddag», Swedish ”ftermiddag”) is a screamingly delicious pastry. < 1415463870 849222 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :meanwhile, my dead keys are dead. < 1415463883 708774 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :what the hell happened... I can't even circumflex! < 1415463900 531230 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You can't circumflex your muscles? < 1415463905 631377 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That sounds bad. < 1415463947 814424 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :here's some for you: âêîôû < 1415463961 670001 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ok, the german keyboard has öäü, so I can wish you back a guten morgen. (not going to try the Swiss German versions. too risky.) < 1415463982 591049 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ah! they reappeared! âäãā :D < 1415464003 831288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :åh < 1415464058 123706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the dead keys on this laptop are only sort of working < 1415464079 462798 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :b_jonas: köszönöm, de a probléma megoldódni látszik már. < 1415464086 728433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i cannot write é in my google tab, but it works fine in putty. < 1415464095 67418 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :étrange... < 1415464205 168248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in vim getting a lone ` takes some weirdness, which is *so* fun for haskell. if i am trying to type `e i type something like `le < 1415464249 510018 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in my old laptop it was just `e < 1415464278 486231 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but somehow doesn't work any more < 1415464301 522444 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or well, it _sometimes_ works, but not reliably < 1415464329 106843 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sometimes the ` just sits there, waiting for the most annoying moment to pop up < 1415464352 776527 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :there aren't annoying moments for diacritics, only unartistic önes. < 1415464372 555901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although pushing a non-vowel letter tends to fix it, as long as i'm in insert mode < 1415464497 46583 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok if i push `l in insert mode now, i get `l as the actual output < 1415464573 988747 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and there i've somehow got it back to working sensibly < 1415464615 796125 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: what about ``? < 1415464658 325246 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that gives two `'s rather reliably < 1415464695 634238 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :` is the shortest way to get a ` before a vowel _when it works_ < 1415464696 226266 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found < 1415464720 432974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just that gvim seems to toggle between a mode in which it works and in which it is freaky < 1415464728 886383 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*and one in < 1415464779 422100 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :In the universe of C sins, how sinful is it to #define return to something... < 1415464886 950149 :boily!~alexandre@96.127.201.149 QUIT :Quit: RENEWED CHICKEN < 1415464979 659911 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 244 seconds < 1415465088 817877 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Gregor: it's sinful. it's like IOCCC level sinful. and it's not portable either, the standard specifically forbids it, and for good reason, because library macros could contain return. < 1415465114 486972 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think some IOCCC entries did define keywords as macros < 1415465351 114072 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: ...what are you trying. < 1415465352 885092 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :IOCCC level sinful? Is that like jaywalking on a country road at midnight < 1415465557 153575 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Sounds like "pretty good idea" then. < 1415465638 181652 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :IUCC is better anyway < 1415465988 940265 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :b_jonas: Incidentally, if return is defined to something that's syntactically compatible, library macros containing return wouldn't be broken, so that's not much of a reason :3 < 1415466017 291844 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :e.g. #define return if ((something), 0) {} else return < 1415466034 877731 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Gregor: that's not completely compatible, but close enough < 1415466052 89189 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :are you trying to implement a profiler or tracer? < 1415466068 899159 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: are you sure you shouldn't just patch a compiler at this point < 1415466149 920841 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :In my GC, users have to push and pop their stack pointers. Push is manual regardless, but I'm trying to decide if defining return to make pop automatic is too sinful X-D < 1415466183 565542 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: why not use gcc finaliser thingies < 1415466187 640045 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Gregor: why don't you use C++ and destructors? < 1415466190 980060 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :systemd uses them to automatically deallocate things that go out of scope (!) < 1415466194 264706 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's a GNU C feature < 1415466200 709857 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can even typedef it in < 1415466202 427543 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think < 1415466204 702325 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or maybe just macro it < 1415466213 414758 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :elliott: Because my GC isn't GCC-specific. < 1415466232 977639 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :b_jonas: Because my GC is usable from C and not usable from C++ since I can't control C++ object headers. < 1415466234 509081 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :okay, but #define return is also not valid C, so you're already being unportable :p < 1415466247 144357 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't know whether clang implements that stuff. < 1415466253 910935 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess probably? systemd probably compiles with clang. < 1415466258 320339 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Gregor: um... so? C++ but don't use such objects? < 1415466275 377335 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :b_jonas: No, the USERS who would be using this push and pop macros are C. < 1415466281 328786 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1415466297 377873 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :well, I think defining return is evil for this, but of course you can try to be evil < 1415466297 749057 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :people with weak compilers can do it manually, people willing to use GNU C can use GNU C convenience features? < 1415466305 307227 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's nicer than redefining return anyway < 1415466306 752130 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :elliott: Of course clang implements it, clang implements virtually all GCC extensions. < 1415466314 802599 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :not really virtually all < 1415466320 211011 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: I can't find any docs on these so-called finalisers < 1415466321 646778 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it doesn't do nested functions I think < 1415466324 275438 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which are actually used in practice < 1415466334 160435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: they're probably not so-called finalisers. < 1415466336 748040 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :elliott: The alternative isn't "just be GCC-specific", it's "make them manually pop and if they forget to, oh well everything breaks horribly" < 1415466364 202309 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: well, I was presenting a third alternative that seems nicer and more robust than redefining return without giving up all the convenience. sorry. < 1415466373 206188 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :http://clang.llvm.org/docs/UsersManual.html < 1415466380 236905 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :there's a list of GCC functions not supported < 1415466417 34238 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm aware < 1415466487 532004 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1415466505 200048 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I also don't see anything that looks like a finalizer on GCC's extension list < 1415466537 50071 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :do you expect me to give you pointers faster than I can git clone systemd's source code? you have as much information as I remember, so it's not like you couldn't yourself... < 1415466564 855844 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I assumed you knew more < 1415466575 404501 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :src/shared/macro.h:#define _cleanup_(x) __attribute__((cleanup(x))) < 1415466587 302939 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :src/shared/util.h:#define _cleanup_free_ _cleanup_(freep) < 1415466593 836251 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :src/activate/activate.c: _cleanup_free_ char *name = NULL; < 1415466611 662882 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cleanup (cleanup_function) < 1415466611 847126 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The cleanup attribute runs a function when the variable goes out of scope. This attribute can only be applied to auto function scope variables; it may not be applied to parameters or variables with static storage duration. The function must take one parameter, a pointer to a type compatible with the variable. The return value of the function (if any) is ignored. < 1415466616 670976 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :If -fexceptions is enabled, then cleanup_function is run during the stack unwinding that happens during the processing of the exception. Note that the cleanup attribute does not allow the exception to be caught, only to perform an action. It is undefined what happens if cleanup_function does not return normally. < 1415466630 659460 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :thanks < 1415466635 973199 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :clang supports that from the looks of things < 1415466663 114554 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Oh, it's a variable attribute. Well that doesn't work anyway since I'd be demanding that users add a variable attribute to all their variables, which is just as onerous (more so) than popping. < 1415466676 561609 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: well, they have to push, right? < 1415466686 496994 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you could have a variable declaration macro that declares with the attribute and pushes < 1415466715 407710 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Hmmmmmmm. That works! < 1415466741 824107 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :In fact, demanding that they declare their variables with a macro is good since it assures they're initialized. < 1415466747 836814 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you could prooobably even make the syntax LET(char *foo = ...); work < 1415466760 755591 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :actually, I guess no < 1415466771 941026 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :splitting out the = would be possible I think but splitting the name from the type wouldn't < 1415466782 389187 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but LET(char *, foo, ...) isn't so bad. < 1415466827 179879 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: one restriction is that the cleanup function can't take any other parameters, it seems. you can... probably work around that somehow. < 1415466839 548942 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Damn, that's actually by far and away the cleanest syntax for this. Getting the cleanup function to work properly is no problem. < 1415466841 564052 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(I guess for a GC you can just have a thread-local static containing a pointer to the GC info.) < 1415466878 109770 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Yup < 1415466885 846810 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Which is how the pointer stack is stored anyway. < 1415466920 504368 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: incidentally, if all you need for your GC to work is to add a single attribute to every local declaration and call a function to register it, compiler instrumentation would probably be really easy... < 1415466932 769378 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(plus overriding malloc/free, obviously) < 1415466936 173038 :vanila!~user@unaffiliated/vanila JOIN :#esoteric < 1415466965 272528 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :elliott: If I'm reluctant to do things GCC-specific, how willing do you think I am to actually require an instrumented compiler to use my GC X-D < 1415467022 587933 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: who said anything about a requirement? < 1415467030 887623 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it'd just be cool to be able to, like, build GMP natively like that. < 1415467046 224344 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :since I remember it being such a fuss to teach the GC about libraries in cfythe < 1415467074 679774 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Ohhhhhhhhhhh, I see what you're suggesting now. Naw, that's not instrumentable because it's not possible to reliably know what malloc is mallocing. < 1415467083 967963 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Aliasing = "oh gawd mah pointers where did they go?!" < 1415467163 612854 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: you can override malloc < 1415467166 816624 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pretty common < 1415467174 111881 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :to point to your GC allocator < 1415467175 843731 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or what do you mean? < 1415467193 149567 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :That doesn't let it know what it's allocating. This is a precise GC: It needs to know more than just how many bytes, it needs to know which of those bytes are GC pointers. < 1415467203 106884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right, yeah. < 1415467223 485052 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :okay, so it'd be that + rewriting calls to malloc to pass along type info + analysing struct definitions. or just using LLVM's precise tracing GC support. < 1415467281 593741 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :LLVM cannot have precise tracing GC support /for C/. Nothing can have precise tracing GC support for C because C does not pass along type info at allocation time. < 1415467294 699116 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :erm, right. < 1415467307 215858 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :okay, then just s/\. or.*// on that line < 1415467314 706056 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Heh < 1415467322 686387 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also s/$/ + add a bunch of restrictions on casts and give up on life/ < 1415467323 603418 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :I like how you explicitly removed the full stop. < 1415467328 381386 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Gregor: I have some questions. What if the function doesn't have an explicit return, only a fall through the close brace. What if the expression for return needs values from the stack frame, how do you keep those referenced until after? And how do you make the macro work even in functions that don't push? < 1415467479 432247 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :b_jonas: (1) This case isn't supported and requires an explicit pop. It's hoped to be a minority. (2) Pointers only change when collection occurs, so only weird compound expressions can cause this anyway. This problem isn't solved by using pop (or anything else for that matter) instead of return, it's just a slight restriction that users of a GC will have to abide by regardless. (3) Push defines a const int that overrides a global const int. The if condition lo < 1415467479 655255 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :oks something like if (i_pushed ? (stuff, 0) : 0) {} else return < 1415467610 348081 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :s/overrides/shadows/ is more explicit. < 1415467614 201267 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's kinda nice that __attribute__((cleanup)) is exception-safe < 1415467905 418220 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :I guess I could do __attribute__((cleanup)) on __GNUC__ and C++ on MSVC. < 1415467912 536271 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :And that covers all compilers. < 1415468251 635320 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ah, tricky < 1415468255 890451 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shadows a global < 1415468515 430310 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, on anagol, Mail Merge times out in one day < 1415468560 375667 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: I guess you can avoid the shadowing with __attribute__((cleanup))? < 1415468582 387767 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :elliott: I can avoid the whole pop situation with __attribute__((cleanup)) < 1415468588 911301 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION nods
< 1415468672 667473 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :What the heck is this? http://golf.shinh.org/p.rb?Wow < 1415468799 496412 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Actually, I could use __attribute__((cleanup)) on GCC, C++ on C++ compilers, and #define return on everything else! < 1415468820 737086 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :b_jonas: It's a golf problem. That means you need to write a short program to generate that output. HTH. < 1415468831 627960 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: step away from the #define return < 1415468838 15626 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :tcc users should write their own pops :P < 1415468869 999981 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :It's not acceptable that you have to do different things to use a library with different compilers. < 1415468884 466695 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :c'mon, there has to be at least one compiler out there that correctly forbids #define return. < 1415468893 68314 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :I severely doubt it. < 1415468897 211364 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"The program shall not have any macros with names lexically identical to keywords currently defined prior to the inclusion of [any standard] header or when any macro defined in the header is expanded." < 1415468901 583329 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Says the C standard. < 1415468925 911814 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Heyo! That condition is my out! < 1415468929 787791 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: can you read that as permitting #define return after including standard headers < 1415468932 818588 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if so, ugh. < 1415468941 863462 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :that's how I read it < 1415468952 254463 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :remind me to write some tortured program to break Gregor's hack :p < 1415468969 475851 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think you can, but there's quite a few macros in those headers. < 1415468973 69564 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :This is great! The hack will only be for awful compilers anyway. < 1415468998 641070 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: oh, right < 1415469006 322036 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: except it forbids you from using any stdlib macros < 1415469010 246969 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like. errno. < 1415469012 841245 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or puts or whatever. < 1415469022 236091 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or "stdin". < 1415469023 284703 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I forget if puts is a macro but you get the idea. < 1415469046 188741 :alexandre!~alexandre@96.127.201.149 JOIN :#esoteric < 1415469046 575324 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or SEEK_SET, or EOF, or NULL. < 1415469051 488376 :alexandre!~alexandre@96.127.201.149 NICK :boily < 1415469059 804772 :boily!~alexandre@96.127.201.149 QUIT :Client Quit < 1415469068 265607 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or FILE < 1415469078 846037 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No, that's a declared type. < 1415469088 867886 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :are you sure? I think it's a macro < 1415469092 769183 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that expands to a type < 1415469096 375300 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Though admittedly it's arguable whether "declares a type" can refer to a macro. < 1415469099 756212 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1415469110 623248 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"The types declared are -- FILE which is an object type --" (C11 7.21.1p2) < 1415469117 893512 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait, let me check < 1415469120 272402 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And p3 is "The macros are --" < 1415469128 566082 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Are you genuinely telling me that it's better to have NO generic implementation (i.e., be specific to GCC and C++) than it is to do something which, while technically forbidden by the standard, would be nearly impossible to cause problems? < 1415469141 20368 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but yeah, stdin definitely < 1415469150 741547 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: yeah, because I don't believe you can actually avoid having it cause problems :p < 1415469158 845188 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like, for one, functions returning void. < 1415469177 460210 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :elliott: It's not like it breaks EXISTING functions that return void. < 1415469182 112982 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah, but doing magic that hides the popping details and then expecting everyone to remember the popping detail that you need to "return" in functions with no return value... < 1415469195 793564 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guarantee you I would forget < 1415469208 861788 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :don't C compilers generally warn about extraneous returns in void functions anyway < 1415469213 965362 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sort of builds up an instinct < 1415469226 457443 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Oy vey. < 1415469260 816212 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hey, I'm not the one #defining return < 1415469284 134245 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :And I'm not the one being compiler-specific because pedantry! < 1415469302 859413 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: sorr you're right < 1415469307 354292 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :FILE is indeed not a macro < 1415469312 400512 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :somehow I thought it was < 1415469315 289678 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, when I need to do something that requires a GNU C extension to do it reasonably and reliably, I either don't do it or I use the extension :p < 1415469332 26765 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but anyway, stdout is, and putchar may be < 1415469360 231367 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :elliott: What I'm proposing is that I use the extension, but IF the extension isn't available, I approximate. < 1415469366 532502 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Rather than say "lol no gcc u suk" < 1415469391 989273 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: I know, but I don't need to add returns to void functions when I'm using gcc. < 1415469401 861235 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and I won't, because I'd get a warning about it being useless in my head if not from the compiler. < 1415469412 163786 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and since I don't use tcc, it'll break in exciting ways whenever I do. < 1415469414 375741 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :I don't think any compiler gives warnings for "spurious" returns from void functions. < 1415469418 22111 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :I've never heard of such a warning. < 1415469422 776686 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :my head does :p < 1415469447 444830 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :ALSO, if the compiler gives warnings for unused variables, you'd still get a warning for not popping! < 1415469454 854258 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :my point is there's no way anyone will remember it especially if it's not required for gcc/clang *unless* they're specifically trying to be pedantically portable. in that case, they have to keep that in mind constantly anyway because other compilers suck, so it's not reallym uch additional burden to just get them to pop manually. < 1415469483 706737 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :The burden of popping manually in EVERY FUNCTION, when some tiny portion of them return void??? < 1415469565 173020 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the burden of supporting crappy compilers anyawy :p < 1415469566 540244 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*anyway < 1415469621 377082 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what if you add a custom source processing step that finds all blocks with one of your push instructions and adds a pop at the end of that block and before returns? < 1415469636 52910 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway I'm not interested in the escalating hysterics so w/e < 1415469663 913060 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :then you'd get a crazy build procedure like Qt < 1415469759 342842 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :didn't qt switch to standard C++ at some point < 1415469800 66688 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no idea < 1415469991 573349 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I heard something about that. < 1415470025 451542 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :The thing that makes me want to do something cleverer than manual popping in the first place is that while there's only one entry to a function (and thus only one point to push), there are potentially many exits. < 1415470077 492555 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Gregor: what if instead or return, you define another macro that behaves like return? < 1415470082 579221 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :like xreturn or something < 1415470100 248064 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I just really don't think it's worth adding and maintaining flaky, hacky half-support for convenience features for near-useless compilers when supporting compilers anyone actually uses perfectly is possible and easy. < 1415470104 263112 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's up to oyu < 1415470106 760806 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*you < 1415470146 663425 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :b_jonas: You'd have to remember to use xreturn in all the same cases as you previously would have had to remember to use pop *shrugs* < 1415470221 935933 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if you really really want to just write the pops once while using a useless compiler I'd just "goto cleanup", honestly. C programmers are used to that idiom. < 1415470228 272815 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*the popping once < 1415470230 492619 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, 'moc' is still there in Qt 5 documentation. But I think they've been trying to switch away from you writing raw QWidgets and dealing with signals and slots and whatnot to things involving QML and JavaScript. < 1415471204 902182 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Heyo, __attribute__((cleanup)) does the trick beautifully :) < 1415471429 676562 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: I bet you could use it for such disgusting things. < 1415471445 817836 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int main() { __attribute__((cleanup(puts))) char x = 'q'; } < 1415471523 118675 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Bahaha < 1415471958 307646 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Bleh, the C++ solution segfaults. < 1415471984 766919 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`cc #include \n int main() { __attribute__((cleanup(puts))) char x = 'q'; } /* it was so awful, it's worth looking live */ < 1415471985 646921 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :q < 1415472029 474239 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :X-D < 1415472031 500197 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :I love it. < 1415472050 878840 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also a pure accident it printed "q" and not "q". < 1415472125 38807 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Oh, I didn't even notice you were using puts instead of putchar. < 1415472126 51107 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Amazing. < 1415472188 932561 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It gets a pointer to the thing, so... and there's warnings about the type for a char x[]. < 1415472221 775007 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`cc #include \n int main() { __attribute__((cleanup(puts))) char x[] = "foobar"; } /* the output is still there, though */ < 1415472223 810709 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/tmp/a.c: In function ‘main’: \ /tmp/a.c:2:2: warning: passing argument 1 of ‘puts’ from incompatible pointer type [enabled by default] \ In file included from /tmp/a.c:1:0: \ /usr/include/stdio.h:688:12: note: expected ‘const char *’ but argument is of type ‘char (*)[7]’ \ foobar < 1415472253 537366 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Hm < 1415472548 231558 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`cc #include \n int main(int argc, char **argv) { for (int i = 0; i < argc; i++) puts(argv[i]); if (argc > 0) { volatile __attribute__((cleanup(main))) char **av = argv + 1; volatile int ac = argc - 1; } } < 1415472549 16606 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/tmp/a.c: In function ‘main’: \ /tmp/a.c:2:36: error: ‘for’ loop initial declarations are only allowed in C99 mode \ /tmp/a.c:2:36: note: use option -std=c99 or -std=gnu99 to compile your code \ /tmp/a.c:2:150: warning: initialization from incompatible pointer type [enabled by default] \ /tmp/a.c:2:2: warning: passing argument 1 of ‘ma < 1415472560 235804 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`cc #include \n int main(int argc, char **argv) { int i; for (i = 0; i < argc; i++) puts(argv[i]); if (argc > 0) { volatile __attribute__((cleanup(main))) char **av = argv + 1; volatile int ac = argc - 1; } } < 1415472561 100761 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/tmp/a.c: In function ‘main’: \ /tmp/a.c:2:153: warning: initialization from incompatible pointer type [enabled by default] \ /tmp/a.c:2:2: warning: passing argument 1 of ‘main’ makes integer from pointer without a cast [enabled by default] \ /tmp/a.c:2:6: note: expected ‘int’ but argument is of type ‘volatile char ***’ \ /tmp/a. < 1415472693 388695 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Oh, my C++ destructor is never being called... >_O < 1415472777 4242 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: you get that working. < 1415472802 799698 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, I guess it wouldn't. < 1415472820 798059 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`cc #include \n int main(__attribute__((cleanup(puts))), char **argv) {} < 1415472821 579463 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/tmp/a.c:2:41: error: expected declaration specifiers or ‘...’ before ‘,’ token < 1415472827 340614 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`cc #include \n int main(__attribute__((cleanup(puts))) int argc, char **argv) {} < 1415472828 525263 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/tmp/a.c:2:2: warning: ‘cleanup’ attribute ignored [-Wattributes] < 1415472832 883319 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*phew* < 1415473630 558026 :shikhin!~shikhin@unaffiliated/shikhin NICK :gamergate < 1415473637 251460 :gamergate!~shikhin@unaffiliated/shikhin NICK :shikhin < 1415473704 995460 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION 's banhammer twitches
< 1415473713 272353 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Ha < 1415474013 16267 :nys!~nys@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1415474803 651153 :AnotherTest!~turingcom@94-224-26-148.access.telenet.be JOIN :#esoteric < 1415476151 482534 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1415476356 904509 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 256 seconds < 1415476643 327203 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1415477287 256152 :DTSCode!~dtscode@unaffiliated/dtscode JOIN :#esoteric < 1415479735 962169 :MoALTz_!~no@user-188-33-211-16.play-internet.pl QUIT :Ping timeout: 244 seconds < 1415480257 72005 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1415480869 89072 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1415481187 280958 :boily!~alexandre@96.127.201.149 QUIT :Quit: APPROXIMATIVE CHICKEN < 1415481599 442343 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :Hi esoteric < 1415481630 186534 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :consider productions like f(X,Y,Z) -> a X X Y b Z c c < 1415481652 412912 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :e.g. tag(T,B) -> '<' T '>' B '<' '/' T '>' < 1415481708 532915 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :any how how I could write a good compressor that tages a srting and produces a grammar like this which builds the string? < 1415481724 297183 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :I thinkt that a powerful compressor of that type would uncover lots of interesting structure automatically < 1415481743 682460 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Look up "grammar induction". < 1415481853 626009 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I played a little bit with ADIOS. < 1415481885 274016 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://adios.tau.ac.il/ADIOS.html < 1415481885 764159 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :I heard of adios < 1415481906 645615 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't remember any details about what I used it for, and what kind of models it does. < 1415482447 995949 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric : Isn't the typed side of a typed-untyped module barrier so arrogant? It always blames the untyped side for contract violations... < 1415482448 219251 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric : Sgeo: well not always < 1415482448 219397 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric : if the untyped side was better behaved there wouldn't be any violations and it wouldn't get blamed < 1415482852 666039 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :is that so dot amv < 1415482877 291948 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :didn't wadler make this a theorem < 1415482973 74333 :MeerLin!4d155b18@gateway/web/freenode/ip.77.21.91.24 JOIN :#esoteric < 1415483215 87460 :MeerLin!4d155b18@gateway/web/freenode/ip.77.21.91.24 QUIT :Ping timeout: 246 seconds < 1415485265 65678 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 256 seconds < 1415485396 339195 :DTSCode!~dtscode@unaffiliated/dtscode QUIT :Ping timeout: 272 seconds < 1415485397 599979 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1415485436 845640 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1415485775 170281 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1415485855 719340 :Vorpal_!~Vorpal@81-224-29-207-no185.bredband.skanova.com JOIN :#esoteric < 1415485855 903239 :Vorpal_!~Vorpal@81-224-29-207-no185.bredband.skanova.com QUIT :Changing host < 1415485855 903359 :Vorpal_!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1415486089 600375 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 260 seconds < 1415486228 849682 :AnotherTest!~turingcom@94-224-26-148.access.telenet.be QUIT :Remote host closed the connection < 1415487880 708657 :nyuszika7h!nyuszika7h@cadoth.net QUIT :Remote host closed the connection < 1415488258 995619 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Sweet, my custom T-shirt protesting against one of my lecturer's insistence that anyone who disagrees with him on a certain arbitrary decision is wrong has arrived! < 1415488280 960869 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :lol cani see < 1415488341 278588 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It just says "0 ∈ ℕ" < 1415488362 762029 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :hhaha oh noo < 1415488367 29286 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :don't get involved in that < 1415488389 53908 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :half the mathematicians are gonna hate you < 1415488406 351412 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That's most the reason I'm wearing it < 1415488443 443013 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :you could get 1 in N on the back < 1415488449 778218 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :that would be funny < 1415488453 451570 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Although I kind of wished I got it so I could turn it inside out and it'd say "0 ∉ ℕ" or something < 1415488453 888410 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :argue with someone and then just walk off < 1415488650 444742 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: great! < 1415489250 222231 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It doesn't render on my computer < 1415489270 393197 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what doesn't render? < 1415489287 472181 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Can you please tell me how it is supposed to mean, with ASCII codes? < 1415489294 52087 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :b_jonas: Taneb's stuff < 1415489304 280743 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :zzo38: 0 \in \mathds{N}, LaTeX-wise. < 1415489309 435408 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :zzo38: I don't know what it is in plain TeX. < 1415489346 93552 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1415489346 365644 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :What is the second one? < 1415489349 109625 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: 0 certainly ∈ ℕ < 1415489382 772734 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: You should read a book I have. It calls integers ≥ 0 "positive" and integers > 0 "strictly positive". < 1415489408 191957 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :zzo38: Same but with \not\in. < 1415489414 596575 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Ah, OK < 1415489448 947271 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I wonder if someone, somewhere has used € to stand in for \in. < 1415489451 252400 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :And what do you mean by \mathds? Is that like black board bold? < 1415489455 86314 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. < 1415489458 771977 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Double-struck, probably. < 1415489469 962150 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's called both "blackboard bold" and "double-struck". < 1415489508 828564 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i definitely used \mathbb, way back < 1415489511 69077 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The 'dsfont' package provides a \mathds for it, and I think AMS has \mathbb. < 1415489517 136369 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: a € b means ∃ c. a ∈ c ∧ c ∈ b < 1415489519 85253 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :clearly < 1415489539 532997 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :how much do you think a shirt reading "-1 ∈ ℕ" would cost < 1415489547 239786 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shiny squares < 1415489557 600427 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ∃ c. a ∈ c ∧ c ∈ b < 1415489558 279966 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2203 THERE EXISTS] [U+0020 SPACE] [U+0063 LATIN SMALL LETTER C] [U+002E FULL STOP] [U+0020 SPACE] [U+0061 LATIN SMALL LETTER A] [U+0020 SPACE] [U+2208 ELEMENT OF] [U+0020 SPACE] [U+0063 LATIN SMALL LETTER C] [U+0020 SPACE] [U+2227 LOGICAL AND] [U+0020 SPACE] [U+0063 LATIN SMALL LETTER C] [U+0020 SPACE] [U+2208 ELEMENT OF] [U+0020 SPACE] [U+00 < 1415489562 85074 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Bike: ugh < 1415489572 20445 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: "There exists space" well can't argue with that. < 1415489586 329287 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :b_jonas: don't be a mathphobe < 1415489617 164725 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: today the newspaper had a "quote of today" that was something like "there's nothing there's more of than nothing" < 1415489645 907037 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: exists c. a `in` c && c `in` b hth < 1415489647 350379 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Bike: that's like "Let ε<0" < 1415489662 321322 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :ok so how much would that be on a shirt < 1415489685 147961 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :or i could splurge, get a proof that .999... != 1 printed < 1415489705 458683 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :All the London guides start with "When a man is tired of London, he is tired of life" quote by Samuel Johnson, which makes me think nobody famous never said anything else positive, so they all have to go with that. < 1415489726 549577 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unfortunately it was translated into norwegian, i don't remember the person (some old dead guy), and google finds nothing < 1415489761 103306 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :To me, zero is a natural number, but some people use different definition of a natural number. < 1415489776 248288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to the greeks, not even one was natural < 1415489804 180933 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :i guess for maximum pissing off it has to be something boring and arbitrary, like zero in the naturals, rather than .999... which is just obviously dumb < 1415489806 223729 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or so i read < 1415489812 847531 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :0^0 = 1, maybe < 1415489835 379211 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> 0^0 < 1415489836 903061 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 < 1415489838 23686 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In good company. < 1415489842 890583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :let ε ∈ {x ∈ R | x² = 0} hth < 1415489847 832929 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :#owned < 1415489855 436790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: an unnatural definition hth < 1415489865 91938 :nyuszika7h!nyuszika7h@cadoth.net JOIN :#esoteric < 1415489898 530840 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :if it's unnatural how do you explain this photograph of i have of a turtle using the same convention in its natural habitat < 1415489903 404358 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :ethology works mother fuckers < 1415489919 72249 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> undefined^0 -- someone did that yesterday < 1415489920 634234 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 < 1415489971 468827 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: exponential turtles? that sounds dangerous. < 1415489985 346538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1415489990 986808 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :it's pretty common ecology, actually < 1415490004 851492 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :such is breeding < 1415490009 377550 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :logarithmic turtles < 1415490364 496523 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: how are the manifolds going < 1415490417 68160 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :not great < 1415490428 269863 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :now that i know what a section is i understand more things so my motivation has dropped < 1415490475 565939 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it helps with reading math books < 1415490483 22282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but if you know what a chapter is you can usually get by < 1415490526 308164 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(What's a section?) < 1415490551 415188 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it just a right inverse or something more complicated? < 1415490687 109566 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :a right inverse. < 1415490829 565286 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you know the axiom of choice is equivalent to "every surjection has a right inverse" < 1415490841 119155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(which makes sense if you think about it) < 1415490977 372742 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection timed out < 1415491049 897291 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric