< 1390522194 826301 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1390522419 798193 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 272 seconds < 1390522761 966640 :namaskar_!~namaskar@host86-178-188-154.range86-178.btcentralplus.com JOIN :#esoteric < 1390522889 273646 :namaskar!~namaskar@host86-178-188-154.range86-178.btcentralplus.com QUIT :Ping timeout: 240 seconds < 1390522946 498786 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1390523257 165931 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Quick! What's a good name for a live esolang creation event < 1390523350 139848 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :The Return Of ABCDEFG: We're Allowed To Abbreviate It This Time < 1390523403 403144 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, hmm, Richard, that's a good name < 1390523492 477429 :pikhq!~pikhq@2602:100:18b2:f790:a60:6eff:fece:493 PRIVMSG #esoteric :Quintile programmatic dinglearms. < 1390523531 686750 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1390523968 888816 :aergus!~aergus@pptp-212-201-71-29.pptp.stw-bonn.de QUIT :Quit: Leaving < 1390524495 931354 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :"The author is aware of one (fortunately today defunct) programming language that provides addition, subtraction, and division, with multiplication notably absent, being expressible as division." < 1390524544 736130 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Verity has add, subtract, multiply, but not divide < 1390524553 203047 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because division's really expensive on hardware < 1390524561 329783 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, a name for the event, not the language < 1390524616 784864 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: err, my names were silly enough that I don't get why you think they have to refer to a language specifically < 1390524624 469248 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :aren't they equally inappropriate in both contexts? < 1390524636 450501 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I could imagine a language by both those name < 1390524637 739002 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :s < 1390524644 797920 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :"Fortunately, it is dead. It was a scripting language for an interactive media engine like HyperCard. Actually, it was the Windows version of that scripting language; the Mac version (which, I understand, was only vaguely compatible, and had a totally different implementation) had multiplication." < 1390524665 673277 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Real Fast Nora's Hair Salon 3: Shear Disaster Download < 1390524668 600000 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :() < 1390524670 794804 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that would be a good name for an event < 1390524756 238341 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :
ACTION . o O ( hmm, "text in bash commands via Sega Master System!" )
< 1390524889 813466 :nooodl!~nooodl@91.176.154.50 QUIT :Ping timeout: 272 seconds < 1390525969 606394 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1390526127 882707 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1390526161 63866 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1390527782 630048 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Servlets are starting to confuse me < 1390527797 203867 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :they're like servers but smaller < 1390527798 772851 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what's the big deal < 1390527848 870895 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :servlet = blade < 1390527890 558167 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :so by the transitive property of equality, servlets are http://i.imgur.com/Ew3ivK0.jpg < 1390528080 96332 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :kmc: what looks like an imperative action to continue processing still has components that wait until the call is finished before processing really continues < 1390528114 757764 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :That is... after a filter calls doFilter() on the FilterChain that it received as an argument... that still doesn't imply the result getting sent back to the client yet < 1390528118 326824 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I thought it would < 1390528123 338424 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'm...still not sure < 1390528128 253451 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's kind of strange < 1390528291 903367 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1390528675 338085 :nooga!~nooga@91.235.25.1 QUIT :Ping timeout: 245 seconds < 1390528699 833225 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 260 seconds < 1390530083 185707 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 245 seconds < 1390530813 160575 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1390532049 304581 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1390532742 123258 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1390532802 507990 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1390533995 966291 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1390535251 406299 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ahahaha fun thought: Redefine Racket's #%app to run Kernel-style operatives within a Racket macro < 1390535993 380913 :Poolala!cf069b9d@gateway/web/freenode/ip.207.6.155.157 JOIN :#esoteric < 1390536006 553343 :Poolala!cf069b9d@gateway/web/freenode/ip.207.6.155.157 PART :#esoteric < 1390536556 841352 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :https://pkg.racket-lang.org/ cert expired :( < 1390536940 685209 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :bumer < 1390537049 26125 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :bummer too < 1390537178 227153 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :"You might imagine that even though eval cannot see the local bindings in broken-eval-formula, there must actually be a data structure mapping x to 2 and y to 3, and you would like a way to get that data structure. In fact, no such data structure exists; the compiler is free to replace every use of x with 2 at compile time, so that the local binding of x does not exist in any concrete sense at run-time. " < 1390537209 635341 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Clojure lets you get that structure at compile time via macros, and then bring it into run-tim < 1390537210 674023 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :e < 1390538199 184100 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 252 seconds < 1390538515 856189 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 272 seconds < 1390538559 751691 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1390539853 787303 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 252 seconds < 1390540343 253734 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1390540650 571951 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Oh hey the latest Cyanide and Happiness skit is actually non-boring < 1390540920 947103 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i like the videos < 1390541632 900370 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I like some of them. The first few Thursday ones were good < 1390541638 966929 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Then... they became simpler, I feel < 1390541747 587440 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :they have a video every thursday? < 1390541775 55120 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :yes < 1390541785 657668 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i still don't know how many times a week (and which days) different comics update even though i check xkcd, smbc and c&h every day < 1390541879 913676 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :TIL what parseInt(null) evaluates to in JavaScript < 1390541898 660142 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :That's actually true. < 1390541902 34678 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The same thing parseInt("") does? < 1390541902 999598 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(Also, wat) < 1390541949 580756 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1390541984 796852 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1390542230 882267 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Sgeo: i am easy to entertain, i think i've liked them all < 1390542255 768659 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1390542335 656808 :madbr!boulam@69-165-212-148.cable.teksavvy.com JOIN :#esoteric < 1390542423 975704 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: yeah. well, or any other invalid int-string < 1390542429 33991 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :anyway it evaluates to NaN < 1390542495 709773 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :kmc: have you seen wat? < 1390542501 875667 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :always thought parsing non numeral strings as NaN was a bad idea < 1390542563 285615 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1390542613 781298 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :nan is bad... i can understand why it exists but it's still bad < 1390542753 24587 :^v!~NotPing@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/MHuW96t.gif < 1390543077 738047 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: you know how when you have a string literal, ghc will turn it into GHC.unpackCString# or GHC.unpackCStringUtf8# of a c string? < 1390543088 641883 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1390543095 696358 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but ghc strings support \0 and c strings don't < 1390543112 553778 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so ghc encodes it as overlong utf-8 < 1390543237 754984 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that seemed to me like a funny use case < 1390543277 686465 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :one thing it means is that things like Data.Text which have rewrite rules so that they can get at the c string directly have to have broken utf-8 decoders < 1390543393 42915 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :
ACTION installs Folding@Home
< 1390543591 520744 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Slightly creepy that the UI is via the web at a publically accessible URL < 1390543639 42098 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Oh < 1390543655 233323 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::( it uses jsonp to get data from a hardcoded port on localhost < 1390543656 121365 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1390543899 324017 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://www.overclockers.com/forums/archive/index.php/t-454787.html < 1390543905 737857 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :uh huh. < 1390543966 445058 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :sgeo isn't going to let those computational biologists get away with secretly helping the RBN < 1390544002 356642 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :RBN? < 1390544023 748596 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :russian business network, they were the big malware spreaders last i checked, which was years back < 1390544124 595509 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the link is from 2006 anyway < 1390544176 803797 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ok, looks like most of the control panel is just an iframe to a page hosted by localhost < 1390544179 121801 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :So that's good < 1390544297 620767 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :GET requests... but the requests have a required sid attribute < 1390544366 671836 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ok < 1390544375 251501 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 245 seconds < 1390544386 566849 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :So, probably, the only slightly malicious thing I could do is see whether someone is running the F@H < 1390545255 693132 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Hmm, seeing some suggestions that Folding@Home isn't so great < 1390545396 617510 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :why not try writing some protein folding simulations yourself? < 1390545410 239219 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i mean, who doesn't like computational thermophysical chemistry. < 1390545495 763763 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :maybe you, sgeo, will be the one to crack the paradox of levinthal < 1390546424 610313 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: oh, that's awkward < 1390546450 463600 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :seems like it would be better for the primop to take a length argument as well < 1390546477 263257 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes, i'm asking about that in #ghc < 1390546525 385093 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it would make the bytestring case faster too < 1390546532 869500 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :or data.text, whatever < 1390546568 533722 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1390546600 884114 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :except you still can't tell the size to allocate exactly because it's utf-16 :'( < 1390546609 940499 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :o well < 1390546616 278029 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but you can if you have unpackCString# and not unpackCStringUtf8# < 1390547062 528072 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1390547104 786769 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Chewable lactaid pills are so delicious, why did I buy the non-chewable kind when I bought them a while ago? < 1390547180 536347 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :kmc: what's a pseudorandom function < 1390547275 114616 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :well, imagine picking one function randomly from the set of functions A → B < 1390547329 771269 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :for each x ∈ A, f(x) will be an element of B chosen randomly and independently of all other outputs of f < 1390547407 604207 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :when we say f is a pseudorandom function we mean that it's "approximately as if" it was chosen randomly in this way < 1390547424 251901 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :in some precise and tedious formal sense that I probably won't get right if I try to explain < 1390547505 32010 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :quite understandable < 1390548230 697444 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Bye < 1390549294 15412 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think Racket has more of an emphasis on making useful error messages than most metaprogrammy languages < 1390549313 244331 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :But it's apparently still a difficult thing to get correct in Racket sometimes < 1390549342 547062 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I suppose the thing of having "syntax objects" with source position info rather than mere lists and symbols helps with that? < 1390549353 268763 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Yes < 1390549365 459040 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Although syntax objects are also ... something to do with lexical context < 1390549383 973984 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1390549401 83518 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :this is just one reason to have them < 1390549512 294729 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I still need to attempt to understand that SRFI that criticises most modern hygiene algorithms < 1390549523 46313 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I know I tried to transliterate its example into Racket and Racket failed < 1390549530 744794 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Which makes me sad but I still don't understand it < 1390549999 926472 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you know the thing where someone makes a mistake and it's pointed out and they immediately say they're tired? < 1390550014 360735 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :
ACTION is guilty of that >.>
< 1390550020 271131 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :by my calculations almost all irc mistakes are made due to being tired < 1390550024 413028 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Although, I am tired approximately 100% of the time < 1390550043 167829 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the world needs more sleep. practically no mistakes would be made < 1390550071 388933 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I have a savegame on NAO that I haven't touched since... maybe 2008. I'm afraid of messing it up while tired < 1390550083 652579 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :these calculations sound currect < 1390550094 994100 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :I'M TIRED LOL i didn't make that error intentionally i sear < 1390550110 748933 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :"has a save file, dated Fri, 20 Apr 2012, 22:19:45" < 1390550129 752364 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well i lost hundreds of nethack games due to being tired < 1390550130 606229 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :So, not 2008. Unless 2012 was the last time I decided to take a peek at it < 1390550164 734860 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :2010 was the last finished game I have on NAO, so I'm guessing around then is when I started the game < 1390551990 904052 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think I understand the Servlet behavior now < 1390552003 255498 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :My way of thinking it occurred was... hmm. Slightly bizarre? < 1390552728 447853 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so i sent mathematica my python programs for enumerating surjective CA and checking whether they are right- or left-closing < 1390552741 356605 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and i guess their experts will now tell me how that's done in mathematica in an easier way < 1390552749 369456 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(i did mention this here right?) < 1390552912 149466 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1390553094 170503 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :my hope is that they add IsSurjective and IsInjective in their CA library < 1390553109 16022 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(unless they have those already, i guess i haven't actually checked) < 1390553112 538297 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what does a CA being surjective mean. < 1390553128 28012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i repeat, i thought that was undecidable. < 1390553137 301641 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for general CA < 1390553138 351219 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :a CA is a function f : S^\Z \to S^\Z where S is a finite set < 1390553146 855850 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oerjan: for 1d only of course < 1390553153 98828 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok < 1390553153 910121 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that there are no "eden" states? < 1390553166 984267 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1390553173 557462 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :that i can understand. < 1390553175 52322 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Bike: with my definition, a CA is surjective if... it's surjective < 1390553195 292292 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it's just a particular kind of function < 1390553195 666894 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oklopol: now that's just crazy talk. < 1390553196 557620 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ah but your definition has the fatal flaw that i don't understand it! take that, math < 1390553234 285687 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :honestly i'm not sure i'm sure i'm sure i'm sure i know what ^Z means < 1390553234 519360 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but umm but err. ok :( < 1390553236 469134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :math dies from Bike's failure to understand, civilization collapses. < 1390553241 911777 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: a function from integers to S < 1390553246 233722 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh. < 1390553248 860091 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :rigt. < 1390553255 814519 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :two-way infinite sequence over S < 1390553258 318032 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :*sequences < 1390553294 936983 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :so like, we can say that Z is a coordinate of a point on the game of life, and S is the set of states, so the function describes the current state of the whole grid. and then the S^Z to S^Z is just the state transition. < 1390553296 390610 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(with the obvious topology *krhm*) < 1390553303 468927 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's the obvious topology < 1390553308 143010 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :welcome to Bike Isn't Good At Math Hour < 1390553311 905925 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :shachaf: what's the obvious topology of \Z? < 1390553317 476139 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :discrete? < 1390553318 740855 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :discrete? < 1390553319 159746 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yes < 1390553322 911515 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and S? < 1390553332 808472 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :prrrrobably also discrete? < 1390553335 456957 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yes < 1390553349 710926 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :imagine me failing to roll the r there, like an american tourist in paris < 1390553370 519891 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so obviously S^\Z has http://en.wikipedia.org/wiki/Compact-open_topology < 1390553401 219909 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i bet this is described as trivial often < 1390553403 667796 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but in all seriousness < 1390553421 53700 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :two sequences are 2^{-n}-close if they agree in the n centralmost cells < 1390553433 334121 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that metric gives you the obvious topology < 1390553459 434066 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ooh ooh! [something about light cones!] < 1390553461 883525 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :metrics are hard imo < 1390553470 303922 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :hm maybe that should be "[something about light cones]!" < 1390553476 587218 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i guess the thing could itself be excitable, though < 1390553482 686261 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :btw. i didn't _actually_ check that this is the compact-open topology for S and \Z discrete, but surely it is < 1390553501 773165 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's the product topology, anyway. < 1390553503 382637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"In the category of topological spaces, the exponential object ZY exists provided that Y is a locally compact Hausdorff space. In that case, the space ZY is the set of all continuous functions from Y to Z together with the compact-open topology." < 1390553550 914630 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"Logical relations among the conditions: * Conditions (2), (2′), (2″) are equivalent. * Neither of conditions (2), (3) implies the other. * Each condition implies (1). * Compactness implies conditions (1) and (2), but not (3)." < 1390553555 10431 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok is this one of those logic puzzles < 1390553560 692713 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oerjan: but that's not nearly as confusing. < 1390553578 325305 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oklopol: ah < 1390553607 119167 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: plz send help < 1390553642 36060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: he can't, he's escaped your light cone < 1390553642 367003 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :two knights guard the gate. a sign says one knight always lies and one always tells the truth. one begins to speak. "Every CW complex is compactly generated Hausdorff," < 1390553682 444091 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: this is clearly even worse than the xkcd version < 1390553718 342410 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1390553773 270260 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :...so okay i'm pretty sure that the compact-open topology gives you that topology < 1390553781 630196 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so yeah it's all obvious < 1390553868 456487 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oerjan: even though surjectivity is undecidable, you can certainly check if a given finite pattern has a preimage < 1390553876 725170 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i only barely understand any of this < 1390553901 661024 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why does compactness come up in figuring out exponential objects < 1390554017 494635 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well for example, you want S^\Z to have the obvious topology, so that mathematicians who are too lazy to check things can claim things without worrying about the consequences < 1390554037 73541 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and compact sets are the finite ones so that's where it comes from in that case < 1390554045 921178 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i mean compact subsets of \Z < 1390554062 856951 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well when you have a discrete space you can just have an open cover of singletons < 1390554073 104769 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so that's not v. interesting < 1390554073 258886 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that's the proof, yeah < 1390554095 857836 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 260 seconds < 1390554097 871441 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so why is compactness interesting < 1390554101 841074 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it's not very interesting, but the definition should give you the natural topology in at least this trivial case. < 1390554104 724498 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1390554146 712894 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(why is it the natural one? so that cellular automata are continuous ofc. maybe i'm a bit biased.) < 1390554185 334264 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok well the exponential object is this compact-open topology thing < 1390554192 282012 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so it's obviously important < 1390554223 966643 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ohh right you meant that that's actually the category theoretical exponential object < 1390554234 454458 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1390554235 385534 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that's a bit better a reason to trust it's the natural one < 1390554246 161302 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1390554247 984862 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well then just read the proof? < 1390554250 486213 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :lol < 1390554251 225526 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric ::DD < 1390554277 832011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i don't even understand the definition v. well < 1390554322 817088 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Today's bulletin board quote: a proofreading service advertising with the slogan "the difference between knowing your shit and knowing you're shit". < 1390554409 389250 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :do you know what a subbase is? < 1390554443 90240 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :basically, what is being stated is that what the topology can "see" is that a function maps all points of a particular compact set to a particular open set < 1390554459 921267 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :just like the topology of the real numbers can "see" that a number is in an open interval < 1390554508 702522 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(the latter is a base, the one for compact-open is not one necessarily. it's a subbase, meaning that you get the base by allowing finitely many such observations.) < 1390554574 254076 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, I know what a subbase is. < 1390554584 73796 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ok < 1390554672 242943 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :for instance for functions from reals to reals, you would say that two functions are close in the sense of the subbase if they map some compact set (say a closed interval) completely within an open set < 1390554685 543648 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So why compactness? < 1390554725 78089 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :what else? let's see if open and closed work here... < 1390554775 712105 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the problem with closed or open in this case (i guess) is that if the function is, say, the constant function, then you can take a neighborhood of functions that map a _all_ reals to something close to that constant < 1390554799 45768 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe I mean to ask what the motivation for compactness is. < 1390554803 388141 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but you will not find such a neighborhood for more interesting functions < 1390554808 346511 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so it's a bit random < 1390554816 814440 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"open" sets correspond to observations you can make. < 1390554851 844429 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :you mean like in general, why is compactness present in everything? < 1390554870 53434 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1390554966 943438 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :for example in the sequential case, my intuition of a compact space is one where if something happens an unbounded number of times, then it happens an infinite number of times. bounded = finite. compact sets are important because restricted to those, you have such an "access to infinity". < 1390555011 997687 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but this is all philosophy, there are probably some good mathematical reasons but i don't know any of them. < 1390555104 771122 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Let's see. If you add ±∞ to Z, "with the obvious topology", that makes it compact, right? < 1390555123 447233 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess the obvious topology here is where you can ask questions like "is it x" < 1390555171 181809 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, that's homeomorphic to [0,1], which I know is compact. < 1390555297 782285 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does "something happens" mean in your intuition? < 1390555380 339302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, that would be R, not Z. < 1390555450 299732 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But still, any open cover must have an open set that contains ∞ (and the same for -∞), and then we only need to cover finitely many other points. < 1390555509 313164 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :are you sure Z plus two points is homeomorphic to an uncountable interval? < 1390555513 96369 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ok < 1390555547 338218 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, I switched to thinking of R plus two points. < 1390555572 437114 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway what does it mean for something to happen? Do you have an example? < 1390555627 610195 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :shachaf: by something happens i just mean: suppose you have a compact (= same as closed) subset X of {0, 1}^Z. then if for all n, there exists a point where the first n coordinates are 0, then the point 0^Z is also in X. < 1390555648 579499 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1390555672 483901 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i say "happens", because i think of the shift action as acting on x, and i'm observing coordinate 0 < 1390555806 225876 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1390555834 290939 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :first n? 0^Z? < 1390555844 859254 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :here, the set where the first n coordinates are all 0 is closed (and open too), and these sets have the http://en.wikipedia.org/wiki/Finite_intersection_property. one definition of compactness is that their intersection is then nonempty. < 1390555850 736345 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 264 seconds < 1390555866 276770 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the intersection contains points where all of these events happen, so that for any n, the first n coordinates are 0 < 1390555869 826366 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :then it's the 0 point < 1390555896 645805 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh err < 1390555920 931873 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :let's say 0^N then, otherwise s/first n coordinates/centralmost 2n+1 coordinates/ or something < 1390555940 234741 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, N is simpler than Z anyway. < 1390555958 182543 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's 0^N? < 1390555983 46474 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(the shift map is not injective if you use N, which sometimes means Z works out nicer) < 1390555990 83107 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :0^N is the point with only 0 < 1390555992 741239 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :in every coordinate < 1390556003 315537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A constant function f : N -> 2; f(n) = 0? < 1390556008 810209 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yes < 1390556011 490508 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK. < 1390556022 244475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I see. < 1390556058 578902 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So if for any finite prefix of 0s, there's a stream that starts with that many 0s, then there's a stream of all 0s. < 1390556073 134719 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like a limit of these finite-prefix things. < 1390556364 881238 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :a set is closed if whenever something is not in that set, the topology can see why it's not there, that is, closed sets are ones where noninclusion can be "proved by the topology". so compactness gives you roughly that if for all n, some point does not have the nth order problem, then some problem has no problem at all. < 1390556377 224097 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :not that that made much sense < 1390556390 227084 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :*point has no problem at all < 1390556397 539585 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :open sets correspond to yes-questions, closed sets correspond to no-questions < 1390556403 677603 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah < 1390556473 315413 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :for a closed set C, the topology can prove "is x in C?" is false, when it is. (where prove means that it gives you one of its open sets, of which there can be quite many of course...) < 1390556511 492639 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :in our case, we have a countable base for the topology, so the computational analog is a bit more direct < 1390556688 457418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So when we say that [0,1] is compact, we can be asking questions like ">0.5", ">0.9", ..., and eventually reach 1 which is >anything we can ask about < 1390557021 575559 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hm < 1390557113 635189 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1390557118 60845 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well that's a decreasing intersection of open sets / increasing union of closed sets, so err dunno. but let's at least note the following: [0,1) is not compact. since for every \epsilon > 0, there's a point in the closed set [1-\epsilon, 1), but there is none with this property for all \epsilon. so you have to have the 1. < 1390557138 760065 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1390557249 930749 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :if P(\epsilon) = being in interval [1-\epsilon, 1), then some point satisfies P(1/n) for all n (the property "P(0)" is not disproved for all points at any finite level, so to speak), so there should be a point satisfying P(0) = \bigcap_n P(1/n). but there's none because 1 was not there. < 1390557286 196732 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :OR SOMETHING < 1390557326 359103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, no wonder i had trouble making the thing i was saying make sense < 1390557378 39862 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah you gotta be careful with duality issues < 1390557390 673584 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :they are the hardest thing in the world < 1390557570 414901 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :btw an equivalent formulation of http://en.wikipedia.org/wiki/Baire_category_theorem is that if you are in a sufficiently nice space (for example compact + hausdorff) and you take a countably infinite collection of closed sets whose union contains an open set, then one of those closed sets contains an open set too. < 1390557586 301778 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that's something useful for unions of clopens < 1390557666 307438 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :for example, if for all n, you have a closed property C_n, and all points have one of those properties, that is, \forall x: \exists n: x \in C_n, then \bigcup_n C_n = the whole space, which is an open set, so one of the C_n contains an open set. < 1390557721 948101 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so even though the properties C_n were only provable in the case that the point is not there, for one of the properties C_n there exists some proof which, whenever it applies, proves that a point has property C_n < 1390557788 558789 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :my favorite use of this is for (you guessed it) cellular automata: suppose that a cellular automaton f is "asymptotically nilpotent", that is, for every point x \in {0, 1}^Z you start with, eventually the central cell becomes 0 and stays that way < 1390557803 634801 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :C_n = the set of points where after n steps, the central coordinate is 0, and never changes back. < 1390557831 85307 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the C_n are closed sets < 1390557840 125519 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and by assumption, their union is the whole space < 1390557857 127011 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :thus, some C_n contains an open set < 1390557886 81660 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :this means that there exists a word w such that whenever you see the word w in a configuration, you can be sure that the coordinate in the center of w turns 0 after n steps, and never changes back < 1390557912 206605 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hm < 1390557925 536677 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(this is the first step in the proof that asymptotically nilpotent is equivalent to nilpotency, meaning f^n(x) = 0^Z for some n and all x) < 1390557996 894859 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so if all coordinates eventually become 0, then actually they become 0 after a finite number of steps, everywhere. (this exactly like what i claimed compactness gives you, but it doesn't work in this case.) < 1390558016 148265 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(except for the w thing) < 1390558059 120659 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1390559089 797801 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 272 seconds < 1390561123 855557 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1390563239 782764 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1390563319 763762 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1390564838 517383 :int-e!~noone@static.88-198-179-137.clients.your-server.de JOIN :#esoteric < 1390565753 806590 :ion!ion@heh.fi PRIVMSG #esoteric :http://bookriot.com/2011/11/30/when-used-books-attack-banana-edition/ < 1390566278 109366 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ion: well no thanks for sharing that one, it's going to haunt my dreams < 1390568480 184127 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1390568488 270044 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1390568773 301067 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1390570577 956584 :oklopol!~oklopol@dyn60-339.yok.fi QUIT :Remote host closed the connection < 1390570746 702418 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1390570985 957084 :coppro!raedford@taurine.csclub.uwaterloo.ca QUIT :Ping timeout: 252 seconds < 1390570995 783967 :coppro!raedford@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1390571009 86967 :hogeyui!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 246 seconds < 1390571050 398466 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 245 seconds < 1390571081 971074 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi QUIT :Ping timeout: 272 seconds < 1390571442 781493 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :interesting followup to yesterday's concrete incident; apparently they managed to clean it up before the concrete set. http://www.independent.co.uk/news/uk/home-news/victoria-line-cement-flooding-fixed-workers-used-sugar-to-stop-spilled-concrete-from-setting-9082206.html < 1390571472 486819 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :good concrete morning! < 1390571721 657106 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1390571839 874677 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi JOIN :#esoteric < 1390572084 658624 :hogeyui!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1390572186 666032 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1390574945 909903 :^v!~NotPing@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1390575383 323470 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1390575907 880247 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 260 seconds < 1390577253 823556 :realzies!~pinky@unaffiliated/realazthat QUIT :Ping timeout: 248 seconds < 1390577789 176848 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 240 seconds < 1390577915 249379 :AnotherTest!~turingcom@94-224-28-228.access.telenet.be JOIN :#esoteric < 1390578384 857533 :realzies!~pinky@pool-74-108-116-26.nycmny.fios.verizon.net JOIN :#esoteric < 1390578385 11704 :realzies!~pinky@pool-74-108-116-26.nycmny.fios.verizon.net QUIT :Changing host < 1390578385 11835 :realzies!~pinky@unaffiliated/realazthat JOIN :#esoteric < 1390578464 437580 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :int-e: nice! < 1390579900 664210 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1390580133 263321 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily1 < 1390580422 733974 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Quit: quit < 1390580975 962380 :trout!root@freebsd/developer/variable NICK :variable < 1390580986 742329 :nooga!~nooga@91.235.25.1 JOIN :#esoteric < 1390581958 631617 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia2 < 1390582011 310107 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :how you? < 1390582013 761356 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :freezing? < 1390582016 991153 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :anybody42 < 1390582039 222789 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia: hungry! freezing too, but I'm Canadian :p < 1390582040 545465 :nooga!~nooga@91.235.25.1 QUIT :Ping timeout: 252 seconds < 1390582084 663679 :nooga!~nooga@91.235.25.1 JOIN :#esoteric < 1390582105 909895 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia: how's life down South? < 1390582113 730834 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :int-e: how's life far East? < 1390582151 979903 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: it's somewhat cold here. but we have lower standards. < 1390582163 911370 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: i'm going to go outside and do things today < 1390582176 410483 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :<3 friday < 1390582177 906775 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :~metar LOWI < 1390582178 341202 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :LOWI 241620Z 05004KT 9999 -SN FEW008 SCT040 BKN070 01/M01 Q1014 R08/190168 NOSIG < 1390582198 45943 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :boily: barely freezing. < 1390582198 963805 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :~metar KATL < 1390582199 312925 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :KATL 241552Z 01008KT 10SM FEW200 M06/M20 A3058 RMK AO2 SLP370 T10561200 < 1390582199 466888 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia: I'm wearing my Friday Orange Shirt. Fridays are good! < 1390582226 364347 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(tonight I'm going outside to get a lift towards... Québec City!) < 1390582236 637769 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oOoOoOoO < 1390582265 25609 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you could take a trip here as well < 1390582288 253978 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :how do you pronounce “oOoOoOoO”? < 1390582308 497271 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~metar CYUL < 1390582308 913886 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :CYUL 241600Z 24010KT 30SM FEW015 FEW240 M20/M26 A3027 RMK SF1CI1 SF TR CI TR SLP254 < 1390582331 420064 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: you pronounce it as two "o"s, the first one is long, the second one is doubled < 1390582389 775095 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION «oooo» «OOOO» «ōóôǫ»
< 1390582393 558821 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :alternately, pronounce it like http://uncyclopedia.wikia.com/wiki/AAAAAAAAA! < 1390582415 895871 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :AAAAAAA: AA AAAAAA. < 1390582440 739676 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :A A A A A A A A A A A A A A A A < 1390582727 142176 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com PRIVMSG #esoteric :roma romama < 1390582772 850771 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION musically mapoles `^_^v
< 1390582793 520953 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :do re mi? < 1390582838 862518 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :
ACTION scalefully fasoles int-e
< 1390582865 77370 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION weeps in C minor.
< 1390582944 555804 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :~metar EFHK < 1390582944 924307 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :EFHK 241650Z 27002KT 9999 FEW006 M19/M21 Q1035 NOSIG < 1390582952 633694 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: It's CONVERGING. < 1390582972 949884 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fizzie: the FINLANADA PROCESS IS HAPPENING. < 1390582988 369917 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Though the forecast for tomorrow was something p. warm, like M08. < 1390583016 459211 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :My live esolang creation thing is scheduled! < 1390583017 321935 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :M07 tomorrow in Montréal and Québec. < 1390583025 709237 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Taneb: DUNH DUNH DUNH ♪ < 1390583051 640119 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :boily, come to York on the evening of February the 20th < 1390583415 39662 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Taneb: an airplane roundtrip is about 2800$ (1500£). can you lend me that money? < 1390583444 653302 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think shachaf can < 1390583468 196721 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :shachaf: can you lend me about 3000 CAD? it's for a good cause. < 1390583674 664658 :nooodl!~nooodl@91.176.154.50 JOIN :#esoteric < 1390583690 716351 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :hellooodl. do you have three thousand dollars? < 1390583756 228268 :nooodl!~nooodl@91.176.154.50 PRIVMSG #esoteric :wow i wish < 1390584203 175335 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :are you collecting for a charitable cause? saving endangered programming languages from dying out? < 1390584221 185631 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fixing bugs in software? < 1390585018 586974 :BullSherd!~lapamiaoo@83.247.106.212.dynamic.jazztel.es JOIN :#esoteric < 1390585021 584803 :BullSherd!~lapamiaoo@83.247.106.212.dynamic.jazztel.es PRIVMSG #esoteric :Wow, Google is making really strange things http://goo.gl/YEkaMA < 1390585023 137612 :BullSherd!~lapamiaoo@83.247.106.212.dynamic.jazztel.es PRIVMSG #esoteric :funny haha xD < 1390585024 587229 :BullSherd!~lapamiaoo@83.247.106.212.dynamic.jazztel.es PART :#esoteric < 1390585311 246010 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com PRIVMSG #esoteric :im definitely going to download and run that file < 1390585613 346510 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :let us know how that goes for you < 1390585987 204320 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Taneb: whoa. you are going to come up with a new esolang without any preplans live on stage? and implement it right then? SOUNDS LIKE THE FUN < 1390586020 768996 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :quintopia, I never said implement < 1390586034 533491 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Taneb: SOUNDS LIKE NOT QUITE THE FUN < 1390586066 667878 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :live coding is awesome. live brainstorming sounds like a department meeting < 1390586081 819512 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :quintopia, it's only a half-hour slot < 1390586113 455664 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Taneb: so what are you going to do with the other 29 minutes? < 1390586162 616239 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Who knows < 1390586430 124325 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Taneb: if you stick to one-character easily-implemented commands, you could easily have a working implementation by the end of that half-hour. anyone who would come to your club would totally enjoy watching that. like watching other people play video games. < 1390586484 96418 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :quintopia, I was thinking of doing something more interesting < 1390586522 298367 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Taneb: you're not allowed to have ideas in advance < 1390586960 226813 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1390587073 325215 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1390587250 685492 :Bike!~aeshtaer@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1390589768 155281 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :b_jonas: I'm collecting money to go and see Taneb doing esolangy stuff. < 1390589871 488155 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :b_jonas, York on the 20th of February < 1390590466 825498 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :if you move it to the 22nd i can come < 1390590624 255982 :DuckBlasGor!~DuckBlasG@83.247.106.212.dynamic.jazztel.es JOIN :#esoteric < 1390590627 258817 :DuckBlasGor!~DuckBlasG@83.247.106.212.dynamic.jazztel.es PRIVMSG #esoteric :Wow, Google is making really strange things http://goo.gl/YEkaMA funny haha < 1390590628 758838 :DuckBlasGor!~DuckBlasG@83.247.106.212.dynamic.jazztel.es PART :#esoteric < 1390590635 394683 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :don't click it < 1390590639 916959 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's malware or something < 1390590784 227888 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :beuh :( < 1390590790 287713 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :let me check in elinks... < 1390590824 122737 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :meh. blank page. < 1390591077 664266 :nooga!~nooga@91.235.25.1 QUIT :Ping timeout: 248 seconds < 1390591378 250324 :prooftec_!~Also@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1390591378 442731 :prooftec_!~Also@c-174-63-103-117.hsd1.vt.comcast.net QUIT :Client Quit < 1390591530 723560 :prooftechnique!~prooftech@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1390592082 437095 :prooftechnique!~prooftech@c-174-63-103-117.hsd1.vt.comcast.net QUIT :Quit: ZNC - http://znc.in < 1390592121 259257 :prooftechnique!~Also@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1390592464 468511 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck puerh < 1390592464 686068 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Pu-erh or Pu'er tea p�'r ch� is a variety of fermented dark tea produced in Yunnan province, China. < 1390593112 215296 :nucular!~MOO@unaffiliated/nucular JOIN :#esoteric < 1390593467 707437 :BlerenMen!~BlerenMen@123.116.11.37.dynamic.jazztel.es JOIN :#esoteric < 1390593470 718133 :BlerenMen!~BlerenMen@123.116.11.37.dynamic.jazztel.es PRIVMSG #esoteric :Google rocks lel http://q.gs/5SZO2 < 1390593472 214209 :BlerenMen!~BlerenMen@123.116.11.37.dynamic.jazztel.es PART :#esoteric < 1390593495 71156 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :right then < 1390593502 760926 :ChanServ!ChanServ@services. MODE #esoteric +o :kmc > 1390593503 206080 NAMES :#esoteric < 1390593517 824739 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com MODE #esoteric +b :*!*@*.dynamic.jazztel.es > 1390593517 847135 NAMES :#esoteric < 1390593527 541324 :ChanServ!ChanServ@services. MODE #esoteric -o :kmc > 1390593527 562025 NAMES :#esoteric < 1390593954 251346 :Bike!~aeshtaer@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :#esoteric gets hacked, millions of brainfuck derivatives leaked, crashing the market < 1390594629 924505 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1390594638 950348 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1390594700 375898 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :That person managed to be less constructive than fungot is < 1390594700 633222 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: okay i wasn't sure if it does, but it gets saved to disk as a fasl file per package? < 1390594716 52101 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: noo, don't click the link! < 1390594716 322438 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: fnord feels much better after that reboot took you a while ago ( the sort that plugs into a ps/ 2 port, though < 1390594916 335477 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1390595177 822265 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :major hardware failure at our hosting provider... < 1390596695 170499 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist (941) < 1390596696 792746 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :olist (941): shachaf oerjan Sgeo FireFly boily < 1390596890 987704 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :woot ☺ < 1390597145 800908 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: whoa, mosh for chrome < 1390597482 885590 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i heard about that < 1390597531 493778 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric : http://developer.chrome.com/apps/usb.html The good news is that in 2013, device drivers will be written in a safe language and environment; the bad news is that they are Javascript and Chrome < 1390597720 5287 :namaskar_!~namaskar@host86-178-188-154.range86-178.btcentralplus.com QUIT :Ping timeout: 272 seconds < 1390597756 112280 :Bike!~aeshtaer@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :heh. < 1390597820 698855 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :some day, we'll have Strong, Static Typing in every Home, Mathematical Correctness in every Heart, and a good understanding of when to use “its” versus “it's”. < 1390598120 316472 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1390598129 460562 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: FAR NORTH CHICKEN < 1390599871 978211 :Bike!~aeshtaer@gannon-wless-gw.resnet.wsu.edu NICK :Haruspex < 1390599874 653266 :Haruspex!~aeshtaer@gannon-wless-gw.resnet.wsu.edu NICK :Bike < 1390600348 826834 :ghijfcdkml!4b6c3958@gateway/web/freenode/ip.75.108.57.88 JOIN :#esoteric < 1390600783 465010 :ghijfcdkml!4b6c3958@gateway/web/freenode/ip.75.108.57.88 PRIVMSG #esoteric :dhr? < 1390600797 428243 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hmmmm? < 1390600800 192198 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`relcome ghijfcdkml < 1390600802 743485 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​07ghijfcdkml: 08Welcome 09to 02the 06international 13hub 04for 07esoteric 08programming 09language 02design 06and 13deployment! 04For 07more 08information, 09check 02out 06our 13wiki: 04. 07(For 08the 09other 02kind 06of 13esoterica, 04try 07#esoteric 08on 09irc.dal.net.) < 1390600843 77122 :ghijfcdkml!4b6c3958@gateway/web/freenode/ip.75.108.57.88 PRIVMSG #esoteric :do you guys have a particular engine you like to build your languages in? < 1390600938 336732 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :engine? < 1390600954 933266 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com PRIVMSG #esoteric :i like to use rpg maker 2000 < 1390600978 888783 :ghijfcdkml!4b6c3958@gateway/web/freenode/ip.75.108.57.88 QUIT :Quit: Page closed < 1390601222 816161 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :welp < 1390601837 864740 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :weird < 1390602628 234995 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I build all my esolangs in diesel engines < 1390602957 476791 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i think everyone should know this forever, but i don't know how to add wisdom for you < 1390603000 4264 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :how can you not know ! < 1390603010 873977 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :`? olsner < 1390603012 899904 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :olsner seems to exist at least. < 1390603050 272675 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`run echo 'olsner seems to exist at least. He builds all his esolangs in diesel engines' > wisdom/olsner < 1390603054 260447 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1390603055 304553 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`? olsner < 1390603057 302213 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :olsner seems to exist at least. He builds all his esolangs in diesel engines < 1390603109 224895 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :thanks kmc < 1390603128 557046 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? kmc < 1390603130 649431 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :kmc ran the International Devious Code Contest of 2013 < 1390603134 792188 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is that true < 1390603169 651919 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :`? funpuns < 1390603171 420878 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :funpuns? ¯\(°​_o)/¯ < 1390603181 501614 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? shachaf < 1390603183 380401 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :shachaf sprø som selleri and cosplays Nepeta Leijon on weekends. < 1390603186 2552 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hm < 1390603206 579973 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :`? boily < 1390603208 430868 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :boily is the brother of Roujo's brother and he's monetizing the company Roujo works at, or something Canadian like that. He's also a NaniDispenser, and a Man Eating Chicken. < 1390603221 808629 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric ::O < 1390603240 546342 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :`? int-e < 1390603242 238819 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :int-e? ¯\(°​_o)/¯ < 1390603271 937167 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`? quintopia < 1390603273 770359 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :quintopia is our resident tl;dr generator. < 1390603284 642344 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Very handy. < 1390603417 736669 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: i'm glad I didn't because I think I would have needed to give the award to the NSA. < 1390603748 42111 :nooodl!~nooodl@91.176.154.50 PRIVMSG #esoteric :(looks up at ghijfcdkml logs) amazing < 1390603800 383842 :AnotherTest!~turingcom@94-224-28-228.access.telenet.be QUIT :Ping timeout: 245 seconds < 1390603909 39033 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :/nick ghijfcdkmc < 1390603953 652241 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: did you know < 1390603962 539623 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :KMC is a card sleeves manufacturer < 1390603962 896284 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :kmc: it was actually -kml on the end < 1390603998 120497 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1390604003 170548 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :changing the l to a c is probably part of the joke < 1390604042 486280 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :olsner: yeah < 1390604063 156712 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the olists are coming fast and furious < 1390604068 755082 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :2 fast 2 olist < 1390604613 215884 :namaskar_!~namaskar@host86-178-188-154.range86-178.btcentralplus.com JOIN :#esoteric < 1390606788 60609 :Slereah_!~jackal@176.222.51.233 QUIT :Remote host closed the connection < 1390606806 165109 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1390607328 115659 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Ping timeout: 252 seconds < 1390607447 169652 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric