< 1437696225 344500 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Remote host closed the connection < 1437696843 113209 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1437696974 233898 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bonnuily < 1437697028 936422 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, why isn't that one word < 1437697421 482782 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net JOIN :#esoteric < 1437697717 974309 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Do the mutations that cause cancer occur on a small enough scale that quantum randomness comes into play, or is it still large enough that it's more like physically rolling a dice, hard to tell what will happen but still deterministic? < 1437697722 544995 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :good eving oerjan! < 1437697751 364118 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :Sgeo: I'm pretty sure it must be the latter < 1437697832 905004 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :because DNA and the proteins that manipulate it are very big molecules, at high temperature < 1437697935 232717 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1437697979 105587 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :and they're immersed in water too, i don't see much chance of an isolated quantum thingy forming < 1437698028 322139 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :How about if it's caused by radiation? Would the radiation itself that caused the mutation likely have been random and might have missed? < 1437698029 961784 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :bonsørjair! < 1437698073 335590 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1437698075 86057 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_͙̣̿̊ͣ̉ͣͪ͒̓̐͊̏ͫ̓̚̚�͎͎͙̪̪̝̖͉̟̭̻̥̫̗̱̗͍̳̦̮̟̲̥͔҉̕͜͠͠҉̡̧̛͞/̼͚͇̮͕̘̳̞̤̜̯̪̘̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_̿̊ͣ̉ͣͪ͒̓� < 1437698080 989718 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi boily < 1437698086 733311 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how'z jamz? < 1437698117 679614 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellochaf! < 1437698125 370876 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :back from a free punk show downtown! < 1437698272 301278 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo_: radioactive radiation is definitely quantum random < 1437698301 611617 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: are you a free punk < 1437698324 515304 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :But would be impossible to know if a given cancer was caused by radioactive radiation or not < 1437698347 622809 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well duh < 1437698405 521498 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 265 seconds < 1437698410 912047 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Sgeo_: that would imply carcinogenic cancerous radioactive radiation. < 1437698427 417307 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shachaf: only when it comes to hot-dogs. < 1437698460 407703 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(there were free hot-dogs. I had mine all dressed.) < 1437698484 917808 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :So if many-worlds is correct, there would be at least some "nearby" "universes"/"branches" where some people who got cancer did not, and some people who did not get cancer did < 1437698524 552163 :sebbu!~sebbu@ADijon-152-1-15-138.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1437698562 797271 :sebbu!~sebbu@ADijon-152-1-15-138.w83-194.abo.wanadoo.fr QUIT :Changing host < 1437698562 851538 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1437698564 83406 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION drinks a can of nước yến ngân nhĩ
< 1437698585 22323 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :yah. but if fatalism is correct, quantum random things only seem random. < 1437698614 288555 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I hope fatalism isn't correct. < 1437698624 115356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It doesn't sound like a good outlook. < 1437698629 462104 :_256Q!~toastyten@unaffiliated/256q/x-9307863 QUIT :Quit: Leaving < 1437698653 350651 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I think sometimes I use it as a coping mechanism but that might be unhealthy < 1437698679 421892 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It sounds fatal, in fact. That's the whole joke of what I'm saying. < 1437698679 524676 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Well, almost-fatalism, I exclude quantum random events that affect the macro world from it < 1437698692 279111 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not much content to it. Not that there was much content to the channel before. < 1437698758 294261 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I think there are some true but harmful beliefs. Imagine if someone died in an accident, and you can't stop thinking about how if you just did one little thing different they might still be alive. It's probably true, but that has to be mind destroying < 1437698911 276487 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :boily: viet soda? < 1437698919 510559 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :or viet beer? < 1437698939 498181 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Anyway, regardless of scientific reality, I think I have a WritingPrompt idea based on this, at least, although I've never done WritingPrompts before < 1437698947 980488 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 246 seconds < 1437698953 366253 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Although maybe not < 1437698955 385630 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1437699004 95034 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437699017 524384 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oren: viet soda. < 1437699159 8234 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :there also was a viet sandwich along with it, but it mysteriously disappeared. < 1437699349 317091 :mihow!~mihow@173-164-76-214-Oregon.hfc.comcastbusiness.net JOIN :#esoteric < 1437699608 322275 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`wisdom < 1437699609 427897 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :banach-tarski/"Banach-Tarski" is an anagram of "Banach-Tarski Banach-Tarski". < 1437699901 614885 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1437699902 556786 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat/Cats are cool, but should be illegal. < 1437699929 91733 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`wisdom < 1437699930 6919 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :supermarioperator/supermarioperator is one of many confusing operators as defined in Control.Plumbers.Monad. Your sanity is in another castle. < 1437699944 100502 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`` culprits wisdom/supermarioperator < 1437699945 517638 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oerjan elliott boily < 1437699953 190316 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ah? I wrote that? < 1437699978 612227 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` hg log wisdom/supermarioperator | grep summary: < 1437699979 523824 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :summary: learn supermarioperator is one of many confusing operators as defined in Control.Plumbers.Monad. Your sanity is in another castle. < 1437700015 21559 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :so it is. < 1437700056 671917 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`wisdom < 1437700057 557569 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :marmite/Marmite is a group mind of fungal microorganisms spreading throughout the supermarkets of the Commonwealth. < 1437700498 899722 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: clearly someone ran banach-tarski in reverse on your sandwich and another one < 1437700578 925167 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`learn supermarionation is another name for the mushroom kingdom < 1437700581 19693 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'supermarionation': supermarionation is another name for the mushroom kingdom < 1437700699 443461 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I miss the Thunderbirds... < 1437700791 588845 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1437700831 105666 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` sed -i 's/$/./' wisdom/supermarionation < 1437700832 575300 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1437700894 922158 :boily!~alexandre@96.127.201.149 QUIT :Quit: VOXEL CHICKEN < 1437701203 838326 :Herbalist!~oz@unaffiliated/herbalist JOIN :#esoteric < 1437701410 260274 :Herbalist!~oz@unaffiliated/herbalist PART :#esoteric < 1437703006 65209 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Remote host closed the connection < 1437703485 537179 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Z? < 1437703859 4279 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1437704104 153725 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDream < 1437704414 280282 :mihow!~mihow@173-164-76-214-Oregon.hfc.comcastbusiness.net QUIT :Quit: mihow < 1437705355 838474 :Wallacoloo!~colin@2601:602:8a00:78e3:818c:57ec:4ae8:4900 JOIN :#esoteric < 1437706036 535350 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1437706712 329359 :mihow!~mihow@173-164-76-214-Oregon.hfc.comcastbusiness.net JOIN :#esoteric < 1437707251 601191 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :welp. < 1437707430 504853 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :one fifth of ottawa is cheating on their wives < 1437707459 221679 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Grammar is weird. The statement "X died" makes it sound like X did something to die, when it's most often caused by an external action < 1437707980 52726 :mihow!~mihow@173-164-76-214-Oregon.hfc.comcastbusiness.net QUIT :Quit: mihow < 1437708052 792219 :mihow!~mihow@173-164-76-214-Oregon.hfc.comcastbusiness.net JOIN :#esoteric < 1437708334 329744 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437709179 317453 :Wallacoloo!~colin@2601:602:8a00:78e3:818c:57ec:4ae8:4900 PRIVMSG #esoteric :This is brilliant: https://en.wikipedia.org/wiki/Illegal_prime < 1437709220 402269 :Wallacoloo!~colin@2601:602:8a00:78e3:818c:57ec:4ae8:4900 PRIVMSG #esoteric :I mean, the title alone caught me off guard, but the idea of encoding your data as a mathematically significant prime number in order to defeat censorship is pretty clever. < 1437709723 604700 :mihow!~mihow@173-164-76-214-Oregon.hfc.comcastbusiness.net QUIT :Quit: mihow < 1437709772 177098 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I like it too < 1437709824 918094 :mihow!~mihow@173-164-76-214-Oregon.hfc.comcastbusiness.net JOIN :#esoteric < 1437709947 960238 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, turns out I've been there before in my (former) role as a Wikipedia admin < 1437709976 57534 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :someone was claiming that the page's protection status was mislabeled (which normally needs an admin to update either the protection status or the labelling so that the two match), but they were mistaken < 1437709986 638393 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :Gregor: You'll be amused to note that one of my coworkers is a graduate of Waterloo's CS program. < 1437709999 541024 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :And by "coworker" I mean "team mate" < 1437710093 910134 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Remote host closed the connection < 1437710259 711917 :Wright_!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1437710260 64387 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer < 1437710616 36100 :mihow!~mihow@173-164-76-214-Oregon.hfc.comcastbusiness.net QUIT :Quit: mihow < 1437710661 999979 :mihow!~mihow@173-164-76-214-Oregon.hfc.comcastbusiness.net JOIN :#esoteric < 1437711058 909331 :mihow!~mihow@173-164-76-214-Oregon.hfc.comcastbusiness.net QUIT :Quit: mihow < 1437711512 990073 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: do you have opponents where you work, too? < 1437711520 730472 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :ais523: Not to my knowledge. < 1437711718 383544 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I fixed my userChrome.js first I made it to fix the location bar and now I also added the codes to fix the dialog box to ask you if you want to open or save it too < 1437712692 388449 :comodvs!~comodvs@unaffiliated/comodvs QUIT :Ping timeout: 264 seconds < 1437712949 909688 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1437713724 24710 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437714007 28457 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1437715173 3111 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Remote host closed the connection < 1437715182 748077 :Wright_!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Ping timeout: 244 seconds < 1437715200 151202 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1437716678 525971 :Walpurgisnacht!~Nihilumbr@74-61-60-199.war.clearwire-wmx.net JOIN :#esoteric < 1437716688 402642 :Walpurgisnacht!~Nihilumbr@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :> 17 * 10 < 1437716689 885499 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 170 < 1437716710 297422 :Walpurgisnacht!~Nihilumbr@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Darn I didn't type it out all the way < 1437716784 469565 :Walpurgisnacht!~Nihilumbr@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Gosh darn 4 loops < 1437717151 567070 :Wallacoloo!~colin@2601:602:8a00:78e3:818c:57ec:4ae8:4900 PART :#esoteric < 1437717551 654786 :MoALTz_!~no@78.11.179.104 JOIN :#esoteric < 1437717758 831933 :MoALTz!~no@78.11.179.104 QUIT :Ping timeout: 246 seconds < 1437719383 30140 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 260 seconds < 1437720930 882936 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437721207 845910 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1437721223 768104 :olsner!~salparot@c83-252-193-184.bredband.comhem.se QUIT :Ping timeout: 244 seconds < 1437721229 370599 :Sgeo__!~Sgeo@ool-44c2a85f.dyn.optonline.net JOIN :#esoteric < 1437721373 545821 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1437721937 201285 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fnurd. < 1437722147 462487 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1437722175 57004 :jasony!~jasony@c-73-14-83-56.hsd1.co.comcast.net JOIN :#esoteric < 1437722775 622169 :olsner!~salparot@c83-252-193-184.bredband.comhem.se JOIN :#esoteric < 1437723065 820154 :J_A_Work!~J_Arcane@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi JOIN :#esoteric < 1437723172 63434 :J_A_Work_!~J_Arcane@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi JOIN :#esoteric < 1437723172 163548 :J_A_Work!~J_Arcane@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi QUIT :Read error: Connection reset by peer < 1437723172 217923 :J_A_Work_!~J_Arcane@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi NICK :J_A_Work < 1437724091 687159 :Walpurgisnacht!~Nihilumbr@74-61-60-199.war.clearwire-wmx.net QUIT :Quit: Fuck me < 1437725190 682890 :J_A_Work!~J_Arcane@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi QUIT :Quit: J_A_Work < 1437725807 430410 :white_bear!~white_bea@AMontsouris-655-1-143-158.w92-128.abo.wanadoo.fr JOIN :#esoteric < 1437725952 943336 :AnotherTest!~turingcom@94-224-27-215.access.telenet.be JOIN :#esoteric < 1437726287 539887 :jasony!~jasony@c-73-14-83-56.hsd1.co.comcast.net QUIT :Quit: Leaving < 1437727133 307939 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :stupid question < 1437727145 838598 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what's the 5th fibonacci number? < 1437727151 399045 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is it 5 or 8? < 1437727155 602962 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :where do i start to count? < 1437727162 519041 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :izabera: 5 < 1437727165 511363 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :thanks < 1437727195 347720 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :izabera: you start to count so that fibonacci(gcd(n, k)) = gcd(fibonacci(n), fibonacci(k)) is true, and fibonacci(0) = 0 and fibonacci(1) = 1. < 1437727238 92952 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1437727255 809173 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :oh < 1437727261 113006 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :izabera: that's the best reason < 1437727263 379786 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :nice property < 1437727349 373998 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, in that case the 5th fibonacci number is 3 < 1437727355 199164 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://www.bigprimes.net/archive/fibonacci/1000/ this page counts from 0 < 1437727360 754220 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because 0 → first, 1 → second, 2 → third, and so on < 1437727399 810326 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :0,1,1,2,3 < 1437727402 630544 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :makes sense < 1437727553 39931 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :
ACTION good morning
< 1437727564 210376 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :morning Taneb < 1437727898 521876 :lleu!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer < 1437727923 838871 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1437729390 593747 :heroux!sandroco@gateway/shell/insomnia247/x-vpdblbhzotzudjpw QUIT :Ping timeout: 240 seconds < 1437729444 681163 :heroux!sandroco@gateway/shell/insomnia247/x-ocokudnnboqruwrb JOIN :#esoteric < 1437730293 23980 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :How many fibonacci numbers are primes? < 1437730332 236260 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :At least 2 < 1437730343 689834 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Conjecture: infinitely many < 1437730369 811198 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :2,3,5,8,13,89 < 1437730384 649281 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :233 < 1437730437 17693 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :1597 < 1437730445 304004 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :A small infinitely many < 1437730488 878693 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, https://en.wikipedia.org/wiki/Fibonacci_prime < 1437730543 632123 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's unproven as of now < 1437730689 179518 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :good < 1437730709 728990 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so I can claim that I have a prove that will be relased upon my death < 1437730724 63172 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but then... it is suddenly lost. < 1437730730 775499 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I still get mentioned on wikipedia for it :D < 1437730739 15234 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's how you get onto wikipedia < 1437730752 388330 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*proof < 1437731132 583646 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437731438 504691 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1437731746 633227 :lleu!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer < 1437731767 21646 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1437731830 261193 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :8? < 1437731875 821480 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :last time i checked, 8 was dividable by 2 < 1437732432 389034 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :myname, whaaaat? < 1437732441 901590 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am not sure that you are right < 1437732446 453904 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Can you prove it? < 1437732461 450372 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :depends on the axioms you give me < 1437732464 917995 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :OK < 1437732470 177116 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'll believe you < 1437733383 954323 :glowcoil!sid3405@gateway/web/irccloud.com/x-ssfemyswgmesuljq QUIT : < 1437733394 866085 :glowcoil!sid3405@gateway/web/irccloud.com/x-dfolbckztohprcia JOIN :#esoteric < 1437733619 722870 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1437733677 413197 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1437734759 624072 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Depends. < 1437734762 643056 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :2 mod 2 is 0 < 1437734766 938378 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and you can't divide by 0 < 1437735080 39177 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :mrelloman. don't tell me what I can't do. < 1437735304 753133 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> 10 / 0 < 1437735306 493361 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Infinity < 1437735313 542353 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Clearly one CAN divide by zero! < 1437735992 663116 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> 10 `div` 0 < 1437735994 152916 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *Exception: divide by zero < 1437735995 485088 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Only sometimes! < 1437736014 856828 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> 0 * (10/0) < 1437736016 485254 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : NaN < 1437736118 191290 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION feels mathematically uneasy
< 1437736489 176857 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hurrah for IEEE 754 < 1437736868 37246 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> [1/0 - 2/0, (1-2)/0] -- hurrah < 1437736869 662595 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [NaN,-Infinity] < 1437736931 158619 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> decodeFloat (0/0) < 1437736932 798320 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (-6755399441055744,972) < 1437736948 630667 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> decodeFloat (0*(10/0)) < 1437736949 949984 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (-6755399441055744,972) < 1437736954 518650 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Huh, the same NaN < 1437737038 352213 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :this is horrible. I'm leaving for saner realities. < 1437737048 655088 :boily!~alexandre@96.127.201.149 QUIT :Quit: MANAGERIAL CHICKEN < 1437737068 82215 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :> [0/0, uncurry encodeFloat . decodeFloat $ (0/0)] -- wow < 1437737069 559867 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [NaN,-Infinity] < 1437737099 491550 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :much wow. very float. So NaN. < 1437737207 66277 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :fizzie: That's GHC #3134 < 1437737224 241309 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> encodeFloat $ decodeFloat (1/0 :: Float) < 1437737225 569081 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Couldn't match expected type ‘Integer’ < 1437737225 623369 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : with actual type ‘(Integer, Int)’ < 1437737225 677724 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : In the second argument of ‘($)’, namely < 1437737237 656790 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> uncurry encodeFloat $ decodeFloat (1/0 :: Float) < 1437737239 40085 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3.402823669209385e38 < 1437737240 69532 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type encodeFloat < 1437737241 144784 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :RealFloat a => Integer -> Int -> a < 1437737250 685415 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1437737254 83866 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :are there unreal floats < 1437737258 744272 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type decodeFloat < 1437737259 749154 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :RealFloat a => a -> (Integer, Int) < 1437737275 125987 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type encodeFloat 5 < 1437737276 195847 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :RealFloat a => Int -> a < 1437737279 222331 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type encodeFloat 5 3 < 1437737280 195223 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :RealFloat a => a < 1437737284 449690 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> encodeFloat 5 3 < 1437737285 862776 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 40.0 < 1437737286 171346 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :mroman: Not in the Prelude at least < 1437737298 77496 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wth does encodeFloat even do < 1437737317 650191 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :decodeFloat just blindly takes exponent and mantisssa... encodeFloat is supposd to reverse decodeFloat < 1437737319 553887 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :The function decodeFloat applied to a real floating-point number returns the significand expressed as an Integer and an appropriately scaled exponent (an Int). If decodeFloat x yields (m,n), then x is equal in value to mbn, where b is the floating-point radix, and furthermore, either m and n are both zero or else bd-1<=m decodeFloat 40.0 < 1437737334 386980 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (5629499534213120,-47) < 1437737341 917027 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> decodeFloat 128 < 1437737343 412077 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (4503599627370496,-45) < 1437737346 616185 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1437737347 476020 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :weird < 1437737349 978285 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> encodeFloat 2 8 < 1437737351 389352 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 512.0 < 1437737358 176750 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> decodeFloat 512 < 1437737359 568002 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (4503599627370496,-43) < 1437737361 334690 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(the exponent is adjusted for the number of bits in the mantisssa) < 1437737377 641122 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> decodeFloat (2^53) < 1437737379 24518 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (4503599627370496,1) < 1437737392 769892 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> decodeFloat (2^52) < 1437737394 270790 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (4503599627370496,0) < 1437737418 521864 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION wonders about denormals, hmm
< 1437737442 109398 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Deewiant: Updated 7 days ago, after about 5 years of silence (modulo one extra Cc). < 1437737568 411272 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 264 seconds < 1437737676 887882 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :fizzie: Yep, that was amusing. < 1437737743 955748 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :? < 1437737847 674475 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION wonders whether esolangs.org's ownership has been clarified or whether it'll expire again may next year.
< 1437737965 452195 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: I kind of half-decided I could take it, and then ask for completely optional donations to cover the costs, but nothing concrete actually happened. < 1437738072 519927 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDude < 1437738156 805779 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION could take it too, but isn't too keen on another community contribution paid out of his own pocket (in addition to lambdabot).
< 1437738226 60122 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :How much would it cost? < 1437738268 67880 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It kind of makes sense for the person taking care of the DNS services to own the domain, just in case they need to update DNS server addresses. < 1437738379 433149 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :doing your own dns? < 1437738436 526476 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. < 1437738467 223988 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Gandi's .org price is about 13 EUR/year, and I pay $16/year for another .org I have, and I think you can get cheaper but I don't really know which registrars are the good ones. < 1437738513 820317 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :oh < 1437738523 933252 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :so actually buying them < 1437738526 177561 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :$10-$15 a year? http://www.domparison.com/domain-name-price-comparison/index.php?ext=org&want=renew < 1437738531 327648 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :which seems standard fair? < 1437738732 88363 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437738747 749592 :x10A94!~x10A94@178.252.73.97 JOIN :#esoteric < 1437738843 469981 :zadock!~outsider@cthulhu.tuiasi.ro JOIN :#esoteric < 1437738981 782822 :APic!apic@apic.name JOIN :#esoteric < 1437740529 263450 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1437740610 899776 :mbrcknl!sid28171@gateway/web/irccloud.com/x-scpjvxpeonngxcmv QUIT : < 1437740645 494379 :mbrcknl!sid28171@gateway/web/irccloud.com/x-ijrxagtzexblfwjn JOIN :#esoteric < 1437740912 790872 :heroux!sandroco@gateway/shell/insomnia247/x-ocokudnnboqruwrb QUIT :Ping timeout: 244 seconds < 1437741037 365695 :heroux!sandroco@gateway/shell/insomnia247/x-butouepvrlwhsnmk JOIN :#esoteric < 1437741284 89111 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 244 seconds < 1437741616 363795 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437741688 41489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : because 0 → first, 1 → second, 2 → third, and so on <-- i once imagined a fictional conlang in which ordinals work that way (basically, you construct them with a preposition meaning "after"), i wonder if any natural languages do < 1437741725 207754 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :what? < 1437741752 730035 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :|f`-`|f: the term for "second" would be "after 1" < 1437741761 331645 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Ah yes, the first ordinal, second ordinal, third ordinal, ordinal 3, and so on. < 1437741781 521209 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :so what if I did 4 first < 1437741788 576859 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :would I get fifth, or first < 1437741801 605141 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :|f`-`|f: go ask /r/fifthworldproblems < 1437741827 577890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my idea makes logical sense, unlike yours < 1437741849 194346 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if something is fourth in a row, then there are 3 items before it < 1437741853 767321 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Your ordinals are in unary? < 1437741889 426904 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Jafet: no. the words 1, 2, 3 etc. aren't ordinals, they are cardinals, there is no recursion hth < 1437741940 216879 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just that ordinal terms are based on an off-by-one cardinal compared to in english < 1437742006 434277 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1437742012 696405 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but maybe this is too unintuitive for humans, what do i know < 1437742042 809462 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I usually say "of index 0, of index 1, of index 2, of index 3", but I hope we can eventually just get people to say "first, second, twoth, third" < 1437742054 103090 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: No route to host < 1437742068 628307 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1437742104 337298 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or maybe "first, second, twoth, threeth" < 1437742156 935143 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :https://en.wiktionary.org/wiki/pamai claims that "nomai" is lojban for ordinal 0, but the link contradicts this < 1437742181 371645 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It probably has the same status as "zeroth" < 1437742189 299395 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jafet: yes, "nomai" means 0th < 1437742193 681395 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no wait < 1437742197 627380 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you mean "nomoi" < 1437742238 354119 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fi:"no moi" -> en:"oh, hello" < 1437742242 57893 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I for one would recommend keeping "moi" as context-sensitive and using longer words when you want to specify zero-based or one-based < 1437742357 940229 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :fizzie: More like en:ohai < 1437742359 92250 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :specifically something like "se lidnemei" for zero-based ordinal index < 1437742376 636214 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Actually, I believe that chinese use the same words for cardinals and ordinals, so you should be able to use 0-based counting without as much confusion < 1437742460 838105 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :https://en.wiktionary.org/wiki/one 一; https://en.wiktionary.org/wiki/first 第一 < 1437742540 912410 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION likes how romance languages use the definite article to turn comparative into superlative
< 1437742739 540633 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ille maior < 1437742772 968878 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well latin didn't, afair < 1437742783 960034 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it didn't even _have_ articles < 1437742784 531300 :zadock!~outsider@cthulhu.tuiasi.ro QUIT :Quit: Leaving < 1437742829 839842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the latin superlative turned into a kind of emphasizing in italian < 1437742933 16757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the original comparative still remains in a few words, maggiore being one of them < 1437743011 283276 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i just love how puella is etymologically the diminutive form of puer < 1437743154 682957 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think in early literature both puellus and puera were in use < 1437743178 616807 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :as I understand it domain name prices vary much more by the dotword at the end than by registrar < 1437743240 672570 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :Chines and japanese cont things using a counter and the word < 1437743309 592832 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :for japanese, you could say 0番,1番,2番 < 1437743414 716948 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :note that here zero is pronounced as chinese "rei" rather than "zero" < 1437743455 258444 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :so that would be 0th, 1st, 2nd < 1437743507 669812 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, but which one means the first in a row? < 1437743661 221298 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :For more confusion, oftentimes the first question on a test sheet is labeled '例' which is also pronounced 'rei' but means 'example'. < 1437743836 843512 :oren!~oren@TOROON0949W-LP130-01-1242511728.dsl.bell.ca PRIVMSG #esoteric :because japanese people decided, oh, let's just get rid of these tones, noone will care < 1437745314 90990 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 244 seconds < 1437745855 728817 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1437745857 218108 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell mroman are there unreal floats <-- there are complex numbers < 1437745857 323878 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1437745868 54700 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t pi < 1437745869 171044 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Floating a => a < 1437745880 234336 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> pi :: Complex Double < 1437745881 512272 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3.141592653589793 :+ 0.0 < 1437746332 684161 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1437746770 636422 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 240 seconds < 1437747990 117425 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :`unidecode gardеnеr < 1437747990 724489 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+0067 LATIN SMALL LETTER G] [U+0061 LATIN SMALL LETTER A] [U+0072 LATIN SMALL LETTER R] [U+0064 LATIN SMALL LETTER D] [U+0435 CYRILLIC SMALL LETTER IE] [U+006E LATIN SMALL LETTER N] [U+0435 CYRILLIC SMALL LETTER IE] [U+0072 LATIN SMALL LETTER R] < 1437748076 495399 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1437748332 981495 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh stupid perl insists that I balance my }})} parenthesis because otherwise it won't figure out what ends where < 1437748430 422036 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That is reasonable? < 1437748485 989723 :quietello!~bcd@209.86.165.83.dynamic.mundo-r.com QUIT :Read error: Connection reset by peer < 1437748562 88653 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1437748679 309603 :quietello!~bcd@209.86.165.83.dynamic.mundo-r.com JOIN :#esoteric < 1437750145 65804 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think randall munroe messed up his graphics today < 1437750392 157562 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know, maybe it's a stylistic choice. < 1437750397 683677 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It reminds me of a fax. < 1437750425 259725 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...maybe it is one. < 1437750456 602793 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it was better last night < 1437750478 504296 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yeah, I didn't notice anything weird when I looked at the RSS feed. < 1437750496 990767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh < 1437750528 292711 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Which I think took me to m.xkcd.com.) < 1437750796 97554 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07PZAB14]]4 10 02http://esolangs.org/w/index.php?diff=43572&oldid=41679 5* 03LegionMammal978 5* (-30) 10fixed spec < 1437750845 152337 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh I'm gonna be sick < 1437750850 920746 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :b_jonas, :( < 1437750925 763962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah the forum mentions a typo that has been removed < 1437750937 283567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(it originally said kevin kostner) < 1437750960 396614 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as well as some others that haven't. < 1437751152 548931 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1437751721 172161 :mauris!~mauris@unaffiliated/nooodl QUIT :Read error: Connection reset by peer < 1437751750 215463 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1437751878 656135 :SopaXT!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1437753021 297988 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1437753354 297889 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Ping timeout: 255 seconds < 1437753358 176379 :Wright_!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1437755672 108832 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1437757243 875071 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07DcScript14]]4 M10 02http://esolangs.org/w/index.php?diff=43573&oldid=33524 5* 03LegionMammal978 5* (+9) 10this page could use some specs < 1437757881 116571 :white_bear!~white_bea@AMontsouris-655-1-143-158.w92-128.abo.wanadoo.fr QUIT :Quit: leaving < 1437759167 558244 :comodvs!~comodvs@unaffiliated/comodvs JOIN :#esoteric < 1437762414 96678 :Sgeo_!~Sgeo@ool-44c0f875.dyn.optonline.net JOIN :#esoteric < 1437762615 303608 :Sgeo__!~Sgeo@ool-44c2a85f.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1437764902 442835 :comodvs!~comodvs@unaffiliated/comodvs QUIT :Ping timeout: 265 seconds < 1437765468 296064 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437765749 327927 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 256 seconds < 1437767134 625459 :akam_!6d81952b@gateway/web/freenode/ip.109.129.149.43 JOIN :#esoteric < 1437767880 631560 :akam_!6d81952b@gateway/web/freenode/ip.109.129.149.43 QUIT :Ping timeout: 246 seconds < 1437768925 195974 :mauris!~mauris@unaffiliated/nooodl QUIT :Read error: Connection reset by peer < 1437768978 56291 :lleu!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer < 1437769001 742290 :lleu!~gnomebad@88.202.254.4 JOIN :#esoteric < 1437769001 796723 :lleu!~gnomebad@88.202.254.4 QUIT :Changing host < 1437769001 796798 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1437771765 75106 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1437773061 277318 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1437773095 75414 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that was a short log section... < 1437773153 636916 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1437773154 137143 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1437773154 466468 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`wisdom < 1437773154 950515 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​αλτγρ+γ/αλτγρ+γ is the national dead pastry of Greece. Goes great with a glass of ouzo! < 1437773155 349868 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :_̰̆̓_�̦̻̖͍̟̖̅ͭͭͬ͡_͉̭ͧ͒̐_͂͋͒ͧ͋�̯͙̬̬̦̯̋_̴̝̔̉̅ͨ͞/_̰̆̓_̦̻̖͍̟̖́̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̈̋_̴̝̔̉̅ͨ͞ _̰̆̓_̦̻̖͍̟̖́̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̈̋_̴̝̔̉̅ͨ͞ < 1437773155 652020 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rholypoly/A rholypoly is an edible Greek species of Armadillidiidae. Goes well with garlic! < 1437773155 727654 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1437773185 901608 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode + < 1437773186 710694 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+002B PLUS SIGN] < 1437773200 380905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think greek words generally contain that. < 1437773270 623519 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 240 seconds < 1437773349 816846 :atrapado!~self@unaffiliated/atrapado JOIN :#esoteric < 1437773391 466900 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what, armadillidiidae actually exist < 1437773473 667379 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wisdom is pretty greek today < 1437773474 889504 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` rgrep -il gree wisdom < 1437773476 678145 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/αλτγρ+γ \ wisdom/cow \ wisdom/rholypoly \ wisdom/catamorphism < 1437773500 521824 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? cow < 1437773501 190345 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :A cow is an animal best served at minus zero degrees. < 1437773556 773214 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm the armadillidiidae and armadillidae articles contradict each other < 1437773647 851378 :atrapado!~self@unaffiliated/atrapado QUIT :Remote host closed the connection < 1437773681 316730 :atrapado!~self@unaffiliated/atrapado JOIN :#esoteric < 1437773704 796058 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what about the atrapadidae, i wonder < 1437774555 670645 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1437774637 603976 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1437774712 535606 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought a 45 min old unanswered stackoverflow question was reasonably safe from having someone else finish their answer before me, but noo... < 1437776003 242421 :AnotherTest!~turingcom@94-224-27-215.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1437776061 732275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: do you know an example of a Category that's also Functor (modulo no. of parameters), but not an `Arrow`? < 1437776102 165152 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if so, http://stackoverflow.com/questions/31618370/is-f-fmap-f-id-always-equivalent-to-arr < 1437776121 489916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION has been doing too much markdown
< 1437776239 691658 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How about a Category that's a Profunctor? < 1437776247 234510 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that would work < 1437776256 855393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, not that I have one. < 1437776264 279891 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::t \f -> rmap f C.id < 1437776265 458580 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Category p, Profunctor p) => (b -> c) -> p b c < 1437776266 464840 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was looking up profunctors but then remembered they didn't have to be categories < 1437776271 918508 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::t \f -> lmap f C.id < 1437776273 89282 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Category p, Profunctor p) => (a -> c) -> p a c < 1437776298 624488 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Usually profunctors aren't categories. < 1437776310 442895 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's only in the bizarre framework of Haskell that it even makes much sense for one to be the other. < 1437776324 267662 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1437776351 806234 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway back in the day when I thought about those things I'd maybe be able to give a useful answer. < 1437776363 811566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I definitely remember this lmap/rmap f id thing coming up somewhere. < 1437776366 983290 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1437776407 65053 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, if your type is both a Category and an Arrow, then \f -> rmap f id = arr, I think. < 1437776410 562750 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm no pumpkins in channel, and edwardk is long idle < 1437776432 983613 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: the case for when you know its an Arrow is well established. < 1437776446 909892 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, your link talks about that. < 1437776487 582764 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's probably something which is both Category and Functor but not Arrow. < 1437776499 835176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep, probably. < 1437776506 353329 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why would every Category+Functor thing have products? < 1437776511 574280 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@src Arrow < 1437776511 628609 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :class Arrow a where < 1437776511 682923 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : arr, pure :: (b -> c) -> a b c < 1437776511 682983 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (>>>) :: a b c -> a c d -> a b d < 1437776511 683014 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : first :: a b c -> a (b,d) (c,d) < 1437776511 683044 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : second :: a b c -> a (d,b) (d,c) < 1437776513 611629 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (***) :: a b c -> a b' c' -> a (b,b') (c,c') < 1437776515 569505 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (&&&) :: a b c -> a b c' -> a b (c,c') < 1437776523 532401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's a few lines more than I hoped for. < 1437776532 403563 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, no reason to expect it. < 1437776538 551987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed, so i don't < 1437776557 297703 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you hinting that i'm not being very helpful < 1437776561 241555 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :still, i find the SO question is missing the nail in the coffin < 1437776581 870253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :should i use a more solid object for hinting? < 1437776602 841199 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i didn't realize you were equipped with a mapole < 1437776616 525193 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, but i have the saucepan < 1437776639 670250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also i'm sure there must be an example in one of edwardk's package, if i only knew them < 1437776643 720092 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :my impression was that you don't cook very much < 1437776645 547655 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*packages < 1437776651 772210 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that is true. < 1437776660 468629 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how did you end up with the saucepan? < 1437776687 770478 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :rule of plot relevance < 1437776691 298908 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :has it ever been used for sauce? < 1437776707 714263 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hardly, ASCII characters don't hold sauce well < 1437776731 504499 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION should check if he has a physical one
< 1437776735 259104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you're an ASCII character < 1437776742 223726 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :`? saucepan < 1437776743 910753 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :saucepan? ¯\(°​_o)/¯ < 1437776746 926254 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :help < 1437776773 589101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not in this house, i think < 1437776788 108933 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I found out that edwardk doesn't even have data T f a = L a | B (T f (f a)) anywhere. < 1437776801 269378 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1437776809 451830 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though he does have the dual. < 1437776844 168564 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ski: Maybe you know the answer to oerjan's question? < 1437776959 621486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ski: aka, is there a Category that is Functor but not Arrow < 1437777163 825512 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm ReifiedFold is an Arrow < 1437777180 938299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION loaded Control.Lens to see what new Category instances popped up
< 1437777221 17156 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as is Indexed i < 1437777244 67426 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION tried :info!
< 1437777249 922268 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: remember the good old days of lens when a type like Indexed was how everything worked? < 1437777250 14682 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*s < 1437777262 481684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure < 1437777271 762103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type Iso a b c d = forall k f. (Isomorphic k, Functor f) => k (c -> f d) (a -> f b) < 1437777310 655163 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type IndexedTraversal i a b c d = forall f k. (Indexed i k, Applicative f) => k (c -> f d) (a -> f b) < 1437777313 629828 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that thing < 1437777335 650164 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...okay, whatever < 1437777382 717457 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Cokleisli too... < 1437777487 488359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Op is not, but it's not Functor either < 1437777490 752378 :x10A94!~x10A94@178.252.73.97 QUIT :Read error: Connection reset by peer < 1437777608 718665 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :something tells me Coercion isn't a Functor either < 1437777641 99366 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or :~: < 1437777647 861198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :can you just find a category which isn't contravariant in the first argument < 1437777669 926654 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Op works for that < 1437777691 741442 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and which is covariant in the secone argument, i mean < 1437777696 733389 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's definitely not going to be an Arrow < 1437777711 865184 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait, that makes no sense < 1437777720 325753 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :such a thing can't exist < 1437777722 353775 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think that's possible, actually < 1437777722 872814 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :never mind tdnh < 1437777736 709908 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's gotta be the products < 1437777741 289297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because from Functor and Category you get, essentially, arr (but not the rest of Arrow) < 1437777748 583134 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yep < 1437777763 911815 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and that gives you contravariance too < 1437777809 571387 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yep < 1437777925 425167 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm Pipes doesn't seem to define any Categories, despite being thorougly based on categories < 1437777954 372535 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION restarts WinGHCi to see how much of this depends on what packages are loaded
< 1437777976 688489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok it does matter for that < 1437778177 791865 :Sgeo_!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :http://lcamtuf.coredump.cx/soft/ld-expl < 1437778191 577911 :Sgeo_!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :"World's best exploit: ld-expl. It still works - amaze your friends!" < 1437778221 768359 :mauris_!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1437778295 522227 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Must nitpick about the complete unnecessity of having a named file for the source. < 1437778387 827961 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 244 seconds < 1437778708 50478 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1437778946 91067 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437779519 826024 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1437779639 284974 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :
ACTION can never recall what the difference between "profunctor" and "difunctor" is (if there is any) :/
< 1437779891 703574 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ski: I think they usually mean the same thing. < 1437779892 261373 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Remote host closed the connection < 1437780246 13944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so difunctor isn't the same as bifunctor? < 1437780293 275625 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION has been wondering if you could make a polykinded Functor that supported both co- and contravariance
< 1437780320 405088 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so that all of functor, bifunctor and profunctor would just be special cases < 1437780331 995155 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :if you have a small category `C', then `Hom_C : C^op * C >---> Set', so given an object `A' in `C^op', `(B |-> Hom_C (A,B)) : C >---> Set' is a (covariant) functor < 1437780344 335695 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: No, difunctor is as in dinatural transformation, or something along those lines. < 1437780347 619104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :di like diagonal? < 1437780350 785302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't remember. < 1437780353 888412 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :oerjan : i don't know the definition of "profunctor", so i can't tell < 1437780388 85540 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(a "difunctor" from `A' and `B' to `C' is a bifunctor from `A^op' and `B' to `C') < 1437780388 296760 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ski: um, my question is about the haskell Category, Functor and Arrow classes, specifically < 1437780390 429036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Haskell definition we're using is class Profunctor p where dimap :: (x -> a) -> (b -> y) -> p a b -> p x y < 1437780402 282008 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, right, we're not even using a Haskell definition. < 1437780426 300743 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically, to find an example of something that cannot be given an Arrow instance despite having the rest < 1437780450 311089 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A Category with fmap which doesn't have products. < 1437780462 162684 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :oerjan : do you mean "can't be given a (valid) `arr'" definition ? or also the product structure ? < 1437780476 956766 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ski: no, arr can be defined from the pieces given < 1437780482 605254 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(fmap f id) < 1437780484 565952 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can make a (valid) `arr' definition from Category and fmap < 1437780508 411943 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :oerjan : i was pondering whether that would always satisfy laws (assuming a general CT setting, not just in Haskell) < 1437780510 347871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So products are the whole deal. < 1437780519 196491 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is surprising given how unproductive this discussion has been. < 1437780552 144747 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ski: sometime i should find out about profunctors and chu spaces and things < 1437780562 653943 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? chu space < 1437780563 638255 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :A Chu space is just a matrix. Taneb invented them, then Chu stole his invention. < 1437780570 903183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose you _could_ even have the product structure, if you manage to find one of the examples of something that's Category + Applicative but not Arrow. < 1437780584 992836 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(but fails the connecting laws) < 1437780611 732846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i suspect something without product would be easier < 1437780811 550867 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION just favorites the question in case someone else answers
< 1437781038 619971 :atrapado!~self@unaffiliated/atrapado QUIT :Remote host closed the connection < 1437781271 459589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you can't give up now!! < 1437781361 983042 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1437781369 573322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is really good at giving up, you know
< 1437781388 528917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what kind of evil overlord does that make you < 1437781404 688433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a failed one hth < 1437781532 827850 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm what about a free construction < 1437781655 912536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :data Fnord t a b where Fn :: (a -> b) -> Fnord t a b; Base :: (t a b) -> Fnord t a b < 1437781671 205154 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait, needs composition < 1437781685 271896 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...but only some kinds < 1437781741 334044 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so is there a free category somewhere... well there are thrists < 1437781759 398339 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT : < 1437781769 681259 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1437781777 749399 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1437781851 654074 :hppavilion[1]!ceae2a03@gateway/web/freenode/ip.206.174.42.3 JOIN :#esoteric < 1437781854 185253 :hppavilion[1]!ceae2a03@gateway/web/freenode/ip.206.174.42.3 PRIVMSG #esoteric :Hi < 1437781871 910532 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ho < 1437781893 216327 :ocharles___!sid30093@gateway/web/irccloud.com/x-rvlbklcwryuebmrj JOIN :#esoteric < 1437781921 212507 :hppavilion[1]!ceae2a03@gateway/web/freenode/ip.206.174.42.3 PRIVMSG #esoteric :Someone needs to implement a tangle-bracket language < 1437781922 96747 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm does ocharles___ know his Categories < 1437781927 639989 :hppavilion[1]!ceae2a03@gateway/web/freenode/ip.206.174.42.3 PRIVMSG #esoteric :Or at least design one < 1437782030 876426 :Lymee!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1437782040 448830 :Wright_!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Ping timeout: 240 seconds < 1437782040 520251 :ocharles__!sid30093@gateway/web/irccloud.com/x-gycwhbliucazrnlx QUIT :Ping timeout: 240 seconds < 1437782040 927600 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 240 seconds < 1437782061 129305 :Lymee!~lymia@inportb/loli/cirno-chan NICK :Lymia < 1437782149 322321 :ocharles___!sid30093@gateway/web/irccloud.com/x-rvlbklcwryuebmrj NICK :ocharles__ < 1437782155 954530 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :data Fnord t a b where Fn :: (a -> b) -> Fnord t a b; Base :: t a b -> Fnord t a b; Cons :: (c -> d) -> t (b -> c) -> Fnord t a b -> Fnord t a d < 1437782186 44420 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait drop the Base < 1437782227 460410 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's equivalent to Cons id something (Fn id) < 1437782266 715700 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: that's a syntax error, a type name needs to start with a capital letter hth < 1437782272 580122 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you can't just write the type variables < 1437782290 970688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm? < 1437782300 390968 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :... < 1437782307 660583 :hppavilion[1]!ceae2a03@gateway/web/freenode/ip.206.174.42.3 QUIT :Ping timeout: 246 seconds < 1437782314 110234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION hits shachaf with the saucepan ===\__/
< 1437782333 92940 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot started it < 1437782333 311080 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :shachaf: but if you're dealing with unfamiliar territory, start small: test at the end