< 1383004804 993655 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :hm, maybe this paper from 1917 will enlighten me!! < 1383004808 65595 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :whoever started writing about nerves being unable to cross < 1383004827 902727 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what are they getting into < 1383004859 613904 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :mnoqy: hey what's that book on foundations or whatever that's under git < 1383004876 126733 :mnoqy!~okay@pool-98-108-206-220.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the homotopy type theory one? < 1383004879 973709 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah that thanks < 1383004893 943063 :mnoqy!~okay@pool-98-108-206-220.snloca.dsl-w.verizon.net PRIVMSG #esoteric :http://homotopytypetheory.org/book/ this one < 1383004947 45846 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :googling "hott book" gets you pinups < 1383004947 249603 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :should have expected that tbh < 1383005012 442792 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :does anyone actually know what it has to do with homotopy < 1383005020 249852 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :no < 1383005154 815091 :mnoqy!~okay@pool-98-108-206-220.snloca.dsl-w.verizon.net PRIVMSG #esoteric :they talk about it in the book < 1383005166 893023 :mnoqy!~okay@pool-98-108-206-220.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i don't think i'd be able to explain it though < 1383005186 119299 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i remember paths were involved but i don't remember that helping < 1383005191 240421 :shikhin_!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1383005518 46060 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1383006642 8884 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 240 seconds < 1383006864 153214 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix $ (1:).tail.(<**>[id,succ]) < 1383006865 536239 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,2,3,3,4,3,... < 1383006869 254986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: ^ < 1383006873 416721 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :nice < 1383006888 327612 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric ::t (<**>[id,succ]) < 1383006889 311452 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Enum b => [b] -> [b] < 1383006895 388914 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :> (<**>[id,succ]) "hello" < 1383006896 751145 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : "hieflmlmop" < 1383006921 870186 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh interleaved, interesting < 1383006930 674594 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :> (<**>[id,succ]) [0,1,1,2] < 1383006931 476315 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric ::t (<**>) < 1383006932 78596 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [0,1,1,2,1,2,2,3] < 1383006932 591128 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Applicative f => f a -> f (a -> b) -> f b < 1383006977 46917 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :huh so you can get this sequence by repeatedly concat'ing the succ'd sequence OR by repeatedly interleaving the succ'd sequence < 1383006980 47922 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's interesting < 1383007169 122502 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :> fix $ (False:).tail.(<**>[id,not]) < 1383007170 425240 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [False,True,True,False,True,False,False,True,True,False,False,True,False,Tr... < 1383007361 946470 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: it's basically the difference between counting bits in little-endian or big-endian order < 1383007403 629561 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: hm, yeah < 1383007428 935751 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oerjan: how would you do it with concat? < 1383007432 995806 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nooodl: yeah that's thue-morse, which is just the (inversed) parity of kmc's sequence < 1383007443 218502 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1383007465 763598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm... < 1383007557 531943 :mnoqy!~okay@pool-98-108-206-220.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1383007558 387966 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait kmc _did_ start his sequence at 0, it was Bike who changed that to 1. so scratch "(inversed)" < 1383007567 685565 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what < 1383007582 483782 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh,i was just testing initial conditions. < 1383007600 13018 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> fix $ ([4,6,3]++).tail.(<**>[id,succ]) < 1383007604 522852 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : can't find file: L.hs < 1383007607 864181 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> fix $ ([4,6,3]++).tail.(<**>[id,succ]) < 1383007610 537701 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [4,6,3,5,6,7,3,4,5,6,6,7,7,8,3,4,4,5,5,6,6,7,6,7,7,8,7,8,8,9,3,4,4,5,4,5,5,... < 1383007621 639511 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :> (!!4) $ iterate (\x -> x ++ [map succ $ concat x]) [[0]] < 1383007622 935143 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [[0],[1],[1,2],[1,2,2,3],[1,2,2,3,2,3,3,4]] < 1383007627 19077 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :that's... is that the same < 1383007641 203678 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: your adjustment makes no sense with my method. < 1383007667 515485 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :pshaw, expecting i'd at all understand something before hitting it with a tastefully tasseled wrench. < 1383007705 8287 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :I want a function that takes a list and gives you the result of infinite iterations of (\xs -> xs ++ (map (1+) xs)). < 1383007711 734770 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :> concat $ fix $ ([0]:).(\x -> x ++ [map succ $ concat x]) < 1383007712 884172 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,... < 1383007715 57157 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :or generalize that, who fuckin cares. < 1383007719 210821 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :fuck everything. fuck everybody < 1383007723 72162 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :oops. fuck everything < 1383007734 125644 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :I'm ahead of the curve, thefuc-related curve < 1383007804 19671 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :in other words, a fixed point combinator that doesn't give bottom all the fucking time. < 1383007815 537160 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :[sex joke]. < 1383007818 81290 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :Bike: take the diagonal of "iterate (\xs -> xs ++ (map (1+) xs)) start". imo optimized?? < 1383007838 838491 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :for speed < 1383007845 391542 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :that's gotta be like O(2^n^n^n) < 1383007848 93654 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fucking < 1383007870 464716 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :now let me take a few minutes to work out how to write diagnoal :V < 1383007897 699156 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :zipWith (!!) xs [0..] < 1383007916 865706 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :does that work?? i'm pretty tired < 1383007930 839114 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric ::t head < 1383007931 778062 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :[a] -> a < 1383007936 400362 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :> zipWith (!!) [[1,2,3],[4,5,6],[7,8,9]] [0..] < 1383007937 739364 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [1,5,9] < 1383007942 795352 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :B) < 1383007943 467196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f l = (+) <$> l <*> (fix $ (0:).tail.(<**>[id,succ])) in f [4,6,3] < 1383007944 732300 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [4,5,5,6,5,6,6,7,5,6,6,7,6,7,7,8,5,6,6,7,6,7,7,8,6,7,7,8,7,8,8,9,5,6,6,7,6,... < 1383007954 229472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm oh wait < 1383007983 989617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f l = (+) <$> (fix $ (0:).tail.(<**>[id,succ])) <*> l in f [4,6,3] < 1383007985 232857 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [4,6,3,5,7,4,5,7,4,6,8,5,5,7,4,6,8,5,6,8,5,7,9,6,5,7,4,6,8,5,6,8,5,7,9,6,6,... < 1383007991 553529 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there you go >:) < 1383007996 417344 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :elegant < 1383008035 751422 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :> let xs = [4,6,3] ++ map (1+) xs in xs < 1383008036 951895 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [4,6,3,5,7,4,6,8,5,7,9,6,8,10,7,9,11,8,10,12,9,11,13,10,12,14,11,13,15,12,1... < 1383008049 828395 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :ah. yes. ok i really need to go to bed < 1383008059 695687 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> fix (\f get xss -> (get.head xss):(f (get.tail) (tail xss))) head [[1,2,3],[4,5,6],[7,8.9]] < 1383008060 862205 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Couldn't match expected type `a0 -> [c0]' with actual type `[t0]'Couldn't m... < 1383008068 163954 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it's cool how i'm the worst programmer ever. < 1383008122 466119 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> zipWith (!!) ((\xs -> xs ++ (map succ xs)) [0]) [0..] < 1383008123 672192 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : No instance for (GHC.Show.Show c0) < 1383008123 818077 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : arising from a use of `M1104756188.sh... < 1383008138 821405 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :((\xs -> xs ++ (map succ xs)) [0]) < 1383008142 460197 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> ((\xs -> xs ++ (map succ xs)) [0]) < 1383008143 708435 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [0,1] < 1383008144 417979 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :at least i'm a worse biologist! < 1383008153 515204 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, um. < 1383008157 411928 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> (iterate (\xs -> xs ++ (map succ xs)) [0]) < 1383008158 858167 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [[0],[0,1],[0,1,1,2],[0,1,1,2,1,2,2,3],[0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4],[0... < 1383008161 23111 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :right. yeah. wow. < 1383008170 895722 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> zipWith (!!) (iterate (\xs -> xs ++ (map succ xs)) [0]) [0..] < 1383008172 183403 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,1,2,2,3,2,... < 1383008196 74740 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :@let diagonal ls = zipWith (!!) ls [0..] < 1383008197 355383 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Defined. < 1383008208 905892 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> diagonal $ iterate (\xs -> xs ++ (map succ xs)) [0..] < 1383008212 433701 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,... < 1383008220 741525 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :imo i'm a genius ;_; < 1383008237 227047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :looks familiar. < 1383008244 236960 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :let's check oeis < 1383008248 815485 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :@oeis 0,1,2,3,4,5,6 < 1383008257 614461 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Digital sum (i.e. sum of digits) of n; also called digsum(n).[0,1,2,3,4,5,6,... < 1383008263 90705 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :ah yes < 1383008266 534596 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :right, right. < 1383008268 171696 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :the digital sum. < 1383008273 697091 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :clearly. < 1383008276 793640 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :digital bath < 1383008280 115567 :nooodl!~nooodl@91.176.144.30 PRIVMSG #esoteric :`thanks oeis < 1383008281 940842 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, oeis. Thoeis. < 1383008289 982894 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I dig sums < 1383008329 245675 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oeis should sort by kolmogorov complexity to avoid this sort of thing < 1383008335 866355 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> diagonal [[1,2],[3,4]] < 1383008339 584201 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [1,4] < 1383008356 512324 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ok what did i... oh, well, wow. < 1383008361 922964 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> diagonal $ iterate (\xs -> xs ++ (map succ xs)) [0] < 1383008365 436759 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,1,2,2,3,2,... < 1383008365 617428 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah, ok, go me. < 1383008417 410369 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :According to Oleg, zippers are delimited continuations. Not entirely sure what that means, but I wonder what implications there are for lenses < 1383008445 287743 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i wonder what implications there are for uzbekistan's human rights situation. < 1383008511 441763 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> concat . fix $ ([0]:) . map (map succ . concat) . tail . inits < 1383008512 739677 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,1,2,2,3,2,... < 1383008538 780652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :someone asked about using concat. < 1383008548 269018 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :not exactly what i had in mind, but whatever. < 1383008567 804008 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> concat . fix (([8,0,3]:) . map (map succ . concat) . tail . inits) < 1383008569 48266 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Couldn't match type `[[t0]]' with `a0 -> [[a1]]' < 1383008569 193316 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Expected type: [[t0]] -> ... < 1383008600 52721 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recommend keeping the $ < 1383008608 462392 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> concat . fix $ ([8,0,3]:) . map (map succ . concat) . tail . inits < 1383008609 711504 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [8,0,3,9,1,4,9,1,4,10,2,5,9,1,4,10,2,5,10,2,5,11,3,6,9,1,4,10,2,5,10,2,5,11... < 1383008619 50606 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ah this one works. Good Job < 1383008642 494424 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> concat . fix $ ([8,0,3]:) . map (tail . concat) . tail . inits < 1383008643 743936 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [8,0,3,0,3,0,3,0,3,0,3,0,3,0,3,0,3,0,3,0,3,0,3,0,3,0,3,0,3,0,3,0,3,0,3,0,3,... < 1383008649 954012 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :cool < 1383008697 105096 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait hm... < 1383008768 195987 :nooodl!~nooodl@91.176.144.30 QUIT :Ping timeout: 268 seconds < 1383008774 57977 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> concat . fix $ ([0]:) . scanl (++) . map (map succ) < 1383008775 297502 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Couldn't match type `[[[b0]]] -> [[[b0]]]' with `[[b0]]' < 1383008775 443119 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Expected type: [[... < 1383008809 67745 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric ::t scanl < 1383008810 198369 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :(a -> b -> a) -> a -> [b] -> [a] < 1383008825 867779 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> concat . fix $ ([0]:) . scanl1 (++) . map (map succ) < 1383008827 250645 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : [0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,1,2,2,3,2,... < 1383008879 794336 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :less duplication of work < 1383008889 842807 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :highly efficient < 1383009427 393235 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://da-data.blogspot.kr/2013/03/optimistic-cuckoo-hashing-for.html < 1383009743 797798 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 272 seconds < 1383009976 685056 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1383010303 247783 :Halite!561ef8e9@gateway/web/freenode/ip.86.30.248.233 QUIT :Ping timeout: 250 seconds < 1383011156 820359 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Read error: Connection reset by peer < 1383011171 853339 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1383011709 259311 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 JOIN :#esoteric < 1383011832 48887 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :"Now the secret can be revealed: IO is a monad. Being a monad means you have access to some syntactical sugar with the do notation." < 1383011834 467049 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :what did I say < 1383012053 458470 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :time to write your monad tutorial "Monads are like what did I say" < 1383012246 126876 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what is with wikipedia's "george" theme < 1383012289 860258 :doesthiswork!~Adium@98.145.118.186 JOIN :#esoteric < 1383012751 923508 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok https://en.wikipedia.org/wiki/Wikipedia_talk:Today%27s_featured_article#The_week_of_George.3F < 1383012764 402049 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recall the Eagles, too. < 1383013012 771467 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :finally girl genius updated < 1383013033 996976 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :giant statues of agatha: check < 1383013511 378530 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 272 seconds < 1383013575 169762 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is Dream a Little Dream a good episode? < 1383013717 965677 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :I wonder why they build the giant agatha statues < 1383013829 171335 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :doesthiswork: i think gil got a little crazier in the time that has passed < 1383013870 541389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he's _really_ obsessing about her now. < 1383013882 671834 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :I wonder if he really is infected < 1383013891 918973 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :or maybe he's a clone < 1383013901 124459 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :and the real gil is still locked up < 1383013928 787933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well old klaus said he had used a different form of mind control on him, which would mean he is _not_ wasp infected < 1383013937 801453 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :assuming that was true. < 1383013940 513769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait < 1383013986 672905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :klaus also made it _look_ like gil is infected, but that was clearly fake, because the weasel critter did not react to _klaus_ and we _know_ he is infected. < 1383014019 444602 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Koen_ < 1383014029 254256 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's my reasoning, anyway. < 1383014059 215209 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but with all the Other clones running around, who knows what has happened in the meantime. < 1383014180 11550 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also at the time that happened, there hadn't been time enough to make a new spark-infecting wasp, i assume. presumably there will have been now, so he could have been infected later. < 1383014233 696811 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :otoh with the empire collapsed the Other might not really care what gil does any more. < 1383014274 744728 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :any way i was just satisfied that my guess last week that there would be giant statues was correct :) < 1383014311 495057 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also i'm monologuing, which means it's time for... < 1383014317 974353 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*MWAHAHAHAHAHAHAHAHAHAHAHAHA* < 1383014493 800469 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 272 seconds < 1383014627 711870 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1383015593 226898 :fishduck!~douglas_@gateway/tor-sasl/douglas/x-75997517 JOIN :#esoteric < 1383017197 406932 :fishduck!~douglas_@gateway/tor-sasl/douglas/x-75997517 PART :#esoteric < 1383017494 695454 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1383017509 687730 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: There, it's clearly on-topic here. < 1383018017 904869 :doesthiswork!~Adium@98.145.118.186 PRIVMSG #esoteric :is hashing that esoteric? < 1383018227 883710 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yes < 1383019360 557877 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :perhaps hash will fix etc. < 1383019780 342613 :CADD!~CADD@adsl-71-137-237-85.dsl.irvnca.pacbell.net JOIN :#esoteric < 1383019804 383050 :CADD!~CADD@adsl-71-137-237-85.dsl.irvnca.pacbell.net NICK :Guest41528 < 1383019817 33159 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: so when you do new Foo[n] and Foo is a POD type gcc won't store n < 1383019841 356917 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :sensible < 1383019848 582746 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :can you do that with templates in a reasonable way < 1383019879 861541 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com TOPIC #esoteric :ewige blumenkraft | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | logs: http://codu.org/logs/_esoteric/ or http://tunes.org/~nef/logs/esoteric/ < 1383019921 124490 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :with http://www.cplusplus.com/reference/type_traits/is_pod/ i imagine < 1383020053 198983 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh is that new < 1383020164 260657 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Boost has had them for a while < 1383021511 842499 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383021551 746230 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1383021796 254066 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383021868 884969 :Guest41528!~CADD@adsl-71-137-237-85.dsl.irvnca.pacbell.net QUIT :Remote host closed the connection < 1383021983 831934 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1383022033 874213 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 246 seconds < 1383023062 827906 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.bbc.co.uk/news/blogs-news-from-elsewhere-24707337 "Russia: Hidden chips 'launch spam attacks from irons'" < 1383023410 245454 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :How do I generalize a shifting pattern ((0,1,2,3,4,5,6,7,8,9,a,b,c,d,e,f) then (1,2,3,4,5,6,7,8,9,a,b,c,d,e,f,0)) in a ROM to any number of address and/or data bits? < 1383023455 399369 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :huh? < 1383023478 987353 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :I'm talking about ROMs and patterns in their data < 1383023483 529710 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :okay < 1383023495 165291 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :generally the patterns in a ROM aren't represented specially < 1383023516 781416 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :afaik < 1383023520 187261 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :How do I generalize it so I can calculate the pattern for 64 address bits and 32 data bits? < 1383023522 736443 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you just have a pile of bits < 1383023527 748806 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what pattern? < 1383023534 713867 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :The pattern I said < 1383023552 802542 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what does that pattern have to do with ROMs? < 1383023578 472726 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :well I have a ROM containing one for 8 address bits and 4 data bits in Logisim. < 1383023591 19315 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :How do I generalize it? < 1383023606 417979 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :So I can put it for 64 address/32 data? < 1383024762 21606 :trout!root@freebsd/developer/variable NICK :const < 1383024995 190436 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :" kmc: now stuck thinking of analogies between dynamic systems and iterated functions. V_V" an iterated function system can be thought of as a dynamical system, the functions giving an action of the free monoid < 1383025007 361619 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :your mom's a free monoid < 1383025016 2294 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the fixed-point they generate is the limit set of the system < 1383025055 375155 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(fixed-points are what you care about for IFS, and limit sets are something you care about for dynamical systems) < 1383025077 279898 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :aren't they the same thing < 1383025082 125497 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :wait you just said that < 1383025139 898098 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :was halite asking how to make a shifter < 1383025283 801727 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1383025337 437617 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i thought about linking http://en.wikipedia.org/wiki/Barrel_shifter but wasn't sure if it was relevant < 1383025340 441477 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but that's a thing < 1383025346 757318 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :don't know what it has to do with ROMs though < 1383025367 128609 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there's always a tradeoff between storing your lookup table in ROM vs. computing it with gates < 1383025529 198805 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's with people magically introducing GADT syntax just to express a type like "data T a = C a => T a"? < 1383025537 182960 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :GADT syntax is the best, is what < 1383025551 739667 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :in my hypothetical Haskell tutorial i will never get around to writing, we will use GADT syntax from the beginning < 1383025566 6192 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, then use it uniformly. < 1383025566 281782 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's less confusing < 1383025570 509058 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes, one should < 1383025580 86248 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"The basic results on this resonance were obtained not by strict mathematical arguments but by a combination of guesses and computer experiments" < 1383025587 31420 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :when you write «data Foo = Bar» it's super confusing that Foo is a type and Bar a value cause there's an equals sign between them!! < 1383025590 34652 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :should be a kind error imo < 1383025596 73621 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But writing "don't do data C a => T a = T a, because blah blah, instead you should do data T a where T :: C a => a -> T a" < 1383025609 213875 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's introducing two unrelated things at once < 1383025616 821582 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :sure, but the former is almost never useful < 1383025632 876409 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you're saying you can write «data T a = C a => T a» in GHC? < 1383025635 593552 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and get the latter behavior? < 1383025638 161966 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1383025640 355767 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hm < 1383025645 780610 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's pretty obscure though, isn't it? < 1383025650 875531 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and again, GADT syntax is clearer < 1383025659 419700 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: several layers of Halachic uncertainty, randomness, and delays < 1383025664 742375 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it? It seems pretty obvious to me if that's the behavior you're oging for. < 1383025668 460132 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shrug < 1383025678 374314 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's as obscure as ExistentialQuantification. < 1383025699 710724 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i'm already streaming through the weird russian names here, if you told me jews came up with this four thousand years ago i'd belive you (because of knuth THANKS KNUTH) < 1383025718 506333 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, every GADT is represented in GHC using a combination of ExistentialQuantification and various constraints like this (including type equality constraints). < 1383025740 128112 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :sure < 1383025748 271055 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway I don't object to either syntax, just to jumping to GADTs for no good reason. < 1383025753 781932 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i feel i'm worryingly close to learning what homotopy really is. < 1383025757 635920 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I found the syntax very confusing when I first saw it. < 1383025759 371613 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But anyway. < 1383025803 115325 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The trouble with GADT syntax is that it's verbose. < 1383025876 212043 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: what's homotopy < 1383025890 353957 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :a functor on the category of curves, < 1383025900 455768 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :endofunctor. whtever, fuck other functors. < 1383025919 558125 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's that category < 1383025922 629609 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: http://languagelog.ldc.upenn.edu/myl/llog/Gan11.jpg < 1383025953 575783 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :a strong argument against socialist price regulation < 1383026010 629642 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's a curve and what's a curve homomorphism < 1383026016 778114 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i think a homotopy is just a continuous function between continuous functions, though. < 1383026041 795383 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :no, wait, no, it's more like parametrized. < 1383026045 793837 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :w/e. i don't know shit. < 1383026078 241599 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :a curve is something with a homotopy with a line segment, hth < 1383026103 265229 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :am i going to have to ask https:wikipedia < 1383026135 170327 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :wikipedia literally says "a topological space which is locally homeomorphic to a line" < 1383026168 386720 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :holy shit there are some awesome names on wikipedia's "list of curves" < 1383026179 779432 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"Trisectrix of Maclaurin" "Tschirnhausen cubic" "Witch of Agnesi" < 1383026202 117398 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i'm pretty sure you can hire trisectrixes at brothels < 1383026207 822529 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :trisectrices? < 1383026218 664624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :everyone's heard of the witch of agnesi < 1383026329 630249 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: ok let's start with what's a continuous function :'( < 1383026351 11902 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :do you want me to go through epsilon delta also how serious are you being < 1383026375 686509 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i mean in general for arbitrary topological spaces < 1383026384 975517 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or does some epsilon delta thing work there too < 1383026395 460796 :^v!~DerpHerp@2601:4:4500:887:799b:618d:47ec:1d94 QUIT :Quit: Ping timeout: 1337 seconds < 1383026398 39702 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well as long as you have a metric, sure < 1383026432 755155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but you don't < 1383026450 544498 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, yeah, what am i thinking, you don't need metrics. < 1383026465 290786 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1383026480 893171 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how does the epsilon delta thing work in that case < 1383026517 425449 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :" i think a homotopy is just a continuous function between continuous functions, though." a homotopy is a _path_ between two continuous functions (it's a path pointwise, and it's continuous as a whole) < 1383026534 437190 :doesthiswork!~Adium@98.145.118.186 QUIT :Quit: Leaving. < 1383026538 510719 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :something like, for f : A -> B, if you have x there must be a neighborhood of x and a neighborhood of f(x) such that all points in the first neighborhood are in the second neighborhood under f < 1383026542 532698 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i think that's wrong < 1383026569 433977 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so you move f(x) to g(x) for all x simultaneously (f and g have to have the same domain and codomain for this to make sense) < 1383026574 420180 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"f is continuous at some point x ∈ X if and only if for any neighborhood V of f(x), there is a neighborhood U of x such that f(U) ⊆ V" < 1383026579 252293 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :son of a shit < 1383026593 566186 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, right, i just used the wrong quantifiers. < 1383026629 874494 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :no that's right < 1383026631 633414 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i think that's reasonably intuitive though. < 1383026643 234590 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh you mean at first < 1383026644 435517 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the thing i quoted is right because i didn't write it. the one i did write is wrong :D < 1383026649 107157 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ok < 1383026673 489595 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :this is where the whole "bike actually hasn't taken math past calculus" thing comes into play < 1383026682 304782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :btw i don't know any maths at all < 1383026690 729846 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :shachaf: does the definition make sense? < 1383026740 748213 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(generally people learn continuity quite a bit before homotopy) < 1383026771 21357 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :this is #esoteric, we don't give a shit about your "coherent pedagogical methods"!! < 1383026787 284591 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :with your first definition, every function is continuous < 1383026797 12889 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :right, very wrong < 1383026802 292871 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so yeah that's probably not right < 1383026804 891384 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: yes < 1383026809 358558 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :good < 1383026862 868974 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :since you could just take the neighborhood that is the entire space on both ends, which i realized while writing it, but i kept going anyway because gosh darn it sounded almost right. < 1383026889 387211 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah < 1383026895 21834 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :but of course if it's that every neighborhood of f has to have an image, you can keep shrinking that shit. which matches the intuition of continuity. < 1383026928 655271 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :exactly < 1383026934 400758 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :There's probably a good definition of homotopy for function spaces instead of sequences or whatever, but I don't know it. < 1383026946 571853 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well < 1383026959 492163 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :suppose first that f and g are paths < 1383026970 908459 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so f, g : [0, 1] \to X < 1383026976 28299 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :are continuous < 1383026987 436601 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :a homotopy is now a "rectangle" between them < 1383027009 494665 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :is this rectangle actually an infinite dimensional hypercube < 1383027014 396822 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :nope < 1383027016 123718 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i think it's just a rectangle < 1383027018 444876 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it's just a rectangle < 1383027023 673881 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :wow, that's a relief. < 1383027036 181415 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it's h : [0, 1] \times [0, 1] \to X such that h(x, 0) = f(x) and h(x, 0) = g(x) for all x \in X < 1383027041 125331 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :erm < 1383027045 245498 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it's h : [0, 1] \times [0, 1] \to X such that h(x, 0) = f(x) and h(x, 1) = g(x) for all x \in X < 1383027061 197313 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ARGH < 1383027064 901638 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :one last try. < 1383027074 422032 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it's h : [0, 1] \times [0, 1] \to X such that h(x, 0) = f(x) and h(x, 1) = g(x) for all x \in [0, 1] < 1383027082 85805 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :^ that should be right. < 1383027082 940370 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well i got the point regardless. < 1383027099 774218 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i only used the fact that they are paths so that i could call it a rectangle < 1383027103 815038 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that's the general definition < 1383027114 743984 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :so one [0,1] is how far you are along the path and the other is how far you are between paths. < 1383027121 230958 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :exactly < 1383027123 664188 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is it related to natural transformations somehow < 1383027179 526587 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :maybe there's a whatever between functors and paths. < 1383027189 15385 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :now as such this is kind of trivial: if the space X is path-connected, any two functions are homotopic < 1383027241 455373 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :paths defined like this can't actually be composed in an associative way, right < 1383027251 240397 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but you can for example choose x \in [0, 1] and y \in X (in the case of paths above) and restrict to functions such that f(x) = y < 1383027265 971816 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :shachaf: well X doesn't have to be the unit interval... < 1383027278 841008 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(and the homotopies must also go through only such functions, so that h(x, t) = y for all time parameters t) < 1383027280 27189 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :so that kind of... puts a damper on things < 1383027295 560944 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i really shouldn't've called the codomain X < 1383027308 620383 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, you meant that about functors being them. well sucks to be a path < 1383027322 849568 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :shachaf: they can if you consider them only up to homotopy equivalence < 1383027345 97792 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :clearly one should compose paths by having f(1) = g(0) and just stringing them along < 1383027371 713963 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :since non-associativity only comes from the fact that (f \circ f') \circ f'' and f \circ (f' \circ f'') are parametrized differently < 1383027391 42283 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Bike: you can, but that's only associative up to homoropy equivalence. < 1383027397 506079 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and also homotopy < 1383027420 266841 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i think Bike means that you can end up with a path : [0, 2] -> X or something < 1383027422 902063 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i really appreciate that you're taking the time to explain this to someone who's only half awake < 1383027425 82622 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh < 1383027433 492928 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :but yes that's what i meant, though shrinking the interval < 1383027441 416112 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :shrinking? < 1383027441 882916 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah you shrink < 1383027452 384516 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :shachaf: just making it [0,1] instead of [0,2]. < 1383027459 22129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if you do that then you don't get associativity anymore < 1383027468 185289 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :without this homotopy equivalence thing oklofok is talking about < 1383027478 827718 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so paths f and g compose into h(x) = f(2x) if x < 0.5 and h(x) = g(...) otherwise < 1383027486 511614 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :where ... is something really complicated < 1383027504 507605 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :like maybe (x-0.5)*2 < 1383027514 221169 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :sounds hard < 1383027520 267807 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah i looked it up < 1383027540 708122 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :you can also compose homotopies, the exact same way < 1383027551 124389 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(you shrink time) < 1383027551 791555 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :shachaf means if you did that then you'd get different shrinkages for (f.g).h and f.(g.h) though. < 1383027562 204425 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yes, and that's what i initially addressed < 1383027564 866099 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well, probably. if he doesn't then pretend i did. < 1383027567 61988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes, hence the whole "only up to homotopy equivalence" < 1383027568 844617 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :not this trivial issue < 1383027576 317142 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :aw man < 1383027586 428805 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but if you did allow arbitrary [0,n] intervals then you'd get associativity < 1383027604 569536 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but then you have f : [0,1] -> X and g : [0,2] -> X which ought to be the same but aren't and who wants that < 1383027608 461335 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah but you wouldn't get for example an identity path < 1383027624 189307 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah < 1383027624 334447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you'd get an identity path for each n < 1383027696 246825 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :usually you want that the space forms a category with each point an object and each path a morphism, and that they form a category. for this you need shrinkage. < 1383027703 942500 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :because otherwise you don't have an identity < 1383027724 738260 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :right < 1383027732 466001 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: so where does this endofunctor business come in < 1383027750 91712 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :why in god's name are you listening to me < 1383027758 951336 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :you are the resident category theory expert < 1383027765 949209 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you heard oklofok < 1383027779 119101 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you're the category person around here < 1383027821 296381 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :never category i didn't liek < 1383027864 487181 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i'm going to chile in a few weeks to talk to people about category theory < 1383027892 20852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you visiting california while you're at it < 1383027897 844501 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good place to visit imo < 1383027913 547338 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :this article is available in the (closed) library but not online. do i live in a fucking cave < 1383027935 15982 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :no but i'll visit jfk! < 1383027939 576061 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :for 10 hours! < 1383027942 903732 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: at least you have a library :'( < 1383027945 260995 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :good ten hours < 1383027952 743615 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :shachaf: pretty much the best thing about school < 1383027954 954877 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cool, gcmap will tell you the farthest airport from any airport < 1383027965 766964 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oklofok: i've done that < 1383027972 61263 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the whole "10 hours at jfk" thing < 1383027988 576473 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it'll be my first visit to us < 1383027990 339039 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's an "ok airport to wait in i guess" < 1383027995 532730 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1383028000 561790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you just flying through or actually visiting < 1383028014 697051 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :after i stopped smoking, airports are pretty boring < 1383028022 609734 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :just flying through < 1383028040 410724 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: SLC had indoor smoking rooms "how weird is that" < 1383028048 534036 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :odd < 1383028049 553747 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :what's slc < 1383028067 365125 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Salt Lake City International Airport < 1383028073 849972 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :don't all airports have those < 1383028103 590130 :quintopia!~quintopia@unaffiliated/quintopia QUIT :*.net *.split < 1383028116 995259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know. < 1383028120 138661 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :unless it's so small you can just go outside < 1383028140 899233 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so what's the usual topology on R anyway < 1383028157 595395 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the order topology which is also the topology given by the obvious metric < 1383028165 394955 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i don't know anything about metrics < 1383028174 331223 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well < 1383028178 419715 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :absolute value of difference < 1383028182 467707 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :gives the metric < 1383028184 59610 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and err < 1383028201 243810 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :if you have a metric, then you get a topology by taking the radius r balls around each point as a basis < 1383028228 631028 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :where balls just means open intervals i suppose < 1383028231 147866 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yes < 1383028232 222431 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the "first day in real analysis" topology < 1383028242 788337 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well < 1383028252 233464 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1383028257 548631 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :by a ball of radius r around x i mean the set of points at distance r or less from x < 1383028274 941003 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and distance is absolute value of difference, if you want to get the normal topology of R < 1383028303 824129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"basis" means those sets and anything you generate from them? < 1383028316 52227 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :er, "taking ... as a basis" < 1383028335 48071 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :taking those to be neighborhoods i.e. open sets, i think < 1383028363 649779 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :neighborhoods aren't the same as open sets < 1383028376 125223 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, right, yes, and then you have the entire set of open sets by taking unions over the basis. < 1383028399 200737 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :shachaf: yeah the actual open sets will be the arbitrary unions of those balls < 1383028419 869898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do you need intersections too < 1383028425 263224 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :neighborhoods are or are not the same as open sets depending on your definition, but i guess it's more common to define them so that they just need to contain an open set < 1383028435 791485 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i was about to ask what a neighborhood would be if not an open set. < 1383028439 879119 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well you do, but you get them automatically here < 1383028453 495700 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait, does Bike's definition of continuity work if you just say "open set" instead of "neighborhood" < 1383028458 543244 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yes < 1383028478 286449 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :here's hoping i do enough math to get "Bike's foo" into a dictionary < 1383028479 663563 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :because a neighborhood of x contains an open set around x < 1383028494 159885 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :bike's bupkis < 1383028516 51931 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(if the open set doesn't touch x, then of course a "neighborhood of x" is a pretty useless term) < 1383028542 339321 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :by Bike's definition i mean the one he quoted from wikipedia < 1383028546 466730 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not the one he gave < 1383028552 856565 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah i mean that one too < 1383028597 721834 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :you can say open set or neighborhood in most cases, and get the same thing; the difference is things like "compact neighborhood of x" are nicer if this just means a compact set that contains an open set that contains x, otherwise you have to make things simultaneously compact and open, which is hard. < 1383028800 227455 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so do you not need intersections of balls < 1383028806 810836 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :for the basis thing < 1383028906 337039 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well no: for any point x in the intersection of two balls, there is a ball that contains x and is contained in the intersection < 1383028914 856621 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(use the triangle inequality) < 1383028935 417240 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so in fact you get intersections by just taking the union of all such balls, for all points in the intersection < 1383028946 377705 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(unions are really arbitrary in topology, not just countable) < 1383028996 836108 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :triangle inequality with no metric? < 1383029025 564078 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i think i need to pick a topological space with no good metric to think about this shit < 1383029077 219660 :fizziew!~htkallas@spa-ws160.spa.hut.fi QUIT :Remote host closed the connection < 1383029372 23932 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Bike: this was about going from having a metric to having a topology < 1383029393 375585 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :sorry if that wasn't clear < 1383029407 706511 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, no, i see. again i'm half asleep and not a math person < 1383029428 976498 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :while there surely are topological spaces "without a good metric", note that there are even topologies _without a metric_ < 1383029461 823775 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :meaning what < 1383029472 400870 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that for no metric, the topology comes from that metric < 1383029498 325506 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, hm. < 1383029499 625839 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(there's probably a cardinality argument that shows this, but there are relatively natural examples as well) < 1383029514 676937 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :can you still give a metric to the topology, and what's an example? < 1383029551 706058 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :shachaf: going from an order to a topology is slightly easier, you just take intervals (a, b) as the open basis (where (a, b) is the set of c such that a < c < b) < 1383029573 562215 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Bike: you can give a metric to the space, but it will not have much to do with the topology < 1383029589 730140 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well i have a paper with a few such spaces :P < 1383029596 626541 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but in all seriousness, let's look at wp < 1383029623 883169 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah that's what i was trying to get at with "good metric" < 1383029679 99481 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh okay < 1383029684 284317 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i thought you meant like natural metric < 1383029685 795664 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :or something < 1383029695 108079 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :welcome to me not knowing what i'm saying < 1383029699 771972 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so you want a space that is not metrizable < 1383029707 165272 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah < 1383029727 316579 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well a trivial example is one where for some pair x, y, each open set contains either neither or both < 1383029757 148790 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :if there was a metric giving the topology, then d(x, y) = r > 0, so that the radius r ball around x contains just one. < 1383029775 613047 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :http://mathoverflow.net/questions/52032/examples-of-non-metrizable-spaces <<< that was 1. < 1383029798 909130 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :of one of the answers < 1383029818 900354 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what's (3)? < 1383029835 846856 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :maye i should just get counterexamples in topology < 1383029845 638064 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Long_line_(topology) then there's this guy for 2. < 1383029856 210171 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wasn't someone just talking about that book < 1383029867 848027 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well i've heard of it so probably. was it you < 1383029871 25429 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i love the long line < 1383029875 723789 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's so long < 1383029880 109872 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :it's on the ZOMGMODULES reading list, I think < 1383029884 708723 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :sizeof(long) > sizeof(real) < 1383029889 93801 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://esolangs.org/wiki/User:Chris%20Pressey#Esoteric_Reading_List.21 < 1383029889 318592 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i don't really get 3. < 1383029913 335494 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ok cool. < 1383029926 112372 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i'm going to go to sleep now so you can stop humoring me for a moment < 1383029933 766929 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :alrighty < 1383029938 367063 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i should probably go to work anyway < 1383029954 980425 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :hm i'm sensing some sarcasm in this link < 1383029988 448020 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :although i guess teaching the world mathematics is my job < 1383030004 640094 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :or at least my purpose < 1383030007 915457 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i can't believe i'm elitist enough to think that borges would be a better choice to learn about llull < 1383030019 824411 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :me neither bye < 1383030363 339060 :propumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Remote host closed the connection < 1383030639 695187 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1383030848 693980 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oklofok: are homotopies where X is R^n interesting < 1383030882 375917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: What was wrong with the pro? :-( < 1383030966 762313 :Uguubee111118!~uguubee@101.166.145.209 QUIT :Quit: Uguubee111118 < 1383031381 554141 :glogbackup!~glogbacku@64.31.59.246 QUIT :Remote host closed the connection < 1383031816 594041 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1383031848 195796 :Uguubee111118!~uguubee@101.166.145.209 JOIN :#esoteric < 1383032035 394692 :nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1383032271 267064 :asie!~textual@apn-46-169-11-67.dynamic.gprs.plus.pl JOIN :#esoteric < 1383032446 898914 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, so now the thing about cofree and free topologies makes sense. < 1383032623 49209 :shikhin__!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383032793 943429 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 272 seconds < 1383032974 384409 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :No match for "METHOVERFLOW.NET". ????? < 1383033353 852359 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :this is like finding a $20 bill on the ground < 1383033374 130111 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :also is the plumbing site called ToiletOverflow < 1383033384 568972 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`quote #toilet < 1383033389 44001 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :380) * Sgeo mutters about broken toilets #toilet is useless is #toilet even a thing I'm looking for help with toilets < 1383033915 884445 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1383034063 894506 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`run quote Sgeo | shuf < 1383034066 23977 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :158) HOT SEXY SEX BITS \ 914) Actually, just as a guess, J might be worse than APL because it's restricted to normal (ascii?) characters, I guess \ 947) I was practically raised by Dilbert. \ 303) [on Sgeo's karaoke] Sgeo: awesome sounds like a japan anime sound track \ 359) Something < 1383034083 555038 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :last one is the best imo < 1383034146 650754 :asie!~textual@apn-46-169-11-67.dynamic.gprs.plus.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1383034577 415791 :Taneb!~Taneb@5.151.64.31 JOIN :#esoteric < 1383034661 699482 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 248 seconds < 1383034811 372283 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383034981 682192 :shikhin__!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 248 seconds < 1383035114 200000 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 256 seconds < 1383035966 660180 :Slereah!x@176.222.51.233 QUIT :Ping timeout: 240 seconds < 1383036012 859226 :Slereah!x@176.222.51.233 JOIN :#esoteric < 1383036711 836009 :Slereah!x@176.222.51.233 QUIT :Ping timeout: 260 seconds < 1383036784 750127 :Slereah!x@176.222.51.233 JOIN :#esoteric < 1383037002 412006 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1383037491 358149 :asie!~textual@apn-46-169-21-217.dynamic.gprs.plus.pl JOIN :#esoteric < 1383038141 999187 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1383040186 513067 :asie!~textual@apn-46-169-21-217.dynamic.gprs.plus.pl QUIT :Read error: Connection reset by peer < 1383040469 105412 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e QUIT :Quit: . < 1383040528 616731 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1383040573 927137 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383040943 116739 :Slereah!x@176.222.51.233 QUIT :Read error: Connection reset by peer < 1383040962 743818 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1383040983 959864 :Taneb!~Taneb@5.151.64.31 QUIT :Read error: Operation timed out < 1383041350 202971 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1383041438 202289 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 256 seconds < 1383041439 571232 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e JOIN :#esoteric < 1383041797 591279 :cybercortex!~cybercort@203.214.68.129 JOIN :#esoteric < 1383041809 357155 :cybercortex!~cybercort@203.214.68.129 QUIT :Client Quit < 1383041857 611707 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383042385 362538 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Baaah. Apparently this work-Ubuntu's lightdm has no "use standard Xsession | ~/.xsession" entry, and no package adds it either. (We've got a silly "no administrative access, but can run 'sudo apt-get X'" kind of thing going on.) < 1383042487 678679 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1383042972 648961 :mig22!~mig@111.65.29.43 JOIN :#esoteric < 1383043234 201083 :mig22!~mig@111.65.29.43 QUIT :Quit: Colloquy for iPhone - http://colloquy.mobi < 1383043240 309190 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 241 seconds < 1383043759 431669 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1383043910 881339 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1383044165 697708 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 248 seconds < 1383044183 783730 :Slereah!x@176.222.51.233 JOIN :#esoteric < 1383044929 198658 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383045620 195672 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 256 seconds < 1383045671 886902 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Read error: Operation timed out < 1383046157 787163 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1383046434 938159 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383046501 695366 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 248 seconds < 1383046633 533958 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1383046908 442924 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1383047100 41097 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383047241 547016 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe QUIT :Quit: ChatZilla 0.9.90.1 [Firefox 24.0/20130910160258] < 1383047955 404177 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1383048243 934244 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1383048253 717905 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1383048501 285235 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~metar CYUL < 1383048501 601994 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :CYUL 291200Z 31005KT 30SM BKN030 M03/M05 A3048 RMK SC7 FROIN SLP322 < 1383048516 312073 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :yaaaaay... -3 °C this morning... < 1383048554 225278 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1383048776 768961 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :+10. < 1383048814 918204 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://outside.aalto.fi/img/temp.month.png <- Winter came and went, there. < 1383049081 190441 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :~metar ARN < 1383049081 374067 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :--- Station not found! < 1383049085 231233 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :~metar ESSA < 1383049085 444901 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :ESSA 291150Z 22017G29KT 9999 VCSH FEW012 SCT022 BKN035CB 11/08 Q0990 REDZ NOSIG < 1383049102 436792 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I wish I could read this < 1383049133 673080 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Oh, I guess it might be 11°C < 1383049142 785662 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 240 seconds < 1383049195 309527 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :today's the 29th, report taken at 11:50am UTC, winds from 220° at 17 knots (gusts at 29 knots), nothing to say about ground visibility, rain showers in the vicinity, a few clouds at 1200', scattered clouds at 2200', broken clouds at 3500' (oh, and cumulonimbi too). < 1383049225 29309 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it's 11 °C outside, dew point at 8 °C, sea level pressure at 990 hPa. < 1383049240 798602 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot: what is a REDZ? < 1383049241 295548 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: msvcrt.dll? i don't have stdcons.bfm written at all. i might see a few hundred individuals through a few thousand roms usually takes care of grabbing the opcode from fnord! < 1383049249 709074 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oh yuck. atmospheric DLLs. < 1383049307 210279 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :REDZ: recent drizzle. < 1383049425 335305 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :And also, no signal < 1383049427 317060 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :for whatever reason < 1383049486 425437 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :NO SIGnificative observations. < 1383049753 334888 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Ah < 1383049877 683402 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1383050764 735723 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1383051745 482745 :nooodl!~nooodl@91.176.144.30 JOIN :#esoteric < 1383053395 512351 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz... < 1383054830 697321 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1383055363 689956 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383055959 765759 :doesthiswork!~Adium@98.145.118.186 JOIN :#esoteric < 1383056438 198957 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Out of memory on device. To view more detail about available memory on the GPU, use 'gpuDevice()'." Aw. :( < 1383056477 645290 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Thought I'd run a small thing in parallel on this local workstation. < 1383056500 532824 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It's got a standard Quadro 2000 and not any sort of computation card, though.) < 1383056508 113058 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :" oklofok: are homotopies where X is R^n interesting" sorry what's X, codomain or domain or what, i stupidly used it as the codomain and now i'm confused < 1383056626 810430 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but supposing it's the domain, you might wanna use S^n (the boundary of the n+1 dimensional ball) instead < 1383056681 899377 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :then just like the usual homotopy group is given by loops and their composition, you get higher homotopy groups where you have balls which are composed by an operation that i find sort of hard to visualize. < 1383056719 590432 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1383056793 727990 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1383056793 873741 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Read error: Connection reset by peer < 1383056814 877541 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so you have a space Y with a basepoint y \in Y, which is the space whose structure we're trying to understand by computing its homotopy group; now we consider the maps from S^n to Y which map x \in S^n to y (where x is some nice basepoint of S^n, say (1,0,...,0)). < 1383056917 622881 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and you consider them up to homotopy equivalence, so that two maps f, g : S^n \to Y that respect basepoints are considered the same if there's a homotopy h : S^n \times [0, 1] \to Y between them which respects the basepoints too < 1383056935 974626 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(time is always [0, 1] in homotopy) < 1383056995 583769 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the group gives information about the holes of the space since if a ball contains a hole, it will stay there no matter how much you homotop..ize the ball. < 1383057042 584373 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so a space will have a trivial nth homotopy group iff it has "no n-dimensional holes" < 1383057064 472967 :Uguubee111118!~uguubee@101.166.145.209 QUIT :Read error: Connection reset by peer < 1383057145 954086 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the group operation is the obvious one, but it's a bit complicated. < 1383057212 418484 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :is it obvious, or complicated? < 1383057266 734174 :Lymia!~moe@inportb/loli/cirno-chan QUIT :Ping timeout: 264 seconds < 1383057297 697969 :Uguubee111118!~uguubee@101.166.145.209 JOIN :#esoteric < 1383057304 43919 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it's the obvious one in the sense that if you think about it long enough to come up with a formula, it'll be that one < 1383057350 21946 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it's a bit complicated in the sense that you probably get bored before coming up with the formula < 1383057352 284419 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :or you'll google one < 1383057370 460857 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :actually http://en.wikipedia.org/wiki/Homotopy_group has something that might be understandable < 1383057510 270679 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :k it's not that complicated i guess < 1383057534 265779 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Koen__ < 1383057559 300901 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it's not complicated. otoh, IANAM, therefore I can't really apply what's written there to the real world. < 1383057784 683631 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1383058046 998295 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well the homotopy group is pretty hard to compute usually (i hear), so it's of limited use even if you are a mathematician. but the first homotopy group is needed to prove things like brouwer's fixed point theorem (at least i don't know another way that's not a huge hassle). < 1383058066 638186 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :in case the m was for mathematician < 1383058095 124314 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it indeed was. < 1383058150 183550 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i use the concept of homotopy groups mainly as something to bask in the beauty of. < 1383058257 510920 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :like relaxing in the category of bubble baths. < 1383058297 130135 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :mmm < 1383058542 717104 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :by the results of http://link.springer.com/article/10.1007%2FBF01691062, if the world is a cellular automaton, then bubbles exist if and only if there was no garden of eden. < 1383058556 967647 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so stephen wolfram is probaably an atheist < 1383058561 29357 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :*probably < 1383058619 636817 :Lymia!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1383058648 702377 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i should prolly start doing stand up < 1383058673 358724 :oklofok!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :because i'm so funny < 1383058697 710287 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ACTION finds that mathematicians are a weird bunch... < 1383058905 373228 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :hmm < 1383058943 67383 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :I'm making an OS in what I think is a bit too high-level of a language, and I wonder if someone can make a smal programming language FOR my OS? < 1383058953 839059 :Lymia!~moe@inportb/loli/cirno-chan QUIT :Ping timeout: 272 seconds < 1383059410 403692 :DARKDRAGON7777!~dragon777@210.212.194.216 JOIN :#esoteric < 1383059434 421856 :DARKDRAGON7777!~dragon777@210.212.194.216 QUIT :Client Quit < 1383059683 903031 :DARKDRAGON7777!~dragon777@210.212.194.216 JOIN :#esoteric < 1383059748 625234 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`relcome DARKDRAGON7777 < 1383059751 722154 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​08DARKDRAGON7777: 09Welcome 02to 06the 13international 04hub 07for 08esoteric 09programming 02language 06design 13and 04deployment! 07For 08more 09information, 02check 06out 13our 04wiki: 07http://esolangs.org/wiki/Main_Page. 08(For 09the 02other 06kind 13of 04esoterica, 07try 08#esoteric 09on 02irc.dal.net.) < 1383059782 466632 :DARKDRAGON7777!~dragon777@210.212.194.216 QUIT :Quit: Leaving < 1383059806 772753 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 265 seconds < 1383060269 188229 :sebbu!~sebbu@ADijon-152-1-18-196.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1383060310 657858 :sebbu!~sebbu@ADijon-152-1-18-196.w83-194.abo.wanadoo.fr QUIT :Changing host < 1383060310 803373 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1383061101 483233 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383061143 547407 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oklofok: I meant codomain. < 1383061233 838978 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 272 seconds < 1383061430 187932 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 256 seconds < 1383062000 206364 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :kmc: http://www.youtube.com/watch?v=YsEb_hdXEHo #drugz level high (guy smoking some lint he found on his car) < 1383062183 540626 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383062419 299027 :shikhin_!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1383062501 670240 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 248 seconds < 1383062577 364036 :Lymia!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1383062648 678434 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Quit: Leaving < 1383062682 756656 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Quit: network changes < 1383062696 938145 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383062699 902756 :Effilry!~firefly@oftn/member/FireFly JOIN :#esoteric < 1383062794 457801 :FireFly!~firefly@oftn/member/FireFly QUIT :Excess Flood < 1383062801 908976 :Effilry!~firefly@oftn/member/FireFly NICK :FireFly < 1383063315 486709 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383063334 188584 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 256 seconds < 1383064717 708237 :^v!~DerpHerp@2601:4:4500:887:ace4:fd9a:a451:c557 JOIN :#esoteric < 1383064846 766971 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1383064937 956389 :shikhin_!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1383065595 229547 :doesthiswork!~Adium@98.145.118.186 QUIT :Quit: Leaving. < 1383066015 467718 :Taneb!~Taneb@5.151.65.4 JOIN :#esoteric < 1383066456 664441 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Read error: Operation timed out < 1383066485 831146 :Faris!~faris@41.140.199.36 JOIN :#esoteric < 1383066690 866885 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383066780 847650 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1383067467 844706 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1383067516 748202 :shikhin!~Shikhin@unaffiliated/shikhin NICK :shikhittman < 1383067591 184903 :nortti!nortti@nano.smar.fi NICK :battman < 1383067615 983902 :battman!nortti@nano.smar.fi NICK :nortti < 1383067632 960444 :shikhittman!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1383067655 953173 :shikhin!~Shikhin@unaffiliated/shikhin NICK :shikhingrey < 1383067670 596919 :boily!~boily@mtl.savoirfairelinux.net NICK :boilyngris < 1383067729 943223 :boilyngris!~boily@mtl.savoirfairelinux.net NICK :boily < 1383067730 928746 :shikhingrey!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1383067838 929685 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383067992 28793 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Read error: Operation timed out < 1383067996 443016 :shikhin__!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383067997 832902 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :kmc: Do assembly languages have mathematics built in like ADD 0x3 0x4? < 1383068022 450042 :sebbu!~sebbu@ADijon-152-1-18-196.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1383068022 595254 :sebbu!~sebbu@ADijon-152-1-18-196.w83-194.abo.wanadoo.fr QUIT :Changing host < 1383068022 595389 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1383068078 626448 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :Err... Do assembly languages have mathematics built in like ADD 0x3 0x4? < 1383068171 986831 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 272 seconds < 1383068185 607685 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I think the "recent" ones do? < 1383068208 395590 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I don't know about 60's assembly or whatever though < 1383068220 875422 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I think they might only have operations on bits < 1383068374 186548 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1383068395 765759 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Halite[tired]: something like: MOV EAX, 0x03 \ ADD EAX, 0x04? < 1383068417 405712 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :yeah < 1383068426 221925 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :but nvm the answer' yes found out < 1383068477 216167 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :does MOV act like a shifter to shift the addresses? < 1383068585 514565 :shikhin__!~Shikhin@unaffiliated/shikhin NICK :shikhin___ < 1383068601 889984 :shikhin___!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1383068740 481475 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :http://www.columbia.edu/cu/computinghistory/650.html < 1383068746 918434 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I guess they had addition pretty early < 1383068918 407225 :asie!~textual@178235038113.elblag.vectranet.pl JOIN :#esoteric < 1383069175 837470 :Lymia!~moe@inportb/loli/cirno-chan QUIT :Ping timeout: 272 seconds < 1383070138 431252 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Do people still make hard-wired codes for big things nowadays? < 1383070149 356660 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Like a processor specifically for an application < 1383070165 700635 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Or is it cheaper to just use any old processor < 1383070172 823884 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :drum memory? < 1383070179 842329 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :neat concept. < 1383070241 279259 :asie!~textual@178235038113.elblag.vectranet.pl QUIT :Quit: Textual IRC Client: www.textualapp.com < 1383070301 584284 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Slereah: ASICs for mining bitcoins? < 1383070355 103491 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :mroman: I like mercury delay lines :D < 1383070370 291287 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I guess! < 1383070378 607018 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383070563 835816 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1383070599 404844 :shikhin__!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383070730 743097 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1383070743 638311 :shikhin__!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1383070928 373729 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :alan turing once suggested gin as the ideal medium for delay lines < 1383071058 968463 :Faris!~faris@41.140.199.36 QUIT :Ping timeout: 265 seconds < 1383071238 359196 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think computers had addition basically from the beginning < 1383071255 612337 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :from the first edition < 1383071280 177093 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :It is a pretty good thing to have < 1383071302 280274 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :because they evolved out of machines for doing arithmetic which didn't necessarily have stored programs or use bit-based representations < 1383071335 626130 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Halite[tired]: a lot of old machines had decimal storage < 1383071349 152797 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(might be BCD bits internally, but you manipulate numbers in decimal) < 1383071383 725871 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the machine language in TAoCP is for a machine where a byte is either 8 bits or 2 decimal digits and your programs are supposed to work in either case < 1383071418 83688 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric : does MOV act like a shifter to shift the addresses? <--- I don't understand this question, can you clarify? < 1383071570 167653 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Hm < 1383071577 210482 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Do LISP machines have addition? < 1383071586 333537 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :probably < 1383071592 12626 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I guess they're not minimal lisp though < 1383071615 544982 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Also, did anyone ever actually make that Brainfuck processor? < 1383072201 251448 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :How are assembly languages coded? < 1383072263 409878 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :I mean - I have a C# interactive interpreter for a simple idea (not the one with that bloated boolean algebra) but it might be cheating because C# is high-level < 1383072315 523420 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383072346 356095 :Roujo!~Roujo@unaffiliated/roujo JOIN :#esoteric < 1383072357 332190 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Helloujo! < 1383072371 232219 :Roujo!~Roujo@unaffiliated/roujo PRIVMSG #esoteric :Hoy < 1383072413 596581 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Hello < 1383072440 467728 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Assembly is just machine code with fancy letters on it < 1383072457 46996 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Instead of writing bits, you write the equivalent instruction < 1383072467 919301 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :Slereah++ < 1383072495 841905 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1383072505 625548 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :J is just APL with fancy chars on it < 1383072506 372654 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I wonder if anyone ever tried to make a processor for a higher level language < 1383072516 670088 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Like a processor for C or something < 1383072520 744993 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :If it is possible < 1383072564 144723 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :it is < 1383072565 248852 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i thought of designinf a processor for subleq < 1383072569 468392 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :I think < 1383072574 183473 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :caching would be horrible, though < 1383072589 95895 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Someone did a BF one, but they only designed it < 1383072615 816590 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :yeah idk how real logic gates etc look like < 1383072678 950086 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :They're made using transistors nowadays < 1383072690 587463 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"nowadays < 1383072690 758244 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Get two signals on one end, another signal out < 1383072691 619632 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :" < 1383072697 718274 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :uhh sorry to be dumb but what is a transistor again? < 1383072701 125290 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Well nowadays since the 60's. < 1383072709 947963 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Before that it was vacuum tubes < 1383072711 340429 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there are different techniques for making logic gates from transistors < 1383072718 640749 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :CMOS is the most popular these days: http://en.wikipedia.org/wiki/CMOS < 1383072721 836951 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :J < 1383072728 955258 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that article starts with a diagram of an inverter gate made from two transistors < 1383072750 246043 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :I wonder if there are primitive DNF-like forms to make logic gates? < 1383072751 169223 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it also shows a schematic for a NAND gate made of four transistors, and a diagram of the physical layout of same on silicon < 1383072807 212610 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I used to be a physics major, so I had to do a lot of transistor physics < 1383072812 17612 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Semiconductors and shit < 1383072844 866861 :Faris!~faris@41.140.199.36 JOIN :#esoteric < 1383072845 703218 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :regarding chips with "high level" machine language, see http://esolangs.org/wiki/Talk:Timeline_of_esoteric_programming_languages#AS.2F400 < 1383072866 182714 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Hm < 1383072868 985365 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Sounds interesting < 1383072883 63097 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Halite[tired]: a transistor is basically an electrical switch that is controlled by another electrical input < 1383072903 76408 :shikhin_!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1383072925 258823 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it has three connections; it allows electricity to flow between the first two if and only if the voltage at the third one is high < 1383072934 621208 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but that's a simplification and you should read wikipedia or something < 1383072958 295282 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Yeah, it's also possible to get a current in and getting a higher current out < 1383072958 745463 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there are two main types of transistors (bipolar junction and field effect); they work on very different physical principles but do roughly the same thng < 1383072968 5212 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Which was also a huge innovation < 1383072970 429306 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :right, in analog applications they are amplifiers < 1383072978 32575 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Amplification of current is very important for some things < 1383072981 18667 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1383072987 600822 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :like rockn out < 1383072990 355907 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Yes. < 1383073011 373450 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :damn it logisimm < 1383073025 107328 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Hell, early movies could have sound, I mean, they had records back then < 1383073033 920182 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Synchronizing was hard, but still < 1383073045 204345 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :The big problem was that without amplification, it was hard to play in a theater < 1383073065 511372 :^v!~DerpHerp@2601:4:4500:887:ace4:fd9a:a451:c557 QUIT :Read error: Connection reset by peer < 1383073163 130723 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :So anyway < 1383073167 718963 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Is Panini the first esolanger < 1383073189 631187 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383073204 933142 :Roujo!~Roujo@unaffiliated/roujo PART #esoteric :"Off I go!" < 1383073300 764372 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :sanskrit isn't very esoteric. < 1383073362 235604 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Read error: Operation timed out < 1383073389 796978 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :He invented the Backus-Naur form, though < 1383073392 927952 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Which is TC < 1383073429 455253 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Is it? < 1383073447 58116 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :You can use it to generate strings in a TC fashion < 1383073456 154774 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I think Thue is based on it? < 1383073462 196363 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric :I fell asleep and dreamt I was a Narwhak < 1383073467 122404 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric :*Narwal < 1383073503 739173 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric :Which raises the question < 1383073507 319276 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i thought BNF only did CFGs. < 1383073521 119127 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric :Am I a human dreaming to be a narwhal, or a narwhal dreaming to be a human? < 1383073535 387355 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1383073543 816233 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i had a dream about a rugrats movie where tommy's dad was hired by people in the UAE to make a gigantic, halal-compliant robotic brewery. < 1383073565 745111 :^v!~DerpHerp@2601:4:4500:887:4c46:68f9:8c34:b8d8 JOIN :#esoteric < 1383073589 404787 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1383073599 259546 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Hm < 1383073710 394773 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :What is the notation for unrestricted grammars called? < 1383073717 124515 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric :Bike, isn't... alcohol sort of banned? < 1383073742 789136 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Ah, Thue grammar < 1383073744 221453 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Makes sense < 1383073898 427201 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Taneb: Yes, he tried to demonstrate it by making some beer (which involved extracting some of his happiest memories fro the flavor - this was the gimmick) but when he did it gave an error message about being used for haraam purposes and that part exploded. < 1383073951 603231 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric ::/ < 1383074007 523903 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the logical conclusion, see. < 1383074034 745735 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :Bike: sounds like a pretty great dream < 1383074146 504870 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :most of the actual content was about an adventure through the Empty Quarter. < 1383074223 611567 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :how are transistors TC? < 1383074255 849762 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 240 seconds < 1383074257 554253 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :you can make gates with complementarily arranged transistors. < 1383074284 621493 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well there are protbably other ways, that's just the one i know... < 1383074286 333443 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric :Aren't they linear bounded? < 1383074326 536306 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :transistors are not DNF-like < 1383074351 669812 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :a single transistor codes one true state, two floating states < 1383074353 325770 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1383074441 356080 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1383074468 209112 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Nothing physical is TC anyway < 1383074471 849212 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Because of boundedness < 1383074483 199192 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :But sprinkle some infinity on it and things tend to be TCer < 1383074498 423010 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :but why are transistors tc? < 1383074508 208581 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Because you can make logic gates out of them < 1383074516 512250 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :And logic gates were proved to be TC quite a while ago < 1383074525 641993 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :and why aren't the building blocks and, or and not? < 1383074533 207917 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Well they could be < 1383074547 249100 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :But you can do everything with NAND, so people tend to use it < 1383074551 211529 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :why did we invent transistors < 1383074567 199402 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Because vacuum tubes are huge things < 1383074582 489896 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :why did we invent vaccuum tubes < 1383074590 170996 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Because science < 1383074608 861775 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :why are transistors used < 1383074629 125571 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :whats special about buffering (or float if not buffering affected) < 1383074641 952847 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"why aren't the building blocks and, or, and not" well how do you build a physical and gate. < 1383074728 312819 :shikhin_!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1383074737 593848 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :by using pull resistors and buffers. < 1383074821 962847 :Faris!~faris@41.140.199.36 QUIT :Ping timeout: 272 seconds < 1383074872 905298 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :So wouldn't those be "the basis", and not the gates? < 1383074926 877939 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :how do you make an and out of a pullup anyway < 1383075110 630435 :Nisstyre-laptop!~yours@oftn/member/Nisstyre NICK :nisstyre < 1383075286 425498 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :Bike: aww fine transistors are needed < 1383075293 708421 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :Bike: but pull resistors are too < 1383075333 589305 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :-made AND logic gate with transistor and pull resistor in Logisim- < 1383075373 761594 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :ha but not or < 1383075394 830570 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :anyway half the point of computability is that any "basis" is generally equivalent to another "basis". < 1383075411 594343 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :ah, we can replace transistors with controlled buffers < 1383075472 553706 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the buffers i know how to make are made of transistors. < 1383075486 709122 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :aww < 1383075498 107847 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :but come on < 1383075520 378429 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :What? < 1383075523 589857 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :what can you make transistors with < 1383075532 584715 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Photolithography. < 1383075533 562543 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :you could splice diodes together? < 1383075537 36517 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Pretty interesting stuff, really. < 1383075556 581733 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :That's the nice thing about transistors. You can, y'know, build them. < 1383075562 694840 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :They can be really fucking tiny too. < 1383075574 957894 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Well the object called "transistor" is always semiconductors, I think < 1383075580 266081 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :But you can make equivalent devices < 1383075603 81476 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I assume you could even make a mechanical version < 1383075605 725803 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :anyway transistors are not like a DNF. < 1383075645 82941 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah, a mechanical transistor is sort of like a transmission. < 1383075678 573600 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :There used to be hydraulic computers, but I think they just did analogic computations < 1383075724 338673 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :you can make transistors wit transmission gates. < 1383075757 210468 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it's kinda hard to reduce the error enough to do digital computation with an analog computer, yeah. < 1383075775 172330 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it's possible, but i don't know if it's physically feasible, or inexpensive enough to bother with < 1383075775 986963 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I got a friend with a CURTA calculator < 1383075778 588665 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :It's quite neat < 1383075791 111984 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :It's like a pepper mill to garnish your meals with numbers < 1383075826 776748 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"It can be used to perform addition, subtraction, multiplication, division, and (with more difficulty) square roots and other operations." why, imagine that. < 1383075835 9999 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :wow, it does look like a pepper mill. < 1383075848 833390 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :Although if there was a device which would return true if x=y=true, false if x=y=false, or float if x=/=y, that would be in a tc set with a NOT gate < 1383075866 586585 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :and possibly without < 1383075913 452875 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :how would you even make or out of that. < 1383075967 157190 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :maybe just connect two inputs together? although in Logisim simulation that'd result in E if x!=y < 1383075993 456296 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :and pull resistor thing too < 1383076023 17617 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :you should learn some actual circuitry. < 1383076031 366421 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :I agree. < 1383076043 411457 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :but all I get at school is 'battery and light bulb'. < 1383076043 568870 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Or maybe entomology < 1383076049 325664 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :You could make an ant computer! < 1383076054 220086 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :ant computer? < 1383076056 832218 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :err? < 1383076058 171283 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :A computer < 1383076060 252941 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :MADE OF ANTS < 1383076068 154065 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :good idea < 1383076073 851854 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :train ants to do mathematics < 1383076083 890551 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :See: http://arxiv.org/abs/1204.1749 < 1383076084 363965 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Just trace their path with honey < 1383076092 854332 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I'm not sure how to do a logic gate with ants though < 1383076093 99472 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :and then show them user input through some LED, no transistors involved < 1383076095 342393 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :A superior basis to computation over electronic transistors. < 1383076105 369843 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Slereah: why that's what the paper's for < 1383076107 336542 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Bike: I don't know what to say < 1383076108 4392 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :Slereah: ant wires < 1383076118 142427 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :FireFly: "cool!" < 1383076129 818894 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :Slereah: let ants travel through wires and force them to do stuff with a magic hypnosis thing for the gate < 1383076132 122174 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Bike: I mean, I've seen the paper before, but I never thought I'd see it actually being relevant < 1383076142 946127 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :that's what i'm here for. < 1383076149 354001 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Good < 1383076155 13111 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :watching, waiting for an in. an opportunity to link. it's my sole purpose. < 1383076163 27324 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 265 seconds < 1383076179 425051 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :how can bit selectors be made? < 1383076204 965407 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :can you stop using weird terminology < 1383076231 434810 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :looks like it's just a couple multiplexers. < 1383076246 824406 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :it's a multiplexer and a splitter I think < 1383076257 574368 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :how can a multiplexer be made < 1383076311 501089 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://digilentinc.com/Products/Detail.cfm?NavPath=2,729,746&Prod=LBE-DD Just read this or something. < 1383076997 707473 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 248 seconds < 1383077042 578211 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1383078109 557647 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :does bit shifting require arithmetic? < 1383078195 277206 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :if it doesn't, then woohoo < 1383078366 680160 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Duck Tales, woohoo < 1383078377 188906 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :ik woohoo < 1383078387 116644 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric :One of my friends is in a play and I can't go and see it and it sounds awesome < 1383078423 879665 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :too bad for you < 1383078427 843723 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :wooho wo hoo ho < 1383078470 24441 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 272 seconds < 1383078480 733634 :shikhin_!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383078593 997327 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :catchy < 1383078638 7655 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :mr. catch caught a catch which caught a catch which caught a catch which caught a catch < 1383078743 794475 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :superCALIF[lower]ragiLISTicEXP[onent][d]IALiDOC[tor]ious < 1383078765 83760 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :supercaliflowerlisticexponentidialidoctorious < 1383078782 864862 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you quite sure you weren't banned in here? < 1383078802 19174 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :No I wasn't < 1383078812 948854 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PRIVMSG #esoteric :But I think I'm forgetting something < 1383078823 880342 :Halite[tired]!561ef8e9@gateway/web/freenode/ip.86.30.248.233 PART #esoteric :"Coming back when not bouncing on the walls." < 1383079447 858171 :shikhin_!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 246 seconds < 1383080878 447135 :conehead!~conehead@unaffiliated/conehead QUIT :*.net *.split < 1383080879 248461 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :*.net *.split < 1383080879 394133 :glogbackup!~glogbacku@64.31.59.246 QUIT :*.net *.split < 1383080879 685062 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd QUIT :*.net *.split < 1383080880 170323 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com QUIT :*.net *.split < 1383080880 684984 :mroman!~roman2@fmnssun.ibone.ch QUIT :*.net *.split < 1383080881 69678 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :*.net *.split < 1383080881 508717 :upgrayeddd!uid2969@gateway/web/irccloud.com/x-rmjctttgkzpbzelj QUIT :*.net *.split < 1383080881 723429 :myname!~myname@84.200.43.57 QUIT :*.net *.split < 1383080881 989678 :FireFly!~firefly@oftn/member/FireFly QUIT :*.net *.split < 1383080882 147862 :Slereah!x@176.222.51.233 QUIT :*.net *.split < 1383080882 315675 :JesseH!~JesseH@unaffiliated/jesseh QUIT :*.net *.split < 1383080882 893975 :AwfulProgrammer!uid11324@gateway/web/irccloud.com/x-twfygbfngropzrue QUIT :*.net *.split < 1383080883 271562 :pikhq!~pikhq@2602:100:4751:9692:922b:34ff:fed8:75d QUIT :*.net *.split < 1383080883 439403 :TodPunk!~Tod@50-198-177-185-static.hfc.comcastbusiness.net QUIT :*.net *.split < 1383080883 685486 :atehwa!atehwa@aulis.sange.fi QUIT :*.net *.split < 1383080884 665363 :Zuu!~zuu@unaffiliated/zuu QUIT :*.net *.split < 1383080884 810630 :fizzie!fis@unaffiliated/fizzie QUIT :*.net *.split < 1383080885 696081 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :*.net *.split < 1383080885 886382 :olsner!~salparot@c83-252-203-32.bredband.comhem.se QUIT :*.net *.split < 1383080886 65375 :rodgort`!~rodgort@li125-242.members.linode.com QUIT :*.net *.split < 1383080886 210864 :jix!~jix@jixco.de QUIT :*.net *.split < 1383080886 510220 :hogeyui__!~hogeyuiVP@vps.usamimi.biz QUIT :*.net *.split < 1383080886 655708 :elliott!~elliott@unaffiliated/elliott QUIT :*.net *.split < 1383080887 282474 :tromp!~tromp@rtc35-161.rentec.com QUIT :*.net *.split < 1383080887 428093 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com QUIT :*.net *.split < 1383080887 573478 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com QUIT :*.net *.split < 1383080887 719109 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :*.net *.split < 1383080887 950265 :ion!ion@heh.fi QUIT :*.net *.split < 1383080888 97406 :monotone!~monotone@room208.org QUIT :*.net *.split < 1383080888 242722 :clog!~nef@bespin.org QUIT :*.net *.split < 1383080888 895642 :Jafet!~jafet@unaffiliated/jafet QUIT :*.net *.split < 1383080889 42261 :ggherdov!uid11402@gateway/web/irccloud.com/x-ernjipeuxxzogepx QUIT :*.net *.split < 1383080889 197028 :updog!~updog@192.210.145.119 QUIT :*.net *.split < 1383080889 197252 :nortti!nortti@nano.smar.fi QUIT :*.net *.split < 1383080889 197337 :shachaf!~shachaf@unaffiliated/shachaf QUIT :*.net *.split < 1383080889 197416 :Deewiant!~deewiant@deewiant.iki.fi QUIT :*.net *.split < 1383080889 504876 :Gracenotes!~person@192.241.203.42 QUIT :*.net *.split < 1383080890 232718 :boily!~boily@mtl.savoirfairelinux.net QUIT :*.net *.split < 1383080890 771773 :^v!~DerpHerp@2601:4:4500:887:4c46:68f9:8c34:b8d8 QUIT :*.net *.split < 1383080890 917066 :nisstyre!~yours@oftn/member/Nisstyre QUIT :*.net *.split < 1383080891 107298 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :*.net *.split < 1383080891 258362 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e QUIT :*.net *.split < 1383080891 258504 :quintopia!~quintopia@unaffiliated/quintopia QUIT :*.net *.split < 1383080891 548779 :mtve!~mtve@10130.x.rootbsd.net QUIT :*.net *.split < 1383080891 548925 :EgoBot!dlopen@64.62.173.65 QUIT :*.net *.split < 1383080891 959980 :sebbu!~sebbu@unaffiliated/sebbu QUIT :*.net *.split < 1383080892 105974 :Taneb!~Taneb@5.151.65.4 QUIT :*.net *.split < 1383080892 251273 :nooodl!~nooodl@91.176.144.30 QUIT :*.net *.split < 1383080892 820806 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn QUIT :*.net *.split < 1383080892 984429 :yorick!~yorick@oftn/member/yorick QUIT :*.net *.split < 1383080893 133754 :aloril_!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi QUIT :*.net *.split < 1383080893 133837 :heroux!~heroux@50708181.static.ziggozakelijk.nl QUIT :*.net *.split < 1383080893 675929 :ssue___!uid5338@gateway/web/irccloud.com/x-qgnfdnnabtdhrvlq QUIT :*.net *.split < 1383080893 676130 :const!root@freebsd/developer/variable QUIT :*.net *.split < 1383080894 287687 :yiyus!1242712427@je.je.je QUIT :*.net *.split < 1383080894 432993 :coppro!raedford@taurine.csclub.uwaterloo.ca QUIT :*.net *.split < 1383080895 721569 :Gregor!dlopen@libdl.so QUIT :*.net *.split < 1383080895 867830 :HackEgo!dlopen@libdl.so QUIT :*.net *.split < 1383080896 255424 :Uguubee111118!~uguubee@101.166.145.209 QUIT :*.net *.split < 1383080896 424902 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :*.net *.split < 1383080896 425045 :FreeFull!~freefull@defocus/sausage-lover QUIT :*.net *.split < 1383080896 425127 :augur_!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :*.net *.split < 1383080896 425208 :fungot!fis@eos.zem.fi QUIT :*.net *.split < 1383080896 598723 :Ghoul_!uid6924@gateway/web/irccloud.com/x-mlkqtueofidkdolv QUIT :*.net *.split < 1383080897 556259 :realzies!~pinky@unaffiliated/realazthat QUIT :*.net *.split < 1383081284 550956 :john_metcalf!~digital_w@87.113.67.177 JOIN :#esoteric < 1383081284 551288 :Bike!~Glossina@wl-nat101.it.wsu.edu JOIN :#esoteric < 1383081284 551330 :Yonkie!~Yonkie@ip.82.144.199.214.stat.volia.net JOIN :#esoteric < 1383081284 551363 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1383081284 551395 :^v!~DerpHerp@2601:4:4500:887:4c46:68f9:8c34:b8d8 JOIN :#esoteric < 1383081284 551427 :nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1383081284 551461 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1383081284 551492 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1383081284 551523 :Taneb!~Taneb@5.151.65.4 JOIN :#esoteric < 1383081284 551556 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1383081284 551587 :Uguubee111118!~uguubee@101.166.145.209 JOIN :#esoteric < 1383081284 551619 :nooodl!~nooodl@91.176.144.30 JOIN :#esoteric < 1383081284 551650 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1383081284 551681 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1383081284 551712 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1383081284 551742 :Slereah!x@176.222.51.233 JOIN :#esoteric < 1383081284 551774 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e JOIN :#esoteric < 1383081284 551806 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1383081284 551837 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1383081284 551868 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1383081284 551899 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1383081284 551930 :augur_!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1383081284 551961 :pikhq!~pikhq@2602:100:4751:9692:922b:34ff:fed8:75d JOIN :#esoteric < 1383081284 551992 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com JOIN :#esoteric < 1383081284 552023 :JesseH!~JesseH@unaffiliated/jesseh JOIN :#esoteric < 1383081284 552782 :aloril_!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi JOIN :#esoteric < 1383081284 552821 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1383081284 552853 :heroux!~heroux@50708181.static.ziggozakelijk.nl JOIN :#esoteric < 1383081284 552885 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd JOIN :#esoteric < 1383081284 552918 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1383081284 552950 :ion!ion@heh.fi JOIN :#esoteric < 1383081284 552981 :realzies!~pinky@unaffiliated/realazthat JOIN :#esoteric < 1383081284 553012 :fungot!fis@eos.zem.fi JOIN :#esoteric < 1383081284 553063 :olsner!~salparot@c83-252-203-32.bredband.comhem.se JOIN :#esoteric < 1383081284 553095 :monotone!~monotone@room208.org JOIN :#esoteric < 1383081284 553126 :mroman!~roman2@fmnssun.ibone.ch JOIN :#esoteric < 1383081284 553157 :Zuu!~zuu@unaffiliated/zuu JOIN :#esoteric < 1383081284 553190 :yiyus!1242712427@je.je.je JOIN :#esoteric < 1383081284 553222 :mtve!~mtve@10130.x.rootbsd.net JOIN :#esoteric < 1383081284 553253 :coppro!raedford@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1383081284 553284 :upgrayeddd!uid2969@gateway/web/irccloud.com/x-rmjctttgkzpbzelj JOIN :#esoteric < 1383081284 553315 :ssue___!uid5338@gateway/web/irccloud.com/x-qgnfdnnabtdhrvlq JOIN :#esoteric < 1383081284 553347 :const!root@freebsd/developer/variable JOIN :#esoteric < 1383081284 553383 :Gregor!dlopen@libdl.so JOIN :#esoteric < 1383081284 553414 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1383081284 553445 :clog!~nef@bespin.org JOIN :#esoteric < 1383081284 553477 :EgoBot!dlopen@64.62.173.65 JOIN :#esoteric < 1383081284 553507 :TodPunk!~Tod@50-198-177-185-static.hfc.comcastbusiness.net JOIN :#esoteric < 1383081284 553599 :Jafet!~jafet@unaffiliated/jafet JOIN :#esoteric < 1383081284 553632 :AwfulProgrammer!uid11324@gateway/web/irccloud.com/x-twfygbfngropzrue JOIN :#esoteric < 1383081284 553663 :tromp!~tromp@rtc35-161.rentec.com JOIN :#esoteric < 1383081284 553694 :myname!~myname@84.200.43.57 JOIN :#esoteric < 1383081284 770612 :Ghoul_!uid6924@gateway/web/irccloud.com/x-mlkqtueofidkdolv JOIN :#esoteric < 1383081284 770774 :ggherdov!uid11402@gateway/web/irccloud.com/x-ernjipeuxxzogepx JOIN :#esoteric < 1383081284 770857 :rodgort`!~rodgort@li125-242.members.linode.com JOIN :#esoteric < 1383081284 770939 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn JOIN :#esoteric < 1383081284 771017 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com JOIN :#esoteric < 1383081284 771095 :jix!~jix@jixco.de JOIN :#esoteric < 1383081284 771173 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1383081284 771250 :Gracenotes!~person@192.241.203.42 JOIN :#esoteric < 1383081284 771340 :HackEgo!dlopen@libdl.so JOIN :#esoteric < 1383081284 771416 :updog!~updog@192.210.145.119 JOIN :#esoteric < 1383081284 771495 :hogeyui__!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1383081284 771571 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1383081284 771649 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com JOIN :#esoteric < 1383081284 771724 :nortti!nortti@nano.smar.fi JOIN :#esoteric < 1383081284 771801 :Deewiant!~deewiant@deewiant.iki.fi JOIN :#esoteric < 1383081638 802290 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 240 seconds < 1383081764 711511 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1383082030 858505 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 246 seconds < 1383082046 32905 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :GitHub is down < 1383082059 364767 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and they don't even have a cutesy error page up < 1383082085 71661 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric ::( < 1383082099 903549 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :works for me < 1383082121 12149 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :me too. what a rip. < 1383082187 617852 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :weird. i am definitely getting a 503 < 1383082216 354537 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh I only get it when I'm logged in < 1383082284 94541 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I'm also logged in and it works, so I guess it's something personal? < 1383082512 436832 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :kmc: have you done unspeakable horrors onto innocent octopussies recently? < 1383082535 515651 :nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1383082563 266530 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :*octopoddies? < 1383082699 969673 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :welp it's back < 1383082720 193738 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :those were a terrifying 10 minutes of slacking off at work < 1383082723 300165 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :olsner: octopoddies? < 1383082757 362973 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :the plural of octopi is octopodes or something < 1383082824 142615 :ion!ion@heh.fi PRIVMSG #esoteric : coöctopus < 1383082902 959895 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cocktopus < 1383083145 494387 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ACTION hands ion the Diæ̈resis of the Day Award < 1383083526 990878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :gimm̈e that < 1383083613 112625 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :nö. < 1383083712 296787 :Faris!~faris@41.140.199.36 JOIN :#esoteric < 1383083737 397064 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ACTION 海の鳥‼‼ < 1383083740 216885 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1383083749 349113 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1383084116 151924 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1383084146 91283 :nys!~YXWX@blk-142-60-139.eastlink.ca JOIN :#esoteric < 1383084511 447278 :augur_!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com NICK :augur < 1383084986 825011 :JesseH!~JesseH@unaffiliated/jesseh QUIT :Remote host closed the connection < 1383085143 729861 :JesseH!~JesseH@ip98-164-152-51.mc.at.cox.net JOIN :#esoteric < 1383085143 914136 :JesseH!~JesseH@ip98-164-152-51.mc.at.cox.net QUIT :Changing host < 1383085143 914264 :JesseH!~JesseH@unaffiliated/jesseh JOIN :#esoteric < 1383085275 107436 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1383085627 405745 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : What's with people magically introducing GADT syntax just to express a type like "data T a = C a => T a"? <-- a believe they have different semantics - when using the non-GADT version, you need to include C a => in the type of the functions that use it. it's even deprecated for that reason. hm possibly even removed in a recent haskell version. < 1383085649 102957 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*i believe < 1383085674 920664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: You're thinking of "data C a => T a = T a" < 1383085682 523635 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well ok < 1383085695 112051 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is deprecated and removed for that reason. < 1383085705 104104 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in that case, is your version even correct syntax. < 1383085709 223654 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1383085742 675856 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :data Box = forall a. Show a => MkBox a -- people don't mind this syntax when it comes with a forall... < 1383085765 771684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1383085803 700055 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well without forall i think it's confusing what it means. < 1383085813 858337 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It means the same as the GADT. < 1383085840 431632 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...having a meaning is not the same as the syntax not being confusing, shachaf < 1383085862 891272 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I thought you meant the meaning was confusing. You meant the syntax was confusing? < 1383085869 481279 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It seems pretty consistent to me. < 1383085869 938756 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1383085880 34979 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you believe in *> syntax, it means roughly the same as data T a = T (C a *> a) < 1383085886 300761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the thing is the second T a in there is a data constructor. < 1383085900 594185 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, that's an old Haskell sin. < 1383085922 628982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um that's how data definitions work. < 1383085945 501090 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, using the same name for the data constructor and the type. < 1383085955 279564 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Everyone does it. < 1383085967 528498 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you don't have to pun it, but it's still confusing that it's mixing class contexts and data constructors. < 1383085985 630406 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And adding the forall makes it not confusing? < 1383086028 492090 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i mean, the meaning of data T a = C a => U a is completely different from type T a = C a => U a < 1383086056 600795 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure. "data" syntax in general is confusing. < 1383086072 187704 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"data T a = U a" /= "type T a = U a" < 1383086098 198926 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, how about this, to clear up confusion: "data T a = forall. C a => T a" < 1383086115 452831 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm actually talking about the fact that C a is treated completely differently in the two. < 1383086141 647840 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it is _not_ quantified in the type version. < 1383086182 295510 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait i'm speaking nonsense. < 1383086248 211230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also argh my eyes, damn i'm going to need to buy glasses/lenses. < 1383086268 805299 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I hear this Edward guy is in the lens business < 1383086339 972828 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i just know i'm going to lose them everywhere, once i start carrying them around. < 1383086379 944748 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well or have them fall out of my jacket and break. how solid are glasses, anyway. < 1383086415 870888 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :My solution to that problem is to always have them on my nose < 1383086430 934641 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i don't need them when not reading. < 1383086434 929488 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Oh. < 1383086790 256895 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 JOIN :#esoteric < 1383086821 682812 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :How about I develop a language with lights and mirrors? < 1383086839 235293 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :JWinslow23: have you looked at BackFlip? < 1383086854 728357 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's got mirrors, although not really lights < 1383086899 50417 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :The lights basically turn on pixels for every space they occupy. < 1383086904 254888 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION is slightly sad no one really found out how to program in BackFlip. < 1383086924 823225 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the devices invented seem to lack the necessary modularity to be useful. < 1383086933 852101 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :V > < ^ would be the light sources. < 1383086968 502955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh same syntax as backflip but different meaning. < 1383087010 213477 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :imo, use autonomous phototrophic actors. < 1383087010 430847 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well except i'm not sure the V is uppercase in backflip. < 1383087034 820563 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Pixels are turned on when the lights shine. < 1383087057 630846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, check out the "Undead" puzzle from simon tatham's collection :) < 1383087073 748363 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :So a line pointing up, then right would be: < 1383087086 346844 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric : < 1383087090 589496 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: do vampires, ghosts and zombies count as such? < 1383087091 849237 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric : < 1383087097 763149 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :^ < 1383087110 555224 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :oerjan: wow very topical, i like it < 1383087138 228361 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i guess it's also about in season < 1383087143 57156 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Well, Line 1 would be "/ #", Line (maybe 4?) would be "^". < 1383087171 220092 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :problem is i don't know how to make a "programming language" out of a bunch of pooks crepping around < 1383087192 446712 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :JWinslow23: in some clients, the way to get a / at start of line is to write / / < 1383087195 980647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :/ < 1383087209 848485 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Who wants to work on a language with meh < 1383087215 818413 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :I do. < 1383087219 908772 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :\o/ < 1383087220 285485 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69 | < 1383087220 430888 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69/'\ < 1383087226 288593 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :um ._. < 1383087234 837732 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :I love that bot < 1383087237 489727 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Why the weenie? < 1383087237 867056 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Anyhow! < 1383087248 714090 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :lol < 1383087255 292848 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :\o/ < 1383087255 742095 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69     | < 1383087255 887309 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69    /^\ < 1383087256 86224 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :JWinslow23, You made a language before? :P < 1383087285 831255 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Yes. Pancake Stack, Drive-In Window, Ecstatic, and Tic Tac Toe. < 1383087297 18767 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :All are on the wiki. < 1383087320 369796 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Still looking for Hello World in Esctatic. < 1383087326 346036 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric ::o < 1383087331 707301 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :More than myself! :D < 1383087334 974972 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :This is gonna be fun < 1383087351 242346 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :So what are your ideas < 1383087382 710322 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :My first idea, I already said. Later, I'll make a wiki page for it. < 1383087401 325497 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :My second idea, a car race language. < 1383087404 815994 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :ACTION reads up < 1383087409 953528 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Ehhh tl;dr < 1383087414 545934 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :> 972*972*4 < 1383087415 527324 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Ill just assume its not good enough < 1383087415 672381 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 3779136 < 1383087435 461860 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Cars racing do things, items on the track do things, etc. < 1383087445 825333 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Krash could be the name. < 1383087543 390367 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :JesseH: i think the Ecstatic Hello World is more tl;dw < 1383087555 947073 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :What is tl;dr and w? < 1383087569 116657 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :too long; didn't read < 1383087589 170936 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :tl;dw? < 1383087589 621438 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and then i'm joking about the w fitting better < 1383087597 185998 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :I don't want a langauge that takes a long time to do things < 1383087600 84061 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric ::P < 1383087608 242146 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Just, does them in a confusing way < 1383087619 570360 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :OR it doesnt have to be confusing at all < 1383087620 335317 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Maybe Krash? < 1383087623 720844 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :JWinslow23: i'll leave that as an exercise for the reader. < 1383087632 681610 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :but if it isnt esoteric then it doesnt belong here ;_; < 1383087646 624351 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Cars race on a racetrack, items there do stuff. < 1383087650 334371 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :'esoteric' doesn't mean 'confusing'. < 1383087659 324093 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :I'll explain the deets later. < 1383087660 499460 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :No shit < 1383087666 299846 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :I'm trying to save a few sentenecs :P < 1383087670 626000 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :typing is painful atm < 1383087683 120827 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :If it did we'd just have stopped after http://esolangs.org/wiki/Most_ever_Brainfuckiest_Fuck_you_Brain_fucker_Fuck < 1383087767 910781 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :So, is Krash good? < 1383087782 622426 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :what is krash < 1383087804 908498 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :krash is a programming language for krazy kats < 1383087816 790959 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :I said it above Bike's 'esoteric' comment. < 1383087831 917273 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :OH < 1383087832 403768 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :'esoteric' doesn't mean 'confusing'. < 1383087832 916366 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :I see < 1383087841 405917 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Is it a good idea? < 1383087859 876740 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :lol < 1383087862 278721 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :I think it is, do you? < 1383087863 593894 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :I don't know :P < 1383087869 180064 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Doing something graphical would be neat. < 1383087893 739470 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :I'll post documentation on the wiki later. < 1383087900 971152 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Until then, < 1383087904 773970 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :I'm out! < 1383087906 447971 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 QUIT :Quit: Page closed < 1383087914 372205 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric ::( < 1383087989 537837 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we also have some car-related languages, see http://esolangs.org/wiki/Maze and http://esolangs.org/wiki/Half-Broken_Car_in_Heavy_Traffic < 1383088012 382735 :Lymia!~moe@108-205-143-75.lightspeed.rcsntx.sbcglobal.net JOIN :#esoteric < 1383088012 528178 :Lymia!~moe@108-205-143-75.lightspeed.rcsntx.sbcglobal.net QUIT :Changing host < 1383088012 528311 :Lymia!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1383088013 374778 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Half-Broken Car in Heavy Traffic seems like a good name for a programming language to me < 1383088024 828890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it is, isn't it. < 1383088028 7776 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :wasn't there also a Taxi language? < 1383088029 692227 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: what do you mean < 1383088031 290143 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes. < 1383088036 736893 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: what < 1383088063 841415 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"C a is treated completely differently in the two." < 1383088068 796847 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"_not_ quantified" < 1383088078 518955 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, was that bit the nonsense < 1383088091 737347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: type T a = C a => ... doesn't have a quantified. < 1383088092 929326 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric :FireFly, compare Real Fast Nora's Hair Salon 3: Shear Disaster Download < 1383088096 555406 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :imo fuck cars < 1383088103 603089 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :any train languages? < 1383088120 725530 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1383088153 994304 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I'm sad RFNHS3:SDD doesn't redirect to its wiki article < 1383088168 432263 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i want a language where http://www.bronx-terminal.com/wp-content/uploads/1-CNJp1907_1.jpg is a prime number sieve < 1383088172 972303 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: well it's parameterized on a < 1383088188 265280 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: http://esolangs.org/wiki/Rail and http://esolangs.org/wiki/Subway < 1383088190 173318 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :wait that diagram doesn't even have the best part < 1383088205 830047 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/kmc/oerjan/ < 1383088208 251107 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 JOIN :#esoteric < 1383088219 860131 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric :FireFly, that's because you should never ever shorten the name of Real Fast Nora's Hair Salon 3: Shear Disaster Download < 1383088220 230916 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo the two of you have to merge now < 1383088228 407425 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Taneb: Oh, okay. < 1383088228 772778 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric ::/ < 1383088236 156067 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i will not go to second level meditation with you < 1383088255 347448 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :BTW, do you think that Krash should include multiple cars? < 1383088266 172999 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :And a track that turns? < 1383088324 831032 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :\o/ < 1383088325 479293 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69     | < 1383088325 624636 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69    /< < 1383088337 187870 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :\o < 1383088338 807683 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: did you get an uber kitten delivered today < 1383088342 592058 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :\o/ < 1383088342 951876 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69     | < 1383088343 113666 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69     >\ < 1383088350 12410 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Funny myndzi. < 1383088360 341148 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^celebrate < 1383088360 486551 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :\o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/ < 1383088360 486723 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :So, should Krash have a track that turns? < 1383088361 55239 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69 | c.c.c |  ¯|¯⌠ `\o/´69   | c.c.c |   `\o/´69  ¯|¯⌠ | c.c.c | < 1383088361 212883 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69/|  c.c /|   |\|   |    /`\ c.c  >\    |    /< |/|  c.c  |\ < 1383088362 156196 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                  /`¯|_)              /'\ < 1383088362 301481 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                (_|                 (_| |_) < 1383088442 815251 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :Should Krash (my new language) have a track with turns? < 1383088443 37363 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn suddenly putty doesn't show look-of-disapproval correctly. < 1383088498 878130 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :look of disapproval hasn't always been in ^celebrate, has it? < 1383088503 265717 :Faris!~faris@41.140.199.36 QUIT :Ping timeout: 268 seconds < 1383088538 899953 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :6help < 1383088541 102738 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :^help < 1383088541 248303 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool < 1383088561 518297 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :^show celebrate < 1383088561 663434 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :(\o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/)S < 1383088562 271101 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69  | c.c.c |  ¯|¯⌠ `\o/´69   | c.c.c |   `\o/´69  ¯|¯⌠ | c.c.c | < 1383088562 416318 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69 /´\ c.c /|  /| |   |    /|  c.c  |\    |     >\|/`\ c.c /< < 1383088562 941762 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                (_|¯`¯|_)              /`\ < 1383088563 92713 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                                     (_| |_) < 1383088594 122641 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :^help code < 1383088594 268114 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool < 1383088620 75752 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :^code=ASCII/\o/:N < 1383088620 498969 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                 ¦ < 1383088620 644173 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69                ´¸¨ < 1383088630 62153 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :^ASCII < 1383088632 773260 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :JWinslow23: there is no ^code command. < 1383088643 110885 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you are misreading the ^help < 1383088651 683568 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :How do we define stuff like ^celebrate? < 1383088714 309501 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you need to write a program in either brainfuck or underload. < 1383088740 300281 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :I have to go now. < 1383088741 949395 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 PRIVMSG #esoteric :I'm out! < 1383088744 921718 :JWinslow23!411e34fe@gateway/web/freenode/ip.65.30.52.254 QUIT :Quit: Page closed < 1383088809 192664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :性格测试 < 1383088821 670237 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it does show chinese, at least < 1383088896 898104 :Faris!~faris@41.140.199.36 JOIN :#esoteric < 1383088987 687654 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric :Dear god C is a messed up language < 1383089008 411285 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric :Apparently index[array] is valid < 1383089185 853324 :Faris!~faris@41.140.199.36 QUIT :Ping timeout: 272 seconds < 1383089211 36442 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :yeah < 1383089215 811693 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it actually makes sense though! < 1383089246 913358 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :array[index] is semantically equivalent to *(array+index) < 1383089280 293668 :Faris!~faris@41.140.199.36 JOIN :#esoteric < 1383089355 115515 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`interp c printf("%c",5["Hello, world!\n"]); < 1383089375 369156 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Does not compile. \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: for < 1383089387 418422 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric ::0 < 1383089401 229502 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i didn't _really_ expect that to work, mind you. < 1383089410 48129 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i choose to read that smiley as "man with yorkshire pudding in mouth" < 1383089413 766368 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`echo hi < 1383089415 253964 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :hi < 1383089415 399260 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric ::D < 1383089433 352963 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: i am wondering if HackEgo might be a smidgen out of processes? < 1383089437 748967 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric :!c printf("%c",5["Hello, world!\n"]); < 1383089453 365970 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also that you're despicably idle. < 1383089454 359756 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :(i doubt it's a particularly good idea to do index[array] because compiler optimisations but it's formally valid) < 1383089469 423355 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: EgoBot's interpreters haven't worked for a long time. < 1383089496 564012 :Taneb!~Taneb@5.151.65.4 PRIVMSG #esoteric ::( < 1383089512 201907 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!bf_joust except this one i think < < 1383089529 669100 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!help < 1383089530 33593 :EgoBot!dlopen@64.62.173.65 PRIVMSG #esoteric :​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . < 1383089534 526032 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!help languages < 1383089534 889106 :EgoBot!dlopen@64.62.173.65 PRIVMSG #esoteric :​languages: Esoteric: 1l 2l adjust asm axo bch befunge befunge98 bf bf8 bf16 bf32 boolfuck cintercal clcintercal dimensifuck glass glypho haskell kipple lambda lazyk linguine malbolge pbrain perl qbf rail rhotor sadol sceql trigger udage01 underload unlambda whirl. Competitive: bfjoust fyb. Other: asm c cxx forth sh. < 1383089540 874052 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!bfjoust except this one i think < < 1383089550 871866 :EgoBot!dlopen@64.62.173.65 PRIVMSG #esoteric :​Score for oerjan_except: 0.0 < 1383089558 113566 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :!lazyk i < 1383089576 618650 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 245 seconds < 1383089580 986820 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :!help language lazyk < 1383089581 293312 :EgoBot!dlopen@64.62.173.65 PRIVMSG #esoteric :​Sorry, I have no help for language_lazyk! < 1383089585 334759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Slereah: i think something is wrong in general which affects most of the languages. < 1383089585 936856 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Aw < 1383089594 413492 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also it has never had per-language help. < 1383089606 371901 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Why is there a list of them then < 1383089641 391178 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Probably because those are the supported (interpreter) commands < 1383089727 582742 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor ported all the languages over to HackEgo but not with any serious control of things not breaking. < 1383089745 943872 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just copying the relevant directories, i think. < 1383089764 688382 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the `interp command sometimes works. < 1383089780 208287 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :-> < 1383089923 446065 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`ls bin/interp < 1383089925 210622 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :bin/interp < 1383089931 307809 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`ls interp < 1383089932 936770 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :ls: cannot access interp: No such file or directory < 1383089937 242268 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`ls < 1383089938 797496 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :bdsmreclist \ bi \ bin \ bin` \ canary \ cat \ complaints \ dog \ etc \ factor \ file \ hello \ hello.c \ ibin \ index.html \ interps \ lib \ mind \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ wisdom \ wisdom.pdf < 1383089949 794179 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`file bin` < 1383089951 327310 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :bin`: POSIX shell script text executable < 1383089964 341112 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :`bin` < 1383089965 782552 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bin`: not found < 1383089970 581424 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :nice < 1383089975 875635 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`cat bin` < 1383089977 310930 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​#!/bin/sh < 1383089983 790255 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :ok. < 1383090004 120301 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`rm bin` < 1383090008 46340 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1383090050 318506 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`run file dog; ls dog < 1383090052 72477 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :dog: UTF-8 Unicode text \ dog < 1383090060 56817 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`cat dog < 1383090061 521358 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​ヽ༼ຈل͜ຈ༽ノ < 1383090218 70632 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1383090555 392328 :glogbackup!~glogbacku@64.31.59.246 QUIT :Remote host closed the connection < 1383090608 366636 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1383090627 374207 :Yonkie_!~Yonkie@ip.82.144.199.214.stat.volia.net JOIN :#esoteric < 1383090696 633946 :^v!~DerpHerp@2601:4:4500:887:4c46:68f9:8c34:b8d8 QUIT :Quit: Ping timeout: 1337 seconds < 1383090711 350209 :tromp_!~tromp@rtc35-161.rentec.com JOIN :#esoteric < 1383090716 160770 :^v!~DerpHerp@2601:4:4500:887:4c46:68f9:8c34:b8d8 JOIN :#esoteric < 1383090833 628225 :kmc_!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com JOIN :#esoteric < 1383090838 917924 :Fiora_!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com JOIN :#esoteric < 1383091055 601508 :Faris2!~faris@105.132.198.55 JOIN :#esoteric < 1383091089 944807 :JesseH!~JesseH@unaffiliated/jesseh QUIT :*.net *.split < 1383091090 90375 :Yonkie!~Yonkie@ip.82.144.199.214.stat.volia.net QUIT :*.net *.split < 1383091090 398569 :tromp!~tromp@rtc35-161.rentec.com QUIT :*.net *.split < 1383091090 398728 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com QUIT :*.net *.split < 1383091090 543808 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com QUIT :*.net *.split < 1383091186 880819 :Bike!~Glossina@wl-nat101.it.wsu.edu QUIT :Ping timeout: 246 seconds