< 1397261056 168082 :password2!~password@197.78.174.123 QUIT :Ping timeout: 245 seconds < 1397262305 322313 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1397262377 920053 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1397262782 518376 :Sprocklem!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1397262795 780259 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1397263288 24540 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Ping timeout: 252 seconds < 1397263319 758693 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1397263908 707177 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1397264350 284752 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1397264937 992201 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 252 seconds < 1397264945 394197 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1397265436 237410 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1397265606 372039 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 276 seconds < 1397266865 344930 :CapitalSigma!~patrick@c-98-206-166-209.hsd1.il.comcast.net JOIN :#esoteric < 1397266868 858487 :CapitalSigma!~patrick@c-98-206-166-209.hsd1.il.comcast.net PRIVMSG #esoteric :hey all < 1397266898 111672 :CapitalSigma!~patrick@c-98-206-166-209.hsd1.il.comcast.net PRIVMSG #esoteric :is there a BNF grammar for brainfuck out there somewhere? < 1397267006 341958 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think it would just be c ::= "[" c "]" | "+" | "-" | "<" | ">" | "," | "." < 1397267007 379656 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1397267021 179971 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and a lot of interpreters will accept unbalanced [] until you actually hit them < 1397267032 183950 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so it's not clear whether that's a syntax error or a runtime exception < 1397267043 105049 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :er < 1397267063 179917 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :c ::= "" | "[" c "]" | "+" c | "-" c | "<" c | ">" c | "," c | "." c < 1397267336 730178 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1397267551 654219 :CapitalSigma!~patrick@c-98-206-166-209.hsd1.il.comcast.net PRIVMSG #esoteric :okay. i'm trying to learn about compilers so i figure that getting a parser+lexer for brainfuck working would be the easiest place to start -- are there any good resources out there? < 1397267588 845425 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Ah. What are you trying to write the program in? < 1397267766 919048 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :brainfuck isn't the kind of language you would use those tools for < 1397267772 133577 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Smartboxes14]]4 10 02http://esolangs.org/w/index.php?diff=39293&oldid=39288 5* 03Doesthiswork 5* (+2056) 10added a simple genetic algorithm as an example < 1397267784 804001 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I would start with a simple expression grammar < 1397267799 189997 :CapitalSigma!~patrick@c-98-206-166-209.hsd1.il.comcast.net PRIVMSG #esoteric :zzo38: i'm really interested in learning how to use parser-generators, i'm using antlr < 1397267803 60866 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes it is true you don't need a parser+lexer for brainfuck compiling < 1397267821 503250 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :parse arithmetic expressions with literals and +-*/ and parentheses < 1397267828 879099 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's kind of the standard first parser project < 1397267921 473108 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Smartboxes14]]4 M10 02http://esolangs.org/w/index.php?diff=39294&oldid=39293 5* 03Doesthiswork 5* (+7) 10 < 1397267934 88026 :CapitalSigma!~patrick@c-98-206-166-209.hsd1.il.comcast.net PRIVMSG #esoteric :okay.... and that would look something like: op ::= "+" | "*" | "/" | "-"; exp ::= exp op exp | id; id ::= [0-9]+; < 1397267937 130429 :CapitalSigma!~patrick@c-98-206-166-209.hsd1.il.comcast.net PRIVMSG #esoteric :? < 1397267960 944380 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :CapitalSigma: That won't make any precedences. < 1397267996 588112 :doesthiswork!b8ab3b51@gateway/web/freenode/ip.184.171.59.81 JOIN :#esoteric < 1397268009 478867 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have seen the parser for the OASYS compiler (a text-adventure game system); is not too difficult for understanding. (I have, in fact, rewritten it in BASIC from a printout of the C code, because I didn't have a disk, and on the target computer I didn't have a C compiler.) < 1397268128 155979 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1397268153 125865 :CapitalSigma!~patrick@c-98-206-166-209.hsd1.il.comcast.net PRIVMSG #esoteric :zzo38: okay. so it needs parens.... i suppose exp ::= "(" exp op exp ")"; would be enough... is there anything that you all recommend i read for starting off? < 1397268337 691108 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I actually don't read much about parser either...the only expression parser I really studied much is the one used in OASYS, and didn't find it so difficult. < 1397268555 997725 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have read some books too, telling about LL(1), LR(1), and so on, but I forgot what book it is. < 1397268566 532591 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Wikipedia might have some more information. < 1397269018 819403 :CapitalSigma!~patrick@c-98-206-166-209.hsd1.il.comcast.net PRIVMSG #esoteric :gotcha, i'll look around, thanks < 1397269449 306324 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 250 seconds < 1397269471 194667 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1397270713 313444 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :If only NullPointerException was a checked exception... < 1397270754 704916 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(Actually that would probably be quite annoying to work with) < 1397270766 50518 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Not sure which is worse < 1397270824 371166 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :if only, if only, the woodpecker sighs < 1397270967 511703 :doesthiswork!b8ab3b51@gateway/web/freenode/ip.184.171.59.81 PRIVMSG #esoteric :apparently there was a comic charecter named Smokey Stover who called things he didn't know the name of "foo" < 1397271169 526759 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :the bark on the trees was as soft as the skies < 1397271247 485702 :boily!~boily@96.127.201.149 QUIT :Quit: Poulet! < 1397271761 370218 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Google seems to disagree on if it's 'trees' or 'tree' < 1397271828 379606 :doesthiswork!b8ab3b51@gateway/web/freenode/ip.184.171.59.81 QUIT :Ping timeout: 240 seconds < 1397271972 104106 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :ACTION goes to install EclipseFP < 1397272775 358731 :SpaceWizard!~Apollo@unaffiliated/rjones QUIT :Remote host closed the connection < 1397273483 779598 :nooodl!~nooodl@91.177.71.198 QUIT :Ping timeout: 252 seconds < 1397273585 481561 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :https://www.cloudflarechallenge.com/heartbleed < 1397273595 641970 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :So, are they just trying to figure out the plausibility of stolen certificates? < 1397273850 269178 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is it possible for a random third party to hinder Heartbleed attacks slightly by asking for a smaller heartbeat payload than it gives? < 1397273989 118135 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :What < 1397273995 817570 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :that sounds hilarious < 1397274050 890824 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I don't know what that means, but you could inundate servers with traffic so that single attackers are less likely to find sensitive data amongst all of your buffers < 1397274091 301672 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Though, it costs you more traffic to play this game than them. < 1397274331 290775 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :https://twitter.com/indutny/status/454767565991325697 < 1397274532 587703 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you have to use www.cloudflarechallenge.com to make it actually work < 1397274544 286305 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think twitter messes with things that look like hostnames < 1397274566 155870 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Hovering over the links shows www < 1397274626 691243 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :What if someone steals the private key from his server < 1397274629 336648 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :!!! < 1397276610 526200 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :There is this quotation about Lisp programming: SQL, Lisp, and Haskell are the only programming languages that I've seen where one spends more time thinking than typing. -- Philip Greenspun < 1397276698 209472 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Greenspun hasn't seen enough languages < 1397276815 328935 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :elliott: You are probably correct. < 1397276970 305912 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Smartboxes14]]4 10 02http://esolangs.org/w/index.php?diff=39295&oldid=39294 5* 03Zerk 5* (-50) 10/* Examples */(Decrement) I think I just figured out recursion, correct me if I'm misunderstanding the semantics. < 1397277360 975438 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i also get that with brainfuck < 1397277406 958551 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Why do you hate FORTRAN so much? < 1397277589 890751 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :why you want rail for kalashnikov < 1397277644 588064 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1397277730 490131 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Smartboxes14]]4 10 02http://esolangs.org/w/index.php?diff=39296&oldid=39295 5* 03Zerk 5* (+50) 10Undo revision 39295 by [[Special:Contributions/Zerk|Zerk]] ([[User talk:Zerk|talk]]) I do misunderstand the semantics! It would reach the right value, but then unwind back to the original 0 before returning. < 1397277830 420333 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't know who/what they are. < 1397277883 881211 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do you call a chain A, B, C, ... such that A ⊆ B ⊆ C ⊆ ...? < 1397277911 164029 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1397278059 894834 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :why do i hate fortran so much < 1397278097 175793 :password2!~password@197.78.174.123 JOIN :#esoteric < 1397278113 98330 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :shachaf: descending chain? or what < 1397278126 812389 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe < 1397278134 484838 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i guess chain is the actual term < 1397278142 564256 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also why is it descending and not ascending < 1397278157 760420 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :look, i'm not noether < 1397278836 829052 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :How can you make a programming language where the types are Hoare triples? < 1397278841 764647 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It occurs to me that I'm already using an entirely online password manager, completely unencrypted < 1397278859 189902 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(At least, I think it's unencrypted) < 1397278941 395461 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net JOIN :#esoteric < 1397279187 312021 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Smartboxes14]]4 10 02http://esolangs.org/w/index.php?diff=39297&oldid=39296 5* 03Doesthiswork 5* (-2065) 10removed the GA example after concluding that it is a mess semantically < 1397279526 166148 :zzo38!~zzo38@24-207-51-179.eastlink.ca QUIT :Ping timeout: 240 seconds < 1397279664 978954 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Google already has my passwords, why not LastPass? < 1397279758 66903 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Chrome is unecrypted by default but you can encrypt them if you'd like. < 1397279771 203836 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I believe the local store is encrypted though; the encryption option just affects the syncing < 1397279932 726580 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1397279973 11924 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Is it possible to do sequent calculus with only bound variables and no free variables (so that free variables are ungrammatical)? < 1397280089 167847 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :been too long since I've seen sequent calculus < 1397280429 116741 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I try to think of a way < 1397281394 892278 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/DrFFzea.png < 1397281598 770784 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1397282798 129208 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Remote host closed the connection < 1397282830 520918 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1397282963 871656 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :whoa, you gave your password to google?!@# < 1397283066 480976 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1397283251 724830 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1397283502 704647 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :newsham: it's what happens when you decide to use gmail. < 1397283665 910991 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1397284443 764265 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :cant you tell them you want to use gmail but you dont want to give them your pw? < 1397284556 160842 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The trouble is that most services that use authentication persistently insist that you should allow them to delegate the authentication to google. < 1397284646 427064 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, I wonder if I could simply point them at foo@example.com. (Probably not; IANA has a server there.) < 1397284689 903936 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :most services i've seen dont delegate auth to google < 1397284719 253936 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :you know what pisses me off lately? hotmail and google and others pestering me constantly to link a cell phone number to my account < 1397284737 357052 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :They do, but have a strange name for this--"Forgot your password?" < 1397284959 312379 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :yah well hotmail locked me out of my account for a month because i didnt have a cell phone number in case I "forgot my password" < 1397284968 467652 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :so whats more dangerous, forgetting my password, or hotmail? < 1397285037 392045 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :in a few days when its finally available again i can start migrating all my accounts off of that email addr < 1397285126 703818 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Those are two opposite kinds of danger. I don't know how forgetful you are, but I create passwords algorithmically so "forgetting" them is not an issue. The only issue, then, is email. < 1397285167 671044 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Import Your Contacts From Gmail < 1397285405 284076 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :import your contacts from the depths of hell < 1397286340 674252 :MoALTz!~no@user-188-33-230-20.play-internet.pl QUIT :Quit: Leaving < 1397286402 874884 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1397286614 319717 :MoALTz!~no@user-188-33-230-20.play-internet.pl JOIN :#esoteric < 1397288521 452685 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Smartboxes14]]4 10 02http://esolangs.org/w/index.php?diff=39298&oldid=39290 5* 03Zerk 5* (+2165) 10/* Implicit evaluation */ new section < 1397289059 51027 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :is it just me or does smartboxes look to useful to be an esolang? :D < 1397289554 387955 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The lead mentions Kay, so it is esoteric pretty much by construction < 1397289657 569026 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :'kay < 1397289697 493898 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :O(Kay) < 1397289785 926825 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :is that good or bad? < 1397290217 622566 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :O(k) < 1397290281 158087 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :myname: it's an upper bound, so anything except good? (unless good is small, then anything except bad) < 1397290283 160506 :adu!~ajr@pool-108-28-107-114.washdc.fios.verizon.net QUIT :Quit: adu < 1397290926 86783 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 240 seconds < 1397291261 286965 :Slereah_!~jackal@80.10.161.165 JOIN :#esoteric < 1397291520 308140 :Slereah!~jackal@80.10.159.99 JOIN :#esoteric < 1397291697 281910 :Slereah_!~jackal@80.10.161.165 QUIT :Ping timeout: 276 seconds < 1397293773 407465 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1397293782 787072 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1397293820 201599 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1397294081 157642 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1397295584 517676 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1397296080 273345 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1397296752 73081 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/WRGj That's quite the regexp. < 1397297027 248988 :Slereah_!~jackal@193.253.170.148 JOIN :#esoteric < 1397297087 309104 :Slereah!~jackal@80.10.159.99 QUIT :Ping timeout: 250 seconds < 1397297656 93539 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, pretty simple, though < 1397297689 187226 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :not like that deprecated expression for email addresses < 1397299430 5456 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1397299681 571349 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1397300584 167504 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1397300667 970417 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1397300906 198936 :Slereah_!~jackal@193.253.170.148 QUIT :Ping timeout: 245 seconds < 1397300918 510496 :Slereah_!~jackal@193.253.170.208 JOIN :#esoteric < 1397302057 936569 :nooodl!~nooodl@91.177.71.198 JOIN :#esoteric < 1397303031 65835 :Melvar`!~melvar@dslb-094-221-220-083.pools.arcor-ip.net JOIN :#esoteric < 1397303085 232333 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net QUIT :Ping timeout: 276 seconds < 1397303126 527382 :Melvar!~melvar@dslb-088-077-168-087.pools.arcor-ip.net QUIT :Ping timeout: 255 seconds < 1397303803 664671 :Melvar`!~melvar@dslb-094-221-220-083.pools.arcor-ip.net NICK :Melvar < 1397303852 237773 :idris-ircslave!~ircslave@dslb-094-221-220-083.pools.arcor-ip.net JOIN :#esoteric < 1397305482 524149 :Slereah_!~jackal@193.253.170.208 QUIT :Ping timeout: 240 seconds < 1397305949 996374 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1397306059 533861 :Slereah_!~jackal@80.12.100.231 JOIN :#esoteric < 1397306190 865849 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Boxy14]]4 N10 02http://esolangs.org/w/index.php?oldid=39299 5* 03Zerk 5* (+2725) 10Spec fork! < 1397306654 948182 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Oh, fancy < 1397307011 552729 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Quit: ZNC - http://znc.sourceforge.net < 1397307053 392815 :Vorpal!~Vorpal@81-224-29-207-no185.bredband.skanova.com JOIN :#esoteric < 1397307053 583616 :Vorpal!~Vorpal@81-224-29-207-no185.bredband.skanova.com QUIT :Changing host < 1397307053 583742 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1397307282 242497 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1397307931 318748 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hmm. My 16 GB CF card has turned into a 2 TB CF card. < 1397307955 567439 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :[3432361.978679] sd 11:0:0:0: [sde] 3842213123 512-byte logical blocks: (1.96 TB/1.78 TiB) < 1397307968 3693 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's what it says when I plug it into a card reader. < 1397307977 938144 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :wow, that's some luck < 1397307991 958722 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Less lucky is that any IO access to it just hangs indefinitely. < 1397308032 414268 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, it wasn't indefinitely; but it does go all http://sprunge.us/Meab after a long delay. < 1397308037 865398 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Some manufacturers inflate the apparent capacity of their flash devices, but this is somewhat excessive < 1397308059 268237 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It does manage to read the partition table off, so maybe a dd on the first 16 gigs could work. < 1397308092 587330 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Jafet: it's only a 7 order of magnitude error. nothing to worry about. < 1397308210 63816 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :dd of the first partition (there seems to be three) at least seems to be working. fdisk didn't, but maybe it was trying to check something at the end of the disk. < 1397308289 323264 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Okay, it's only reading 100 kilobytes/sec, but that still counts as working, I guess.) < 1397308411 595739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`frink 16 gigabytes / (100 kilobytes/s) < 1397308416 24838 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :160000 s (time) < 1397308424 747040 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's only 46 hours to read the 16 gigs that should be there, and a further 220 days to see what's on the rest of the two terabytes. < 1397308442 16458 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :piece of cake < 1397308557 852110 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :so does the data that you get off the drive make sense? < 1397308631 970901 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :hmm, for some reason I could see immediately that 160000s is about two days, but had to think a long while to realize that 46h is also about two days < 1397308955 30291 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: I haven't looked yet. But it had the same number of partitions, so presumably at least the first sector was correct. < 1397308987 636431 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :ok. anyway, good luck :) < 1397308989 870771 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Same number that I expected it to have, that is. < 1397309036 622910 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's nothing terribly important in there; it used to be the "hard disk" of a computer, I was just missing some scripts and crontabs I think were in /root which I didn't copy back when the card was working normally. < 1397309800 254633 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :140345856 bytes (140 MB) copied, 1327.63 s, 106 kB/s < 1397309822 405900 :nucular!~MOO@unaffiliated/nucular JOIN :#esoteric < 1397309889 123798 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Contents seem correct, too. Except that sde1 was apparently /boot, so they're not exactly useful. < 1397311332 21902 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1397312050 770810 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1397312358 66154 :password2!~password@197.78.174.123 QUIT :Ping timeout: 240 seconds < 1397313524 182217 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1397313901 140923 :password2!~password@197.78.135.37 JOIN :#esoteric < 1397314199 405092 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1397314850 522911 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 258 seconds < 1397315240 932043 :password2!~password@197.78.135.37 PART #esoteric :"Leaving" < 1397315772 563947 :tertu!~tertu@143.44.70.199 QUIT :Read error: Connection reset by peer < 1397317060 448044 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1397317364 446818 :erdic!erdic@unaffiliated/motley QUIT :Ping timeout: 246 seconds < 1397317426 319382 :erdic!erdic@unaffiliated/motley JOIN :#esoteric < 1397317554 310366 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1397319229 490492 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also got http://sprunge.us/aFOb during a scheduled check of a backup disk, which doesn't sound good. < 1397319648 783632 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I can never figure out how to read this smartctl output. :/ < 1397320114 416790 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :LBA numbers, right next to planck units and ancient greek cubits < 1397320122 653481 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :gsmartctl helps < 1397320160 145095 :MoALTz_!~no@user-188-33-230-20.play-internet.pl JOIN :#esoteric < 1397320242 1859 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Is it a graphical something? The disk is not on a computer with X libraries or anything. < 1397320271 424242 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It is a gtk something < 1397320318 867615 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't even know if big numbers or small numbers are good for these translated ones. < 1397320327 663758 :MoALTz__!~no@user-188-33-230-20.play-internet.pl JOIN :#esoteric < 1397320331 311261 :MoALTz!~no@user-188-33-230-20.play-internet.pl QUIT :Ping timeout: 250 seconds < 1397320359 614429 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Well, you could keep mashing the drive and check if the number increases. < 1397320444 279955 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess I'll run the self-tests, since those at least should say something reasonable, hopefully. < 1397320494 31288 :MoALTz_!~no@user-188-33-230-20.play-internet.pl QUIT :Ping timeout: 240 seconds < 1397320501 969047 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Reallocated_Sector_ct has a velue of "200", worst of "200", threshold of "140" and a raw value of "1". < 1397320688 906284 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`run echo $'#include \n#include \n#include \nmain(){\n void *p = mmap((void*)0x398e4f53fa300000, 4096, PROT_NONE, MAP_PRIVATE|MAP_ANON|MAP_FIXED, -1, 0);\n return !printf("%p %s\n", p, strerror(errno)); }\n' > /tmp/m.c && gcc m.c -o m && ./m < 1397320689 316282 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :gcc: error: m.c: No such file or directory \ gcc: fatal error: no input files \ compilation terminated. < 1397320700 38041 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`run echo $'#include \n#include \n#include \nmain(){\n void *p = mmap((void*)0x398e4f53fa300000, 4096, PROT_NONE, MAP_PRIVATE|MAP_ANON|MAP_FIXED, -1, 0);\n return !printf("%p %s\n", p, strerror(errno)); }\n' > /tmp/m.c && gcc /tmp/m.c -o /tmp/m && /tmp/m < 1397320701 718490 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/tmp/m.c: In function ‘main’: \ /tmp/m.c:6:17: warning: missing terminating " character [enabled by default] \ /tmp/m.c:6:2: error: missing terminating " character \ /tmp/m.c:7:1: warning: missing terminating " character [enabled by default] \ /tmp/m.c:7:1: error: missing terminating " character \ /tmp/m.c:7:1: error: expected expression at < 1397320758 805729 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`run echo $'#include \n#include \n#include \n#include \nmain(){\n void *p = mmap((void*)0x1000000000, 4096, PROT_NONE, MAP_PRIVATE|MAP_ANON|MAP_FIXED, -1, 0);\n return !printf("%p %s\\n", p, strerror(errno)); }\n' > /tmp/m.c && gcc /tmp/m.c -o /tmp/m && /tmp/m < 1397320759 517329 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0x1000000000 Success < 1397320771 295576 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ok, seeing the reactive-banana guy act like an idiot makes me sad < 1397320773 681040 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`run echo $'#include \n#include \n#include \n#include \nmain(){\n void *p = mmap((void*)0x1000000000000, 4096, PROT_NONE, MAP_PRIVATE|MAP_ANON|MAP_FIXED, -1, 0);\n return !printf("%p %s\\n", p, strerror(errno)); }\n' > /tmp/m.c && gcc /tmp/m.c -o /tmp/m && /tmp/m < 1397320774 504675 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0xffffffffffffffff Cannot allocate memory < 1397320784 163193 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Weird. < 1397320833 78867 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`run echo $'#include \n#include \n#include \n#include \nmain(){\n void *p = mmap((void*)0x1000000000000ull, 4096, PROT_NONE, MAP_PRIVATE|MAP_ANON|MAP_FIXED, -1, 0);\n return !printf("%p %s\\n", p, strerror(errno)); }\n' > /tmp/m.c && gcc /tmp/m.c -o /tmp/m && /tmp/m < 1397320833 886564 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0xffffffffffffffff Cannot allocate memory < 1397320848 520040 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://www.reddit.com/r/haskell/comments/22udou/heartbleed_aftermath_should_haskell_web/ < 1397321050 737863 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Jafet: Wouldn't 0x1'0000'0000'0000 fail the canonical-address test? < 1397321172 99725 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Huh, there are such things as canonical addresses. < 1397321174 155984 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"In addition, the AMD specification requires that bits 48 through 63 of any virtual address must be copies of bit 47 (in a manner akin to sign extension), or the processor will raise an exception.[1](p131) Addresses complying with this rule are referred to as "canonical form."[1](p130) Canonical form addresses run from 0 through 00007FFF'FFFFFFFF, and from FFFF8000'00000000 through ... < 1397321180 98516 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... FFFFFFFF'FFFFFFFF, for a total of 256 TB of usable virtual address space." < 1397321194 199449 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bits don't grow on trees, you know! < 1397321196 642586 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I thought CPUs were more clever about masking the unimplemented address lines. < 1397321204 244634 :ion!ion@heh.fi PRIVMSG #esoteric :FFFFFFFF'UUUUUUUU < 1397321227 359366 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They're clever about hiding unimplemented physical address lines. < 1397321266 545517 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :L/ < 1397321279 891723 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That was meant to be an emoticon but I am too tired < 1397321339 252143 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :otoh, I bought a new comic :) < 1397321357 956067 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They're less clever about the virtual address space limit, which I gather has something to do with saving area on the chip. (As well as maybe some page table -related things?) < 1397321412 978383 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fun fact: Intel manuals allow for up to 52-bit physical addresses even while the linear addresses are restricted to 48 bits. < 1397321472 325889 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :48-bit PAE... they think ahead, don't they. < 1397321572 240352 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Man, I feel like crap < 1397321650 772745 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the canonical address thing is done on purpose < 1397321664 742905 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so that people don't use the unused bits for tag bits (without masking) < 1397321674 236384 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so that the virtual address space can be extended later without breaking shit < 1397321699 654637 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Spoilsports < 1397321707 68286 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i know, right? < 1397321712 623573 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :imo there should at least be a way to disable it < 1397321727 146756 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :some people care a whole lot about speed and not at all about binary forwards-compatibility < 1397321739 483726 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there's probably a secret MSR or something < 1397321755 767341 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Even a translation of a 48-bit virtual address involves quite a lot of pointers. The CR3 register points at the start of the PML4 table; bits 39..47 of the address select an entry of it pointing at a Page-Directory-Pointer Table; bits 30..38 select an entry of it pointing at a Page-Directory Table; bits 21..29 select an entry of it pointing at a Page Table; bits 12..20 select an entry of it ... < 1397321761 786911 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... pointing to a physical page; and bits 0..11 are an offset within the page. < 1397321789 317903 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :kind of bugs me that they all have names instead of just being level4 .. level1 < 1397321806 490700 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"PML4" has a 4 in it, at least. < 1397321809 78266 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1397321822 704165 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'd like to see them invent names for all similar tables of a full 64-bit setup. < 1397321834 385730 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :don't give them any ideas < 1397321839 152719 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Although, you could map identical ranges that have a tag bit on and off to the same underlying pages < 1397321851 787524 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1397321856 888440 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I've wondered if there are programs that do that < 1397321859 493338 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Might screw with the tlb, but isn't it worth it < 1397321877 41971 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Just set the "Page-Directory-Selector-Index-Hyperpage-Pointer" suitably and... < 1397321886 805478 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :also do you know the trick about having a page directory table entry that points back to the page directory table? < 1397321908 537779 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the PDT and PT records have a similar layout < 1397321952 877957 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Who would you trick with that < 1397321961 259300 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if you use the PDT as a PT, then you've mapped all the PTs as pages in virtual memory < 1397322114 304519 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: why do you feel like crap? :/ < 1397322163 869181 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Num Test_Description Status Remaining LifeTime(hours) LBA_of_first_error < 1397322167 188321 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :# 1 Short offline Completed: read failure 80% 26750 470670340 < 1397322170 192922 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm going to call it broken. < 1397322172 455582 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I was meeting from friends and I kind of abandoned them and I feel bad about it < 1397322235 240595 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1397322278 393499 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :fizzie: eek < 1397322342 423388 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Taneb: eek. < 1397322651 219361 :AnotherTest!~turingcom@94-224-29-210.access.telenet.be JOIN :#esoteric < 1397322662 415960 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :> 1 -- did I break this? < 1397322662 615738 :idris-ircslave!~ircslave@dslb-094-221-220-083.pools.arcor-ip.net PRIVMSG #esoteric :041 : 12Integer < 1397322663 390550 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: GhcException "cannot satisfy -package lens\n (use -v for mor... < 1397322673 938442 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :obviously. bah. < 1397322770 80176 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Why do Intel make it too complicated/confusing? < 1397322836 460971 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :@run 1 < 1397322838 161847 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 < 1397322877 419210 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Ping timeout: 258 seconds < 1397322936 26092 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hah, there was a 36-month warranty on the disk, and it ended three weeks ago. < 1397322978 337036 :ion!ion@heh.fi PRIVMSG #esoteric :fizzie: nice < 1397322984 720973 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Man, those engineers are good when it comes to planned obsolescence. < 1397322992 600897 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Dangerous level of competency here. < 1397323192 793214 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> "hi bots" < 1397323193 21558 :idris-ircslave!~ircslave@dslb-094-221-220-083.pools.arcor-ip.net PRIVMSG #esoteric :04"hi bots" : 12String < 1397323194 340952 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "hi bots" < 1397323524 964840 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1397323771 182404 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1397323947 271780 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Quit: 7.8.1 -> 7.8.2 < 1397324058 590561 :Slereah_!~jackal@80.12.100.231 QUIT :Ping timeout: 240 seconds < 1397324226 432280 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1397324475 786439 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ACTION lightly pokes lambdabot < 1397324503 988915 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@tell idris-ircslave hello! < 1397324504 181423 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1397324671 340482 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :> "hi fungot" < 1397324671 569890 :idris-ircslave!~ircslave@dslb-094-221-220-083.pools.arcor-ip.net PRIVMSG #esoteric :04"hi fungot" : 12String < 1397324671 787273 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: those wallpapers have fnord. python has no semicolons, but mandatory newlines and indentation. < 1397324672 587205 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "hi fungot" < 1397324695 795488 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :python does have semicolons < 1397324780 651910 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: if Python has semicolons, does it mean that wallpapers are fnordless? < 1397324787 442808 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :;-;^ < 1397324797 61427 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :I wanted ^;-;^ < 1397324806 630261 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :^;-;^? < 1397324826 462870 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: I'm talking to you, you uncouth bot! < 1397324826 833419 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: if all the benchmarks were implemented. the shared state was very clearly isolated in both scheme48 t ( except in summer when i earn nothing < 1397324841 240198 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: ah. summer internship? < 1397324841 492509 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: that doesn't render correctly here." " n=1" " n=2" " n=3" " n=4" " n=5" " n=6"... etc. < 1397324882 122313 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :int-e: is that a vampire bat < 1397324893 231570 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: are you a vampire bat < 1397324893 445553 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: strange labels like spells and magic recipes?" but i don't < 1397324920 206337 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hi boily < 1397324924 640397 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :kmc: you're good. < 1397324925 893421 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :hintopia! < 1397324928 599931 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :happyy saturday < 1397324942 654890 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :today is a day for being tired < 1397324956 227273 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :today is a day to be smooth and drink coffee. < 1397324969 60259 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i drank some coffee < 1397324982 176970 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it was almost two weeks old and gross < 1397324992 792224 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :ACTION ponders compiling a couple more ghcs < 1397324995 121884 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but it was hot and caffeiney < 1397325002 426671 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :ACTION should probably change some passwords instead < 1397325018 825041 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :two. weeks. old. coffee. I am impressed. < 1397325036 381687 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i hope i don't die < 1397325064 330611 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :. o O ( please tell us if you do ) < 1397325103 257638 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I hope you're going to live through the Experience, then pen a beautiful, heart-wrenching Memoir about it. < 1397325110 722100 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'll be sure to put it in my will < 1397325126 586529 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :"here's my password. get on all my networks and tell them i'm dead please and how i died." < 1397325149 462659 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :is your password hunter2weekOldCoffee? < 1397325218 675895 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what do you mean *******weekOldCoffee? < 1397325225 206343 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The thought of dying from stale coffee is enough to keep one awake at night. < 1397325226 556067 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it was almost two weeks old < 1397325329 545507 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :still better than 2weakOldCoffee < 1397325386 155265 :Slereah_!~jackal@193.253.170.185 JOIN :#esoteric < 1397325444 730911 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it wasn't weak < 1397325448 481564 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it was strong < 1397325455 53833 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but it wasn't quite coffee either < 1397325466 256246 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Remote host closed the connection < 1397325498 312839 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1397325515 790464 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1397325587 999121 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :meanwhile, I just finished a full pot of http://www.ikea.com/ca/en/catalog/products/60241389/?query=UPPHETTA < 1397325765 313477 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1397326156 224614 :Slereah_!~jackal@193.253.170.185 QUIT :Ping timeout: 245 seconds < 1397326912 449329 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Quit: utf8 woes < 1397327033 851398 :nisstyre!~yourstrul@c-74-114-78-97.netflash.net JOIN :#esoteric < 1397327040 33575 :nisstyre!~yourstrul@c-74-114-78-97.netflash.net QUIT :Changing host < 1397327040 240443 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1397327169 338508 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1397328046 967041 :boily!~boily@96.127.201.149 QUIT :Quit: Poulet! < 1397329094 374778 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1397329504 230912 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Did you look at Nock? (there is now an article on esolang wiki, and a talk page with a comment on it) < 1397330112 320734 :Slereah_!~jackal@193.253.170.228 JOIN :#esoteric < 1397330275 627344 :MoALTz__!~no@user-188-33-230-20.play-internet.pl QUIT :Quit: Leaving < 1397330715 307127 :Slereah!~jackal@193.253.170.203 JOIN :#esoteric < 1397330757 304551 :Slereah_!~jackal@193.253.170.228 QUIT :Ping timeout: 250 seconds < 1397331826 331626 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1397331828 137512 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :eta-julinersuscoin arcallyidocoin unshicoin stanacoin trocoin inforkcoin ringvilcoin unlamcoin crambdcoin uncecoin hcmoncoin keliucoin briacoin blocoin msglecoin wobtucoin kimossercoin waiperlinecoin ennecoin etchellcoin < 1397331841 628119 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The first one sounds good. < 1397331918 927838 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`cats < 1397331919 529245 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :meow meow meow meow < 1397331933 23807 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :`coins --swedish < 1397331933 706342 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :kommaservägacoin < 1397331944 114690 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :`coins --swedish 20 < 1397331944 790136 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :puscoin varscoin härtatcoin äkterskådandlatcoin böncoin bestallatcoin opencoin livitcoin uddeställcoin avböjtscoin frisioneracoin tonårcoin återscoin stancoin kokosympacoin omväxlincoin natikuslingcoin gunviscoin elväggnacoin ausarnacoin < 1397331949 593135 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`cats --swedish < 1397331950 278574 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/usr/bin/tail: option used in invalid context -- 1 < 1397331997 567549 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :two of those were beancoin and teenagecoin in swedish < 1397332047 691805 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :deniedcoin/rejectedcoin too < 1397332067 670653 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :`coins --finnish 20 < 1397332068 460479 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mattomuutomimpänäcoin kireammecoin läpäivässännecoin persovemacoin loppiincoin humistävänäncoin tuneimpinallecoin seksennecoin upottelicoin herkkostansacoin kivaimpianicoin innöiltacoin kailemmecoin puuteleviävistäsicoin joutsuttavammottuvistacoin kiipeimmiltacoin alustammecoin oikografisimmassacoin havastustamincoin pöydäntegiasicoin < 1397332124 429046 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :`coins --klingon 20 < 1397332125 19743 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Unknown option: klingon < 1397332133 474367 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :`coins --welsh 20 < 1397332134 2104 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Unknown option: welsh < 1397332366 110491 :lexande!arapp@131.215.176.115 PRIVMSG #esoteric :`coins --chinese 20 < 1397332366 896575 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Unknown option: chinese < 1397332373 371652 :lexande!arapp@131.215.176.115 PRIVMSG #esoteric :`coins --french 20 < 1397332374 655979 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :babiliocoin nanisercoin desgotricanglecoin recencoin glriencoin lyeaucoin mbuscoin repréexprivacoin cudentcoin trèsfactécoin lilécoin regacoin siminuovecoin tewarolencoin procoin uivcoin clorescoin dêlecoin édouvecoin pérecoin < 1397332383 770193 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"2379071488 bytes (2.4 GB) copied, 22536.1 s, 106 kB/s" fastest CF card in the West < 1397332452 108601 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :only 13.6GB left of the 16GB card then? < 1397332549 710679 :nucular!~MOO@unaffiliated/nucular QUIT :Quit: Switching to phone < 1397332581 361727 :Sgeo|iPad!2f150cf0@gateway/web/freenode/ip.47.21.12.240 JOIN :#esoteric < 1397332633 50300 :Sgeo|iPad!2f150cf0@gateway/web/freenode/ip.47.21.12.240 PRIVMSG #esoteric :Stupidly went to another town' s AT&T store without my computer to wait two hours for my phone to be repaired < 1397332750 147364 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :at&t store, that exists? < 1397332798 53329 :Sgeo|iPad!2f150cf0@gateway/web/freenode/ip.47.21.12.240 PRIVMSG #esoteric :Yes. There's one near where I live and one in this other town that is an expensive cab ride away < 1397333058 60017 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: Something like that. I had to stop temporarily to reboot. < 1397333090 353348 :lexande!arapp@131.215.176.115 PRIVMSG #esoteric :Sgeo|iPad: what was wrong with the one where you live? < 1397333093 639898 :Sgeo|iPad!2f150cf0@gateway/web/freenode/ip.47.21.12.240 PRIVMSG #esoteric :!ping < 1397333095 754899 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: (Also for some reason the new 3.13.x kernel Debian had installed hangs in the "waiting for /dev to be fully populated..." at boot; the old 3.12.x worked.) < 1397333098 948550 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :Pong! < 1397333112 11744 :Sgeo|iPad!2f150cf0@gateway/web/freenode/ip.47.21.12.240 PRIVMSG #esoteric :They directed me to come to this one < 1397333116 564320 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Today's apparently the National Computer Problems Day.) < 1397333123 323488 :Sgeo|iPad!2f150cf0@gateway/web/freenode/ip.47.21.12.240 PRIVMSG #esoteric :Or leave phone with the. < 1397333132 502323 :Sgeo|iPad!2f150cf0@gateway/web/freenode/ip.47.21.12.240 PRIVMSG #esoteric :With them overnight which I didn't want to do < 1397333510 789924 :Sgeo|iPad!2f150cf0@gateway/web/freenode/ip.47.21.12.240 QUIT :Quit: Page closed < 1397333555 264652 :tromp_!~tromp@rtc35-154.rentec.com QUIT : < 1397333958 429703 :aergus!~aergus@pptp-212-201-79-99.pptp.stw-bonn.de JOIN :#esoteric < 1397334391 203079 :Slereah_!~jackal@80.10.159.118 JOIN :#esoteric < 1397334501 325708 :Slereah!~jackal@193.253.170.203 QUIT :Ping timeout: 250 seconds < 1397335375 864773 :heroux!~heroux@50708181.static.ziggozakelijk.nl QUIT :Ping timeout: 252 seconds < 1397335405 651054 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :fizzie: isn't the "problems" redundant there?! < 1397335680 403803 :heroux!~heroux@50708181.static.ziggozakelijk.nl JOIN :#esoteric < 1397335769 782271 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess so. After all, "computer" is a Navajo word meaning "the cause of problems". (Not true.) < 1397335902 111859 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ut oh, now the CF card reading has stopped. < 1397336199 371923 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Help I accidentally qualified for the google code jam < 1397336204 588278 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :None of you make the joke please < 1397336466 501576 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1397336553 82740 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :Taneb: damn. what joke? < 1397336614 72023 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :"is it good on code toast"/"i prefer code marmalade" etc < 1397336638 332348 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Didn't get phone fixed < 1397336648 699097 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :ah. food programming. spaghetti code. < 1397336652 657115 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :They said need to order a new part to do it safely < 1397336653 130767 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Me neither, Sgeo < 1397336687 457899 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I don't feel like ordering a new part, going to some place again, blah < 1397336693 182087 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Might just buy a new phone < 1397336706 809880 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :But I don't want to get into the habit of buying a phone just because the old one broke slightly < 1397336781 85577 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1397337117 945636 :Koen_!~Koen@mar75-2-81-57-225-162.fbx.proxad.net JOIN :#esoteric < 1397337131 774727 :Koen_!~Koen@mar75-2-81-57-225-162.fbx.proxad.net QUIT :Remote host closed the connection < 1397337840 923924 :tromp_!~tromp@rtc35-154.rentec.com JOIN :#esoteric < 1397339419 153992 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1397339478 184964 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1397339775 498190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Ok, seeing the reactive-banana guy act like an idiot makes me sad <-- yeah people who aren't perfect all the time are so stupid < 1397339802 744664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i noticed those comments too btw.) < 1397339859 349995 :Patashu[Zzz]!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1397339859 576916 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1397340411 126820 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1397340413 889703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* int-e ponders compiling a couple more ghcs <-- what, are you updating lambdabot to 6.8.2 already? :) < 1397340427 479873 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1397340431 656163 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*7.8.2 < 1397340448 105096 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think 6.8.2 was the first GHC version I used. < 1397340455 306649 :AnotherTest!~turingcom@94-224-29-210.access.telenet.be QUIT :Ping timeout: 250 seconds < 1397340581 601555 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :oerjan: already done < 1397340608 413782 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :19:32:27 --- lambdabot has quit [Quit: 7.8.1 -> 7.8.2] < 1397340616 811265 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :(CET) < 1397340620 319033 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :smashing < 1397340658 45107 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i vaguely recall lambdabot used to be several versions behind < 1397340660 312358 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :I was amazed, all dependencies already worked, I only had to patch lambdabot itself. < 1397340673 775245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay < 1397340723 967788 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they seem to be getting good at updating packages for big releases < 1397340726 599401 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :there was only this small problem related to role annotations: https://github.com/int-e/lambdabot/commit/dc7ee36480a3e2b4e1b25d0022de72b764029bf7 < 1397340816 63901 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :(I'm waiting for somebody to figure out that not being able to infer a representational role for the return value of monad transformers is actually quite annoying.) < 1397340824 822307 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Boxy14]]4 10 02http://esolangs.org/w/index.php?diff=39300&oldid=39299 5* 03Zerk 5* (+2358) 10Examples! < 1397340842 88512 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :well, s/monad transformer/concrete monad stack/ < 1397340899 635886 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: hm indeed, i'd have expected m to have the nominal role if any? < 1397340913 80426 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not that i really understand roles yet < 1397340921 268466 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :(Oh. LB a = StateT State IO a, for some datatype State) < 1397340935 402959 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :I want a to be representational there. < 1397340946 73630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right < 1397340986 92326 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :And it's not because the monad transformer uses 'm a' for unknown 'm', forcing the argument to be nominal (that's the only safe choice in general). < 1397341019 209737 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you can't force m to be representational instead? < 1397341029 542802 :aergus!~aergus@pptp-212-201-79-99.pptp.stw-bonn.de QUIT :Read error: Connection reset by peer < 1397341050 931139 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or maybe they simplified the role system so much they cannot express that. < 1397341055 722273 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :hmm. what do roles even mean for things of kind other than *? < 1397341063 799303 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :(i.e. plain types) < 1397341094 667075 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :or perhaps more relevantly, what does m ~ n mean if m,n : * -> *? < 1397341094 962705 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'd imagine that it should mean that m is something that is representational if its argument is < 1397341113 523457 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gah too much brain < 1397341206 280437 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose they'll be forced to implement role polymorphism eventually >:) < 1397341320 236582 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: you changed lim80! the end of an era < 1397341345 90837 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lambdabot: @run 123 < 1397341346 748383 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 123 < 1397341348 907234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what's lim80 < 1397341351 875280 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :whoa. < 1397341360 89244 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the two-space days are over. < 1397341364 829829 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: lambdabot's output limiting command < 1397341377 492516 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right, i thought he did that a while ago < 1397341385 439176 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: it's the thing that makes lambdabot cut off > [1..] far too early, but lets you flood the channel with N lines of error. < 1397341391 223381 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :elliott: but you get 80 characters on each line! < 1397341405 154804 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :rather than 80, total. < 1397341405 805249 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> [1..] < 1397341407 355348 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [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,... < 1397341415 978611 :idris-ircslave!~ircslave@dslb-094-221-220-083.pools.arcor-ip.net QUIT :Quit: Terminated < 1397341427 519161 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :D: < 1397341429 237483 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: now just rewrite @run to use repl and support user-local definitions and you'll be ahead of not only what I actually did, but my plans as well. < 1397341429 429406 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1397341431 869824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*:D < 1397341511 486627 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :elliott: that sounds like work though < 1397341526 520829 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: but it was sooooo fast < 1397341534 350059 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and soooo brittle. so many ways to crash that thing < 1397341603 899668 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Smartboxes14]]4 M10 02http://esolangs.org/w/index.php?diff=39301&oldid=39298 5* 03Doesthiswork 5* (+866) 10 < 1397341609 235016 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :oerjan: I did that in December last year. < 1397341623 517332 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep, that's a while ago ok < 1397341646 90252 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah, but I didn't look at the log until now. < 1397341675 819262 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@faq < 1397341676 10064 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://www.haskell.org/haskellwiki/FAQ < 1397341679 645322 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nice. < 1397341688 140546 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :elliott: the branch I'm actually using is called 'config' btw. that's where all the nasty changes are hidden. < 1397341697 572926 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :(like this change to @faq) < 1397341713 525185 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think you should upstream config stuff < 1397341727 239630 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there's no reason the default config and rc and stuff \bot ships with should differ from what actually runs on lambdabot < 1397341761 229280 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :I have to admit that the actual configuration is not even checked in. I should really do that. < 1397341791 716421 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :(and I have to clean up the utf8 changes very slightly and put them on master) < 1397341827 370927 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, you ported it to UTF-8?!?! < 1397341838 504369 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I started to do that but it was such a massive effort to untangle what's really a bytestring and what's really text < 1397341851 609661 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :at one point @run was broken because of double-encoding or something like that < 1397341871 298991 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :elliott: not really. ghc-7.8 now uses utf-8 quotes ... < 1397341875 295030 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :@type huh < 1397341876 378371 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: ‘huh’ < 1397341884 733788 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ah. < 1397341891 115305 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :like there. so I patched @eval and @type where it leaked through < 1397341891 885175 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so just a @run-local hack < 1397341899 946848 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no, @eval is something else entirely :) < 1397341901 452427 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :ah. @run. right < 1397341908 862898 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(it should stop being something else entirely and become @run instead) < 1397341917 594864 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(well, it's more like nothing else entirely.) < 1397341928 542855 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :I know, but I will probably continue to mix them up. < 1397341933 89086 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@evil plans < 1397341944 30555 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list eval < 1397341944 292282 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :eval provides: run let define undefine < 1397341948 183227 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@help eval < 1397341948 388929 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :eval. Do nothing (perversely) < 1397342010 957448 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Smartboxes14]]4 10 02http://esolangs.org/w/index.php?diff=39302&oldid=39301 5* 03Zerk 5* (+222) 10/* Implicit evaluation */ < 1397342043 812228 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Smartboxes14]]4 M10 02http://esolangs.org/w/index.php?diff=39303&oldid=39302 5* 03Zerk 5* (+73) 10Forgot to sign < 1397342519 693341 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :elliott: https://github.com/int-e/lambdabot/commit/e4c4c70c41f79d497bc59e381552d5b6b3c44d38 is the actual configuration < 1397342527 689639 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :(you may like the scripts) < 1397342562 280481 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wow, you refactored it and everything. < 1397342588 873942 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :online.rc, I mean. < 1397342606 694283 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is the nickserv password still, erm, *that*? < 1397342624 813681 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :I think so. There was no reason to change it. < 1397342664 36660 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :yes, I refactored online.rc, because I actually have two of them, one using a DNS name for freenode, and the other using an IP. I grew tired of keeping them in sync. < 1397342677 420847 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why two? < 1397342682 971058 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as in, what's the point of the IP one? < 1397342691 90588 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :IP works better when Freenode is under DDoS attack < 1397342695 236427 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ah < 1397342710 128163 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it should support a list of addresses for a server :) < 1397342770 680047 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :And the screen session setup should actually be invoked automatically when the server reboots. I have not tested that though. < 1397342784 548199 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: incidentally, what with the rate of owner turnover, I think lambdabot's 100% loyalty rating could use a reassessment. < 1397342796 531202 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :good point < 1397342806 396263 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :_|_% ?! < 1397342838 343159 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: make it pick a random number on startup! < 1397342861 795854 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :just move that into an -e rather than the .rc. < 1397343015 62060 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :hmm, I wonder if I have a binary clock, or if I'm remembering someone else's < 1397343017 463210 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :I guess laziness and purity wins that fight: It has already been evaluated to 100%, it'll stay that way. < 1397344177 103160 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :@google lamdu < 1397344177 712386 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :https://github.com/Peaker/lamdu < 1397344220 422442 :int-e!~noone@88.198.179.137 PRIVMSG #esoteric :shachaf: ^^^ HTTP does not support https out of the box, but at least it does not error out anymore. < 1397344237 763219 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http-conduit does https < 1397345785 967006 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Doesthiswork14]]4 10 02http://esolangs.org/w/index.php?diff=39304&oldid=39292 5* 03Oerjan 5* (+1) 10I don't normally edit user pages but that's a broken link. < 1397346547 497357 :Tritonio1!~Thunderbi@79.141.173.63 JOIN :#esoteric < 1397346556 199848 :Slereah_!~jackal@80.10.159.118 QUIT :Ping timeout: 245 seconds < 1397346639 524609 :Sprocklem!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1397346690 481734 :idris-ircslave!~ircslave@dslb-094-221-220-083.pools.arcor-ip.net JOIN :#esoteric < 1397346726 44037 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Ping timeout: 276 seconds < 1397347098 570089 :xpte!uid17782@gateway/web/irccloud.com/x-mcsjcxnjewjtjnan JOIN :#esoteric