< 1423785779 853446 :contrapumpkin!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1423786362 801268 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Today- well, yesterday- I made some paper boats then went to the cinema < 1423786399 566185 :blockzombie!~blockzomb@eth59-167-133-100.static.internode.on.net PRIVMSG #esoteric :nice < 1423786416 104113 :blockzombie!~blockzomb@eth59-167-133-100.static.internode.on.net PRIVMSG #esoteric :now I want to make paper boats < 1423786541 440793 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I was making the best out of a printing error < 1423786617 337531 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Which led me to have about 30 sheets of paper with 4 black squares on each side < 1423786639 584955 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Ping timeout: 245 seconds < 1423787102 580479 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1423787158 585739 :blockzombie!~blockzomb@eth59-167-133-100.static.internode.on.net PRIVMSG #esoteric :4 eh? < 1423787748 352427 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Ping timeout: 245 seconds < 1423787886 214814 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :blockzombie, yes < 1423787892 953406 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I was trying to print of some slides, 4 per page < 1423787894 646142 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Double sided < 1423787899 711775 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :So I guess 8 per sheet < 1423787999 273314 :Adrop!~Adrop@69.65.47.125 JOIN :#esoteric < 1423788082 343579 :Adrop!~Adrop@69.65.47.125 PART :#esoteric < 1423788084 700102 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 250 seconds < 1423788091 460762 :not^v!~notnot^v@198.109.114.66 QUIT :Ping timeout: 255 seconds < 1423789005 5578 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423789358 876162 :chaosagent!~quassel@c-98-210-97-139.hsd1.ca.comcast.net JOIN :#esoteric < 1423790118 562726 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1423790433 165290 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1423790433 364443 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYUL 130100Z 27012KT 8SM -SN SCT035 OVC060 M12/M16 A2989 RMK SC3SC5 SLP123 < 1423791199 57796 :Froo!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1423791308 373583 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423791540 309782 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1423791540 662066 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ENVA 130120Z 13008KT CAVOK M04/M06 Q1014 RMK WIND 670FT 14008KT < 1423791744 193269 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellørjan. still enjoying tropical weather? < 1423791758 886921 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1423791759 48367 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :shachaf said 23h 45m 7s ago: not much of a hello when you quit within a few seconds! < 1423791787 215553 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@tell shachaf sorry. I had to disappear toward a pre-work shower. < 1423791787 376407 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1423791854 74422 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :still enjoying the flu, possibly < 1423791907 994235 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oh. the sickness disproved? < 1423791922 46117 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(what's the opposite of improved? I'm seriously drawing a blank here...) < 1423791937 789684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"worsened" hth < 1423791941 724195 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :thanks. < 1423791946 227460 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION is an idiot.
< 1423791951 790125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm pretty sure disproved means something completely different < 1423792003 297327 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :yes, but I had a long day, and my mental hamster is sprawled besides its wheel, lightly twitching. < 1423792025 346937 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is it epileptic spasms < 1423792033 476284 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423792048 505147 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :perhaps. I'm drinking diet coke. < 1423792080 741770 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is drinking orange juice, might change to coke zero later
< 1423792128 6136 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also eating < 1423792160 571534 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose not having nausea is good < 1423792184 298334 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :
ACTION gets oerjan a Coke Orange
< 1423792193 960122 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :Welcome to Americlap < 1423792198 228541 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 245 seconds < 1423792201 980210 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1423792224 556269 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we don't generally mix coke and orange in norway afaik < 1423792228 776644 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION glares at dulla “no corrupting Scandinavians!”
< 1423792252 19376 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :Hey, you can put your own god damn oj in your own god damn cocaine cola < 1423792266 340695 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unless you mean coke in the "americans have a different word for fizzy drinks dependent on region and time of day" sense < 1423792297 631119 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i believe i've read there's no trace of cocaine in coke since the 1930s or thereabouts < 1423792306 37072 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :it's become the coca cola company versus pepsi co < 1423792315 617688 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :pepsi is better. < 1423792318 723502 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :you have root beer, or dr pepper < 1423792347 879189 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :regardless, the automated drink machines are really weird, they allow you to make your own cola flavors < 1423792358 709321 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> orange vanilla coke < 1423792360 5426 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘orange’ < 1423792360 166430 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant ‘range’ (imported from Data.Ix)Not in scope: ‘vanilla’Not ... < 1423792407 226484 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :;_; < 1423792451 635303 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i do not believe lambdabot yet has a vending machine attached < 1423792490 416386 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :Well, now I have a goal < 1423792531 953772 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :obviously what we truly want is launchMissiles :: IO () < 1423792753 833917 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I'd be more worried about a launchMissiles :: (). < 1423792773 14571 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :This is going to be the start of a strategy game, oerjan < 1423792779 438241 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :Are you realy willing? < 1423792816 113417 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the answer to that should be obvious to anyone who has been here in the channel for a while < 1423792825 345286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :("heck no, far too much work") < 1423792856 459378 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: no, that would be unsafeLaunchMissiles, which you have to construct yourself hth < 1423792895 482599 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :meh... < 1423792901 321245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think intuitively the type should be Void rather than () < 1423792910 538646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because, there won't be anything left to return. < 1423792985 502140 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :I would not be opposed to a proc chance of the missiles simply exploding on you for being so unsafe < 1423792994 182197 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: ^^ < 1423793006 562273 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :dulla: those are missiles we are talking about. missiles are reliable. < 1423793081 783797 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :Not when they are from kazahkstan < 1423793102 421829 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :or is uzbekistan more apropos < 1423793115 818596 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :àpropostan. < 1423793140 128114 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a'postrophestan < 1423793388 757530 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Missiles of this size, apocalypstrophestan < 1423793512 556996 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1423793848 657401 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1423793868 183648 :^v!~^v@2601:4:680:104c:45e7:219d:3559:25 QUIT :Read error: Connection reset by peer < 1423793895 330232 :^v!~^v@2601:4:680:104c:45e7:219d:3559:25 JOIN :#esoteric < 1423794030 166957 :dianne!~diannes@unaffiliated/dianne QUIT :Quit: Lost terminal < 1423794082 322210 :dianne!~diannes@unaffiliated/dianne JOIN :#esoteric < 1423794229 189037 :boily!~alexandre@96.127.201.149 QUIT :Quit: TEXTURED CHICKEN < 1423794278 896945 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1423794304 332460 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1423794331 413873 :arjanb!8259ac30@gateway/web/freenode/ip.130.89.172.48 QUIT :Quit: . < 1423794437 934845 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423794618 439830 :AndoDaan!~AndoDaan@188.188.88.213 JOIN :#esoteric < 1423794970 303056 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca JOIN :#esoteric < 1423795215 181610 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423797266 629875 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :That is a problem with the definition of "turing complete", not with C, tswett... < 1423797312 889027 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :That is, no real computer can ever be "turing complete", thus some algorithms that theoretically "work" don't actually < 1423797328 213919 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION sighs
< 1423797414 448245 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423797421 954397 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :elliott, are there models of computability that take the limits of physics into account? < 1423797554 736903 :nys!~nysnamovo@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :linear bounded automaton with tape fixed to 10^90 bits < 1423797616 628882 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :nys: I think there are more restrictions than that. Consider the maximum speed of information propagation, and the energy supply, for example. < 1423797692 402349 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Personally, I think there is in theory a tradeoff between the size of memory and the speed of the computer. < 1423797700 876356 :nys!~nysnamovo@blk-215-85-138.eastlink.ca PRIVMSG #esoteric :oren: http://arxiv.org/abs/quant-ph/0110141 < 1423797856 685656 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :nys: cool. So there will never, even in theory, be a need for pointers longer than 90 bits. We can saefly assume that < 1423797870 265100 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :sorry, digits < 1423797903 99999 :pikhq!~pikhq@deagol.pikhq.com PRIVMSG #esoteric :(assuming C) < 1423797917 644962 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :so 300 bits < 1423797944 84538 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :pikhq: right. < 1423798000 958234 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423798740 987860 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1423802125 642386 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :this is why we have a hierarchical cache structure, and coproccessing, oren < 1423802193 938886 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423802941 228014 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423803146 461363 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423803161 361935 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net JOIN :#esoteric < 1423803186 542386 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1423803498 583041 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :'Sup < 1423803551 733708 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*ACHOO* < 1423803572 954920 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Bless you < 1423803573 116181 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`olist 975 < 1423803593 105842 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olist 975: shachaf oerjan Sgeo FireFly boily nortti < 1423803610 228664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(courtesy of shachaf) < 1423803630 463776 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I saw it but forgot to olist < 1423803681 724103 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :What is Olist? < 1423803696 564699 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :order of the stick announcements < 1423803711 45367 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? olist < 1423803716 126263 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Update notification for the webcomic Order of the Stick. < 1423803736 863981 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Shachaf is a stalker? < 1423803738 827846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :HackEgo: you're, like, slow, tdnh < 1423803740 304374 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :That's weird < 1423803745 448046 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Oh wrong chat < 1423803751 66802 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, he sent me a lambdabot message < 1423803765 978497 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I've heard of lambdabot < 1423803777 789291 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@nixon < 1423803777 975232 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Always remember that others may hate you but those who hate you don't win unless you hate them. And then you destroy yourself. < 1423803796 501597 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :What < 1423803809 679478 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :That makes Not a lick o' sense < 1423803878 896919 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1423803879 340538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nixon often didn't hth < 1423803906 120025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@pinhead < 1423803906 280727 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1423803917 852604 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@zippy < 1423803918 13725 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1423803922 109360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm what was it < 1423803927 234495 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@listmodules < 1423803927 396015 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search slap source spell system tell ticker todo topic type undo unlambda unmtl version where < 1423803932 759937 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list quote < 1423803932 921122 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :quote provides: quote remember forget ghc fortune yow arr yarr keal b52s pinky brain palomer girl19 v yhjulwwiefzojcbxybbruweejw protontorpedo nixon farber < 1423803945 99473 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@pinky < 1423803945 305122 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :I think so, Brain, but me and Pippi Longstocking -- I mean, what would the children look like? < 1423803973 154359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@yow < 1423803973 314899 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Vote for ME -- I'm well-tapered, half-cocked, ill-conceived and TAX-DEFERRED! < 1423803992 261813 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Vile creature of the internet begone from this sacred land of code and drama < 1423804010 294163 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1423804030 410511 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Sorry, I spout often words of wimsical use < 1423804055 911366 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@fortune < 1423804056 112785 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Occurs check: cannot construct the infinite kind < 1423804153 349634 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :What < 1423804189 27137 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :By the hymen of Olivia newton John that is a big bot lib for lambdabot < 1423804276 901825 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what do you expect of a bot more than a decade old < 1423804318 301452 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I feel young now < 1423804323 534113 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Thanks, Sir < 1423804345 752249 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yw < 1423804393 139385 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Who are you btw & what do you do for program wise < 1423804403 872222 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> nixon < 1423804405 173852 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘nixon’ < 1423804412 381387 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> quote.nixon < 1423804413 630167 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘quote’ < 1423804413 858197 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1423804413 858325 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘quot’ (imported from Prelude), < 1423804419 615460 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :> [ y | y ] < 1423804420 781205 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Ambiguous occurrence ‘y’ < 1423804421 11359 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : It could refer to either ‘L.y’, defined at L.hs:153:16 < 1423804421 11486 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : or ‘Debug.SimpleReflect.Vars.y’, < 1423804432 584914 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I haven't haskelled in years < 1423804434 46897 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :you need an input set, Sketra < 1423804452 619014 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Its ok I gave up in fifth grade < 1423804454 76708 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> is just an abbreviation for @run it doesn't have access to the other commands < 1423804455 606076 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> [y|y <- "aeiou" < 1423804456 272068 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : can't find file: L.hs < 1423804456 272206 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘is’ < 1423804456 272281 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1423804456 272354 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘id’ (imported from Data.Function), < 1423804458 883774 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> [y|y <- "aeiou"] < 1423804460 132044 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "aeiou" < 1423804489 364729 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Remember ten years from now oerjan you make lambdabot into an artificial intelligance < 1423804500 945634 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I don't < 1423804505 585207 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :HAHaHhahahhHahHahahh < 1423804514 283557 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :
ACTION sobs internally
< 1423804537 166742 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@run text " (@nixon) " < 1423804538 509567 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (@nixon) < 1423804543 703414 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I forget the syntax... < 1423804562 328146 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :@run text " @nixon " < 1423804563 587748 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : @nixon < 1423804574 454213 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :It makes a space < 1423804575 717827 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :fk < 1423804657 774922 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1423804659 720005 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :> [ y|y <- "gacen" ] < 1423804660 665321 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "gacen" < 1423804662 687558 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@@ run text " (@nixon) " < 1423804662 928109 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : run text " (@nixon) " < 1423804666 872842 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Thanks < 1423804668 910817 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@@ @run text " (@nixon) " < 1423804669 158780 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (@nixon) < 1423804672 413737 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I give up < 1423804690 545071 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :$say @Nixon < 1423804694 927284 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :pfft < 1423804716 49424 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :is it bad if I had a bot use lambdabot to do nefarious deeds < 1423804746 648852 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's pretty traditional actually >_> < 1423804762 643833 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :lol well then < 1423804766 988449 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423804776 150945 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Doesn't have a good security system? < 1423804852 273375 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@show test < 1423804852 924493 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :"test" < 1423804853 576237 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :its security system is really terrible < 1423804858 989212 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: ZNC - http://znc.in < 1423804867 576303 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@@ @run text @show @nixon < 1423804868 909389 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : I brought myself down. I impeached myself by resigning. < 1423804870 826594 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there are some very bad exploits that I doubt got fixed that I'm not going to tell anyone about < 1423804881 174274 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@@ @ run text . reverse $ @show @nixon < 1423804881 435229 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Plugin `compose' failed with: Unknown command: "" < 1423804884 626988 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@@ @run text . reverse $ @show @nixon < 1423804885 912008 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .era yeht ,ti ecaf s'tel ,woN .seert eht fo tuo tsuj era ,yllacisab , meht ... < 1423804888 690201 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yay < 1423804892 824677 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :lol well then < 1423804944 151703 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :them basically are just out of the trees Now lets face they are < 1423804960 100902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sketra: lambdabot only got a proper sandbox last month after we found that security bug < 1423804962 141244 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I can read backwards < 1423804971 412727 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well somewhat proper < 1423804987 43921 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Ooo a sandbox?! < 1423804990 305907 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :That's cool < 1423805000 567650 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :before that it tried to trust haskell's type system < 1423805014 232187 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Lol nope < 1423805057 609484 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sketra: um you don't know what sandbox means for a bot? < 1423805063 463354 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Nope < 1423805070 909316 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I think < 1423805076 805097 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it means putting it in a more secure environment < 1423805131 569068 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :OH < 1423805141 339252 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :yeah well you may have could said that < 1423805164 661794 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :My friend did that to our currency bot < 1423805283 667380 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Prod bots are nice < 1423805331 815278 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :... Who is oerjan? < 1423805361 155968 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you're sounding seriously crazy today. < 1423805394 158836 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :What? < 1423805427 544332 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I'm just asking a question < 1423805445 755186 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm a norwegian who does pretty much nothing. < 1423805451 69056 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I wish to know what you've done in your life As a programming < 1423805457 834433 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Go to war oerjan? < 1423805475 250089 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :How come Germany took over Norway but Sweden?! < 1423805480 732969 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :not* < 1423805524 635060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sweden didn't have a long atlantic coastline or a stupid policy of downsizing the military (not sure about the latter) < 1423805626 917641 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Who are nords < 1423805631 250802 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Nordic? < 1423805657 775374 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Geometery confuses me oerjan < 1423805761 990578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you just have to look at it from the right angle < 1423805824 524107 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I learned a new today < 1423805829 163383 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :-///- < 1423805838 308050 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nordics are people living in northern europe. some of their ancestors were vikings. < 1423805846 670940 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :ouo" I heard from a friend that.. < 1423805852 908269 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :you guys are smart < 1423805883 496696 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you're Eolus. you should have noticed by now. < 1423805891 950629 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Ofc in some fields you may not be as smart < 1423805901 396356 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :true. < 1423805908 133637 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Eoly is best friend < 1423805922 277104 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't actually believe that but whatever. < 1423805932 957607 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Believe what < 1423805955 856060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that you're not the exact same person as Eolus. < 1423805969 665264 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Physically < 1423805979 618642 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :or legal birth name? < 1423805990 704215 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :physically. < 1423806001 42844 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Male < 1423806010 193211 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Mentally 15 persons < 1423806051 968108 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whatever < 1423806055 134615 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Second split of third tri quarter of the Median system Sketra Split from Zetsu Female alter Mental age 17 < 1423806058 357643 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Like that < 1423806064 75868 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I log a lot of stuff < 1423806115 54001 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Should I have everyone introduce themselves like that? I assume it would be easier < 1423806176 787161 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we aren't going to distinguish you into personae anyhow. < 1423806178 935028 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :4000 newtons psi to shatter bones < 1423806225 365725 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Its ok just call us by the nick that is displayed and you should be spared any type of discontent and murderous anger from sprouting < 1423806268 657590 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Like int-e always calling us By lilax < 1423806325 193501 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :
ACTION pets Oerjan
< 1423806331 685539 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :you never do that anyways < 1423806341 968640 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :You are good friend I guess < 1423806344 364066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i almost did above. < 1423806383 633572 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Probably would forgive since you only did it once < 1423806410 56796 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net QUIT :Read error: Connection reset by peer < 1423806418 437292 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Its just hhhh titles matter cuz ugh idk we just hate being called by eachothers names < 1423806431 213034 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Albiet confusing just call us by our nicks < 1423806487 875317 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'll do that, but only because i'd be doing that anyway. if you start making me want to follow rules i consider pointless, i might run out of patience myself. < 1423806504 294072 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Make... LOL < 1423806519 20185 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*start making me follow < 1423806527 473852 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :well no oerjan you don't have to follow the rules you are nice and funny < 1423806533 264665 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :We forgive you < 1423806555 99122 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Also you remind of us our grandpa so its ok < 1423806555 817485 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...that kind of talk doesn't help, either. < 1423806612 949685 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :As long as you don't say anything rash in anger lol Cuz lots of us are emotionally unstable and you might never hear from me again or us for that matter < 1423806638 15150 :bb010g!uid21050@gateway/web/irccloud.com/x-dbmpmfkolqohkjug JOIN :#esoteric < 1423806653 534460 :pikhq!~pikhq@deagol.pikhq.com QUIT :Remote host closed the connection < 1423806694 308365 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :HaskellCEO: TOO MUCH! Just found out that these dickwads belong to some Christian denomination known as the Alonzo Church of God in Christ or some shit. < 1423806710 509196 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Wair what?! < 1423806730 268488 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :domination < 1423806744 866866 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :It's a joke about the famous mathematician Alonzo Church < 1423806762 697188 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :oh < 1423806777 345520 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :what's RGB for pink? < 1423806794 61430 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Roy Gee Biv? < 1423806859 452650 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :255 192 203 pink < 1423806865 909264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :according to X11 < 1423806910 662365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(/usr/share/X11/rgb.txt) < 1423806913 969716 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :cool < 1423806943 748049 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :really < 1423806951 62956 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :k < 1423806960 584912 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sketra: Red Green Blue < 1423806980 944440 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I'm colour blind to Blue and Green < 1423806986 579465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :color numbers for a monitor < 1423807003 717883 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Oh mai < 1423807018 817854 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :probably somewhat randomly assigned < 1423807024 99304 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Thas cool I haven't coded since 10th grade < 1423807026 946835 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(the names) < 1423807045 385922 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :hhhhhh < 1423807048 27905 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :I'm gonna go with "deep pink" 255 20 147, for the color of bad links, and "Purple" 160 32 240 for the good links < 1423807070 190961 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Oh I see what you are doing < 1423807098 348422 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this all probably depends on monitor calibration and stuff, something i only know the vaguest part about < 1423807118 269140 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1423807124 185599 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Sketra: writing a primitive hypertext browser for my game < 1423807517 464583 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b JOIN :#esoteric < 1423807884 355883 :blockzombie!~blockzomb@eth59-167-133-100.static.internode.on.net PRIVMSG #esoteric :Sketra: you know < 1423808024 228101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm iirc today's freefall seems to miss the direct order the mayor's assistant gave... < 1423808180 208 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://freefall.purrsia.com/ff2200/fc02155.htm < 1423808930 667159 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :I do? < 1423809872 270581 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*ACHOO* < 1423812507 761429 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :http://www.noulakaz.net/weblog/2007/03/18/a-regular-expression-to-check-for-prime-numbers/ < 1423812719 265331 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1423812764 326285 :blockzombie!~blockzomb@eth59-167-133-100.static.internode.on.net QUIT :Remote host closed the connection < 1423812948 303182 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1423813495 908921 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :http://webcache.googleusercontent.com/search?q=cache%3Awww.monohaskell.com&oq=cache%3Awww.monohaskell.com&aqs=chrome..69i57j69i58.1240j0j4&sourceid=chrome&es_sm=122&ie=UTF-8 < 1423813668 617720 :Sketra!~Eolus@74-61-60-199.war.clearwire-wmx.net QUIT :Ping timeout: 250 seconds < 1423814083 876531 :int-e!~noone@static.88-198-179-137.clients.your-server.de TOPIC #esoteric :What is the land-speed velocity of a migrating fungot? | The many faces of Lilax | ZFC is a ChuChu rocket. | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1423814275 54738 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh, early GG comic today. < 1423814610 82323 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah I guess collateral damage is no fun if you're it. http://www.schlockmercenary.com/2015-02-13 < 1423815187 81387 :spupuser!~root@115.99.0.95 JOIN :#esoteric < 1423815344 413911 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :woohoo it't working < 1423815821 772001 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :http://postimg.org/image/8upxjp4rz/ < 1423816061 605648 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :See, it detected that the "element" link's file exists and made that link blue < 1423816229 53480 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Now to reinvent web forms < 1423816388 64031 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Ttml14]]4 10 02http://esolangs.org/w/index.php?diff=41901&oldid=41860 5* 03Orenwatson 5* (+24) 10update spec to include hyperlinks < 1423816688 201095 :bb010g!uid21050@gateway/web/irccloud.com/x-dbmpmfkolqohkjug QUIT :Quit: Connection closed for inactivity < 1423817510 850798 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1423817580 454260 :elliott!~elliott@unaffiliated/elliott TOPIC #esoteric :What is the land-speed velocity of a migrating fungot? | ZFC is a ChuChu rocket. | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1423817595 609621 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: can you stop being a dick to 16 year olds, it's getting really old < 1423817735 564732 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's the most ridiculous feud in this place since whenever I cared enough to feud with people < 1423818558 763019 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oren: do you pick a new terminal font for every sreenshot < 1423818566 9785 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that one is actually cute though < 1423818625 850565 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*screenshot < 1423818940 158225 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1423819589 284723 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :elliott: well, not every screenshot, but I do acquire new terminal fonts every week or so < 1423819616 568410 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: He strokes (pets? pats?) me the wrong way, it's hard not to bite. < 1423819632 16558 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But You're right. < 1423819727 602678 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1423819892 652707 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1423820844 935607 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423820950 250360 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1423820968 935279 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423821740 862033 :chaosagent!~quassel@c-98-210-97-139.hsd1.ca.comcast.net QUIT :Ping timeout: 252 seconds < 1423823027 294026 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Wife made me new jewelry: https://twitter.com/J_Arcane/status/566173919770869760 < 1423824029 866457 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1423825052 810552 :^v!~^v@2601:4:680:104c:45e7:219d:3559:25 QUIT :Read error: Connection reset by peer < 1423825079 167324 :^v!~^v@2601:4:680:104c:45e7:219d:3559:25 JOIN :#esoteric < 1423826307 534777 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1423826735 267820 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1423827184 186890 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: computer is malfunctioning < 1423828019 237332 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423828023 282755 :AndoDaan!~AndoDaan@188.188.88.213 QUIT :Ping timeout: 252 seconds < 1423828773 766315 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1423828787 655637 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423828796 130763 :AnotherTest!~turingcom@94-224-19-238.access.telenet.be JOIN :#esoteric < 1423829057 43484 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1423829057 273441 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :You don't have any messages < 1423829499 624049 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Remote host closed the connection < 1423829704 860730 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1423829710 570983 :boily!~alexandre@96.127.201.149 QUIT :Quit: CARBONATED CHICKEN < 1423829762 655344 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :where can you find law texts of us laws? < 1423829763 939637 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :like < 1423829768 616245 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :on cities? < 1423829774 460572 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :apparentely some cities have some weird laws < 1423829783 992241 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but nobody seems to have an actual source < 1423829885 285743 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1423829886 255061 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The libraries of those cities, perhaps. < 1423829897 597062 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :So weird question: does immutability simplify the prospect of building a compiler for a dynamically typed language? < 1423829950 825614 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Well, you no longer need to convert the program to SSA. < 1423830194 199430 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(Compilers for imperative languages like gcc already use immutable IRs, so the passes after that wouldn't really change.) < 1423830349 129526 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So I'm trying to figure out what kind of hypercomputer you'd need to do the Henkin construction. < 1423830416 671029 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Define a level-1 hypercomputer as a Turing machine attached to a halting oracle for Turing machines. < 1423830431 459260 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Jafet: Yeah, that was my thought; the risk of a name changing in type gets smaller if it can't change (local override notwithstanding, and potentially workaroundable). Polymorphic functions seem like they could still be stickier, but maybe not so much? < 1423830442 998393 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Jafet: so... no online :( < 1423830459 432217 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I should really do SICP, and look into the source code of Bones. < 1423830525 970076 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So our L1H starts with a consistent theory, such as ZFC (assuming ZFC is consistent). It then enumerates every statement in the language; whenever it gets to a statement consistent with the theory so far, it adds it to the theory. < 1423830540 368449 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It can check if a statement is consistent with the theory or not by seeing if a Turing machine halts. < 1423830545 939933 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And that's stage 1. < 1423830607 738232 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, the way I just said it, stage 1 will go on forever, meaning we'll never start on stage 2. Aye? < 1423830614 538805 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :There are a hundred counties in Kansas, which is probably about as regressive as america gets, and each of them can enact strange ordinances. I don't think there's a good chance you will find them all online (especially any recently-passed ones). < 1423830642 991735 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Jafet: damn :( < 1423830662 196749 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :State-wide laws should be available though (google suggests http://www.usa.gov/Topics/Reference-Shelf/Laws.shtml) < 1423830773 223336 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 245 seconds < 1423830779 500957 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I could be wrong... https://library.municode.com/index.aspx?clientId=14166 < 1423830797 642717 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Anyhoo, stage 2 begins by adding a constant to the language for every "there exists" statement we added in stage 1. < 1423830817 510710 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Then we add a statement saying that the constant is an example of the "there exists" statement. < 1423830842 989913 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Then we do the same thing we did in stage 1, enumerating all the statements and adding the consistent ones. < 1423830877 349454 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :But now how do you check if a statement is consistent with all the previously added statements? < 1423830879 80910 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :J_Arcane: in a unityped language, all functions (or perhaps no functions?) can essentially be polymorphic < 1423830943 396715 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Anyway, whether "local variables" (if your language has them) are immutable is mostly immaterial because of SSA transform. < 1423830945 61249 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Jafet: Hmm. That makes me think of the Write Yourself a Scheme implementation; where there's a union type of 'LispValue' that can be either of number, symbol, etc. < 1423830974 200643 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :If your compiler goes to the trouble of SSA transform for performance, that is < 1423831127 158776 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think that involves checking if an L1H halts, meaning you need an L2H. And stage 3 will require an L3H, and so on. < 1423831183 700063 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :"In functional language compilers, such as those for Scheme, ML and Haskell, continuation-passing style (CPS) is generally used where one might expect to find SSA in a compiler for Fortran or C. SSA is formally equivalent to a well-behaved subset of CPS (excluding non-local control flow, which does not occur when CPS is used as intermediate representation), so optimizations and transformations for < 1423831185 211284 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :mulated in terms of one immediately apply to the other." Hm. < 1423831210 756432 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :After you've done all the infinitely many stages, your model is just the set of all constants. < 1423831214 548441 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Great discussion, everyone. < 1423831280 297671 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Is that a countable model? < 1423831347 900940 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah. < 1423832051 50739 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Why do you need an oracle for that construction, though < 1423832069 746708 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Just test all statements in parallel in stage 1, and accumulate the ones proven to be consistent < 1423832085 183819 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :When you find any existentially quantified ones, thread them through stage 2, etc. < 1423832185 641034 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :This will eventually give you every (finitely provably) consistent finite statement < 1423833452 296278 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1423833756 637020 :graSP!~graSP@ec2-52-0-173-68.compute-1.amazonaws.com JOIN :#esoteric < 1423834049 727294 :graSP!~graSP@ec2-52-0-173-68.compute-1.amazonaws.com QUIT :Quit: ChatZilla 0.9.91.1 [Firefox 35.0.1/20150122214805] < 1423834080 220617 :graSP!~graSP@ec2-52-0-173-68.compute-1.amazonaws.com JOIN :#esoteric < 1423834083 787710 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1423834111 416429 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1423834947 206411 :sorch!~sorch@unaffiliated/theholder JOIN :#esoteric < 1423835143 599427 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423835244 460423 :sorch!~sorch@unaffiliated/theholder QUIT :Quit: Leaving < 1423835374 236236 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1423835388 861821 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423835573 308899 :graSP!~graSP@ec2-52-0-173-68.compute-1.amazonaws.com QUIT :Ping timeout: 244 seconds < 1423836389 660604 :TieSoul!~quassel@86.89.119.147 JOIN :#esoteric < 1423837189 572046 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1423837866 857047 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 252 seconds < 1423838406 10071 :Guest50274!~kira@89.128.156.146 JOIN :#esoteric < 1423839267 969926 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1423839436 698019 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Client Quit < 1423840287 30475 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1423840455 239194 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1423840765 741034 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1423840877 649179 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423840968 866355 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 252 seconds < 1423840983 756627 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1423841335 487976 :spupuser!~root@115.99.0.95 QUIT :Ping timeout: 255 seconds < 1423841564 295804 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 265 seconds < 1423842584 181972 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net JOIN :#esoteric < 1423843117 346460 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :Jafet J_Arcane What is SSA if it's a "well-behaved" CPS? < 1423843199 35293 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :Also what is an oracle? < 1423843202 515115 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is anyone here capable of getting paywalled papers and doesn't have the morals to prevent sharing it afterwards < 1423843218 879154 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes, thanks ais523, I thought of you too < 1423843317 406930 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Ping timeout: 250 seconds < 1423844037 296716 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :I can do it < 1423844047 991946 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :UofT library has a lot < 1423844071 592462 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :uh I just mean like online ACM paywall kinda things < 1423844074 683733 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :unless you mean a digital library < 1423844159 608317 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1423844230 809140 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Morals? Perhaps "legals" is a better term. < 1423844260 695305 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, this spell checker agrees < 1423844264 68194 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@wn legals < 1423844265 503845 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :No match for "legals". < 1423844295 895648 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fair < 1423844300 147882 :bb010g!uid21050@gateway/web/irccloud.com/x-ajatqsmnwwznjwxn JOIN :#esoteric < 1423844307 509224 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I meant more "doesn't have a moral system s.t. ..." < 1423844371 787961 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Chaotic Good FTW < 1423844390 240004 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's "Natural Deduction and Weak Normalization for Full Linear Logic", anyway. < 1423844429 567779 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://jigpal.oxfordjournals.org/content/12/6/601.abstract < 1423844518 372698 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :elliott, I find often googling the title works < 1423844598 737314 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: tried that :/ < 1423844622 758521 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Are there any interesting concurrency esolangs? < 1423844647 241660 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Ping timeout: 256 seconds < 1423844662 803146 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :"All of them" < 1423844730 228257 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :I got it < 1423844748 902771 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION waits anxiously in the get-away car
< 1423844761 544222 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION glances around for cops
< 1423844904 414570 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :
ACTION arrests elliott
< 1423844987 105474 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :How would you rate π-calculus as 1) interesting 2) esolang < 1423845118 826235 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1423845253 610436 :Guest50274!~kira@89.128.156.146 QUIT :Remote host closed the connection < 1423845378 143972 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I am not familiar with it, Jafet < 1423845418 30241 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :
ACTION brings elliott to the combination sex dungeon and creamery
< 1423845477 503996 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :um... what kind of cream are we talking here < 1423845488 442928 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1423845518 623747 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :Ice cream < 1423845610 617239 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :A number of researchers are, but it's fairly safe to rate them as esoteric < 1423845719 235940 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1423845800 125178 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :https://esolangs.org/wiki/Ziim looks interesting < 1423846317 636479 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca QUIT :Ping timeout: 245 seconds < 1423847050 244365 :oren!~oren@user246-86.wireless.utoronto.ca JOIN :#esoteric < 1423848090 53700 :GeekDude!~GeekDude@unaffiliated/g33kdude NICK :GeekDudesBopt < 1423848091 910846 :GeekDudesBopt!~GeekDude@unaffiliated/g33kdude NICK :GeekDudesBot < 1423848109 582885 :GeekDudesBot!~GeekDude@unaffiliated/g33kdude NICK :GeekDude < 1423848186 521567 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Changing host < 1423848186 682224 :GeekDude!~GeekDude@unaffiliated/g33kdude/bot/geekbot JOIN :#esoteric < 1423848211 282651 :GeekDude!~GeekDude@unaffiliated/g33kdude/bot/geekbot NICK :GeekDudesBot < 1423848747 353321 :GeekDudesBot!~GeekDude@unaffiliated/g33kdude/bot/geekbot NICK :GeekDude < 1423848759 451677 :GeekDude!~GeekDude@unaffiliated/g33kdude/bot/geekbot QUIT :Changing host < 1423848759 612306 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1423849828 870258 :perrier!~cinch@107.170.175.57 QUIT :Remote host closed the connection < 1423849900 872192 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1423850016 271340 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1423850177 850332 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi QUIT :Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406] < 1423850194 553962 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi JOIN :#esoteric < 1423850298 231410 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 244 seconds < 1423850365 860063 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423850542 686506 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 245 seconds < 1423850556 208488 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1423851488 404906 :bb010g!uid21050@gateway/web/irccloud.com/x-ajatqsmnwwznjwxn QUIT :Quit: Connection closed for inactivity < 1423853916 336402 :arjanb!8259adb8@gateway/web/freenode/ip.130.89.173.184 JOIN :#esoteric < 1423854323 204513 :oren!~oren@user246-86.wireless.utoronto.ca QUIT :Ping timeout: 245 seconds < 1423854363 575209 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1423854623 420185 :nortti!nortti@nano.smar.fi NICK :lawspeaker < 1423854726 315496 :lawspeaker!nortti@nano.smar.fi NICK :nortti < 1423854925 187150 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> let herpes = 1:1: zipWith (\a b -> a + b + 1) herpes (tail herpes) in herpes < 1423854926 550303 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,1,3,5,9,15,25,41,67,109,177,287,465,753,1219,1973,3193,5167,8361,13529,21... < 1423854944 170207 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> let herpes = 1:1: zipWith (\a b -> a + b + 1) herpes (tail herpes) in take 8 herpes < 1423854945 506011 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,1,3,5,9,15,25,41] < 1423854968 206155 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric ::t intersperse < 1423854969 29111 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :a -> [a] -> [a] < 1423855000 232616 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> let herpes = 1:1: zipWith (\a b -> a + b + 1) herpes (tail herpes) in intersperse ' ' . (take 8) $ herpes < 1423855001 579225 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Num.Num GHC.Types.Char) < 1423855001 739962 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘herpes’ < 1423855021 514730 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> let herpes = 1:1: zipWith (\a b -> a + b + 1) herpes (tail herpes) in intersperse ' ' . map show . (take 8) $ herpes < 1423855023 188867 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘[GHC.Types.Char]’ with ‘GHC.Types.Char’ < 1423855023 349492 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: a0 -> GHC.Types.Char < 1423855023 349622 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: a0 -> GHC.Base.String < 1423855036 569469 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> let herpes = 1:1: zipWith (\a b -> a + b + 1) herpes (tail herpes) in intersperse " " . map show . (take 8) $ herpes < 1423855037 937982 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["1"," ","1"," ","3"," ","5"," ","9"," ","15"," ","25"," ","41"] < 1423855040 974187 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca JOIN :#esoteric < 1423855047 667511 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :> let herpes = 1:1: zipWith (\a b -> a + b + 1) herpes (tail herpes) in unwords . intersperse " " . map show . (take 8) $ herpes < 1423855049 110296 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "1 1 3 5 9 15 25 41" < 1423855130 302220 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hmm < 1423855150 870882 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1423855161 406835 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :do the ratios approach phi? < 1423855161 668289 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423855207 314793 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :make it print more terms < 1423855310 919049 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1423855323 226499 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423855466 199738 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :quintopia: of course they do. it's just 2*F_n - 1 [with n counting from 1] < 1423855534 738202 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(uhm and using F_n to denote Fibonacci numbers) < 1423855592 396417 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :quintopia they are leonardo numbers < 1423855608 85983 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :they can be described in terms of that, afaik < 1423855650 438875 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :besides, you can compile it yourself on compile online, quintopia < 1423855666 32184 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :http://rextester.com/BQA14775 < 1423855769 855972 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :also it's L(n)=2F(n+1)-1, /wikipedia int-e < 1423855865 167249 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :J_Arcane what is an orcale in that talk you have about SSA and CPS? < 1423855871 571110 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :had* < 1423855871 731868 :zzo38!~zzo38@24-207-58-35.eastlink.ca JOIN :#esoteric < 1423855886 203254 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Hmm? < 1423856008 778511 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i figured it would but wasnt sure if the +1 would throw it off somehow < 1423856029 487035 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Nice. Rust 1.0 by May, and beta end of next month. < 1423856035 988347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :did you know fibonacci's first name is actually leonardo, confusing that < 1423856050 63626 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :how do you prove the ratio approaches phi in the limit < 1423856061 508586 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :dulla: so what. the code doesn't really indicate whether the first index is 0 or 1. < 1423856115 712407 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :You can have a zero in it, but to reuse the lazy list construction of the fibb numbers, I had to start at 1:1 < 1423856152 958470 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca QUIT :Ping timeout: 240 seconds < 1423856155 33570 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :by the looks of it L(0)=1 < 1423856166 413512 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :dulla: *oracle < 1423856183 790826 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :whoop < 1423856191 686285 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :er, Oracle* J_Arcane < 1423856226 671315 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Dunno what you mean. There were a couple convos going at once though, perhaps there's some confusion there? < 1423856295 937825 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: you can absorb the +1 into the terms instead. < 1423856314 216642 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :Um, something about hypercomputers, and oracles resolving or optimising SSA's or halting problems < 1423856351 82332 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(a + b + 1) + 1 = (a + 1) + (b + 1) < 1423856404 636314 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and then you have the usual fibonacci recursion < 1423856410 747728 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*recurrence < 1423856417 892300 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i aint seeing it < 1423856475 371155 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :dulla: ahh, yeah, no someone was working on a proof of ... something. I was just talking about immutability and compiling. < 1423856483 785488 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically, take your sequence fulfilling a_n = a_(n-1) + a_(n-2) + 1 and define b_n = a_n + 1 < 1423856524 967043 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah okay i see it now < 1423856541 57422 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :And oracles are? < 1423856545 704878 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wise < 1423856553 420904 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but mysterious < 1423856578 51893 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :dulla: an oracle is an extra instruction you add to your turing machine / whatever which does something arbitrary you decide on. < 1423856596 3466 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in this case, testing whether an ordinary turing machine halts < 1423856596 860368 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :So more or less external or side influence < 1423856601 319398 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep < 1423856608 429314 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :alright < 1423856622 531405 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the thing is, a lot of the theory works the same if you add an oracle to things < 1423856630 732413 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :So Buterin wasn't pulling Oracle out his ass when talking about news tickers < 1423856656 86901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just, instead of not being able to decide halting problem for ordinary TMs, you're now unable to decide it for a TM with your oracle < 1423856757 935273 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I also thought of adding a oracle operation into a sequent calculus, where |- Oracle X is an axiom if and only if |- X is not a theorem of the system (even if it cannot be proven that it isn't a theorem). < 1423856759 130046 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :So you can exit a loop? < 1423856841 705933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well you can detect an infinite loop < 1423856865 689266 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :dulla: Well, the oracles are often hypothetical. The one that solves the halting problem cannot, as far as we know, exist. (It would require computing power that goes beyond Turing machines, which goes against the Church-Turing thesis) < 1423856929 875845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :see e.g. https://esolangs.org/wiki/Banana_Scheme which is an esolang applying this to scheme < 1423856961 909447 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Not all oracles are hypothetical. It's interesting to think of polynomial time algorithms that can query oracles that solve (at least conjecturally) harder problems like satisfiability of boolean formulas) < 1423856992 9117 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(just as an example) < 1423857004 669418 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a big part of why the P = NP problem is so hard is that the answer to it can change if you add an oracle. < 1423857006 569354 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1423857038 869190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which means that many of the easy methods for proving complexity results simply cannot work for it < 1423857077 241205 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: is that oracle circular? < 1423857089 666758 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :int-e: How does that mean? < 1423857137 58042 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: does the system in "not a theorem of the system" refer to the system with those axioms? < 1423857146 986338 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: (produced by the oracle) < 1423857176 990878 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :int-e: I would think so. Maybe there might be some systems where this doesn't work although I expect it to work in most cases. < 1423857265 565484 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm, actually, what good is such an axiom schema? Knowing Oracle X doesn't tell you much. < 1423857317 98014 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I don't actually know the answer of that question. < 1423857476 265661 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :so an oracle of x? < 1423857568 587216 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Although |- Oracle Oracle X would indicate that |- X is a theorem, I think. < 1423857606 284936 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :go intuintionistic on it < 1423857611 674701 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :x is better than not not x < 1423857999 546632 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca JOIN :#esoteric < 1423858085 964895 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: tricky. it almost fails if the theory is inconsistent, but then X is a theorem anyway... < 1423858112 197032 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :classically, at least. < 1423858449 895039 :dorei!~n_i_l@ppp141255067004.access.hol.gr JOIN :#esoteric < 1423858648 13785 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1423858887 664565 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Man, I've been on board with this for years: http://www.stopusinglinkedin.com/ < 1423859122 168629 :dorei!~n_i_l@ppp141255067004.access.hol.gr PRIVMSG #esoteric :stop using web 2.0 xD < 1423859128 366512 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"With these changes in place, developers can no longer build tools that allow you to better leverage your own professional connections." ... err, right, sure. < 1423859162 433664 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"Linkedin prevents *US* from earning money with your data." ... cry me a river, baby. < 1423859231 153771 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I agree with the idea of not using LinkedIn, but these are the wrong reasons.) < 1423859234 404973 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :well true, the latest complaint is not the most compelling. < 1423859250 259022 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :the part where it's little more than a spam pyramid is the bigger one for me. < 1423859477 709780 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1423859573 247982 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 256 seconds < 1423859716 430549 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1423859730 260384 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423859813 981345 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :ok guys < 1423859822 67415 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :the dawn machine: yea or nay? < 1423859874 344919 :drdanmaku!uid17782@gateway/web/irccloud.com/x-fnxpcpdvcmbztzxs JOIN :#esoteric < 1423859905 373338 :drdanmaku!uid17782@gateway/web/irccloud.com/x-fnxpcpdvcmbztzxs QUIT :Client Quit < 1423860140 221728 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :??! < 1423860151 913556 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :too late, i already decided < 1423860269 941379 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the dream machine: yea :-P < 1423860442 380929 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Tell the people that made PDJSON that I fixed the bug in it. < 1423860704 937860 :AnotherTest!~turingcom@94-224-19-238.access.telenet.be QUIT :Ping timeout: 246 seconds < 1423860719 876270 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Changing host < 1423860720 37048 :GeekDude!~GeekDude@unaffiliated/g33kdude/bot/geekbot JOIN :#esoteric < 1423860765 503586 :GeekDude!~GeekDude@unaffiliated/g33kdude/bot/geekbot QUIT :Changing host < 1423860765 664410 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1423861107 699796 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1423861141 673638 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423861409 245088 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 256 seconds < 1423861452 78819 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1423861889 200523 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1423862578 768322 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1423862621 582135 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1423862675 636749 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1423862687 503006 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423862850 62191 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :J_Arcane: I'm aheadof the game, I never started using Linkedin. < 1423862869 295895 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Neither do I < 1423862890 594656 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1423862897 506463 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423862947 514642 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1423865626 634634 :nycs!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1423865644 95949 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1423865906 642237 :callforjudgement!~ais523@cpc6-king9-2-0-cust765.perr.cable.virginm.net JOIN :#esoteric < 1423865908 93792 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1423865910 404328 :callforjudgement!~ais523@cpc6-king9-2-0-cust765.perr.cable.virginm.net QUIT :Changing host < 1423865910 565200 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423866651 610174 :nys!~nysnamovo@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1423866962 84610 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1423867147 479452 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 255 seconds < 1423867625 312260 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I made up a format that can be used in a HTML comment inside of a HTML form, which can be used to make the form to work with interactive command-line interfaces; for example this can be used to login to OpenID servers which support it. An example can be: < 1423867677 488833 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :? < 1423867684 23751 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(The client would need to parse the form method and action too, as well as any hidden fields in the form) < 1423867740 374315 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It might be used for example now you can login to stuff other than webpages using OpenID too. < 1423867777 441423 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1423867792 977964 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(Assuming there is a reason you still want to use OpenID for this) < 1423868512 299671 :nycs!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1423868525 477370 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :dulla: one of the tricks with this channel is, there doesn't really have to be a reason < 1423868579 285813 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, everyone, eso question that came up in another channel: what's the minimum number of transistors needed to have a functioning CPU, assuming you don't care about performance? < 1423868587 283275 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :basically a Turing tarpit but with transistors < 1423868610 53798 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we have to assume that there's some sort of external memory for this to work, but presumably we can rig the details as appropriate (e.g. by use of a magnetic tape drive) < 1423868611 171648 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I want to know too the answer. Perhaps might TOGA computer do it? < 1423868660 94443 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's got to be some sort of simple Turing machine, hasn't it? you don't want to waste transistors storing addresses < 1423868662 689674 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Jafet: you want *all* the consistent statements, not just the provably consistent ones. < 1423868672 165202 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the (2,3) machine doesn't count because it requires an infinite initialization < 1423868721 145714 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Taneb: also, Al Dente is totally an interesting concurrency esolang. < 1423868743 665580 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I like "Al Dente" esolang too < 1423868754 157421 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There's no flow control. Stuff just spontaneously happens. < 1423868755 778093 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what about My Unreliable Past? that's a concurrency esolang really, even though it doesn't look like one < 1423868772 70115 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I don't think anyone's guessed the original inspiration for that one yet) < 1423868829 725474 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :As for the CPU, bitwise cyclic tag might be the winner. < 1423868850 426463 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Now write out all of the transistors of it please < 1423868913 655270 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Mmm I don't feel like it. < 1423868941 916898 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: BCU requires /two/ queues < 1423868957 450026 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even one is going to be awkward to attach to a CPU < 1423868966 973014 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :people don't just sell unlimited-size queues < 1423869029 148548 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca QUIT :Ping timeout: 264 seconds < 1423869154 288245 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Remote host closed the connection < 1423869189 330209 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1423869218 988784 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :People don't sell unlimited-size RAM, either. < 1423869244 313559 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right < 1423869248 216580 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is why you need the tape drive < 1423869259 25245 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Say each queue has four pins. Input, output, enqueue, dequeue. < 1423869266 546469 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you can add more tape when you run out, without needing an infinite number of address bits < 1423869273 713535 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but sure, I'll buy that < 1423869279 616818 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, plus two power pins < 1423869282 627368 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but those don't need transistors < 1423869291 197174 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Right. < 1423869302 857445 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even if we assume our infinite queues are self-powering, they still need power pins to know what logic levels to use < 1423869303 789541 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Does the clock count towards transistor count? < 1423869314 327540 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm < 1423869323 770413 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well it's very hard to make a clock with nothing but transistors < 1423869334 978685 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think you can make a clock with one transistor plus a bunch of extra components < 1423869356 453638 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although I think that might give you a sine wave rather than a square wave? probably good enough, anyway < 1423869381 148109 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So lemme think how this ultra-tiny CPU would work. < 1423869444 927722 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think the state could just be stored in a single flip-flop or whatever. < 1423869496 487610 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i hear this guy named babbage had an idea to make a computer with no transistors at all < 1423869500 897772 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Mm, maybe two. Execute one command per two clock cycles. < 1423869552 429921 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: yes, but the implication is that we're making one with /only/ transistors < 1423869559 591039 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :+ the minimum of other required components < 1423869564 838594 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :probably need a few capacitors and resistors < 1423869589 186152 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Okay, so you have a one-bit register S, where zero means we're about to read the first bit of a command and one means we're about to read the second bit of a 1 command. < 1423869618 506875 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :As well as, I dunno, T, where zero means we're about to read a bit and one means we're about to write one. < 1423869620 722356 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Something like that. < 1423869632 165524 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :can we do the read and write simultaneously? < 1423869692 574600 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Even if the queue supports that, I'm not sure if the CPU logic could handle that. < 1423869716 753601 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, this is what it is. < 1423869730 205387 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :T = 0 means we're about to read a bit. T = 1 means we're about to enqueue or dequeue a bit. < 1423869737 977337 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You can't dequeue a bit and read a bit in the same clock cycle. < 1423869838 625875 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :remember we have two queues < 1423869841 218557 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :BCT doesn't work with just one < 1423869844 169448 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So, upon clock positive edge, if T = 0 and S = 0, then we dequeue the data queue, enqueue the program queue, and subsequently dequeue the program queue. < 1423869859 651178 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Except can you enqueue and dequeue in the same clock cycle? < 1423869874 371800 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Maybe we can make it so that you enqueue on positive edge and dequeue on negative edge. < 1423869900 582663 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess we're using two-phase logic as is anyway < 1423869931 747744 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The program queue's input and output pins can just always be shorted together. The enqueue and dequeue pins can be controlled by a single wire, but one of the pins needs to have a not gate before it. < 1423870049 57399 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which can be implemented with one transistor and a resistor < 1423870057 152547 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you don't mind the current drain, which we don't < 1423870105 23678 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Which logic style (or whatever you call it) are we using? < 1423870135 157329 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :whichever works < 1423870145 42205 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :so an infinite without infinite addressing is more or less tape + some instruction storage? < 1423870148 835462 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :er < 1423870150 240423 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think RTL is going to be cheapest in most cases? or randomly changing between NMOS and PMOS? < 1423870153 59350 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :infinite tape without* < 1423870178 175968 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you don't want a logic style that drives both up and down because that needs twice as many transistors, even if it is more efficient < 1423870374 689117 :scarf!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1423870412 234724 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And are these real transistors governed by calculus, or idealized ones which act kinda like relays? < 1423870425 157111 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Digital transistors? < 1423870492 661742 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 245 seconds < 1423870519 481874 :scarf!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :tswett: real analog transistors, but I don't see why we can't use them in the digital range < 1423870526 141809 :scarf!~ais523@unaffiliated/ais523 NICK :ais523 < 1423870565 622656 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(for people who don't know, there are a range of ways to use transistors, but some make them act quite like amplifiers, and others make them act very digitally) < 1423870766 242194 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :dulla: an infinite tape + a controlling finite state automaton, that's what a turing machine is. < 1423870778 435281 :dulla!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :well shit son < 1423870927 554755 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 255 seconds < 1423871633 684250 :chaosagent!~quassel@c-98-210-97-139.hsd1.ca.comcast.net JOIN :#esoteric < 1423871665 621809 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You know what my favorite analog electronic component is? < 1423871671 323167 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The Fourier transformer. < 1423871970 161936 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how complex is one of those?