< 1354492803 157248 :hagb4rd!~perdito@77.11.116.85 PRIVMSG #esoteric :not really no.. at least not for now < 1354492821 964905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle f a -> f b -> f (a,b) < 1354492822 512570 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.Sequence zip :: Seq a -> Seq b -> Seq (a, b) < 1354492822 675950 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Prelude zip :: [a] -> [b] -> [(a, b)] < 1354492822 748979 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.List zip :: [a] -> [b] -> [(a, b)] < 1354492825 538133 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can just define an operator for it if you want < 1354492835 417523 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wrong function < 1354492838 344887 :hagb4rd!~perdito@77.11.116.85 PRIVMSG #esoteric :yea < 1354492839 523297 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :with idiom brackets it'd be (| (a,b) |) :P < 1354492861 559260 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Would it really? < 1354492871 860709 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :something like that < 1354492929 494999 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle Applicative f => f a -> f b -> f (a,b) < 1354492929 961786 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.Sequence zip :: Seq a -> Seq b -> Seq (a, b) < 1354492930 39913 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Prelude zip :: [a] -> [b] -> [(a, b)] < 1354492930 112804 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.List zip :: [a] -> [b] -> [(a, b)] < 1354492937 920953 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bad hoogle < 1354492973 132259 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38 has been suggesting this function, i think :) < 1354492987 863348 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's an alternative base function for applicatives < 1354493019 654388 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If you are doing applicative (not zip) then for f a -> f b -> f (a,b) you will have uncurry liftPair or liftA2 (,) < 1354493040 601660 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and more connected to the category theory way of looking at it. < 1354493042 495 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I called it the liftPair which I think should be one of the class methods for Applicative < 1354493075 974587 :hagb4rd!~perdito@77.11.116.85 PRIVMSG #esoteric :thx a lot < 1354493099 532570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle (><) < 1354493099 742057 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Test.QuickCheck.Arbitrary (><) :: (Gen a -> Gen a) -> (Gen a -> Gen a) -> (Gen a -> Gen a) < 1354493099 820105 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Test.QuickCheck (><) :: (Gen a -> Gen a) -> (Gen a -> Gen a) -> (Gen a -> Gen a) < 1354493099 893645 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Data.Graph.Inductive.Query.Monad (><) :: (a -> b) -> (c -> d) -> (a, c) -> (b, d) < 1354493141 530128 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :>< is used, but not in a very basic library, i think < 1354493414 979441 :soundnfury!~edward@cpc36-cmbg15-2-0-cust160.5-4.cable.virginmedia.com QUIT :Ping timeout: 260 seconds < 1354493592 832387 :soundnfury!~edward@cpc36-cmbg15-2-0-cust160.5-4.cable.virginmedia.com JOIN :#esoteric < 1354494033 402369 :nooodl__!~nooodl@91.177.40.155 QUIT :Ping timeout: 245 seconds < 1354494448 739535 :jfischoff!~jfischoff@c-67-169-45-161.hsd1.ca.comcast.net JOIN :#esoteric < 1354496307 8855 :myndzi\!myndzi@174-31-191-131.tukw.qwest.net QUIT :Ping timeout: 244 seconds < 1354496335 41396 :myndzi\!myndzi@75-172-25-135.tukw.qwest.net JOIN :#esoteric < 1354496944 16888 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1354497822 94169 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :what < 1354497823 143882 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :what < 1354497836 170038 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I just begin to watch the next stargate episode < 1354497847 373854 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and it started by a "previously in stargate sg-1..." < 1354497849 147703 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and < 1354497858 701392 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :WHAT THE HECK OF A SPOILER IS THAT THAT'S CERTAINLY NOT PREVIOUS < 1354497876 389783 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :cute ewoks coming out of everywhere < 1354497883 340016 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :weeee arrrre the fuuurrrrrlings < 1354497892 438629 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :daniel jackson: we finally get to meet you! < 1354497894 4506 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :doing that for a time travel episode would be a mindscrew < 1354497897 578509 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I THOUGHT THEY DIDN'T EXIST < 1354497903 404102 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :haha < 1354497911 423200 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yeah it would < 1354497941 601543 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I think there was a series called "stargate gravity" that was canceled very early because it was too much of a mindscrew < 1354497946 209998 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ihavetofindthat < 1354497957 607493 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :anyway, back to episode *hoping it's a joke* < 1354497995 741728 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :. < 1354498003 72776 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(it is) < 1354498437 743972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Arc_Koen: regarding your last edit, if it's like haskell -rectypes is only needed when there is no named constructor between a type and its recursed appearance. < 1354498461 515372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(well haskell doesn't have -rectypes, but that's when you get an error.) < 1354498476 395258 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :Arc_Koen: that episode was awesome. < 1354498546 211823 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :value constructor, that is. < 1354498601 982185 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so if you removed _both_ "A of" and "B of", it would be needed, but having at least one of them is enough. < 1354498942 31518 :myndzi\!myndzi@75-172-25-135.tukw.qwest.net QUIT :Ping timeout: 244 seconds < 1354499217 360074 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :wine doesn't provide any isolation against malicious windows programs right < 1354499223 455136 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :like they can still execute native linux syscalls i think < 1354499290 550228 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :are you asking because your system has been compromised by a Fallout crack < 1354499344 984413 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it hasn't been compromised yet ;) < 1354499389 919767 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fallout for DOS, right? < 1354499406 275071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: What's with the dosbox and WINE thing? < 1354499527 6337 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well you see < 1354499532 763002 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i am excited about grand theft auto v < 1354499538 522404 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :coming out next year < 1354499546 348840 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so i decided to play grand theft auto i in dosbox < 1354499551 170732 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but i realized it sucks < 1354499563 172507 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so now i am trying to play san andreas in wine < 1354499690 501719 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :great i'm supposed to get wine from multiarch now < 1354499699 319243 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1354499702 821573 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How do you get WINE in Debian anyway? < 1354499704 839420 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm sure this will not in any way ruin my entire system and cause apt to segfault randomly like last time < 1354499710 899280 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: the usual way? < 1354499757 572666 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1354499769 190122 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :At one point the package wasn't available in testing. < 1354499776 295045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Even though it was in stable and unstable. < 1354499779 970146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Looks like it's back. < 1354499788 229764 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I still get that issue occasionally with other packages. < 1354500206 442315 :PieBotN!~piespy@96.43.64.250 JOIN :#esoteric < 1354500371 508628 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i love how allegedly wine can run all of these different programs but the only one i can actually run is starcraft < 1354500383 126993 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think wine may secretly be a cleanroom reimplementation of starcraft < 1354500411 468751 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, WINE ran Red Alert 3 better than Windows for me at one point. < 1354500421 855078 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh nice < 1354500429 512587 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i guess i did run about half of deus ex too < 1354500432 975623 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :didn't totally work < 1354500448 58715 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It also ran a bunch of other things. < 1354500454 815426 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Diablo II worked well. < 1354500492 796667 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote i love how allegedly wine can run all of these different programs but the only one i can actually run is starcraft i think wine may secretly be a cleanroom reimplementation of starcraft < 1354500504 406455 :HackEgo!codu@codu.org PRIVMSG #esoteric :860) i love how allegedly wine can run all of these different programs but the only one i can actually run is starcraft i think wine may secretly be a cleanroom reimplementation of starcraft < 1354500550 46556 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Shattered Galaxy worked in WINE for me some years ago < 1354500561 318688 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :...the UI looks like Starcraft, I think < 1354500599 519667 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :are you sure you weren't actually playing starcraft < 1354500635 417828 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oerjan: hmm, right < 1354500643 606500 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :wtf I tried going to wine.appdb.com derp < 1354500665 26840 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that seems like a very primitive way to recognize troublesome recursive types < 1354500678 382703 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :http://appdb.winehq.org/appimage.php?iId=12758 < 1354500690 790566 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :especially for a language like Ocaml which is supposed to be good at that kind of stuff < 1354500717 593838 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :Bike: yeah it was great :) < 1354500723 574895 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :it didn't really have an ending though < 1354500731 275348 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and it felt really really short < 1354500743 135720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Arc_Koen: well the thing i've heard is that if you don't have that rule, you very often get things that type well if you leave out arguments < 1354500774 233463 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :can you rephrase? < 1354500780 832597 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I'm notsure I understand < 1354500800 133565 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :missing or extra arguments to functions often end up not giving type errors if you allow recursive types. < 1354500809 314405 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Wait, does Starcraft look like that image? I've never actually played < 1354500819 785541 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh, right < 1354500837 119011 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yes for instance with "('a -> 'a) as 'a" < 1354500840 812739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1354500908 842034 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so it's not about preventing nonsensical data structures? < 1354500926 325808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for haskell, they have newtype which always compiles as no extra overhead, so it's not _necessary_ to use recursive types for anything. < 1354500961 1916 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :for instance if you define type 'a endless = 'a * 'a endless < 1354501011 791987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess it prevents nonsensical data structures too, although in haskell data Stream a = Stream a (Stream a) is a perfectly useful type for always infinite lists < 1354501050 474199 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and more or less the same as what you wrote, underneath < 1354501057 807206 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :# type a = a;; < 1354501057 933102 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :Error: The type abbreviation a is cyclic < 1354501058 274981 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :# type a = A of a;; < 1354501058 509950 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :type a = A of a < 1354501076 190099 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :soooooooooo not so useful after all < 1354501104 883730 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh, wait, it works < 1354501111 887034 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :let rec x = A x < 1354501187 92375 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah ocaml has special support for cyclic constants < 1354501234 853642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k Mu < 1354501236 200476 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(* -> *) -> * < 1354501259 538553 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix (Mu . Identity) < 1354501261 71494 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: data constructor `Mu' < 1354501284 787432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix (Fix . Identity) < 1354501286 214020 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Not in scope: data constructor `Fix' < 1354501289 117826 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Is Starcraft good? < 1354501293 858688 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are there any good RTSes? :-( < 1354501295 866889 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn what was it called < 1354501327 566885 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :@type In < 1354501328 781328 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :f (Mu f) -> Mu f < 1354501336 371276 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that? < 1354501338 969381 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right < 1354501344 197512 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@src Mu < 1354501344 431184 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :newtype Mu f = In { out :: f (Mu f) } < 1354501354 27128 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix (In . Identity) < 1354501355 453439 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : No instance for (GHC.Show.Show < 1354501355 609782 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : (Data.Functor.Identity.I... < 1354501356 804604 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@src Rec -- better?? < 1354501356 882934 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Source not found. Just what do you think you're doing Dave? < 1354501361 1765 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah < 1354501363 56436 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess not. < 1354501368 306131 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix (In . Just) < 1354501370 97835 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : In (Just (In (Just (In (Just (In (Just (In (Just (In (Just (In (Just (In (J... < 1354501397 104288 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :In? < 1354501400 543725 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :In. < 1354501401 118394 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :Oh < 1354501424 869235 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty InR < 1354501426 45011 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(Rec a -> a) -> Rec a < 1354501431 290299 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :better than In?? < 1354501480 488063 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: not the same purpose < 1354501494 959909 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: "better" is a total ordering on all objects. < 1354501498 702899 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1354501534 301297 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For example, InR is better than In, and In is better than bell peppers < 1354501607 306117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :objects that think "better" is not a total ordering on all objects are better than objects that think "better" is a total ordering on all objects < 1354501638 943556 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Objects that don't think are better than both of those. < 1354501647 609013 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think "better" is not even a partial ordering < 1354501658 724470 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, i like bell peppers < 1354501671 448113 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I also think "better" is not always transitive. < 1354501684 992257 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :zzo38, is a computer that works not better than a broken computer? < 1354501693 392576 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Caltrain is not always transitive. :-( < 1354501710 874999 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: depends. was it trying to kill you before it broke? < 1354501743 299633 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :oerjan: Good point I suppose. < 1354501757 212227 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :However, I meant is not *always* transitive; it is sometimes transitive. < 1354501885 833465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if x <= y or y <= x always holds, then any three objects must have some transitivity among them. < 1354501966 536947 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(clarifying and then proving the above statement left as an exercise.) < 1354502073 270502 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Well, in a partial ordering and in a total ordering you would have if x<=y and y<=x and x=y. A partial ordering is the same as a thin category, isn't it? < 1354502108 148149 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(They may be different even though equal, I guess?) < 1354502118 213175 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Also, what is better than something else, also means, is better in what way? < 1354502260 146166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote edwardk ieee < 1354502260 323610 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :edwardk says: type level ieee floats are a crime against nature. i had to implement them in c++ for template meta programming once. never ever again < 1354502265 970523 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: See what you're missing? < 1354502300 67321 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually I've been getting more annoy{ed,ing} lately where #haskell is concerned. < 1354502317 44164 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The other day shapr told me I was being too negative. < 1354502453 570072 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shapr hasn't broken long ago? < 1354502457 719622 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf is becoming kmc? < 1354502511 136715 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Maybe there should be that a instance can be designated "evil" which indicates that it is not completely mathematically correct, and that derived instances from evil instances also are called evil; for example, instances such as (Num Float) and so on have this designation. In case of optimization of mathematical laws (if any), they can be omitted. < 1354502542 563815 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :So due to this it would apply also to (Monoid (Sum Double)) and so on since rounding errors can cause the result to be wrong. < 1354502934 614583 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you know of chess variant involving Scrabble tiles as the pieces? (There is the number in the corner, which can be used to tell which direction it is facing, if you like.) < 1354503284 436796 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :"how is it that you are alive when everyone else on the planet was killed?" "I was protected by this" *points at her necklace* *camera zooms in to display necklace + cleavage* ... *camera stays on cleavage* ... *camera still on cleavage* < 1354503318 730853 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :scifi.jpg < 1354503341 549657 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :*camera won't move because now the camera men is killed too < 1354503350 435462 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :haha < 1354503399 433241 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :seriously the necklace thing is just there for fanservice < 1354503525 825613 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :you can't expect the lead female opposing character to die in the first scene just because of jewelry < 1354503738 386035 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :http://i.imgur.com/97PdF.jpg < 1354503742 265590 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :(found on Reddit) < 1354504209 92197 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t to < 1354504210 572318 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Gettable f => (s -> a) -> (a -> f a) -> s -> f s < 1354504307 671041 :TheSmooze!codu@codu.org NICK :WindWhistler < 1354504402 406379 :WindWhistler!codu@codu.org NICK :Gregor < 1354504579 394899 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t over mapped < 1354504594 251945 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :>_> < 1354504627 102481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :foo :: (a -> b) -> [a] -> [b]; foo f xs = over mapped f xs is even compiled into foo = map! < 1354504694 498801 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "hm..." < 1354504703 216737 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : mueval: ExitFailure 1 < 1354504703 304844 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : mueval: Prelude.undefined < 1354504705 959079 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :thread killed < 1354504714 87140 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::( < 1354504718 989404 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t over mapped < 1354504720 492307 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I messed things up a little bit in the other channel. < 1354504726 372346 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :19:11 @@ @echo @echo @echo @echo @echo @echo @echo @echo @echo @echo @echo @echo @echo @echo @echo @echo @echo @echo @echo @echo < 1354504727 797572 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Functor f => (a -> b) -> f a -> f b < 1354504732 141263 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :19:13 "whoops" < 1354504756 217323 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats shachaf -----### < 1354504769 918787 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Isn't it great, though! < 1354504777 622195 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay! < 1354504789 99101 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: There are a lot of unsafeCoerces in lens to make it happen. < 1354504919 991506 :jfischoff!~jfischoff@c-67-169-45-161.hsd1.ca.comcast.net QUIT :Quit: jfischoff < 1354505121 240552 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t from < 1354505146 266533 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*chirp* < 1354505153 215252 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :from < 1354505153 393476 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : :: forall r. < 1354505153 466864 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : Isomorphic r => < 1354505153 467080 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : Isomorphism (B r) (A r) (T r) (S r) -> r < 1354505161 740621 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :bats < 1354505189 62636 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wtf < 1354505205 365849 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :thread killed < 1354505214 545854 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: We could sure use a nicer Iso. :-( < 1354505231 657343 :Sgeo!~Sgeo@173.3.78.166 PRIVMSG #esoteric :It is becoming obvious that I don't understand delimited continuations as well as I thought < 1354505253 348533 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he said, before his brain exploded. < 1354505267 504162 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: quote that and not the other one? < 1354505273 703804 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the anon one < 1354505277 483694 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :of COURSE, if I just shift into four day cubic time then *boom* < 1354505278 840335 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: ? < 1354505294 51097 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Oh, I just gave the answer to oerjan's question. < 1354505300 324486 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anon < 1354505300 483809 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : :: forall r. < 1354505300 557274 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : (Isomorphic r, S r ~ Maybe (A r), T r ~ Maybe (A r), B r ~ A r) => < 1354505300 557437 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : A r -> (A r -> Bool) -> r < 1354505331 251427 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(AAAAAAAAAAAAAAAAAAAAAA) < 1354505335 748505 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@Arr < 1354505337 943676 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@Arrr < 1354505362 182277 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Maybe you meant: arr yarr < 1354505362 403724 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Aye Aye Cap'n < 1354505374 222200 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what are S, T, A, B < 1354505380 921041 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric ::t (^.) < 1354505388 888131 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :s -> Getting a s t a b -> a < 1354505396 602945 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: its what you get < 1354505409 37771 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no thats s t a b < 1354505415 275000 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a s t a b < 1354505420 246757 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: aren't you ready to get a s t a b..... < 1354505424 335264 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :this is S T A B............................... < 1354505429 47376 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :theyre type families < 1354505429 372688 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :S = s < 1354505439 340883 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: haskell = casein sensitive < 1354505470 934345 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: how cheesy < 1354505490 353513 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, fine. < 1354505493 61876 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's a lie. :-( < 1354505552 559912 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact haskell pays no attention to cheese at all < 1354505577 665339 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Depends on the cheese. < 1354505601 692493 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: You know the thing that's called "bulgarian cheese" in Hebrew? < 1354505608 73097 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...no. < 1354505616 243378 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: why would people name their type families S T A B < 1354505640 708487 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: elliott just got startled < 1354505642 41414 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monqy: it's a very dysfunctional family < 1354505651 79381 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: some people know no taste. sooner or later they'll be getting a s t a b < 1354505663 614505 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: do you know ? < 1354505670 876719 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: know what < 1354505675 351217 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :why its S T A B < 1354505694 914738 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh < 1354505700 212485 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :S is a reference to s < 1354505703 773551 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :T is a reference to t < 1354505707 436115 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A is a reference to a < 1354505711 142946 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :B is a reference to c < 1354505715 103683 :Sgeo!~Sgeo@173.3.78.166 QUIT :Read error: Connection reset by peer < 1354505730 561742 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :help :( < 1354505754 664310 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :obvyusly < 1354505756 290527 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: class Isomorphic r where iso :: (S r -> A r) -> (B r -> T r) -> r; type S; type T; type A; type B < 1354505767 852521 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"um....." < 1354505773 531679 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: class Isomorphic r where iso :: (S r -> A r) -> (B r -> T r) -> r; type S r; type T r; type A r; type B r < 1354505797 731708 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type family CoalgebraicA (x :: *) :: * < 1354505797 819011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type family CoalgebraicB (x :: *) :: * < 1354505798 32242 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type family CoalgebraicF (x :: *) :: * -> * < 1354505804 470760 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type instance CoalgebraicA (a -> f_b) = a < 1354505804 545154 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type instance CoalgebraicB (a -> f b) = b < 1354505804 545316 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type instance CoalgebraicF (a -> f b) = f < 1354505812 624823 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :instance (Functor f, x ~ (a -> f b), y ~ (s -> f t)) => Isomorphic (x -> y) where type S (x -> y) = CoalgebraicA y type T (x -> y) = CoalgebraicB y type A (x -> y) = CoalgebraicA x type B (x -> y) = CoalgebraicB x iso sa bt afb s = bt <$> afb (sa s) < 1354505828 521815 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :glad we got that cleared up. < 1354505829 366548 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think shachaf is going critical. RUN! < 1354505854 34600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: "don't worry it's constructive criticism" < 1354505865 877472 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote critcism < 1354505869 867940 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1354505870 513569 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote criticism < 1354505874 518365 :HackEgo!codu@codu.org PRIVMSG #esoteric :175) Thanks to nooga for constructive criticism, his ideas and being a constant annoyance. --http://theendisnear.no-ip.info/ \ 720) elliott: Anyway, if you wrote a Haskell book, I would read it and possibly provide classical criticism. That is to say, non-constructive. < 1354505880 510274 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo 720 < 1354505924 984054 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :international mathematics olympiad 720 < 1354505943 214650 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*al < 1354505957 62971 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :olympial < 1354505973 917829 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you like this? http://www.chessvariants.org/index/msdisplay.php?itemid=MSalienandpredat < 1354505982 938184 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a very good URL. < 1354505989 578032 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you like my other symmetric variants too? < 1354505991 264225 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It has almost all the components. < 1354506002 336489 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Variants? < 1354506012 426415 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :microsoft aliens sound scary < 1354506013 730129 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: I don't mean the URL; I mean the game written by the rules described on that HTML page. < 1354506021 80779 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What page? < 1354506022 209260 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh! < 1354506028 935199 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You want me to send an HTTP GET request. < 1354506031 792049 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I get it now. < 1354506033 38222 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :oerjan: I think "MS" stands for "member submission". < 1354506037 695574 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Yes. < 1354506050 71312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh it was submitted by alien members, ok < 1354506124 84139 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: you should take the bus to san francisco < 1354506126 179790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :$1! < 1354506129 735391 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Other games I made which is symmetric variant of asymmetric game, is: http://www.chessvariants.org/index/msdisplay.php?itemid=MStworingchess http://www.chessvariants.org/index/msdisplay.php?itemid=MSsymmetricsnark http://www.chessvariants.org/index/msdisplay.php?itemid=MSsymmetricmonst < 1354506146 100418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Microsoft symmetric snark? < 1354506169 782050 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it's what happens when their tech support goes _really_ wrong < 1354506266 900293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: btw asymmetric ≻ symmetric < 1354506498 660790 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok i got GTA San Andreas to run in Wine < 1354506534 741579 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have also, in comments on other pages, proposed symmetric variant of Angels and Devils. < 1354506556 690961 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it works pretty well except that the world is filled with huge flickering multicolored polygons, and every object casts a trail of flame against the sky < 1354506566 813500 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so i'm just going to play as if my character is tripping on acid < 1354506614 431087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Did you know conal lives in San Andreas? < 1354506632 386264 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe < 1354506633 308616 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1354506660 840799 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Isn't that how you play "real life" too? < 1354506762 158661 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not really < 1354507291 713927 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc isn't real. < 1354507320 269999 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: should I learn Agda < 1354507360 833413 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1354507377 553643 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :There are different definitions of "astrological age" which is not agreed on. As far as I know two is possible: [1] The constellation of the vernal equinox point. [2] The negative of ayanamsha. In the second case, you have to know what the reference date is! < 1354507386 259094 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: wait, you haven't already? < 1354507388 17426 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I thought Agda was just Haskell with fancy types and ":" instead of "::". < 1354507411 228997 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well I "know" it < 1354507421 383417 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i can't read their freaky unicode proofs < 1354507433 312233 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(have you seen them) < 1354507462 508632 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i ... am not sure. < 1354507482 370038 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Agda is also require Unicode. < 1354507488 537101 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't like that. < 1354507497 122424 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :actually agda does not require unicode at all < 1354507517 645686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The worse part is that you have to use Emacs. :-( < 1354507524 684559 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(It's actually not that bad.) < 1354507613 903656 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Haskell does not require Unicode, but it does supports it. Some libraries do have names only using non-ASCII, and GHC has no way to enter the name using Punycode or something like that! < 1354507631 647499 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :agda does not require unicode < 1354507641 4832 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: do you know of any agda-mode docs < 1354507653 792028 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Yes. < 1354507659 680039 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :C-h C-something < 1354507670 918174 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's not good docs < 1354507677 246174 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1354507693 162235 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They're not terrible either. < 1354507693 476527 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :try C-h m to get the mode's online documentation. < 1354507703 104889 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"online documentation" < 1354507709 567445 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: It's useless. < 1354507713 586093 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: Also, "online documentation", really. < 1354507723 5341 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :shrug. < 1354507731 63784 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Do you use emacs for anything else? < 1354507735 630892 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1354507736 512142 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sometime < 1354507736 882041 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :s < 1354507768 36186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You just have to know Emacs. < 1354507787 296239 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: btw colenses are pretty cool right?? < 1354507796 290917 :epicmonkey!~epicmonke@188.134.41.172 JOIN :#esoteric < 1354507797 905225 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm kind of annoyed at how ugly Isomorphic etc. are. < 1354507799 420152 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: yo is there something like http://www.cse.chalmers.se/~nad/listings/lib/Category.Functor.html in the stdlib but that encodes the laws < 1354507802 955177 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or do i gotta write this shit mysel < 1354507803 308621 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :f < 1354507804 51323 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome epicmonkey < 1354507807 610883 :HackEgo!codu@codu.org PRIVMSG #esoteric :epicmonkey: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1354507809 399355 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://blog.opensourcenerd.com/i-can-haz-virus this person seems to have some serious misunderstandings about what wine does and doesn't provide < 1354507839 396080 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :They should add a pragma in GHC to allow you to write the names in ASCII, by specifying the quoted string of the Unicode name, and the unquoted name in ASCII; the first letter/symbol must have the same case. It also allow to specify alternative names for constructors, even if it is already ASCII. < 1354507845 282221 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also lol @ the many commenters who think the difference between user account and root on a linux desktop is super important < 1354507879 342158 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: https://github.com/copumpkin/categories/blob/master/Categories/Functor/Core.agda < 1354507904 699282 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I... don't want to use that. < 1354507912 192998 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that is a really pervasive bit of cargo cult security < 1354507914 707453 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Good thinking. < 1354507922 53037 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it took me many years to realize how wrong it is < 1354507933 687251 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how do i type the fancy l < 1354507934 529021 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for levels < 1354507966 213976 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"\ell" < 1354507985 295798 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i forget how emacs/agda-mode does its thing < 1354508084 86593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ℓ? < 1354508090 692007 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does that mean? < 1354508142 805661 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah that one < 1354508145 528226 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh \ell works < 1354508154 956743 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: does cabal install agda get me the stdlib < 1354508157 264719 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or do i have to do my own stuff < 1354508173 349205 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: I think it works? < 1354508177 718749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: "try it out" < 1354508187 347103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Also you didn't answer my question. < 1354508234 444350 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1354508238 864313 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what < 1354508311 701326 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there any 3D modeling that you can write x^2+y^2+z^2=25 and it will work? < 1354508368 842304 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what's the composition law for functors called < 1354508456 980035 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know if it is called anything other than a composition law for functors. < 1354508506 802786 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: It doesn't find the stdlib. < 1354508601 35401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Try apt-get install agda < 1354508610 67914 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :apt-get install agda-stdlib < 1354508642 321637 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :apt-get command not found < 1354508646 373732 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :-- my computer dot com < 1354508652 657468 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The "wgpluck" command in Csound seem to be good quality of plucked string sounds. < 1354509583 228802 :epicmonkey!~epicmonke@188.134.41.172 QUIT :Ping timeout: 245 seconds < 1354509660 888404 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you have reverb files for Stonehenge? < 1354510366 174699 :ion!ion@heh.fi PRIVMSG #esoteric :Are there samples of wgpluck somewhere? < 1354510449 900306 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :ion: I don't know of any, but if you have Csound you can use the examples in http://www.csounds.com/manual/html/wgpluck.html < 1354510462 411689 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You can use it with real-time or you can send output to a sound file if you want that. < 1354510530 743735 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I also find using "wguide1" with PhISEM opcodes makes a nice sound too (although not a plucked string sound) < 1354510753 317759 :ion!ion@heh.fi PRIVMSG #esoteric :alright < 1354510883 348983 :lambdabot!~lambdabot@74.207.243.105 QUIT :Ping timeout: 245 seconds < 1354510895 198474 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :ion: Do you need samples of Csound? < 1354510918 323746 :ion!ion@heh.fi PRIVMSG #esoteric :I already installed it and listened to them. < 1354511154 516449 :lambdabot!~lambdabot@74.207.243.105 JOIN :#esoteric < 1354511567 769615 :PieBotN!~piespy@96.43.64.250 QUIT :Remote host closed the connection < 1354512166 811927 :elliott!elliott@unaffiliated/elliott QUIT :Quit: Reconnecting < 1354512176 103135 :elliott!elliott@unaffiliated/elliott JOIN :#esoteric < 1354512220 618050 :elliott_!~elliott@unaffiliated/elliott JOIN :#esoteric < 1354512384 467568 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : score < 1354512386 62245 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :------- < 1354512389 425129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott < 1354512470 777687 :jfischoff!~jfischoff@c-67-169-45-161.hsd1.ca.comcast.net JOIN :#esoteric < 1354513919 351854 :elliott_!~elliott@unaffiliated/elliott QUIT :Read error: Connection reset by peer < 1354513940 533231 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 260 seconds < 1354513966 886996 :elliott_!~elliott@unaffiliated/elliott JOIN :#esoteric < 1354514117 538042 :ogrom!~del@gprs-inet-65-30.elisa.ee JOIN :#esoteric < 1354514163 796669 :elliott_!~elliott@unaffiliated/elliott QUIT :Client Quit < 1354514317 491174 :kallisti!~eris@168.28.136.16 JOIN :#esoteric < 1354514317 603022 :kallisti!~eris@168.28.136.16 QUIT :Changing host < 1354514317 603148 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1354514852 956680 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1354515029 417094 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 265 seconds < 1354515171 438211 :ogrom!~del@gprs-inet-65-30.elisa.ee PART #esoteric :"Left" < 1354515668 765888 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://whyismarko.com/wp-content/uploads/2011/12/food-nativity.jpg < 1354515730 499158 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1354515753 3876 :kallisti!~eris@168.28.136.16 JOIN :#esoteric < 1354515753 162910 :kallisti!~eris@168.28.136.16 QUIT :Changing host < 1354515753 236078 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1354515831 674068 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: More like #messoteric, right? < 1354515852 558736 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: what was monqy doing in #haskell < 1354515864 589749 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@ask monqy elliott: what was monqy doing in #haskell < 1354515864 746041 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted. < 1354515887 925240 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::'( < 1354515893 941144 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1354516218 559232 :ashet4!~root@adsl-ull-114-195.50-151.net24.it QUIT :Ping timeout: 265 seconds < 1354516249 105249 :sebbu!~sebbu@ADijon-152-1-43-239.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1354516269 337921 :sebbu!~sebbu@ADijon-152-1-43-239.w83-194.abo.wanadoo.fr QUIT :Changing host < 1354516269 410738 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1354516479 807400 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 260 seconds < 1354516693 514663 :Gregor!codu@codu.org TOPIC #esoteric :http://codu.org/logs/_esoteric/ | /topic: the new way to chat | How arre you? | *-r < 1354517515 393282 :ashet4!~root@adsl-ull-114-195.50-151.net24.it JOIN :#esoteric < 1354518167 62078 :evincar!~jon@173-228-13-253.dsl.static.sonic.net JOIN :#esoteric < 1354518240 303633 :epicmonkey!~epicmonke@188.134.41.172 JOIN :#esoteric < 1354518362 746061 :elliott!elliott@unaffiliated/elliott TOPIC #esoteric :MEGA EXTRA SUPER FOREVER | http://codu.org/logs/_esoteric/ < 1354518374 455287 :elliott!elliott@unaffiliated/elliott TOPIC #esoteric :qqqqq | http://codu.org/logs/_esoteric/ < 1354518912 791059 :Mathnerd314!~quassel@palevsky-223-221.rh.uchicago.edu JOIN :#esoteric < 1354519371 961420 :ion!ion@heh.fi PRIVMSG #esoteric :I disagree with your chosen amount of Qs. < 1354519403 833917 :shachaf!~shachaf@unaffiliated/shachaf TOPIC #esoteric :@ask monqy http://codu.org/logs/_esoteric/ < 1354519408 272908 :epicmonkey!~epicmonke@188.134.41.172 QUIT :Ping timeout: 245 seconds < 1354519487 208232 :elliott!elliott@unaffiliated/elliott TOPIC #esoteric :http://codu.org/logs/_esoteric/ http://codu.org/logs/_esoteric/ http://codu.org/logs/_esoteric/ http://codu.org/logs/_esoteric/ http://codu.org/logs/_esoteric/http://codu.org/logs/_esoteric/ http://codu.org/logs/_esoteric/ < 1354519650 109451 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1354519704 137456 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I am a train. There's a wireless network in the train! < 1354519719 684439 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm just not getting usd to this. < 1354519753 89696 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Getting used to being a train may be difficult, but with the right attitude you can! < 1354519783 849966 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :At least it gives me consolation that the connection is terribly laggy. < 1354519786 447447 :shachaf!~shachaf@unaffiliated/shachaf TOPIC #esoteric :http://cоdu.org/logs/_esoteric/ < 1354519787 268531 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :getting USD for being a train may be even more difficult < 1354519832 707176 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: I don't know, you could rent yourself out to someone who needs a train for $$$ars. < 1354519856 535611 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :as I understand it, the money doesn't go to the train but usually to the owner of the train < 1354519885 23104 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So... that would conventionally be my wife, I guess? < 1354519925 543268 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote I am a train. There's a wireless network in the train! < 1354519936 100799 :HackEgo!codu@codu.org PRIVMSG #esoteric :861) I am a train. There's a wireless network in the train! < 1354519949 638298 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :http://en.wikipedia.org/wiki/List_of_trains_owned_by_wifes < 1354519955 810309 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"wives", olsner < 1354519992 145911 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :indeed < 1354519993 123789 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, the train is also going to Turku, city of oklopol. I think. < 1354520008 741540 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are you going to meet oklopol < 1354520066 461531 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I hope not, I'm not sure I'm prepared for that. < 1354520079 180330 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how can you pass up the opportunity < 1354520083 383242 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I will be around what I think is his university, though. < 1354520088 1181 :jfischoff!~jfischoff@c-67-169-45-161.hsd1.ca.comcast.net QUIT :Quit: jfischoff < 1354520270 384221 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh no, this is stupid. I have this bluetooth headset that can be used as a regular headset with a cable, but when the battery is completely out (like now) it won't switch to the regular-headset mode. < 1354520298 610997 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I was hoping I could be like other people and listen to signals while in a public transport vehicle. < 1354520317 594942 :Bike!~Glossina@207-224-23-226.ptld.qwest.net QUIT :Ping timeout: 255 seconds < 1354520337 23088 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklofok: ping < 1354520338 878556 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklofok: ping ping ping < 1354520341 743493 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklofok: emergency < 1354520344 650897 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklofok: you have to meet fizzie < 1354520350 353149 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklofok: travel to nearest train station < 1354520363 308726 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh right i wanted to addquote that < 1354520366 149026 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Look for a fizzie-shaped train? < 1354520371 1182 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote I was hoping I could be like other people and listen to signals while in a public transport vehicle. < 1354520374 259997 :HackEgo!codu@codu.org PRIVMSG #esoteric :862) I was hoping I could be like other people and listen to signals while in a public transport vehicle. < 1354520400 64190 :Bike!~Glossina@207-224-23-226.ptld.qwest.net JOIN :#esoteric < 1354521032 947946 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 JOIN :#esoteric < 1354521037 28708 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :"SCP-411 speaks an as-yet-unknown dialect of English that has significant grammatical and vocabulary deviations from Modern English. Individuals who are to be given training in this language will benefit from a background in Spanish, Mandarin and/or Cantonese, ██████ and Haskell." < 1354521057 753437 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :that entry made me chuckle < 1354521073 936426 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1354521101 393188 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Oh, I wasn't able to do the thing where I say monqy elliott < 1354521118 290510 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i forgive you < 1354521192 527137 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :damn, I should have beat you :P < 1354521248 376973 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`quote < 1354521251 713770 :HackEgo!codu@codu.org PRIVMSG #esoteric :158) elliott: i like scsh's mechanism best: it's most transparent and doesn't really serve a very useful feature. < 1354521498 3383 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Remote host closed the connection < 1354521549 300787 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1354521719 118140 :ion!ion@heh.fi PRIVMSG #esoteric :fizzie: mosh < 1354521985 299940 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ion: Bish bosh. < 1354522277 558046 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`quote < 1354522288 221978 :HackEgo!codu@codu.org PRIVMSG #esoteric :488) On further reflection, I think I did manage to miss winter and spring altogether. This does explain the goblin siege I had in autumn. < 1354522374 564686 :evincar!~jon@173-228-13-253.dsl.static.sonic.net QUIT :Quit: Lost terminal < 1354522693 198975 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: I think you are insufficiently agile. < 1354522857 769455 :ifnspifn!~ifnspifn@184.90.25.102 QUIT :Quit: ifnspifn < 1354522944 325753 :ifnspifn!~ifnspifn@184.90.25.102 JOIN :#esoteric < 1354523054 12961 :oklopol!~oklopol@agw-sparknet.utu.fi JOIN :#esoteric < 1354523131 742047 :oklofok!~oklopol@agw-sparknet.utu.fi QUIT :Ping timeout: 246 seconds < 1354523678 301345 :epicmonkey!~epicmonke@195.206.224.60 JOIN :#esoteric < 1354525509 854276 :david_werecat!~david_wer@24-52-224-101.cable.teksavvy.com QUIT :Ping timeout: 260 seconds < 1354525971 608671 :elliott!elliott@unaffiliated/elliott QUIT :Quit: Reconnecting < 1354526123 943731 :elliott!elliott@unaffiliated/elliott JOIN :#esoteric < 1354526420 580316 :Sgeo|web!ad034ea6@gateway/web/freenode/ip.173.3.78.166 QUIT :Quit: Page closed < 1354527986 819984 :ifnspifn!~ifnspifn@184.90.25.102 QUIT :Quit: ifnspifn < 1354527989 343980 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1354528394 143063 :Bike!~Glossina@207-224-23-226.ptld.qwest.net QUIT :Quit: leaving < 1354528955 943975 :Sgeo|MOG11111!ad034ea6@gateway/web/freenode/ip.173.3.78.166 JOIN :#esoteric < 1354528963 850617 :Sgeo|MOG11111!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :elliott: Phantom_Hoover monqy < 1354528967 815898 :Sgeo|MOG11111!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Fiora: < 1354528973 825742 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mog11111 < 1354529004 789313 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :MOG11111, excuse you < 1354529071 786327 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :im sorry < 1354529112 73612 :Sgeo|MOG11111!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :Well, I didn't think a nick of Sgeo|MOG!!!!! would work < 1354529118 852363 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no it's monqy < 1354529120 690635 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi monqy < 1354529131 358216 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi shachaf < 1354529135 461726 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: have you ever read the ghc inliner < 1354529153 576846 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: do you know what main:Foo.Foo{v reR} means! < 1354529200 815968 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I finally got my verbose output! < 1354529222 585664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Considering inlining: main:Foo.Foo{v reR} [gid[DataConWrapper]] arg infos [] uf arity 0 interesting continuation ArgCtxt False some_benefit False is exp: True is work-free: True guidance ALWAYS_IF(unsat_ok=True,boring_ok=True) ANSWER = YES < 1354529274 295393 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1354529345 102568 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: yes or no < 1354529361 295006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if you were ghc you would say ANSWER = YES < 1354529365 663368 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or ANSWER = NO < 1354529398 844181 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i dddont know < 1354529831 889661 :ion!ion@heh.fi PRIVMSG #esoteric :Also if you’re prolog. < 1354530361 93480 :ifnspifn!~ifnspifn@184.90.25.102 JOIN :#esoteric < 1354530922 704390 :oklopol!~oklopol@agw-sparknet.utu.fi NICK :xD < 1354530949 936537 :xD!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :everything is so funny i decided this will save my time < 1354530952 563801 :xD!~oklopol@agw-sparknet.utu.fi NICK :Guest7699 < 1354530959 463259 :Guest7699!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :krhm < 1354530966 241375 :Guest7699!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :what :D < 1354530968 234041 :Guest7699!~oklopol@agw-sparknet.utu.fi NICK :oklopol < 1354530970 827396 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Guest7699: fizzie is coming to yr town < 1354530973 947541 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :go meet him < 1354530990 459722 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :[12:35:10] -NickServ- This nickname is registered. Please choose a different nickname, or identify via /msg NickServ identify . < 1354530991 638372 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :- < 1354530991 872716 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :[12:35:10] -NickServ- You have 30 seconds to identify to your nickname before it is changed. < 1354530991 945545 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :- < 1354530991 945706 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :[12:35:39] -NickServ- You failed to identify in time for the nickname Xd < 1354530992 359293 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :oh. < 1354531025 953946 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :he is? < 1354531037 298396 :atriq!~Taneb@mail.qehs.net JOIN :#esoteric < 1354531057 360881 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1354531060 853381 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :he may even be there right now < 1354531061 269657 :atriq!~Taneb@mail.qehs.net PRIVMSG #esoteric :Yes indeed < 1354531083 399011 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: apparently he's going to your university-abouts < 1354531083 890141 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :fizzie: where should we meet? < 1354531088 393743 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :yeah i read < 1354531179 851956 :epicmonkey_!~epicmonke@host-224-60.dataart.net JOIN :#esoteric < 1354531198 472818 :atriq!~Taneb@mail.qehs.net PRIVMSG #esoteric :I'm kind of bored of being atriq < 1354531200 961194 :atriq!~Taneb@mail.qehs.net NICK :Taneb < 1354531210 155986 :epicmonkey!~epicmonke@195.206.224.60 QUIT :Read error: Connection reset by peer < 1354531528 834517 :Taneb!~Taneb@mail.qehs.net PRIVMSG #esoteric :Aaargh < 1354531840 756866 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`whoami < 1354531844 440832 :HackEgo!codu@codu.org PRIVMSG #esoteric :whoami: cannot find name for user ID 5000 < 1354531844 598072 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1354531847 631221 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`id -a < 1354531851 291000 :HackEgo!codu@codu.org PRIVMSG #esoteric :uid=5000 gid=873786 < 1354531854 656928 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`id -a < 1354531860 522748 :HackEgo!codu@codu.org PRIVMSG #esoteric :uid=5000 gid=787581 < 1354531862 453999 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Pft. Why can't we be root? < 1354531903 4096 :Deewiant!~deewiant@109.75.188.190 PRIVMSG #esoteric :`id -G < 1354531906 576085 :HackEgo!codu@codu.org PRIVMSG #esoteric :736514 < 1354531923 32732 :Deewiant!~deewiant@109.75.188.190 PRIVMSG #esoteric :`id -Z < 1354531926 914621 :HackEgo!codu@codu.org PRIVMSG #esoteric :id: --context (-Z) works only on an SELinux-enabled kernel < 1354532607 882050 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1354532813 710622 :ifnspifn!~ifnspifn@184.90.25.102 QUIT :Quit: ifnspifn < 1354533018 349793 :Taneb!~Taneb@mail.qehs.net QUIT :Quit: Leaving < 1354533131 17298 :atriq!~Taneb@mail.qehs.net JOIN :#esoteric < 1354533329 646794 :atriq!~Taneb@mail.qehs.net PRIVMSG #esoteric :How is the topic link doing that < 1354533341 898231 :atriq!~Taneb@mail.qehs.net NICK :Taneb < 1354533388 478684 :Deewiant!~deewiant@109.75.188.190 PRIVMSG #esoteric :Doing what < 1354533408 930273 :Taneb!~Taneb@mail.qehs.net PRIVMSG #esoteric :If I click it and say open in browser, it goes to http://xn--cdu-sed.org/logs/_esoteric/ < 1354533438 968813 :Deewiant!~deewiant@109.75.188.190 PRIVMSG #esoteric :The 'o' is cyrillic < 1354533445 656733 :Deewiant!~deewiant@109.75.188.190 PRIVMSG #esoteric :U+043E CYRILLIC SMALL LETTER O < 1354533452 241925 :Taneb!~Taneb@mail.qehs.net PRIVMSG #esoteric :Wow, crazy < 1354533489 403411 :shachaf!~shachaf@unaffiliated/shachaf TOPIC #esoteric :http://cоdu.org/lоgs/_еsоtеric/ < 1354533506 265585 :shachaf!~shachaf@unaffiliated/shachaf TOPIC #esoteric :http://соdu.оrg/lоgs/_еsоtеric/ < 1354533646 540716 :elliott!elliott@unaffiliated/elliott TOPIC #esoteric :http codu logs esoteric < 1354533714 538509 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1354533894 425796 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :xanadu-sed.org < 1354534304 408563 :shachaf!~shachaf@unaffiliated/shachaf TOPIC #esoteric : < 1354534474 533699 :Taneb!~Taneb@mail.qehs.net QUIT :Quit: Leaving < 1354536282 11090 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1354536399 876444 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: any idea what's up with http://esolangs.org/w/index.php?title=OISC&curid=1012&diff=34930&oldid=33316? < 1354536428 205581 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :not sure the link actually is relevant -- I can't tell what it's on about and certainly it is in the wrong section -- but the commentless removal is a bit odd < 1354536506 425142 :Deewiant!~deewiant@109.75.188.190 PRIVMSG #esoteric :The link talks about OISCs < 1354536595 353160 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1354536943 871213 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What is this about meeting people. :/ < 1354536964 50966 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I am at the ICT building, I think I'll be mostly in hiding. < 1354537026 600349 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: fizzie is at the ICT building < 1354537028 510769 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :go meet him < 1354537063 388270 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Seppo Pulkkinen, Department of Mathematics and Statistics, University of Turku" is this guy from your guys? < 1354537073 800829 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :He's talking about something. < 1354537119 202943 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'll be here in this thing until 18 and my train away leaves Kupittaa at 19, so there. < 1354537155 505075 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: THERE'S NOT MUCH TIME < 1354537234 82174 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hey elliott did you do that thing < 1354537331 212359 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: I AM BUSY ORGANISING A MEETING OF FINNS < 1354537357 439038 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you can run worldgen in the background while doing that! < 1354537405 548468 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Without fully devoting my attention to it???? < 1354537407 432350 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :That would be sloppy < 1354537463 496636 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's worldgen man, you just watch 3 numbers increment at an ever-slower rate < 1354537495 181174 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :This is why you are hopeless Phantom_Hoover < 1354537997 702301 :ashet4!~root@adsl-ull-114-195.50-151.net24.it PART :#esoteric < 1354538306 453195 :Sgeo|MOG11111!ad034ea6@gateway/web/freenode/ip.173.3.78.166 PRIVMSG #esoteric :What is sleep? < 1354538344 148365 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what is MOG11111 < 1354538378 844472 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :sleep is that time of the day when people don't pay attention as I break into their kitchens looking steal'em cookies < 1354538421 561115 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1354538528 25778 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :sleep is what happens when you have too much blood in your caffeine circulation < 1354538551 704796 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that's kinda gross nortti < 1354538566 464374 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :in what way? < 1354538587 133051 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :blood in my caffeine??gross < 1354538987 407193 :Taneb!~Taneb@mail.qehs.net JOIN :#esoteric < 1354539155 213250 :Taneb!~Taneb@mail.qehs.net PRIVMSG #esoteric :Just caused some nostalgia < 1354539164 650489 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1354539274 678261 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :how? < 1354539324 892818 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1354539372 132739 :sebbu!~sebbu@ADijon-152-1-43-239.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1354539372 205578 :sebbu!~sebbu@ADijon-152-1-43-239.w83-194.abo.wanadoo.fr QUIT :Changing host < 1354539372 205745 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1354539374 593597 :Taneb!~Taneb@mail.qehs.net PRIVMSG #esoteric :Reminded a couple of people of something they were planning to make years ago < 1354539487 18372 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1354539493 396915 :ais523_!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1354540070 40498 :epicmonkey_!~epicmonke@host-224-60.dataart.net QUIT :Ping timeout: 260 seconds < 1354540498 613404 :Taneb!~Taneb@mail.qehs.net QUIT :Read error: Connection reset by peer < 1354540801 290209 :epicmonkey_!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1354540821 208552 :ais523_!~ais523@unaffiliated/ais523 NICK :ais523 < 1354541502 86112 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1354541516 768741 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1354542201 182425 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :fizzie: seppo works in the same tiny building as me < 1354542206 281382 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :i've never talked to him < 1354542225 802864 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :waaaait < 1354542228 566633 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :different seppo :D < 1354542264 511485 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :oh okay < 1354542266 319566 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :same seppo < 1354542433 667182 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: go go go < 1354542442 344838 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you have to get to the ICT building!!! < 1354542443 782344 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1354542462 913300 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :blorgh < 1354542468 47325 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :maybe next time < 1354542531 428860 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :where's the topic? < 1354542540 97527 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: wtf < 1354542548 75790 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: you are depriving fizzie of a once-in-a-lifetime experience to meet oklopol!! < 1354542556 262776 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and also: the first #esoteric meeting ever < 1354542564 655568 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 264 seconds < 1354542623 235916 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :This Seppo is talking about "Optimization Algorithms for Large-Scale and Robust Dimensionality Reduction" soon. < 1354542654 381708 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think it's going to involve numbers. < 1354542692 573738 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: RUN < 1354542710 928664 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :RUN AWAY < 1354542778 705211 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1354543206 220702 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1354543311 784277 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: you have to convince oklopol to travel a short distance to see fizzie, right now < 1354543455 610280 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And fizzie to not run away and hide from the impending oklopol. < 1354543547 810721 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: in fact < 1354543557 775278 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: i'll pay you 30 pounds gbp to go do it < 1354543635 183999 :david_werecat!~david_wer@24.52.224.101 JOIN :#esoteric < 1354543637 746050 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric ::D < 1354543668 834885 :oklopol!~oklopol@agw-sparknet.utu.fi PRIVMSG #esoteric :sorry i have works to do :( < 1354544121 316822 :arcatan!arcatan@hilla.kapsi.fi PRIVMSG #esoteric :elliott seems to be passionate about this < 1354544184 661996 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 265 seconds < 1354544250 117952 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :arcatan: it is of great theological importance < 1354544391 406238 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1354545069 39448 :Taneb!~Taneb@mail.qehs.net JOIN :#esoteric < 1354545128 212886 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1354545151 854610 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1354545315 125223 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1354545854 551072 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1354546016 981462 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1354546153 771420 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 256 seconds < 1354546387 966003 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 JOIN :#esoteric < 1354546559 454741 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1354546595 462950 :soundnfury!~edward@cpc36-cmbg15-2-0-cust160.5-4.cable.virginmedia.com QUIT :Ping timeout: 256 seconds < 1354546852 450265 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1354547404 296226 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1354547406 833472 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Client Quit < 1354547444 327591 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1354547786 801721 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 255 seconds < 1354547956 965265 :Taneb!~Taneb@mail.qehs.net QUIT :Ping timeout: 248 seconds < 1354548082 335080 :Taneb!~Taneb@mail.qehs.net JOIN :#esoteric < 1354548182 800635 :augur!~augur@129-2-129-32.wireless.umd.edu JOIN :#esoteric < 1354548914 586082 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1354549153 870268 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1354549355 246032 :nooodl!~nooodl@91.177.40.155 JOIN :#esoteric < 1354549600 166728 :Taneb!~Taneb@mail.qehs.net PRIVMSG #esoteric :It's quiet here < 1354549737 376288 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :gu < 1354549739 656337 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1354549831 443073 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hi < 1354549836 256465 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :hi < 1354549844 929477 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :remember oracle versus google? < 1354549863 52008 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :I, umm, may have paraphrased the spec for rangeCheck and set it as an exercise for a bunch of first years < 1354549954 787910 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :around half of them got it exactly on spec, which is less than I expected < 1354550319 426410 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1354550550 346950 :Taneb!~Taneb@mail.qehs.net QUIT :Ping timeout: 264 seconds < 1354550804 433399 :oklofok!~oklopol@dyn60-300.yok.fi JOIN :#esoteric < 1354551633 259265 :nooodl!~nooodl@91.177.40.155 QUIT :Ping timeout: 245 seconds < 1354552017 390128 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :so i didn't meet FireFly < 1354552018 802783 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :erm < 1354552021 84220 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :fizzie: < 1354552023 635703 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :erm < 1354552026 938049 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :fizzie < 1354552036 128803 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :but i met seppo on his way back from the thingie < 1354552100 298745 :Gregor!codu@codu.org PRIVMSG #esoteric :Oh seppo. And the thingie. Ha ha ha, I'm participating. < 1354552504 912925 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :what thingie? < 1354552976 112251 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :suggested type for an esolang: int™ < 1354553447 49064 :Arc_Koen_!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1354553456 965897 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :*.net *.split < 1354553457 38689 :boily!~boily@mtl.savoirfairelinux.net QUIT :*.net *.split < 1354553459 295928 :iamcal!u1110@gateway/web/irccloud.com/x-vuojncesvqtsrpww QUIT :*.net *.split < 1354553461 314956 :Arc_Koen_!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net NICK :Arc_Koen < 1354553624 946774 :Frooxius_!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1354553719 313287 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Disconnected by services < 1354553784 201791 :Frooxius_!~Frooxius@cust-101.ktknet.cz NICK :Frooxius < 1354553831 811434 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1354553846 633968 :iamcal!u1110@gateway/web/irccloud.com/x-ndgcbqyqfcdfinps JOIN :#esoteric < 1354553935 525627 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oklofok: It's all right, I kind of had to go eat with the Hatutus folks. < 1354553955 126679 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :what's hatututs < 1354553957 574897 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :hatutus < 1354553958 381175 :epicmonkey_!~epicmonke@host-224-58.dataart.net QUIT :Ping timeout: 245 seconds < 1354553958 539136 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Though now my 19:06 train has been delayed to 19:24. < 1354553970 264143 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Pattern recognition research society. < 1354553983 180117 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hahmontunnistustutkimuksen seura. < 1354554004 93900 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It was our twice-a-year meeting/seminar that I was here for. < 1354554100 274608 :truckngear06!~Jeremy@24-231-195-104.dhcp.bycy.mi.charter.com JOIN :#esoteric < 1354554119 565922 :truckngear06!~Jeremy@24-231-195-104.dhcp.bycy.mi.charter.com PRIVMSG #esoteric :whats up < 1354554136 231189 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :hmm < 1354554139 366047 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :do I recognise you? < 1354554146 101005 :truckngear06!~Jeremy@24-231-195-104.dhcp.bycy.mi.charter.com PRIVMSG #esoteric :no sir < 1354554152 757609 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :`welcome truckngear06 < 1354554156 44673 :HackEgo!codu@codu.org PRIVMSG #esoteric :truckngear06: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1354554156 997453 :truckngear06!~Jeremy@24-231-195-104.dhcp.bycy.mi.charter.com PRIVMSG #esoteric :ty < 1354554158 537520 :truckngear06!~Jeremy@24-231-195-104.dhcp.bycy.mi.charter.com PRIVMSG #esoteric :can u see my ip ? < 1354554162 847461 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :wow, HackEgo was fast that time < 1354554174 184877 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :and yes, 24.231.195.104, or possibly 104.195.231.24 < 1354554182 219497 :truckngear06!~Jeremy@24-231-195-104.dhcp.bycy.mi.charter.com PRIVMSG #esoteric :just wondering < 1354554223 742705 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :connecting anywhere on the internet sends your IP to the site you connect to < 1354554266 888773 :truckngear06!~Jeremy@24-231-195-104.dhcp.bycy.mi.charter.com PRIVMSG #esoteric :yup < 1354554314 570601 :truckngear06!~Jeremy@24-231-195-104.dhcp.bycy.mi.charter.com PRIVMSG #esoteric :who plays black ops 2 < 1354554319 113117 :truckngear06!~Jeremy@24-231-195-104.dhcp.bycy.mi.charter.com PRIVMSG #esoteric :xbox 360 < 1354554390 577200 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :fizzie: do you know seppo? < 1354554422 11768 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oklofok: No, I just listened to his talk. < 1354554434 654076 :truckngear06!~Jeremy@24-231-195-104.dhcp.bycy.mi.charter.com PRIVMSG #esoteric :cya gonna play some black ops < 1354554435 212882 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :was it awesome < 1354554464 688635 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523_: Hey, your computer may be broadcasting an IP address. < 1354554556 955477 :truckngear06!~Jeremy@24-231-195-104.dhcp.bycy.mi.charter.com PART :#esoteric < 1354554658 14146 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oklofok: I... suppose? It was about doing this one thing faster than other people do that thing. He claimed he's the only one from "his people" dabbling with anything pattern-recognition related. < 1354554678 491576 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :what's that thing < 1354554678 960550 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :is he the last of his people < 1354554707 577203 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :are his people fools with no vision of the future < 1354554752 832133 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oklofok: It was the optimization problem related to this maximum-variance based dimensionality reduction method that works well if there's an underlying low-dimensional description for the points of the high-dimensional dataset. < 1354554787 439343 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also there was a thing about doing it well even if the data is a bit noisy and not strictly on the low-dimensional thing. < 1354554795 986335 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :i see < 1354554829 134336 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Based on projecting it onto a thing formed by ridges of the density function of the data set. < 1354554854 475784 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :hmm, that channel join was weird < 1354554868 463045 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :we get people like that in #nethack sometimes, mislead by the name < 1354554870 865899 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 PRIVMSG #esoteric :but #esoteric? < 1354554896 352032 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh no, battery low. < 1354554906 910025 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There was electricity just a moment ago. < 1354554923 588151 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suspect this phone is "acting up" occasionally. < 1354554944 785190 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh well, I'll just wait until the train gets here. -> < 1354554953 155092 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, now it's 19:34. < 1354555065 106550 :ais523_!93bcc348@gateway/web/freenode/ip.147.188.195.72 QUIT : < 1354555576 201146 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1354555752 612230 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah #hackage got some of those too :) < 1354555887 290309 :sebbu2!~sebbu@83.194.57.239 JOIN :#esoteric < 1354555904 500360 :sebbu2!~sebbu@83.194.57.239 QUIT :Changing host < 1354555904 575123 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1354555904 575182 :ais523_!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1354555904 662800 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1354555916 606256 :ais523_!~ais523@unaffiliated/ais523 NICK :ais523 < 1354555970 983147 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 250 seconds < 1354556078 581672 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1354556651 297523 :sebbu2!~sebbu@83.194.57.239 JOIN :#esoteric < 1354556667 798425 :sebbu2!~sebbu@83.194.57.239 QUIT :Changing host < 1354556667 872249 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1354556704 319422 :nooodl!~nooodl@91.177.40.155 JOIN :#esoteric < 1354556833 244853 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1354557215 593405 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bleh. Left 19:49, 43 minutes late. Is this the famed Finnish punctuality? (Okay, there is no such thing.) < 1354557238 694264 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1354557258 319353 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 245 seconds < 1354557594 961417 :ifnspifn!~ifnspifn@184.90.25.102 JOIN :#esoteric < 1354557861 284804 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1354558133 363807 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 255 seconds < 1354558287 671001 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :fizzie: So if you have a set of 4D points < 1354558311 710711 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :But the fourth coordinate is just random quantised noise between -0.5 and 0.5 < 1354558316 209090 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Is it going to work well? < 1354558323 358640 :epicmonkey_!~epicmonke@188.134.41.172 JOIN :#esoteric < 1354558535 376845 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1354558542 967689 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :FreeFull: Don't ask me, ask Seppo. Maybe it will. That kind of thing *is* one of the common types of toy data; many methods do suppress that sort of thing pretty well. < 1354558916 407096 :david_werecat!~david_wer@24.52.224.101 QUIT :Ping timeout: 255 seconds < 1354559115 470132 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1354559438 555395 :sebbu!~sebbu@ADijon-152-1-43-239.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1354559458 2472 :sebbu!~sebbu@ADijon-152-1-43-239.w83-194.abo.wanadoo.fr QUIT :Changing host < 1354559458 75841 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1354559633 305085 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1354559963 431164 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :fizzie: did you meet oklofok? < 1354560038 580490 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: I did not. < 1354560058 38483 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Such a loss for the advancement of the human race &c. < 1354560108 976422 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric ::'( < 1354560122 144888 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :a day of mourning for all of oklokind < 1354560306 86978 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"This is not a national day of mourning in Helsinki, Finland's capital -- these are Finns in their natural state: brooding, private, grimly in touch with no-one but themselves." < 1354560325 919832 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric ::D < 1354560344 95100 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :tht sound about right < 1354560403 74362 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So started a "60 minutes" (US TV show) segment about tango's popularity in Finland. < 1354560413 835185 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It was apparently considered quite rude. < 1354560426 975327 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :strange < 1354560439 37078 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The visuals were random clips from Helsinki streets. < 1354560463 978260 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Admittedly the adjectives described them quite well. < 1354560563 83520 :arcatan!arcatan@hilla.kapsi.fi PRIVMSG #esoteric :tango is rude? < 1354560579 342403 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No the show was rude. < 1354560587 875529 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Though I'm not sure if early morning commuters (especially in bad weather) tend to look all that happy anywhere. < 1354560595 86439 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or at least manywhere. < 1354560603 412356 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :manywhere, nice word < 1354560632 336344 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's like "anywhere" except not meaning quite all the places, just many of them. < 1354560709 838532 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :not all finns like the antisocial stereotype? < 1354560712 375651 :Bike!~Glossina@207-224-23-226.ptld.qwest.net JOIN :#esoteric < 1354560726 537656 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :yes < 1354560731 221888 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :don't we have like the best one there is < 1354560737 170795 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :hmm, I think 'anywhere' sometimes means something more like 'somewhere' ... feels a bit like universal/existential quantification < 1354560767 516063 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :maybe there should also be a 'fewwhere' < 1354560815 984362 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oklofok: As I understood it, the show was just considered taking the thing too far. But I'unno. < 1354560840 93804 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"THigh quality global journalism requires investment. Please share this article with others using the link below, do not cut & paste the article. See our Ts&Cs and Copyright Policy for more detail. Email ftsales.support@ft.com to buy additional rights. http://www.ft.com/cms/s/0/2e33f00e-a36e-11e1-ab98-00144feabdc0.html#ixzz2E15YAoQo < 1354560846 232659 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What. < 1354560857 57650 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :thigh quality! < 1354560862 233219 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You stupid piece of stupidest stupidity. < 1354560878 396486 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I hadn't highlighted the initial "T" so I typed it myself. < 1354560888 197891 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :i don't get it, it's not even racist because most finns are white < 1354560980 971544 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :also do i need to register < 1354560991 686633 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, feel free to peruse the link, if you want to visit a page which programmatically ejaculates stupidity all over a copy-paste. < 1354561034 352983 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I didn't need to. < 1354561049 789749 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Apparently there is a "8 free articles per month" thing. < 1354561068 145781 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So be careful about wasting one of your valuable free articles for *that*. < 1354561096 503689 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"The report goes on to say that the prescriptive tango dance sessions, with their set times when men can ask women to dance or the other way around, are perfect for shy Finns and that the lessons and dances give them a “licence to touch” one another." < 1354561108 527033 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There you go, that's what I wanted to paste. < 1354561133 363370 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I pasted it ALL OVER. All over the Internet. It's probably in dozens of places now. < 1354561145 637844 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :How do you like that, FT? < 1354561229 194649 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :This train, it is exactly an hour late. < 1354561284 362754 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The next TurkufHelsinki train was supposed to leave an hour after this one, I wonder if it's right behind there. < 1354561294 228452 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :TurkufHelsinki. Yes. < 1354561391 349358 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :yes. < 1354561427 67046 :oklofok!~oklopol@dyn60-300.yok.fi PRIVMSG #esoteric :also 8 whole articles? that's huge < 1354562001 384649 :soundnfury!~edward@cpc36-cmbg15-2-0-cust160.5-4.cable.virginmedia.com JOIN :#esoteric < 1354562088 313260 :AnotherTest!~tim@94-224-28-191.access.telenet.be JOIN :#esoteric < 1354562124 45749 :AnotherTest!~tim@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Hello < 1354562128 476113 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :hi < 1354562138 439860 :AnotherTest!~tim@94-224-28-191.access.telenet.be PRIVMSG #esoteric :No more topic :( < 1354562151 505361 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi TOPIC #esoteric :< AnotherTest> No more topic :( < 1354562159 56030 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe it's just invisible. < 1354562166 164676 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, now it's not. < 1354562177 904054 :AnotherTest!~tim@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Yay! I'm in the topic. < 1354562187 454050 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :but there is no link to the logs now! < 1354562257 201432 :Gregor!codu@codu.org TOPIC #esoteric :< AnotherTest> No more topic :( | No more logs :( < 1354562294 348892 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi TOPIC #esoteric :< AnotherTest> No more topic :( | No more logs :( | http://codu.org/logs/_esoteric/ < 1354562307 946624 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1354562315 538326 :olsner!~salparot@c83-252-194-156.bredband.comhem.se TOPIC #esoteric :No more :( < 1354562321 195913 :Gregor!codu@codu.org TOPIC #esoteric :Logs: http://5z8.info/turkeyporn_o4u1vn_molotovcocktail < 1354562344 944695 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric ::D < 1354562430 768176 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :gobble gobble < 1354562433 271312 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :how did you get so legit url? < 1354562440 565377 :Gregor!codu@codu.org PRIVMSG #esoteric :shadyurl.com < 1354562457 607381 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :ah < 1354562596 883828 :Gregor!codu@codu.org PRIVMSG #esoteric :... two people in the cubes next to me are arguing about using oil vs butter in brownies X_X < 1354562647 447406 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :if brownies is similar to what I think it is similar to, oil doesn't work < 1354562737 476598 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What about oil v. butten in ponies? < 1354562741 681883 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Butten. < 1354562746 969171 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Butten butten. < 1354562753 690108 :Gregor!codu@codu.org PRIVMSG #esoteric :fizzie: You sick, sick fuck. < 1354562761 391732 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :derfinertly butten < 1354562773 620982 :Gregor!codu@codu.org PRIVMSG #esoteric :CLICK THE PONY BUTTON < 1354564547 276709 :AnotherTest!~tim@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1354564547 666560 :ogrom!~del@gprs-inet-65-30.elisa.ee JOIN :#esoteric < 1354564608 945929 :nys!~nysnamovo@blk-142-60-139.eastlink.ca JOIN :#esoteric < 1354564942 541657 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1354565093 358232 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Computer has gone to sleep. < 1354565590 81587 :sebbu2!~sebbu@ADijon-152-1-43-239.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1354565608 527756 :sebbu2!~sebbu@ADijon-152-1-43-239.w83-194.abo.wanadoo.fr QUIT :Changing host < 1354565608 601095 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1354565632 190144 :jfischoff!~jfischoff@c-67-169-45-161.hsd1.ca.comcast.net JOIN :#esoteric < 1354565778 25745 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 244 seconds < 1354566042 288632 :jfischoff!~jfischoff@c-67-169-45-161.hsd1.ca.comcast.net QUIT :Quit: jfischoff < 1354566666 15790 :david_werecat!~david_wer@205.211.50.170 JOIN :#esoteric < 1354566701 820530 :ogrom!~del@gprs-inet-65-30.elisa.ee PART #esoteric :"Left" < 1354566846 971353 :jfischoff!~jfischoff@c-67-169-45-161.hsd1.ca.comcast.net JOIN :#esoteric < 1354567089 910060 :epicmonkey_!~epicmonke@188.134.41.172 QUIT :Ping timeout: 260 seconds < 1354567580 584432 :david_werecat!~david_wer@205.211.50.170 QUIT :Quit: Quitting... < 1354568047 409775 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : sleep is that time of the day when people don't pay attention as I break into their kitchens looking steal'em cookies <-- i suggest not trying that with me. < 1354568157 409358 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oklopol: you are depriving fizzie of a once-in-a-lifetime experience to meet oklopol!! <-- has anyone on this channel ever successfully met oklopol? < 1354568197 296461 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think oklofok has. < 1354568214 936235 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fellow clones don't count, fizzie < 1354568253 201629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : and also: the first #esoteric meeting ever <-- oh. < 1354568260 914036 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :maybe we should all go visit oklopol at the same time some time < 1354568271 511152 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :ACTION om nom ? :( < 1354568281 983796 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :... and get murdered by his 15 clones < 1354568332 876315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :c00kiemon5ter: (1) i don't sleep at sane times (2) i have no cookies afaik. (although there is milk chocolate.) < 1354568349 116603 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've technically met some #esoteric people; mooz, ineiros, and sort of unidirectionally Deewiant in that he's seen me several times but I still don't know what he looks like. < 1354568354 573443 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(1)(*) except by accident < 1354568387 677716 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :if you count "technically", maybe you'd have to count IRC and that's boring < 1354568460 90109 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The first two are "technically" in the "#esoteric people" aspect (mooz hasn't been here in a long time, ineiros is mute) while the last is "technically" in the "meet" aspect. < 1354568516 442150 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i must have met [[User:Rune]] from the wiki at some time, although this was surely before #esoteric existed. < 1354568521 136702 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Have you met any of the people here? < 1354568521 885162 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fizzie: later tell sjamaan also, the convention of returning the offset. i normally do that, though < 1354568534 878910 :arcatan!arcatan@hilla.kapsi.fi PRIVMSG #esoteric :i've met some of the guys here before joining this channel. hmm. < 1354568542 542541 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think shachaf and kmc have met. < 1354568547 637412 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1354568563 455125 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :At least it's the sort of "vibe" I've gotten from there. < 1354568571 329255 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1354568573 389658 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Wink, wink. < 1354568624 398054 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh, shachaf and kmc have a vibe? good for them! < 1354568626 187440 :arcatan!arcatan@hilla.kapsi.fi PRIVMSG #esoteric :"unidirectionally meeting people" is a great term < 1354568668 430031 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suppose it doesn't really count as a "#esoteric meet" unless the meeting happens first on-channel and only later in real life, possibly even with a causal relationship to the on-channel meeting. < 1354568706 64759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: my chances are truly slim, then. < 1354568724 965090 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Since there's a connotation of the channel having brought the people involved together. < 1354568813 971285 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well what if they first met irl but it didn't work out and then they met again on the channel and realized how much they shared < 1354568843 884948 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :very romantic! < 1354568872 231232 :Deewiant!~deewiant@109.75.188.190 PRIVMSG #esoteric :I think I've met arcatan. < 1354568910 488625 :arcatan!arcatan@hilla.kapsi.fi PRIVMSG #esoteric :yeah, we've met < 1354568933 27818 :arcatan!arcatan@hilla.kapsi.fi PRIVMSG #esoteric :I've also met Lumpio- and nortti, and unidirectionally met at least atehwa < 1354568943 188452 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: Are you sure you're not thinking of HackEgo? < 1354568944 393763 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1354568952 738648 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1354568970 341222 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :8) < 1354568993 853429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : arcatan: it is of great theological importance <-- it would provide nearly incontrovertible proof that the people on #esoteric are not just figments of imagination! < 1354569012 567899 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Is arcatan some kind of a Finn too? I mean, that's a very suspicious list. < 1354569029 846436 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hm, I've met at least four people in this channel. < 1354569031 965664 :arcatan!arcatan@hilla.kapsi.fi PRIVMSG #esoteric :the programming kind < 1354569033 271030 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: /whois corroborates that < 1354569047 692852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not including myself and lambdabot. < 1354569047 843019 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :`? finland < 1354569059 741244 :HackEgo!codu@codu.org PRIVMSG #esoteric :Finland is a European country. There are two people in Finland, and at least nine of them are in this channel. Corun drives the bus. < 1354569120 620774 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :/whois corun show up a not-very-finnish looking whowas < 1354569123 153687 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*s < 1354569153 129514 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :you don't have to be finnish to drive the bus < 1354569155 147537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Well, no one said that sentence has anything to do with the preceding two. Corun drives the bus. < 1354569167 137803 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Which bus < 1354569181 286054 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: AAAA < 1354569184 331384 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Lumpio-: the bus that Corun drives < 1354569186 880131 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :The usual interpretation of that would be the Corun drives the bus of Finland (yes, *the* bus) < 1354569190 169454 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was assuming the finnish bus. < 1354569193 8564 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :why would you need multiple buses for a country with only two people < 1354569204 893084 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :silly question......................... < 1354569213 207875 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :especially when 9 of them are on IRC and don't need bussing around in the first place < 1354569323 278921 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 260 seconds < 1354569346 154239 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: to get from one end of the country to the other?? < 1354569357 874318 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: use logic next time ok < 1354569432 229664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oklofok: I... suppose? It was about doing this one thing faster than other people do that thing. He claimed he's the only one from "his people" dabbling with anything pattern-recognition related. < 1354569450 530092 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i get this vibe fizzie is becoming more similar to fungot, in that dog/owner sense < 1354569451 316564 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :oerjan: richard stallman, fnord, desolation, and fnord is on the eso forum to demonstrate. < 1354569453 431586 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :pattern recognition < 1354569473 158444 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :less fnords, i guess < 1354569477 221796 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*fewer < 1354569552 746405 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :pattern recognition < 1354569561 518354 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :that's tartan < 1354569586 168156 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's plaid to see < 1354569602 674266 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I am not like fungot! The whole idea is ludicrous. That sword alone can't stop. < 1354569603 387627 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fizzie: ccnum.scm released. http://www.neilvandyke.org/ weblog/". tell me if astyle works on fnord < 1354569638 988528 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...i cannot `addquote a conversation including me, can i? < 1354569643 84117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*may not < 1354569668 749045 :Gregor!codu@codu.org PRIVMSG #esoteric :Nothing's stopping you, but if you do, you'll be killed and fed to starving children. < 1354569675 5329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1354569676 817899 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1354569681 950252 :Gregor!codu@codu.org PRIVMSG #esoteric :So all said and done it's a good deed. < 1354569684 641592 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1354569719 762308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :very tempting, then < 1354569745 709225 :Gregor!codu@codu.org TOPIC #esoteric :Logs: http://5z8.info/turkeyporn_o4u1vn_molotovcocktail#gobblegobble < 1354569763 649077 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :22:07 < oerjan> very romantic! < 1354569764 432107 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :22:21 < oerjan> very tempting, then < 1354569766 279551 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes shachaf and i have met irl < 1354569769 336289 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :i see a pattern here < 1354569776 37868 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :once at boston python and once at the stripe ctf meetup in sf < 1354569779 377640 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and maybe another time < 1354569787 711293 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :we are more awkward in person < 1354569789 368113 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nooga: is it plaid? < 1354569796 257254 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :very plaid! < 1354569815 162747 :arcatan!arcatan@hilla.kapsi.fi PRIVMSG #esoteric :hey, does anyone know about a programming language based on minimization? like the µ operator for µ-recursive functions < 1354569837 692834 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :or < 1354569842 52423 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :well plaid, oerjan < 1354570053 138135 :Sgeo|MOG11111!ad034ea6@gateway/web/freenode/ip.173.3.78.166 QUIT :Ping timeout: 245 seconds < 1354570221 724816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : hmm, I think 'anywhere' sometimes means something more like 'somewhere' ... feels a bit like universal/existential quantification <-- maybe, but recall that scandinavian languages don't have distinct words for english "some" and "any" < 1354570286 909663 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where any < 1354570287 105965 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :I know nothing about any. < 1354570291 451809 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google trebla any all some < 1354570293 117944 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :http://www.vex.net/~trebla/weblog/any-all-some.html < 1354570293 191300 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Title: Any, For All, Exists < 1354570772 530971 :atriq!~nathan@host-84-13-69-115.opaltelecom.net JOIN :#esoteric < 1354570921 871663 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :back to your old atriq < 1354570930 87131 :atriq!~nathan@host-84-13-69-115.opaltelecom.net PRIVMSG #esoteric :Different computer < 1354570935 860225 :atriq!~nathan@host-84-13-69-115.opaltelecom.net PRIVMSG #esoteric :Different settings < 1354570949 864452 :atriq!~nathan@host-84-13-69-115.opaltelecom.net NICK :Ngevd < 1354570951 550911 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you order a klein bottle shipped via USPS/UPS/DHL/whatever, will the tracking page say "volume: 0"? < 1354570965 574252 :Ngevd!~nathan@host-84-13-69-115.opaltelecom.net PRIVMSG #esoteric :fizzie, if it's not in a box < 1354570965 730669 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Ngevd: You have 1 new message. '/msg lambdabot @messages' to read it. < 1354570966 560900 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if you order helium balloons does it have a negative weight < 1354570979 707941 :Bike!~Glossina@207-224-23-226.ptld.qwest.net PRIVMSG #esoteric :i don't think usps usually ships through the fourth dimension < 1354570998 871973 :oerjan!oerjan@sprocket.nvg.ntnu.no NICK :oerjan_ < 1354571001 84112 :oerjan_!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boo < 1354571002 490287 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know if they measure mass or weight. I mean, the do state it in grams. < 1354571002 899996 :Ngevd!~nathan@host-84-13-69-115.opaltelecom.net NICK :Taneb < 1354571008 19288 :oerjan_!oerjan@sprocket.nvg.ntnu.no NICK :oerjan < 1354571068 781399 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(By way of context, according to the post office parcel tracking system, what they're delivering to me has a mass of 0.00 kg and a volume of 0 m^3, but I didn't order a massless klein bottle.) < 1354571091 483521 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :^rot13 Taneb < 1354571091 705805 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Gnaro < 1354571107 90757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 FireFly < 1354571107 493690 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :SverSyl < 1354571112 327237 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^rot14 Gnarly. < 1354571117 946372 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^rot13 Gnarly. < 1354571118 292316 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Taneyl. < 1354571123 142512 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION  < 1354571137 783976 :ion!ion@heh.fi PRIVMSG #esoteric :ACTION  < 1354571143 442020 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i'm sorry, only dour puns allowed today < 1354571154 397342 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 ion oerjan monqy < 1354571154 800220 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :vba brewna zbadl < 1354571173 107855 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That sounds like an incantation. < 1354571181 844090 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Remote host closed the connection < 1354571190 521248 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ia, ia, vba brewna zbadl! < 1354571211 379573 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Read error: Connection reset by peer < 1354571389 40644 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter QUIT :Ping timeout: 244 seconds < 1354571548 405960 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1354571577 398436 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1354571622 472107 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 shub niggurat < 1354571622 830290 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fuho avttheng < 1354571637 171006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^rot13 shub niggurath < 1354571637 595729 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fuho avtthengu < 1354571645 843562 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 fizzie fungot < 1354571646 236907 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :svmmvr shatbg < 1354571658 652711 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 olsner oklofok oklopol < 1354571659 121864 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :byfare bxybsbx bxybcby < 1354571660 889364 :Taneb!~nathan@host-84-13-69-115.opaltelecom.net PRIVMSG #esoteric :Summer shitbag? < 1354571790 48829 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Did you hear that? < 1354571790 711865 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fizzie: still had the older version) somewhere else. what unclear in that? :) < 1354571805 368370 :Sgeo!~Sgeo@173.3.78.166 JOIN :#esoteric < 1354571822 135047 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1354571824 417171 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1354571867 767068 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Read error: Connection reset by peer < 1354571878 582138 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1354571931 998092 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^rot13 ehird < 1354571932 388652 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :ruveq < 1354571992 988078 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1354572013 464005 :nys!~nysnamovo@blk-142-60-139.eastlink.ca PRIVMSG #esoteric :byfare < 1354572346 975384 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1354572861 734100 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1354572933 346334 :Sgeo!~Sgeo@173.3.78.166 QUIT :Ping timeout: 245 seconds < 1354573149 462039 :Taneb!~nathan@host-84-13-69-115.opaltelecom.net QUIT :Ping timeout: 256 seconds < 1354573444 978615 :nooodl!~nooodl@91.177.40.155 PRIVMSG #esoteric :^rot13 shachaf < 1354573445 301147 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :funpuns < 1354573457 20118 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oerjan: nånstans, varsomhelst, överallt? < 1354573469 788953 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :not as systematic as X-where, but whatever < 1354573509 297776 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1354573663 456283 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 260 seconds < 1354573674 288914 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner: anywhere can also be translated as nånstans in some uses < 1354573814 14030 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :that's what I was referring to < 1354573828 927292 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Would that Hotspot trick help for something like GHC's GC, where it does a comparison and conditional jump on every allocation? < 1354573837 269411 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :some = nån, any = nån or vilkensomhelst, depending on meaning (modulo actual swedish spelling) < 1354573843 89064 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I suppose the overhead of a page fault is too high for how often it needs to GC. < 1354573848 846657 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: maybe < 1354573863 488949 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1354573872 399845 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you might use it for cheap checkpoints in allocation-free loops < 1354573878 22241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nooodl: ONLY DOUR PUNS, I SAID < 1354573878 570378 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but ezyang has a different clever solution < 1354573881 65806 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that i think is implemented < 1354573908 746327 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's that solution? < 1354573911 855444 :nooodl!~nooodl@91.177.40.155 PRIVMSG #esoteric :what is dour < 1354573951 49130 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oerjan: säg ett datum, vilket som helst (http://www.youtube.com/watch?v=3QXL-o8DQM4) < 1354573961 778359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nooodl: almost the opposite of fun < 1354573962 193007 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you compile your loops with whatever check, and then you copy that page of code and make another page which is exactly the same except that the checks are replaced by NOPs < 1354573980 146979 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner: um "datum" isn't a common norwegian word, please clarify < 1354573980 460154 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan has a dour odour. < 1354573981 985650 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :then when another thread wants to make your thread stop at a checkpoint, it masks the appropriate bit in the instruction pointer < 1354574027 431163 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oerjan: date < 1354574039 343709 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :3 december *ducks* < 1354574045 662527 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :i.e. calendar date, not the fruit or the activity < 1354574072 699028 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :the fruit is spelt date? < 1354574081 581488 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I think so < 1354574088 958124 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1354574120 90987 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A date with a date. < 1354574150 530643 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(SO MANY MEANINGS!) < 1354574186 98950 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :a date had a date with a date, but the date forgot the date < 1354574217 460140 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But the future refused to change. < 1354574917 691557 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so here's a language: < 1354574927 98565 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :each program is a pair (n, p) < 1354574945 862115 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :where n is a natural number < 1354575012 215752 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and p a program in befunge-93, except with unbounded playfield (instructions p and g have access to an infinite grid) < 1354575078 567957 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well numbers on the befunge stack are bounded so let's say that it's an infinity of bound * bound squares, and p and g can only affect cells in the square the ip currently is in, or something < 1354575096 721113 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so running the program (n, p) is similar to running p as befunge < 1354575115 901890 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :except that every instruction goes along with an accumulator < 1354575134 348804 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and if ever one instruction's accumulator goes higher than n execution halts < 1354575152 109373 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :prove tc (you have two hours) < 1354575229 552821 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :may the nonzero subset of the field be unbounded? May it be aperiodic? < 1354575236 7286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um is the accumulator tied to the spot in the playfield? < 1354575287 205667 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :if aperiodic, it's quite trivial < 1354575311 874533 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think you need that. finite initial setup should be sufficient. < 1354575349 727249 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :not sure I understand your questions < 1354575361 406953 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :idea is playfield is infinite and each cell has an accumulator < 1354575370 352906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right, each cell. < 1354575383 744240 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but is the initial program infinite? < 1354575387 954317 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :nope < 1354575397 327331 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :but you get p and g < 1354575428 265590 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i think you can do a turing machine that copies itself in some direction each step < 1354575434 198774 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that's the idea < 1354575437 638675 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :what if n = 1 < 1354575448 676847 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you need a big n, obviously < 1354575454 99294 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :if n = 1 then creating a new instruction costs you an instruction < 1354575469 416815 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oh, n isn't provided < 1354575469 815353 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ok < 1354575485 601765 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah, this seems doable < 1354575524 134481 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :also: is there some constant N such that the subset of pairs (N, p) is also turing-complete? < 1354575540 203132 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes i think so < 1354575548 925196 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that would force you to write quining befunge programs :) < 1354575561 755560 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...you have to do that anyhow < 1354575612 217935 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or perhaps a cellular automaton is more intuitive than a TM here < 1354575646 433132 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :("that" was the whole thing, not the bound on n < 1354575648 835749 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(a 1d one) < 1354575666 22527 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which "that"? < 1354575680 249048 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right < 1354575704 606659 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I'd just use i < 1354575735 210642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i would then represent each CA cell as a subsquare of the befunge program that takes care of copying itself to the next level and calculating the right CA value to put there < 1354575985 336119 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Can you write anything into an empty square, though? < 1354575999 399982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :isn't that what p does? < 1354576002 414012 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The p doing the writing would have to be in that square. < 1354576006 966278 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not cell, square. < 1354576052 20924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not _that_ big squares, smaller than the relative wrapping < 1354576057 670525 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"an infinity of bound * bound squares, and p -- can only affect cells in the square the ip currently is in" kind of square. < 1354576091 512362 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, but the squares to represent cells don't have to be anywhere near as large as bound * bound, if bound is something like 2^23 < 1354576114 929328 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, but wouldn't you eventually have to get out of the wrapping-square? < 1354576127 17621 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If the cells in it wear out and all. < 1354576127 919111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. i was assuming the bound*bound squares were centered on the current ip < 1354576150 362289 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's not what it sounds like, but I guess it could be. < 1354576152 918358 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so that they overlap. < 1354576163 83056 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :otherwise there could be a problem yeah < 1354576214 149642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess what Arc_Koen actually said doesn't imply overlapping < 1354576228 10435 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It *sounds* like there's a fixed grid of squares, but that might be just me. < 1354576231 103098 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1354576285 339464 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't know befunge well enough to know whether there is an instruction that could get around that < 1354576320 426143 :Bike!~Glossina@207-224-23-226.ptld.qwest.net NICK :Bike`afk < 1354576339 314322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you could save data on the stack instead of moving across the boundary directly, but you would still need some way to get a minimal program into a non-used square < 1354576372 363633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to do the copying from the stack to a nearly empty square < 1354576450 2785 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1354576457 332776 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://esolangs.org/wiki/Befunge-93 seems to have nothing other than p < 1354576461 333137 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think 93 has anything that can write to playfield except p. < 1354576479 526402 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :98 also has s which might work though would be quite awkward to use. < 1354576519 682965 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It writes a character to pos+delta, but I can't recall if it the skips that character or not. < 1354576541 903303 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Of course it'd wrap so maybe it's not a problem even if it skips it. < 1354576553 685732 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Arc_Koen: so i think we are going to need the p restricting squares to be overlapping for this to work < 1354576557 70088 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Moot point, of course, since it wasn't 98. < 1354577303 137554 :ion!ion@heh.fi QUIT :Ping timeout: 246 seconds < 1354577328 305266 :sebbu2!~sebbu@83.194.57.239 JOIN :#esoteric < 1354577345 67635 :sebbu2!~sebbu@83.194.57.239 QUIT :Changing host < 1354577345 140576 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1354577357 561942 :Bike`afk!~Glossina@207-224-23-226.ptld.qwest.net NICK :Bike < 1354577395 292744 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1354577480 120093 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have now my own concept, another way to group pokemons, where each pokemon also belongs to a "prefix group". A prefix group is identified by zero, one, or two letters. All official pokemons belong to the Nintendo prefix group, identified by no letters. There is a partial order on prefix groups, with Nintendo being initial. < 1354577522 624189 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you like this? < 1354577525 116996 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1354577616 847314 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is designed to be usable with battle simulators supporting custom pokemon species. < 1354577707 140243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why zero, one, or two? < 1354577719 233715 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :because 3 would just be madness < 1354577738 218314 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 26^2 + 26^2 < 1354577739 701660 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 1352 < 1354577741 843501 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :So that the ID could fit in a six character field. It could be extended to three letters if necessary. < 1354577749 254978 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 26^2 + 26^1 + 26^0 < 1354577750 688789 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 703 < 1354577778 564960 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :703 is hardly better than 1. < 1354577795 724371 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Possibly even four or five if the number of species per those groups is very small. < 1354577818 232382 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"zzo" would make a good prefix group. < 1354577829 931137 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where does your nick come from, anyway? < 1354577848 855986 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't actually know for sure. < 1354578024 721855 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 264 seconds < 1354578091 971834 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1354578120 575645 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Remote host closed the connection < 1354578200 887623 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is the best way to represent the partial ordering in the computer? < 1354578272 244838 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A long English document? < 1354578323 803117 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I wanted to do something in a ASCII text file which is both readable by people and processable by computer. < 1354578344 355040 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And in a packed form that does not necessarily require every one. < 1354578364 907560 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :As well as being easy to correct. < 1354578459 944013 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1354578651 767588 :jfischoff!~jfischoff@c-67-169-45-161.hsd1.ca.comcast.net QUIT :Quit: jfischoff < 1354578977 844327 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1354579021 295531 :sebbu!~sebbu@83.194.57.239 JOIN :#esoteric < 1354579021 369013 :sebbu!~sebbu@83.194.57.239 QUIT :Changing host < 1354579021 369180 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric