< 1517788818 32066 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1517789381 460199 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1517789510 406209 :quintopi1!~quintopia@74.117.159.204 JOIN :#esoteric < 1517789516 768995 :quintopi1!~quintopia@74.117.159.204 QUIT :Client Quit < 1517789530 355295 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :progress? < 1517789537 891021 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`5 w < 1517789543 81462 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/2:lens//A lens is just a store comonad coalgebra. \ categorical product//categorical product is like when you have two category elements A and B then their product is element C iff there are two morphisms p:C->A and q:C->B such that for every element X and morphisms u:X->A and v:X->B there is a unique morphism w:X->C such that u=wp and v=wq. < 1517789639 861950 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`n < 1517789640 808404 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2/2:\ pineapple//Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, making it a class 6 vegetable. \ prefixes//Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . \ sbeef//Sbeef is the culinary name for meat from scow. < 1517789655 33909 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cwlprits pineapple < 1517789663 395939 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :shachäf shachäf boil̈y olsnër < 1517789711 97523 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cwlprits categorical product < 1517789718 568669 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oerjän oerjän < 1517789727 842786 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Ping timeout: 248 seconds < 1517789804 17558 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cwlprits categorical < 1517789812 188320 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oerjän b_jonäs < 1517789883 741071 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1517789993 536359 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :
ACTION prays for the blackness in quintopia's screen to shoo away
< 1517790000 859015 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :@massages-louc < 1517790000 956304 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :quintopia said 1h 12m 30s ago: ping me on discord if you come around < 1517791508 134660 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: WeeChat 1.4 < 1517791694 538732 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1517791745 451224 :hppavilion[0]!~dosgmowdo@160-7-174-206.gci.net QUIT :Ping timeout: 248 seconds < 1517792243 631541 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1517792365 867018 :erkin!~erkin@unaffiliated/erkin QUIT :Read error: Connection reset by peer < 1517792528 578691 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1517792672 530586 :hppavilion[0]!~dosgmowdo@10-36-178-69.gci.net JOIN :#esoteric < 1517793244 129611 :variable!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1517793441 542001 :hppavilion[0]!~dosgmowdo@10-36-178-69.gci.net QUIT :Ping timeout: 248 seconds < 1517794005 334803 :hppavilion[0]!~dosgmowdo@10-36-178-69.gci.net JOIN :#esoteric < 1517795456 333599 :hppavilion[0]!~dosgmowdo@10-36-178-69.gci.net QUIT :Ping timeout: 256 seconds < 1517796082 70800 :augur!~augur@192.195.83.130 QUIT :Quit: Leaving... < 1517796693 708688 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1517797663 994208 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 248 seconds < 1517797732 633567 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: STRANGE CHICKEN < 1517797805 504563 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1517797993 225377 :variable!~variable@freebsd/developer/variable QUIT :Read error: Connection reset by peer < 1517798367 739874 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1517798657 564823 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 248 seconds < 1517798786 485471 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1517799217 134264 PRIVMSG #esoteric :14[[07Functoid14]]4 N10 02https://esolangs.org/w/index.php?oldid=53954 5* 03MD XF 5* (+19056) 10Created page with "There's no reason to give a formal definition for the [https://en.wikipedia.org/wiki/Lambda_calculus_definition lambda calculus] here, instead I will showcase some of the inte..." < 1517800065 428165 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 248 seconds < 1517800849 981252 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1517801357 24715 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1517801761 466191 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1517801868 804508 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1517802264 803910 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1517802369 868912 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1517802713 838633 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 268 seconds < 1517802758 291927 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1517805075 216287 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 260 seconds < 1517805110 840980 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1517805473 794218 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 276 seconds < 1517805597 531770 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1517805857 572095 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 248 seconds < 1517806321 798753 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1517807501 931257 PRIVMSG #esoteric :14[[07User:Noner Kao/TaiDoKu14]]4 10 02https://esolangs.org/w/index.php?diff=53955&oldid=53952 5* 03Noner Kao 5* (+609) 10/* Execution */ add decription < 1517808990 316963 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1517809370 783420 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1517809491 504475 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1517812842 914504 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1517812880 437140 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1517812889 111515 :variable!~variable@freebsd/developer/variable QUIT :Client Quit < 1517812935 63067 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1517812935 593366 :variable!~variable@freebsd/developer/variable QUIT :Client Quit < 1517813843 495568 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :There is, on All The Tropes wiki, "Faction Calculus". Now you have to do Faction Calculus with actual calculus! < 1517814111 935718 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1517814280 520178 :doesthiswork1!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1517814949 610026 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1517814958 827342 :variable!~variable@freebsd/developer/variable QUIT :Client Quit < 1517818269 120437 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :dimethylamine is a good amine < 1517819867 602455 :augur!~augur@2600:380:467d:b503:68e8:bac7:b0d4:127e JOIN :#esoteric < 1517824678 619777 :augur!~augur@2600:380:467d:b503:68e8:bac7:b0d4:127e QUIT :Remote host closed the connection < 1517824881 231343 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1517824881 859947 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1517825409 232403 :AnotherTest!~turingcom@ptr-82l26zfsh08l2qaq799.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1517830495 177477 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1517830971 184514 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: nostril. < 1517830971 761048 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: use the binary force luke gorrie implemented it. he tells you what language it is implemented." fnord fnord < 1517831005 696112 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :. o O ( the fungot lightsaber goes “fnooooord fnooooord” ) < 1517831006 24884 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: quote and such). oh i see. the most common first and last element of a, i don't boot this computer very often. < 1517832430 809636 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: REMINDER CHICKEN < 1517833917 812870 :garit!~garit@unaffiliated/garit QUIT :Ping timeout: 240 seconds < 1517838302 267464 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1517839229 605042 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1517841148 912994 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1517841159 106881 :variable!~variable@freebsd/developer/variable QUIT :Client Quit < 1517841738 480404 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1517842254 927410 :variable_!~variable@freebsd/developer/variable JOIN :#esoteric < 1517842347 511291 :variable_!~variable@freebsd/developer/variable NICK :trout < 1517842471 620550 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 256 seconds < 1517842952 645852 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1517843521 805747 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1517843905 29716 :trout!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1517844197 217573 :zseri!~zseri@i5E86DC87.versanet.de JOIN :#esoteric < 1517844452 386656 :zseri!~zseri@i5E86DC87.versanet.de PRIVMSG #esoteric :hi > 1517845830 152640 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03BMO 5* 10New user account > 1517846344 12142 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=53956&oldid=53945 5* 03BMO 5* (+282) 10/* Introductions */ > 1517847040 659306 PRIVMSG #esoteric :14[[07Functoid14]]4 10 02https://esolangs.org/w/index.php?diff=53957&oldid=53954 5* 03BMO 5* (+125) 10/* Commands */ > 1517847066 556459 PRIVMSG #esoteric :14[[07Functoid14]]4 10 02https://esolangs.org/w/index.php?diff=53958&oldid=53957 5* 03BMO 5* (-1) 10/* Commands */ > 1517847250 799104 PRIVMSG #esoteric :14[[07Functoid14]]4 10 02https://esolangs.org/w/index.php?diff=53959&oldid=53958 5* 03BMO 5* (+93) 10 < 1517847395 412742 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1517847644 462962 :jaboja!~jaboja@jaboja.pl QUIT :Client Quit > 1517848073 408070 PRIVMSG #esoteric :14[[07Functoid14]]4 10 02https://esolangs.org/w/index.php?diff=53960&oldid=53959 5* 03BMO 5* (+534) 10 > 1517848470 497572 PRIVMSG #esoteric :14[[07User:BMO14]]4 N10 02https://esolangs.org/w/index.php?oldid=53961 5* 03BMO 5* (+163) 10Created page with "Hello, World! BMO here, I like functional programming and [https://codegolf.stackexchange.com/users/48198/bmo code golf], I also created the esolang [[Functoid]]." > 1517849894 271368 PRIVMSG #esoteric :14[[07Functoid14]]4 10 02https://esolangs.org/w/index.php?diff=53962&oldid=53960 5* 03BMO 5* (+221) 10 < 1517850035 469139 :rcm888!~rcm@94.140.230.171 JOIN :#esoteric < 1517850849 797370 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1517851392 10344 :alercah!~alercah@unaffiliated/alercah QUIT :Ping timeout: 248 seconds < 1517851459 852977 :alercah!~alercah@unaffiliated/alercah JOIN :#esoteric < 1517851768 842949 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 256 seconds < 1517852877 613529 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1517853315 84608 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: WeeChat 2.0.1 < 1517853639 289608 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1517853921 234405 :zseri!~zseri@i5E86DC87.versanet.de QUIT :Quit: Leaving < 1517854416 930780 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1517855760 603182 :wob_jonas!b03f1887@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.135 JOIN :#esoteric < 1517855765 65199 :wob_jonas!b03f1887@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.135 PRIVMSG #esoteric :`? categorical < 1517855768 243519 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :categorical? ¯\(°​_o)/¯ < 1517855771 826997 :wob_jonas!b03f1887@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.135 PRIVMSG #esoteric :`dowg categorical < 1517855779 135222 :wob_jonas!b03f1887@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.135 PRIVMSG #esoteric :um < 1517855780 857478 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :5039:2014-10-10 mv wisdom/categorical{," product"} \ 5038:2014-10-10 learn categorical product is like when you have two category elements A and B then their product is element C iff there are two morphisms p:C->A and q:C->B such that for every element X and morphisms u:X->A and v:X->B there is a morphism w:X->C such that u=w < 1517855790 233586 :wob_jonas!b03f1887@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.135 PRIVMSG #esoteric :ah! < 1517855796 148020 :wob_jonas!b03f1887@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.135 PRIVMSG #esoteric :I made it, and oerjan moved it < 1517855797 58402 :wob_jonas!b03f1887@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.135 PRIVMSG #esoteric :I see < 1517857724 97779 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1517857815 517041 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's perfect abstract nonsense. < 1517857855 726058 :wob_jonas!b03f1887@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.135 PRIVMSG #esoteric :`? categorical product < 1517857857 77545 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :categorical product is like when you have two category elements A and B then their product is element C iff there are two morphisms p:C->A and q:C->B such that for every element X and morphisms u:X->A and v:X->B there is a unique morphism w:X->C such that u=wp and v=wq. < 1517857861 26268 :wob_jonas!b03f1887@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.135 PRIVMSG #esoteric :int-e: yes, but the easier part of it < 1517858123 111045 :wob_jonas!b03f1887@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.135 PRIVMSG #esoteric :`? abstract < 1517858124 659563 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :abstract? ¯\(°​_o)/¯ < 1517858126 46822 :wob_jonas!b03f1887@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.135 PRIVMSG #esoteric :`? abstract nonsense < 1517858127 533018 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :We would have an explanation of abstract nonsense here, but it fled into a diagram and we haven't been able to chase it. We will try again once we find an abstract machete. < 1517858152 831116 :wob_jonas!b03f1887@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.135 PRIVMSG #esoteric :`? international millennium < 1517858154 257768 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :international millennium? ¯\(°​_o)/¯ < 1517858960 315628 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1517859612 228102 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1517859772 109093 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1517859805 457855 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1517860796 545843 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1517861518 264546 :jaboja!~jaboja@jaboja.pl QUIT :Quit: Leaving < 1517861849 909858 :augur!~augur@2600:380:8629:cfd3:f8c6:e436:fc14:8353 JOIN :#esoteric < 1517862665 504226 :zseri!~zseri@i5E86DC87.versanet.de JOIN :#esoteric < 1517863701 224299 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1517863756 929048 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1517863795 808034 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1517864179 525703 :zseri!~zseri@i5E86DC87.versanet.de PRIVMSG #esoteric :hi < 1517864627 383460 :laerling!~laerling@unaffiliated/laerling JOIN :#esoteric < 1517864676 429567 :wob_jonas!b03f1887@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.135 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1517864811 377031 :HackEgo!~HackEgo@162.248.166.242 QUIT :Remote host closed the connection < 1517864831 551609 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1517869348 972762 :zseri!~zseri@i5E86DC87.versanet.de PRIVMSG #esoteric :bye < 1517869350 204697 :zseri!~zseri@i5E86DC87.versanet.de QUIT :Quit: Leaving < 1517869676 593920 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1517869766 408329 :augur_!~augur@2600:380:8629:cfd3:2d6e:3d35:bb4f:a10 JOIN :#esoteric < 1517869861 943326 :rodgort!~rodgort@68.ip-149-56-14.net QUIT :Quit: Leaving < 1517870018 822967 :augur!~augur@2600:380:8629:cfd3:f8c6:e436:fc14:8353 QUIT :Ping timeout: 276 seconds < 1517870058 733570 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: WeeChat 2.0.1 < 1517870091 499734 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1517870119 278169 :rodgort!~rodgort@68.ip-149-56-14.net JOIN :#esoteric < 1517870189 154125 :augur!~augur@2600:380:8629:cfd3:2472:eadc:4d02:384a JOIN :#esoteric < 1517870292 832922 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1517870408 807862 :augur_!~augur@2600:380:8629:cfd3:2d6e:3d35:bb4f:a10 QUIT :Ping timeout: 276 seconds < 1517870705 276949 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1517871041 317943 :AnotherTest!~turingcom@ptr-82l26zfsh08l2qaq799.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 255 seconds < 1517871271 548013 :laerling!~laerling@unaffiliated/laerling QUIT :Quit: Leaving < 1517871451 587994 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :@metar CYUL < 1517871451 779628 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 052200Z 24013KT 30SM DRSN FEW040 FEW240 M11/M17 A3012 RMK SC1CI1 CI TR SLP203 < 1517871546 29481 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Dow Jones crash? < 1517871595 717978 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :I wonder if Befunge Joust would be a sane possibility < 1517871669 801108 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :\oren\: eh? < 1517871730 486272 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: WeeChat 2.0.1 < 1517871817 202511 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :boily: dow jones is down more than 1000 points today < 1517871835 950766 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :more like scow jones hth < 1517871957 318245 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: how much is a "point" in us dollars? < 1517871964 765845 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1517872077 997099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Who cares about points? < 1517872110 621099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's down about 4-5% < 1517872140 380017 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: but how much was it worth in total? < 1517872169 588932 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Who cares about a price-weighted index of 30 US stocks? < 1517872189 317760 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: only 30? < 1517872194 937317 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :huh < 1517872224 66130 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's what the DJIA is < 1517872243 237671 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And it's price-weighted, which should irritate you even more < 1517872282 456906 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ok so which ones went down? < 1517872324 140471 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :let's see. walmart went down < 1517872464 704420 :xkapastel!uid17782@gateway/web/irccloud.com/x-vfmanhwgpcfwedda JOIN :#esoteric < 1517872478 402406 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :huh, that's bizarre, why does the graph for most of these look the same? do they hold each-other's stocks a lot or something < 1517872501 632201 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :some went down more than others < 1517872557 767628 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are many things that affect all companies. < 1517872652 526852 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :McDonalds' didn't go down as much as most of them < 1517872814 655112 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :while exxon mobil went down more, but wasn't as affected by this weird sell-off at 3 PM < 1517872909 459859 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Apple only wont down 2.5%? < 1517872968 63040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do these differences seem particularly significant to you? < 1517873010 278206 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 260 seconds < 1517873022 760567 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: well no, because I don't see what information these buying and selling decisions are based on < 1517873085 55473 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you have any exposure to these companies yourself? < 1517873102 913177 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: no, I don't own any stocks < 1517873114 883779 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1517873120 48412 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe you should! < 1517873129 692466 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Think of all the money you could lose. < 1517873150 178266 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :have they considered using random numbers? < 1517873205 581090 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You don't believe in markets, huh < 1517873254 477262 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: I mean buy and sell stocks mostly at random < 1517873306 193410 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :rather than an arbitrary set of 30 < 1517873367 813395 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1517873470 996716 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1517873581 690522 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Who cares about these 30? < 1517873613 991021 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: a lot of people apparently, but I don't understand why < 1517873659 132815 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no one who matters hth < 1517873663 579813 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :and a lot of the companies in this "industrial average" are retail companies, not industry? < 1517873697 853417 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The main reason people like to talk about DJIA is that it's old, I think. Been around for a long time, very traditional. But it's silly. < 1517873738 288248 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1517873743 959066 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You should at least look at S&P 500, which is 500 companies and cap-weighted. < 1517873767 641234 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :There was an old abandon esolang on bay12. Poslin. It's really neat, actually. Language is a meta language, and i believe it is capable of redeclaring itself (metacircular). https://bitbucket.org/thomas_bartscher/poslin-specification/overview < 1517873876 879324 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :The actual core of the language is under prims.txt in spec < 1517873971 831055 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hmmm < 1517874008 457113 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: REGAL CHICKEN < 1517874042 724971 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :Or < 1517874048 210626 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :It's kinda all over the place :p < 1517874064 203194 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :Someone who's good at lisp might be able to decode it a little better (Interpreter is written in Common Lisp) < 1517874268 796150 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ski: whoa, are y'all talking about leibniz notation? < 1517874274 891035 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you understand how it works? < 1517874292 557099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I remember that you wrote about the meaning of partial vs. total derivatives once. < 1517874889 575019 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :Leibniz notation can be seen as a macro for Langrange notation over a lambda expression < 1517874916 748803 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric : d f(x) / d x = (\x. f(x))'(x) < 1517874924 366104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's what I said. < 1517874933 392254 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That it operates on expressions with free variables. < 1517874942 26576 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :then, throw in some dependent variables, to confuse the matter < 1517874953 745273 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric : d y / d x = (\x. y)'(x) < 1517874959 496310 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A physicist person disagreed with me but I don't think the disagreement is usually that important. < 1517874973 734272 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :`y' here being a dependent variable (think dynamic scoping), depending on the (independent) `x' < 1517874974 309498 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: y': not found < 1517874976 707104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But what's the meaning of "d x" on its own, not in the expression "d y / d x"? < 1517875009 384579 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :for the matter of the above, you don't have to assign a meaning to `d x' on its own < 1517875013 858571 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I agree. < 1517875027 491494 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But people do assign meanings to "d x" on its own, and things work out. < 1517875035 883831 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :(and when you have dependent variables, then the matter of total vs. partial variable appears) < 1517875054 266081 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :Question: Is a truely meta language (A meta language in which all possible meta languages can be implemented in and can describe any machine) even possible on a mathematical perspective? < 1517875056 188033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :for example "x^2 + y^2 = 0" -> "2 d x + 2 d y = 0" -> "dy/dx = -x/y" < 1517875061 201984 :moony!moony@unaffiliated/moonythedwarf PRIVMSG #esoteric :I can't wrap my head around it :p < 1517875066 157868 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Neither x nor y is really dependent on the other here. < 1517875085 391295 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm sorry, "2 x dx + 2 y dy = 0" < 1517875192 365137 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :instead of having a functional dependency from `x' to `y' in `d y / d x', i think one can allow more general relations. but then it may not be enough to know that relatioship, and the particular value of `x', in order to determine `d y / d x'. in particular, one may also have to know `y' (such that the relationship obtains between that `y' and the selected `x', of course). see "implicit function theorem"