< 1439164831 543955 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1439165383 31731 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Can other programs that use Motif widgets and so on be changed to use Athena widgets? < 1439165402 913319 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :I don't see why not, though perhaps not *easily*. < 1439165741 672313 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439166791 43805 :_256Q!~toastyten@unaffiliated/256q/x-9307863 QUIT :Read error: Connection reset by peer < 1439167353 793856 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1439167884 472096 :Frooxius!~Frooxius@c-73-170-31-160.hsd1.ca.comcast.net QUIT :Ping timeout: 255 seconds < 1439168474 343039 :bb010g!uid21050@gateway/web/irccloud.com/x-orephhqfldyulzpi JOIN :#esoteric < 1439168642 617659 :llue!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1439168826 558032 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 272 seconds < 1439169076 236694 :impomatic_!~digital_w@31.185.136.135 JOIN :#esoteric < 1439169272 968288 :Frooxius!~Frooxius@c-73-170-31-160.hsd1.ca.comcast.net JOIN :#esoteric < 1439169472 917204 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds < 1439169669 19317 :impomatic_!~digital_w@31.185.136.135 PART :#esoteric < 1439169730 873767 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1439169944 175042 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1439170807 394367 :monotone!~monotone@room208.org QUIT :Quit: "I can hear myself... I think I'm a bit afraid." < 1439170922 662342 :oren_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Oren Watson is back in Town! < 1439170941 460570 :oren_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com NICK :oren < 1439171416 395458 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1439171520 714157 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Is the category of scow finitely cocomplete? < 1439171564 254674 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I had an idea the other day. The (philosophical) "category of occurrents", where an "occurrent" is something with examples or instances. < 1439171589 389105 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Redness is an occurrent; there are examples and instances of redness. < 1439171636 816821 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Oh, and then a morphism is any "natural" way of mapping instances of one occurrent to instances of another occurrent. < 1439171650 442318 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"Natural" isn't explicitly defined. < 1439172191 680214 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1439172940 303798 :rg_!~rg_@ool-ae2ccdeb.dyn.optonline.net JOIN :#esoteric < 1439173425 205731 :rg_!~rg_@ool-ae2ccdeb.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1439173476 497072 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1439173612 936176 :rg_!~rg_@ool-ae2ccdeb.dyn.optonline.net JOIN :#esoteric < 1439173942 386685 :lemurian!~sh4n3@unaffiliated/lemurian QUIT :Quit: Konversation terminated! < 1439174290 97856 :kline!~kline@unaffiliated/kline QUIT :Ping timeout: 244 seconds < 1439174438 352659 :kline!~kline@unaffiliated/kline JOIN :#esoteric < 1439174710 60281 :a21!~CADD@12.227.104.109 QUIT :Quit: WeeChat 1.0.1 < 1439174785 595461 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1439174791 571801 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1439175680 483402 :rg_!~rg_@ool-ae2ccdeb.dyn.optonline.net QUIT :Quit: Textual IRC Client: www.textualapp.com < 1439176172 861045 :Frooxius!~Frooxius@c-73-170-31-160.hsd1.ca.comcast.net QUIT :Quit: *bubbles away* < 1439176629 91857 :lleu!~gnomebad@88.202.254.4 JOIN :#esoteric < 1439176629 304293 :lleu!~gnomebad@88.202.254.4 QUIT :Changing host < 1439176629 358675 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1439176796 639573 :llue!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 265 seconds < 1439177295 161522 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1439178705 835819 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer < 1439178716 394726 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1439178785 91175 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 244 seconds < 1439179167 466323 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :What should be a first sentence of a "level20.tex" story? Currently I have an "Introduction" chapter that starts with: After his disease of coughing has been cured, he suddenly disappeared and this resulted in a lot of events occuring (the ``butterfly effect''), as described in this text. But I am not sure if it should be better to delete everything before "It is now morning." < 1439179267 642482 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :The first sentence cited has nothing to do with the story anyways; I was just trying to make the beginning a bit more strangely...? < 1439179305 836046 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Also the introduction is an actual chapter and I am not sure if it should be. < 1439179484 215284 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I am sure it is possible to do better with a lot of these thing, some of these paragraph could be fixed a bit to improved. One sentence already has been at someone else's suggestion < 1439179921 528280 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439180012 171681 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1439180200 553674 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Why is it called level20.tex? < 1439180257 811611 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Because it is from a Dungeons&Dragons game where we started as level 20 (and also with no possessions) and is typeset with TeX. < 1439180281 79978 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1439180319 906647 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :So it is just the filename I gave it. < 1439180334 482233 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1439180589 701178 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Client Quit < 1439181605 964056 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net JOIN :#esoteric < 1439181652 379891 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1439181842 517229 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net QUIT :Ping timeout: 265 seconds < 1439181944 611529 :Frooxius!~Frooxius@c-73-170-31-160.hsd1.ca.comcast.net JOIN :#esoteric < 1439182385 84607 :bb010g!uid21050@gateway/web/irccloud.com/x-orephhqfldyulzpi QUIT :Quit: Connection closed for inactivity < 1439182484 416529 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Ping timeout: 250 seconds < 1439183991 250406 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1439184355 375745 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Quit: J_A_Work < 1439184406 90473 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439184709 358051 :zadock!~outsider@5-13-230-136.residential.rdsnet.ro JOIN :#esoteric < 1439185641 550258 :Frooxius!~Frooxius@c-73-170-31-160.hsd1.ca.comcast.net QUIT :Ping timeout: 265 seconds < 1439185811 888509 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1439185930 53044 :Frooxius!~Frooxius@c-73-170-31-160.hsd1.ca.comcast.net JOIN :#esoteric < 1439186286 985696 :zadock!~outsider@5-13-230-136.residential.rdsnet.ro QUIT :Ping timeout: 246 seconds < 1439187688 952550 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1439187861 244500 :zadock!~outsider@5-13-151-100.residential.rdsnet.ro JOIN :#esoteric < 1439188822 598268 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1439188879 21525 :zadock!~outsider@5-13-151-100.residential.rdsnet.ro QUIT :Ping timeout: 260 seconds < 1439189596 641085 :x10A94!~x10A94@178.252.73.97 JOIN :#esoteric < 1439194813 970841 :Frooxius!~Frooxius@c-73-170-31-160.hsd1.ca.comcast.net QUIT :Quit: *bubbles away* < 1439195749 393818 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1439195954 186801 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1439196532 468056 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1439196825 206155 :Aearnus_!uid103822@gateway/web/irccloud.com/x-mhweeuvcgzbcrmwy QUIT :Quit: Connection closed for inactivity < 1439197103 560845 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1439197226 762625 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1439197491 599216 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1439197634 623683 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1439197841 70618 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1439198082 898808 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fnîrd < 1439198132 343129 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fnörður < 1439198933 367279 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439199465 970998 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Quit: J_A_Work < 1439200266 937334 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1439200691 276955 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439200764 392780 :GoToTell!~GotoTell@62.205.125.190 JOIN :#esoteric < 1439200797 444184 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Client Quit < 1439201973 892508 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Ping timeout: 246 seconds < 1439202132 686023 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1439202154 560610 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: BBL < 1439202176 874175 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1439202529 966569 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1439202640 537352 :Frooxius!~Frooxius@c-73-170-31-160.hsd1.ca.comcast.net JOIN :#esoteric < 1439203594 432078 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1439203862 928133 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1439204679 544407 :x10A94!~x10A94@178.252.73.97 QUIT :Read error: Connection reset by peer < 1439205148 376958 :x10A94!~x10A94@178.252.73.97 JOIN :#esoteric < 1439205537 328240 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1439205765 30814 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439205848 725087 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1439205881 314473 :boily!~alexandre@96.127.201.149 QUIT :Quit: RETURN CHICKEN < 1439205958 507912 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1439206759 96350 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1439208702 925928 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1439209612 992917 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Quit: J_A_Work < 1439209934 470185 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439211797 151236 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Pbrain14]]4 10 02http://esolangs.org/w/index.php?diff=43719&oldid=40030 5* 0383.251.36.35 5* (+2) 10It -> It's < 1439212680 629726 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1439212704 394886 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 264 seconds < 1439213145 103623 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Stalem 5* 10New user account < 1439213480 94836 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1439214644 91432 :_256Q!~toastyten@5.80.44.78 JOIN :#esoteric < 1439214644 312993 :_256Q!~toastyten@5.80.44.78 QUIT :Changing host < 1439214644 367318 :_256Q!~toastyten@unaffiliated/256q/x-9307863 JOIN :#esoteric < 1439214668 766514 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wth is an oracle < 1439214772 965912 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also < 1439214784 517415 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there oughta be a lower bound < 1439214788 278456 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :a machine that can't solve anything < 1439214800 850496 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1439214823 113772 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :What's the name for a machine that can't solve anything? < 1439214997 25962 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1439215179 90797 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 244 seconds < 1439215343 251387 :GoToTell!~GotoTell@62.205.125.190 PRIVMSG #esoteric :Machine that's can't solve anything? "My Brain." < 1439216325 94421 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well < 1439216333 469988 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the human mind as a machine would be inherentely flawed < 1439216387 635203 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :unless you can recreate mental illnesses in neuronal networks as well given some stimuli. < 1439216403 233482 :GoToTell!~GotoTell@62.205.125.190 PRIVMSG #esoteric :So would be the machine located at your lower bound. < 1439216415 125764 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the machine that can't do anything would be the lower bound < 1439216436 123721 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :obviously < 1439216444 672054 :GoToTell!~GotoTell@62.205.125.190 PRIVMSG #esoteric :Is there a paradox in there? < 1439216551 645810 :GoToTell!~GotoTell@62.205.125.190 PRIVMSG #esoteric :I think it's impossible for a machine to metaphysically do nothing. < 1439217015 113304 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well < 1439217026 887560 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Let's say there's a decision problem D < 1439217050 626702 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and a machine D that either answers yes,no,can't solve < 1439217054 360421 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*M < 1439217064 304283 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the useless machine will always answer with can't solve ;D < 1439217208 535488 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :just evaluate everything to _|_ < 1439217741 170913 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :then there are the Las Vegas Machines < 1439217756 661822 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they either report yes,no or fail < 1439217800 744610 :GoToTell!~GotoTell@62.205.125.190 PRIVMSG #esoteric :Feed it it's own schematics and ask how it a machine built like that would respond if giving 'this' problem. < 1439217932 91181 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439218468 279013 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1439218585 485666 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 265 seconds < 1439218975 488991 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1439219132 657891 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b QUIT :Quit: leaving < 1439219479 966393 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1439220282 318048 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1439220398 383261 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1439220445 860116 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439220764 344759 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :at http://www.madore.org/~david/programs/unlambda/ there is a passage that doesn't make sense to me < 1439220792 949884 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :"^x^y`$x$y (i.e. i) and ^y^x`$y$x (i.e. ``s`k`sik)." < 1439220799 151337 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :shouldn't both be i < 1439220830 457926 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i guess it was meant to be ^x^y`$y$x < 1439221107 534282 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1439221153 371418 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1439221189 865043 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 252 seconds < 1439222172 528882 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1439222289 579128 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 255 seconds < 1439222819 305182 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Read error: Connection reset by peer < 1439222980 663423 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439223009 757235 :Wright_!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1439223057 275682 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Ping timeout: 256 seconds < 1439223196 513114 :nortti!nortti@ayu.smar.moe JOIN :#esoteric < 1439223951 360928 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1439224117 537014 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist 997 < 1439224120 340234 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olist 997: shachaf oerjan Sgeo FireFly boily nortti < 1439224890 418315 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Ping timeout: 250 seconds < 1439225213 463584 :bb010g!uid21050@gateway/web/irccloud.com/x-pvwtmtbhppprpyqj JOIN :#esoteric < 1439225512 593789 :rg__!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439225670 576419 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1439225996 350538 :GoToTell!~GotoTell@62.205.125.190 QUIT :Quit: HydraIRC -> http://www.hydrairc.com <- The professional IRC Client :D < 1439226131 204164 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ooh boy. < 1439226145 661371 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa, you read olist? < 1439226292 683168 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :````s`k`sikxy = ` ```s `k`si k x y = ` `` `k`si x `k x y = `` ``k `si x `kxy = `` `si `kxy = ```s i `kx y = `` i y ` `kx y = ` `i y ``k x y = ` y x = `yx < 1439226293 639518 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ```s`k`sikxy: not found < 1439226302 504379 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Thank you, HackEgo. < 1439226314 868667 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`thanks HackEgo < 1439226318 90378 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, HackEgo. ThackEgo. < 1439226359 760353 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :myname: so yeah, it should be ^x^y`$y$x < 1439226384 983971 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :@type ap (const (ap it)) const < 1439226385 810536 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘it’ < 1439226385 916213 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1439226385 970611 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘id’ (imported from Data.Function), < 1439226389 516483 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :@type ap (const (ap id)) const < 1439226390 471830 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :b -> (b -> b1) -> b1 < 1439226520 266016 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I should have just done that. < 1439226673 537645 :mihow!~mihow@172.56.39.138 JOIN :#esoteric < 1439226675 421861 :zzo38!~zzo38@24-207-56-9.eastlink.ca QUIT :Remote host closed the connection < 1439227048 54672 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439227630 576590 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1439227739 24484 :_256Q!~toastyten@unaffiliated/256q/x-9307863 QUIT :Read error: Connection reset by peer < 1439228582 864081 :aretecode!~aretecode@64.120.6.170 JOIN :#esoteric < 1439229129 472582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: shachaf: i realized the "at most 2 elements in the universe" idea could be replaced by something much simpler http://oerjan.nvg.org/haskell/Forall/UC2.hs < 1439229154 419274 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Did you see the bug edwardk linked to? < 1439229160 427191 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, i definitely should start browsing githubs, i didn't know there were issues pointing out already < 1439229176 357769 :mihow!~mihow@172.56.39.138 QUIT :Ping timeout: 265 seconds < 1439229179 544941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i did, so the module is broken in at least two different ways < 1439229201 250996 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you school 'em, oerjan < 1439229215 579273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but both amount to how even unexported data types leak too much information to be used as skolems < 1439229328 345653 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah he's added another issue < 1439229350 195888 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :ok, this is basically dead since the introduction of closed type families < 1439229376 578074 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: i _think_ the 2 for 3 version could be made without having them closed < 1439229383 635748 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :the code was written before they existed < 1439229388 439960 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :interesting < 1439229410 366423 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :let me try it < 1439229417 44972 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :well i always stated it ruled out the only obvious attack, now the problem is the less obvious attacks are mounting ;) < 1439229425 331416 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh < 1439229448 566128 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :i can still make a version that does reflectiony tricks, but that would preclude you being able to infer Forall Foo < 1439229475 711497 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :the thing that kills it dead is Typeble though < 1439229517 371089 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :https://github.com/ekmett/constraints/issues/10 < 1439229534 613535 :Xavo!43ab8831@gateway/web/freenode/ip.67.171.136.49 JOIN :#esoteric < 1439229544 287207 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :that version requires almost nothing to execute the attack < 1439229600 441443 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :only open family: http://oerjan.nvg.org/haskell/Forall/UC3.hs < 1439229645 93511 :Xavo!43ab8831@gateway/web/freenode/ip.67.171.136.49 PRIVMSG #esoteric :!ztest test_123 (>)*9([-]>)*99 < 1439229650 455583 :Xavo!43ab8831@gateway/web/freenode/ip.67.171.136.49 PRIVMSG #esoteric :maybe? < 1439229652 519060 :Xavo!43ab8831@gateway/web/freenode/ip.67.171.136.49 PRIVMSG #esoteric :maybe not? < 1439229657 819112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: i don't think Typeable kills a reflectiony version, the Typeable instance generator can only give known types < 1439229670 925083 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :oerjan: look closely at what is being generated there < 1439229684 625884 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :its using the Typeable A and TYpeable B that get autogenerated < 1439229708 58044 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :and then its able to cast because they'll agree on being 'A' < 1439229727 759404 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...i assumed you wouldn't use A and B in a reflectiony version, but a made-up-of-thin-air type like reflection does? < 1439229729 917647 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :because we just cast the dictionary < 1439229742 146107 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :i just mean the current version < 1439229747 744954 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah yes < 1439229749 175807 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :this is a pretty effective attack on the current version < 1439229757 345354 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :it gives you unsafeCoerce in about 5 lines of code < 1439229770 562932 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :and needs no extensions < 1439229790 311326 :Xavo!43ab8831@gateway/web/freenode/ip.67.171.136.49 QUIT :Client Quit < 1439229799 651898 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :so i think this basically rules out all skolem based approaches < 1439229915 756183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was thinking whether it would be possible to use an impredicative type like forall a. C a => a < 1439229926 735241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :with an unexported class C < 1439229954 92618 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i should assume that won't work well, like anything impredicative < 1439229990 145208 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Why isn't this conversation in #-lens, anyway? < 1439230001 226054 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no lenses involved hth < 1439230013 176365 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tdnh < 1439230183 487103 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :unexported classes are Typeable too < 1439230226 123107 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um sure, but i don't see the relevance... < 1439230271 667691 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the class is just to try and make sure the user cannot cast it to a known type < 1439230292 171181 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was just an idea, anyway < 1439230318 123047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i meant to replace A and B by such a type (or several if that helps...) < 1439230353 567605 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: ^ < 1439230365 601178 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :any idea how to make that work? < 1439230403 75742 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i haven't actually tried it... < 1439230446 284039 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't have any Forall-using programs to test, anyway. well except the exploit. < 1439230797 696101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh apparently that fails with no suggestion of repair when it gets to the Forall definition < 1439230861 732067 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: i guess even with ImpredicativeTypes, you're not allowed to apply a type variable to an impredicative type. alas. < 1439231059 330952 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :https://github.com/ekmett/constraints/commit/522e9da30410898895f7d13194ea8ac50910a01c < 1439231530 366068 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDude < 1439232061 623149 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 JOIN :#esoteric < 1439232143 598716 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :`quote scow < 1439232144 803453 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1439232163 257849 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :I've heard that scow is oerjanspeak for something < 1439232230 825749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`addquote I've heard that scow is oerjanspeak for something < 1439232233 528657 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1252) I've heard that scow is oerjanspeak for something < 1439232265 100457 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what complete hogwash < 1439232299 535873 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :hogwash, is that scow? < 1439232311 662236 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i'll sue you for libel by proxy hth < 1439232413 209503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but first i'll have to sue microsoft and asus for nagging me about the same thing twice < 1439232421 928494 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :after i've refused < 1439232446 644193 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :did they nag together twice, once each, or in total four times? < 1439232460 830194 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :total four < 1439232476 845113 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :that's a lot of nagging < 1439232491 332543 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or well, microsoft seems to want me to enable its spyware^Wsmartscreen < 1439232509 510531 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and asus refuses to remember my touchpad settings. < 1439232534 605551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :come to think of it, it used to forget them before, until i gently kicked it < 1439232693 302847 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh well, it seems to have settled down. while waking up from suspend is faster, actual reboot is annoyingly slow. < 1439233077 657618 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1439233204 118544 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Ah, smartscreen < 1439233234 920265 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :When upgrading to WX, I actually did custom settings and disabled all tracking < 1439233248 347713 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :me too < 1439233259 338842 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :And I've told my mom she isn't allowed to install windows 10 on her own, because I'm going to disable them for her, too < 1439233273 880508 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Unfortunately, her computer won't install updates for some reason < 1439233291 71604 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: I know you're not on `olist, but did you see the new olist? < 1439233302 517375 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :depends on how new < 1439233304 192557 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let me check now < 1439233305 677317 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, you only read them in bursts. < 1439233309 235737 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I remember now. < 1439233320 822749 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, reading it now < 1439233328 169169 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :was only one behind < 1439233515 143473 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: OK, that's quite the plot twist < 1439233578 965935 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, hmm, the page online for my thesis has finally been created, but apparently it's restricted distribution until 1 December for some reason < 1439233585 294153 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I assume that's the date on which I "officially" get the PhD < 1439233596 397332 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I think I've just proved something TC... < 1439233599 91729 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :This... < 1439233602 207312 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :is the greatest < 1439233603 596817 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :day < 1439233604 762901 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :EVER < 1439233608 824442 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :WOOHOO! < 1439233617 328592 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Well, internally at least < 1439233626 550148 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :And it WASN'T proved by TBS! < 1439233630 539744 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Well, not exactly < 1439233633 906365 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :It kind of was < 1439233641 571065 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :It's proved by reduction to BF < 1439233974 840673 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm afraid that's the wrong way hth < 1439233993 292772 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: I was going to ask about that. < 1439233999 2423 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Restricted to whom? < 1439234011 623711 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: the staff hosting the site, apparently < 1439234015 447221 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can I read it if I'm mentioned in it? < 1439234017 248728 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at least /I/ don't have access and it's my thesis :-( < 1439234509 525634 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe Elsevier will sell you a copy. < 1439234534 552247 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :My former department's bibtex-based webified publication list infrastructure had this concept of "internal pdf". < 1439234564 635593 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Adding an "internal pdf" to a publication put a link that would 403 to the publication entry on the web page. < 1439234577 528226 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: anyway, it will be free public access once the 1 December deadline's passed, unless someting really incompetent happens < 1439234582 26351 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also when accessed from my "internal" workstation. < 1439234592 283424 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: heh, the "link" to it on the web page in my case is actually just some underlined text < 1439234595 809883 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it doesn't do anything when you click on it < 1439234599 448206 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You could access them via the NFS share, but I'm not sure what the link was for. < 1439234613 828821 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe it used to be an IP-based restriction and someone renumbered the networks or something. < 1439234656 198631 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I wonder what our library does, I know they make the dissertations available, but I don't know at what point in the process. < 1439234755 339808 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Huh, they have a new system. < 1439234768 460654 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :https://aaltodoc.aalto.fi/ v. fancy. < 1439234801 164669 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think the non-thesis categories are very comprehensive. < 1439234810 144707 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, aalto university < 1439234818 651183 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :they should have a branch in paalo aalto < 1439234856 371934 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :shachaf: They organized a cruise ship conference thing, and called it "Aalto on Waves". < 1439234867 288807 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://www.aaltoonwaves.com/ < 1439234872 39969 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fi:aalto == en:wave. < 1439234900 144766 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Although I think it's named after Alvar Aalto. < 1439234918 25036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, i can read all of fizzie's secrets < 1439234946 379844 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: BBL < 1439234951 247720 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, these are people who cited fizzie, and people who were advised by fizzie. < 1439234960 416530 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, apparently my master's thesis isn't in there. < 1439234968 79475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :who is your master < 1439234977 889384 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I graduated just before Helsinki University of Technology became Aalto University, I guess this new thing only has Aalto-stuff. < 1439235005 303315 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does it take to get some fizzie advice? < 1439235053 253495 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hah, and the old thesis database isn't available externally. < 1439235070 245128 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"A user licence is required to the databases Tkkbooks, Tkkserials, Tali and Inssi from other than Aalto University users." < 1439235085 624987 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The text "A user license" is a link to a 404 page. < 1439235253 52753 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Searching by my surname, there was a bachelor's thesis on lighting; tried to download it: "You do not have the credentials to access the restricted bitstream". < 1439235454 584572 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :As far as I can determine, my master's thesis is not freely electronically available. :/ < 1439235460 408580 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh well. It wasn't very good anyway. < 1439235581 204516 :x10A94!~x10A94@178.252.73.97 QUIT :Read error: Connection reset by peer < 1439236164 479524 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Yep < 1439236170 505950 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I wrote a language and proved it TC. < 1439236174 355317 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I am so happy. < 1439236447 543247 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I hope you noticed oerjan's hth comment. < 1439236480 963158 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: I'm afraid that doesn't disambiguate very much. < 1439236505 345207 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, that hth comment. < 1439236508 530639 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The one about reduction to BF being the wrong way around. < 1439236518 179866 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Really? < 1439236553 861065 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Because you can write a program in this language that is essentially Trivial Brainfuck Substitution < 1439236556 959549 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you go by the usual meanings of the word. If you implemented BF in your language, that's reducing BF to your thing, and that's the right way around. < 1439236557 164905 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :It's a tree-based languagee < 1439236569 931626 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :But if you were so inclined, you could use the tree as a tape < 1439236575 408944 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Oh < 1439236580 136169 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In that case, it's probably right. < 1439236582 16024 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Did I just use the wrong terminology < 1439236597 501213 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I must've < 1439236611 643486 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Reduction of A to B conventionally means a way to solve A using a known solution of B. < 1439236622 526162 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Oh < 1439236664 405176 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Basically, my language has a way to move from node to node, a way to increment or decrement the current node while 1, and a way to loop a block of code while nonzero < 1439236673 542404 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :*by 1 < 1439236688 668663 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Quit: J_A_Work < 1439236701 188634 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :And it has no arbitrary restrictions < 1439236707 116053 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :AFAIKT < 1439236720 349356 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :s/k/T/i < 1439236742 879232 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That sounds a lot like http://esolangs.org/wiki/Treehugger < 1439236751 974019 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Although maybe your tree isn't binary. < 1439236782 466830 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :It is a lot like Treehugger < 1439236785 426046 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I assume < 1439236794 620830 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :My tree is, as a matter of fact, binary < 1439236800 907500 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :How dare you accuse me of being otherwise? < 1439236806 671112 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric ::P < 1439236845 643090 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Yep < 1439236854 165414 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :It's basically exactly treehugger, but more legible < 1439236868 222383 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :And additional commadns < 1439236874 889232 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :It's not an esolang, strictly < 1439236887 511669 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :strictly speaking it's a weirdlang < 1439236891 705757 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :to use the technical term < 1439236894 803494 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :It's an esolang the same way Postscript is an esolang < 1439236896 414702 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In the same family, there's also the more elaborate https://esolangs.org/wiki/Arborealis < 1439236901 862629 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Touche < 1439236910 80237 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I've seen arborealis < 1439236911 749907 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(the joke is that weirdlang isn't the technical term) < 1439236913 837361 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :it's inspired by it < 1439236923 54482 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I got the joke, shachaf < 1439236930 204143 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Which is why I said touche < 1439236953 926318 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :It's inspired by arborealis to the degree of just being called Arbour-Lang currently < 1439236958 447845 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hrm. < 1439236979 510605 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If I type "esolangs.org foo" in my browser, it does a search using http://fail.esolangs.org/w/index.php?title=Special:Search&search=foo < 1439236982 526769 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Which fails. < 1439236985 813431 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Because fail.esolangs.org fails. < 1439236998 369622 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Wonder where that has come from. < 1439237025 816810 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Weird < 1439237052 734311 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Really strange. I have an "esolangs.org" search using fail.esolangs.org, and a "fail.esolangs.org" search using esolangs.org. < 1439237076 787779 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And also two other "Esolang (en)" search engines from various temporary things, but that's more reasonable. < 1439237103 190288 :mtve!~mtve@10130.x.rootbsd.net QUIT :Ping timeout: 240 seconds < 1439237206 992577 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1439237245 967508 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :fizzie: One might even call your searching quirks... esoteric < 1439237255 902779 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric : < 1439237419 627052 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :What kinds of queue operations are there? < 1439237427 517350 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :There's enqueue and dequeue as the standard < 1439237431 216776 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :But there's also roll < 1439237435 735458 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Any others I should know about? < 1439237653 183639 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :What's roll? < 1439237675 936255 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It sounds like just dequeue-enqueue. < 1439237682 228339 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But maybe it's not. < 1439237698 379689 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hmm. Here's an esolang. < 1439237707 470091 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There's a queue. < 1439237714 994394 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Practical" queue types tend to have an "is empty" test, and maybe a peek operation for the front. < 1439237720 418852 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Of nonnegative integers. < 1439237749 211818 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You pop a number; call it n. Then you peek the next n numbers and reenqueue them. < 1439237820 804930 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So "3 3 2 2 1 1" would become "3 2 2 1 1 3 2 2", then "2 2 1 1 3 2 2 2 2", then "2 1 1 3 2 2 2 2 2 1", then "1 1 3 2 2 2 2 2 1 1 1", and so forth. < 1439237843 341170 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Sounds Turing-complete. < 1439237862 485176 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Somehow, I just noticed the name collison between dequeue the operation and dequeue the double-ended queue < 1439237865 149374 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: reminds me of resplicate < 1439237869 59789 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it's not quite the same < 1439237879 619180 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :hppavilion[1]: The double-ended queue is generally just a "deque". < 1439237886 979300 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Ah < 1439237888 196651 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Pronounced 'deck', I think. < 1439237889 620658 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it also reminds me of xigxag, though, which is suspected to not be TC < 1439237901 247491 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Because like a deck of cards, you can access both ends.) < 1439237953 861755 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Ah < 1439237957 180249 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I'll fix that < 1439237965 843865 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I'm designing an OO CLI < 1439237984 335883 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I've decided to obey the made up philosophy of RSRJ (Right Shell for the Right Job) < 1439237988 986177 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Bash is good sometimes < 1439237997 252233 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :But not for everything shell-related < 1439238010 92856 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :So I'm going to invent a host of alternative shells that all have special purposes < 1439238031 228844 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Not to replace the Bourne-Again SHell, but as alternatives for specific tasks < 1439238048 776075 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: there's git shell, already < 1439238058 808131 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :ais523: Yes there is < 1439238075 658666 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Wait, is Git OO? < 1439238079 661011 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :The shell I mean < 1439238083 100238 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't think so < 1439238087 389199 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :OK < 1439238088 561026 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you want an object-oriented shell, look at Powershell < 1439238097 553051 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I've never actually used Git shell < 1439238108 120667 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Powershell is Windows-only though AFAIK < 1439238116 189723 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :The shells I'm designing will be Cross-Platform < 1439238130 805492 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I'm going to integrate them into this cool interface called the UtopiaUI < 1439238140 644607 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :The UUI will be cool < 1439238145 242169 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sometimes I wonder if there are actual scsh users anywhere. I've never heard of anyone. < 1439238172 158167 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Its basic form will be a command prompy mixed with a file explorer < 1439238174 269215 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Imagine this: < 1439238180 860582 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :You type "cd dir" < 1439238194 764952 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :And the file explorer you're using switches to the "dir" directory < 1439238202 282749 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :So you don't need to type "ls" to see all the files < 1439238210 143410 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :And you can see what you're doing much more awesomely < 1439238253 699761 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Or, if you double click (or single click, depending on your OS's settings) on the "dir" directory < 1439238267 766937 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That sounds somewhat like NC and its ilk. < 1439238268 421252 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :The shell you're using implicitly cd's to dir < 1439238295 460749 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :And the shell is DIRECTLY connected in-window to that file system < 1439238298 420471 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :So there's no confusion < 1439238308 953187 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I love graphical software that has a command line. < 1439238314 999528 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I mean, I don't think I've ever used such software. < 1439238322 128287 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :But in my imagination, I love it. < 1439238349 794337 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :tswett: Awesome! < 1439238352 258808 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Norton_Commander#/media/File:Norton_Commander_5.51.png -- IIRC, the prompt at the bottom and the file manager filling the rest of the screen are quite synchronized. < 1439238358 915815 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It's not graphical, of course.) < 1439238370 940631 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Yep < 1439238387 996714 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :UUI will basically be an epic programming tool < 1439238415 416005 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :tswett: MATLAB is kind of a graphical software with a command line. < 1439238418 923367 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you squint, at least. < 1439238422 682933 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Heh < 1439238434 268588 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :It'll have all the necessary programming tools < 1439238446 421266 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: UUI sounds a lot like an IDE. < 1439238447 761399 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Sans a full-fledged IDE, such that the user can use their own preferred one < 1439238457 452674 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :tswett: It's not an IDE < 1439238467 289909 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :You use your own preferred IDE < 1439238489 596570 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :You use the UUI when you want to browse files without an eyestrain < 1439238518 818824 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :And stuff like that < 1439238531 777483 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I'm sure I'll find a place for it in the world of programming :P < 1439238556 86867 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Or at least the advertising department will < 1439238557 543576 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric ::P < 1439238602 475277 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Are you going to create your own file browser, or integrate this with an existing one? < 1439238653 248379 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I don't know < 1439238657 764460 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :This is a long-term plan < 1439238677 881802 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I have a personal project perpetually going to create a software suite called UtopiaOffice < 1439238709 185091 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Strangely, the company I'm developing it under (and likely the one to distribute it if all goes according to my ~evil~ plan) is actually a GAMING company < 1439238720 672112 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Startup < 1439238806 689523 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :It's designed to be usable for programmers and mathematicians as well as mere mortals < 1439238841 587685 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :So, for example, it has a calculator called Godel that will, if I can figure it out, do calculus. < 1439238882 328400 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :But to answer your question, it will /probably/ use a custom-made filebrowser < 1439238913 184084 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :And be designed to look pretty so it doesn't strain your eyes < 1439238920 29363 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :And, of course, be customizable :P < 1439239212 602649 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I'm designing that OO shell... but my tendency towards Esolangs is directing me to make BF scripting possible in it < 1439239219 825611 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Definably < 1439239246 752188 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :I have to go < 1439239247 629984 :hppavilion[1]!3ff12880@gateway/web/freenode/ip.63.241.40.128 PRIVMSG #esoteric :Bai < 1439239966 89739 :_256Q!~toastyten@5.80.44.78 JOIN :#esoteric < 1439239966 345527 :_256Q!~toastyten@5.80.44.78 QUIT :Changing host < 1439239966 399955 :_256Q!~toastyten@unaffiliated/256q/x-9307863 JOIN :#esoteric < 1439241119 90392 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1439241193 663232 :TieSoul!~quassel@86.89.119.147 QUIT :Read error: Connection reset by peer < 1439241451 302631 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Ping timeout: 256 seconds < 1439241542 804304 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1439242386 147688 :bb010g!uid21050@gateway/web/irccloud.com/x-pvwtmtbhppprpyqj QUIT :Quit: Connection closed for inactivity < 1439242431 478019 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 255 seconds < 1439243079 90402 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 244 seconds < 1439243223 591029 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1439243523 955191 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: byeloi < 1439243695 347776 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 256 seconds < 1439243801 364369 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1439243801 418662 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :You don't have any messages < 1439243977 100593 :rg__!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1439244036 945171 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439244062 616002 :mtve!~mtve@10130.x.rootbsd.net JOIN :#esoteric < 1439244161 931070 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :helloily < 1439244175 553493 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :eastern time is scow < 1439244288 92970 :FireFly!~firefly@firefly.xen.prgmr.com QUIT :Ping timeout: 244 seconds < 1439244316 199063 :_256Q!~toastyten@unaffiliated/256q/x-9307863 QUIT :Read error: Connection reset by peer < 1439244405 524730 :sebbu!~sebbu@ADijon-152-1-26-129.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1439244451 22693 :sebbu!~sebbu@ADijon-152-1-26-129.w83-194.abo.wanadoo.fr QUIT :Changing host < 1439244451 22760 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1439244530 964617 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shellochaf! < 1439244537 876752 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :you're on the East Coast? < 1439244546 37417 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :obviously < 1439244555 914533 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :looj this "shello" thing doesn't make any sense < 1439244565 35470 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that h isn't an independent sound < 1439244573 603220 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you can't make "hello" out of it < 1439244591 940501 :FireFly!~firefly@firefly.xen.prgmr.com JOIN :#esoteric < 1439244627 228434 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellochaf? < 1439244649 749495 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi < 1439244703 992938 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1439245125 68647 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Shellophane. < 1439245220 212338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Mr. Shellophane / Shoulda been my name < 1439245829 657965 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439245995 27357 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1439247458 222743 :boily!~alexandre@96.127.201.149 QUIT :Quit: STRONG CHICKEN < 1439247529 915628 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1439247619 434016 :oren!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :goodeening < 1439247844 595999 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439248511 358089 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net JOIN :#esoteric < 1439248720 965155 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1439248726 962442 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net QUIT :Ping timeout: 246 seconds < 1439248759 265649 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439248785 949429 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric