< 1429056035 825030 :encapsulation!~Astoundin@c-75-67-50-34.hsd1.nh.comcast.net QUIT :Remote host closed the connection < 1429056590 390085 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1429056964 55697 :Gregor!dlopen@libdl.so NICK :Guest75683 < 1429057467 143148 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :i love how 'hey we'll slip a little infelicity into the type system for some sweet sweet sugar becomes' "oh fuck" < 1429057488 777419 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript14]]4 10 02http://esolangs.org/w/index.php?diff=42488&oldid=42476 5* 03Esowiki201529A 5* (+443) 10/* Example */ < 1429057501 793825 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :er the quotes there were somewhat random =) < 1429057554 705253 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :you know this is fixable. we typecheck these tuples correctly in ermine. < 1429057637 392500 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :baking the result of isConstraintKind k into the TypeRep should work about as well, shouldn't it? < 1429057639 624856 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :we explored something similar to the "limited sub-superkinding" system at the end of http://comonad.com/reader/2011/what-constraints-entail-part-1/ but switched to using another level of quantification like SPJ proposed to fix the need for sub-superkinding < 1429057759 524413 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :basically if you replace kind * # and Constraint with a single kind (Sort a b) -- where a and b can range over a very simple domain say {T, F}, then you can talk about * as Sort T T, Constraint as Sort T F, and # as Sort F T, then using quantifiers over a and b lets you talk about the ambiguity of the kinds involved. < 1429057783 454535 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :now type () has kind forall a. Sort T a < 1429057812 810634 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :type (,) has kind forall a. Sort T a -> Sort T a -> Sort T a < 1429057844 343300 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :type (->) has kind forall a b. Sort a T -> Sort b T -> Sort T T < 1429057848 424115 :bb010g!uid21050@gateway/web/irccloud.com/x-kmjlxisdmwqjcgkt JOIN :#esoteric < 1429057855 341655 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :and type inference proceeds as usual. < 1429057886 555578 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :Sort F F us currently uninhabited but would be used for 'unboxed constraints' if they ever existed. < 1429057887 554272 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: make T a variable and include unboxed typles as well? >:) < 1429057893 262625 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*u < 1429057904 973660 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :unboxed tuples fit into # now. < 1429057912 663487 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :so Sort F T covers them < 1429057934 301063 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i mean you could unify all three (,)s, maybe < 1429057959 307547 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :doesn't work, because you want * -> * -> # for (#,#) < 1429057971 253571 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :as well as # -> * -> # etc < 1429057983 229916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok < 1429058058 413520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :do you know what exactly isConstraintKind k checks in that fix? i'm wondering if it only hits the type being of kind Constraint itself, so (=>) and Ord unapplied still work? < 1429058084 152862 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :type (#,#) has kind forall a b. Sort a T -> Sort b T -> Sort F T < 1429058087 868237 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(not that they're much useful without constraints) < 1429058091 189419 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :no idea < 1429058122 904772 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript14]]4 10 02http://esolangs.org/w/index.php?diff=42489&oldid=42488 5* 03Esowiki201529A 5* (+69) 10/* 99 bottles of beer */ < 1429058135 829183 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :anyways the above encoding is enough to solve the problem for good, but its a lot more invasive. < 1429058637 805860 :Sgeo|web!44c2a85f@gateway/web/freenode/ip.68.194.168.95 JOIN :#esoteric < 1429058648 476880 :Sgeo|web!44c2a85f@gateway/web/freenode/ip.68.194.168.95 PRIVMSG #esoteric :Apparently replacing the HD of the model I want nulls and voids the warranty < 1429058650 584616 :Sgeo|web!44c2a85f@gateway/web/freenode/ip.68.194.168.95 PRIVMSG #esoteric ::( < 1429058696 248551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :suddenly the trac is sending out Cc:s again, maybe they fixed it < 1429058712 198727 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or well, i didn't get goldfire's comment < 1429058819 223686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, Show is still Typeable after the change. < 1429058825 509772 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Show Int isn't. < 1429058949 198563 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that means (,) _constructor_ is also Typeable. < 1429058965 863898 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact i suspect the only thing you cannot get around is () :) < 1429058977 206465 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :Sgeo|web: Your mistake there is getting a warranty < 1429058998 936576 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: how can (,) be Typeable if you can't even refer to it? < 1429059000 250889 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh and NullaryConstraints < 1429059002 191851 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :foiled < 1429059011 390899 :Sgeo|web!44c2a85f@gateway/web/freenode/ip.68.194.168.95 PRIVMSG #esoteric :orin: I've heard that this laptop might sometimes stop working, according to reviews < 1429059014 270097 :Sgeo|web!44c2a85f@gateway/web/freenode/ip.68.194.168.95 PRIVMSG #esoteric :So a bit scared by that < 1429059018 801509 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you can tease it out with some type equalities < 1429059029 420378 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, you managed to do that? < 1429059045 69441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think i did, maybe i should recheck < 1429059045 627543 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Something like what I was doing with Proxy to avoid KindSignatures? < 1429059057 246475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I thought I tried it here and it didn't work but I didn't try very hard. < 1429059179 679552 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let x :: forall a b c. (a b c ~ (Ord Int, Show Int)) => TypeRep; x = typeRep (Proxy a) in x < 1429059181 2243 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type ‘Expr -> proxy0 a0’ < 1429059181 56251 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type ‘Proxy t0’ < 1429059181 110614 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The function ‘Proxy’ is applied to one argument, < 1429059190 304754 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops hm < 1429059202 537948 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let x :: forall a b c. (a b c ~ (Ord Int, Show Int)) => TypeRep; x = typeRep (Proxy :: Proxy a) in x < 1429059203 928319 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (Typeable a) arising from a use of ‘typeRep’ < 1429059203 982693 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (a b c ~ (Ord Int, Show Int)) < 1429059203 982753 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : bound by the type signature for < 1429059209 885331 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1429059254 716629 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let x :: forall (a :: Constraint -> Constraint -> Constraint) b c. (a b c ~ (Ord Int, Show Int)) => TypeRep; x = typeRep (Proxy :: Proxy a) in x < 1429059256 98286 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (,) < 1429059280 651289 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah < 1429059300 451550 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :Sgeo|web: Did any hardware engineers take a look at the cases where it stops working? < 1429059322 772971 :Sgeo|web!44c2a85f@gateway/web/freenode/ip.68.194.168.95 PRIVMSG #esoteric :Not that I know of < 1429059353 129488 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why in the world does it require a kind signature there < 1429059366 310102 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :oerjan: ok, i posted a version of my encoding above to the trac < 1429059418 867170 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :Hmm... I would try to find a different model then. < 1429059476 734539 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: can you tease out Typeable (Ord Int) from HEAD by deriving the parts separately? < 1429059566 405432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you cannot, that means it breaks polykindedness of type application, which is about the only feature this new system had... < 1429059592 863386 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :of course, I tend to be conservative in my use of technology < 1429059602 226391 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Quit: Toodaloo < 1429059653 172695 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :so it depends on your tradeoff of risk of failure versus awesomeness of the laptop < 1429059697 742088 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :λ> let foo :: forall a b. (Typeable a, Typeable b) => Proxy a -> Proxy b -> Proxy (a b) -> TypeRep; foo _ _ _ = typeRep (Proxy :: Proxy (a b)) in foo (Proxy :: Proxy Ord) (Proxy :: Proxy Int) (Proxy :: Proxy (Ord Int)) < 1429059701 811192 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ord Int < 1429059704 365604 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1429059714 297888 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(typeRep (Proxy :: Proxy (Ord Int)) is an error) < 1429059913 390824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you could make a post about this, if () is the only thing effectively forbidden... < 1429060012 696208 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(being the only builtin NullaryConstraint) < 1429060051 290440 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it is still quite possible that's enough to close the exploit holes, but... < 1429060091 332346 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't _quite_ trust that yet. < 1429060109 206032 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's pretty fishy. < 1429060500 334146 :tertu!~tertu@143.44.78.174 JOIN :#esoteric < 1429060776 225190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: i thought -> could return unboxed values too... < 1429060886 61471 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdococ14]]4 M10 02http://esolangs.org/w/index.php?diff=42490&oldid=42484 5* 03Rdococ 5* (+54) 10 < 1429060935 970505 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: are you writing a post or should i do it < 1429060975 677169 :Froox!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net JOIN :#esoteric < 1429061195 265701 :Frooxius!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Ping timeout: 245 seconds < 1429061887 203147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I'm not writing it right now, at any rate. < 1429061897 768252 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 250 seconds < 1429062546 366710 :tertu!~tertu@143.44.78.174 QUIT :Ping timeout: 244 seconds < 1429062670 893438 :tertu!~tertu@143.44.78.174 JOIN :#esoteric < 1429062694 826384 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net NICK :MDream < 1429062698 613610 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: btw you _did_ test your example above in HEAD, not just lambdabot? < 1429062710 579081 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er < 1429062716 755669 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION reading comprehension
< 1429062735 10338 :tertu!~tertu@143.44.78.174 QUIT :Client Quit < 1429062963 927904 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 JOIN :#esoteric < 1429063047 80954 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 QUIT :Client Quit < 1429063180 559212 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdococ14]]4 M10 02http://esolangs.org/w/index.php?diff=42491&oldid=42490 5* 03Rdococ 5* (+99) 10 < 1429063311 809350 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Befunge14]]4 10 02http://esolangs.org/w/index.php?diff=42492&oldid=42179 5* 0368.39.240.189 5* (+123) 10/* Befunge-93 */ < 1429063423 643589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: posted hth < 1429063459 585462 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION barely resisted the urge to include the "shachaf> hth" line in the quote
< 1429063572 45818 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: The second line works in HEAD. < 1429063947 842329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nu pizza < 1429063950 208179 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay < 1429063988 318729 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i couldn't see any particular reason why it shouldn't when Ord worked, so. < 1429063999 682986 :vodkode!~vodkode@fl-71-1-14-66.dyn.embarqhsd.net QUIT :Remote host closed the connection < 1429064702 879561 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm the special property of () is that it's the only type that has ambiguous kind and TypeRep even if none of its arguments do. < 1429064761 897472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :everything else either includes kind information or has the output kind determined by the argument kinds < 1429064975 467983 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1429064980 893806 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm that's technically not what i wanted to say < 1429064994 940543 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(,) has ambiguous kind unapplied < 1429065046 909043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_however_, there is nothing that can take it as an unapplied argument which doesn't include kind information < 1429065098 352773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what about (,) hth < 1429065102 401616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy (Proxy :: '[] -> *)) < 1429065103 622228 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:33: parse error on input ‘*’ < 1429065117 184701 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah ... oh < 1429065122 300632 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: (Proxy :: '[] -> *)) < 1429065123 406178 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:29: parse error on input ‘'’ < 1429065132 537509 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: (Proxy :: [] -> *)) < 1429065133 681864 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:30: parse error on input ‘]’ < 1429065164 802693 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: (Proxy :: () -> *)) < 1429065166 101802 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expecting one more argument to ‘Proxy’ < 1429065166 155879 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected a type, but ‘Proxy’ has kind ‘() -> *’ < 1429065166 155928 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In an expression type signature: (Proxy :: () -> *) < 1429065173 643207 :Hijiri!~oneechan@2607:f720:f00:4043:9e4e:36ff:fe14:c0d8 PRIVMSG #esoteric :> typeRep (Proxy :: (Proxy (() -> *))) < 1429065174 755427 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:33: parse error on input ‘*’ < 1429065184 967188 :Hijiri!~oneechan@2607:f720:f00:4043:9e4e:36ff:fe14:c0d8 PRIVMSG #esoteric :> typeRep (Proxy :: (Proxy ('() -> *))) < 1429065186 166615 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:34: parse error on input ‘*’ < 1429065200 491070 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :did int-e turn off DataKinds < 1429065249 164123 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: Proxy (Proxy :: () -> *)) < 1429065250 476283 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Proxy < 1429065270 518157 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that looks a bit weak < 1429065282 38191 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: Proxy (Proxy :: '[] -> *)) < 1429065283 230847 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:35: parse error on input ‘'’ < 1429065296 859498 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: Proxy (Proxy :: [] -> *)) < 1429065298 69321 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:36: parse error on input ‘]’ < 1429065317 780237 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> typeRep (Proxy :: Proxy (Proxy :: [*] -> *)) < 1429065319 247639 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Proxy < 1429065324 842735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1429065341 438897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :still, what happened to the kind-sensitivity < 1429065355 578197 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> > typeRep (Proxy :: Proxy (Proxy :: [*] -> *)) == typeRep (Proxy :: Proxy (Proxy :: () -> *)) < 1429065356 821226 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input ‘>’ < 1429065362 433951 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: Proxy (Proxy :: [*] -> *)) == typeRep (Proxy :: Proxy (Proxy :: () -> *)) < 1429065363 711332 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : False < 1429065394 25907 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :λ> typeRepKinds $ typeRep (Proxy :: Proxy (Proxy :: [*] -> *)) < 1429065394 131468 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :[[] *] < 1429065494 147816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : what about (,) hth <-- ((,),) ? makes no sense hth < 1429065571 345863 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :((a,b),(c,d)) hth < 1429065575 83313 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it doesn't make much sense either way < 1429065606 627511 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i specifically said that the (,) argument had to not have arguments hth < 1429065624 112631 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because otherwise, a and b determine its kind < 1429065645 892603 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, right. < 1429065666 848407 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, do they? < 1429065672 85050 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(,) isn't polykinded. < 1429065944 982892 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :my gpu is at 82°C < 1429065950 322321 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is that good or bad or average? < 1429065953 114907 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this is a laptop < 1429066032 430104 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(,) has two kinds, * -> * -> * and Constraint -> Constraint -> Constraint < 1429066057 137040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it was more of a "no base case" sort of joke < 1429066060 362659 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it wasn't very good < 1429066073 884886 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :shachaf: probably fine < 1429066080 920781 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1429066108 245335 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :never mind < 1429066135 518916 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :I've run laptops at 130-140 for weeks on end with no problems < 1429066170 117920 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wtf < 1429066177 25978 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :omg < 1429066203 909063 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :how did you not burn your fingers < 1429066204 578126 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, this is the one case where you really _should_ say < 1429066207 19520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bbq < 1429066231 636828 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah but omg should come first then < 1429066242 142277 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :quintopia: I have a burn mark on my right hand from falling asleep with my hand on a laptop < 1429066253 832857 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats quintopia for breaking the joke on the first step -----###
< 1429066278 111653 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh...so this isnt a joke. just real idiocy. cool. < 1429066288 384083 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :yup < 1429066321 571768 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well not cool. the opposite of cool. < 1429066333 201086 :Hijiri!~oneechan@2607:f720:f00:4043:9e4e:36ff:fe14:c0d8 PRIVMSG #esoteric :hot? < 1429066333 753174 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :—————♯♯♯ < 1429066346 560840 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: your imitation falls flat hth < 1429066354 528931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1429066365 772712 :Hijiri!~oneechan@2607:f720:f00:4043:9e4e:36ff:fe14:c0d8 QUIT :Quit: WeeChat 1.0.1 < 1429066374 560282 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION isn't very sharp at the moment
< 1429066418 620306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i do think sharpening a swatter is overdoing it. < 1429066474 73705 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the real upgrade was in the handle < 1429066487 955645 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :ーー蟲蟲 < 1429066566 831632 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :now thats a powerful swatter < 1429066574 917638 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is it electrified < 1429066628 109545 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :no but this bugswatter is literalyy made of bugs < 1429066643 978789 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :looks mushy to me < 1429066702 700656 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :WWWWWWWWWWWWWWWWWWWWW < 1429066727 771072 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :mushi de ippai < 1429067762 905026 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hashes14]]4 10 02http://esolangs.org/w/index.php?diff=42493&oldid=42217 5* 03Esowiki201529A 5* (+21) 10 < 1429067916 487266 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. DISPLAYTITLE has restrictions. < 1429068080 961921 :Guest3780!~magician@31.203.146.52 JOIN :#esoteric < 1429068195 911646 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User talk:Esowiki201529A14]]4 10 02http://esolangs.org/w/index.php?diff=42494&oldid=42417 5* 03Esowiki201529A 5* (+27) 10 < 1429068243 42986 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User talk:Esowiki201529A14]]4 10 02http://esolangs.org/w/index.php?diff=42495&oldid=42494 5* 03Esowiki201529A 5* (-2) 10 < 1429068318 870164 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User talk:Esowiki201529A14]]4 10 02http://esolangs.org/w/index.php?diff=42496&oldid=42495 5* 03Esowiki201529A 5* (+6) 10 < 1429068871 889042 :password2!~password@197.77.44.18 JOIN :#esoteric < 1429069775 453987 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1429070816 745092 :vodkode_!~vodkode@fl-71-1-14-66.dyn.embarqhsd.net PART #esoteric :"Leaving" < 1429071377 541753 :Sgeo|web!44c2a85f@gateway/web/freenode/ip.68.194.168.95 PRIVMSG #esoteric :Is Bitlocker safe? < 1429071415 332852 :Sgeo|web!44c2a85f@gateway/web/freenode/ip.68.194.168.95 PRIVMSG #esoteric :As in, if I start using Bitlocker, does that mean it's safe for me to send an intact laptop to be serviced without worrying about techs getting access to passwords etc? < 1429071436 740142 :Sgeo|web!44c2a85f@gateway/web/freenode/ip.68.194.168.95 PRIVMSG #esoteric :Combine that with encrypted cloud backup, and I won't have to worry about losing my data if I do that < 1429071444 113118 :Sgeo|web!44c2a85f@gateway/web/freenode/ip.68.194.168.95 PRIVMSG #esoteric := no need to pull out HDs < 1429071762 916867 :Hijiri!~oneechan@2602:306:b85c:4820:1136:cba8:c96:20ba JOIN :#esoteric < 1429072355 990831 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/move14]]4 move10 02 5* 03Rdococ 5* 10moved [[02State10]] to [[Tar]]: Instead of just scrapping this and creating a similar one in its place... < 1429072645 907734 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Sounds like a lot of work just to avoid removing the drive. < 1429072672 705729 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Tar14]]4 10 02http://esolangs.org/w/index.php?diff=42499&oldid=42497 5* 03Rdococ 5* (-491) 10Changes to everything, making it harder < 1429073905 854788 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1429073946 579993 :mitchs!~canissimi@unaffiliated/canissimia QUIT :Quit: mitchs < 1429073973 810447 :Sgeo|web!44c2a85f@gateway/web/freenode/ip.68.194.168.95 PRIVMSG #esoteric :Avoiding removing the drive avoids voiding warranties and drop protection and the like < 1429074280 279054 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :AUGHH this is disgusting. because of these serrated discs, my dwrves have to haul each part of the troglodyte to the atomsmasher separately < 1429074382 719395 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :You could use bitlocker I suppose... I would just store all sensitive data on an SD card or something < 1429074587 25341 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :Hmm is it possible to configure firefox to put its password stuff on a removable drive? < 1429074673 837606 :mitchs!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1429074750 754741 :Hijiri!~oneechan@2602:306:b85c:4820:1136:cba8:c96:20ba PRIVMSG #esoteric :dwarfort? < 1429074765 906624 :Hijiri!~oneechan@2602:306:b85c:4820:1136:cba8:c96:20ba PRIVMSG #esoteric :not an answer to your question < 1429075071 355944 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :Yeah. I'm almost done draining the ocean < 1429075153 895191 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Tar14]]4 M10 02http://esolangs.org/w/index.php?diff=42500&oldid=42499 5* 03Rdococ 5* (-10) 10/* Structure */ < 1429075491 582523 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :like most DF endeavours, this involves dwarf sacrifice < 1429075711 570636 :variable!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1429075730 956450 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1429075740 191467 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :my FPS was down to 5, now it's up to 13 < 1429076131 16793 :password2!~password@197.77.44.18 QUIT :Ping timeout: 250 seconds < 1429076565 300758 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I wouldn't trust BitLocker against a government. I'd trust it against random tech support people. < 1429077000 38057 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you have to be sure they're sufficiently random hth < 1429077573 89782 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :oerjan: it can. (->) :: Sort a T -> Sort b T -> Sort T T -- Sort b T is the 'return' kind. the Sort T T is the kind of the function itself. < 1429077594 344763 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...duh. < 1429077610 620166 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :np < 1429077614 769944 :edwardk!sid47016@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :screwed with me at first too =) < 1429077674 596853 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am thinking that separating () :: Constraint and () :: * is all that is needed to stop this bug without outlawing Typeable constraints. < 1429077698 28234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although intuitively, tuples and -> vs. => should also be separated. < 1429077751 42354 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and also, as i commented, outlawing Typeable (() :: Constraint) is the only thing the fix does properly. < 1429077825 989329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Let me post that. < 1429078271 606058 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Tar14]]4 10 02http://esolangs.org/w/index.php?diff=42501&oldid=42500 5* 03Rdococ 5* (+1396) 10Added interpreter < 1429078304 180805 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 JOIN :#esoteric < 1429078336 814371 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :People say turing tarpit... < 1429078344 393089 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :I say finite state automaton tarpit. < 1429078487 215033 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdococ14]]4 10 02http://esolangs.org/w/index.php?diff=42502&oldid=42491 5* 03Rdococ 5* (-8) 10added tar < 1429078788 379479 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: i guess i made an alternative proposal or three. < 1429078840 704898 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and _that_ i got a Cc: this is so random... < 1429078848 87587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*a CC: for. < 1429079018 160393 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy::Proxy(Proxy::'[()]->*)) == typeRep (Proxy::Proxy(Proxy::[()]->*)) < 1429079019 754800 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:30: parse error on input ‘'’ < 1429079069 7267 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why doesn't lambdabot accept promoted datatypes. or wait isn't '[()] legal. < 1429079082 2984 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: dunno, try '[] () maybe < 1429079109 728370 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or ('[] ()) < 1429079113 997273 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or something < 1429079138 907915 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1429079150 796412 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you don't use that at the kind level, do you. < 1429079234 499703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy::Proxy '()) == typeRep (Proxy::Proxy ()) < 1429079236 79767 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : False < 1429079241 502625 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there you go < 1429079391 121023 :MoALTz!~no@78.11.179.104 QUIT :Quit: Leaving < 1429079519 411303 :Froox!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Quit: *bubbles away* < 1429079606 964358 :MoALTz!~no@78.11.179.104 JOIN :#esoteric < 1429079692 971305 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 250 seconds < 1429079737 853948 :vodkode_!~vodkode@fl-71-1-14-66.dyn.embarqhsd.net JOIN :#esoteric < 1429079934 681919 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :opinions on this? https://gist.github.com/izabera/b2dc6515c7cfb05fc500 < 1429080154 850147 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdococ14]]4 M10 02http://esolangs.org/w/index.php?diff=42503&oldid=42502 5* 03Rdococ 5* (-190) 10/* My esoteric programming languages */ < 1429080203 980821 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdococ14]]4 M10 02http://esolangs.org/w/index.php?diff=42504&oldid=42503 5* 03Rdococ 5* (-52) 10 < 1429080389 889210 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: your suggestion is more or less what i was thinking hth < 1429080408 121236 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :thx < 1429080414 929035 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hthx < 1429080450 873916 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe i should say it's more or less what i would've thought if i'd thought about it < 1429080455 690456 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok, maybe i should just say i agree < 1429080472 907443 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1429080840 276025 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :izabera: can you program it? < 1429080852 290198 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what? < 1429080863 130109 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :program in it < 1429080868 254200 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :can you program in it? < 1429080869 586726 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :in what? < 1429080881 750613 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that clock < 1429080883 69775 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :the code you linked to < 1429080887 802441 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :no it's a clock -_- < 1429080892 208944 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :lol < 1429080904 143406 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :it made me think of alarm clock radio < 1429080946 925342 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :my joke's funny, right? < 1429080966 191947 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :allot :P < 1429081007 238400 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :you know, if you smoke, you'll get http://esolangs.org/wiki/Tar and shameless self-advertisement in your body. < 1429081027 23962 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :...get it? it's called Tar? ...no? < 1429081064 712108 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :rdococ: apropos shameless self-advertisement, you mentioned string search and replace languages so i must point you at http://esolangs.org/wiki//// < 1429081082 425422 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it's so unfunny, it crossed the line where unfunny things become funny and is still unfunny there :p < 1429081087 684881 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :s////Thue < 1429081088 506093 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i did not invent it, but i did much of the rest.) < 1429081110 384914 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :s/s////Thue/s/////Thue < 1429081112 378061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :rdococ: /// is simpler hth < 1429081132 261324 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :string replacement is cool though < 1429081134 254505 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is sed not esoteric enough? < 1429081143 468627 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :rdococ: I don't get it. how is it related to tar (the program already called tar)? < 1429081150 949703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :izabera: too many useless operations hth < 1429081158 675927 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :b_jonas: what related to tar? < 1429081158 909281 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :rdococ: I understand why "Folders" is called that, but not "Tar" < 1429081167 151231 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :b_jonas: ah, long story < 1429081185 768637 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :do you just write hth after every sentence or what < 1429081187 431931 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :you see, it was originally called State and was a bit different < 1429081198 634950 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm going to assume it's a subtle comment on the nonexistence of Feather hth < 1429081210 811111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :izabera: not always hth < 1429081219 874337 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :izabera: you must be new here < 1429081253 645175 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :kinda < 1429081255 460043 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :the principle was the same, but it was clogged... what I mean by clogged is that it was an OISC with 4 arguments... not 2... < 1429081260 481604 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :so I reduced it and changed it < 1429081269 349292 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um, but you've taken a pretty good name < 1429081278 31004 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :I named it Tar, because it was a tarpit, but not a turing tarpit < 1429081279 738323 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I mean, what if someone actually does an esolang that somehow uses the tar program < 1429081287 937251 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :wait, what's the tar program? < 1429081299 53089 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol < 1429081304 482258 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh no, then we will need our wiki's second disambiguation page! < 1429081323 886070 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :so many name conflicts < 1429081325 259743 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i am tempted < 1429081326 897557 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` sed streetlight <<< reeter < 1429081336 846786 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lighter < 1429081338 44001 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :I could rename it Tarp. < 1429081354 194458 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :sounds fancier too < 1429081386 353419 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Tar14]]4 M10 02http://esolangs.org/w/index.php?diff=42505&oldid=42501 5* 03Rdococ 5* (+3) 10changing name to tarp < 1429081432 249698 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/move14]]4 move10 02 5* 03Rdococ 5* 10moved [[02Tar10]] to [[Tarp]]: possible naming conflicts with a possible esolang using some kind of 'tar program', whatever that is < 1429081463 362674 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :I'll also go and delete the redirect < 1429081488 323536 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Tar14]]4 10 02http://esolangs.org/w/index.php?diff=42508&oldid=42507 5* 03Rdococ 5* (-18) 10Blanked the page < 1429081490 738562 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :rdococ: you are using windows, aren't you? < 1429081497 895747 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :yes... unfortunately < 1429081507 15569 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that explains a lot < 1429081524 965869 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :I knew there was a .tar extension < 1429081537 110330 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :which could have caused a conflict < 1429081619 228113 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://sprunge.us/WMPa anyway this is a clock written in sed (honestly impressive) < 1429081706 901487 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdococ14]]4 10 02http://esolangs.org/w/index.php?diff=42509&oldid=42504 5* 03Rdococ 5* (+1) 10 < 1429081879 681590 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Tarp14]]4 10 02http://esolangs.org/w/index.php?diff=42510&oldid=42506 5* 03Rdococ 5* (+0) 10okay, now I'm renaming it to Harp.... for some weird reason < 1429081904 23476 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/move14]]4 move10 02 5* 03Rdococ 5* 10moved [[02Tarp10]] to [[Harp]]: ugh... make your mind up brain < 1429081974 901410 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdococ14]]4 10 02http://esolangs.org/w/index.php?diff=42513&oldid=42509 5* 03Rdococ 5* (+0) 10 < 1429082000 743019 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what next? Harpy? < 1429082000 847793 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :do you know what the goverment uses?! The http://esolangs.org/wiki/Harp machine!!! < 1429082001 51223 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :lol < 1429082009 881104 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :probably < 1429082023 546066 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :Tarp just sounded too sharp...!!! < 1429082107 860603 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Harp14]]4 M10 02http://esolangs.org/w/index.php?diff=42514&oldid=42511 5* 03Rdococ 5* (+17) 10/* Structure */ forgot a step in executing the only instruction in Harp < 1429082135 541285 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :harp darp < 1429082152 958177 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :if I am to create a derivative of Harp, it would be called Darp. < 1429082178 521856 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1429082267 323567 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/delete14]]4 delete10 02 5* 03Oerjan 5* 10deleted "[[02Tar10]]": Author request: content before blanking was: "#REDIRECT [[Tarp]]" < 1429082325 734510 :Sgeo|web!44c2a85f@gateway/web/freenode/ip.68.194.168.95 QUIT :Quit: Page closed < 1429082398 162818 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :rdococ: shall i just delete State and Tarp too? < 1429082408 313999 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :if you want < 1429082410 897222 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :izabera: foo () for ... done scares me < 1429082423 24406 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/delete14]]4 delete10 02 5* 03Oerjan 5* 10deleted "[[02State10]]": Author request: content was: "#REDIRECT [[Tar]]" (and the only contributor was "[[Special:Contributions/Rdococ|Rdococ]]") < 1429082424 284548 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :foo () { ... } >... too < 1429082435 464268 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :the function body must be a compound command < 1429082450 334952 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :{ } is a compound command, but so is for ... done < 1429082454 521659 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/delete14]]4 delete10 02 5* 03Oerjan 5* 10deleted "[[02Tarp10]]": Author request: content was: "#REDIRECT [[Harp]]" (and the only contributor was "[[Special:Contributions/Rdococ|Rdococ]]") < 1429082538 194387 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` -d? () [[ -d $1 ]]; -d? /bin && echo /bin is a directory < 1429082539 176826 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bash: -d: invalid option \ Usage: bash [GNU long option] [option] ... \ bash [GNU long option] [option] script-file ... \ GNU long options: \ --debug \ --debugger \ --dump-po-strings \ --dump-strings \ --help \ --init-file \ --login \ --noediting \ --noprofile \ --norc \ --posix \ --protected \ --rcfile \ --restricted \ --verbose \ < 1429082543 936167 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :o_o < 1429082547 346854 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what < 1429082555 463290 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that's a bug in HackEgo < 1429082571 965566 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :congrats........ < 1429082580 219090 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :who coded it? < 1429082594 245468 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` :; -d? () [[ -d $1 ]]; -d? /bin && echo /bin is a directory < 1429082595 179189 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/bin is a directory < 1429082604 623541 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :who is the author of HackEgo ? < 1429082646 533169 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`cat bin/` < 1429082647 123502 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :exec bash -c "$1" < 1429082651 985504 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :not really a bug in hackego < 1429082654 383152 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`run -d? () < 1429082656 306283 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bash: -d: invalid option \ Usage: bash [GNU long option] [option] ... \ bash [GNU long option] [option] script-file ... \ GNU long options: \ --debug \ --debugger \ --dump-po-strings \ --dump-strings \ --help \ --init-file \ --login \ --noediting \ --noprofile \ --norc \ --posix \ --protected \ --rcfile \ --restricted \ --verbose \ < 1429082658 566005 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :um < 1429082659 736587 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok nice < 1429082661 163099 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's a bug in HackEgo < 1429082666 773759 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :you need bash -c -- "$1" < 1429082672 152342 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well < 1429082674 568024 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :bin/` is written by me < 1429082680 946757 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : `run is built in though < 1429082686 231517 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so it's cool that it's broken < 1429082699 210640 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`run sed -i 's/-c/-c --/' 'bin/`' < 1429082715 137280 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` -d? () [[ -d $1 ]]; -d? /bin && echo /bin is a directory < 1429082718 126609 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bash: -d: invalid option \ Usage: bash [GNU long option] [option] ... \ bash [GNU long option] [option] script-file ... \ GNU long options: \ --debug \ --debugger \ --dump-po-strings \ --dump-strings \ --help \ --init-file \ --login \ --noediting \ --noprofile \ --norc \ --posix \ --protected \ --rcfile \ --restricted \ --verbose \ < 1429082719 790833 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1429082721 104773 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`` -d? < 1429082721 736062 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bash: -d?: command not found < 1429082729 120691 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there < 1429082733 15564 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :wait why did it error out? < 1429082735 136951 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` -d? () [[ -d $1 ]]; -d? /bin && echo /bin is a directory < 1429082736 35240 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't think this is exploitable though < 1429082736 935742 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/bin is a directory < 1429082740 395133 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :izabera: race condition < 1429082743 510908 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ok < 1429082748 20344 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's not exploitable < 1429082748 731875 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(since you could just as easily `run bash -... if you wanted) < 1429082752 897909 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's just broken code < 1429082771 262260 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@tell Gregor HackEgo `run foo should do bash -c -- foo rather than bash -c foo, or it breaks on `run -blah < 1429082771 316413 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1429082783 87168 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :the idea of having /bin/` is clever < 1429082866 731444 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :` < 1429082868 173901 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found < 1429083025 263209 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :izabera: `run doesn't actually need to be built in < 1429083034 693400 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ok < 1429083037 470945 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :since you could do the same trick as ` < 1429083041 359034 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :sure < 1429083055 290773 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the built-ins are `run, `revert and `help I think < 1429083069 62213 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you could make `help not built in, and you can make one of `run and `revert not built in < 1429083083 731671 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :since either would let you revert to an earlier revision if someone deletes everything < 1429083094 391037 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but if you make them both not built in then anyone can just delete everything with no way to fix it >_> < 1429083999 414562 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`` time rm -rf * < 1429084028 271841 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that wasn't needed < 1429084105 932625 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`revert < 1429084120 755822 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :~.~ < 1429084228 80377 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ \ real 0m0.871s \ user 0m0.340s \ sys 0m0.660s < 1429084285 453905 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`` time sleep 1 < 1429084303 181399 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ \ real 0m1.023s \ user 0m0.000s \ sys 0m0.000s < 1429084304 972997 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Done. < 1429084317 949952 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`` time sleep 0.3 < 1429084318 751471 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ \ real 0m0.321s \ user 0m0.000s \ sys 0m0.000s < 1429084336 322377 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`echo Done. < 1429084337 277568 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Done. < 1429084344 936378 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`run var=3 < 1429084346 963736 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1429084349 342149 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`run echo "$var" < 1429084350 319453 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1429084352 139588 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ok < 1429084362 643382 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`run echo $var < 1429084363 260960 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1429084363 777711 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: can't you fix things with `/... commands anyway? < 1429084381 99237 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: hmm... I guess < 1429084386 237585 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` TIMEFORMAT='real: %lR, user: %lU, sys: %lS'; time sleep 0.3 < 1429084389 663355 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you could do `/revert or whatever if that was added < 1429084394 359675 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :real: 0m0.316s, user: 0m0.000s, sys: 0m0.000s < 1429084399 307199 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :why does it take so long ._. < 1429084401 899613 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok run and help should become non-primitives then < 1429084406 755500 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`` time sleep 1.5 < 1429084409 744484 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ \ real 0m1.524s \ user 0m0.000s \ sys 0m0.000s < 1429084409 798396 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you don't need to revert rm -rf * < 1429084411 778757 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :since it doesn't work < 1429084413 702405 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`help < 1429084415 486000 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1429084419 833232 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :``time sleep 1.48 < 1429084420 450265 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `time: not found < 1429084426 592013 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`` time sleep 1.48 < 1429084428 695712 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ \ real 0m1.512s \ user 0m0.000s \ sys 0m0.000s < 1429084435 629584 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`` time sleep 1.46 < 1429084437 730803 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ \ real 0m1.483s \ user 0m0.000s \ sys 0m0.000s < 1429084465 513453 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :izabera: because it also starts up user mode linux < 1429084490 898093 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` sed -i "s/^/TIMEFORMAT='real: %lR, user: %lU, sys: %lS' /" bin/\` < 1429084495 12899 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1429084498 952686 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` time echo x < 1429084499 639042 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :real: 0m0.001s, user: 0m0.000s, sys: 0m0.000s \ x < 1429084537 958062 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Shouldn't that be in .bashrc < 1429084549 179319 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :.bashrc is only sourced in interactive shells < 1429084576 718365 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: okay but `fetch would still be built in < 1429084593 591236 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: I guess it could just get an HTTP proxy that lets you do what `fetch does but no more? < 1429084599 218755 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. GET only, filesize limit, etc. < 1429084608 735401 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :rate-limited somehow < 1429084621 502461 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`curl < 1429084624 424376 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :curl: try 'curl --help' or 'curl --manual' for more information < 1429084629 457079 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :curl can post < 1429084675 198419 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`curl --help < 1429084675 848457 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Usage: curl [options...] \ Options: (H) means HTTP/HTTPS only, (F) means FTP only \ --anyauth Pick "any" authentication method (H) \ -a, --append Append to target file when uploading (F/SFTP) \ --basic Use HTTP Basic Authentication (H) \ --cacert FILE CA certificate to verify peer against (SSL) \ -- < 1429084689 805038 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` curl -F 'aringa=<-' arin.ga <<< 'hello from #esoteric' < 1429084690 888176 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Failed to connect to socket 2. \ \ curl: (52) Empty reply from server < 1429084694 298929 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :aww < 1429084706 693314 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`dig 8.8.8.8 < 1429084714 157395 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: dig: not found < 1429084714 821263 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`ping 8.8.8.8 < 1429084715 476686 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :pong < 1429084735 15968 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :pong < 1429084786 919827 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the curl proxy it has is limited to a few websites < 1429084788 472555 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :I wish there were a way to adver...hang on... why havent I added any of my languages to the list of languages... other than that old rotten FileCode that I hate < 1429084794 924247 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so you couldn't replace `fetch with it < 1429084801 726540 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :mmh < 1429084814 531734 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`curl -H 'esolangs.org' < 1429084815 188939 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :curl: no URL specified! \ curl: try 'curl --help' or 'curl --manual' for more information < 1429084825 672293 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`curl -H 'http://esolangs.org' < 1429084826 225899 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the ideal would be that the entire bot was modifiable < 1429084826 984512 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :curl: no URL specified! \ curl: try 'curl --help' or 'curl --manual' for more information < 1429084829 244887 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but that would be so usable < 1429084833 120988 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`curl -H http://esolangs.org < 1429084839 196819 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe you could implement it as a nomic-style voting system < 1429084844 563504 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :curl: no URL specified! \ curl: try 'curl --help' or 'curl --manual' for more information < 1429084848 16533 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :with veto power given to some people < 1429084853 300935 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`curl --help < 1429084853 917263 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Usage: curl [options...] \ Options: (H) means HTTP/HTTPS only, (F) means FTP only \ --anyauth Pick "any" authentication method (H) \ -a, --append Append to target file when uploading (F/SFTP) \ --basic Use HTTP Basic Authentication (H) \ --cacert FILE CA certificate to verify peer against (SSL) \ -- < 1429084856 352882 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that would be cool... I should write that < 1429084866 65180 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :rdococ: use `run < 1429084869 24845 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1429084875 517388 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what you are doing is like curl '-F http://esolangs.org' < 1429084921 595797 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`run curl -F http://esolangs.org < 1429084922 350850 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Warning: Illegally formatted input field! \ curl: option -F: is badly used here \ curl: try 'curl --help' or 'curl --manual' for more information < 1429084929 141380 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`run curl -H http://esolangs.org < 1429084929 999676 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :curl: no URL specified! \ curl: try 'curl --help' or 'curl --manual' for more information < 1429084936 746647 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`run curl -H 'http://esolangs.org' < 1429084937 541797 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :curl: no URL specified! \ curl: try 'curl --help' or 'curl --manual' for more information < 1429084939 780027 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :ugh < 1429084981 780224 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 M10 02http://esolangs.org/w/index.php?diff=42515&oldid=42340 5* 03Rdococ 5* (+11) 10/* H */ added Harp < 1429084997 548410 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`/bin/bash -cecho hi #Testing < 1429084998 205429 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/bin/bash: - : invalid option \ allexport off \ braceexpand on \ emacs on \ errexit on \ errtrace off \ functrace off \ hashall on \ histexpand on \ history on \ ignoreeof off \ interactive-comments on \ keyword off \ monitor off \ noclobber off \ noexec < 1429085004 494914 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`/bin/bash -c echo hi #Testing < 1429085005 282095 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/bin/bash: - : invalid option \ Usage: /bin/bash [GNU long option] [option] ... \ /bin/bash [GNU long option] [option] script-file ... \ GNU long options: \ --debug \ --debugger \ --dump-po-strings \ --dump-strings \ --help \ --init-file \ --login \ --noediting \ --noprofile \ --norc \ --posix \ --protected \ --rcfile \ --restrict < 1429085014 582202 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok bash cannot be used that way < 1429085020 998236 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` which perl < 1429085035 573450 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/usr/bin/perl < 1429085035 627691 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and then it broke. < 1429085046 762900 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`/usr/bin/perl -eprint "Hi!" < 1429085059 339242 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 M10 02http://esolangs.org/w/index.php?diff=42516&oldid=42515 5* 03Rdococ 5* (+41) 10/* F */ added Folder [not Folders] < 1429085060 174854 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hi! < 1429085202 840391 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi #esoteric! do you have any idea what the best way is to implement a program whose control structure between basic blocks looks like this?: http://nethack4.org/pastebin/ick-parser-substate-example.png < 1429085208 301669 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because I don't, really < 1429085219 853869 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :trying to render that thing in terms of if and while doesn't work without extra variables < 1429085235 797494 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :goto < 1429085252 715621 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was definitely considering it < 1429085255 295975 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION sees "ick-parser" and starts to back away...
< 1429085255 397295 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :goto state_6 < 1429085269 65446 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the context is that I'm trying to write a YACC impl that produces human-like output code < 1429085274 573439 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Icky parser substrate < 1429085275 396783 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I have no idea what a human would write in this situation ;-) < 1429085305 17647 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is admittedly an extreme example, in most of the YACC grammars I tried the substate control graphs are much simpler < 1429085317 217184 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :I would use goto or just have an integer state variable < 1429085409 445636 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :(If the states have more meaning than just numbers, I might use labels or state number constants that reflect the meaning) < 1429085559 761220 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think I could probably use more meaningful names < 1429085579 938484 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a state variable seems like a bad idea, that'd basically leave you in a for-switch situation < 1429085595 817403 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :still, I don't think you'd do the whole thing as a goto < 1429085603 50356 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. 10 and 13 both look like if statements < 1429085618 513156 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :21/22 would be perfect for a while, except that it has two entry points < 1429086021 41261 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :Why not plain functions < 1429086035 207305 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :stack depth < 1429086065 518293 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :Tail calls < 1429086078 836366 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :functions + tailcalls is basically equivalent to a nest of gotos < 1429086127 180135 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :The flow tends to be clearer IME, but yes of course < 1429086127 430304 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my current plan is to use the goto style in C if the control flow is sufficiently complex that you can't figure out what's going on, and replace it with mutually recursive tailcalls if we're using a functional language < 1429086187 60364 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :ais523: I have a programming language called Harp... it looks like it might be perfect for your needs. Here: http://esolangs.org/wiki/Harp < 1429086196 126661 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :it even has an interpreter, lol < 1429086214 435544 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :rdococ: to write my YACC impl in? or as a language to target? < 1429086243 111394 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :have a look < 1429086259 483484 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also that can't possibly be more powerful than an FSA, it only has one symbol of memory < 1429086267 232725 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :oh... < 1429086277 123301 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't think it's less powerful either, but that's less obvious < 1429086283 659859 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :it's as powerful as a finite state machine < 1429086303 584552 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right, yes, it's exactly as powerful as a finite state machine < 1429086311 926303 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because you can just write a list of transitions after each label < 1429086339 499909 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :no, if you read the specification of Harp... < 1429086403 94727 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :it doesnt even have the concept of states. < 1429086419 816551 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :rdococ: yes it does, just indirectly < 1429086426 288259 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :well, yes, indirectly < 1429086429 618485 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :but I meant directly < 1429086433 756566 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :http://arin.ga/xtkSZO <-- this is the sort of code you get if you take the state variable approach < 1429086459 777691 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: for that particular example, only two states are in any loop (21 and 22), so you could implement it as a function for each state and then a single function with a while loop for those two states < 1429086475 623185 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :each instruction acts as a state whose transitions are listed on the subsequent lines, up to the next unconditional jump, ignoring any duplicates of previous transitions < 1429086511 331217 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: 21/22 would blatantly be a while loop if not for the fact you can enter it either way round (which says a lot about INTERCAL's syntax) < 1429086539 686822 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :orin: I don't find that very readable < 1429086555 682615 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :The goto approach would have been better < 1429086556 607 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also that's basically a for/switch which is an antipattern < 1429086559 731617 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: oh... right < 1429086576 1023 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, you literally have no advantage over goto there, and you're using goto anyway < 1429086585 738743 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so for that you probably need a single state variable there, or else duplicate one of those states < 1429086591 516576 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1429086597 301298 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1429086627 801370 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: mind you, when I write code by hand, I use state variables a lot < 1429086639 198119 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and I encourage state variables in while loops as good style < 1429086643 15449 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :let me show an example < 1429086653 974427 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've been known to do that too, especially if there's a bunch of common code each time round the loop < 1429086658 455522 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ayacc's parser works like that atm < 1429086668 104372 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't meen the balatnt for{switch{}} kind of state variables of course < 1429086672 108567 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I couldn't sensibly autogenerate it for obvious reasons, so I wrote a hand-coded parser) < 1429086681 221689 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :just variables for quitting a loop or skipping some part of the code etc < 1429086806 517741 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :example for quitting loops early with state variables: http://russell2.math.bme.hu/~ambrus/sc/info1/info1-gy4.html#cell_16 < 1429086848 62624 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`ping < 1429086848 714114 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :pong < 1429086858 976455 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :wow, internet still working < 1429086882 867978 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :my internet shouldn't be alive < 1429086943 858477 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :anyway, it'd be easy to implement that diagram in Harp, as long as you don't care about the consistency of state names < 1429086963 515250 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :I'd like to see someone use it < 1429086970 71526 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :or talk about it < 1429086971 599218 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :or comment on it < 1429086984 906780 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :`ping < 1429086985 387192 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :pong < 1429086992 885883 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1429086999 902267 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well it's basically just a compression scheme for FSMs, and those tend not to get talked about much < 1429087009 696814 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1429087039 406580 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hehe "tend not to get talked about much" < 1429087041 82867 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :what about my other esolang called Folder (not Folders < 1429087046 803217 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :lol < 1429087058 392521 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait that reminds me of this question < 1429087064 856914 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :I wonder what an infinite state machine would be like < 1429087100 742045 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :http://cstheory.stackexchange.com/q/22493/8067 "Are there any open problems left about DFAs?" < 1429087111 309553 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's some nice answers < 1429087154 298745 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :rdococ: we thought Folder was interesting, because its power most likely depends on filesystem features < 1429087252 344303 :rdococ_!95fee0f4@gateway/web/freenode/ip.149.254.224.244 JOIN :#esoteric < 1429087302 750793 :rdococ_!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :I seriously need ideas for a more interesting language < 1429087308 621489 :rdococ_!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :I had an idea for an infinite state machine < 1429087324 361087 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 QUIT :Ping timeout: 246 seconds < 1429087330 504913 :rdococ_!95fee0f4@gateway/web/freenode/ip.149.254.224.244 NICK :rdococ < 1429087341 853699 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :hmm < 1429087373 538111 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Transfinite state machines < 1429087519 363332 :rdococ_!95fee0f4@gateway/web/freenode/ip.149.254.224.244 JOIN :#esoteric < 1429087539 593504 :rdococ_!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :so, would an infinite state machine be turing complete < 1429087552 527641 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :depends on how it's defined < 1429087556 795450 :wieldablesquid!~evn@c-67-201-217-24.reshall.wwu.edu JOIN :#esoteric < 1429087557 45247 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there are certainly constructions that are < 1429087566 521187 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the best known is finite state machine + two counters < 1429087584 540092 :rdococ_!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :well, if you could define an infinite number of states with regular expressions or token wildcards < 1429087596 82656 :rdococ_!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :like string $1 + concat $2 => string $1$2 < 1429087597 299546 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 QUIT :Ping timeout: 246 seconds < 1429087605 664343 :rdococ_!95fee0f4@gateway/web/freenode/ip.149.254.224.244 NICK :rdococ < 1429087643 836681 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :my internet will be intermittent because I'm in a car < 1429087672 791936 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :"infinite state machine" is really vague. almost anything is an infinite state machine if it runs in discrete time, which applies to most of what non-esoteric computer science considers. < 1429087699 813888 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 PRIVMSG #esoteric :true < 1429087730 394841 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's so general you can't really say anything useful about it, which is why we restrict it by the chomsky hierarchy or other ways < 1429087758 878248 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Wroom < 1429087772 790036 :iamevn_!~evn@c-67-201-217-24.reshall.wwu.edu QUIT :Ping timeout: 264 seconds < 1429087825 62175 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1429087825 278942 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1429087954 382052 :rdococ!95fee0f4@gateway/web/freenode/ip.149.254.224.244 QUIT :Ping timeout: 246 seconds < 1429087965 870888 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :Oh, I forgot: here is the same code, refactored with goto: http://arin.ga/fyyppe < 1429088019 227055 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's still not that readable < 1429088023 185159 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1429088025 589009 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's a bit better < 1429088035 521910 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at least now the fact that the flow is optimizable is more obvious < 1429088040 840427 :rdococ!95feea8c@gateway/web/freenode/ip.149.254.234.140 JOIN :#esoteric < 1429088061 747575 :rdococ!95feea8c@gateway/web/freenode/ip.149.254.234.140 PRIVMSG #esoteric :how am I connected at all < 1429088065 731930 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e,g, you do things like if (...) goto longlongnum; else {...; goto retry;} longlongnum: < 1429088082 248112 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is one of the most bizarre ways to write an if statement I've ever seen :-) < 1429088105 186364 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :lol. < 1429088115 632935 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :where is the retry label? < 1429088125 448632 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :at top < 1429088153 398750 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :this code is scary < 1429088164 277987 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :is this lexing C or something? < 1429088167 905631 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh by the way < 1429088197 25658 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 255 seconds < 1429088201 455616 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :It is reading in arbitrary C structures, in an ad-hoc format similar to C literals < 1429088223 871792 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I think yacc not reading the lookahead when it's not needed would even make implementing a classical C89 compiler simpler, < 1429088280 355054 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :for it would use that hack where the lexer generates a different token for type identifiers than for function/object identifiers, and you may need that distinction very early after a type is declared < 1429088317 885909 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: right, I've implemented it to never read a token unless it's needed < 1429088320 515050 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so it would make sense to me that yacc had always worked that way < 1429088323 101230 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because POSIX requires that < 1429088324 644122 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yep < 1429088326 75347 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even though it's inconsistent < 1429088345 506115 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there are other examples like foo: bar {midrule} BAZ < 1429088365 594781 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, well < 1429088391 228083 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :suppose I do "a : b {foo} C | b {bar} D", now you have to read in the C or D to know whether to run foo or bar < 1429088418 930021 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :brace blocks in the middle of the rule can be useful in some sort of grammars, but it's really just syntacic sugar < 1429088437 427260 :rdococ!95feea8c@gateway/web/freenode/ip.149.254.234.140 QUIT :Ping timeout: 246 seconds < 1429088438 841687 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I know < 1429088468 88528 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ayacc desugars it in the way recommended by POSIX, to "a : b #1 C | b #2 D; #1 : {foo}; #2 : {bar}" < 1429088485 182927 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :luckily this don't read the lookahead rule doesn't make the yacc implementation too complicated, because if you know how to generate the pushdown automaton tables, you probably also know how to determine when you need the lookahead < 1429088490 485417 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :where I start internally-generated identifiers with # because that's normally an illegal character in yacc identifiers, = no clashes < 1429088527 947597 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, the check is "is every transition on a terminal in this state an identical reduce action" < 1429088537 318966 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah... and yacc identifiers can contain a hyphen so you can't just use them verbatim inside the C function names you generate < 1429088566 114961 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :technically you could check shifts too, but a) that never happens with the LALR(1) algorithm unless there's only one terminal there, b) the act of shifting requires reading the terminal anyway < 1429088570 115396 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, meeting < 1429088572 50199 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: meeting < 1429088582 204542 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um what? < 1429088611 252711 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :I assume it is workday time where ais is. < 1429088612 343550 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't think (b) is valid because you need to execute a brace block before the reading if there's only one shift action? < 1429088634 407857 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure it's workday time. he's in the same continent as me. < 1429088679 960477 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :Where I am it is 5 in the morning, e.g. crawl home o clock < 1429088681 786889 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :orin: does that lex C99 hexfloats too? < 1429088685 938656 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :no < 1429088739 969325 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :I could probably modify it, but it probably doesn't even work perfectly for regular floats anyway < 1429088745 171190 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(also C++11 suffixed user literals, C++11 literal strings, and the three flavors of unicode strings...) < 1429088760 185095 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :orin: but hex floats are _easier_ than regular floats < 1429088767 657185 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :regular meaning decimal < 1429088769 996665 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :really? < 1429088780 901568 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, because there's no tricky precision issues < 1429088788 963351 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the representation is binary < 1429088805 551058 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :for reading decimal floats, it's hard to convert from decimal to binary without roundoff errors < 1429088812 496517 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :ohhhh.... that makes sense now I think about it < 1429088818 823767 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :for hex floats you don't have that problem, it's easier to convert < 1429088842 755378 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I mean, it's still not trivial, I'd still recommend most people to use a library function from a trusted well-written library instead of parsing themselves < 1429088846 368405 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but it's definitely easier < 1429088904 167038 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :This code reads a format taht is a bit more permissive than C... for example, if the number begins with a hex digit you don't need a prefix. 0xff xff and ff are all ok < 1429088951 231174 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so < 1429088956 912169 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :but 1f will give you 25 < 1429088958 150454 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ff*3 isn't the variable ff*3 < 1429088967 464125 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but 255*3? < 1429089009 962563 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :orin: what? isn't 1f supposed to be the same as 1.1f in C? < 1429089021 977263 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :let me ask geordi < 1429089035 277658 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm no it's not < 1429089038 479832 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sorry < 1429089048 402654 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :Hm? I thought it would just be an error < 1429089058 926370 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, it's an error < 1429089068 825767 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or a C++11 user-defined literal < 1429089094 903719 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :lol. what happens if two packages deifne the same literal? < 1429089209 743766 :orin!~oren@65.94.97.99 PRIVMSG #esoteric :Hmm.. I guess it is handled as a duplicate definition of operator "" < 1429089884 997160 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :orin: it's more complicated than that < 1429090121 38960 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :because it's namespaced too < 1429092193 142833 :MDream!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net NICK :MDude < 1429092767 7287 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1429092767 112803 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1429092967 510153 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1429093184 91160 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 256 seconds < 1429093262 54416 :dianne!~diannes@unaffiliated/dianne QUIT :Quit: byeannes < 1429094354 198672 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1429095853 550001 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@karma boily < 1429095853 605741 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :boily has a karma of 109 < 1429095857 418624 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@karma < 1429095857 474148 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :You have a karma of 1 < 1429095859 230782 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::( < 1429095900 504590 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah < 1429095910 850583 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :boily-- < 1429095913 842493 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@karma boily < 1429095913 898036 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :boily has a karma of 108 < 1429095917 241013 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::p < 1429095944 652719 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@karma C < 1429095944 755224 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :C has a karma of 2 < 1429095946 494747 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :C++ < 1429095947 745579 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@karma < 1429095947 801088 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :You have a karma of 1 < 1429095950 418095 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@karma C < 1429095950 473632 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :C has a karma of 2 < 1429095953 933225 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm. < 1429095963 415623 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :weird < 1429095967 24531 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :C-- < 1429095968 747791 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@karma C < 1429095968 848932 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :C has a karma of 2 < 1429096486 50118 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :mrhelloman. < 1429096515 317684 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :uhm. I feel a little bit disturbed to be at 108. < 1429097080 168599 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@karma mroman < 1429097080 222897 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :mroman has a karma of 1 < 1429097149 285816 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1429097157 656534 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :... < 1429097164 913733 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Plugin `metar' failed with: <> < 1429097170 265366 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric ::( < 1429097173 25418 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... fun < 1429097175 331660 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar LOWI < 1429097175 672367 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :LOWI 151120Z VRB02KT CAVOK 20/01 Q1021 NOSIG < 1429097179 472752 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar CYUL < 1429097179 678632 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYUL 151100Z 21007KT 30SM FEW050 FEW160 SCT240 04/M01 A3020 RMK SC1CI1CI2 SC TR SLP229 < 1429097186 636052 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :thint-e. < 1429097192 746405 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I didn't do anything. < 1429097205 817636 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION glares at lambdabot
< 1429097214 935150 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess the webserver was slow to answer < 1429097605 189386 :dianne!~diannes@unaffiliated/dianne JOIN :#esoteric < 1429097931 757080 :boily!~alexandre@96.127.201.149 QUIT :Quit: LETHARGIC CHICKEN < 1429098027 606450 :nszceta!~nszceta@109.232.227.133 JOIN :#esoteric < 1429099637 798375 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :threaded brainfuck https://github.com/scotchfield/brainfuck_py < 1429099666 644640 :nszceta!~nszceta@109.232.227.133 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1429099711 138114 :idris-bot!~ircslave@dslb-092-072-169-098.092.072.pools.vodafone-ip.de QUIT :Quit: Terminated < 1429099727 31115 :idris-bot!~ircslave@dslb-092-072-169-098.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1429099808 75946 :idris-bot!~ircslave@dslb-092-072-169-098.092.072.pools.vodafone-ip.de QUIT :Client Quit < 1429099824 805500 :idris-bot!~ircslave@dslb-092-072-169-098.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1429101212 489395 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 245 seconds < 1429102432 259434 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Ping timeout: 256 seconds < 1429103763 303191 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net JOIN :#esoteric < 1429104141 57667 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1429104161 310104 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1429104169 980946 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1429104232 876673 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Client Quit < 1429104445 985499 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 245 seconds < 1429104457 321421 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1429104730 314098 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hello world program in esoteric languages14]]4 10 02http://esolangs.org/w/index.php?diff=42517&oldid=42456 5* 03Esowiki201529A 5* (+56) 10/* Gibberish */ < 1429104814 499902 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hello world program in esoteric languages14]]4 10 02http://esolangs.org/w/index.php?diff=42518&oldid=42517 5* 03Esowiki201529A 5* (+0) 10/* Gibberish/Javascript */ < 1429105446 4181 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1429105631 701744 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript14]]4 10 02http://esolangs.org/w/index.php?diff=42519&oldid=42489 5* 03Esowiki201529A 5* (+254) 10 < 1429105705 714979 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript14]]4 10 02http://esolangs.org/w/index.php?diff=42520&oldid=42519 5* 03Esowiki201529A 5* (+10) 10/* Escape sequence */ < 1429105876 290292 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript14]]4 10 02http://esolangs.org/w/index.php?diff=42521&oldid=42520 5* 03Esowiki201529A 5* (+33) 10/* Escape sequence */ < 1429105901 814364 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript14]]4 10 02http://esolangs.org/w/index.php?diff=42522&oldid=42521 5* 03Esowiki201529A 5* (+3) 10/* Escape sequence */ < 1429106049 942334 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript14]]4 10 02http://esolangs.org/w/index.php?diff=42523&oldid=42522 5* 03Esowiki201529A 5* (+38) 10/* Escape sequence */ < 1429106235 84235 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1429106354 268829 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript14]]4 10 02http://esolangs.org/w/index.php?diff=42524&oldid=42523 5* 03Esowiki201529A 5* (+149) 10/* Escape sequence */ < 1429106512 838105 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript14]]4 10 02http://esolangs.org/w/index.php?diff=42525&oldid=42524 5* 03Esowiki201529A 5* (+39) 10 < 1429106553 811822 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript14]]4 10 02http://esolangs.org/w/index.php?diff=42526&oldid=42525 5* 03Esowiki201529A 5* (+5) 10/* See also */ < 1429106963 127278 :villasukka!villasukka@aulis.sange.fi QUIT :Ping timeout: 265 seconds < 1429107765 924146 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript/HTML interpreter14]]4 N10 02http://esolangs.org/w/index.php?oldid=42527 5* 03Esowiki201529A 5* (+7347) 10Created page with "== HTML code ==