< 1432944176 840353 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: you're twice as famous as i am in the hcar < 1432944194 974940 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, my goal for November is to be mentioned 5 times < 1432944203 62169 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, also one of my friends got in HWN this week < 1432944233 632644 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :who < 1432944361 226186 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Michael Walker < 1432944432 947105 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :For his Book database, I think < 1432944618 957136 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :See, not only am I famous, I have connections to other famous people! < 1432945281 281845 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :
ACTION now has some chocolate :)
< 1432945431 11489 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1432946747 117927 :contrapumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1432946828 979754 :hilquias!~user@187.113.76.209 JOIN :#esoteric < 1432946841 591606 :hilquias!~user@187.113.76.209 QUIT :Changing host < 1432946841 767269 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1432946955 553641 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1432947274 503259 :contrapumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Read error: Connection reset by peer < 1432947652 451572 :b_jonas!~x@russell2.math.bme.hu QUIT :Ping timeout: 240 seconds < 1432948716 525059 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1432949047 672248 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1432949600 659381 :shachaf!~shachaf@unaffiliated/shachaf QUIT :Ping timeout: 258 seconds < 1432949826 563928 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 246 seconds < 1432949938 531092 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1432950697 309257 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDream < 1432952296 802043 :Herbalist!~oz@unaffiliated/herbalist JOIN :#esoteric < 1432952315 589438 :Herbalist!~oz@unaffiliated/herbalist PART :#esoteric < 1432954257 160525 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1432954473 206730 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :derp < 1432954551 279670 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :how do I send messages via lambdabot? < 1432954716 296168 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@help tell < 1432954716 508109 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :tell . When shows activity, tell them . < 1432954753 181197 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :ty < 1432954759 812645 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yw < 1432954811 644116 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :wait < 1432954820 205439 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :could I have just used the chat...??? < 1432954951 461176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :POSSIBLE < 1432955061 754200 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :these things always get out of hand < 1432955108 80451 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :the way you shouted 'POSSIBLE' in all caps < 1432955124 412391 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :it makes me feel like it would be a POSSIBLE future programming language... < 1432955135 234781 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1432955185 601782 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :MAYBE < 1432955212 908732 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is now made of up to 80% self-produced memes.
< 1432955222 798910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or possibly self-stolen < 1432955239 963227 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hth < 1432955342 135905 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :probably wont use POSSIBLE < 1432955373 11203 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Can you help me to fix my level20.trope so that it is less straight if it is supposed to be less straight, or more straight if it is supposed to be more straight, or whatever else is wrong with it? < 1432955405 586315 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :anyway, trying to get new ideas for a new language... function doesnt seem to be going well so I might scrap it... < 1432955415 104734 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :all I really need is the name < 1432955425 129814 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :s/the/a < 1432955452 775122 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :
ACTION was briefly confused as to the meaning of 'straight'
< 1432955481 607098 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :
ACTION is still, more thoroughly, confused as to the meaning of a 'trope' file
< 1432955538 751876 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i _think_ zzo38 is referring to the straight/subverted/etc. distinction used on trope sites. < 1432955564 612620 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :oerjan: Yes it is < 1432955570 80258 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :That is what I am refering to. < 1432955616 232681 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Have I already mentioned that my favorite esolangs are the ones that are built on one specific idea? < 1432955618 269659 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Of course I have. < 1432955642 813809 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't know, but at least now you have done so. < 1432955700 276809 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :what idea is that? < 1432955720 543442 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :...wait... did I just dero? < 1432955722 225552 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :derp* < 1432955760 520894 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :rdococ: yes, you did. < 1432955762 387722 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :The two steps of esolang construction: (1) Find one specific idea to base it around (2) Fill in the rest with _anything_other_than_brainfuck_ < 1432955785 54291 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :If you have the other stuff then yes it help < 1432955799 757774 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm not sure if I've ever successfully come up with an esolang idea by specifically trying to do so. < 1432955838 452639 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Lemme try to remember those esolangs I've come up with that I actually like. < 1432955845 913139 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :umm... oerjan, you do know I try that all the time? < 1432955917 130193 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :rdococ: this is general advice hth < 1432955939 739047 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric ://, Al Dente, Proce. There have gotta be some more. < 1432956145 244410 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I've rewritten the spec for Proce at least once. I'm still not sure about it. < 1432956195 403959 :rdococ!~rd606six@unaffiliated/octagonfly PRIVMSG #esoteric :hmm < 1432956218 116712 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :This is what I was refering to http://zzo38computer.org/dnd/recording/level20.trope and this in turn refers to a wiki page, which can be corrected to match if needed too; I intend to update both with whatever tropes are applicable. < 1432956236 799229 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I want to make sure that it's not possible to "cheat" in Proce by taking advantage of the fact that it's implemented as a series of time steps rather than a set of continuously changing analog signals. < 1432956309 809179 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Specify that the program can be worked with analog signals too < 1432956375 672890 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1432956563 888822 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :http://esolangs.org/wiki/Combienti%C3%A8m < 1432956571 332767 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I like that one. It looks really confusing. < 1432956690 332273 :Lyka|Away!scat@unaffiliated/schrodingerscat NICK :Lyka < 1432956695 386726 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :http://esolangs.org/wiki/Markont - oh god what the heck. < 1432956800 528662 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION vaguely recalls discussing Markont at some point
< 1432956835 500092 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1432957028 679532 :KnightArm0!~irc@200.109.192.135 JOIN :#esoteric < 1432957047 210012 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :so "Octopus 0003c LCD-Keypad-SD", whose commands match the newest incarnation of the Fourfuck language, has, like many previous versions of it, a double-sided reference sheet. Said reference sheet is in Courier New 6.5 and is full of text. < 1432957052 561434 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Markont14]]4 10 02http://esolangs.org/w/index.php?diff=43106&oldid=36034 5* 03Tanner Swett 5* (+27) 10Fixes < 1432957069 551094 :hilquias!~user@unaffiliated/hilquias QUIT :Remote host closed the connection < 1432957265 508886 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :http://esolangs.org/wiki/Slide - ah, I love this. < 1432957310 482606 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :As ddrescue is copying this drive, I think it's failing more and more < 1432957330 858334 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1432957331 325346 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :be glad that you are maing a copy < 1432957374 79717 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Yes, but what of the data already lost? < 1432957381 297048 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Also, could positioning of the drive be relevent/ < 1432957390 607980 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :It's sitting outside any container on a piece of plastic < 1432957417 3370 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :could be hot < 1432957423 509484 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Should I try repositioning it before a retry? < 1432957461 851680 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I guess I should see how well the trimming thingy works < 1432957562 343813 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :http://esolangs.org/wiki/Minimum - pffheh. < 1432957698 807402 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :very succinct < 1432957705 736959 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :if i add one more feature to the program, i will need a three-sided sheet of paper < 1432957746 197408 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :tswett, do you have Grandroids access? What do you think about Grandroids chemistry? < 1432957764 146537 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm not familiar with Grandroids. < 1432957870 355323 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Chemicals are strings made up of A, B, C, D, X, O. X and O can be operators, only the leftmost operator is relevent. O means the chemical is an enzyme, such that, say, AOB will combine A and B to make AB. X is for lysers, so AXB breaks apart AB into A and B < 1432957879 998408 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :AXXB breaks apart AXB into A and XB < 1432957898 160746 :a2!~CADD@12.227.104.109 JOIN :#esoteric < 1432957931 441098 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Interesting. < 1432957956 271142 :KnightArm0!~irc@200.109.192.135 QUIT :Quit: http://quassel-irc.org - Chat comfortably. Anywhere. < 1432957973 335982 :KnightArm0!~irc@200.109.192.135 JOIN :#esoteric < 1432957975 872685 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I suggested an S to serve as an escape, like "the next character is not the operator", but it probably overcomplicates it and not being able to do certain things adds some flavor, although he said he'd look at it again if needed < 1432957982 547926 :KnightArm0!~irc@200.109.192.135 QUIT :Remote host closed the connection < 1432958042 204263 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :One idea is to have multiple "strengths" of operators, and the relevant operator is the "strongest" one. < 1432958119 584133 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Snack14]]4 10 02http://esolangs.org/w/index.php?diff=43107&oldid=23252 5* 03Zzo38 5* (+364) 10 < 1432958255 972398 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :People in NESdev wiki argue about whether or not RFC2119 should be used. < 1432958611 477746 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :RFC2119 SHOULD be used; if you opt to not use it, you MUST NOT use its keywords for different purposes. < 1432959788 471402 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Remote host closed the connection < 1432960023 951124 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: SHOULD sleep < 1432960102 577561 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Doing so is the class-4 crime of Competing Standards. < 1432960213 741951 :function!~root@freebsd/developer/variable PRIVMSG #esoteric :pikhq: how SHOULD one interpret those terms if has chosen that they MUST NOT use RFC2119 < 1432960691 456049 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :By not writing all uppercase if it isn't RFC2119 < 1432962133 166342 :Elronnd|deminewt!~elronnd@duckbot.xd.cm JOIN :#esoteric < 1432962273 539658 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Precisely. < 1432962303 76352 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :"SHOULD" and such have quite precise meanings, while "should" and such merely have the common natural language meaning. < 1432962332 331709 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1432962469 503078 :Elronnd|deminewt!~elronnd@duckbot.xd.cm PRIVMSG #esoteric :If I come up with the concept for a joke programming language, am I allowed to put it on the wiki before I actually write the implementation? < 1432962498 845016 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :You could, yes, there are many unimplemented stuff on wiki already < 1432962512 763253 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But you can also post it without adding into list until implementation is written if you prefer that way < 1432962524 895578 :Elronnd|deminewt!~elronnd@duckbot.xd.cm PRIVMSG #esoteric :Hm < 1432962550 445054 :Elronnd|deminewt!~elronnd@duckbot.xd.cm PRIVMSG #esoteric :Is it unfair if the implementation requires every implementation of every non-joke language to be installed on the user's box? < 1432962588 158465 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :If it a joke language, it doesn't matter if it is unfair < 1432962628 917808 :Elronnd|deminewt!~elronnd@duckbot.xd.cm PRIVMSG #esoteric :I suppose a better question would be, where can I get a comprehensive list of all implementations of all non-joke languages < 1432962646 718496 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Not all of them are implemented yet sorry < 1432962701 145245 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :oops < 1432962767 114140 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :Fourfuck needs to be removed from the wiki. It's become too spcialized < 1432962899 325594 :Elronnd|deminewt!~elronnd@duckbot.xd.cm PRIVMSG #esoteric :"specialized" isn't exactly how I would put it < 1432962900 178462 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :and won't work on anything other than an Arduino Uno + SD Reader + LCD1602 Keypad < 1432962916 760493 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Doesn't matter I think? < 1432962921 545079 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :you haven't seen the current source code < 1432962925 253857 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :
ACTION once considered making an esolang based on Activr Worlds scripting
< 1432962943 463001 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Languages don't have to be defined based on the implementation < 1432962944 961517 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :and i can always put it back < 1432962956 223309 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :*Active Worlds < 1432962965 741887 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :if it ever becomes ready < 1432963110 174325 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :[00=SIB0SOB0]00=Q000 < 1432963171 506028 :Elronnd|deminewt!~elronnd@duckbot.xd.cm PRIVMSG #esoteric :
ACTION 's joke language is called "CompLANG", and will exit unless every implementation of every (non-joke) language parses the code with *no* warnings, will exit with an error
< 1432963233 309576 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :Elronnd|deminewt: i just typed a fourfuck line < 1432963279 111156 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :well, an octopus line, fourfuc being the nme octopus seems to be called here < 1432963448 115220 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :my personal name for it is octopus (personal joke), the esoteric name is fourfuck < 1432964132 297893 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :definitely doesn't matter. some of the languages can't be implemented on any real computer, even in principle < 1432964205 926966 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :(i think there was one explicitly requiring a halting problem orcale?) < 1432964465 258403 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :BananaScheme? < 1432964486 816344 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Two words < 1432964545 635111 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Brainhype? < 1432965226 606759 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1432965760 930255 :Lyka!scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :night all < 1432965941 50553 :Elronnd|deminewt!~elronnd@duckbot.xd.cm PRIVMSG #esoteric :'Night < 1432965964 799477 :ski!~ski@remote11.chalmers.se JOIN :#esoteric < 1432966045 550345 :Lyka!scat@unaffiliated/schrodingerscat NICK :Lyka|Away < 1432966470 261094 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :As they say, the joke is all in the telling. < 1432966830 733612 :password2_!~password@197.77.48.112 JOIN :#esoteric < 1432966905 179171 :password2_!~password@197.77.48.112 NICK :password2 < 1432968247 507358 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1432972954 484023 :function!~root@freebsd/developer/variable QUIT :Ping timeout: 255 seconds < 1432973056 175688 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :idea: an esolang that is a derivative of itself < 1432973197 24188 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07List of ideas14]]4 10 02http://esolangs.org/w/index.php?diff=43108&oldid=43062 5* 03Ais523 5* (+162) 10/* Derivative Ideas */ +1 < 1432973198 16781 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, like INTERCAL? < 1432973200 823393 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, that's just Feather isn't it? < 1432973216 46261 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: INTERCAL isn't a derivative of itself, it's a parody of other languages that existed in the early 1970s < 1432973252 343101 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm, true < 1432973364 374100 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I was thinking I call C-INTERCAL, CLC-INTERCAL, etc all INTERCAL < 1432973371 189850 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Whereas they are derivatives of eachother < 1432973387 193562 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that counts, I think (although INTERCAL-72 isn't a derivative of any of them) < 1432973400 755425 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think you can describe newer versions of C-INTERCAL and CLC-INTERCAL as being derivatives of older versions of each other < 1432973407 93475 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but there's no actual infinite regress there < 1432973411 425068 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But thinking about it I don't think it counts < 1432973445 538599 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(it's like calling sin x * cos x or something and going from there) < 1432973483 494697 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :
ACTION is suddenly reminded of the double mockingbird, again
< 1432973513 496989 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :about the best you can manage with a traditional type inference algorithm is to determine that its return value has the same type as itself < 1432973557 205857 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anything you can do with a magic type inference algorithm? < 1432973576 465029 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07List of ideas14]]4 10 02http://esolangs.org/w/index.php?diff=43109&oldid=43108 5* 03Ais523 5* (+92) 10/* General Ideas */ mention Snowflake < 1432973586 971736 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: you can determine that it doesn't halt < 1432973603 15170 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and therefore its return type is irrelevant < 1432973615 495765 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(note: you don't need halting problem levels of magic to determine that /that specific term/ doesnt halt) < 1432973630 697271 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :f(x)=e^x is the derivative of itself < 1432973658 94151 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now I'm wondering if it's possible to define e^x like that < 1432973668 544671 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is that the only function that's a derivative of itself? < 1432973671 258710 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I too was wondering about thing like that < 1432973683 77086 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Although f(x)=0 is also a derivative of itself < 1432973716 998216 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ugh yes, for some reason I thought it differentiated to1 < 1432973718 547028 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*to 1 < 1432973721 247932 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :clearly I'm tired < 1432973750 567305 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :lim(h->0) (f(x+h) - f(x))/ h = f(x) < 1432973782 555931 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't think there is much we can conclude from that < 1432973831 427993 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But I am not good at this kind of thing < 1432973844 51840 :Taneb!~Taneb@runciman.hacksoc.org PART #esoteric :"Leaving" < 1432973849 726270 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1432973864 933448 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think we can define e to be the constant such that d/dx e^x = e^x < 1432973899 50579 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I have also seen it written as d(e^x) = e^x dx < 1432973900 211209 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1432973988 636421 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Although the first time I figured out that it is the derivative of itself, it is I figured it out by myself, because, I was in the school there is a separate "math class" and "calculus class"; I learned derivatives in the calculus class and while spare time in the math class I was looking through the textbook and found the series of e^x as well as sin x and cos x. Therefore I figured it out before the teacher told me later that year. (And also how e < 1432974048 166331 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :zzo38, you were cut of after "(And also how e" < 1432974062 428797 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :how e^(ix) is works!) < 1432974071 818216 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Oooh < 1432974110 168264 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :doesn't that differentiate to ie^(ix)? < 1432974130 436425 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although I just realised I probably missed the point < 1432974141 646715 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I meant how it is related to sin and cos functions < 1432974183 723714 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1432974367 471596 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I can't seem to get Cairo's example program to compile... < 1432974375 993716 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ld is saying that none of cairo's names exist < 1432974426 962098 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: missing a library dependency? < 1432974461 726851 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, pkg-config finds Cairo < 1432974474 890431 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :They did actually ask the question, what is the number k such as that: e^(kx) = cos(x) + k sin(x) < 1432974485 406143 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: does it tell ld about it though? < 1432974492 873055 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, I don't know < 1432974497 756837 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :How do I check that? < 1432974515 495847 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I was able to answer the question (although it was not assigned); the answer was also given in the back of the book but it simply said square root of -1 but without any further explanation. Imaginary numbers aren't mentioned anywhere else in this book. < 1432974518 157981 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, are you doing anything to a) tell ld you want to link Cairo, or b) tell gcc to tell ld to link Cairo? < 1432974574 589634 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am not very good at C, I was trying to follow Cairo's instructions, but I do not think I am < 1432974605 619535 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Then, learn to be good at C < 1432974605 856742 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm personally not really a fan of pkg-config < 1432974669 986481 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: however, the documentation implies that you'll need to place the output of "pkg-config --libs cairo" onto the command line that you use as part of the link (if you're building all at once, this will be the same command line as the compile) < 1432974684 409214 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the output is, completely unsurprisingly, -lcairo which is how a normal package would do things < 1432974714 381041 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :For me it is "-I/usr/include/cairo -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/usr/include/pixman-1 -I/usr/include/freetype2 -I/usr/include/libpng12 -lcairo" < 1432974743 639564 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: --libs will give you just the -lcairo bit, I think < 1432974752 787376 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can understand why it uses pkg-config for the includes, though < 1432974767 761517 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, if you're giving -lcairo and it isn't working < 1432974773 379329 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you're most likely missing the dev symlink for cairo < 1432974780 765182 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :on Ubuntu it'd be in a package called libcairo-dev < 1432974787 553796 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :along with the header files < 1432974800 28476 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not sure which system you're on or what protocols it uses for this < 1432974868 30283 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :"libcairo2-dev is already at the newest version" < 1432974900 747382 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bleh < 1432974908 490963 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :What are you trying to make? < 1432974909 787016 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :try again specifying -lcairo manually just in case something stupid is going on < 1432974963 440959 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :nathan@Nami:~$ cc -o c -lcairo C.c < 1432974963 655918 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :C.c:1:19: fatal error: cairo.h: No such file or directory < 1432974963 655992 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric : #include < 1432974963 656012 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric : ^ < 1432974963 842404 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :compilation terminated. < 1432974986 817118 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Oops now make sure it is in the include path < 1432974987 275894 :password2!~password@197.77.48.112 QUIT :Remote host closed the connection < 1432974997 17551 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Or put in the directory of include path by yourself < 1432975047 250383 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Then I get the old error again < 1432975062 8787 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(with lots of undefined reference to ...) < 1432975095 387370 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't know how to work Cairo < 1432975110 655877 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1432975225 809526 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Me neither, evidently < 1432977718 21647 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I made up the way to convert JSON into RDF in case it is useful sometimes; it is possible also converting back other way. < 1432977725 494249 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :For example: @prefix : . [ :firstName "John"; :lastName "Smith"; :isAlive true; :age 25; :address [ :streetAddress "21 2nd Street"; :city "New York"; :state "NY"; :postalCode "10021-3100" ]; :phoneNumbers ([ :type "home"; :number "212 555-1234" ] [ :type "office"; :number "646 555-4567" ]); :children (); :spouse ] (). < 1432977735 488629 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(This example is from the JSON example in Wikipedia) < 1432977764 230483 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Do you expect this is working OK? < 1432977955 877323 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1432977963 226989 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1432977976 990401 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1432978634 887816 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"joke language" is overused too much. < 1432978638 328157 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :in my opinion. < 1432978659 972598 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Maybe...or, maybe only a little bit too much < 1432980400 55229 :Wright__!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1432980400 461213 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer < 1432982126 125355 :aloril!~aloril@dsl-tkubrasgw2-54f81c-109.dhcp.inet.fi QUIT :Remote host closed the connection < 1432982329 97186 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :"esoteric language" < 1432982496 601728 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@ask ais523 an esolang that is a derivative of itself ; does ASCII Art- count? < 1432982496 816130 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1432982584 771767 :password2!~password@197.77.48.112 JOIN :#esoteric < 1432982621 318078 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(Well, it's actually a derivative of a derivative of itself.) < 1432983453 169685 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1432984208 624129 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Help I am writing horrible C again < 1432984213 247518 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Is http://sprunge.us/DHOD portable? < 1432984220 566699 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :/well-defined < 1432984287 302367 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :fungot, dhod < 1432984287 516132 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Jafet: supertux use it for screen? ( and which then generates scheme code) on how monads naturally arise as abstraction devices. anyone interested in coding computer games. < 1432984543 301992 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That looks legal. Clearly you need to obfuscate it more < 1432984609 705194 :aloril!~aloril@dsl-tkubrasgw2-54f81c-109.dhcp.inet.fi JOIN :#esoteric < 1432986551 158477 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDude < 1432987716 714557 :AnotherTest!~turingcom@94-224-27-215.access.telenet.be JOIN :#esoteric < 1432990368 327673 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1432992743 955641 :Melvar`!~melvar@dslb-094-221-210-255.094.221.pools.vodafone-ip.de JOIN :#esoteric < 1432992874 940488 :Melvar!~melvar@dslb-188-109-012-020.188.109.pools.vodafone-ip.de QUIT :Ping timeout: 265 seconds < 1432992894 402394 :idris-bot!~ircslave@dslb-188-109-012-020.188.109.pools.vodafone-ip.de QUIT :Ping timeout: 272 seconds < 1432993092 419136 :password2!~password@197.77.48.112 QUIT :Ping timeout: 258 seconds < 1432993144 53251 :idris-bot!~ircslave@dslb-094-221-210-255.094.221.pools.vodafone-ip.de JOIN :#esoteric < 1432993580 796653 :Melvar`!~melvar@dslb-094-221-210-255.094.221.pools.vodafone-ip.de NICK :Melvar < 1432993742 777212 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 244 seconds < 1432993912 855418 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 250 seconds < 1432994139 776372 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1432994649 702156 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell ais523 is that the only function that's a derivative of itself? <-- f(x) = C*e^x are the only ones < 1432994649 879911 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1432994765 417235 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell ais523 so if you add f(0)=1 it's unique < 1432994765 632173 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1432994770 757058 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1432994998 999081 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION tries to remember the "simple" proof
< 1432995052 452841 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if f(x) = g(x)e^x, then (g(x)e^x)' = g'(x)e^x + g(x)e^x, so g'(x) = 0 and g is a constant. < 1432995074 956179 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell ais523 if f(x) = g(x)e^x, then (g(x)e^x)' = g'(x)e^x + g(x)e^x, so g'(x) = 0 and g is a constant. < 1432995075 168013 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1432995113 34556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell ais523 *+function < 1432995113 210304 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1432995172 754304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's a pretty neat proof, really < 1432995195 500617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: ^ < 1432995398 614724 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iirc you can do similarly to find the solution for f''(x) = f(x) etc. (which includes e.g. sin and cos) < 1432995413 84040 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this vaguely remembered from differential equation class < 1432995460 901448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although there's also a more powerful theorem you can use < 1432995487 384688 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah, I sort of half remember something < 1432995506 730166 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :wait how does that actually prove that this is the only case where f(x) = f'(x)? < 1432995526 710790 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :coppro: note that (g(x)e^x)' = g(x)e^x by assumption < 1432995548 94845 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ah < 1432995555 504924 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ok < 1432995701 486022 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oh my god I just realized that the thieves' guild in discworld is a metaphor for government < 1432995715 549882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1432995828 17577 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :http://lmgtfy.com/?q=slowpoke.jpg < 1432995976 31422 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: ^ you might be interested to < 1432996145 484704 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: what is the general solution to f(x) = f''(x)? f(x) = c_1e^{d x} + c_2e^{-d x} for |d| = 1? < 1432996183 833885 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :coppro: d = +-1 < 1432996185 762005 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iirc < 1432996198 709433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :erm wait < 1432996242 523035 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :d = 1 just as well. < 1432996291 335438 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it works with d=i < 1432996295 488906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :more generally, for n differentiations, d is an nth root of unity. < 1432996313 777192 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oh wait, no it doesn't < 1432996316 943007 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :because you get a - < 1432996319 979662 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ok < 1432996362 876821 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for 2, you can make a base change to use sin and cos instead < 1432996387 772798 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in all cases the solution set is a vector space of n dimensions < 1432996401 417800 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :right < 1432996413 798944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait < 1432996419 166043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's 4, not 2 < 1432996456 354127 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the second step negates < 1432996516 982670 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah < 1432996524 226445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh it's f''(x) = -f(x) which gets sin and cos, for f''''(x) = f(x) you still keep e^x and e^(-x) as well < 1432996525 68105 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :that's the misatke I made < 1432996530 739721 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :right < 1432996540 887110 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :because +- i is a 4th root < 1432996545 834253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right < 1432996843 351383 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1432997104 243916 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm, I can get cairo programs to compile on my desktop (running Debian) but not my laptop (running Ubuntu0 < 1432997739 133628 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 240 seconds < 1432997784 454078 :Lyka|Away!scat@unaffiliated/schrodingerscat NICK :Lyka < 1432998462 763646 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Ping timeout: 250 seconds < 1432998528 29816 :rdococ!~rd606six@unaffiliated/octagonfly QUIT : < 1432998622 415676 :rdococ!~rd606six@cpc12-staf7-2-0-cust182.3-1.cable.virginm.net JOIN :#esoteric < 1432998646 394801 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1432999348 629333 :bb010g!uid21050@gateway/web/irccloud.com/x-wfjsmccicbysrntr JOIN :#esoteric < 1432999888 500115 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 265 seconds < 1433000147 325061 :rdococ!~rd606six@cpc12-staf7-2-0-cust182.3-1.cable.virginm.net PRIVMSG #esoteric :\/) 0 | 0 < 1433000152 252809 :Lyka!scat@unaffiliated/schrodingerscat NICK :Lyka|Away < 1433000185 78470 :TieSoul!~quassel@86.89.119.147 JOIN :#esoteric < 1433000327 439506 :AnotherTest!~turingcom@94-224-27-215.access.telenet.be QUIT :Ping timeout: 276 seconds < 1433000601 772468 :password2!~password@197.77.39.132 JOIN :#esoteric < 1433000662 204314 :TieSoul!~quassel@86.89.119.147 NICK :TieSoul_ < 1433000671 603259 :TieSoul_!~quassel@86.89.119.147 NICK :TieSoul < 1433001140 178134 :password2!~password@197.77.39.132 QUIT :Ping timeout: 252 seconds < 1433001526 216055 :GeekDude!~GeekDude@unaffiliated/g33kdude NICK :GeoDude < 1433003112 738009 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Does ?: create a sequence point? < 1433003148 501568 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yes < 1433003367 726086 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I had an idea for an esoteric spreadsheet. The cells would be numbered by a mapping between N and Q+ < 1433003383 439461 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :e.g. that snakey path thing < 1433003480 579167 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Hmm I guess it has to be a bijection, not just a 'mapping' < 1433003595 8931 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Now, the fun part is, given you are at cell n, how to get the cell below, left, right or up? < 1433003733 696114 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Cantor_pairing_function hth < 1433003795 131073 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :th < 1433003871 729434 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :so then, given cantors f, can we define a function g(z) such that if [x,y] = f(z) then [x+1,y] = f(g(z)) < 1433003897 351606 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :and what is the simplest expression of said function? < 1433004058 858050 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :er, I suppose f above is the inverse. < 1433004072 655620 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :so it should be f^-1 < 1433004514 915407 :G33kDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1433004518 332876 :G33kDude!~GeekDude@unaffiliated/g33kdude QUIT :Excess Flood < 1433004535 614934 :G33kDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1433004546 818056 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :hmm... z' = z + x + y + 1 < 1433004640 881284 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :afaik the tricky part is that you need an integer square root to find out which diagonal you're on < 1433004668 620970 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(essentially) < 1433004710 740691 :GeoDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 245 seconds < 1433004720 310856 :G33kDude!~GeekDude@unaffiliated/g33kdude NICK :GeoDude < 1433004758 303225 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it's not going to be a very pretty formula < 1433004793 355994 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :z' = z + floor((sqrt(8*z+1)-1)/2) + 1 < 1433004818 381845 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :yeah, not pretty at all < 1433004873 889094 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :that's for z' s.t. y' = y and x' = x + 1 < 1433004919 511498 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep, looks familiar < 1433004961 409887 :Aearnus!~Aearnus@ip98-177-186-172.ph.ph.cox.net JOIN :#esoteric < 1433005150 305575 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :prettier: z' = z + ⌊(√8̅*̅z̅+̅1̅-1)/2⌋ + 1 < 1433005172 744888 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pretty empty squares < 1433005220 332960 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Late, later, latest < 1433005304 864424 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :and of course, to get z' for y+1 instead of x+1 you add one to the previous < 1433005404 255082 :password2!~password@197.77.0.27 JOIN :#esoteric < 1433005783 518618 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1433005792 427655 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :But this enables to represent a 2d array of data without reference to its dimensions... that might actually be useful < 1433005815 565512 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :(for a given value of 'useful') < 1433006350 289110 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :well, the performance for sequential access is pretty abysmal < 1433006673 57936 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1433006677 204438 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1433006765 424979 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1433006765 719213 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYUL 301700Z 22022G28KT 30SM FEW040CB FEW110 BKN240 29/19 A2987 RMK CB2AC1CI5 AC TR SLP114 DENSITY ALT 1800FT < 1433006875 468414 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION is overheating~~~
< 1433006888 24785 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@metar KOAK < 1433006888 306802 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :KOAK 301653Z 26006KT 10SM OVC006 12/10 A2999 RMK AO2 SLP155 T01220100 < 1433006917 552436 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@metar LLBG < 1433006917 867636 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :LLBG 301720Z 32005KT CAVOK 22/14 Q1014 NOSIG < 1433006921 4793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hm < 1433006946 81297 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1433006946 257086 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :oerjan asked 1d 15h 31m 36s ago: So, why did you study in hell, then? < 1433006966 361894 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@ask oerjan study? < 1433006966 537643 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1433007034 874961 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=43110&oldid=43105 5* 0372.74.32.143 5* (+51) 10 < 1433007120 55543 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shellochaf. < 1433007132 762455 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boillo < 1433007162 508841 :GeoDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 264 seconds < 1433007347 967257 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1433007713 194147 :variable!~variable@c-67-188-9-244.hsd1.ca.comcast.net JOIN :#esoteric < 1433007713 408401 :variable!~variable@c-67-188-9-244.hsd1.ca.comcast.net QUIT :Changing host < 1433007713 408531 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1433008546 457616 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1433008727 2143 :hilquias`!~user@187.114.216.250 JOIN :#esoteric < 1433008817 971916 :hilquias!~user@unaffiliated/hilquias QUIT :Ping timeout: 252 seconds < 1433010237 200082 :boily!~alexandre@96.127.201.149 QUIT :Quit: PRECIOUS CHICKEN < 1433010439 975756 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1433010545 197943 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 276 seconds < 1433010546 24520 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1433010631 777643 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Read error: Connection reset by peer < 1433010704 2427 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c NICK :Tritonio < 1433010745 780215 :Aearnus!~Aearnus@ip98-177-186-172.ph.ph.cox.net QUIT :Remote host closed the connection < 1433011257 165983 :password2!~password@197.77.0.27 QUIT :Remote host closed the connection < 1433011410 963428 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :2 byte time of day: rounded value of (hour*3600+minute*60+second)*65536/86400 < 1433011487 497639 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oren: http://en.wikipedia.org/wiki/Hexadecimal_time < 1433011543 440860 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :everything old is new again < 1433011563 307426 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :apparently Tang Dynsty old, wow < 1433011621 753717 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Hexadecimal#Verbal_and_digital_representations < 1433011738 439933 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Also sunapan. < 1433011813 240305 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :So they also used hexadecimal for a bunch of other things, which is neat. < 1433012070 241186 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :it is approximately d1ea now < 1433012330 685475 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1433012356 165783 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :hmm a hex second is 1.318359375 regular seconds... < 1433012396 467939 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :the sixteens digit changes every 20 seconds. < 1433012500 971364 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :what is hex time useful for? < 1433012511 679819 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :to fit in only 2 vytes < 1433012514 686356 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :bytes < 1433012609 822152 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :the twofitysixes digit changes every 337 seconds or 5.6 minutes. the fortininysixes digit changes exactly every 1.5 hours < 1433012865 264341 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I wonder what the average and maximum conversion error is < 1433013333 379792 :HackEgo!~HackEgo@162.248.166.242 QUIT :Remote host closed the connection < 1433013905 3777 :Elronnd|deminewt!~elronnd@duckbot.xd.cm PART #esoteric :"whatever" < 1433013957 426647 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :the avergae error in conversion to hex time and back is 1/4 of a second < 1433013979 869388 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Ping timeout: 246 seconds < 1433014670 399097 :Wright__!~Wright@c-98-225-44-92.hsd1.wa.comcast.net NICK :Wright < 1433014678 981493 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=43111&oldid=43110 5* 03SuperJedi224 5* (+31) 10 < 1433015885 52039 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 258 seconds < 1433015994 414115 :rdococ!~rd606six@cpc12-staf7-2-0-cust182.3-1.cable.virginm.net QUIT : < 1433016327 429346 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1433016556 590375 :perrier!~cinch@107.170.175.57 QUIT :Read error: Connection reset by peer < 1433016634 94247 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1433016967 50331 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Treehugger14]]4 10 02http://esolangs.org/w/index.php?diff=43112&oldid=41558 5* 03SuperJedi224 5* (+54) 10 < 1433017370 594514 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 240 seconds < 1433018040 171739 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :LADSPA is a bit too simple and LV2 is a bit too complicated and both have a few other problems (although LADSPA does seem pretty reasonable for many stuff); if I make up my own based on something in between LADSPA and LV2 and Csound then what is it called? < 1433018082 569778 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Cladspound V2. < 1433018181 625146 :nys!~nys@blk-103-227-154.eastlink.ca JOIN :#esoteric < 1433018314 580528 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Ah, it is a bit long (but maybe it is OK, or can be shortened somehow) < 1433018331 806548 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I would drop "V2" at least. < 1433018610 738875 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Like LV2 we have plugins identified by URIs, and compatible plugins by the same URI (but, even plugins compatible with other systems can be identified: The same as the LV2 URI for LV2, "xurn:ladspa:" for LADSPA, "xurn:vst:" for VST, "urn:uuid:" for DirectX, and "xurn:rdn:" for AU). < 1433018965 860754 :hilquias`!~user@187.114.216.250 QUIT :Remote host closed the connection < 1433019091 339245 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Quit: Leaving < 1433019160 804795 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1433020861 73795 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Let's try some other kind of name..... < 1433020892 794647 :nys!~nys@blk-103-227-154.eastlink.ca PRIVMSG #esoteric :does anybody here understand game semantics? < 1433020907 372651 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :nys: I don't konw < 1433020911 907462 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :s/konw/know/ < 1433020988 59398 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :"Simple Extensible Audio Plugin System"? "Open Extensible Audio Plugin System"? I don't quite know? < 1433021020 456771 :nys!~nys@blk-103-227-154.eastlink.ca PRIVMSG #esoteric :i think i can sort of wrap my head around the interpretation in logic in terms of like, there is a winning strategy for a person defending a proposition or attacking the proposition < 1433021042 371867 :nys!~nys@blk-103-227-154.eastlink.ca PRIVMSG #esoteric :but i wonder if it gets significantly more involved when it comes to modelling something like PCF < 1433021072 234320 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I know a few things but hardly much < 1433021243 971785 :wolfcub!~wolfcub@177.55.195.202 JOIN :#esoteric < 1433021298 880396 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I had a different idea though of game using sequent calculus: The initial state is any sequent. The first player selects a rule with the current state below the line, filling in parameters as necessary. The second player selects a sequent above the line to move to. A player who runs out of legal moves loses. < 1433021689 977939 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(Draws are broken in favor of the second player when it is necessary to break draws.) < 1433022400 93290 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :So is MongoDB going to put relational databases out of business? < 1433022592 816487 :hilquias!~user@unaffiliated/hilquias QUIT :Remote host closed the connection < 1433023035 461892 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't know, at least, I still like to use SQLite < 1433023564 44760 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :"...However, because internally sort() uses the C++ strcmp api..." O_o "the C++ strcmp api" (╯°□°）╯︵ ┻━┻ < 1433023600 205126 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :it's not a C++ api, it is a C function!\ < 1433023600 461538 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer < 1433023615 549301 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1433023651 176500 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :yes, I'mma use the C++ qsort api to sort things too! < 1433023731 411399 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :source: http://docs.mongodb.org/manual/reference/bson-types/#string < 1433023733 959906 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Just because you don't use C++ strcmp to program applications doesn't mean that no one else does. < 1433023884 596870 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I thing normally API implies something more than a C function... like maybe i might refer to "the C string.h API" but even that is pushin it < 1433024071 334853 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I have seen a chess problem where it is mate in 2, but it is not possible to mate in 1 from the position which results after both players make their first move in the first problem; it is again mate in 2. And then after both players make the first move in this second problem, the resulting position is again mate in 2. < 1433024150 184622 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That doesn't sound like a mate-in-2 then < 1433024208 586222 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :By the next position I mean only the pieces on the board though, as is normal in chess problems. < 1433024947 956368 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1433025056 387418 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages- < 1433025056 563005 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :boily asked 5h 1m 30s ago: study? < 1433025071 566196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :very confusing hth < 1433025120 484436 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1433025121 285624 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ENVA 302220Z 09010KT 9999 -SHRA FEW025 SCT039 BKN051 09/04 Q1002 RMK WIND 670FT 10013KT < 1433025134 631296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :20 degrees difference from boily < 1433025146 823998 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think i prefer 9 to 29 < 1433025252 323567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell boily We already established Laval was there hth < 1433025252 499475 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1433025407 601272 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: HackEgo is doing that thing again < 1433025435 960916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell fizzie HackEgo is doing that thing again < 1433025436 136568 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1433025478 645153 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: that's for you too, in principle < 1433025674 628227 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: how do you feel about 39 twh < 1433025704 682003 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how can i feel anything if i'm dead from heat tdnh < 1433025974 620590 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :40 degrees is totally survivable hth < 1433025999 70390 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh i see you must be using fahrenheit < 1433026060 61870 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :/zzz/ < 1433026062 845238 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :? < 1433026065 600368 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Eilat#Climate < 1433026066 155947 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Wrong channel < 1433026078 681460 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in fact it's my father's idea of a good time hth < 1433026108 873715 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :MDude: this is, in fact, not the #sleeping channel < 1433026391 575132 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : (Draws are broken in favor of the second player when it is necessary to break draws.) <-- now i wonder if there are logics that are asymmetric like that < 1433026434 318396 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_one_ side can use law of excluded middle, but not the other... < 1433026457 325618 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :But then how do you decide whice player goes second? < 1433026466 495856 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :*which < 1433026478 407352 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :MDude: um i assume you'd get two logics complementing each other, really < 1433026638 298626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: wait he's actually there? i was trying to resist temptation for a negev joke < 1433026689 593706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(norway isn't known for its deserts, really) < 1433026880 556278 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: no < 1433026892 728409 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1433028249 740778 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Do you know how would write .XM playing software? < 1433028279 23770 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1433028324 47385 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1433028352 828435 :nys!~nys@blk-103-227-154.eastlink.ca PRIVMSG #esoteric :read the .xm specification. write a player. < 1433028378 788473 :nys!~nys@blk-103-227-154.eastlink.ca PRIVMSG #esoteric :.xm seems not as nice a format as .it < 1433028440 791237 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I do have .xm specification, the specification isn't very good to tell you playing much though < 1433028471 52242 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Also, .XM is the format that AmigaMML writes, and one advantage of .XM is that it can more easily be piped between programs than .IT format can be < 1433028802 26058 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I did however use the specification to make up a program to write .XM files, but I had to fix and add few things that were wrong/missing < 1433029725 924624 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck implementations14]]4 10 02http://esolangs.org/w/index.php?diff=43113&oldid=41855 5* 03155.133.12.236 5* (+109) 10/* Normal implementations */ < 1433030283 788362 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric