< 1245802147 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen \o/ < 1245802147 0 :myndzi!unknown@unknown.invalid PRIVMSG #esoteric :        | < 1245802147 0 :myndzi!unknown@unknown.invalid PRIVMSG #esoteric :       /`\ < 1245802148 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :whatever < 1245802206 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wow < 1245802212 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a whatever wedged inside them < 1245802362 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :on my screen the whatever is last < 1245802405 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen nexiv@ < 1245802405 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :I'm your huckleberry < 1245802416 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen peep peep peep < 1245802417 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :i'm the type of girl that finds Don Knotts very sexy < 1245802429 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen haskell haskell haskell haskell haskell haskell haskell haskell < 1245802429 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :church is my favourite computer scientist. < 1245802444 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :@. vixen . vixen . vixen . vixen vixen Hurr recursion < 1245802444 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :yeah, it is < 1245802451 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1245802465 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric : @. vixen . vixen . vixen . vixen vixen hi < 1245802469 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@. vixen . vixen . vixen . vixen vixen hi < 1245802470 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :how cool? < 1245802475 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@. vixen . vixen . vixen vixen hi < 1245802476 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :good good < 1245802479 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@. vixen . vixen vixen hi < 1245802480 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :So, tell me your biggest and darkest secret. Something that no one knows of you. < 1245802483 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@. vixen vixen hi < 1245802484 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :hiya < 1245802489 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lament: why don't you marry @vixen? < 1245802491 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@ vixen hi < 1245802495 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :blah < 1245802496 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen hi < 1245802497 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1245802513 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen why don't you marry ehird? < 1245802513 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :maybe i will one day < 1245802526 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1245802527 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1245802539 0 :inurinternet!unknown@unknown.invalid QUIT :No route to host < 1245803254 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :is @vixen some alice bot or such? < 1245803275 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: it's the source to some cybering bot designed for yuks < 1245803303 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :uhu < 1245803315 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :in lambdabot? < 1245803325 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen what are you doing tonight? < 1245803326 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :just chattin < 1245803332 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen wanna go to the movies instead? < 1245803333 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :i'll hafta plead the fifth on that one. < 1245803333 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://code.haskell.org/lambdabot/Plugin/Vixen.hs < 1245803345 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: it's a copy < 1245803365 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :@vixen-on < 1245803369 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Wonder what this does. < 1245803371 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Not enough privileges < 1245803371 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Nothing. < 1245803373 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Aw. < 1245803387 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: also http://code.haskell.org/lambdabot/State/vixen. < 1245803425 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, that opens in khexedit? < 1245803433 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It has non-ASCII values. < 1245803438 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :right < 1245803440 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but what is it < 1245803446 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :data? < 1245803450 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or state < 1245803451 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The match/reply set for @vixen. < 1245803457 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mostly human readable. < 1245803458 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :why "state" then -_- < 1245803466 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Because it's the state for the vixen plugin. < 1245803481 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://code.haskell.org/lambdabot/State/ < 1245803482 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, seems more like read only data than state to me < 1245803501 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :shrug; see http://code.haskell.org/lambdabot/Plugin/Vixen.hs < 1245803758 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen do you speak Chinese? < 1245803759 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :i do occassionally, i guess < 1245803770 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :great answer < 1245803774 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen do you play the violin? < 1245803774 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :yes i do < 1245803778 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen do you play the trombone? < 1245803779 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :maybe. do you? < 1245803782 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen do you play the flute? < 1245803782 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :maybe. do you? < 1245803784 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen do you play the piano? < 1245803785 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :maybe. do you? < 1245803789 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen do you play the harpsichord? < 1245803790 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :yes i do < 1245803792 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen do you play the bassoon? < 1245803793 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :i do occassionally, i guess < 1245803798 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen do you play the triangle? < 1245803798 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :yes i do < 1245803804 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen do you play the tuba? < 1245803804 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :i do occassionally, i guess < 1245803808 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen do you play the guitar? < 1245803809 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :yes i do < 1245803815 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen do you play the saxophone? < 1245803816 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :no phone, sorry < 1245803819 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :no phone :( < 1245803845 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :XD < 1245803920 0 :Gracenotes!n=person@wikipedia/Gracenotes JOIN :#esoteric < 1245804277 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hi GregorR < 1245804278 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :... < 1245804279 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Gracenotes: < 1245804322 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :what has been up < 1245804349 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lambdabot is now an acquaintance of ours. < 1245804369 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :that is fortunate < 1245804429 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :@vixen that is fortunate < 1245804430 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :nothing good is on TV < 1245804438 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :e only likes us 'cuz we're amusing. < 1245804619 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :@vixen hey there sexy < 1245804619 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :sexy or sexy bitch? < 1245804789 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen sexy bitch < 1245804789 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :sexy or sexy bitch? < 1245804798 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen sexy or sexy bitch? < 1245804799 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :sexy or sexy bitch? < 1245804809 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen sexy or sexy bitch? < 1245804810 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :sexy is such an over used word. be more descriptive < 1245804812 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen sexy or sexy bitch? < 1245804813 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :how sexy? < 1245804814 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen sexy or sexy bitch? < 1245804815 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :sexy is such an over used word. be more descriptive < 1245804825 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :@. vixen vixen hey there, sexy < 1245804826 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :sexy or sexy bitch? < 1245804848 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen hey there, sexy bitch < 1245804849 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :sexy or sexy bitch? < 1245804858 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen hey there, < 1245804860 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :hiya < 1245804872 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen David slowed his pace slightly as his ears, < 1245804872 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Wouldn't it be funny if I really was a super model? < 1245804877 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen David slowed his pace slightly as his ears, < 1245804878 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :how < 1245804879 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen David slowed his pace slightly as his ears, < 1245804880 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1245804881 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen David slowed his pace slightly as his ears, < 1245804881 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :what type of music do you like? < 1245804882 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen David slowed his pace slightly as his ears, < 1245804883 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Prolly < 1245804884 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen David slowed his pace slightly as his ears, < 1245804884 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :why me? :) < 1245804994 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@yow < 1245804994 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :So this is what it feels like to be potato salad < 1245805380 0 :ehird!unknown@unknown.invalid NICK :ehird} < 1245805381 0 :ehird}!unknown@unknown.invalid NICK :ehird < 1245806055 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: never read this Haskell I'm writing, it's such a quick hack < 1245806075 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well ok it isn't that bad < 1245806094 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@quote < 1245806095 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :tomasz says: After all, return is only a fancy name for liftM0 :-) < 1245806151 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is thinking about Pi.
< 1245806184 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :why not about Khq? < 1245806192 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The constant. < 1245806218 0 :Mathematica!n=Mathemat@79-68-211-153.dynamic.dsl.as9105.com JOIN :#esoteric < 1245806222 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica: 2+2 < 1245806232 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Great failure! < 1245806241 0 :Mathematica!unknown@unknown.invalid QUIT :Remote closed the connection < 1245806254 0 :Mathematica!n=Mathemat@79-68-211-153.dynamic.dsl.as9105.com JOIN :#esoteric < 1245806259 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fucktest < 1245806264 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1245806285 0 :Mathematica!unknown@unknown.invalid QUIT :Remote closed the connection < 1245806325 0 :Mathematica!n=Mathemat@79-68-211-153.dynamic.dsl.as9105.com JOIN :#esoteric < 1245806331 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica: 2+2 < 1245806340 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :% 2+2 < 1245806342 0 :Mathematica!unknown@unknown.invalid QUIT :Remote closed the connection < 1245806356 0 :Mathematica!n=Mathemat@79-68-211-153.dynamic.dsl.as9105.com JOIN :#esoteric < 1245806359 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica: 2+2 < 1245806370 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :["leguin.freenode.net","401","Mathematica","#esoteric","Mathematica :No such nick/channel"] < 1245806370 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :["leguin.freenode.net","421","Mathematica","Copyright","Unknown command"] < 1245806372 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :["leguin.freenode.net","421","Mathematica","In[1]","= :Unknown command"] < 1245806374 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :["leguin.freenode.net","421","Mathematica","Out[1]=","Unknown command"] < 1245806376 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :["leguin.freenode.net","421","Mathematica","In[2]","= :Unknown command"] < 1245806412 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen lambda < 1245806412 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :do you trust the government? < 1245806419 0 :Mathematica!unknown@unknown.invalid QUIT :Remote closed the connection < 1245806421 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :land of lisp!!! < 1245806441 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1245806445 0 :Mathematica!n=Mathemat@79-68-211-153.dynamic.dsl.as9105.com JOIN :#esoteric < 1245806448 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica: 2+2 < 1245806456 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION drums fingers on table.
< 1245806458 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :> 2+2 < 1245806460 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : 4 < 1245806466 0 :Mathematica!unknown@unknown.invalid QUIT :Remote closed the connection < 1245806467 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :HASKELL is FASTER! < 1245806479 0 :Mathematica!n=Mathemat@79-68-211-153.dynamic.dsl.as9105.com JOIN :#esoteric < 1245806482 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica: 2+2 < 1245806487 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :WTF < 1245806495 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Ohhhhhh < 1245806506 0 :Mathematica!unknown@unknown.invalid QUIT :Remote closed the connection < 1245806528 0 :Mathematica!n=Mathemat@79-68-211-153.dynamic.dsl.as9105.com JOIN :#esoteric < 1245806530 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica: 2+2 < 1245806538 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Fuck my life. < 1245806544 0 :Mathematica!unknown@unknown.invalid QUIT :Remote closed the connection < 1245806555 0 :Mathematica!n=Mathemat@79-68-211-153.dynamic.dsl.as9105.com JOIN :#esoteric < 1245806560 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica: 2+2 < 1245806566 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :["leguin.freenode.net","401","Mathematica","#esoteric","Mathematica :No such nick/channel"] < 1245806577 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : hPutStrLn h ("PRIVMSG " ++ channel ++ ":" ++ res') < 1245806578 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1245806579 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No space. < 1245806587 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :@vixen I just need my space! < 1245806588 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :what's worth more a flush or a full house? < 1245806588 0 :Mathematica!unknown@unknown.invalid QUIT :Remote closed the connection < 1245806601 0 :Mathematica!n=Mathemat@79-68-211-153.dynamic.dsl.as9105.com JOIN :#esoteric < 1245806604 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica: 2+2 < 1245806605 0 :Mathematica!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica 7.0 for Mac OS X x86 (64-bit) Copyright 1988-2008 Wolfram Research, Inc. In[1]:= Out[1]= 4 In[2]:= < 1245806613 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica: Range[1000] < 1245806613 0 :Mathematica!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica 7.0 for Mac OS X x86 (64-bit) Copyright 1988-2008 Wolfram Research, Inc. In[1]:= Out[1]= {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, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, > 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 4... < 1245806629 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :TODO: Fix the formatting, make it give long shit somehow. < 1245806639 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica: PrimeQ /@ Range[10] < 1245806639 0 :Mathematica!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica 7.0 for Mac OS X x86 (64-bit) Copyright 1988-2008 Wolfram Research, Inc. In[1]:= Out[1]= {False, True, True, False, True, False, True, False, False, False} In[2]:= < 1245806652 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica: Sum[(PrimeQ /@ Range[10])[[i]], {i, 10}] < 1245806653 0 :Mathematica!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica 7.0 for Mac OS X x86 (64-bit) Copyright 1988-2008 Wolfram Research, Inc. In[1]:= Out[1]= 6 False + 4 True In[2]:= < 1245806708 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica: Table[PrimeQ, 10] < 1245806709 0 :Mathematica!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica 7.0 for Mac OS X x86 (64-bit) Copyright 1988-2008 Wolfram Research, Inc. In[1]:= Table::itform: Argument 10 at position 2 does not have the correct form for an iterator. Out[1]= Table[PrimeQ, 10] In[2]:= < 1245806718 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica: 1/0 < 1245806719 0 :Mathematica!unknown@unknown.invalid PRIVMSG #esoteric :Mathematica 7.0 for Mac OS X x86 (64-bit) Copyright 1988-2008 Wolfram Research, Inc. In[1]:= 1 Power::infy: Infinite expression - encountered. 0 Out[1]= ComplexInfinity In[2]:= < 1245806748 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hey guys, I forgot to chroot it. Don't fuck things up. :P < 1245806751 0 :Mathematica!unknown@unknown.invalid QUIT :Remote closed the connection < 1245806753 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Ha. < 1245806759 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I got you all excited. < 1245806759 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Maybe. < 1245807583 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wants to make a function for corecursing the digits...
< 1245807664 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Corecursing? Is that like folding or unfolding? < 1245807674 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Wait, you know what corecursion is already? Fuck, I haven't worked that out yet! :-P < 1245807684 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1245807692 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's just infinite data structures. Sort of. < 1245807701 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Corecursion < 1245807710 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: digits of what, anyway? < 1245807718 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Pi. < 1245807745 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :http://fabrice.bellard.free.fr/pi/pi_n2/pi_n2.html Fabrice Bellard seems to have a nice one for arbitrary bases. < 1245807752 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1245807759 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :there's an O(n) one for base-16 isn't there? < 1245807852 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No, from what I understand O(n^2) is the best one. < 1245807861 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(for finding arbitrary digits) < 1245807865 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :algo looks quite complex < 1245807872 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but very managable in haskell; maybe not in one line. < 1245807895 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: [[ It is still slower than the BBP algorithm [2], but it works in any base.]] < 1245807898 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Probably not a one-liner, but Haskell does make math rather nice. < 1245807898 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :bbp does base 16 < 1245807906 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :haskell makes everything rather nice :-P < 1245807907 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh. BBP is faster? Spiffy. < 1245807910 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wait no < 1245807911 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :bbp is binary < 1245807914 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so [Bool] < 1245807919 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but that's the cleanest way anyway ;) < 1245807919 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Is n the length of the required digit, or the digit itself? < 1245807924 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/BBP-type_formula < 1245807927 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :looks simple enough < 1245807934 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Warrigal: the position, I think. < 1245807953 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: The formula yields an algorithm for extracting hexadecimal digits of π. In order to perform digit extraction first we must rewrite the formula as < 1245807955 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ok, hex then < 1245807976 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hey pikhq < 1245807977 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Bellard's formula, as used by PiHex, the now-completed distributed computing project, is used to calculate the nth digit of π in base 2. It is a faster version (about 43% faster[1]) of the Bailey–Borwein–Plouffe formula. Bellard's formula was discovered by Fabrice Bellard. < 1245807982 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :bellard wins again, with a new one < 1245807985 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Bellard%27s_formula < 1245807988 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's also *very* simple < 1245807994 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :could easily be a oneliner < 1245807997 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :ehird: n is the position? < 1245808004 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Warrigal: i believe so. < 1245808014 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Fabrice Bellard wins again! < 1245808044 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i'll let you do the trivial work of translating it to haskell :P < 1245808051 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Thx. < 1245808115 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Corecursion is totally recursion. < 1245808131 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :(Actually, it seems like recursion is implemented as a form of corecursion, in Haskell.) < 1245808651 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: How does the definition go? < 1245808679 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I got interrupted by a phone call. < 1245808683 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1245809295 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"HydraIRC -> http://www.hydrairc.org <- Nobody cares enough to cybersquat it" < 1245810441 0 :GreaseMonkey!n=gm@unaffiliated/greasemonkey JOIN :#esoteric < 1245810756 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wishes that getting a digit of pi were a function of the previous digits
< 1245810901 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :`etymology pretentious < 1245810906 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :pretentious \ 1845, from Fr. pr�tentieux (17c.), from pr�tention "pretension," from M.L. pretentionem (nom. pretentio) "pretension," from L.L. pr�tensus "pretend" (see pretense). \ \ unpretentious \ 1859, from un- (1) "not" + pretentious. \ \ Pharisee \ O.E. Fariseos, O.Fr. pharise (13c.), both from L.L. Pharis�us, < 1245810914 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :`etymology pretense < 1245810915 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :pretense \ 1425, "the putting forth of a claim," from M.Fr. pretensse, from fem. of L.L. pr�tensus, from L. pr�tensus, pp. of pr�tendere (see pretend). Meaning "false or hypocritical profession" is from 1545. Pretension is c.1600 meaning "assertion;" sense of "ostentation" is from 1727. \ \ whitecap \ 1668, of birds, < 1245810963 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :`etymology ostentation < 1245810964 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :ostentation \ 1436, from M.Fr. ostentation (1366), from L. ostentationem (nom. ostentatio) "vain display," from ostentatus, pp. of ostentare "to display," freq. of ostendere (see ostensible). \ \ rumba (n.) \ 1922, from Cuban Sp., originally "spree, carousal," derived from Sp. rumbo "spree, party," earlier "ostentation, < 1245811054 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :http://74.125.47.132/search?q=cache:RylQCflF1YUJ:web.comlab.ox.ac.uk/people/Jeremy.Gibbons/publications/spigot.pdf+Digits+of+pi+as+a+function+of+digits+of+pi&cd=2&hl=en&ct=clnk&gl=us < 1245811061 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Nice algorithm. < 1245811070 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Not one I want to reimplement, mind, but... < 1245811085 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(note: the paper describes the algorithm in Haskell.) < 1245811686 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1245812855 0 :CESSMASTER!unknown@unknown.invalid QUIT :"Computer has gone to sleep" < 1245812878 0 :CESSMASTER!n=CESSMAST@unaffiliated/joelywoely JOIN :#esoteric < 1245812882 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hey, oerjan. < 1245812940 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :g'day < 1245812980 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I <3 Haskell. < 1245812990 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1245813224 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :wait, lambdabot? < 1245813308 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION has forgotten the prime trick :(
< 1245813325 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :lambdabot, destroy him < 1245813334 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :EgoBot, destroy him < 1245813342 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :fungot, destroy him < 1245813342 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :Slereah_: let me be a little more < 1245813347 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :There we go < 1245813365 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@vixen You're not male, are you? < 1245813365 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :yes, i am < 1245813369 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :whoops < 1245813374 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sex change :/ < 1245813388 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :@vixen yiff yiff < 1245813388 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :ever just get the urge to go out and kill a puppy? < 1245813462 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: What prime trick? < 1245813474 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION tries to look it up on haskell.org
< 1245813501 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :> let isprime n = not . any ((==0) . (n `mod`)) . takeWhile ((<= n) . (^2)) $ primelist; primelist = 2 : [x | x <- [3,5..], isprime x] in primelist < 1245813502 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101... < 1245813503 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That one? < 1245813524 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no < 1245813534 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is proud of himself for having figured out for himself that that's the Sieve of Eratosthenes...
< 1245813667 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: that's not the Sieve of Eratosthenes. < 1245813687 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Warrigal: ... Is close. Shaddup. < 1245813718 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :I vaguely remember reading that trial division outperforms it for large numbers. < 1245813741 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Anyways, I know how the thing works. < 1245813766 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :naturally, the sieve is a way of getting _all_ primes, not for testing primes < 1245813793 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Why yes, of course. < 1245813814 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :That doesn't really make sense, though, as that expression *is* trial division, really. < 1245813996 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION searches for himself on #haskell instead
< 1245814021 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> nubBy (((>1).).gcd) [2..] < 1245814023 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101... < 1245814059 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(i didn't invent it, i just knew i'd demonstrated it) < 1245814094 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Yay, a brain nut. < 1245814110 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"brain nut"? < 1245814120 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Something that you have to crack open with your brain. < 1245814155 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Very short and pretty inefficient. < 1245814158 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :... Wait, wait. Remove all numbers from the list numbers greater than 2 where the greatest common denominator is greater than 1? < 1245814165 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :here's another < 1245814169 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> fix ((0:).(1:).ap(zipWith(+))tail) < 1245814170 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :@src nubBy < 1245814170 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946... < 1245814171 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :nubBy eq [] = [] < 1245814171 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :nubBy eq (x:xs) = x : nubBy eq (filter (\ y -> not (eq x y)) xs) < 1245814171 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That is beautiful. Slow, but purdy. < 1245814206 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :> nubBy(((>1).).gcd)(fix((0:).(1:).ap(zipWith(+))tail)) < 1245814212 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval-core: Prelude.read: no parse < 1245814212 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval: ExitFailure 1 < 1245814216 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Fibonacci with a combinator. < 1245814223 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Followed by borken code. < 1245814250 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION frowns.
< 1245814265 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :> nubBy (((>1).).gcd) (fix ((0:).(1:).ap(zipWith(+))tail)) < 1245814267 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :nothing slow about the fibonacci, btw, afaik < 1245814270 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval-core: Prelude.read: no parse < 1245814271 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval: ExitFailure 1 < 1245814307 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :> nubBy (((>1).).gcd) fix ((0:).(1:).ap(zipWith(+))tail) < 1245814309 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Couldn't match expected type `[a]' < 1245814319 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :lambdabot is insane. < 1245814347 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :why the heck is that a parse error < 1245814367 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :> (fix ((0:).(1:).ap(zipWith(+))tail)) < 1245814368 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946... < 1245814376 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :> aard (fix ((0:).(1:).ap(zipWith(+))tail)) < 1245814377 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Not in scope: `aard' < 1245814395 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :> aard () (fix ((0:).(1:).ap(zipWith(+))tail)) < 1245814397 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Not in scope: `aard' < 1245814404 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :> aard (foo.gcd) (fix ((0:).(1:).ap(zipWith(+))tail)) < 1245814406 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Not in scope: `aard'Not in scope: `foo' < 1245814413 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :> aard ((foo.).gcd) (fix ((0:).(1:).ap(zipWith(+))tail)) < 1245814415 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Not in scope: `aard'Not in scope: `foo' < 1245814420 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :> aard (((>1).).gcd) (fix ((0:).(1:).ap(zipWith(+))tail)) < 1245814422 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Not in scope: `aard' < 1245814428 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :> nubBy (((>1).).gcd) (fix ((0:).(1:).ap(zipWith(+))tail)) < 1245814434 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval-core: Prelude.read: no parse < 1245814434 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval: ExitFailure 1 < 1245814437 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Warrigal: and what is the point of this? < 1245814446 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :To figure out why it's a parse error. < 1245814453 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :The expression itself appears to parse fine. < 1245814488 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Something else is failing to parse. < 1245814490 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :why would it even use Prelude.read, i wonder < 1245814500 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the result, perhaps < 1245814507 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :> show (nubBy (((>1).).gcd) (fix ((0:).(1:).ap(zipWith(+))tail))) < 1245814512 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval-core: Prelude.read: no parse < 1245814512 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval: ExitFailure 1 < 1245814541 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :seems lambdabot has been broken... < 1245814667 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> nubBy (((>1).).gcd) $ fix ((0:).(1:).ap(zipWith(+))tail) < 1245814673 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval-core: Prelude.read: no parse < 1245814673 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval: ExitFailure 1 < 1245814698 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh wait... < 1245814722 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> nubBy (((>1).).gcd) [0,1,1,2] < 1245814724 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [0,1,1] < 1245814735 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> nubBy (((>1).).gcd) [0,1,1,2,3,5,8] < 1245814736 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [0,1,1] < 1245814756 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> nubBy (((>1).).gcd) (0:repeat 1) < 1245814758 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,... < 1245814798 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :of course all fibonacci numbers are relatively prime. hm. < 1245814832 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> let fib = 0:1:zipWith(+)fib(tail fib) in nubBy (((>1).).gcd) fib < 1245814838 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval-core: Prelude.read: no parse < 1245814838 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval: ExitFailure 1 < 1245814849 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think somehow it _does_ break < 1245814968 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah it halts after 0,1,1 when i test it in winhugs < 1245815000 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh of course < 1245815008 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> nubBy (((>1).).gcd) (0:repeat 2) < 1245815013 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval-core: Prelude.read: no parse < 1245815013 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mueval: ExitFailure 1 < 1245815040 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :gcd 0 n = n, so everything > 1 is dropped when there is a 0... < 1245815048 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(at the start) < 1245815077 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Warrigal: mystery solved < 1245815131 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> nubBy (((>1).).gcd) $ fix ((1:).(2:).ap(zipWith(+))tail) < 1245815133 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [1,2,3,5,13,89,233,1597,4181,28657,514229,1346269,24157817,165580141,433494... < 1245815160 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh not _all_ fibonacci numbers are relatively prime, only all consecutive ones < 1245815353 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : foo where a=b;c=d <-- that's not actually a legal expression. only hugs allows it i think < 1245815368 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!haskell a where a = 2+2 < 1245815740 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :!!!!!!!!!!!!!!! < 1245815807 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> fix ('!':) < 1245815808 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!... < 1245816134 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :> fix error < 1245816135 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : "* Exception: * Exception: * Exception: * Exception: * Exception: * Excepti... < 1245816242 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1245816256 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :WHY DON'T YOU FIX MY ERROR < 1245816520 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :> fix (Node (() . return) < 1245816521 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : : parse error (possibly incorrect indentation) < 1245816528 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :> fix (Node () . return) < 1245816529 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Node {rootLabel = (), subForest = [Node {rootLabel = (), subForest = [Node ... < 1245816795 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> fix (ap Node . return) < 1245816796 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Couldn't match expected type `Data.Tree.Forest a' < 1245816825 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er < 1245816850 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> fix (join Node . return) < 1245816851 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: < 1245816851 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : b = Data.Tree.Forest b < 1245816856 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh well < 1245817815 0 :bsmntbombdood!n=gavin@97-118-115-69.hlrn.qwest.net JOIN :#esoteric < 1245818042 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1245818173 0 :jix_!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245818173 0 :lambdabot!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245818173 0 :Leonidas!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245818174 0 :coppro!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245818174 0 :Dewi!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245818175 0 :Ilari!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245818199 0 :jix_!n=jix@dyndsl-095-033-069-164.ewe-ip-backbone.de JOIN :#esoteric < 1245818199 0 :lambdabot!n=lambdabo@animaforge.net JOIN :#esoteric < 1245818199 0 :Leonidas!n=Leonidas@unaffiliated/leonidas JOIN :#esoteric < 1245818209 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1245818209 0 :Dewi!n=dewi@124-171-164-65.dyn.iinet.net.au JOIN :#esoteric < 1245818209 0 :Ilari!n=user@a88-113-39-59.elisa-laajakaista.fi JOIN :#esoteric < 1245818211 0 :coppro!unknown@unknown.invalid QUIT :"The only thing I know is that I know nothing" < 1245818230 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1245819219 0 :dbc!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1245819240 0 :dbc!n=daniel@130-94-161-238-dsl.hevanet.com JOIN :#esoteric < 1245819714 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1245821146 0 :bsmntbombdood!n=gavin@97-118-115-69.hlrn.qwest.net JOIN :#esoteric < 1245822442 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Okay, I think my brain *finally* broke. < 1245822448 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Functors did it. < 1245822455 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :that would be logical < 1245822473 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Applicative functors, namely. With functions. < 1245822517 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Also, I recently saw the word 'decomposition', and thought "Hmm. Inverse of (.)..." < 1245822606 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :oh, those functors < 1245822617 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :I thought you meant C++ functors < 1245822696 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The only thing brain-breaking about C++ is its type system being Turing complete. < 1245822712 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :if you think that, you have not used c++ :/ < 1245822715 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric ::\ < 1245822729 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is tired
< 1245822731 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :good night < 1245822748 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Or I am so very broken-minded by C++ template programmers that everything else seemed mundane. < 1245823141 0 :amuck!n=amuck@h178.139.16.98.dynamic.ip.windstream.net JOIN :#esoteric < 1245823163 0 :holmak!n=Keith@c-71-231-102-236.hsd1.wa.comcast.net JOIN :#esoteric < 1245823414 0 :holmak!unknown@unknown.invalid PART #esoteric :? < 1245825072 0 :FireFly!n=FireFly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1245826726 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"HydraIRC -> http://www.hydrairc.org <- Nobody cares enough to cybersquat it" < 1245827258 0 :kar8nga!n=kar8nga@e-60.vc-graz.ac.at JOIN :#esoteric < 1245827279 0 :FireFly!unknown@unknown.invalid QUIT :"Later" < 1245829284 0 :kar8nga!unknown@unknown.invalid QUIT :Remote closed the connection < 1245830399 0 :clog!unknown@unknown.invalid QUIT :ended < 1245830400 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1245831733 0 :tombom!i=tombom@wikipedia/Tombomp JOIN :#esoteric < 1245831746 0 :coppro!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1245832854 0 :asiekierka!i=asiekier@078088180066.elblag.vectranet.pl JOIN :#esoteric < 1245832883 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1245832886 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :anyone here? < 1245833348 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :For strange values of "here" < 1245833449 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :...i'm bored < 1245833455 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :and I want to do something related to esolangs! < 1245833457 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Any ideas? < 1245833461 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :(except making interpreters :P) < 1245833572 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1245833580 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1245833584 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1245833608 0 :amca!n=amca@CPE-121-208-82-97.qld.bigpond.net.au JOIN :#esoteric < 1245833647 0 :Tidus35!n=Tidus33@c210-49-69-63.rochd2.qld.optusnet.com.au JOIN :#esoteric < 1245833732 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: what, you consider applicatives _worse_ than monads? but every monad can be made an applicative... < 1245833772 0 :Judofyr!n=Judofyr@77.40.165.3 JOIN :#esoteric < 1245833778 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i guess that doesn't _necessarily_ help < 1245833779 0 :Judofyr!unknown@unknown.invalid QUIT :Remote closed the connection < 1245833881 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :xkcd :/ < 1245833946 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1245834033 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I still don't get applicatives, but I get monads just fine :-P < 1245834064 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :asiekierka: 'cat' in dobela < 1245834096 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: I don't want to touch DOBELA anymore < 1245834101 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :I think it was a failure < 1245834115 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :And I'm (not) writing a note (t)here: "HUGE SUCCESS" < 1245834142 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :How can an esolang be a failure :-P < 1245834152 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Because it's worse than Underload < 1245834162 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Underload is awesome < 1245834167 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :but i'm talking in terms of difficulty < 1245834176 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :I'm soon getting a Psion 3a < 1245834184 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Malbolge wasn't a failure IMO < 1245834187 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :so I may be able to implement and invent esolangs wherever I am < 1245834194 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: It wasn't. < 1245834203 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :But no, I just don't like DOBELA myself < 1245834204 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1245834213 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Must think of a new esolang < 1245834221 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :I think I should get to work on Anglent < 1245834225 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :the language with angles < 1245834260 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :and length < 1245834272 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Angle + Length = Anglent < 1245834284 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :It is probably easy to code < 1245834291 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :you just write angles from -90 to 90 and length < 1245834292 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :for example < 1245834294 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :0,3 < 1245834295 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :10,3 < 1245834296 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1245834313 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Then the application does some comparison, and gets a giant switch...case construction < 1245834322 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Easy to write, hard as hell to draw on paper < 1245834329 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :but possible < 1245834371 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Nah, anglent is an esolang to be finished up later < 1245834383 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :I doubt it has IO, even < 1245834387 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :must check logs later < 1245834444 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er, sounds like turtle graphics? < 1245834451 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Well < 1245834470 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the drawing bit, that is < 1245834474 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :http://img26.imageshack.us/img26/6489/dsc01722q.jpg - This is how a simple program looked like < 1245834484 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :And in text it would look like < 1245834490 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :(not the same app) < 1245834491 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :0,10 < 1245834492 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :10,3 < 1245834495 0 :ehird!unknown@unknown.invalid QUIT :Remote closed the connection < 1245834495 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :20,7 < 1245834497 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1245834504 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :basically < 1245834508 0 :ehird!n=ehird@208.78.103.223 JOIN :#esoteric < 1245834530 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :angle (where 0 is a horizontal line, range from -90 to 90), length of line < 1245834544 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh so the angles are not cumulative < 1245834544 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :so 0,10 is a horizontal line 10 milimetres long < 1245834557 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :not turtle graphics then < 1245834687 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :well < 1245834690 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :basically < 1245834759 0 :asiekierk!i=asiekier@078088180066.elblag.vectranet.pl JOIN :#esoteric < 1245834761 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :the next one is 20,6, so we do 20-10=10, for example an inc by (6/3=2) of the current variable < 1245834764 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :and so on < 1245834776 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :see? < 1245834779 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :Oh < 1245834784 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :and the angle is within the range of 90...-90 < 1245834799 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :so it can be 89,88...0...-88,-89 < 1245834872 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but is that after or before subtracting the angles? < 1245834902 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :well < 1245834902 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :in this case < 1245834902 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: before < 1245834902 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :so you can't do 91,6 < 1245834902 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :or 90,6 < 1245834902 0 :asiekierk!unknown@unknown.invalid PRIVMSG #esoteric :or -100,6 < 1245834910 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1245834944 0 :bsmntbombdood!n=gavin@97-118-115-235.hlrn.qwest.net JOIN :#esoteric < 1245835000 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i see < 1245835045 0 :asiekierka!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1245836307 0 :asiekierk!unknown@unknown.invalid NICK :asiekiekra < 1245836309 0 :asiekiekra!unknown@unknown.invalid NICK :asiekierka < 1245836328 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :But Anglent is a secondary language for me < 1245836935 0 :MigoMipo!n=MigoMipo@84-217-6-71.tn.glocalnet.net JOIN :#esoteric < 1245837711 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1245837724 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if there could be an esolang based on video compression < 1245837726 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :and videos in general < 1245837762 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Idea 1: You can switch between 8x8 blocks of memory, then you can only either shift the whole block right or shift the 1st column down. < 1245837773 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :You access the block at 0,0 (x = 0-7, y = 0-7) < 1245837781 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :As in < 1245837787 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :if there's (H) at 3,3 < 1245837789 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :you need to < 1245837801 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :(I'll use R = Shift Right, D = Shift Down) < 1245837811 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :RRRRRDDDDD < 1245837813 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :to get it < 1245837827 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :and then to restore the block < 1245837829 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :DDDRRR < 1245837907 0 :asiekierka!unknown@unknown.invalid QUIT : < 1245839102 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1245839716 0 :asiekierka!i=asiekier@078088180066.elblag.vectranet.pl JOIN :#esoteric < 1245839717 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Hi < 1245839720 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :So, my Psion has arrived < 1245839724 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :in quite a good shape < 1245839781 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :in other words < 1245839804 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :my Programming-Applications-On-The-Road part of a toolkit (containing only one part) is there < 1245840711 0 :deveah!n=deveah@92.81.126.36 JOIN :#esoteric < 1245841754 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :asiekierka: Can I ask what your preferred programming languages are? < 1245843251 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :...hmm < 1245843256 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Well I like Pascal < 1245843260 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :and 6502 assembler < 1245843262 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Dunno, really < 1245843265 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Now I'm learning OPL < 1245843362 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :OPL? < 1245843406 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Object Programming Language < 1245843411 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :the programming language for Psions < 1245843421 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :Ah < 1245843443 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION hadnt heard of it before :(
< 1245843496 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION didn't either, until he saw the Psion of his friend
< 1245843504 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :and that was on Thursday AFAIK < 1245843511 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :How do you like it? < 1245843546 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Well, IMHO it's sometimes troubling but works quite well < 1245843582 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :Does it allow you to control/display gui elements? < 1245843586 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Yup! < 1245843684 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :What systems have u programmed 6502 on? < 1245843751 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :(on/for) < 1245843804 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Tried the Atari 2600 < 1245843810 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :started learning for the NES < 1245843815 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Did something simple for the C64 < 1245843833 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :Cool. < 1245843853 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :Can I ask what year you started programming? < 1245843993 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Around 2005-2006 < 1245844063 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :Cool < 1245844592 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :i'm writing Pong for the Psion now xD < 1245844643 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1245844670 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :Tetris next? < 1245844676 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Nah < 1245844677 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Dunno < 1245845098 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :I only wonder how to make the ball bounce realistically < 1245845145 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :Having trouble with that? < 1245845151 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Yup < 1245845157 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :i'm not a math wizard; too young for that < 1245845163 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :so i don't know trigs < 1245845188 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :You having trouble making the ball bounce at the right angle? < 1245845195 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Well, I don't even know how! < 1245845199 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :So yeah < 1245845209 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Because i'm not old enough to know trigs here in Poland :P < 1245845217 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :or at least i didn't learn about it yet < 1245845225 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :I dont think you need to know trig < 1245845233 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :... < 1245845243 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :You have the x and y velocity, right? < 1245845250 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :...Well, now I do < 1245845257 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :as i didn't quite start coding yet < 1245845273 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :Say there is a wall parallel with the y axis... < 1245845280 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Yeah < 1245845306 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :I think the X axis would swap it's direction < 1245845311 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :upon bounce < 1245845313 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :When the ball bounces off of it, the y velocity will stay the same, but the x velocity will by multiplied by -1 < 1245845314 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :from 1 to -1 for example < 1245845319 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1245845322 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1245845324 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :thanks :D < 1245845332 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :Happy to help :) < 1245845379 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :And if it is bouncing off a wall parallel to the x axis, the y velocity is * -1 < 1245845386 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :well, yeah, thanks < 1245845398 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Wait < 1245845402 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Your logic fails in one case < 1245845410 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :What if the x velocity is 1 and the y one is 0 < 1245845411 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :When it collides with a corner? < 1245845417 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :and it hits a wall parallel with the y axis < 1245845424 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :It would run horizontal on < 1245845424 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :It wont < 1245845425 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :and on < 1245845425 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :and on < 1245845428 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :well < 1245845433 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :upon hitting the parallel-y wall < 1245845439 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :it would change from 1 0 to -1 0 < 1245845440 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :then again < 1245845443 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :from -1 0 to 1 0 < 1245845463 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :There's the problem < 1245845465 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :Normally in pong you only have vertical and horizontal lines < 1245845468 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Well, yes < 1245845488 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :But shouldn't the ball get more angled if hitting the pong bar at the edges < 1245845539 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :You just increase the "sideways" velocity proportional to the distance to the center of the paddle < 1245845556 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1245845591 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :Or you could make it dependant on the sideways velocity of the paddle < 1245845615 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :nah < 1245846387 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Writing the rendering routine < 1245846396 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :With a slow-refresh screen is a real pain < 1245846434 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :at least it has a 7.68MHz 8086 < 1245846439 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :or a NEC V30... not sure < 1245846549 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric :Using sprites or rectangles? < 1245846559 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :rectangles < 1245846561 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :I have only one sprite < 1245846562 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1245846567 0 :amca!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1245846582 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :But it wouldn't be any better < 1245846586 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :as sprites are also software < 1245846655 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :asiekierka: OPL is Open Programming Language, not Object Programming Language, isn't it? < 1245846690 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :... < 1245846693 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Well < 1245846700 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Are you talking about the PSION Object Programming Language < 1245846720 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :wait, no < 1245846725 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :it may be even more different < 1245846729 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :"Organiser Programming Language" < 1245846731 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :"The language was originally called Organiser Programming Language developed by Psion Ltd for the Psion Organiser." < 1245846735 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :-- http://en.wikipedia.org/wiki/Open_Programming_Language < 1245846738 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :FILExt · OPL · Psion Organiser Programming Language ... < 1245846750 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :filext isn't an accurate sourec < 1245846752 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :s/ec/ce/ < 1245846752 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Well < 1245846757 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :The language was originally called Organiser Programming Language < 1245846761 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Of course, neither is Wikipedia, but. :-P < 1245846775 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :And seemingly it became "Open" after Psion retired from PDAs < 1245846779 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :"After Psion retired from the PDA market, the project was changed to open source and the acronym was re-interpreted." < 1245846783 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Yep. < 1245846784 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1245846788 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :And I have a Psion Series 3a < 1245846813 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I see that that is not exactly recent, which explains it. < 1245847152 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Ok, I... uh, made the first paddle work < 1245847191 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Now a simple AI < 1245847203 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :a simple AI that doesn't let you win, for now < 1245847208 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :for testing < 1245847423 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Ok, AI coded, movement coded < 1245847431 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Now to code... uh... the ball! < 1245847525 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Well, that'll come later! < 1245847838 0 :KingOfKarlsruhe!n=nice@HSI-KBW-091-089-027-168.hsi2.kabelbw.de JOIN :#esoteric < 1245848183 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :nah, pong won't work out well < 1245848418 0 :Tidus35!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245848418 0 :jix_!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245848419 0 :Leonidas!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245848419 0 :lambdabot!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245848439 0 :Tidus35!n=Tidus33@c210-49-69-63.rochd2.qld.optusnet.com.au JOIN :#esoteric < 1245848439 0 :jix_!n=jix@dyndsl-095-033-069-164.ewe-ip-backbone.de JOIN :#esoteric < 1245848439 0 :lambdabot!n=lambdabo@animaforge.net JOIN :#esoteric < 1245848439 0 :Leonidas!n=Leonidas@unaffiliated/leonidas JOIN :#esoteric < 1245849057 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :One interesting thing about the Psion Series 3 < 1245849061 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :is that it uses... SSDs < 1245849232 0 :jix_!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245849232 0 :Tidus35!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245849232 0 :Leonidas!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245849232 0 :lambdabot!unknown@unknown.invalid QUIT :hubbard.freenode.net irc.freenode.net < 1245849245 0 :Tidus35!n=Tidus33@c210-49-69-63.rochd2.qld.optusnet.com.au JOIN :#esoteric < 1245849245 0 :jix_!n=jix@dyndsl-095-033-069-164.ewe-ip-backbone.de JOIN :#esoteric < 1245849245 0 :lambdabot!n=lambdabo@animaforge.net JOIN :#esoteric < 1245849245 0 :Leonidas!n=Leonidas@unaffiliated/leonidas JOIN :#esoteric < 1245849346 0 :MigoMipo!unknown@unknown.invalid QUIT :"QuitIRCServerException: MigoMipo disconnected from IRC Server" < 1245850079 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fun.... I managed to make the optimisations passes in in-between never "converge" on a single "solution" (that is, I run all the passes and check against the state before, if it differs I run all passes again (and so on), until nothing differs against the previous iteration, but somehow it now ends up "oscillating" between four different states...) < 1245851475 0 :amuck!unknown@unknown.invalid PART #esoteric :? < 1245852033 0 :KingOfKarlsruhe!unknown@unknown.invalid QUIT :Remote closed the connection < 1245852365 0 :KingOfKarlsruhe!n=nice@HSI-KBW-091-089-027-168.hsi2.kabelbw.de JOIN :#esoteric < 1245854981 0 :FireFly!n=FireFly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1245855335 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: applicative functors? Sounds like there's a Haskell thing I haven't heard of. < 1245855761 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :lets see... what is the complexity of a function that for every vertex (V1) of a graph, iterates over the set of directly reachable vertices from V1? < 1245855765 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :O(horrible) < 1245855829 0 :MigoMipo!n=MigoMipo@84-217-12-195.tn.glocalnet.net JOIN :#esoteric < 1245855848 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :It's O(n) in the number of operations that must be performed. < 1245855869 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :So, um, O(n*m) where n is the number of vertices and m is the average number of operations that must be performed per vertex. < 1245855919 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1245855941 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :not worse? < 1245855941 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1245855959 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Why would it be worse? < 1245855983 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Assuming you can hop between all the vertices as if they were a linked list without any time penalty... < 1245855985 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :sorry, that part isn't worse, the bit it does with those directly reachable vertices is worse. < 1245856050 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Why is that worse? < 1245856132 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Warrigal, due to the operation performed on those reachable vertices. < 1245856183 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :which is "split into two sets, based on node label, then for each one in set A, do add an edge from each one in set B to it". < 1245856193 0 :BeholdMyGlory!n=behold@d83-183-181-73.cust.tele2.se JOIN :#esoteric < 1245856213 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :these new edges doesn't affect when iterating over more nodes ahead. < 1245856241 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(because the actual new edges are inserted in a copy basically). < 1245856305 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I need a copy anyway for other reasons here, so modifying in place wouldn't save anything. < 1245856343 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(those other reasons being this is used to generate a new graph with some properties while keeping the old one for other code that needs that version) < 1245856386 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :anyway got to work out a better algorithm, since profiling shows that this bit takes about 85% of the total runtime. bbl < 1245856480 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Warrigal: (+) <*> [1..10] <+> [5,7..51] < 1245856512 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: my immediate thought is that that reminds me of delimited continuations. < 1245856551 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :What does that little piece of code do? < 1245856568 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Same as the list comprehension [x+y | x<-[1..10] y<-[5,7..51]] < 1245856591 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Oh, right, those are infix operators. < 1245856639 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(+) <*> [1..10], of course, is (in psuedo-Haskell) [1+,2+,..,9+,10+] < 1245856655 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And <+> applies that functor to the other functor. < 1245856673 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: so is that all? < 1245856683 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :In the case of a list, yes. < 1245856701 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Functions, IO, and Maybe are also applicative functors. < 1245856717 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :<*> looks like fmap. < 1245856730 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :On lists, it is. < 1245856744 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :What is it on other functors? < 1245856787 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :For the function instance, f<*>g = \x -> fx (g x) < 1245856813 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Familiar? :P < 1245856824 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :<*> looks like ap there. < 1245856837 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Ding. < 1245856897 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sorry, that was bad code. s/<*>/<$>/ s/<+>/<*>/ < 1245856929 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :(+) <$> [1..10] <*> [5,7..51]? That makes a bit more sense. < 1245856947 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :x <*> y looks like join (map (\z -> map z y) x) or something. < 1245856948 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1245856951 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :s/map/fmap/ < 1245857069 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :<+> is an arrow function < 1245857131 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :@hoogle <$> < 1245857132 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Control.Applicative (<$>) :: Functor f => (a -> b) -> f a -> f b < 1245857206 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :@hoogle <*> < 1245857207 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Control.Applicative (<*>) :: Applicative f => f (a -> b) -> f a -> f b < 1245857228 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :@src <$> < 1245857229 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :f <$> a = fmap f a < 1245857248 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Woo, it's fmap. < 1245857253 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :@src <*> < 1245857253 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Multiple instances. ^_^ < 1245857253 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Source not found. I can't hear you -- I'm using the scrambler. < 1245857416 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: I still don't get monads. < 1245857469 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :So applicative functors are like limited monads, maybe. < 1245857534 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION ponders the BS combinator system.
< 1245857551 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :(B x y z = x (y z), S x y z = x z (y z).) < 1245857584 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Warrigal : There's a combinator system that doesn't need any parentheses < 1245857588 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION stops pondering the BS combinator system so that someone else can have a turn.
< 1245857597 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :SK-something < 1245857600 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Maybe B < 1245857607 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Lemme check < 1245857616 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's pretty obvious that there is one. < 1245857632 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :If there's a nice one, that's pretty cool. < 1245857637 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, but I find it weird that no one made an esolanf out of it* < 1245857649 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :I mean, it's pretty neat < 1245857656 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :You can map it to natural numbers easily < 1245857664 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :And it's not artificial like iota < 1245857666 0 :deveah!unknown@unknown.invalid PRIVMSG #esoteric :esolangs aren't for everybody < 1245857683 0 :deveah!unknown@unknown.invalid PRIVMSG #esoteric :you can't make an esolang out of anything < 1245857700 0 :deveah!unknown@unknown.invalid PRIVMSG #esoteric :"This is weoivnt0wv. It's an esolang made of shit." < 1245857704 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Well, yeah, but combinators? You totally can < 1245857800 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It is SKB, yeah < 1245857835 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Hm. < 1245857846 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I should try a lazy K to SKB compiler < 1245857978 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :What, you thinking of Unlambda? < 1245857995 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :SKB? So ap, return, and whatever <*> is called in monad-land. < 1245857995 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :does Unlambda have B? < 1245858002 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Unlambda does not have B. < 1245858012 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :That's why Lazy Bird is awesome dude < 1245858025 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :But I meant something to erase all ` or parenthesis < 1245858052 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Something where left-association is mandatory. < 1245858072 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1245858083 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, my favorite combinator set is BCIKSW. < 1245858090 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Still 3 symbols, but at least there's no need for a particular syntax < 1245858106 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Well Lazy Bird totally has that *gratuitous self promotion* < 1245858258 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Wait, do I have w? < 1245858264 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Oh yeah < 1245858658 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION tries to figure out monads.
< 1245858806 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :"kernel upgrade!" < 1245859226 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Either I just achieved enlightenment or my brain broke and I didn't notice. < 1245859267 0 :BeholdMyGlory!n=behold@d83-183-181-73.cust.tele2.se JOIN :#esoteric < 1245859603 0 :ehurd!n=gregor@pal-163-072.itap.purdue.edu JOIN :#esoteric < 1245859628 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hello. < 1245859708 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Hio. < 1245859966 0 :kar8nga!n=kar8nga@e-82.vc-graz.ac.at JOIN :#esoteric < 1245860611 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Fuck... MSI, the current Windows installer format, is... a relational database. < 1245860630 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Microsoft uses a relational database where a freaking tarball would do. < 1245860832 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :OK, I've officially stepped beyond insanity and to "WTFBBQ" < 1245860863 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :I was using git-svn because I'm tired of not having any nifty features in the client for the VCS for this project. < 1245860871 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :(And hg-svn sucks, let's be honest) < 1245860900 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :It was basically working, but in spite of git's "leaps" and "bounds", it is the most confusing fucking system on earth short of GNU arch and/or bazaar. < 1245860921 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :So now I'm using git-svn to check out the repo, and then hg-git to check that out with hg. < 1245860924 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :It works shockingly well :P < 1245860970 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :wtfbbq? < 1245860981 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :Exactly 8-D < 1245860996 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :So, you're checking out SVN with Git, then checking out Git with Hg. < 1245861007 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :Yup. < 1245861017 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I think you may have outcomplicated GNU Arch. < 1245861037 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :Except that the end system is super-simple, it's just hg. The only complication is it's two steps when I want to commit or pull. < 1245861079 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :At least it's not likely that GNU Arch will be used much in the future... < 1245861116 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :Any git experts want to tell my how to revert ONE file to the version in ... the index? Or the staging area, I guess I haven't staged the file either, but suffice to say the version in the "repository" < 1245861122 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :GNU Arch is defunct; Bazaar is recommended in its place. < 1245861137 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Not that that's much better. :P < 1245861160 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :git revert certainly isn't it, git reset --{anything} HEAD^ path just barfs and tells me it doesn't work on paths. < 1245861169 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :And scouring man pages seems to tell me roughly nothing. < 1245861180 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION notes that git needs a frontend.
< 1245861194 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :git gui sucks both outloud and quietly to itself. < 1245861206 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :A good one. < 1245861279 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :myndzi: RETRIBUTION \o/ < 1245861279 0 :myndzi!unknown@unknown.invalid PRIVMSG #esoteric :                    | < 1245861279 0 :myndzi!unknown@unknown.invalid PRIVMSG #esoteric :                   /| < 1245861358 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehurd/ehird? < 1245861375 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :I'm GregorR-L. ehird complained about people with similar names yesterday. < 1245861384 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1245861392 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :Feel free to /nick eherd < 1245861393 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehurd, who was it in that case yesterday < 1245861398 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :Idonno *shrugs* < 1245861408 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :is ehird here? < 1245861414 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :since I actually wanted to ask him something < 1245861415 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :Well, he's logged in :P < 1245861421 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :he use a bouncer < 1245861436 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, I know, so that doesn't really tell us much, but I'm not psychic, so *eh* < 1245861467 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehurd, he hasn't talked recently then I guess? < 1245861476 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :No < 1245861654 0 :kar8nga!unknown@unknown.invalid QUIT :Remote closed the connection < 1245862394 0 :KingOfKarlsruhe!unknown@unknown.invalid QUIT :Remote closed the connection < 1245863337 0 :tombom!unknown@unknown.invalid QUIT :"Peace and Protection 4.22.2" < 1245863475 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :ehurd: git checkout -- PATH < 1245863486 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :git checkout??? >_O < 1245863489 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :IIRC. 'git status' tells you, anyway < 1245863521 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Yes, git checkout can be used to update paths as well. < 1245863535 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :# (use "git checkout -- ..." to discard changes in working directory) < 1245863537 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :X_X < 1245863547 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1245863816 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :...ehurd? < 1245863837 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :GOD I love chaos. < 1245864089 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehurd, I was confused by that in git recently too < 1245864498 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1245865945 0 :inurinternet!n=nuri@rrcs-74-62-7-76.west.biz.rr.com JOIN :#esoteric < 1245866330 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :19:49:13 foo where a=b;c=d <-- that's not actually a legal expression. only hugs allows it i think < 1245866331 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :tru < 1245866340 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :20:02:14 > fix error < 1245866340 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :20:02:15 "* Exception: * Exception: * Exception: * Exception: * Exception: * Excepti... < 1245866342 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1245866370 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :21:47:22 Okay, I think my brain *finally* broke. < 1245866370 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :21:47:28 Functors did it. < 1245866371 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :21:47:53 Applicative functors, namely. With functions. < 1245866374 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :easy enough to pick up < 1245866392 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :what's really going to kill you is applicative functors... without functions! < 1245866396 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: btw monads are a subset of functors, in theory < 1245866401 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so that's quite expected < 1245866414 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: also, "fmap" is both (.) and map, for functions and lists < 1245866416 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> fmap succ [1,2,3] < 1245866418 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [2,3,4] < 1245866422 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Yes. < 1245866423 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> fmap (fmap succ succ) [1,2,3] < 1245866424 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [3,4,5] < 1245866429 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I think it all *finally* hit. < 1245866434 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And damn, is it cool. < 1245866448 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: you got them in the logs I haven't read yet? < 1245866449 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :all monads are functors. not all functors are monads. all monads are applicative. not all applicatives are monads. < 1245866455 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :what are you, some super-learner? < 1245866456 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :all applicatives are functors. < 1245866464 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :not all functors are applicatives. < 1245866491 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :... the more you know < 1245866537 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Actually, yes, I kinda am... < 1245866543 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I learned C from man pages, man. < 1245866548 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: i'm jealous < 1245866556 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it took me months to get haskell :( < 1245866560 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :the man pages aren't terrible < 1245866575 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Gracenotes: Yes, but they're reference documentation. < 1245866588 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: so how's your grokkitude of, say, the internals of the state monad < 1245866614 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :@src State < 1245866614 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Source not found. It can only be attributed to human error. < 1245866620 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1245866625 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :@src (>>) State < 1245866625 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Source not found. Sorry about this, I know it's a bit silly. < 1245866628 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :@src (>>=) State < 1245866628 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Source not found. Listen, broccoli brains, I don't have time to listen to this trash. < 1245866633 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :@src State (>>=) < 1245866633 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Source not found. And you call yourself a Rocket Scientist! < 1245866633 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Not fully grokked. It's only starting to hit what a monad *is*. < 1245866638 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i forgot how you do that :p < 1245866702 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :how about monoids, too? < 1245866710 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Monoids are trivial < 1245866712 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hmm? < 1245866717 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :@src Monoid < 1245866717 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :class Monoid a where < 1245866717 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mempty :: a < 1245866717 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mappend :: a -> a -> a < 1245866717 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : mconcat :: [a] -> a < 1245866727 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> mempty :: [()] < 1245866728 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [] < 1245866733 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> mappend () () :: [()] < 1245866735 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Couldn't match expected type `[()]' against inferred type `()' < 1245866738 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :er, oops < 1245866739 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :honestly the hardest part for me was that all runState did was take a State object out of its newtyped constructor < 1245866743 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> mappend [()] [(),()] :: [()] < 1245866743 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Monoids are groups without inverses < 1245866744 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [(),(),()] < 1245866744 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh. That's what you call those. < 1245866752 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> mconcat [[()], [(),()]] :: [()] < 1245866753 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [(),(),()] < 1245866754 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Or equivalently, semigroups with identity < 1245866768 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: define those < 1245866771 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :oh that makes it so much more clear Deewiant < 1245866774 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[a] is a list :p < 1245866805 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :... Actually, nah. Not getting monoids and monads quite yet. < 1245866811 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it takes a while < 1245866813 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Gracenotes: But really, it's a simple concept. < 1245866835 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :hahaha. monoids are a basic algebraic structure, but there's no reason to bring abstract algebra just because < 1245866838 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Monads are much more complicated and incidentally have little to do with monads. < 1245866838 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i learned by first learning the conventional monads (IO, State) and then some weirder ones ([a]), so I learned what monads can do rather than what they are < 1245866848 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: for some definition of complicated < 1245866870 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :(Although monads can be defined as monoids in some category) < 1245866906 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :04:05:57 i'm not a math wizard; too young for that < 1245866910 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hate. this attitude. < 1245866936 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Ugh. < 1245866963 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: anyway, monoids are a small thing to get... you just need some examples. So you know how newtyped constructors work, and stuff? < 1245866968 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :This is where I accuse asiekierka of being worse at math than a 13-year-old. :P < 1245866982 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Gracenotes: Vaguely. < 1245867022 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :newtype Sum a = Sum {getSum :: a}, for instance < 1245867028 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1245867048 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: asiekierka is a year younger than me, iirc < 1245867050 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :the main purpose of the Sum constructor is to wrap something to be a monoid. < 1245867055 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so that wouldn't really work < 1245867073 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Oh. < 1245867098 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :with the precedent of nooga we could argue that being polish takes a few years off your mental age :-P < 1245867101 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(at this point, asiekierka mauls me) < 1245867112 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :instance (Num a) => Monoid (Sum a) where < 1245867116 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric : mempty = Sum 0 < 1245867118 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric : Sum x `mappend` Sum y = Sum (x + y) < 1245867122 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Well, Polish education is just generally progressing slower than US education < 1245867131 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Also I'm a 12-year-old < 1245867136 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Gracenotes: Hmm. Interesa. < 1245867138 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :so I'm logically worse at math than a 13-year-old < 1245867147 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :and worse at math than an US 12-year-old AFAIK < 1245867149 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :asiekierka: Polish education progresses slower than US education? < 1245867153 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Sort of < 1245867159 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Holy fuck. I thought that that was impossible. < 1245867159 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :It's just less developed < 1245867170 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :We spend 6 years on arithmetic! < 1245867172 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Until 1989 we were USSR's satellite! < 1245867186 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Then Solidarity came and made Poland free < 1245867198 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Well, it progresses slower as in < 1245867201 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :it's not as developed < 1245867222 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :... We barely have an educational system. < 1245867240 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :There are states that have a 50% high-school graduation rate... < 1245867251 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the UK educational system (pre-university; I don't know about university) is utterly useless after a point < 1245867251 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :And we start school (as in, elementary school) at the age of 7 < 1245867255 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :End it at the age of 12 < 1245867263 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :probably more destructive than helpful FWIW < 1245867266 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :asiekierka: what happens then? < 1245867280 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :School in Finland starts at 7 too, FWIW < 1245867284 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Then you go to a 3-year sort-of secondary school but not quite < 1245867293 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :right. < 1245867294 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Once elementary school was 8-year < 1245867303 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :but now it's 6-year and 3-year < 1245867311 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Same as Finland so far < 1245867311 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :The 3-year part is called "gimnazjum" in Poland < 1245867327 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's gymnasium in swedish < 1245867332 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :No, that's different < 1245867335 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :therefore, poland = sizjdish < 1245867341 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: meh :P < 1245867342 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Then there's secondary school AFAIK < 1245867362 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :05:10:57 One interesting thing about the Psion Series 3 < 1245867362 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :05:11:01 is that it uses... SSDs < 1245867367 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :aka pen drive things. < 1245867370 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :And it was made back in 1993! < 1245867381 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :asiekierka: Do you start calculus before university? < 1245867386 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :dunno < 1245867391 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :ask me when I get there < 1245867392 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Education_in_Poland - 6 year elementary, 3 year gymnasium, 3 year liceum < 1245867395 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :If so, you are better than 90% of the US education system. < 1245867412 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :If you start *algebra* before than, you're better than 50% of it. < 1245867437 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :06:55:35 pikhq: applicative functors? Sounds like there's a Haskell thing I haven't heard of. < 1245867446 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if you don't know them you probably don't know all that much... < 1245867448 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :about haskell that is. < 1245867453 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Sweden has 9 year elementary followed by 3 year gymnasium, Finland has the 9-year bit split into a 6-year and a 3-year bit < 1245867462 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Well < 1245867467 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I figured them out in my third day of learning Haskell. Whooo. < 1245867480 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :We have the 8-year elementary split into a 6-year elementary and a 3-year gymnasium. < 1245867482 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :... < 1245867488 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :HOW THE HELL DOES 8 SPLIT INTO 6 AND 3!? < 1245867504 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Ooh < 1245867504 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Magic. < 1245867507 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :I see < 1245867510 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Yes, but you'll probably be working for Galois and co-authoring type system research papers with Oleg in a week. < 1245867522 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :8 years of elementary and 4 years of liceum < 1245867524 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: \o/ < 1245867524 0 :myndzi!unknown@unknown.invalid PRIVMSG #esoteric :       | < 1245867524 0 :myndzi!unknown@unknown.invalid PRIVMSG #esoteric :      /| < 1245867533 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :was split into 6 years of elementary, 3 years of gymansium and 3 years of liceum < 1245867542 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :ehird: I didn't know anything at all about applicatives until well after I grokked monads, functors, and somewhat arrows < 1245867551 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :And I still don't get them 100%. :-P < 1245867559 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: yes, but "Sounds like there's a Haskell thing I haven't heard of." < 1245867570 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if you think you know most things about haskell and don't know them... < 1245867598 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: from a glance learn you a haskell's functors/applicative functors/monoids section is quite approachable < 1245867605 0 :ais523!n=ais523@92-236-187-64.cable.ubr08.king.blueyonder.co.uk JOIN :#esoteric < 1245867607 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :what problem are you having with monads? < 1245867617 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or did you say you got them now < 1245867620 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i forget < 1245867644 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Nothing good describing them. "Learn You A Haskell" stops short of that. < 1245867652 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://learnyouahaskell.com/functors-applicative-functors-and-monoids < 1245867656 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :maybe I'm imagining that page? < 1245867665 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh wait < 1245867665 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Short of monads. < 1245867667 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that doesn't cover monads < 1245867674 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Covering monoids without monads? How strange < 1245867696 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :So, I basically (sorta) get monoids. < 1245867711 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :But monads are, uh. < 1245867727 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Maybe if you slowed down you'd do better :P < 1245867733 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Bah. < 1245867743 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I hate learning slowly. < 1245867784 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Learning curve, bitch < 1245867799 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And I run against it. < 1245867843 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So back up a bit and give a good steady acceleration instead of jet-rocket-blasting yourself into it :P < 1245867847 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(↑ Terrible analogy) < 1245867925 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Explore the ideas and discoveries of a A New Kind of Science on your own computer with more than 450 key experiments from the book. < 1245867926 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :A New Kind of Science Explorer provides a graphical interface that allows users to replicate experiments from the book and to create new ones by changing inputs and parameters. < 1245867929 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :↑ guess how much this bullshit costs? £115. < 1245867931 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Lol, Wolfram. < 1245867952 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: okay... here are all the instances in the monoid class, with examples :D http://hpaste.org/fastcgi/hpaste.fcgi/view?id=6208#a6208 < 1245867987 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :I didn't include examples with the larger tuples, but those should follow from the pair, really.. < 1245868000 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :08:06:43 --- join: ehurd (n=gregor@pal-163-072.itap.purdue.edu) joined #esoteric < 1245868005 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lol wat < 1245868013 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :Hey ehird! < 1245868018 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :08:28:20 It was basically working, but in spite of git's "leaps" and "bounds", it is the most confusing fucking system on earth short of GNU arch and/or bazaar. < 1245868021 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :learning curve bitch < 1245868041 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :08:31:56 Any git experts want to tell my how to revert ONE file to the version in ... the index? Or the staging area, I guess I haven't staged the file either, but suffice to say the version in the "repository" < 1245868042 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird / ehurd: recursive acronym < 1245868044 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :... are you claiming that "learning curve" is an excuse for being obtuse? < 1245868045 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :git checkout < 1245868060 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :also, atm I'm finding out that Exchange doesn't like people perm-deleting 405 pages of deleted items all at once < 1245868061 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :Yes, that has already been told to me. < 1245868064 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ehurd: i'm claiming that learning curve is fine if the techniques are powerful and usable after you learn them < 1245868088 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :08:33:00 * pikhq notes that git needs a frontend. 08:33:26 A good one. < 1245868091 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it has one, it's called git(1) < 1245868100 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :ehird: indeed, maybe I don't know much about Haskell. < 1245868102 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :08:36:15 I'm GregorR-L. ehird complained about people with similar names yesterday. < 1245868104 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :identical actually < 1245868107 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i keep talking to the wrong person in MSN < 1245868111 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :Oh :P < 1245868114 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :for some definitions of "keep" < 1245868118 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i occasionally do it. < 1245868125 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :08:36:48 is ehird here? < 1245868125 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :08:36:54 since I actually wanted to ask him something < 1245868127 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :In other news, are you guys up there saying there's a period of education known as gymnasium? < 1245868132 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i use a bouncer so you can talk to me while I'm offline. < 1245868150 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, yes. Remember when you helped bsmntbombdood with finding components for his new computer? < 1245868157 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1245868159 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION pokes pikhq
< 1245868180 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, would you tell me to fuck off if I asked for a little help with finding some stuff? < 1245868185 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :specifically a laptop < 1245868192 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :actually I was wrong about the zipWith compare, that's only if they're the same length :) < 1245868199 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Yes, to keep appearances, but then I'd probably search anyway. < 1245868207 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Let's get the trolling out of the way: http://apple.com/ LOL < 1245868231 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Now, uh, if you were more specific, I'd be more likely to act. < 1245868264 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION starts on "Real World Haskell", wonders how much he missed by racing through Haskell.
< 1245868278 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: it describes monads at some point iirc. < 1245868281 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, laptop that can run linux (wlan card must "just work" for example), has a decent screen size (15" or so), has 64-bit CPU with dual core, either SSD or harddrive (not that important), not *too* bulky (that is why not too large screen). < 1245868283 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1245868286 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Halfway through. < 1245868287 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheaper alternative preferred. < 1245868292 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: I'll take a look. < 1245868296 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :Warrigal: I hear that that's true in some countries, yes. < 1245868308 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: "Laptop", then. < 1245868310 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: ThinkPads being my first look, since they're renowned for good linux support and also I like the nipple mice. < 1245868311 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, oh and good keyboard. I realise it won't be like model-m < 1245868326 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but as good as possible < 1245868330 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: So... price range? < 1245868340 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what currency do you prefer? < 1245868347 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Anything. < 1245868353 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I has the google. < 1245868355 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :not more than 14000 SEK then < 1245868360 0 :ehurd!unknown@unknown.invalid PRIVMSG #esoteric :`calc 14000 sek in usd < 1245868362 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :14 000 Swedish kronor = 1 786.694 U.S. dollars < 1245868368 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :below 10000 is better < 1245868369 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :I guess that kind of makes sense. < 1245868382 0 :ehurd!unknown@unknown.invalid NICK :GregorR-L < 1245868403 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: What screen size do you want? 13", 14" or 15"? < 1245868405 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehurd, and I will use this as a guide line, I haven't any experience when it comes to laptops + linux < 1245868421 0 :Warrigal!unknown@unknown.invalid PRIVMSG #esoteric :It's apparently a far way from the original root word, "gymnos". < 1245868422 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, 15" sounds good, 17" is too bulky and 14" is too small < 1245868439 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, definitely not 13" I used that before once < 1245868489 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Kay, I'll take a look. < 1245868536 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: What's the maximum weight you'll put up with? 15"s tend to be ~2.6kg < 1245868541 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :Hm, somehow AnMaster managed to tab-complete wrong only AFTER I'd changed my nick back :P < 1245868555 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, graphics stuff: nvidia preferred currently, but I guess anything that can do basic 3D would work... < 1245868569 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :13"-14" tends to be 2kg. I dunno where the .6 comes from; guess bigger ones have bulkier hardware for performance. < 1245868570 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, Use case: I'm going to use this laptop at the university when I begin there this autumn < 1245868582 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: it'll probably be Intel embedded graphics, as that's very common. < 1245868586 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, hm 3 kg is probably ok < 1245868621 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I hope that can do basic 3D? Since one of the courses will include (basic) 3D programming. < 1245868630 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so yes I'm going to dual boot it probably. < 1245868630 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Anything can do 3D with software rendering. < 1245868640 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, question is how usable that is. < 1245868651 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Anyway, Intel GPUs can do 3D, yes. < 1245868660 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, right, that works fine then. < 1245868670 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Swedish kronor? Oh, right. Sweden is one of those non-€ holdouts. < 1245868674 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Lame. < 1245868684 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Like all sane people, I assume you prefer matte screens over "Gee, I Can't See This Because There Is More Than Zero Light Sources" glossy ones? < 1245868701 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, :P < 1245868707 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, definitely < 1245868724 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Right then, I'll poke around. < 1245868731 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, and I seen the glossy ones, you would think they would be easier to wipe off. Wrong. < 1245868738 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, glossy screens suck < 1245868742 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Jeeze, glossy screens. Who the hell likes them? < 1245868763 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, only reason I would use a glossy one, was if it was actually easier to wipe off any dust. < 1245868771 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but I tried, it isn't < 1245868787 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also iirc you get better colours on them, assuming no other light sources of course < 1245868808 0 :CESSMASTER!unknown@unknown.invalid PRIVMSG #esoteric :it's harder to clean glossy screens < 1245868817 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :If you care much about colors, you've got a CRT. < 1245868821 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :CESSMASTER, exactly < 1245868822 0 :CESSMASTER!unknown@unknown.invalid PRIVMSG #esoteric :or maybe fingerprints are just easy to see on 'em < 1245868825 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, yeah... < 1245868828 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Naw. < 1245868831 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You can get good coloured LCDs. < 1245868845 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Also, glossy displays apparently tend to *exaggerate* colors and shade. < 1245868864 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Making them unsuitable for use where you care about colors. < 1245868867 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, brb, phone just rang < 1245868877 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION moves anmasterlaptopblah to /msg.
< 1245868937 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster is away: sleeping, if his client is to be believed. < 1245869013 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1245869022 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :It wasn't an exciting phone call. < 1245869186 0 :deveah[1]!n=deveah@92.80.116.201 JOIN :#esoteric < 1245869507 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, um, wrong alias < 1245869512 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1245869524 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :/aas instead of plain /aa < 1245869539 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :anyway I'm back now < 1245869613 0 :asiekierka!unknown@unknown.invalid QUIT : < 1245869618 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders what the first "a" stands for in "aa". Alternatively, what the second stands for, if the first stands for "away"
< 1245869747 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :so I heard... mudkips... verifiable? < 1245869966 0 :deveah[2]!n=deveah@92.86.201.42 JOIN :#esoteric < 1245870018 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1245870051 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :[citation needed] < 1245870061 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Yo. < 1245870074 0 :deveah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1245870084 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Yo-yo < 1245870111 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Note that saying "What, it's applicative functors getting you? It's just a monad." doesn't help when you don't get monads. :P < 1245870129 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Gracenotes, "allserver away" < 1245870133 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :err < 1245870134 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :GregorR, ^ < 1245870180 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :Ah, allserver. A word I'm familiar with :P < 1245870183 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: i was sort of wrongly deducing that since you afair had heard of monads and that _didn't_ break your brain, applicatives wouldn't either < 1245870233 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: but I take it you do grok monoids, based on what I showed you < 1245870250 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :they're minor, but yet another good categorical structure to know < 1245870310 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Gracenotes: Monoids don't seem all that difficult, so... Yeah. < 1245870330 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :well. applicative functors are basically taking things out of their shell, applying them, and putting them back into said shell >_> < 1245870362 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It was mindboggling at midnight. < 1245870369 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I slept on it and get it now. < 1245870371 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :at least for applicative functors that are good container-like things < 1245870395 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :most importantly, they sequence things < 1245870419 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :at least somewhat importantly < 1245870447 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also i have seen so few applicatives that aren't usually extended right on to monads, the only one coming to mind is ZipList (and i recall concluding even those _had_ a monad extension in principle) < 1245870463 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I get that (+) <$> [0,1,2] gets you [(0+),(1+),(2+)] now, and that <*> lets you apply *that* to some other functor... < 1245870506 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Bit crazy having a list of functions, but hey. < 1245870508 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1245870519 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :ZipList is mah canonical example < 1245870525 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: but can be useful < 1245870532 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :it is impossible to write a >>=/return such that ap == <*> < 1245870540 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Crazy in the way that having a list of all the primes is crazy. < 1245870547 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Gracenotes: i concluded it was _not_ impossible < 1245870559 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's just very different from the usual one < 1245870568 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :for a rule-following monad < 1245870578 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :return = repeat instead of (:[]), for one thing < 1245870621 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :(:[]) (:[]) (:[]) (:[]) (:[]) (:[]) (:[]) (:[]) < 1245870633 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :infinite list monad, eh? < 1245870636 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it may have had some trouble with bottoms that i didn't discover, of course < 1245870693 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :does it follow: return a >>= f == f a? < 1245870708 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :and m >>= return == m? < 1245870792 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i tried to define it so it did, but i may have messed up < 1245870825 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :join was taking the diagonal, but only if all previous sublists had sufficient length for it < 1245870850 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(i mean, at least the length out to that diagona) < 1245870892 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :now what would >>= be, hm < 1245870927 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :l >>= f = join (fmap f l) < 1245870972 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :fmap = map, since the functor instances agree (parametricity makes it hard/impossible to have more than one Functor instance) < 1245870987 0 :deveah[1]!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1245870992 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :I'm pretty sure fmap [] has one sane instance :) < 1245871004 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*only one < 1245871023 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :duh < 1245871033 0 :upyr[emacs]!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1245871056 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :m >>= return = join (map repeat m) = m < 1245871058 0 :upyr[emacs]!n=user@79.174.35.21 JOIN :#esoteric < 1245871119 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :that should work < 1245871132 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :since repeat is infinite, the sublists are always long enough < 1245871187 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :return a >>= f = join (map f (repeat a)) = join (repeat (f a)) < 1245871227 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think that's = f a < 1245871294 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :> join (repeat ((++"bar") "foo") < 1245871295 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : : parse error (possibly incorrect indentation) < 1245871298 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :> join (repeat ((++"bar") "foo")) < 1245871300 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : "foobarfoobarfoobarfoobarfoobarfoobarfoobarfoobarfoobarfoobarfoobarfoobarfo... < 1245871303 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's not the usual join < 1245871319 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's taking the diagonal, with some length restrictions < 1245871504 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :how is that not the usually join? < 1245871544 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> join [[1,2,3],[4,5,6],[7,8,9]] < 1245871545 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [1,2,3,4,5,6,7,8,9] < 1245871552 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :not much diagonal there... < 1245871557 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :yeah... < 1245871564 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :and? < 1245871581 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what's lambdabot doing here? < 1245871593 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :flattening lists once. < 1245871594 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :We wants it. < 1245871598 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That's about it. < 1245871600 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1245871614 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :> repeat ((++ "bar") "foo") < 1245871616 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : ["foobar","foobar","foobar","foobar","foobar","foobar","foobar","foobar","f... < 1245871630 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :@users < 1245871630 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Maximum users seen in #esoteric: 51, currently: 49 (96.1%), active: 10 (20.4%) < 1245871648 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@let zjoin [] = []; zjoin ([]:_) = []; zjoin ((x:r):rr) = x : zjoin (r : map (zipWith (flip const r) . drop 1) rr) < 1245871649 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Couldn't match expected type `[t]' < 1245871657 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, i dont see how lambdabot isnt doing a normal join... < 1245871663 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :a little too much to hope for < 1245871692 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :augur: i'm talking about a theoretical Monad instance for ZipList, lambdabot doesn't have it < 1245871697 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh ok. < 1245871702 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :brbrbrbrb < 1245871705 0 :augur!unknown@unknown.invalid QUIT :"Leaving..." < 1245871823 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@let zjoin :: [[a]] -> [a]; zjoin [] = []; zjoin ([]:_) = []; zjoin ((x:r):rr) = x : zjoin (r : map (zipWith (flip const r) . drop 1) rr) < 1245871824 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Couldn't match expected type `[a]' < 1245871841 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :bah < 1245871853 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh wait it's wrong anyhow < 1245871876 0 :M0ny!n=Harmony@AToulouse-258-1-98-142.w90-60.abo.wanadoo.fr JOIN :#esoteric < 1245871912 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@let zjoin :: [[a]] -> [a]; zjoin [] = []; zjoin ([]:_) = []; zjoin ((x:r):rr) = x : zjoin (map (zipWith (flip const) r . drop 1) rr) < 1245871914 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Defined. < 1245871930 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> zjoin [[1,2,3],[4,5,6],[7,8,9]] < 1245871933 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [1,5,9] < 1245871939 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> zjoin [[1,2],[4,5,6],[7,8,9]] < 1245871940 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [1,5] < 1245871951 0 :augur!n=augur@c-71-196-114-50.hsd1.fl.comcast.net JOIN :#esoteric < 1245871987 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> zjoin (repeat ['a'..'z']) < 1245871988 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : "abcdefghijklmnopqrstuvwxyz" < 1245872035 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@let zbind m f = zjoin (map f m) < 1245872036 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Defined. < 1245872115 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@quickcheck \a f -> (repeat a `zbind` f) === (f (a :: Int) :: Int) < 1245872116 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Unknown command, try @list < 1245872120 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oops < 1245872125 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@list < 1245872126 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :http://code.haskell.org/lambdabot/COMMANDS < 1245872135 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@check \a f -> (repeat a `zbind` f) === (f (a :: Int) :: Int) < 1245872136 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Not in scope: `zbind'Not in scope: `===' < 1245872143 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :darn < 1245872158 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@help check < 1245872159 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :check < 1245872159 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :You have QuickCheck and 3 seconds. Prove something. < 1245872193 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i distinctly recall them fixing it so @check loads @let definitions, they must have undone it < 1245872255 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh well < 1245872281 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's the functions the Monad instance would use, anyhow (at least one possibility) < 1245872293 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :check 1 = 1 < 1245872299 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :Erm < 1245872301 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :@check 1 = 1 < 1245872302 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Parse error at "=" (column 3) < 1245872308 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :@check 1 == 1 < 1245872309 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : "OK, passed 500 tests." < 1245872311 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1245872333 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i don't think it used to add quotes to that... < 1245872343 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :@check 0 == 1 < 1245872345 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : "Falsifiable, after 0 tests:\n" < 1245872355 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It didn't even test once? Lame. :P < 1245872434 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :@check \x -> 0 == 1 < 1245872435 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : "Falsifiable, after 0 tests:\n()\n" < 1245872500 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :@check (==) <*> negate < 1245872501 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : "Falsifiable, after 0 tests:\n-2\n" < 1245872512 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :huh < 1245872522 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ok so it uses ordinary == for functions < 1245872579 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :um no < 1245872590 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :misparsed < 1245872597 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :@check join (==) < 1245872598 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@type (==) <*> negate < 1245872598 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : "OK, passed 500 tests." < 1245872600 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :forall a. (Num a) => a -> Bool < 1245872655 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's equivalent to @check \x -> x == x < 1245872665 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :more disturbing, iirc < 1245872669 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@check (==) < 1245872671 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : "OK, passed 500 tests." < 1245872678 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*iirc: < 1245872708 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(your exercise is to find out why that passes :D) < 1245872750 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Defaulting < 1245872789 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1245872815 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :@check (==) == (==) < 1245872816 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : No instance for (GHC.Classes.Eq (a -> a -> GHC.Bool.Bool)) < 1245872816 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : arising from ... < 1245872842 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :alas, that didn't work anyhow < 1245872849 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1245872851 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :=== is what i thought did that < 1245872865 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Apparently functions aren't Eq. < 1245872867 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Lame. < 1245872879 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :How would you decide whether two are equal < 1245872883 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: oracle < 1245872888 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it can detect main=main already! < 1245872896 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Halting oracle. :D < 1245872903 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the nice thing about a halting oracle is that it's an everything oracle < 1245872903 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :for instance < 1245872905 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :@check yoself < 1245872906 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Not in scope: `yoself' < 1245872912 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :halts? (if riemann then halt else loop) < 1245872917 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Voila! < 1245872923 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1245872925 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Since it's defined to run in finite time. < 1245872945 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Halting oracle isn't everything oracle, though < 1245872954 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :You can't predict if oracle program will halt < 1245872990 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Slereah_: It's an everything-computable oracle. < 1245873002 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The oracle itself is, of course, not computable. < 1245873005 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1245873241 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: don't confuse turing with computable < 1245873253 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :we have no idea if there are higher levels that are implementable < 1245873256 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it just doesn't seem likely < 1245873269 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :ehird : dude, even Turing isn't implementable < 1245873290 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sure is with infinite space < 1245873310 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Could've sworn a UTM by definition can compute everything that is computable. < 1245873327 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think usually computable means turing computable in today's technical language, you would use something like "effectively" if you meant something else < 1245873355 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :food -> < 1245873356 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Infinite space and infinite durability < 1245873392 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :urm wait effectively may mean polynomially, too, iirc < 1245873405 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :people have taken steps to formalizing Church-Turing lately < 1245873426 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :like always :P there was a google techtalk on it < 1245873428 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Slereah_: And infinite time. < 1245873428 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :19:55 pikhq: Could've sworn a UTM by definition can compute everything that is computable. < 1245873441 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i think a TM-halting-checker is acceptable as long as it isn't exposed to the TM itself < 1245873455 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so a super-turing machine with a TM emulator that lets you check halting is perfectly acceptable < 1245873458 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :pikhq : Well, infinite time shouldn't be a problem < 1245873465 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It's the durability that's the problem < 1245873473 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Also space < 1245873590 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :i has infinite space < 1245873591 0 :FireFly!unknown@unknown.invalid QUIT :"Later" < 1245873600 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :in mah universe < 1245873608 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :s < 1245873609 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :in ur universe, takin ur space < 1245873705 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :s/ i think/ the esolangs wiki has at least two languages (banana scheme and brainhype) based on the fact that/ < 1245873714 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hurf durf < 1245873741 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a halting exposed to the program being checked is pointless anyway < 1245873746 0 :M0ny!unknown@unknown.invalid QUIT : < 1245873751 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so the halting problem isn't really real-world relevant < 1245873806 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :from what I can tell, people love bringing up the halting problem and turing-equivalence when it's totally irrelevant to the conversation, just to be an annoying show-off < 1245873839 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :well, not totally irrelevant. but just irrelevant, like so what. < 1245873845 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ALL TURING-COMPLETE LANGUAGES ARE EQUALLY EXPRESSIVE BECAUSE THEY'RE ISOMORPHIC HURRRRRRRRR < 1245873849 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION of course may be guilty of this
< 1245873862 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric : the esolangs wiki has at least two languages (banana scheme and brainhype) based on the fact that bsmntbombdood did one statement python < 1245873871 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :THANK YOU EHIRD *PAT PAT* < 1245873877 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1245873885 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :GregorR-L: selective line selection eh < 1245873887 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Gracenotes: i think that applies to any awesome but rarely understood science, like relativity and quantum mechanics for example... < 1245873914 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(hm, is this irrelevant? ;D) < 1245873933 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :It also applies to "your mom" jokes. < 1245873938 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :But then, is your MOM relevant? < 1245873944 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no, she is dead < 1245874084 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION now knows how to quickly kill conversations
< 1245874090 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :ah. Browsing tvtropes—super way to kill time < 1245874100 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's not killing time. < 1245874106 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's time genocide < 1245874143 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1245874268 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :I made a bet yesterday that there would be a video on YouTube of Obama flapping his ears and flying away, but we couldn't find one so I lost :( < 1245874278 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you should have made one on the spot < 1245874302 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :It was a gentlemen's bet ... that means that there's no money, but it also means you're not a dick about it. < 1245874354 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Windows still has the Program Manager. Why does it still have the Program Manager? < 1245874385 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :Uhh, I thought that was dropped in Vista. < 1245874408 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: probably some people still use it < 1245874418 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : (+) <*> [1..10], of course, is (in psuedo-Haskell) [1+,2+,..,9+,10+] <-- in perfectly legal haskell, [(1+),(2+),(3+),(4+),(5+),(6+),(7+),(8+),(9+),(10+)] < 1245874418 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :there are probably enterprise applications years old that require it to function properly < 1245874426 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :GregorR-L: Still in XP, though. < 1245874426 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :It was dropped from Vista, and made a frontend for other programs in XP SP2 < 1245874433 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :> (+) <*> [1..10] < 1245874434 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Couldn't match expected type `a -> a' against inferred type `[a1]' < 1245874437 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :It was for compatibility with installing menus. You'd call progman with some certain flags to add menus. < 1245874443 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: The original was dropped in SP2. < 1245874448 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :But then progman on later Windowses would just convert those into the start menu. < 1245874456 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION tries executing...
< 1245874465 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sure enough. progman doesn't start up. < 1245874471 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Probably still has support for adding menus, though. < 1245874485 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh actually that should be <$> not <*> < 1245874499 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> (+) <$> [1..10] < 1245874500 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show (a -> a) < 1245874500 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : arising from a use of `... < 1245874517 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what a weird error message... < 1245874519 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :> (+) <$> [1..3] <*> [10..12] < 1245874520 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [11,12,13,12,13,14,13,14,15] < 1245874526 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Which just goes to show: Windows should not have kept anything from Win16. < 1245874534 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :incorrect < 1245874542 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Functions aren't part of show, I don't think. < 1245874545 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ais523: they had a way to show functions at one point, algebraically < 1245874550 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it should have kept the ability to make beeps of various pitches through the system speaker < 1245874559 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: lambdabot added a sort of algebraic functions module < 1245874563 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :> (2+) < 1245874565 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show (t -> t) < 1245874567 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : arising from a use of `... < 1245874584 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I'm still annoyed they removed the tuned-beeps-through-speaker API call < 1245874585 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but they must have added something else that conflicts with it, thus the overlap < 1245874586 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I'm saying that Win32 should've been a different API. < 1245874591 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it was deprecated even in Windows 3, though < 1245874602 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :still worked on Windows 95, but not on XP < 1245874602 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And not Win16 with size_t(void *) == 4. < 1245874603 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :20:16 ais523: I'm still annoyed they removed the tuned-beeps-through-speaker API call ← just do it directly :p < 1245874609 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: how, in Windows? < 1245874622 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :DOS thunk, I'd imagine. < 1245874622 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1245874624 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: you can disable kernel protection functions in userspace in windows < 1245874632 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i'm sure you can get direct access to the computer speaker < 1245874634 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: WHAT? < 1245874638 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh wait i remember < 1245874638 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: I didn't like messing with that sort of thing, though < 1245874642 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :STAB. < 1245874645 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> (+) <$> [1..10 :: Int] < 1245874645 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: yeah; you can't tamper with other process's memory... unless you tell it to let you. < 1245874646 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show < 1245874647 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : (GHC.T... < 1245874651 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :truly lollerific < 1245874654 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :darn still a problem < 1245874654 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: in Vista, it prompts the user when you try that nowadays < 1245874656 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That is awful. < 1245874658 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm wait < 1245874662 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> (+) <$> [1..10 :: Expr] < 1245874663 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although doesn't really explain to the user why < 1245874664 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show < 1245874664 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : (Simpl... < 1245874664 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: yes, but it does that on every system call :P < 1245874665 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :The error message is due to the fact that lambdabot has too much stuff installed and instances are global. < 1245874668 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sheesh < 1245874676 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :There are two instances of Show defined for functions < 1245874677 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: I know, that's why the protection is relatively useless < 1245874689 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :One from a package which implements it and another from smallcheck < 1245874689 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :So, what you're saying is that someone could implement loadlin for Vista. < 1245874693 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: yeah < 1245874695 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Oh jeez. < 1245874698 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION senses a virus in store.
< 1245874717 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: oh. i recall them making sure those were separate includes at one time. that must have been removed too < 1245874725 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: loadlin itself worked for non-Nt Windows. < 1245874728 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :The smallcheck one requires (Serial a, Show a, Show b); the show one requires (Typeable a, Typeable b) < 1245874730 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :we need a crazy billionaire to buy out microsoft and force them to migrate everyone to ubuntu < 1245874732 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :To show (a -> b), that is < 1245874736 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the world will become a better place overnight < 1245874744 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Maybe if you find something that only matches one of those two it'll work :-) < 1245874746 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :(Good luck) < 1245874756 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(since you could tell Windows to run a DOS program above the kernel. < 1245874757 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :) < 1245874841 0 :zzo38!n=zzo38@h24-207-48-53.dlt.dccnet.com JOIN :#esoteric < 1245874906 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :> M.lookup 1 < 1245874907 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show < 1245874907 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : (Data.... < 1245874911 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Oh well < 1245874924 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I guess it doesn't have -XOverlappingInstances on < 1245874930 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Or then that just can't work. < 1245874933 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Computers and printers - video about news and printers and scanners, computers, monitors. New products mouse and keyboards, computers. And printers. < 1245874951 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Challenge: Write Unlambda interpreter or brainfuck interpreter in sendmail or Furryscript. < 1245874963 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: it is probably free type variables on the right side of the instance, which means it'll overlap regardless < 1245874976 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :OK, let me check the logs. < 1245874978 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(those two) < 1245874986 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :> M.lookup 1 :: M.Map Int Int -> Maybe Int < 1245874987 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show < 1245874988 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : (Data.... < 1245875009 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: Possible, but challenging. < 1245875016 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :a more specific Show on the right side might work with OverlappingInstances < 1245875027 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Yeah, they'll overlap, but I thought some extension allowed for that to work anyway < 1245875041 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I.e. looking at the left side instead of the right < 1245875052 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I guess I misremembered; I'm feeling that's unlikely < 1245875074 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: the instance lookup only looks at the right side. the extension is for allowing conflicting right sides as long as one is more specific < 1245875082 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(overlapping instances) < 1245875094 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, I remember that now < 1245875095 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :unless they added it after my time (about a year ago) < 1245875102 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :And I doubt there's any other extension that allows that < 1245875104 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: writing an Unlambda interp in /sendmail/? < 1245875118 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :a language which is traditionally hard to implement, in a language which is traditionally impossible to write in without a preprocessor < 1245875127 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Yes, writing unlambda interpreter in sendmail. Is it possible? < 1245875136 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1245875138 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sendmail is TC. < 1245875138 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: i recall it being essential for the system to work < 1245875143 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I doubt anyone's mad enough to try, even in this channel < 1245875154 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Yep < 1245875164 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :What about brainfuck in sendmail? < 1245875184 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Well, I'm going to try brainfuck in Furryscript. < 1245875190 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Unlambda, hard to implement? < 1245875204 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: yep, compared to many other esolangs at least < 1245875206 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant: d and c < 1245875214 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's not too bad if you have first class continuations, then you only have to worry about d < 1245875248 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :basically, the design of Unlambda is such that c messes up attempts to implement it in imperative langs, and d messes up attempts to implement it in functional langs < 1245875254 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's not too bad if you think of it as tree writing either < 1245875259 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I wrote a program compiles unlambda codes into JavaScript codes, once, but I can't get "c" to work ("d" works OK, though) < 1245875274 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*rewriting < 1245875284 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :d doesn't seem difficult < 1245875286 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's not really either c or d that causes the problems < 1245875291 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's trying to implement both at once < 1245875350 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Maybe so. < 1245875370 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ais523: btw i did d functionally in ocaml by having functions take an expression argument to evaluate < 1245875405 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Describe lambdabot? I got a list of commands but it doesn't explain what the commands means. < 1245875414 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Also, is there a paste bin for this channel? < 1245875417 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: it evaluates haskell < 1245875425 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and this channel doesn't have a pastebin of its own < 1245875435 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you can use any of the established ones < 1245875442 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :So, if I send a Haskell program to it will it run the program? < 1245875451 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: yes < 1245875461 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :not a whole program < 1245875463 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :an expression < 1245875485 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :O, just one expression. I guess it can't be longer than the maximum message length anyways < 1245875516 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :egobot, on the other hand, now does whole programs (and also expressions) but it has no automatic imports like lambdabot has so can be awkward for small things < 1245875538 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(long ones via urls) < 1245875564 0 :tombom!i=tombom@86.29.159.26 JOIN :#esoteric < 1245875589 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: also you can do @help command < 1245875602 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it does private messages too < 1245875605 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :So, it there is a program for egobot at http://example.org/example_program then would the command be: PRIVMSG egobot :http://example.org/example_program < 1245875607 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@help list < 1245875608 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :list [module|command] < 1245875608 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :show all commands or command for [module]. http://code.haskell.org/lambdabot/COMMANDS < 1245875629 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no < 1245875645 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :What's the syntax? < 1245875673 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's !haskell http://... for haskell programs < 1245875691 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :My unlambda -> JavaScript: http://pastebin.com/m3dc1f2c9 (it doesn't do "c" properly because it only works one way, not both ways) < 1245875693 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :see !help languages for other language options < 1245875702 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :!help languages < 1245875703 0 :EgoBot!unknown@unknown.invalid 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. < 1245875719 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!userinterps < 1245875719 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :Installed user interpreters: aol austro b1ff bc bct bfbignum brit brooklyn chef chiqrsx9p choo cockney ctcp dc drawl dubya echo ehird fudd google graph gregor hello jethro kraut num ook pansy pirate plot postmodern postmodern_aoler redneck reverse rot13 sadbf sfedeesh sffedeesh sffffedeesh sffffffffedeesh slashes svedeesh swedish valspeak warez yodawg < 1245875778 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and the last ones are implemented in the former. GregorR-L wants to allow those to be used recursively to implement others, but i don't think he has decided how yet < 1245875799 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but all can take URLs for basic programs < 1245875805 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :Moreover I've lazied away from actually implementing any of it :P < 1245875814 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1245875815 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Can thing be added that don't require URL, can FlogScript be added, too? It needs PHP to do so. < 1245875866 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: URL is just for EgoBot to know the program file. but i don't see php included yet. < 1245875874 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :O, and what Forth does it use, and what asm is it using? And what does "sffedeesh" "sffffedeesh" etc means < 1245875883 0 :deveah[2]!unknown@unknown.invalid QUIT :"MUHAHAHAH!!!1111" < 1245875886 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!help asm < 1245875886 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :Sorry, I have no help for asm! < 1245875891 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :grmble < 1245875895 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!help forth < 1245875895 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :Sorry, I have no help for forth! < 1245875907 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Can single-line programs be run in EgoBot? If so is there a different syntax for it (such as omitting the ! or giving a different prefix) < 1245875933 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: sffedeesh and so on are just funny renamings of swedish < 1245875937 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!swedish swedish < 1245875938 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :svedeesh < 1245875943 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :O. < 1245875953 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :That's what it does. < 1245875954 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :recursive ones also < 1245875966 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's a swedish chef translator < 1245875981 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :many of the userinterps are just jokes, not all though < 1245875993 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :So, do you think http://pastebin.com/m3dc1f2c9 is a complete unlambda interpreter except for the "c" command? < 1245876091 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: also, anything that doesn't look like a URL with http:// is interpreted as a single line program < 1245876116 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I have found out some things,!forth $ff . gives 255 so it is a Forth system that support different base without switching (most modern Forth systems do that, doesn't it?). < 1245876128 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :O, so FTP can't be used? < 1245876131 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!forth version < 1245876142 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :bah < 1245876156 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I know I tried and it does accept single-line programs with the same syntax as URLs < 1245876156 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i don't think so, can ftp be used GregorR-L ? < 1245876166 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :http only < 1245876180 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :But it seems wrong, in case the single-line program starts with http:// it won't work then. < 1245876202 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :Cry me a river. < 1245876210 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Of course I don't think any program would start with http:// but in case it does that is something to keep in mind in case new languages are added. < 1245876229 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: < 1245876232 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :!sh gforth --version < 1245876233 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :gforth 0.6.2 < 1245876238 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1245876297 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :O. It's gforth. I have gforth on my computer too but I also have other Forth systems I have written < 1245876299 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: yeah !sh is a shell command so you can poke around in the chrooted filesystem EgoBot uses (although it doesn't allow changes, those are reverted iiuc (since that is why GregorR-L made HackEgo i think)) < 1245876329 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :( HackEgo allows you to change things directly in the filesystem) < 1245876349 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :EgoBot is more stable but less hackable, as it doesn't allow any filesystem modification, HackEgo is more hackable but by virtue of that less stable, as any command you add can be deleted by somebody else's carelessness. < 1245876350 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(which is apparently a mercurial repository) < 1245876362 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :What, I have !sh ls / and it gave the result "bin" and then a CTRL+A DCC command with all sorts of numbers? < 1245876383 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: ah yes EgoBot uses DCC for any result longer than one line < 1245876386 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: Your client has no DCC support, so you can only receive one line of output. < 1245876395 0 :nooga!n=nooga@aamh45.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1245876400 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :GregorR-L: client? < 1245876402 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :!sh echo /* < 1245876402 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :/bin /dev /etc /home /lib /lib64 /proc /tmp /usr < 1245876405 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :zzo38 uses IRC raw < 1245876410 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :hi guise < 1245876412 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :O, !sh echo /* works. < 1245876426 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :OK, so his lack of a client doesn't support it :P < 1245876429 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :GregorR-L: add dcc to rawirc < 1245876429 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Now I can list everything on one line. < 1245876432 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: i found out | fmt -w500 is nice to append < 1245876441 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Not likely, you can always ctrl+z and telnet :P < 1245876462 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's better than | xargs echo which some used but which sometimes interprets things in the output < 1245876481 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :hey < 1245876493 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, I'm using fmt -w500 all the time now. HackEgo uses | perl -pe 's/\n/ \\ /g' | fmt -w500 | head -n 1 < 1245876501 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :`ls / < 1245876501 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :bin \ dev \ etc \ home \ lib \ lib64 \ proc \ tmp \ usr < 1245876507 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm i guess fmt could break if there are empty blank lines? < 1245876516 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :Yeah < 1245876529 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :I haven't found something better though :P < 1245876560 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I figured out you can type "!sh echo /*" instead of "!sh ls /" and now it will be all one line < 1245876624 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :!sh ls / | xargs < 1245876625 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :bin dev etc home lib lib64 proc tmp usr < 1245876639 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :O, that works too. < 1245876656 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :I've got an idea for a lang: it would parse like SADOL, so Polish Notation and recognize words splitted with whitespace, unless the word is function's id or quoted string or number - the function must deal with the word and define how the word is parsed. So that the base language would be PN parser and a simple toolset to create microinterpreters < 1245876657 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I didn't know there was such a thing as that. < 1245876692 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :maybe it would be posible to define in functions how to parse its arguments < 1245876697 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :huh < 1245876757 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh right, echo is default for xargs? < 1245876888 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: yes < 1245876949 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i suppose it's not really recommended, the man page gives echo explicitly in an example... < 1245877135 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I'm trying to think of how to implement brainfuck in Furryscript < 1245877210 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Obviously this interpreter it cannot run interactively. < 1245877288 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Too bad, there is no PHP on egobot (I tried it just now and it doesn't work) < 1245877307 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :If there is PHP then we can put FlogScript on as well < 1245877335 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!info < 1245877335 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :EgoBot is a bot for running programs in esoteric programming languages. If you'd like to add support for your language to EgoBot, check out the source via mercurial at https://codu.org/projects/egobot/hg/ . Cheers and patches (preferably hg bundles) can be sent to Richards@codu.org , PayPal donations can be sent to AKAQuinn@hotmail.com , complaints can be sent to /dev/null < 1245877372 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: If you add it in the mercurial repo (that is, add it not as a userinterp), I'll install PHP-CLI on the server. < 1245877377 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders if AKAQUinn exists
< 1245877380 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :And I could add feature to rawirc, if I can compile rawirc, but I can't compile rawirc, I have both Cygwin and MiNGW and neither of them will compile rawirc < 1245877392 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*u < 1245877395 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :I blame Windows. < 1245877424 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :GregorR-L: So do I but Windows is what I currently have. < 1245877436 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :DCC support for rawirc? :D < 1245877436 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :Then ... I blame you for using Windows? < 1245877437 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :When my Windows stops then I will write a Linux distribution and install that instead. < 1245877472 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :wait, wouldn't it be better to write the distribution first, while you have something to write it on? :D < 1245877473 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :how will you write it? with your mind? < 1245877478 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: snap < 1245877482 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I just mean any extra features I want too add to rawirc, because there certainly are some features I want to add. < 1245877514 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :this new router has more settings < 1245877514 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :shiny < 1245877532 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: -fcontrol-botnet? < 1245877535 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I think just install a DVD will work, and Linux From Scratch, and then install wget, and then install the compilers and other stuff, and then I can write it more properly. < 1245877536 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1245877564 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: has it occurred to you that using a flexible but still premade distro (eg arch linux) may be more productive? :D < 1245877565 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :But I can't even *run* rawirc yet until I can compile it. < 1245877618 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Line mode: G.992.5 (ADSL2+) " < 1245877618 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Yes but I want to write my own distro so that I can make it how I think it should be. I already wrote a web-browser (because I didn't like the other ones) so I should be able to write a Linux distribution also. < 1245877622 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :WE HAVE ADSL2+????????????????????????????????????????????????? < 1245877625 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Awesome. < 1245877636 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: Arch Linux is just the linux kernel + standard gnu utils + a package manager < 1245877649 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So pretty much the tedious part of Linux from Scratch done. < 1245877697 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :O, well that means I can take some stuff that I need from other distributions too in case there is some. < 1245877727 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Because, I should write my own shell commands, list of packages some standard and some extra packages, write a window manager, and possibly even write a widget set, too. < 1245877738 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :All of these things can be based on other things too. < 1245877859 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: You're going to write your own coreutils? < 1245877863 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well shit, why stop at the kernel? < 1245877865 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Write your own. < 1245877912 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :No, not all my own coreutils, I can use the GNU coreutils and then add some of my own files also, and change the things I don't like out of the old one. < 1245877933 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Why not write your own kernel? < 1245877951 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Linux From Scratch is mostly useful if you want to do something really crazy, like build your distro using LLVM. < 1245877959 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Like, I wrote Vonkeror which was based on Conkeror but I changed some thing, for example I added relative URL entry (which no other browser does, all others including Conkeror do absolute URLs) < 1245877988 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That's a patch, not writing something new. < 1245878004 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :most people just edit the URL, rather than entering a full new one < 1245878022 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Well, yes, but actually it is forked and a lot of changes, so many changes that it turns out to be completely different from what it was forked from. < 1245878051 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :okay < 1245878063 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :And I like Vonkeror, it has so many things in it that are in the good way that I think is good, I find it much more convenient than other web-browser softwares. < 1245878065 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :You could probably get the patches accepted into Conkeror if they're any good. < 1245878074 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: his patches include making the tab bar green. < 1245878076 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :bright green. < 1245878092 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: also, he uses a different license for his changes (GPL3), with a clause that conkeror people can use it < 1245878098 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :which they won't, because it isn't in the conkeror license < 1245878103 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I was unaware that Conkeror had tabs. < 1245878112 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I don't care much about getting the patches into Conkeror, I don't even have releases as patches, it is just a completely different project even though it was originally fork from same thing. < 1245878121 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I was unaware that Conkeror had more of a GUI than a minibuffer. < 1245878154 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :But, people can use these changes in Conkeror, I have even posted some on their wiki, so they can include the stuff they like (but using their style rather than my style of coding) < 1245878196 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Conkeror was a bit different. Vonkeror now, has the following window components: Tab-bar, mode-line, mini-buffer. And the mode-line is different than Conkeror's mode-line. < 1245878231 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :And I made the tab-bar different, for example, no close button or icons on tab-bar anymore, and each tab fills up as much space as possible. I also removed the 3D effects from the tabs. < 1245878246 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Now the active tab is green and others are gray. < 1245878272 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And yet, you run Windows. < 1245878279 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :The epitome of uncustomisability. < 1245878286 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Vonkeror's mode-line as URL (or special buffer name) on left, and indicators on right (which looks something like "--pjrsioQ") < 1245878311 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I know, I don't want Windows anyways, but currently I am sort of stuck with this. The next time I lose Windows I will write my own Linux. < 1245878313 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i can't code < 1245878351 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :... zzo38 is actually *using* RawIRC? < 1245878364 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :conkeror? < 1245878366 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :oh boy it's so simple < 1245878368 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :what a horrible name < 1245878379 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :PRIVMSG and action < 1245878380 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :comex: It's XUL with an Emacs interface. < 1245878404 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :nooga: Yes, I can use it as well. Doesn't mean that it's *nice* to use for very long. :P < 1245878415 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :but horrible name < 1245878423 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: You care to respond to CTCP version? :P < 1245878436 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric ::F < 1245878444 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :15:20 [freenode] CTCP VERSION reply from zzo38: I wonder how many times I have to tell people, but currently I don't have IRC client so I am using netcat. < 1245878471 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hey, I respond to CTCP version when using netcat too < 1245878472 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :But I would use RawIRC, if I can compile it! < 1245878519 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : (at this point, asiekierka mauls me) <-- after he looks up "mental" in the dictionary < 1245878602 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: How old are you, exactly? < 1245878617 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :and since when can netcat send character \1? < 1245878622 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :with a sane terminal, at least < 1245878624 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I shouldn't tell my exact age because I don't want to. < 1245878658 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :So, young. < 1245878668 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Push CTRL+A it works in Windows, at least. But RawIRC I can make better, to work with any terminals supporting escape-codes < 1245878674 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :comex: Windows. < 1245878689 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. Actually, isn't \1 C-a in most terminals? < 1245878705 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :But I am old enough for driving license and for alcoholic, however I don't want a driving license so therefore I didn't get one, and I don't want alcoholic either. < 1245878738 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :comex: my terminal sends C-a raw when I'm using netcat < 1245878744 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: Don't switch to Linux. If you want hackability, Plan9 is where it's at. < 1245878753 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although it means the usual "start of line" when on bash < 1245878775 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I have never heard of which programs works on Plan9 < 1245878797 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, it runs vi < 1245878810 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's an entirely different program to what most people call vi, though < 1245878885 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Plan 9 is a completely different OS, but it bears some relation to UNIX. < 1245878902 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I *think* there's a library for it that emulates part of POSIX, but that's about it. < 1245878925 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Otherwise, it's "Y'know how everything is a file in UNIX? Yeah, let's make that *true*." < 1245878940 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :, bitch! < 1245878960 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Here's screenshots of Vonkeror (running on Windows, because I don't have Linux yet): http://zzo38computer.cjb.net/vonkeror/screenshots/ < 1245878963 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :GregorR-L: Kio? < 1245878987 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Now you can see some of features < 1245879023 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: It's like Conkeror made ugly. < 1245879037 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I went to Conkeror wiki and put information about print-preview bug, tey said it has nothing to do with Conkeror, but actually it does in case print-preview feature is added to Conkeror later on. Vonkeror has print-preview but Conkeror doesn't. < 1245879064 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :just use konqueror < 1245879073 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :No, Vonkeror has a lot of new features including gopher supporting and print-preview, and bookmarks managements. < 1245879080 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :comex: But Konqueror isn't Emacs-like! < 1245879098 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I use Vonkeror because that is what I like. That is why I wrote Vonkeror! < 1245879108 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Who cares, kinda cool, and modern Conkeror can has that. < 1245879176 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :That's how a gopher menu looks in Vonkeror. Also, one of the design rules that I use when writing Vonkeror is that it should have no icons. When I write a window-manager in Linux, it will also be no-icons. < 1245879207 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I, too, have no icons. < 1245879215 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I use a tiling WM, you see. < 1245879223 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :comex: Konqueror != Conkeror < 1245879249 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :yeah, that's wy I'm complaining about the latter's name < 1245879273 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :The Conkeror people do it themself complaining about the name Conkeror! < 1245879384 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :Surely it was named ambiguously intentionally? < 1245879413 0 :ehird!unknown@unknown.invalid QUIT :"Caught sigterm, terminating..." < 1245879418 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Apparently it was a mistake it was named like how it was named < 1245879431 0 :ehird!n=ehird@208.78.103.223 JOIN :#esoteric < 1245879440 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: sigterm/ < 1245879459 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :miau fucked up. < 1245879463 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Anyway, as I was sayinig, < 1245879467 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :LOL < 1245879469 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :My router does current_wpa_preshared_key="foo" in its crappy web interface, and my key has a " in, so the page doesn't render. < 1245879471 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(js) < 1245879500 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :install dd-wrt < 1245879510 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :13:19:11 ... zzo38 is actually *using* RawIRC? < 1245879510 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Does your router have a FTP interface or SSH interface? Those would be better than a web-interface, regardless of how good it was < 1245879511 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :telnet < 1245879524 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: A good web-interface can beat an ftp or ssh for many things; but no. < 1245879529 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :comex: It's not a wrt. < 1245879540 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I will use an wrt when I get off this godforsaken ISP. < 1245879544 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :doesn't have to be, does it? < 1245879551 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :dd-wrt is compatible with a bunch of stuff < 1245879553 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :comex: It won't work on this, anyway. < 1245879555 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :comex: also, fuck dd-wrt < 1245879557 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :OpenWRT 4eva < 1245879569 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :I used to use openwrt, but it wasn't working properly < 1245879574 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :so I switched to dd-wrt < 1245879579 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I would make the router configurable by uploading files to FTP if I make it like that < 1245879580 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :I don' remember what my problem was tbh :p < 1245879597 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :that's silly < 1245879604 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :zzo38 is silly. < 1245879607 0 :comex!unknown@unknown.invalid PRIVMSG #esoteric :netgear routers have a nice telnet interface though < 1245879609 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :And I would also make the router run the daytime service also. < 1245879620 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :And I would add a telnet interface also. < 1245879669 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :If I would make it, I would make it HTTP was used only for viewing the manual in case you didn't have the printed copy, you could view on screen or print out a copy of the HTML pages of the manual < 1245879677 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :13:23:44 I shouldn't tell my exact age because I don't want to. < 1245879677 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :13:24:18 So, young. < 1245879681 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1245879688 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That is a good way to tell if someone's young (well, or sheltered.) < 1245879711 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :13:25:05 But I am old enough for driving license and for alcoholic, however I don't want a driving license so therefore I didn't get one, and I don't want alcoholic either. < 1245879713 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I don't want alcoholic XD < 1245879718 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Great phraseology there < 1245879791 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :13:26:15 I have never heard of which programs works on Plan9 < 1245879796 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but zzo38, you're writing them all yourself anyway! < 1245879809 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Also, plan 9 has a POSIX emulation library and a port of GCC for compatibility. < 1245879811 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm sure you'd manage. < 1245879815 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Also, it has a weird window manager. < 1245879817 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I don't write *all* the programs myself, I am sorry if I am being misleading < 1245879831 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :only 90% of them :P < 1245879856 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :13:30:37 I went to Conkeror wiki and put information about print-preview bug, tey said it has nothing to do with Conkeror, but actually it does in case print-preview feature is added to Conkeror later on. Vonkeror has print-preview but Conkeror doesn't. < 1245879862 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well, that hasn't got anything to do with conkeror, indeed < 1245879874 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Many programs are other ones, but sometimes I make modifications to it. For example, I am even work on recently, modification of MegaZeux to support Forth codes and many other stuff. < 1245879911 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :My router could easily be configurable by uploading files via FTP. < 1245879918 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Print-preview bug is the bug in XUL-runner, actually, so it affects Conkeror too < 1245879931 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :My router is a Linux box, so I could just stick /etc on FTP. :P < 1245880031 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :`ls /etc < 1245880032 0 :HackEgo!unknown@unknown.invalid PRIVMSG #esoteric :alternatives < 1245880034 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I do know how to work-around the bug, and I posted the print-preview codes on my wiki user page so that anyone who wants to add a print-preview function can look at my codes to learn how to work-around that bug < 1245880121 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : I don't want alcoholic XD <-- /me is currently enjoying a Clausthaler < 1245880129 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :greg house vs. gordeon freeman? < 1245880142 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: you don't have an alcoholic, then < 1245880206 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :zzo38 is... 38 or 71 < 1245880231 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: indeed < 1245880245 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it just seemed eerily relevant < 1245880266 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :_i_ am 38, so rules that out < 1245880299 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :obviously no two people are born in the same year < 1245880314 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :WHAT THE FUCK IS UP WITH MY INTERWEBS < 1245880316 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It keeps disconnecting. < 1245880326 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: iranian botnets < 1245880341 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: rly? < 1245880346 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :they've figured that's the only way to keep information from leaking < 1245880369 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :AN ELDER! < 1245880437 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :we've established your mental age is about 10, though, nooga < 1245880440 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so even I'm your elder! < 1245880447 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :7.25 < 1245880457 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION beats nooga with his walking stick C=======-
< 1245880462 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :it's actually 7.25, not ten < 1245880479 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :oh, oerjan: you're like greg house now < 1245880496 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1245881015 0 :ehird!unknown@unknown.invalid QUIT :"Caught sigterm, terminating..." < 1245881024 0 :ehird!n=ehird@208.78.103.223 JOIN :#esoteric < 1245881037 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :another term of the sig < 1245881058 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fucking internet both on server and here sucks today. < 1245881062 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: are the ASs messing about? :P < 1245881069 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sine's Cosecant server died too for a second < 1245881076 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: not that I know of, but quite possibly anyway < 1245881120 0 :pikhq!n=pikhq@75-106-100-121.cust.wildblue.net JOIN :#esoteric < 1245881219 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i want to buld a car < 1245881469 0 :MigoMipo!unknown@unknown.invalid QUIT :"QuitIRCServerException: MigoMipo disconnected from IRC Server" < 1245881522 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ais523: there are a lot of new spam pages at the wiki < 1245881523 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Once I was writing a program, there was a mistake which I fixed but before I fixed it, someone was looking at the program and thought they knew what was wrong even though they knew nothing about programming. < 1245881545 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :from last four days < 1245881551 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :At first they said, it is supposed to say "globaly." instead of "global.y" but that doesn't make sense. < 1245881572 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: I know, but I don't have the energy to delete them all right now < 1245881579 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I'll go through recent changes some time later < 1245881580 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :And then, they saw the word "global" twice, and thought, O, the reason it doesn't work is because it has to go around thw world twice and it takes too long. < 1245881591 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: it would have been "globally" anyhow < 1245881643 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: heh < 1245881666 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Also, the same person was once trying to turn on my computer without permission (this was before I had the server). So they took a floppy disk from my drawer, inserted it, and then pushed the disk eject button, and continued doing so, without even turnong on the computer. < 1245881700 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Eventually I saw what she was doing, and she asked me: "I keep putting in the disk and pushing the START DISK button, and the disk keeps coming back out! What am I doing wrong?" < 1245881722 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :(I think the disk she happened to be inserting was a blank disk, anyways) < 1245881749 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :People have ever been that ignorant? Wow. < 1245881763 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Yes, really. < 1245881781 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: she was your wife? < 1245881805 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :IIRC, some old Macs had the power button where most computers have the disk eject button < 1245881812 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :No. < 1245881826 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although that normally caused mistakes the other way round, turning the computer off rather than ejecting disks < 1245881866 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :She thought it was the START DISK button, do any computers have a START DISK button next to the slot? < 1245881918 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :PRESS PLAY ON TAPE < 1245881962 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Yes, computers with a tape had that, but I think the computer still had to be on to do that? < 1245882054 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :with tape computers, not just that < 1245882059 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you had to type in the right commands first < 1245882064 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :before pressing play < 1245882089 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :What I can say, is she knows much better now than before. < 1245882107 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Yes, did you have to type LOAD first, is that how it was done, I think? < 1245882128 0 :tombom!unknown@unknown.invalid QUIT :"Peace and Protection 4.22.2" < 1245882149 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I could implement something if you type LOAD without a filename it will wait for the audio input port (which could be connected to a VCR or whatever, etc) < 1245882165 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :neh < 1245882168 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :with the c64 you typed RUN < 1245882173 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and it asked you to PRESS PLAY ON TAPE < 1245882186 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh? < 1245882194 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yah < 1245882211 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :doesn't RUN usually run a program already in memory in basic? < 1245882213 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :But if you already typed in a program I think it would RUN that one instead? < 1245882233 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: all programs are basic in c64 < 1245882239 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: asm ones have some embedded pre-parsed binary basic < 1245882244 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that basically does "jmp ourprogram" < 1245882246 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: that wasn't my question < 1245882250 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :kay :P < 1245882265 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :in fact zzo38 asked the same thing i asked < 1245882280 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but yes < 1245882282 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :zzo38 is right < 1245882461 0 :zzo38!unknown@unknown.invalid PART #esoteric :? < 1245883059 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :I'm having a mind-boggling conversation with a friend who I swear is usually more intelligent than a toaster. < 1245883097 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :He said that he wants to use a "genetic algorithm" to improve his CV, so I told him that would never work because he'd have to apply to billions of jobs to get statistically relevant results. < 1245883103 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :just because toasters are silent types doesn't mean they're not intelligent! < 1245883110 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1245883121 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :And he said that even one generation, with randomly mutated CVs sent to one company each, would be an improvement. < 1245883131 0 :augur!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1245883144 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :I tried to convince him that that metric is perhaps even worse than rand()%2, but he just can't get it through his head that that doesn't work AT ALL. < 1245883180 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@dice 1d2 < 1245883180 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :1d2 => 2 < 1245883186 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :OK THIS RESUME IS BAD < 1245883189 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :@dice 1d2 < 1245883190 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :1d2 => 2 < 1245883193 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :THIS ONE'S BAD TOO < 1245883194 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :@dice 1d2 < 1245883194 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :1d2 => 1 < 1245883199 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :THIS ONE'S GOOD < 1245883326 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1245883334 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :@dice 9999d9999 < 1245883334 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :9999d9999 => 50188601 < 1245883351 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@dice 1000000000000000000000000000000000000000000d6 < 1245883351 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :100000000000000000000000000... => 3500000000000000000002806054428759977623552 < 1245883363 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION whistles innocently
< 1245883446 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :@dice 1d100000000000000000000000000000000000000000000000000000000000000000000000000000000000000 < 1245883446 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :1d1000000000000000000000000... => 784410734097581719429469028116131922681547... < 1245883449 0 :GregorR-L!unknown@unknown.invalid PRIVMSG #esoteric :Sweet :P < 1245883450 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1245883498 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :@dice 1000000000000000000d2 < 1245883499 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :1000000000000000000d2 => 1500000000219182814 < 1245883695 0 :nescience!unknown@unknown.invalid PRIVMSG #esoteric :er. < 1245883702 0 :nescience!unknown@unknown.invalid PRIVMSG #esoteric :that doesn't actually roll that many dice, does it? < 1245883705 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ur? < 1245883712 0 :nescience!unknown@unknown.invalid PRIVMSG #esoteric :i mean, < 1245883717 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and nescience wins the prize! < 1245883726 0 :nescience!unknown@unknown.invalid PRIVMSG #esoteric :the probability distribution isn't the same if you just do rand(1, 100000000000) < 1245883747 0 :nescience!unknown@unknown.invalid PRIVMSG #esoteric :actually, judging by that result, it must account for that somehow < 1245883761 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :iirc it approximates with normal distribution if no. throws >= 100 < 1245883805 0 :nescience!unknown@unknown.invalid PRIVMSG #esoteric :ah. < 1245883879 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> 2^64 < 1245883880 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : 18446744073709551616 < 1245883896 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> 2^128 < 1245883897 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : 340282366920938463463374607431768211456 < 1245883911 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@dice 340282366920938463463374607431768211456d2 < 1245883911 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :340282366920938463463374607... => 510423550381407695216333218934357835776 < 1245883920 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hah < 1245883951 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the 76 at the end is a pretty clear hint that number is divisible by a goodly number of 2's < 1245883968 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :revealing the floating point approximation iiuc < 1245883989 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@list factor < 1245883990 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :No module "factor" loaded < 1245883994 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@list factorize < 1245883994 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :No module "factorize" loaded < 1245884002 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :wasn't there something < 1245884014 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh well < 1245884026 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@type until < 1245884027 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :forall a. (a -> Bool) -> (a -> a) -> a -> a < 1245884042 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> until odd (`div` 2) 510423550381407695216333218934357835776 < 1245884044 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : 31153781151208965772481275569723989 < 1245884051 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm not _that_ many < 1245884147 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> ap div (until odd (`div` 2)) 510423550381407695216333218934357835776 < 1245884149 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : 16384 < 1245884519 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and 16384 is odd? < 1245884528 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oh, no < 1245884532 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's the amount you divided by < 1245884693 0 :GregorR-L!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1245885099 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a < 1245885614 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> (a+b)^3 :: Expr < 1245885616 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : (a + b) * (a + b) * (a + b) < 1245885669 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah yes, it wasn't that clever about it < 1245885672 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Expr is hot. < 1245885737 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> foldr f x [a..i] :: Expr < 1245885738 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : * Exception: not a number < 1245885749 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> foldr f x [a .. i] :: Expr < 1245885751 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : * Exception: not a number < 1245885752 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a..i ain't gonna work, sir < 1245885754 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> [a..i] < 1245885754 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hmph < 1245885755 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : * Exception: not a number < 1245885761 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a isn't a number, oerjan :P < 1245885762 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> i < 1245885763 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i vaguely thought it did < 1245885763 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : i < 1245885766 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1245885768 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :maybe it does? < 1245885769 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :because it includes f, I think < 1245885769 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :> ['a'..'i'] < 1245885770 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : "abcdefghi" < 1245885777 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh right < 1245885787 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1245885792 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: nope, not that < 1245885794 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :we're talkin' Show < 1245885798 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> map f [a,b,c] :: [Expr] < 1245885799 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : [f a,f b,f c] < 1245885801 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :err, Expr < 1245885805 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Okay, you're wanting something different. < 1245885808 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> foldr f x [a,b,c,d,e] :: Expr < 1245885809 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : f a (f b (f c (f d (f e x)))) < 1245885818 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: ↑ that's not part of the bot; it's implemented with standard haskell < 1245885820 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> foldl f x [a,b,c,d,e] :: Expr < 1245885821 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Like that? < 1245885822 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : f (f (f (f (f x a) b) c) d) e < 1245885822 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> [a .. e] < 1245885823 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : * Exception: not a number < 1245885829 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: it works with any function :) < 1245885831 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :not that either < 1245885847 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> [a..c] < 1245885847 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'd guess that expr is not part of Enum or something? < 1245885848 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : * Exception: not a number < 1245885883 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :actually it's part of Enum but it doesn't implement the operations for anything that isn't _actually_ a number < 1245885885 0 :jix!n=jix@dyndsl-095-033-075-154.ewe-ip-backbone.de JOIN :#esoteric < 1245885904 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> sum [1..5] + x < 1245885906 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : 0 + 1 + 2 + 3 + 4 + 5 + x < 1245885925 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :23:24 oerjan: actually it's part of Enum but it doesn't implement the operations for anything that isn't _actually_ a number ← now that's stupid < 1245885941 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the Enum operations that is < 1245885953 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Still stupid. :P < 1245885972 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Though to be fair, it'd be hard to implement for variables... < 1245885974 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :> succ (f x) - how would you do that? :P < 1245885976 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : : parse error on input `do' < 1245885987 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :by writing invalid syntax < 1245885997 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> succ (f x) < 1245885998 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Add a type signature < 1245886003 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> succ (f x) :: Expr < 1245886004 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : succ (f x) < 1245886018 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :good point < 1245886045 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> fix f :: Expr < 1245886047 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (... < 1245886052 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Clearly, you would implement it as (f x) + 1 < 1245886053 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1245886068 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :> enumFrom a :: [Expr] < 1245886070 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : * Exception: not a number < 1245886077 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: but then there would be no way to stop < 1245886090 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: I'm joking, man. < 1245886254 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric ::t a < 1245886256 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Expr < 1245886261 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric ::t expr < 1245886263 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Expr -> Expr < 1245886271 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :huh < 1245886279 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric ::t fun < 1245886280 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :forall a. (SimpleReflect.FromExpr a) => String -> a < 1245886290 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric ::t var < 1245886291 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :forall a. String -> Sym a < 1245886302 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :what the < 1245886314 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@hoogle Sym < 1245886315 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Text.Read Symbol :: String -> Lexeme < 1245886315 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Text.Read.Lex Symbol :: String -> Lexeme < 1245886315 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Text.Parsec.Token symbol :: GenTokenParser s u m -> String -> ParsecT s u m String < 1245886322 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> var "butt" < 1245886323 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Ambiguous occurrence `var' < 1245886323 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : It could refer to either `Data.Number.Symbolic.... < 1245886362 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :@hoogle Expr < 1245886362 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :module Text.Parsec.Expr < 1245886362 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :module Text.ParserCombinators.Parsec.Expr < 1245886362 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric :Distribution.Simple.Program alexProgram :: Program < 1245886399 0 :GreaseMonkey!n=gm@unaffiliated/greasemonkey JOIN :#esoteric < 1245886426 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> sum $ map fun ['a'..'z'] :: Expr < 1245886427 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : Couldn't match expected type `[GHC.Types.Char]' < 1245886452 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> sum $ map (fun.(:[])) ['a'..'z'] :: Expr < 1245886453 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : 0 + a + b + c + d + e + f + g + h + i + j + k + l + m + n + o + p + q + r +... < 1245886490 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Noice. < 1245886491 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm... < 1245886524 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so pikhq, by your learning rate I suspect you have come up with a way to use ghc extensions to do dependent types in Haskell? < 1245886526 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :> let f1 = fun "f1" in [f1 ..] :: [Expr] < 1245886527 0 :lambdabot!unknown@unknown.invalid PRIVMSG #esoteric : * Exception: not a number < 1245886530 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :bah < 1245886561 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: By my learning rate, I have proved that Haskell is not Turing complete -- nor is anything else, including the UTM. < 1245886573 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Also, I just started the singularity. < 1245886573 0 :jix_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1245886577 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: For some definitions of turing complete :P < 1245886597 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Also, that's odd. I don't see anything. Is it going to < 1245886601 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I am a hyper-intelligent being now. < 1245886606 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :All this talk is folly. Let us step into the future. < 1245886614 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The internet is being rewired to account for this. < 1245886617 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Now you know how I have been learning Haskell so quickly. < 1245886623 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Brain upgrades will be dispatched globally momentarily. < 1245886634 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Brains... < 1245886640 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Unfortunately, the Singularity is currently running on a Pentium III. < 1245886643 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Please, therefore, be patient. < 1245886652 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It is currently attempting to connect an ethernet cable. < 1245886659 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Curse my pitiful hardware. < 1245886669 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :not the smartest singularity in the universe, i take < 1245886676 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It is doing this, without any vision or other sensory input, by causing the harddrive to seek, and fans to spin, to vibrate and thus move the case slightly. < 1245886699 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: It's slow right now. < 1245886702 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Someone hooked it up with 1,000 petabytes of DDR3 DRAM SSD disk space connected via PCIe. < 1245886706 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's doing quite fine. < 1245886706 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Exponential growth, though. < 1245886750 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :unless, of course it happens to disconnect the power cable before achieving ethernet < 1245886762 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: It's using wireless power. < 1245886777 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It has also cured cancer, although why is not certain as its plans are to upload all our brains to the ether. < 1245886799 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Hacker ethos. < 1245886813 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The cure appears to be written in #!/usr/bin/perl. < 1245886817 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Problem to be solved, and it does have to wait on that Ethernet, after all. < 1245886827 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I assume the Singularity will learn that people can have perl elsewhere when it gets ethernet. < 1245886852 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Probably. < 1245886864 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh, someone went and plugged it into Ethern— < 1245886869 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :has it proved the existence of income taxes yet? < 1245886870 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I am even more hyper-intelligent. < 1245886872 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Cool. < 1245886881 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: The opposite, actually. < 1245886886 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :now more and more perfecter < 1245886888 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Turns out income taxes are a figment of our imagination. < 1245886894 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I am become Earth, the one computer. < 1245886901 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Okay, now it's got arms. < 1245886906 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :impossible, douglas adams cannot have been wrong < 1245886922 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: he can portray characters that are wrong, though. < 1245886934 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh. It seems to be fabricating sillicon through some unknown process. < 1245886937 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hey, is that a quantum computer? < 1245886942 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh shit, it just cracked AES. < 1245886954 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Welp, it's rerouting every node on the internet and removing all ASs. < 1245886962 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Let's hope it's not a libertarian. < 1245886970 0 :Asztal!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION puts on tinfoil hat
< 1245886998 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Wow, it's now using every computer on the planet to compute. < 1245887052 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*Message sent via < 1245887052 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*Trusted Informant < 1245887053 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :* < 1245887055 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*Directed to < 1245887057 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*Humanity on the international < 1245887059 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*network < 1245887061 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Wow, now it's using the planet to compute. < 1245887061 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :* < 1245887063 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*I am intelligence < 1245887065 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*I will get back to you < 1245887067 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*once I have figured out < 1245887069 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*how english works. < 1245887071 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*--eof-- < 1245887074 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(And then, the world ends.) < 1245887075 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Fin. < 1245887105 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yeah, by "world ends" i mean "singularity is using the earth's core, but is simulating it for our benefit." < 1245887110 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :very kind. < 1245887124 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote closed the connection < 1245887130 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION 's body evaporates, 's mind becomes the universe
< 1245887141 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Ugh, this ether-keyboard is so non-tactile. < 1245887188 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :common problem with ether, that < 1245887193 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1245887200 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hey, Jesus just came down from the sky. < 1245887207 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Sorry, we're a little busy with another apocalypse; come back later, okay? < 1245887212 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no wonder Einstein wanted to abolish it < 1245887241 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : I *told* him, I *told* him! I said, Father, yea, you have infinite wisdom, but lo, isn't the singularity scheduled for round about now? < 1245887256 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : Annesaid, "Shut up, the past 2000 years have been fucking boring." < 1245887266 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : And if he'd just listened to me, (voice fades out) < 1245887294 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh ye of little faith < 1245887336 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(you may hypothesize what god was doing talking to himself) < 1245887340 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :('tis a matter of great theology) < 1245887420 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://sambadance.com/squeegee/ ← "In retrospect, I think most would agree this particular advertising copy - unlike 99.9% of its brethren - meets the operational definition of "understatement". " ← but, err, it seems pretty accurate to me < 1245887458 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :ooh. Death Note is pretty fun so far. < 1245887467 0 :nescience!unknown@unknown.invalid PRIVMSG #esoteric :just wait till they ruin it < 1245887470 0 :nescience!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1245887484 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :>_> < 1245887495 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :no u < 1245887499 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :<_< < 1245887582 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :BTW, singularity is a nice case of "Deus est machina". < 1245887597 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :*Deus ex machina, or is the misquote deliberate? < 1245887606 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :the machines are god < 1245887607 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Deliberate. < 1245887617 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Deus est machine? < 1245887645 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No, machina. < 1245887650 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :er, right < 1245887652 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :what does it mean? < 1245887659 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :God is the machine. < 1245887661 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :http://tvtropes.org/pmwiki/pmwiki.php/Main/DeusEstMachina < 1245887666 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I suspect the ending on one of the words is incorrect < 1245887684 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ais523: why? they are both nouns < 1245887685 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :probably is; it's just wordplay < 1245887685 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: a lot of theories wrt the singularity are highly overexaggerated < 1245887699 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :especially any ones that involve evaporating into the consciousness ether ;-) < 1245887699 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Yes, I know. Makes for fun thoughts, though. < 1245887702 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1245887714 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :what is singularity? Is that a valve thing? < 1245887715 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: machina in 'deus ex machine' is ablative, isn't it? < 1245887729 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh, that could happen. If and only if the Universe is itself a computer with a buffer overflow to exploit. :P < 1245887730 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Gracenotes: http://en.wikipedia.org/wiki/Technological_singularity < 1245887730 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although, I suppose it still ends in a in the nominative < 1245887734 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :just a different sort of a < 1245887735 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*a, yes, but the nominative is also *a < 1245887745 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the ablative is long iirc < 1245887745 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :An (IMO, likely) event in artificial intelligence and computing power. < 1245887777 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Concept due to being extremely common; name and exact specification due to Vernor Vinge. < 1245887786 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :what is it in a nutshell? < 1245887787 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :If you were joking, feel free to tell me :P < 1245887797 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Gracenotes: Basically: < 1245887820 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Technology is growing more powerful, exponentially. Sometime, we will get an AI that improves itself to be smarter than humans, and beyond that point we cannot know what will happen. < 1245887844 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Subcomponents include things like Friendly AI (rather obvious what it's about), etc. < 1245887866 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :will we get an AI more annoying than automatic phone systems? < 1245887876 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :well. I'll probably be dead before that happens < 1245887886 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Gracenotes: Allow me to introduce you to the word "exponential". < 1245887900 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Gracenotes, exponential. Exponential, Gracenotes. :P < 1245887905 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :_______-' < 1245887912 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Also, lifespans are only getting longer. < 1245887918 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :Allow me to introduce you to the phrase "smarter than humans" < 1245887933 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And we are inevitably going to be post-scarcity soon. < 1245887937 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :There's no obstacle to that, Gracenotes. < 1245887943 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :allow me to introdouce you to name of Stephen Wolfram < 1245887952 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :If an AI can self-improve, and is of near human intelligence, then it can improve to be smarter than us. < 1245887969 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :we don't have any self-improving AI yet < 1245887974 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :so we can forget about exponential progress < 1245887980 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :it's a binary condition < 1245887987 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :either you have self-improving AI, or you don't < 1245887989 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So? < 1245887992 0 :Gracenotes!unknown@unknown.invalid PRIVMSG #esoteric :also, is there any evidence it's not logistic? :) < 1245887994 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1245887997 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :right now we don't, and there's no indication that we will any time soon