< 1415059441 965685 :AndoDaan!~AndoDaan@188.189.86.44 QUIT :Quit: HydraIRC -> http://www.hydrairc.com <- *I* use it, so it must be good! < 1415059463 446846 :Bicyclidine!~Glossina@wl-nat102.it.wsu.edu QUIT :Ping timeout: 256 seconds < 1415059465 885297 :AndoDaan!~Daanando@188.189.86.44 JOIN :#esoteric < 1415059910 362994 :boily!~boily@96.127.201.149 QUIT :Quit: ANATIDÆ CHICKEN < 1415060133 591875 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu JOIN :#esoteric < 1415060551 440813 :AndoDaan!~Daanando@188.189.86.44 QUIT :Ping timeout: 256 seconds < 1415061926 989438 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :That's a bit annoying for J golfing < 1415061929 154175 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :oh well. < 1415063207 725670 :Bicyclidine!~Glossina@wl-nat106.it.wsu.edu QUIT :Ping timeout: 265 seconds < 1415063548 788049 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I should play Nomyx < 1415063554 435924 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Is Nomyx the new PerlNomic < 1415065256 456836 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1415066710 74219 :AndoDaan!~Daanando@188.188.72.12 JOIN :#esoteric < 1415066950 739006 :Deewiant!~deewiant@deewiant.iki.fi QUIT :Ping timeout: 260 seconds < 1415067057 920265 :Deewiant!~deewiant@deewiant.iki.fi JOIN :#esoteric < 1415067467 129332 :drlemon!~drlemon@cpe-24-24-207-214.socal.res.rr.com JOIN :#esoteric < 1415069091 268685 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net QUIT :Ping timeout: 255 seconds < 1415069698 494126 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Why does this program crash when "i" or "i-" or "i_" is specified but not "i-_" and "i_-"? < 1415069700 26690 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :http://sprunge.us/iedA < 1415069855 227395 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :zzo38, i dunno but i made you http://i.imgur.com/hnRkv1R.png < 1415069880 622801 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric ::/ < 1415070677 766720 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :o_o < 1415071207 754116 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :zorkid&2047 < 1415071219 934786 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :would that be logical and < 1415071588 807281 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :not bitwise? < 1415071614 726905 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :2047 = 2^11 - 1, a fine bitmask. < 1415071626 368957 :vanila!~user@unaffiliated/vanila QUIT :Quit: Leaving < 1415072503 45486 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It is bitwise, but I don't expect that would explain it crashing? < 1415072634 870754 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :O nevermind I found the mistake. < 1415073143 576438 :password2!~password@197.76.151.177 JOIN :#esoteric < 1415073376 760190 :nys!~nys@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1415074060 970597 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1415074085 564333 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1415076419 641696 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Is it just me or does Nomyx have a lot of infrastructure that is not rules? < 1415076543 367452 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :Sgeo, i dunno but i made you http://ptoast.tk/logo/SGEO.png < 1415076637 666478 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :PotatoChat < 1415076642 347770 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric ::> < 1415076655 911733 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I thought you were a bot < 1415076664 622441 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :i can see why < 1415076691 333736 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Still think you're maybe running a script < 1415076769 133361 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :multiple < 1415076792 343316 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :the logo thing isnt though, i just got bored and generated logos for you < 1415076886 330869 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Oh < 1415076930 97898 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :cool < 1415077070 582924 :Parf!Parf@50.45.16.129 JOIN :#esoteric < 1415077178 936144 :Parf!Parf@50.45.16.129 PART :#esoteric < 1415077187 963652 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://ptoast.tk/logo/PENIS.png ok. < 1415077419 941621 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Wait what? There doesn't seem to be a script there, QNTM didn't work < 1415077444 200201 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's an actual file. < 1415077448 140414 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Oh there's a listing of all files and I can only assume PENIS was there for some reason < 1415077453 310176 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :heh < 1415077457 481125 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :forgot to add a dummy index < 1415077497 537072 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :elliott, my bot generates the logos, and my friends like to mess with eachother < 1415077533 321670 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :http://i.imgur.com/AgJr8Db.png < 1415077697 765603 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :this should work http://i.imgur.com/jvdKyAi.png < 1415077927 614948 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :All the YouTube spammers seem to have decided that my name is Alex. I'm not sure why. < 1415077953 857255 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :"Hey Alex this is the pretty at the restaurant!" < 1415077962 909303 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I... who calls themselves 'the pretty'? < 1415078016 867224 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :havent gotten any yt spam in awhile < 1415078666 346763 :AndoDaan_!~Daanando@188.188.66.84 JOIN :#esoteric < 1415078816 375736 :AndoDaan!~Daanando@188.188.72.12 QUIT :Ping timeout: 245 seconds < 1415079010 203295 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1415079024 784162 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net JOIN :#esoteric < 1415079194 838225 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@tell oerjan I think the 62 characters "prime numbers" solution relied on n+k-patterns. (meaning, I have a 62 characters version that works with n+k-patterns). The timing is right; ghc accepted them before 7.0, and 7.0.1 was released in November 2010. < 1415079195 246163 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1415079250 452367 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1415080764 129295 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@tell oerjan and btw I've browsed previous solutions a bit; there doesn't seem to be a magical primality test besides the Fermat one. < 1415080764 576906 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1415080809 433745 :password2!~password@197.76.151.177 QUIT :Ping timeout: 255 seconds < 1415080921 14058 :password2!~password@197.76.151.177 JOIN :#esoteric < 1415081242 411758 :password2!~password@197.76.151.177 QUIT :Ping timeout: 265 seconds < 1415081851 71403 :contrapumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1415081938 248927 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :*.net *.split < 1415082014 512426 :MDude!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net NICK :MDream < 1415082676 475744 :AndoDaan!~Daanando@188.188.88.8 JOIN :#esoteric < 1415082834 394103 :AndoDaan_!~Daanando@188.188.66.84 QUIT :Ping timeout: 256 seconds < 1415084262 490118 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1415084855 680546 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Why are some SQL implementations not supporting triggers on views? I find it to be a very useful feature. < 1415085172 546595 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sounds tricky to implement. < 1415085629 651531 :contrapumpkin!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1415085644 598104 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess it's easy enough for projections, managable for views that just filter rows of a single table by some not-so-clever where clause, and gets exceedingly complicated if views are defined by arbitrary select statements. how do you explain which cases will work and which won't? < 1415085726 860230 :MoALTz!~no@user-188-33-92-66.play-internet.pl QUIT :Quit: Leaving < 1415085880 209087 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :int-e: Well, if it is INSTEAD OF INSERT, then it is easy. For INSTEAD OF UPDATE and INSTEAD OF DELETE, the implementation can internally do a SELECT on it and call the triggers according to the ones that match the WHERE clauses of the UPDATE and DELETE statements. (Triggers other than INSTEAD OF may be more complicated for views, but I don't need them anyways, and SQLite doesn't implement them.) < 1415086126 812295 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :So I do not quite understand everything you are meaning. < 1415086219 834181 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I see. So you do not want something that triggers when the underlying tables are changed; instead, you want to translate updates on the view into updates on the underlying tables. That sounds quite a bit less scary. < 1415086294 323660 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I like the way SQLite does it: Doing an INSERT, UPDATE, or DELETE on a view only calls all of the applicable attached triggers and does nothing else (if there are no triggers of the correct type, it is an error). < 1415086344 467357 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :So it won't automatically know how to write to the underlying table and stuff like that; you have to put it in yourself if you want it. < 1415086423 740213 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :The INSTEAD OF keyword indicates its working like this. < 1415086434 436696 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I did not consider "instead of" triggers at all. So we were talking cross purposes. < 1415086464 924879 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(If you want it to trigger when the underlying tables are changed, you can put triggers on the tables themselves. Tables in SQLite support BEFORE and AFTER triggers; not INSTEAD OF. Views support only INSTEAD OF; not BEFORE and AFTER.) < 1415086479 301246 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(nor did I consider applying updates to a view rather than tables) < 1415087117 881010 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1415087303 540584 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 265 seconds < 1415087609 177341 :PixelToast!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net NICK :^v < 1415087892 491295 :AndoDaan_!~Daanando@188.188.64.130 JOIN :#esoteric < 1415087928 691686 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I find that I rarely use triggers other than INSTEAD OF INSERT, although they are sometimes useful. < 1415088026 190606 :AndoDaan!~Daanando@188.188.88.8 QUIT :Ping timeout: 244 seconds < 1415090182 724906 :AndoDaan!~Daanando@188.188.79.82 JOIN :#esoteric < 1415090280 592497 :AndoDaan_!~Daanando@188.188.64.130 QUIT :Ping timeout: 256 seconds < 1415090891 115597 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Do you use SQL sometimes, and do you use views and triggers often? < 1415090976 433386 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :prime substrings are substrings that represent primes? < 1415090997 489036 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 2{"33"jCO}GO < 1415090997 881103 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{"3" "3"} {"33"}} < 1415091003 388557 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 2{"33"jCO}GO\[ < 1415091003 565659 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"3" "3" "33"} < 1415091009 443544 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 2{"33"jCO}GO\[ri < 1415091009 929494 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Ain't nobody got time fo' dat! < 1415091014 976197 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 2{"33"jCO}GO\[)ri < 1415091015 182836 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {3 3 33} < 1415091018 95035 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 2{"33"jCO}GO\[ri < 1415091018 272166 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {3 3 33} < 1415091032 910040 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 2{"33"jCO}GO\[ri{fCL[2==}m[ < 1415091033 103320 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {0 0 1} < 1415091039 566371 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 2{"33"jCO}GO\[ri{fCL[}m[ < 1415091039 743456 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 1 2} < 1415091046 686223 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 2{"33"jCO}GO\[ri{fCL[1==}m[ < 1415091046 863731 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 1 0} < 1415091052 498407 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 2{"33"jCO}GO\[ri{fCL[1==Sh}m[\[ < 1415091053 65228 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "110" < 1415091068 405763 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 5{"37373"jCO}GO\[ri{fCL[1==Sh}m[\[ < 1415091068 582913 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "111111111101000" < 1415091074 741572 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i see < 1415091094 295389 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 5fC < 1415091094 472475 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {5} < 1415091106 674247 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 5{"37373"jCO}GO\[ri{fCU_}m[\[ < 1415091106 851670 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 1 1 1 1 1 1 1 1 1 1 1 1 1 1} < 1415091115 841345 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1415091128 493379 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 373fC < 1415091128 670488 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {373} < 1415091135 830881 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 37373 < 1415091136 25886 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 37373 < 1415091137 589381 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 37373fC < 1415091137 766433 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {7 19 281} < 1415091140 394699 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 37373fCU_ < 1415091140 572284 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 1 < 1415091147 886015 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 37373fCsm < 1415091148 63125 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 0 < 1415091154 402814 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 8fCsm < 1415091154 579899 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 1 < 1415091181 350745 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 5{"37373"jCO}GO\[ri{fC[-z?Sh}m[\[ < 1415091181 528089 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "111111111101000" < 1415091198 740508 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: Do you use fC[-z? as a prime check? < 1415091202 104330 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or some other method? < 1415091341 247641 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I used that originally, but working around zero cost more than using fcL[2== instead (which deals with zero properly). < 1415091350 529419 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :!blsq 0fC < 1415091350 706930 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : That line gave me an error < 1415091353 290233 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :!blsq 0fc < 1415091353 467313 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {} < 1415091375 32662 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, "properly" is a matter of opinion, but suitably-for-this-purpose anyway. < 1415091386 639632 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what? isn't there a bulit-in prime check in blsq? < 1415091433 28089 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(0fC gives a "divide by zero" error.) < 1415091511 559735 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :b_jonas: nope there isn't < 1415091555 235061 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fc is horribly slower than fC < 1415091558 779320 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::) < 1415091570 724537 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I guess 0fC should return {0} or something < 1415091594 944916 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or {} < 1415091603 104603 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'll add a prime check built-in in 1.7.4 < 1415091621 599532 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that uses trial divisions for small integers and miller rabin for larger ones < 1415091630 784039 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I also tried Jfcpd== but it's no shorter than fcL[2== and fails for 1. < 1415091645 239836 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1fc < 1415091645 416914 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1} < 1415091649 635602 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1fcpd < 1415091649 853817 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 1 < 1415091657 349856 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1Jfcpd < 1415091657 527135 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 1 < 1415091659 11820 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1Jfcpd#s < 1415091659 188856 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 1} < 1415091662 926092 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1Jfcpd== < 1415091663 103293 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 1 < 1415091673 754964 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It works for zero, due to {}pd being 1. < 1415091687 833069 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: hmm, ok < 1415091696 59966 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: I defined {}pd as 1 because math told to do so < 1415091699 257025 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {}pd < 1415091699 434341 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 1 < 1415091702 409595 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {}++ < 1415091702 587188 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 0 < 1415091706 469659 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but < 1415091712 382493 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {}q?*r[ < 1415091712 559657 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Burlesque: (r[) Empty list! < 1415091735 831634 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :nah that won't help either :) < 1415091758 863942 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :b_jonas: theres factor and prime-factors < 1415091765 479286 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 32fc < 1415091765 656451 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 2 4 8 16 32} < 1415091767 719503 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 32fC < 1415091767 897020 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {2 2 2 2 2} < 1415091786 623762 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 32ro{fCsm}f[ < 1415091786 800957 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {2 3 4 5 7 8 9 11 13 16 17 19 23 25 27 29 31 32} < 1415091787 837972 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: and one for divisors too? < 1415091805 441194 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 100ro{fCsm}f[ < 1415091805 618358 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {2 3 4 5 7 8 9 11 13 16 17 19 23 25 27 29 31 32 37 41 43 47 49 53 59 61 64 67 71 < 1415091818 177847 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :b_jonas: divisors? < 1415091830 266432 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :list of positive divisors of a number < 1415091837 40560 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's what factors does < 1415091837 217756 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sorted and uniqed < 1415091840 101424 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, ok < 1415091845 595385 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 32fc < 1415091845 771312 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 2 4 8 16 32} < 1415091860 62982 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq 144fc < 1415091860 239905 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 2 3 4 6 8 9 12 16 18 24 36 48 72 144} < 1415091873 658455 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@oeis 23,25,27,29,31,32,37,41,43 < 1415091876 118708 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Powers of primes. Alternatively, 1 and the prime powers (p^k, p prime, k >= ... < 1415091898 954061 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 100qfCGO:sm < 1415091899 131647 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{2} {3} {2 2} {5} {7} {2 2 2} {3 3} {11} {13} {2 2 2 2} {17} {19} {23} {5 5} {3 < 1415091931 883131 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ (#~0=>:@i.|])144 < 1415091932 413333 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :b_jonas: 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 < 1415091935 79541 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1415091997 20607 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ ([:>:@I.0=]|~>:@i.)144 < 1415091997 529934 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :b_jonas: 1 2 3 4 6 8 9 12 16 18 24 36 48 72 144 < 1415092077 541160 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that looks unreadable as hell. < 1415092095 243941 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :[ i.144 < 1415092095 762199 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :mroman: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 12... < 1415092101 229877 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :[ @i.144 < 1415092101 744110 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :mroman: |syntax error < 1415092101 921204 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :mroman: | @i.144 < 1415092105 105063 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :[ :@i.144 < 1415092105 582252 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :mroman: |syntax error < 1415092105 759346 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :mroman: | :@i.144 < 1415092117 765785 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You got me. I don't know J. < 1415092192 421226 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :100ro{fCsm}f[ is just 1..100, calculate prime factors and filter for lists where all elements are the same < 1415092215 699007 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {1 2}sm < 1415092215 876759 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 0 < 1415092218 687421 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {1 1 1}sm < 1415092218 864593 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 1 < 1415092225 295730 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {}sm < 1415092225 472791 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 0 < 1415092254 86169 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1415092277 126910 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 100{fCU_}GO < 1415092277 304195 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 < 1415092283 158055 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 100ro{fCU_}f[ < 1415092283 335079 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 2 3 5 6 7 10 11 13 14 15 17 19 21 22 23 26 29 30 31 33 34 35 37 38 39 41 42 4 < 1415092323 957647 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@oeis 7,10,11,13,14,15,17,19,21,22 < 1415092327 482344 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Squarefree numbers (or square-free numbers): numbers that are not divisible ... < 1415092379 885937 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there should be FO and FZ like GO and GZ < 1415092394 248818 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :100{fCU_}FO instead of 100ro{fCU_}f[ < 1415092440 177750 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: btw < 1415092448 489707 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :sometimes you can workaround the 0 by doing < 1415092456 853909 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric : /* code */0 < 1415092476 381397 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. instead of 100rz{...}f[ -> 100ro{...}f[0 < 1415092531 205039 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess, but here it's the individual substrings that are occasionally 0. < 1415092619 545047 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Since a 0 is what I need as the output for 0, what I did was J{...}if which is not too bad, but still 5B. < 1415092725 192932 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :I worked so hard to get J{}if out of my first solution... and here you have it, and your code is still 5B shorter < 1415092754 386626 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :AndoDaan: I mean, I had J{}if before; I don't have it any more. < 1415092754 720780 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: Your recommendation for 0fC is what? < 1415092757 568320 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :{} or {0}? < 1415092774 799687 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq -2fC < 1415092774 976913 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {-2} < 1415092780 870432 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq -8fC < 1415092781 48263 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {-8} < 1415092789 436694 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :ah. I feel a little better. < 1415092807 67101 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq -2fc < 1415092807 244266 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : Ain't nobody got time fo' dat! < 1415092815 213345 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :hmm < 1415092816 236607 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1415092820 925063 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :mroman: 1fC seems to be {}, so maybe 0fC could be too. But I don't know. < 1415092829 418323 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 1fC < 1415092829 594269 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {} < 1415092839 182443 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah. {} is probably best < 1415092849 939527 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fc for negative numbers should contain -1 < 1415092859 548994 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :0fC gives a dived by zero error. i think. < 1415092862 719315 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 8fc < 1415092862 896888 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 2 4 8} < 1415092876 290096 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I don't know < 1415092922 239282 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :actually 2 divides -8 < 1415092925 515032 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq -8 2?/ < 1415092925 692221 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : -4 < 1415092929 179201 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :as does -2 < 1415092932 746818 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq -8 -2?/ < 1415092932 924092 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 4 < 1415092953 943013 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so -8fc should probably be {-1 -2 -4 -8 1 2 4 8}? < 1415092999 659616 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq -8ng < 1415092999 836658 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Unknown command: (ng)! < 1415093016 689186 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net QUIT :Ping timeout: 245 seconds < 1415093061 269680 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Couldn't you use the same logic to argue that 8fc should be that too? < 1415093073 385496 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :true < 1415093097 452748 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but that wouldn't be what a Burlesque-user would expect it to do :D < 1415093110 630083 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't know what a Burlesque-user expects -8fc to be < 1415093111 924151 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1415093130 499646 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :mroman: I was thinking about a command that might be helpful. you have z?, which is useful in filtering false results. So i thought a o?, is one?, could come in handy. < 1415093152 935334 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there's nz < 1415093158 308799 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which isn't exactly "is one" < 1415093161 464905 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but "not zero" < 1415093174 738865 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {"a" "" "bc" "" "d"}:z? < 1415093174 916301 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"" ""} < 1415093177 664015 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {"a" "" "bc" "" "d"}:nz < 1415093177 841079 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"a" "bc" "d"} < 1415093190 418042 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also < 1415093198 905289 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :!blsq {1 2 3 4}fC)L[:o? < 1415093199 82858 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {0 1 1 2} < 1415093199 83035 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {1 0 1 0 0 1}{}f[ < 1415093199 260156 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 1 1} < 1415093216 926545 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :!blsq {1 2 3 4}fC)L[:nz < 1415093217 103737 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 1 2} < 1415093229 37141 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :AndoDaan: by "is one" you mean "integer 1"? < 1415093235 658416 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :yes. < 1415093265 106770 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :i know 1== is only three char, but for it to work with : < 1415093279 319053 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :it has to be a singly command, right? < 1415093304 33921 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :unless i overlooked something very useful. < 1415093322 127098 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yes. : only takes a single command < 1415093412 698358 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Do ){...} and :{...} mean anything? If not, you could use them as one-byte-saving shorthand for {...}m[ and {...}f[. Though it's a bit silly. < 1415093455 815688 :drdanmaku!uid17782@gateway/web/irccloud.com/x-zcsgondvkgrryigg QUIT :Quit: Connection closed for inactivity < 1415093510 297361 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :!blsq {1 2 3}){+.} < 1415093510 512125 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{+.} 1 {+.} 2 {+.} 3} < 1415093521 208002 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :!blsq {1 2 3}){+.ap} < 1415093521 385002 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{+. ap} 1 {+. ap} 2 {+. ap} 3} < 1415093534 10864 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :uhm < 1415093546 352491 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :!blsq {1 2 3}){+.+]} < 1415093546 529624 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{+. +]} 1 {+. +]} 2 {+. +]} 3} < 1415093557 244326 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :!blsq {1 2 3}){bx+.} < 1415093557 421439 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{bx +.} 1 {bx +.} 2 {bx +.} 3} < 1415093565 384497 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :okay < 1415093591 509106 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :!blsq {1 2 3}:{2.%} < 1415093591 686165 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 2 3} < 1415093600 903246 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :!blsq {1 2 3 4}:{2.%} < 1415093601 80508 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1 2 3 4} < 1415093601 639074 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, I guess it does have a meaning. < 1415093604 486597 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: yes @ ){} and :{} < 1415093613 452473 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {1 2 3 4})0 < 1415093613 629663 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {0 1 0 2 0 3 0 4} < 1415093625 694613 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {1 2 3 4}){0} < 1415093625 908649 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{0} 1 {0} 2 {0} 3 {0} 4} < 1415093629 806604 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Right, so ){...} is just {{...}}m[. < 1415093636 384683 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yup < 1415093637 483240 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, it makes sense. < 1415093653 610030 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: but I can add m{...} and f{...} instead of {}m[ or {}f[ < 1415093666 875171 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :!blsq {1 2 3}){)+.} < 1415093667 52869 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{) +.} 1 {) +.} 2 {) +.} 3} < 1415093692 264825 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :!blsq 1Pp{1 2 3}){pP+.} < 1415093692 441983 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{pP +.} 1 {pP +.} 2 {pP +.} 3} < 1415093704 264310 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :wrapped up pretty thight. < 1415093783 398727 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :is there anything that can shorten ]muN ? < 1415093801 460180 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :or m[uN < 1415094066 397153 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :AndoDaan: You can turn something like ln{...}]muN into {...Sh}WL at least. There are so many commands, maybe there's some way of also avoiding the Sh. < 1415094306 13583 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :see dammit. I knew I was messing up with ln everytime. < 1415094314 709037 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :Thanks! getting closer. < 1415094440 681600 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: what is the command for computing the exp of a floating point number in blsq? < 1415094611 60102 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: also, what's the command for getting all infixes of a particular length of a block, given the length? and what's the command for getting non-overlapping infixes of a particular length, except the last one may be shorter? < 1415094640 372109 :AndoDaan!~Daanando@188.188.79.82 PRIVMSG #esoteric :fizzie: Wl for Sh}WL < 1415094667 931020 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: and what's the command for getting all prefixes of a block, or all suffixes? < 1415094771 584506 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq "monster"q[-j-]z[ < 1415094771 804240 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Burlesque: (z[) Invalid arguments! < 1415094787 31840 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq "monster"q[-jz[ < 1415094787 209125 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{[- 'm}} < 1415094790 166519 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq "monster"q[-z[ < 1415094790 343947 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{'m [-}} < 1415094811 215791 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq "monster"J[-z[ < 1415094811 393043 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{'m 'o} {'o 'n} {'n 's} {'s 't} {'t 'e} {'e 'r}} < 1415094823 901309 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right, that < 1415095420 38629 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :b_jonas: there's su (substrings) < 1415095434 354820 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and 1.7.4 has inits and tails < 1415095440 548346 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(1.7.3 doesn't have that yet) < 1415095445 10654 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also < 1415095446 438187 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ee < 1415095446 615823 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 2.718281828459045 < 1415095460 99143 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq ee2** < 1415095460 276350 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Burlesque: (**) Invalid arguments! < 1415095461 337598 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ee 2.0?^ < 1415095461 513778 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 7.3890560989306495 < 1415095463 949377 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq ee2.^ < 1415095464 127157 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Unknown command: (.^)! < 1415095467 888569 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq ee2?^ < 1415095468 103762 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 7.3890560989306495 < 1415095473 984699 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ ^2 < 1415095474 427030 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :b_jonas: 7.38906 < 1415095488 111993 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq pi < 1415095488 289576 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 3.141592653589793 < 1415095489 635098 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fwiw < 1415095497 774573 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq eepi?^ < 1415095497 951931 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 23.140692632779263 < 1415095502 689631 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq piee?^ < 1415095502 867012 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 22.45915771836104 < 1415095541 327543 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 10roee?^ < 1415095541 504603 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {1.0 6.5808859910179205 19.812990745274643 43.30806042677592 79.43235916621322 1 < 1415095550 751141 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ee10ro?^ < 1415095550 928503 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {2.718281828459045 7.3890560989306495 20.085536923187664 54.59815003314423 148.4 < 1415095573 398168 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ee10ro?^{3rm}m[ < 1415095573 575482 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"2.718" "7.389" "20.086" "54.598" "148.413" "403.429" "1096.633" "2980.958" "81 < 1415095610 596864 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq "monst" su < 1415095610 812144 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"m" "n" "o" "s" "t" "mo" "ns" "on" "st" "mon" "nst" "ons" "mons" "onst" "monst" < 1415095619 968496 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, but how do I get only the 3-long substrings, < 1415095628 164409 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "monst"3CO < 1415095628 341663 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"mon" "ons" "nst"} < 1415095631 602712 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ah < 1415095635 363212 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :great < 1415095645 501896 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, and how about breaking to non-overlapping substrings? < 1415095655 111452 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what's that? < 1415095689 608467 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, it might be right there < 1415095703 339745 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq "non-overlapping infixes"3co < 1415095703 517003 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"non" "-ov" "erl" "app" "ing" " in" "fix" "es"} < 1415095707 209145 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that, yes < 1415095708 736806 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :thanks < 1415095714 730261 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I should have searched for "chunk" < 1415095719 543527 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::D < 1415095741 490805 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I thought you meant count occurrences of a substring without overlap < 1415095806 579945 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no < 1415095826 694691 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but that would be a nice builtin! < 1415095828 675148 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq "monster"{}m[ < 1415095828 852477 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "monster" < 1415095835 211756 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oc - occurences, OC - non-overlapping occurences < 1415095846 184872 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq "monster"XX < 1415095846 362005 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {'m 'o 'n 's 't 'e 'r} < 1415095888 123525 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq {0 0 0 0 0 0 0 1 0 1 1 0 1}{}fi < 1415095888 300853 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 7 < 1415095897 424358 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ 0 0 0 0 0 0 0 1 0 1 1 0 1 i.1 < 1415095897 968516 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :b_jonas: 7 < 1415095910 702120 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq {0 0 0 0 0 0 0 0 0 0 0 0 0}{}fi < 1415095910 879456 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : -1 < 1415095968 276994 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq {"hello" "world"}\[ < 1415095968 492085 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "helloworld" < 1415095971 561082 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq {"hello" "world"} < 1415095971 763749 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"hello" "world"} < 1415095997 965261 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :thanks < 1415096022 382883 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq {"hello" "world"}tp < 1415096022 560231 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{"hello" "world"}} < 1415096029 725547 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq {"hello" "world"}{XX}m[tp < 1415096029 902765 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {{'h 'w} {'e 'o} {'l 'r} {'l 'l} {'o 'd}} < 1415096063 889249 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq {"hello" "world"}{XX}m[tp{\[}m[ < 1415096064 128720 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"hw" "eo" "lr" "ll" "od"} < 1415096083 394003 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq {"hello" "world"}{XX}m[tp{}\m < 1415096083 571067 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {'h 'w 'e 'o 'l 'r 'l 'l 'o 'd} < 1415096087 163337 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um, no < 1415096088 601530 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :!blsq {"hello" "world"}{XX}m[tp{\[}m[ < 1415096088 778703 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"hw" "eo" "lr" "ll" "od"} < 1415096090 746760 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that < 1415096109 664775 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {"hello" "world"})XXtp)\[ < 1415096109 880945 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"hw" "eo" "lr" "ll" "od"} < 1415096127 421365 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq "hello""world"z[)\[ < 1415096127 598516 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {"hw" "eo" "lr" "ll" "od"} < 1415096144 770615 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :) is a prefix for maps < 1415096158 20244 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :)ab = {ab}m[, )5 = {5}m[ and so forth. < 1415096169 400656 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :)5 3={5}m[3 < 1415096219 419577 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right < 1415096229 384390 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq {1 2})(.+) < 1415096229 561658 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : {.+ 1 .+ 2} < 1415096304 881546 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :() "quotes" a command so it is pushed to the stack rather than being executed < 1415096307 929750 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq (.+) < 1415096308 106870 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : .+ < 1415096313 872384 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ((.+)) < 1415096314 49532 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : (.+) < 1415096324 904206 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and you can nest them < 1415096328 114840 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ((.+))e! < 1415096328 292141 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : ERROR: Burlesque: (e!) Invalid arguments! < 1415096346 667417 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :nobody probably needs that but it's there :D < 1415096359 72080 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq (9) < 1415096359 249339 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : 9 < 1415096366 235545 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ((9)) < 1415096366 412806 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : (9) < 1415096399 128864 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :((9)) is shorter than "(9)"Q fwiw < 1415096545 223001 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok... that's the part I'm not sure I want to understand now < 1415096701 911679 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :meh. it's pretty simple < 1415096716 873303 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :( ) just wraps something in a "Quoted" < 1415096717 50808 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric :(input):1:1: error: no implicit < 1415096717 50948 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric : arguments allowed < 1415096717 51024 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric : here, expected: ":", < 1415096717 51100 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric : dependent type signature, < 1415096717 51172 :idris-bot!~ircslave@dslb-088-078-146-232.088.078.pools.vodafone-ip.de PRIVMSG #esoteric : end of input14↵… < 1415096731 24656 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and if the interpreter sees a "Quoted" it unwraps it and pushes the thing inside to the stack < 1415096736 453560 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 9to < 1415096736 631041 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "Int" < 1415096738 857696 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 9.0to < 1415096739 34886 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "Double" < 1415096742 312137 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq (9)to < 1415096742 489413 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "Int" < 1415096749 545316 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ((9))to < 1415096749 722849 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "Quoted" < 1415096756 55959 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq (.+)to < 1415096756 233219 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "Ident" < 1415096763 230620 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq ((.+))to < 1415096763 407932 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "Quoted" < 1415096778 399388 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq .+to < 1415096778 576351 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "Error" < 1415096795 930804 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(.+ produces an error because there are no numbers on the stack) < 1415096802 677920 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 5 5.+to < 1415096802 855032 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "Int" < 1415096806 243529 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 5 5(.+)to < 1415096806 420940 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "Ident" < 1415096812 419932 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!blsq 5 5(.+)Qto < 1415096812 597205 :blsqbot!~blsqbot@fmnssun.ibone.ch PRIVMSG #esoteric : "Pretty" < 1415096858 683287 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1415097152 540794 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :What happens if I clone a repository from github < 1415097165 878489 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :make some committs, merge those committs into my master branch < 1415097178 161242 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and then someone makes committs to the repository on github I cloned from < 1415097207 1771 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :can I just pull those committs? < 1415097224 33243 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(technically I have to remotes) < 1415097243 536308 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*two remotes < 1415097268 874042 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :my local repository -> my repository on bitbucket and the official repository on github < 1415099361 925043 :AndoDaan!~Daanando@188.188.79.82 QUIT :Ping timeout: 258 seconds < 1415099474 86842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages- < 1415099474 704247 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :int-e said 5h 37m 59s ago: I think the 62 characters "prime numbers" solution relied on n+k-patterns. (meaning, I have a 62 characters version that works with n+k-patterns). The timing is right; ghc accepted them before 7.0, and 7.0.1 was released in November 2010. < 1415099474 881632 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :int-e said 5h 11m 49s ago: and btw I've browsed previous solutions a bit; there doesn't seem to be a magical primality test besides the Fermat one. < 1415099492 692234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic < 1415099510 546761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which means you must have beat me on something _else_... < 1415099532 905448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or possibly my naive prime test is too naive... < 1415099631 642103 :AndoDaan!~Daanando@188.188.91.24 JOIN :#esoteric < 1415100013 782433 :impomatic_!~digital_w@87.112.74.32 JOIN :#esoteric < 1415100198 726688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm shortening that x<2 test is exactly what n+k-patterns would be good at, isn't it. < 1415101950 148072 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1415102636 945656 :AndoDaan_!~Daanando@188.188.79.65 JOIN :#esoteric < 1415102760 704094 :AndoDaan!~Daanando@188.188.91.24 QUIT :Ping timeout: 255 seconds < 1415103361 792052 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :heheh < 1415103400 666954 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: hm? < 1415103481 277673 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the n+k patterns < 1415103657 686155 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait i didn't finish reading the logs yesterday < 1415103668 965402 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :too many open tabs < 1415103746 546535 :sebbu2!~sebbu@ADijon-152-1-30-87.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1415103746 760283 :sebbu2!~sebbu@ADijon-152-1-30-87.w83-194.abo.wanadoo.fr QUIT :Changing host < 1415103746 760394 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1415103778 846196 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 256 seconds < 1415104363 294711 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1415105804 729658 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net QUIT :Ping timeout: 264 seconds < 1415106124 45651 :monotone!~monotone@room208.org QUIT :Ping timeout: 258 seconds < 1415106804 242060 :monotone!~monotone@room208.org JOIN :#esoteric < 1415108756 510366 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1415108813 907571 :AndoDaan_!~Daanando@188.188.79.65 QUIT :Ping timeout: 272 seconds < 1415108972 859838 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1415110225 336849 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 240 seconds < 1415110929 810443 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1415111240 459597 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07List of ideas14]]4 10 02http://esolangs.org/w/index.php?diff=40774&oldid=40424 5* 0367.78.57.11 5* (+29) 10/* Derivative Ideas */ < 1415111559 113043 :vanila!~user@unaffiliated/vanila JOIN :#esoteric < 1415112163 606116 :hello!~hello@117.97.209.132 JOIN :#esoteric < 1415113154 904797 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1415113557 399294 :drdanmaku!uid17782@gateway/web/irccloud.com/x-vuracywfjveyrzdo JOIN :#esoteric < 1415114030 53952 :hello!~hello@117.97.209.132 PART #esoteric :"Leaving" < 1415115333 31706 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1415115884 968114 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1415116581 35389 :AndoDaan!~Daanando@188.189.93.146 JOIN :#esoteric < 1415116603 669020 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1415117067 698032 :perrier!~cinch@107.170.175.57 QUIT :Read error: Connection reset by peer < 1415117458 368380 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07List of ideas14]]4 10 02http://esolangs.org/w/index.php?diff=40775&oldid=40774 5* 0367.78.57.11 5* (+141) 10/* Joke/Silly Ideas */ < 1415117660 322953 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 264 seconds < 1415118170 443222 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1415119914 234231 :password2!~password@197.76.147.90 JOIN :#esoteric < 1415119955 374360 :password2!~password@197.76.147.90 QUIT :Max SendQ exceeded < 1415119988 191994 :password2!~password@197.76.147.90 JOIN :#esoteric < 1415120717 120744 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1415122914 447435 :password2!~password@197.76.147.90 QUIT :Ping timeout: 258 seconds < 1415123717 843402 :AnotherTest!~turingcom@94-224-26-148.access.telenet.be JOIN :#esoteric < 1415123738 31835 :password2!~password@197.76.131.96 JOIN :#esoteric > 1415124344 531635 JOIN :#esoteric > 1415124348 674785 JOIN :#esoteric > 1415124349 192535 JOIN :#esoteric > 1415124384 556309 JOIN :#esoteric > 1415124388 693331 JOIN :#esoteric > 1415124389 210454 JOIN :#esoteric > 1415124424 610872 JOIN :#esoteric > 1415124428 747470 JOIN :#esoteric > 1415124429 263884 JOIN :#esoteric > 1415124464 657943 JOIN :#esoteric > 1415124468 798259 JOIN :#esoteric > 1415124469 315270 JOIN :#esoteric > 1415124504 723589 JOIN :#esoteric > 1415124508 861819 JOIN :#esoteric > 1415124509 379557 JOIN :#esoteric > 1415124568 853561 JOIN :#esoteric > 1415124572 994209 JOIN :#esoteric > 1415124573 512409 JOIN :#esoteric > 1415124620 851355 JOIN :#esoteric < 1415124622 74813 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1415124624 988026 JOIN :#esoteric > 1415124625 505260 JOIN :#esoteric < 1415124724 508883 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1415126030 581328 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Element14]]4 N10 02http://esolangs.org/w/index.php?oldid=40776 5* 0367.78.57.11 5* (+2753) 10Created page with "'''Element''' is a simple language by [http://codegolf.stackexchange.com/users/2867/phiNotPi phiNotPi]. It is supposedly designed as "very compact and human-readable". Each in..." < 1415128432 207014 :tiara-!~androirc@31.4.177.153 JOIN :#esoteric < 1415128879 268749 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 JOIN :#esoteric < 1415128931 448154 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Someone please create a type theory that only describes functions whose output length is at most a polynomial function of the input length. < 1415128932 796089 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Thanks. < 1415128978 65656 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Such a theory would have the neat property that you can't prove that the unary naturals are isomorphic to the binary naturals, because the function from the binary naturals to the unary naturals grows too fast. < 1415129008 488765 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Likewise, exponentiation can't be defined as a function unat -> unat -> unat or bnat -> bnat -> bnat; the best you can do is bnat -> unat -> bnat. < 1415129037 574428 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Sounds ultrafinitistic, doesn't it? < 1415129097 810888 :tiara-!~androirc@31.4.177.153 PART #esoteric :"Salir" < 1415129189 721962 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :tswett: hmm < 1415129238 72785 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you'll have to ask people who are good in algebraic logic. < 1415129296 247405 :AndoDaan!~Daanando@188.189.93.146 QUIT :Ping timeout: 265 seconds < 1415129312 235767 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :11:24:49 Someone please create a type theory that only describes functions whose output length is at most a polynomial function of the input length. < 1415129316 663517 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :isnt that simple typed lambda calculus/ < 1415129364 386691 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :https://archive.org/stream/arxiv-cs0701022/cs0701022_djvu.txt < 1415129693 217599 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1415130326 653461 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :vanila: good question. < 1415130350 913837 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1415130423 143226 :MDream!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net NICK :MDude < 1415130542 975932 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 250 seconds < 1415130548 900873 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Can the STLC represent the modulo function? < 1415130599 86451 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :tswett: with what encoding of the numbers? < 1415130608 395199 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Church numerals. < 1415130664 275683 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1415130865 681212 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :I guess the STLC has a bunch of different kinds of Church numerals. < 1415131005 794730 :AndoDaan!~Daanando@188.188.72.115 JOIN :#esoteric < 1415131134 532737 :vifino!me@vifino.cc QUIT :Remote host closed the connection < 1415131642 102072 :nortti!nortti@nano.smar.fi NICK :lawspeaker < 1415131697 587127 :lawspeaker!nortti@nano.smar.fi NICK :nortti < 1415131845 749046 :AndoDaan_!~Daanando@188.189.94.248 JOIN :#esoteric < 1415132054 782466 :AndoDaan!~Daanando@188.188.72.115 QUIT :Ping timeout: 265 seconds < 1415132581 889265 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: it's definitely not the simply typed lambda calculus. the extended polynomials arise from restricting to input Church numerals to a single type N(*) where N(t)=(t -> t) -> t -> t and * is a base type. If one allows t to vary, one gets larger growth easily. with :: N(* -> *) and :: N(*) grows exponentially, for example. (It reduces to : N(*)) < 1415132625 615260 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sorry, m^n. < 1415132635 341577 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :so restrict to that < 1415132674 660254 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: ah < 1415132699 475273 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But thanks, now I finally know where people get that claim. < 1415132797 950409 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I've seen the claim that simply typed lambda calculus corresponds to polynomially bounded functions several times and never figured out how such an obviously wrong idea could become so widely spread.) < 1415133046 320331 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Does there exist a type t such that exponentiation can be defined as a function (C t -> C t) -> C t, where C t = (t -> t) -> t -> t? < 1415133152 544316 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I don't understand that type. < 1415133252 15961 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I mean, f :: (C t -> C t) -> C t has one argument of type C t -> C t. Now, ok, that could be a Church Numeral, but I expected a second argument somewhere? < 1415133291 92385 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :Er whoops. < 1415133296 226363 :tswett!6b0598fd@gateway/web/freenode/ip.107.5.152.253 PRIVMSG #esoteric :I meant C t -> C t -> C t. < 1415133346 119198 :password2!~password@197.76.131.96 QUIT :Ping timeout: 250 seconds < 1415133376 728833 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I don't know, though it would surprise me. I don't even know the theory behind the C * result. < 1415134129 880926 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: Leaving < 1415134131 332959 :password2!~password@197.76.154.247 JOIN :#esoteric < 1415134199 387552 :vifino!me@vifino.cc JOIN :#esoteric < 1415134726 984335 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: Lost terminal < 1415134918 740920 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1415135579 777621 :password2!~password@197.76.154.247 QUIT :Ping timeout: 260 seconds < 1415135852 380497 :AndoDaan!~Daanando@188.188.65.55 JOIN :#esoteric < 1415135882 874743 :AndoDaan_!~Daanando@188.189.94.248 QUIT :Ping timeout: 265 seconds < 1415135962 896775 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02http://esolangs.org/w/index.php?diff=40777&oldid=40762 5* 03216.207.42.140 5* (+11) 10Added Ante < 1415136348 91119 :password2!~password@197.76.148.107 JOIN :#esoteric < 1415136646 365620 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Are there any leap seconds in future? < 1415136657 69308 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :If so, what are they? Wikipedia only lists up to now. < 1415136742 38482 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :the leap second community decides when they occur < 1415136817 157303 :vanila!~user@unaffiliated/vanila PRIVMSG #esoteric :IERS http://www.iers.org/nn_10828/IERS/EN/Service/Glossary/leapSecond.html < 1415136838 994585 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a proposal going around to dispense with them, I haven't heard any news about how that's going. < 1415136881 292403 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: the can't be determined long in advance. they're decided like a year or two before. < 1415136900 280675 :yukko!~yukko@unaffiliated/yukko JOIN :#esoteric < 1415136908 141 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's a rule for them but it depends on astronomical measurements of earth's position < 1415136932 412584 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But, there is software to measure the Earth's position in advance. < 1415137000 473528 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think the rotation is predictable enough, with that amount of accuracy, since it's so wobbly. < 1415137126 726907 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :OK < 1415137129 479354 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I mean, look at that thing: http://upload.wikimedia.org/wikipedia/commons/5/5b/Deviation_of_day_length_from_SI_day.svg < 1415137346 954239 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Ante14]]4 N10 02http://esolangs.org/w/index.php?oldid=40778 5* 03216.207.42.140 5* (+2116) 10Ante programming language < 1415137521 810273 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I know that Swiss Ephemeris requires an external leap second table, in order to perform accurate calculations. < 1415137619 868923 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1415138588 158809 :password2!~password@197.76.148.107 QUIT :Ping timeout: 244 seconds < 1415139325 801877 :vifino!me@vifino.cc QUIT :Ping timeout: 240 seconds < 1415139345 476743 :password2!~password@197.76.153.96 JOIN :#esoteric < 1415139417 977889 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I prefer to use BC/AD notations for abbreviations rather than using BCE/CE, although when writing them out in long I will generally prefer to say "common era". (Terms like "before Christ" aren't even accurate, actually.) < 1415140069 920158 :vifino!me@vifino.cc JOIN :#esoteric < 1415140334 887144 :AnotherTest!~turingcom@94-224-26-148.access.telenet.be QUIT :Remote host closed the connection < 1415140706 514043 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Right, I have 4 weeks to prepare a half hour talk on the lambda calculus < 1415140892 239417 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :i like your name < 1415140892 647366 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :http://ptoast.tk/logo/DIcqa.png < 1415140912 985186 :Bike!~Glossina@stepheast-v394-wired-gw.net.wsu.edu PRIVMSG #esoteric :"Have you ever wanted a system of computation that can be mostly explained in ten minutes and isn't based on ticker tape? No? Well, fuck you then" < 1415141150 511825 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1415141194 792816 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1415141426 830850 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1415141482 909550 :boily!~boily@96.127.201.149 QUIT :Quit: BROKEN CHICKEN < 1415141794 900301 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1415142625 853436 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 240 seconds < 1415142833 941395 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net QUIT :Ping timeout: 255 seconds < 1415143709 59040 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1415143854 663040 :AndoDaan_!~Daanando@188.189.75.249 JOIN :#esoteric < 1415143883 376496 :AndoDaan!~Daanando@188.188.65.55 QUIT :Ping timeout: 265 seconds < 1415144163 651195 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Bike: might be hard to stretch that into 30 minutes < 1415144310 108334 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :takeFor (30 minutes) $ cycle "Have you ever [...]." < 1415144899 854522 :vifino!me@vifino.cc QUIT :Ping timeout: 244 seconds < 1415145206 899759 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that would be good performance art < 1415145226 780842 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: so I bet this new job of yours is in hexham, right < 1415145323 530847 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I mentioned it was in London. (Also I *still* don't quite have the contract signed, which is slightly unnerving.) < 1415145467 454307 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 245 seconds