< 1418601610 221554 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t flip < 1418601610 994421 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> b -> c) -> b -> a -> c < 1418601631 395444 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@let z=text"> z" < 1418601633 77738 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1418601633 638631 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> z < 1418601634 734322 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Ambiguous occurrence ‘z’ < 1418601634 913491 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : It could refer to either ‘L.z’, defined at L.hs:154:1 < 1418601634 913620 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : or ‘Debug.SimpleReflect.Vars.z’, < 1418601639 825965 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :argh < 1418601641 722633 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@undef < 1418601641 909242 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Undefined. < 1418601648 800940 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zimple < 1418601651 466059 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@let q=text"> q" < 1418601652 463888 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1418601653 157702 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> q < 1418601654 264132 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Ambiguous occurrence ‘q’ < 1418601654 443332 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : It could refer to either ‘L.q’, defined at L.hs:152:1 < 1418601654 443463 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : or ‘Debug.SimpleReflect.Vars.q’, < 1418601657 661612 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... < 1418601661 863480 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :> let x{- quine -}x=x++show x in x"let x{- quine -}x=x++show x in x" < 1418601662 749445 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@undef < 1418601662 929053 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Undefined. < 1418601663 698903 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "let x{- quine -}x=x++show x in x\"let x{- quine -}x=x++show x in x\"" < 1418601671 368760 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1418601683 639535 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1418601686 281741 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1418601717 696994 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes, *of course* that module defines all single letter identifiers. < 1418601720 767134 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@where+ q @where q < 1418601720 946157 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Okay. < 1418601722 246577 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@where q < 1418601722 453402 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : @where q < 1418601726 476265 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1418601728 20544 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z) < 1418601728 943283 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(FromExpr t2, FromExpr t1, FromExpr t) => (Expr, Expr, Expr, Expr, Expr, t, t1, t2, Expr, Expr, Expr, Expr, Expr, Expr, Expr, Expr, Expr, Expr, Expr, Expr, Expr, Expr, Expr, Expr, Expr, Expr) < 1418601729 449090 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :does that count < 1418601738 755945 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: hth < 1418601747 938206 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :> "quine" < 1418601749 467776 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "quine" < 1418601749 654609 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :thebest quine < 1418601750 500063 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: https://hackage.haskell.org/package/simple-reflect-0.3.2/docs/Debug-SimpleReflect-Vars.html < 1418601756 547641 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :here's my quine: < 1418601759 168942 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I found that ;-) < 1418601760 464972 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[doesn't send a message, gets no response] < 1418601767 754607 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :cheating! < 1418601771 331854 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm executing it consatntly < 1418601773 517472 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :constantly < 1418601774 188453 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :only real quines like mine count < 1418601797 861559 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> () < 1418601799 158178 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : () < 1418601817 299628 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :^def quine ul (^quine)S < 1418601817 518023 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Defined. < 1418601818 443598 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :^quine < 1418601818 621793 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :^quine < 1418601824 48964 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :am I an expert now vanila < 1418601835 183153 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :woah nice quine < 1418601859 246466 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's homemade < 1418601908 187698 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :^ul (:aSS(anewkindofquine)):aSS(anewkindofquine) < 1418601908 366274 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :(:aSS(anewkindofquine)):aSS(anewkindofquine) < 1418601920 539503 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oerjan, ^ < 1418601932 245680 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: good, good < 1418601965 885832 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :sorry ! < 1418601968 381265 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i thought it was funny < 1418602033 387367 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: now do it with rule 110 < 1418602081 895346 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how do you define quines so they make sense in rule 110 < 1418602085 586803 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's not a new kind of anything if you do it yourself, int-e < 1418602090 959566 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you have to get your employees to do it < 1418602111 638103 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I don't know. That's part of the fun of a new kind of science. < 1418602117 217612 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: ah. < 1418602131 542344 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: I'm trying to get vanila do it at no pay at all. ;-) < 1418602185 676672 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (??) < 1418602186 558948 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Functor f => f (a -> b) -> a -> f b < 1418602191 377843 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah there it is < 1418602226 476062 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`factor 6561 < 1418602227 779829 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :6561: 3 3 3 3 3 3 3 3 < 1418602293 884444 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait it doesn't do join hmph < 1418602428 688670 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> text.(<**>[id,show])$return"text.(<**>[id,show])$return" < 1418602429 716308 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘[GHC.Types.Char]’ with ‘GHC.Types.Char’ < 1418602429 895453 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: GHC.Types.Char -> GHC.Types.Char < 1418602429 895581 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: GHC.Types.Char -> GHC.Base.StringCouldn't match expected type... < 1418602439 565054 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :figures < 1418602473 979282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :?where+ q ?where q < 1418602474 158207 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :It is forever etched in my memory. < 1418602477 710520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :?where q < 1418602477 889153 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :?where q < 1418602497 524165 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :04l08a09m11b12d13a04b08o09t < 1418602558 869984 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> text.ap[id,show]$return"text.ap[id,show]$return" < 1418602559 918938 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘[GHC.Types.Char]’ with ‘GHC.Types.Char’ < 1418602560 98119 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: GHC.Types.Char -> GHC.Types.Char < 1418602560 98278 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: GHC.Types.Char -> GHC.Base.StringCouldn't match expected type... < 1418602567 514541 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: What are you trying to do here? < 1418602574 111634 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a quine hth < 1418602596 555147 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1418602604 388289 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's wrong with the classic ap(++)show < 1418602623 887888 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :^ul (:aS(:^S^:)Sa:):^S^:(:aS(:^S^:)Sa:) < 1418602624 69907 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :(:aS(:^S^:)Sa:):^S^:(:aS(:^S^:)Sa:) < 1418602629 7978 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :WRONG MONAD HTH < 1418602650 794874 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> text.(>>=[id,show])$return"text.(>>=[id,show])$return" < 1418602652 37446 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type ‘[GHC.Types.Char] -> [GHC.Types.Char]’ < 1418602652 215996 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type ‘[GHC.Base.String -> GHC.Base.String]’ < 1418602652 395027 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :this is cool < 1418602657 515751 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> text$ap(++)show"> text$ap(++)show" < 1418602658 779823 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : > text$ap(++)show"> text$ap(++)show" < 1418602667 38372 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :stop makign haskell quines!!! < 1418602680 189856 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :underload quines pls < 1418602686 69646 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Better unset that q thing. < 1418602690 380247 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where+ q @where q < 1418602690 559589 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :I will never forget. < 1418602698 406986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: too easy hth < 1418602701 281361 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wouldn't want any bot loops < 1418602719 949905 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: whoa, does http://slbkbs.org/serp.html work in IE? < 1418602722 832 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@where- q < 1418602722 180080 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Maybe you meant: where+ where < 1418602730 874461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :does IE even have incremental search? < 1418602734 641314 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. no? < 1418602737 416332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :IE6 didn't < 1418602747 601227 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: there's no such command as @where-loud hth < 1418602763 872846 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@what q < 1418602764 51905 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : @where q < 1418602785 393360 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@url q < 1418602785 572437 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : @where q < 1418602796 648873 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it worked for me yes < 1418602797 65577 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@where+ q < 1418602797 244608 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :I will never forget. < 1418602801 207886 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@url q < 1418602803 966622 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah. < 1418602807 613966 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: does backspace work < 1418602812 54375 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1418602822 34088 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :too good < 1418602838 947381 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: I just found it hard to believe that this module shouldn't have a command for undefining things. But where+ itself does the job, apparently. < 1418602850 574829 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where q < 1418602853 413149 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (<**>[id,show]) < 1418602853 760734 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where somethingelse < 1418602853 939324 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :I know nothing about somethingelse. < 1418602854 214118 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :[String] -> [String] < 1418602860 879141 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oerjan, how about a quine in underlambda < 1418602861 279275 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: fsvo does the job hth < 1418602867 565668 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: hmm. right. < 1418602877 421686 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@where+ q I know nothing about q. < 1418602877 600739 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Done. < 1418602880 775895 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :eventually it'll turn out that "it worked" meant oerjan successfully got a blank page, and "backspace worked" meant that oerjan was able to go back to the previous page by pressing backspace < 1418602881 657561 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well, we can fake it. < 1418602890 823506 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :How about a quine in :()^ < 1418602891 876934 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: ais523 has never released underlambda so i cannot make a quine in it hth < 1418602893 752476 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :that would be cool < 1418602911 25833 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :step1 prove :()^ turing complete, step2 apply quine theory < 1418602926 402459 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :TC is not enough to allow quines < 1418602931 956538 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :turing completeness is neither sufficient nor necessary hth < 1418602947 718235 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(you may have to do some trivial transcoding from output to the language) < 1418602960 517050 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :silly shachaf, iirc when i tested yesterday i wrote "hi there" then backspaced over it < 1418602971 852030 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ok revised approach: < 1418602972 523684 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :step1 write a quine in :()^ < 1418602974 196228 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: ok < 1418602986 478180 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: you need output to have a quine, at a minimum, hth < 1418602992 151418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i have an alternate version that uses css to render text rather than a canvas < 1418603006 904559 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do you know what a headache it is to render text on a web page that isn't searchable with Ctrl-F hth < 1418603014 495759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think a quine without a and S in underload is impossible < 1418603031 403176 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: you could define an output encoding for the resulting stack < 1418603037 989780 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, searching the wiki for :()^ didn't help < 1418603040 679041 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :Has anyone here ever written a quine? < 1418603045 931277 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1418603046 777214 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :^quine < 1418603046 955835 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :^quine < 1418603048 92349 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: Underload section < 1418603049 103574 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :int-e, it's on the underload page < 1418603052 599927 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :http://esolangs.org/wiki/Underload#Quine < 1418603086 810852 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah. < 1418603098 34248 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it feels like if ():^ is TC then toothpaste must be too < 1418603111 131096 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :toothpaste complete? < 1418603151 902353 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :does that mean it can act as any one of whitening toothpaste, sensitive teeth and gums toothpaste, minty-fresh breath toothpaste, ... < 1418603158 276439 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :hehe < 1418603162 468229 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :toothpaste quine < 1418603178 641711 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you brush your teeth with it and it just coalesces into the original solid < 1418603238 176267 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: i wrote the quine in /// and the one in glass, for example < 1418603246 225292 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I like the /// one... < 1418603248 737977 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :probably others < 1418603250 264490 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :its' very scary < 1418603255 486066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*MWAHAHAHA* < 1418603292 466470 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's essentially based on the same principles as the looping, just adapted to print instead of run < 1418603360 562220 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it uses a slightly different encoding than the BCT interpreter because i couldn't avoid string clashes with that one < 1418603372 256125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(basically, one more initial / in tokens) < 1418603432 333499 :GeekAfk!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1418603452 615905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: the toothpaste i buy is "total" protection hth < 1418603471 254176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it probably doesn't do all those, though. < 1418603488 424200 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but total things can't be TC [conor mcbride swoops down and punches me] < 1418603510 923626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott is now entrapped in a partiality monad < 1418603519 942114 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :total languages can be totally cool < 1418603537 490852 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm partial to horrible jokes, yes! < 1418603552 566974 :glguy!~emertens@unaffiliated/glguy PRIVMSG #esoteric :I like that I'm not being charged a subscription fee for this comedy in today's episode ^_^ < 1418603564 749998 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so will ghc 7.12 be when haskell _really_ becomes dependent < 1418603638 209752 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :glguy: i suspect you are mischanneling but i hope that's actually a comment on our current topic < 1418603659 116128 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*discussion < 1418603659 995690 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :^ul (a:S^S)a:S^S < 1418603660 174813 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :(a:S^S)a:S^S < 1418603663 493584 :glguy!~emertens@unaffiliated/glguy PRIVMSG #esoteric :Nope, just watching the discussion, hth < 1418603665 724833 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :^ul (:aS::S):aS::S < 1418603665 928470 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :(:aS::S):aS::S < 1418603667 541618 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this channel is like #haskell-crap, which is why I love it < 1418603673 125190 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :^ul ((:aS^S)):aS^S < 1418603673 304377 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :((:aS^S)):aS^S < 1418603678 181137 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :^ul (aS(:^S)):^S < 1418603678 380270 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :(aS(:^S)):^S < 1418603683 318621 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :^ul ((:aS^)S):aS^ < 1418603683 508807 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :((:aS^)S):aS^ < 1418603699 662881 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :glguy: btw you mean you're using this channel without a subscription? < 1418603710 649369 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :/msg chanserv op #esoteric < 1418603717 987647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: there doesn't seem to be a #haskell-crap, should we get it to redirect here twh < 1418603722 56471 :glguy!~emertens@unaffiliated/glguy PRIVMSG #esoteric :I got a splitter from a neighbor's service < 1418603796 973228 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: the last thing we need is even more haskellers in here < 1418603804 685187 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aww < 1418603846 566798 :glguy!~emertens@unaffiliated/glguy PRIVMSG #esoteric :I can stick to JS or C or not talking or whatever < 1418603862 864966 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :don't worry the epidemic is unstoppable already < 1418603909 991392 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there's like 20 people in here who know haskell < 1418603913 659452 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :today on wikipedia: fuck < 1418603933 747683 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: some of them learned about haskell here, mind you < 1418603953 300840 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes they became tainted < 1418603956 895905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aren't you one of them btw < 1418603983 155369 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :haskell isn't as good at quines as underloab < 1418603987 909815 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I am as tainted as they come < 1418604004 36769 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :can you make a language based on loebs theorme < 1418604013 866949 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i knew haskell before i came to this channel, although one of the first programs i wrote was an unlambda interpreter, which as i recall is an ancestor of the one in lambdabot < 1418604034 216649 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` echo 28752pP | dc < 1418604035 101392 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :28752 \ pP < 1418604044 666609 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` echo 28752pP | dc | dc < 1418604045 381619 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :28752 \ pP < 1418604062 887242 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :that's interesting int-e < 1418604134 488398 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` echo '[91Pp93Pp]91Pp93Pp' | dc < 1418604135 295764 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[91Pp93Pp \ ]91Pp93Pp < 1418604144 388096 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` echo '[91Pp93Pp]91Pp93Pp' | dc | dc < 1418604145 131610 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[91Pp93Pp \ \ ]91Pp93Pp < 1418604152 215205 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah, darn. < 1418604169 214762 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` echo '[91PdP93Pp]91PdP93Pp' | dc | dc < 1418604169 893953 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[91PdP93Pp]91PdP93Pp < 1418604195 530183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` echo '[91PdP93Pp]91PdP93Pp' | cat | cat < 1418604196 176758 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[91PdP93Pp]91PdP93Pp < 1418604223 791007 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :`` echo `echo cat` | `echo cat` < 1418604224 548074 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat < 1418604248 64382 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :maybe you could implement underload as unix programs < 1418604256 127686 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :or something else < 1418604264 120108 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :what sets of unix pipes make a TC language? < 1418604307 102349 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but unix pipes aren't very stack based < 1418604389 765400 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca QUIT :Ping timeout: 264 seconds < 1418604554 28860 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you could probably make something analogous that treated stdin as a stack of lines < 1418604576 79507 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :its a shame i cant find a symmetrical underload quine < 1418604603 408896 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that has been done. isn't there one on the wiki page? < 1418604610 16238 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :yeah < 1418604611 401454 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :but not by me < 1418604691 731765 :vanila!~vanila@unaffiliated/vanila QUIT :Quit: Leaving < 1418605032 123461 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` echo '1xd[[1xd]P91PP93P[dx1]PqP[1xd]P39pP19P[dx1]]dx1' | dc < 1418605067 465727 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(hmm ... spot the mistake) < 1418605067 907549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`echo hi < 1418605077 152547 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hi < 1418605085 443454 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1xd[[1xd]P91PP93P[dx1]PqP[1xd]P39pP19P[dx1]]dx1 < 1418605128 822719 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: there isn't one? < 1418605144 514322 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's not symmetric < 1418605149 122985 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1418605172 235555 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :capital < 1418605242 983757 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(no big deal, since code after the 'q' is not executed.) < 1418605902 144534 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> reverse "1xd[[1xd]P91PP93P[dx1]PqP[1xd]P39pP19P[dx1]]dx1" < 1418605903 311839 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "1xd]]1xd[P91Pp93P]dx1[PqP]1xd[P39PP19P]dx1[[dx1" < 1418606216 335543 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What if you flip the brackets? < 1418606312 181760 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's prohibited by the geneva convention < 1418606550 519856 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 256 seconds < 1418606778 481103 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca JOIN :#esoteric < 1418607363 968035 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca QUIT :Quit: leaving < 1418607378 8237 :oren!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca JOIN :#esoteric < 1418607917 879868 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Ping timeout: 264 seconds < 1418608030 85437 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1418608254 676766 :nisstyre!~yourstrul@li611-52.members.linode.com JOIN :#esoteric < 1418608533 369342 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1418609417 886202 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` printf "%x" 32000428082400023 < 1418609447 696497 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :71b03844830b17 < 1418609487 434792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wut < 1418609535 231103 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm wondering if there is a non-brute-force way of finding such numbers (which are palindromic in several bases, and large compared to the bases) < 1418609624 318878 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1418609676 832736 :glguy!~emertens@unaffiliated/glguy QUIT :Quit: Computer has gone to sleep. < 1418609690 332195 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh and I guess the bases b, c should not satisfy any relation of the form b^k = c^l for k,l>0. < 1418609812 432583 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tricky guy < 1418609908 535871 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :int-e: is there a brute-forced list for that? < 1418609920 409330 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good evening, boily. < 1418609930 334019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*gasp* < 1418609979 945188 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :lifthrasiir: I just wrote a toy program that finds all 17-digit palindromic numbers (base 10) that are also palindromic in base 16. This is the complete list: 32000428082400023 / 32633196169133623 / 64634327472343646 / 70667820502876607 < 1418610025 900638 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How many digits are they in base 16? < 1418610053 579231 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :14. < 1418610069 604947 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :14, all of them. < 1418610072 785406 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa < 1418610101 340359 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you could totally golf that down even including the 0x < 1418610106 850342 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> logBase 16 (10^17) < 1418610108 480530 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 14.118194403271291 < 1418610114 56227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> logBase 16 (10^18) < 1418610115 517289 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 14.948676426993131 < 1418610133 668033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the answer I was looking for was 11, obviously < 1418610225 350853 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess I could encode it as a SAT problem and watch minisat fail on it. (or be surprised that it actually manages.) < 1418610235 326053 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and here my first thought was "he's been checking upwards from 32000000000000000, and that was the first number he found" < 1418610262 96492 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :my stupid search script (never optimized) gives: 1-9 11 353 626 787 979 1991 3003 39593 41514 90209 94049 96369 98689 333333 512215 666666 749947 845548 1612161 2485842 5614165 6487846 9616169 67433476 90999909 94355349 94544549 119919911 161131161 190080091 241090142 247969742 (no 10-digit number here) < 1418610275 184165 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :(cont'd) 26896769862 28586268582 28779897782 30144644103 32442924423 39762526793 43836363834 45961216954 51113531115 56702120765 390189981093 1278169618721 1631645461361 1806872786081 2424058504242 2692667662962 3405684865043 6694367634966 7888195918887 14315822851341 17262755726271 45113388331154 397922151229793 509538666835905 522013020310225 816346555643618 1668739779378661 5099347667439905 < 1418610298 442946 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: nah, I enumerated the 10^9 decimal palindromes. (I should've enumerated the 16^7 hexadecimal palindromes of length 14 instead) < 1418610312 445885 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :5099347667439905 has 16 decimal digits, so the next would be 32000428082400023 (not yet found) < 1418610326 897349 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 16^7 < 1418610328 317492 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 268435456 < 1418610383 228893 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: hm it's because 14 is even and 17 is odd < 1418610391 378458 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yeah < 1418610396 264204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :otherwise it shouldn't matter which base you start with < 1418610422 746493 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :approximately sqrt(n) numbers below anyway < 1418610454 58264 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :for the purpose of brute-force search, building decimal numbers is better (trivial hexadecimal conversion) < 1418610529 376194 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm what counts for more, the 4*more to test or the harder conversion < 1418610530 552000 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :373019805508910373 is the first 18-digit double palindrome. < 1418610605 954502 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :aaand of course there is an OEIS entry: http://oeis.org/A029731 < 1418610659 539045 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :http://oeis.org/A029731/b029731.txt < 1418610742 666610 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so are there infinitely many of those numbers (heuristically, yes, and I expect a proof is way out of reach) < 1418610774 878970 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so if approximately sqrt(n) numbers below n are palindromic in one base, hm that's 1/sqrt(n) of all so if were independent there should only be a finite number palindromic in two... < 1418610786 453734 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*if they were < 1418610787 911313 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no. < 1418610812 678682 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(1/sqrt(n))^2 is 1/n and that series diverges. < 1418610817 715216 :oren!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca QUIT :Quit: Lost terminal < 1418610841 684445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1418610932 317520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i don't quite trust that heuristic if changing from local to global makes that much difference... < 1418610945 89864 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :instead... < 1418610953 342948 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what do you mean by local and global? < 1418610992 426479 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait hm < 1418611031 41725 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok between n^2 and (n+1)^2 there should be 1 palindrome < 1418611050 930324 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in one base < 1418611085 188583 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's 2n+1 numbers < 1418611113 515199 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is too imprecise < 1418611133 457153 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Way too imprecise for a proof. < 1418611186 355305 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok so say between 1000000 and 1000999 there is one palindrome < 1418611207 969233 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's 1000^2 to 1000^2 + 2*1000 - 1 < 1418611256 900679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so the density is 1/(2*sqrt(n)-1) on that interval < 1418611295 605667 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1418611315 753375 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess i am getting approximately theta(1/sqrt(n)) anyway < 1418611385 214481 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :otoh this means we should expect only finitely many that are palindromes in _three_ distinct bases, iirc < 1418611403 176746 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(that sum (1/n^s) converges for s > 1) < 1418611427 102407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which i'm not entirely sure of < 1418611440 263703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :s>=2 i'm sure < 1418611469 455283 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :there are b^k palindromes in [b^(2k-1),b^(2k)-1] and in [b^(2k),b^(2k+1)-1]. < 1418611505 106812 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :to me that seems easier than arguing about n^2 and (n+1)^2. < 1418611529 707531 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1418611553 951431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok s>1 confirmed < 1418611579 793798 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :? < 1418611588 443857 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :for three or more, yes < 1418611597 564612 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Riemann_zeta_function < 1418611640 641703 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(that sum (1/n^s) converges for s > 1) <-- I didn't recognize this as a question. < 1418611681 778796 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was turning into a question while i was writing it < 1418611725 216236 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: that's why question marks go at the end of sentences hth < 1418611733 423790 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :did you notice that I messed up ... I should write, there are b^k palindromes in [b^(2k-2),b^(2k-1)-1] and in [b^(2k-1),b^(2k)-1]. < 1418611745 90066 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1418611749 812035 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: technically it only turned into a question after i'd pressed return hth < 1418611777 277102 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :does that still count as writing it twh < 1418611781 496371 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no i didn't, i was too lazy to check that :P < 1418611795 856900 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and by b^k, I mean (b-1)*b^(k-1), thanks to a leading digit that should not be zero. < 1418611817 813098 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but none of this changes the conclusion. < 1418611863 52991 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anyway, if those two-base palindromes are distributed approximately as you'd expect from taking product of densities then that might indicate there _isn't_ a non-brute force method, vaguely... < 1418611922 260844 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: So, even simpler, there are 2*b^k-1 palindroms less than b^2k, since you can take every number less than b^k and append it to its reverse, possibly merging the center digits. The -1 term accounts for 0 = 00. < 1418611955 959181 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shachaf: bonshachafoir. < 1418611969 187391 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i was trying to use a smaller interval to prevent that local/global confusion i was sensing < 1418612000 601037 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I see. Well, you needn't worry :) < 1418612199 187277 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :from 1000000 to 9999999 there are 9000 palindromes... < 1418612203 872757 :oren!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca JOIN :#esoteric < 1418612226 867478 :glguy!~emertens@unaffiliated/glguy JOIN :#esoteric < 1418612240 142897 :oren!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :hi < 1418612244 280020 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :helloren. < 1418612263 84752 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Though the n^2/(n+1)^2 idea doesn't quite work. The difference between 100001 101101 is 1100, about sqrt(10) times larger than sqrt(100001). < 1418612292 539805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that was too short an interval < 1418612305 974158 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think a single set of digit lengths is better < 1418612309 373011 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :n^2 / (n+b)^2 will work. < 1418612403 318635 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1418612708 996165 :boily!~alexandre@96.127.201.149 QUIT :Quit: EXPRESSIVE CHICKEN < 1418612900 49759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let dens b x = 1/b^ceiling(logBase b x / 2) in dens 10 1000001 < 1418612901 400598 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1.0e-4 < 1418612916 311195 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm that's wrong < 1418612927 972468 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let dens b x = 1/b^round(logBase b x / 2) in dens 10 1000001 < 1418612929 390650 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1.0e-3 < 1418612933 660629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let dens b x = 1/b^round(logBase b x / 2) in dens 10 10000001 < 1418612934 919599 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1.0e-4 < 1418612965 29498 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let dens b x = 1/b^round(logBase b x / 2) in dens 10 1000000 < 1418612966 373242 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1.0e-3 < 1418612980 584556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let dens b x = 1/b^round(logBase b x / 2) in dens 10 1000000 * 9000000 < 1418612982 4652 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 9000.0 < 1418612989 470033 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let dens b x = 1/b^round(logBase b x / 2) in dens 10 10000000 * 90000000 < 1418612990 853062 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 9000.0 < 1418613005 521603 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let dens b x = 1/b^round(logBase b x / 2) in dens 10 999999 < 1418613007 43230 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1.0e-3 < 1418613016 349939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let dens b x = 1/b^round(logBase b x / 2) in dens 10 9999999 < 1418613017 792550 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1.0e-3 < 1418613027 271701 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let dens b x = 1/b^round(logBase b x / 2) in dens 10 10000000 < 1418613028 771056 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1.0e-4 < 1418613075 689448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let dens b x = 1/b^round(logBase b x / 2) in sum [dens 10 n * dens 16 n | n <- [100..10000]] < 1418613077 308155 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 7.796289062500727 < 1418613089 840906 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so 1/sqrt(bn) <= dens b n <= sqrt(b/n)? < 1418613133 686112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well that's not too far from the actual number of double-palindromes between 100 and 10000 < 1418613178 545078 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i'm just trying to make it give the right density for each number of digits < 1418613209 587190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let dens b x = 1/b^round(logBase b x / 2) in sum [dens 10 n * dens 16 n | n <- [100..100000]] < 1418613212 124667 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 11.311914062572834 < 1418613248 166383 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm there's a surprising number of them in the 90 thousands :P < 1418613276 937288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh it's not too far away anyhow < 1418613808 26250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION looks at freefall and wonders what gimu means
< 1418614450 877504 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. perhaps http://www.eudict.com/?lang=japeng&word=gimu < 1418614457 80673 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but it's a wild guess. < 1418614693 705504 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it does seem to fit at least < 1418615375 542212 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 244 seconds < 1418615888 938601 :glguy!~emertens@unaffiliated/glguy QUIT :Ping timeout: 258 seconds < 1418616412 790179 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1418616981 746281 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net JOIN :#esoteric < 1418617787 95495 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1418618345 42616 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :Are APLs even popular anymore? < 1418618367 35021 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :I've been thinking about ideas for them < 1418618450 586244 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :What APLs do people use, anyway? J, K, and APL are the only ones I know of. < 1418618514 574189 :zzo38!~zzo38@24-207-58-35.eastlink.ca JOIN :#esoteric < 1418620959 354746 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Remote host closed the connection < 1418621396 638334 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net QUIT :Quit: Leaving < 1418621464 769423 :glguy!~glguy@c-71-59-134-118.hsd1.wa.comcast.net JOIN :#esoteric < 1418621474 822100 :glguy!~glguy@c-71-59-134-118.hsd1.wa.comcast.net QUIT :Changing host < 1418621475 1049 :glguy!~glguy@unaffiliated/glguy JOIN :#esoteric < 1418621702 4032 :b_jonas!~x@russell2.math.bme.hu QUIT :Ping timeout: 272 seconds < 1418621726 442665 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Let's make in Magic: the Gathering cards, a artifact card, its effect is: {X}, {T}: Change this card's mana cost to the mana you paid for this ability. < 1418621798 594704 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :You can have another ability to change the name of this card to any other card on the field. < 1418622102 839420 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1418622417 45263 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1418622876 660598 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Is there any card that allows you to gain life instead of drawing cards? < 1418623692 16715 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: What would that card's mana cost be? < 1418623708 552201 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think there's a card with that ability. It would probably not be very popular. < 1418624080 587029 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :shachaf: If you draft it together with a card that is in combination become useful then you might use it. I don't know what its mana cost would be originally, maybe just {0} or {1} is enough. < 1418624150 35527 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There is http://magiccards.info/query?q=!Scornful+Egotist which maybe has some similar uses. < 1418624244 773234 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually, not really. < 1418624257 849941 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know what it would be useful for. < 1418624277 220087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess you mean "this permanent's mana cost". < 1418624299 500884 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes I mean it; even if a token copy is made it can still work. < 1418624494 72238 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :I've only played a bit of Magic. What's the point of this Scornful Egotist? < 1418624528 495070 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :You can draft multiple sets if that would help! Usually only one set is drafted but I have played once where two sets are drafted. < 1418624675 440955 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :glguy: I never played in that block, but as I understand it there were a bunch of cards that cared about having permanents with a high converted mana cost. < 1418624693 718954 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So this was a cheap roundabout way to get some of those effects. < 1418624755 414261 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://magiccards.info/query?q=e:scg/en+o:%22converted+mana+cost%22 < 1418624758 455805 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :http://magiccards.info/sc/en/49.html < 1418624791 43588 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, that sort of thing. < 1418624876 268123 :zemhill!bfjoust@selene.zem.fi QUIT :Ping timeout: 260 seconds < 1418624876 447068 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1418624904 608949 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :"Once I was human. Now I am far more." -- but apparently there was an errata that stated the Scornful Egotist was still human < 1418624931 308795 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, it does say "more" < 1418624955 100840 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :{Human} ⊂ {Human, Wizard} < 1418625001 919300 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :Then he would have said. I am human. Also I am far more. < 1418625114 800160 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1418625117 181252 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Human and Wizard are incomparable < 1418625161 811628 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :Don't tell me, tell him! < 1418625192 79667 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo so annoying that Soldier tokens aren't human < 1418625196 797414 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1418625306 145738 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1418625426 186954 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Why is it so annoying? < 1418625439 703067 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Maybe some soldiers will not be human soldiers? < 1418625453 115773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Because I'd always mix them up. < 1418625631 698872 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I made up a card for Pokemon card game which is called HAND FIXER KIT and its effect is: Put all cards from opponent's trash into his hand. < 1418625701 869690 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :I used to have the first couple sets of pokemon cards... and then my brother traded them away for some hockey cards < 1418625751 657929 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i traded some hokey cards for some hockey cards < 1418626033 947799 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Assume it is your turn after you have drawn a card you have three cards in your hand; in play opponent has only CHANSEY [Lv.55] with no damage and five energy cards attached; you have KADABRA [Lv.39], active, with 2 damage, no energy, and is sleeping, and you have only GASTLY [Lv.8] on bench with 1 energy and 2 damage; opponent has 3 cards remaining in draw pile and 1 side card remaining; you have no cards in draw pile and 5 side cards remaining... < 1418626104 621583 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Now, you can play HAND FIXER KIT and opponent is going to scream like "!!???!!!?!?!???!?!!!!!????!!?!????!!!!!?!?!?!!?!!!!??????!!!??!?!?!??!?!?!!!!!!???!?!!?!?!?!!!?!????!?!??!??!!??!?!?!?!?!?!!!!?!???????!!!!!??!?!!!!?????" < 1418626143 728539 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :What do *you* think??? < 1418626163 654718 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think my opponent is going to scream like that. < 1418626176 82137 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I don't know the rules of Pokeman card game; maybe it is required. < 1418626187 389319 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :No, it isn't required. < 1418626281 786030 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :You should probably add that as a requirement to your card < 1418626302 879386 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :glguy: Why? < 1418626327 302664 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :seems like it'd make it even more complicated and more fun :) < 1418626351 799612 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :Or was that long list of assumptions just a scenario < 1418626363 383685 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :and not the pre-req? < 1418626368 46998 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :That long list of assumptions is just a scenario. < 1418626381 704928 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :The effect of HAND FIXER KIT is only "Put all cards from opponent's trash into his hand" < 1418626468 736581 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :He has exactly fifteen trainer cards in his trash. In your hand you have DEVOLUTION SPRAY and HAUNTER [Lv.26]. < 1418626476 40311 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Now what do you believe? < 1418627063 821775 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 264 seconds < 1418627107 92145 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1418628162 6501 :glguy!~glguy@unaffiliated/glguy QUIT :Quit: Quit < 1418629305 602312 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1418629552 932048 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1418629563 744305 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1418629610 19427 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :o.O http://techcrunch.com/2014/11/19/mozilla-partners-with-yahoo-which-will-become-the-default-search-engine-in-firefox-next-month/ < 1418629988 178260 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 258 seconds < 1418632163 57118 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1418632165 380669 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I do not expect changing the default searching engine is anything wrong; regardless what it is by default, you can easily change it to whatever one you want, or add your own < 1418634592 956059 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Most won't though. < 1418634617 372258 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :The Google-Firefox deal was big money for both. < 1418635373 431852 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1418635453 359778 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Helpful commit message of the day: "zip and zipwith. These work exactly as you'd expect if you've used Haskell. You might not've, so they work exactly as they say." < 1418635689 374828 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::D < 1418635691 616588 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Link? < 1418635717 581899 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :https://github.com/jarcane/heresy/commit/61321c114669b366a362c287984b2719708c526c < 1418637774 814544 :drdanmaku!uid17782@gateway/web/irccloud.com/x-pinibrrcbtmjuusd QUIT :Quit: Connection closed for inactivity < 1418638921 142961 :glguy_!~glguy@unaffiliated/glguy JOIN :#esoteric < 1418640619 302396 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Is it known whether there is a nontrivial palindrome for bases 2, 3 and 5? < 1418640794 273116 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(Or even 2, 3, and 4.) < 1418642567 619556 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1418642825 7668 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: fungellot. what are you supreming? < 1418642825 571006 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :boily: objc looks like someone mixed malbolge, c, e, r, e, b, c: if a flaw isn't fatal, it's acceptable. 2.0 seconds could be a simple mail server designed to just work < 1418642955 764335 :Frooxius!~Frooxius@ip-78-102-124-108.net.upcbroadband.cz QUIT :Quit: *bubbles away* < 1418643096 993989 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :uh < 1418643193 549921 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, do you like running double exponential time algorithms? < 1418643193 775043 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :b_jonas: im not sure < 1418643338 893493 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, do you like winger? < 1418643339 235313 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :b_jonas: wait. you intended to impose on your prototype system?' what? it was a list with two elements < 1418643355 558314 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote fungot, do you like running double exponential time algorithms? b_jonas: im not sure < 1418643355 802017 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :elliott: still law is law...) and ( d or f) < 1418643372 354277 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1226) fungot, do you like running double exponential time algorithms? b_jonas: im not sure < 1418643434 296393 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :if some charitable soul on this Fine Chännel could make the damn wisdom PDF compile on texlive 2014, that'd be very helpful and I could get back to editing it. < 1418643445 214530 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(having some problem with the Greek package...) < 1418643724 879293 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, how do you feel about the conflicting requirements of good practices when no alignment causes performance penalties because the cpu has to access data crossing cache lines, but too much alignment causes performance penalty due to every data trying to share the same l1 cache line? < 1418643725 258887 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :b_jonas: but right now the system is only very hard to replace the sorting order for nick lengths! < 1418643736 127180 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah, agreed < 1418643777 945384 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :nick lengths are as good as they are. five letters masterrace! < 1418643794 658196 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: since when is this a Chännel twh < 1418643809 274687 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, which fairy should I forget to invite to the newborn child's christening? < 1418643809 500469 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :b_jonas: if your point is completely bogus.) < 1418643828 733182 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot: yeah, but if you had to choose one? < 1418643829 100659 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :b_jonas: when you can be more efficient both in time and they are mostly in canada, i wouldn't assume it to do < 1418643838 124132 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :canada, ok < 1418643851 46116 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, do they ride a motorbike in the winter? < 1418643851 327356 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :b_jonas: dhcpd is running as you described it. < 1418643911 429611 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shachaf: according to my logs, since February 13, 2014. < 1418643920 29363 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, if an adolescent boy wishes to honorably sever ties with his family to avoid the consequences of the century old feud between his family and the Capulets, what should he become? a cleric, a monk, or a mercenary? < 1418644070 378059 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Are those the only three choices? < 1418644132 205307 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :were there engineers in those times? < 1418644618 583542 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: no, you could give some other choice too if you wish < 1418644632 564342 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :these are just the ones that's occurred to me < 1418644652 727074 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I guess they could try to enter the guild of assassins too < 1418644663 64312 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or join a circus/theatre < 1418644685 719366 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I'm not sure how honorable it is to join a theatre < 1418644859 971627 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 250 seconds < 1418644916 468637 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hehe, this bad translation is amusing. in this list, it has chinese commas between Hungarian words < 1418644927 393920 :shikhin!~shikhin@59.177.204.207 JOIN :#esoteric < 1418644951 197397 :shikhin!~shikhin@59.177.204.207 NICK :Guest24980 < 1418645068 794126 :Guest24980!~shikhin@59.177.204.207 QUIT :Client Quit < 1418645088 979976 :shikhout!~shikhin@59.177.204.207 JOIN :#esoteric < 1418645101 502627 :shikhout!~shikhin@59.177.204.207 QUIT :Changing host < 1418645101 692244 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1418645134 44322 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1418645742 62635 :boily!~alexandre@96.127.201.149 QUIT :Quit: COMPLACENT CHICKEN < 1418646429 700379 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`ctof -10 < 1418646430 794075 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​-10.00°C = 14.00°F < 1418646437 135114 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`ftoc -30 < 1418646437 815050 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​-30.00°F = -34.44°C < 1418646893 658331 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds < 1418649427 621995 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :http://gabrielmartin.net/projects/hipku/ < 1418649701 521629 :glguy_!~glguy@unaffiliated/glguy QUIT :Quit: Quit < 1418650388 204348 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Quit: This computer has gone to sleep < 1418650722 552932 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1418650833 969154 :shikhin!~shikhin@120.59.232.162 JOIN :#esoteric < 1418650877 155122 :shikhin!~shikhin@120.59.232.162 NICK :Guest53639 < 1418650910 919435 :Guest53639!~shikhin@120.59.232.162 NICK :shikhout < 1418650915 930829 :shikhout!~shikhin@120.59.232.162 QUIT :Changing host < 1418650916 120675 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1418650925 958602 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1418650927 503898 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1418651653 213725 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Quit: This computer has gone to sleep < 1418651750 663358 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :
ACTION gazes into the abyss that is random number generation in a functional language.
< 1418651801 915826 :Melvar!~melvar@dslb-088-077-173-086.088.077.pools.vodafone-ip.de PRIVMSG #esoteric :“abyss”? < 1418651832 81219 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :
ACTION is being rather facetious, but it is an issue that needs to be decided for Heresy.
< 1418651982 837884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :don't you already have IO < 1418652053 21898 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :True. But I have something I might want to do with my first game project in Heresy that might require a more predictable approach. < 1418652217 647847 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Why are you running your own dhcpd? Was it your fault my DHCP clients had stopped working? < 1418652217 876358 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fizzie: i don't use safari often :) < 1418652231 334034 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: O-kay, but that doesn't seem terribly relevant. < 1418652231 543550 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :fizzie: that base blocking technique and improved it with the default formatting and don't want to < 1418652269 89916 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :If you call into a coroutine, the coroutine calls also into you < 1418652371 589607 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric ::D < 1418652437 767914 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Basically, I haven't actually established I/O beyond console print and input in Heresy yet (I'm thinking external IO will take place in parameterized blocks only, but haven't got round to implementing it yet). < 1418652462 290573 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :So I thought for a game, rather than have a save function, I'd use a password system like the old NES games. < 1418652582 273094 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :But it begs the question of whether the random number seed should be included in the derivation for the password or not, and that means I have to be more particular about how seeds are generated and used in the program (and indeed, possibly in the language itself) < 1418652657 674635 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why do you need an RNG seed for this < 1418652716 813835 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Oh, right, because it's an RPG. Die rolls and what not. < 1418652729 905275 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but you want the seed to be predictable given the password? < 1418652735 437612 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as in the same every time < 1418652752 746286 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how do you generate the password < 1418652753 802048 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s < 1418652872 468908 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :The password would just be a serialization of the player stat values and possibly the RNG seed to a text string, maybe base64 or something if I'm feeling lazy, or something original if I'm not. < 1418652917 226424 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1418652949 671537 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean a PRNG is a pure function of its state < 1418652958 732651 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so you shouldn't need to change the language < 1418652968 981904 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(okay it's state -> (output, state)) < 1418652984 966764 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(my point is you can handle it as well as any state if your initial seed is fixed) < 1418653010 876914 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :elliott: Well, literally, the syntax and functions haven't been defined in Heresy yet. I need to write them before I can start writing a game. < 1418653011 378631 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1418653022 393491 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why do you have to change the language < 1418653026 665812 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can implement a PRNG in a few lines < 1418653042 998586 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Xorshift < 1418653221 680305 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Sandbox14]]4 10 02http://esolangs.org/w/index.php?diff=41474&oldid=40202 5* 0380.95.121.33 5* (+25) 10 < 1418653264 242151 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :agreed < 1418653332 14361 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :J_Arcane_: btw not trying to seem argumentative, just legitimately curious as to the problem < 1418653417 7808 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :elliott: Really, it's not necessarily a 'problem' just deciding how to define it. I think probably I'll just implement RANDOMIZE and RND, and then abuse the lexical scoping to rewrite the seed when needed. < 1418653433 539078 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :isn't this language meant to be pure :) < 1418653445 422176 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'd just implement the RNG inside the game or something, personally! < 1418653446 630117 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or in a library < 1418653460 163029 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if you don't care about getting a seed from the outside world you don't need to change the language at all < 1418653467 761795 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Well, 'rewrite' in the sense of redefining it locally. < 1418653501 398079 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Sandbox14]]4 10 02http://esolangs.org/w/index.php?diff=41475&oldid=41474 5* 0380.95.121.33 5* (+64) 10 < 1418653610 436776 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Ie. you can still get away with just doing (def seed (randomize timer)) at the top level, and just (def seed [somethingelse]) farther down the tree. Or just say hell with it and not worry about storing the seed. < 1418653654 687444 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well. okay. I was just thinking you'd make a function that takes a state and returns (list output newstate). < 1418653673 422105 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :xorshift just "reseeds" every step < 1418653684 261952 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so you pass in the seed initially and then get a new one out and a returned number, etc. < 1418653711 491286 :oren!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :if you already have I/O, use the old-school keyboard intervals method! < 1418653936 300696 :oren!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :you can isolate the unfunctional stuff to one thing then < 1418654844 599428 :oren!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca QUIT :Quit: exam time < 1418655110 558047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : (Or even 2, 3, and 4.) <-- having both 2 and 4 seems like it'll restrict digits quite a lot < 1418655151 374022 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if it's even length in binary you can only use 00 and 11 < 1418655175 838984 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(topic was palindromes) < 1418655257 662952 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :with odd length, hm < 1418655337 692250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :1(00)*01 is the only possibility with odd length < 1418655380 960640 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well except 0 itself < 1418655439 122060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's 4^n+1 < 1418655473 712248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [showIntAtBase 3 intToDigit (4^n+1) | n<-[1..]] < 1418655475 133590 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [<[Char] -> [Char]>,<[Char] -> [Char]>,<[Char] -> [Char]>,<[Char] -> [Char]>... < 1418655484 662549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [showIntAtBase 3 intToDigit (4^n+1) "" | n<-[1..]] < 1418655486 30227 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["12","122","2102","100112","1101222","12121202","211110212","10022220022","... < 1418655511 302380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm none in the short term... < 1418655523 126113 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [showIntAtBase 3 intToDigit (4^n+1) "" | n<-[8..]] < 1418655524 610349 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ["10022220022","111022121002","1222021101012","21220002111122","101112010100... < 1418655553 384977 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Only the base 4 palindromes with the digits 0,1 or the digits 0,3 are base 2 palindromes. < 1418655592 294260 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Jafet: um i don't think digits 0,1 work < 1418655604 521857 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except for 4^n+1 < 1418655618 468853 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :1111 must also work < 1418655637 282061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: that's digits 0,3 < 1418655644 712179 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: in base 4 < 1418655654 681950 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so 1010101 in base 2 < 1418655672 677316 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1418655680 187529 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :where was my logic error.. < 1418655686 187118 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so I agree with Jafet on this < 1418655696 960902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1418655721 26380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :actually no < 1418655726 459076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's _only_ digit 1 < 1418655735 983778 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait < 1418655738 773391 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sheesh < 1418655746 772954 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :we're just inserting 0s between all digits < 1418655767 482859 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :to convert from base 4 to base 2. < 1418655778 16352 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION brain
< 1418655796 190828 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Brain? I learned this by computer. < 1418655813 997804 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :brains generalize better < 1418655874 876171 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so did you find any that were also base 3 < 1418655891 799584 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :1. < 1418655917 373596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think "non-trivial" was specified in the original question < 1418656169 732336 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let p b n | s <- showIntAtBase b intToDigit n "" = [s|s == reverse s] in [l| n<-[3..], Just l <- mapM (`p` n) [2,3,4]] < 1418656171 64244 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type ‘[GHC.Base.String]’ < 1418656171 243308 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type ‘Data.Maybe.Maybe t’ < 1418656181 140660 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that was too clever to work on first try < 1418656196 720026 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let p b n | s <- showIntAtBase b intToDigit n "" = [s|s == reverse s] in [l| n<-[3..], Just l <- [mapM (`p` n) [2,3,4]]] < 1418656197 988933 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘Data.Maybe.Maybe’ with ‘[]’ < 1418656198 168081 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: [[GHC.Base.String]] < 1418656198 168209 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: Data.Maybe.Maybe [GHC.Base.String] < 1418656212 53073 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1418656228 988059 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let p b n | s <- showIntAtBase b intToDigit n "" = [s|s == reverse s] in [l| n<-[3..], l <- mapM (`p` n) [2,3,4]] < 1418656232 806521 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1418656239 401573 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let p b n | s <- showIntAtBase b intToDigit n "" = [s|s == reverse s] in [l| n<-[3..], l <- mapM (`p` n) [2,4]] < 1418656240 782562 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [["11","3"],["101","11"],["1111","33"],["10001","101"],["10101","111"],["110... < 1418656256 636256 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let p b n | s <- showIntAtBase b intToDigit n "" = [s|s == reverse s] in [l| n<-[3..], l <- mapM (`p` n) [2,3,5]] < 1418656260 334484 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1418656278 51739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it seems not immediately clear that any exist < 1418656297 603148 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1418656388 426833 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh the digit 0/3 numbers wont' cut it. < 1418656403 750837 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why not < 1418656421 922772 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :trailing digit 0 in base 3. < 1418656428 720958 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1418656451 263708 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :If one exists, it's certainly not going to be less than 8022581057533823761829436662099 < 1418656457 941074 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :digit sum rule for base 4, right < 1418656474 427063 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@oeis 1,6643,1422773,5415589,90396755477 < 1418656475 259063 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Numbers that are palindromic in bases 2 and 3.[0,1,6643,1422773,5415589,9039... < 1418656518 152742 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :presumably heuristics mean that unless you find them fast, there won't be any < 1418656536 403900 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but you can never be sure < 1418656549 115961 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed < 1418656584 97799 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1418656601 214949 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, that reminds me to that open problem about digit something and powers... um what was it < 1418656652 994830 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: "is there any power of 2 > last obvious one which doesn't contain the digit 0"? < 1418656674 767860 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: um, I don't think that was it < 1418656694 151456 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i vaguely recall something like it < 1418656694 596140 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but sounds right anyway < 1418656708 941674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although maybe it came up as a consequence of something else < 1418656722 451552 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe it was something like "is there a power of two that when you reverse the digits becomes a power of five" < 1418656766 320759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that sounds like another thing that's ridiculously heuristically unlikely :P < 1418656769 653999 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ok, there's no other base-2-3-4 palindrome smaller than 4^48. < 1418656773 572311 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> 4^48 < 1418656774 400508 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: yep < 1418656775 75640 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 79228162514264337593543950336 < 1418656783 111013 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It's apparently been proven that there is a counterexample to the Mertens conjecture below exp(1.59*10^40), though no one actually knows one < 1418656806 491855 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jafet: what's the Mertens conjecture? < 1418656810 312554 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Jafets bound is better) < 1418656841 518990 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But then again I have not invested very much CPU time. < 1418656849 65323 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :int-e: just check all the eight known base 2/3 palindromes to confirm that none (other than 1) are base 4 palindromes < 1418656861 698961 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: yes. < 1418656898 896973 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: how about numbers that are palindromes in bases 2, 3, 5? < 1418656927 751879 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'd imagine the eight known Jafet is talking about might help there too < 1418656932 771800 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :For that we also have the trivial lower bound of 8022581057533823761829436662099 < 1418656947 998269 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ 10^. 8022581057533823761829436662099 < 1418656950 651292 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: @oeis _really_ should give the url :( < 1418656968 665738 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: patches welcome, I'm getting notified of mokus' pull requests. < 1418656974 222331 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Huh, it should at least give the A-number < 1418656981 720138 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(http://oeis.org/A060792) < 1418657009 793821 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: I could improve that bound for the 2-3-4-palindromes, because we've so nicely characterized the 2-4-palindromes. < 1418657022 249714 :j-bot!~j-bot@li339-21.members.linode.com JOIN :#esoteric < 1418657030 375135 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ 10^. 8022581057533823761829436662099 < 1418657030 893510 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :b_jonas: 30.9043 < 1418657065 546508 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm 2,3 palindromes seem a _lot_ rarer than 10,16 ones < 1418657074 986178 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :True. But one might suspect that no such integers exist anyway. < 1418657112 633582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i mean, 2,3 palindromes are so rare that the simple sqrt(n) heuristic must be broken somehow < 1418657127 262680 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Larger bases have more palindromes < 1418657162 434567 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: smaller bases profit less from the wildcard center digit in the odd-number-of-digts case. < 1418657168 236459 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1418657198 932261 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so this observation is consistent with my intuition for the problem. < 1418657201 433639 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1418657207 747664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1418657217 477808 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :just saying! < 1418657247 257169 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1418657282 57960 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, what do you think? < 1418657282 339883 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :b_jonas: i now know where to find foo? otherwise why not just make the directory accessible to the right-hand sides are not lambdas, right? :p. < 1418657306 782181 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm actually kind of impressed that the 2-3-palindrome calculation has been pushed so far. Makes me wonder whether there's a trick for speeding things up that I'm missing. < 1418657368 251508 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :There are apparently tricks that save constant factors, but they are specific to the 2-3 case < 1418657487 304979 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ 10^. 8022581057533823761829436662099 < 1418657487 832235 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :b_jonas: 30.9043 < 1418657496 368711 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ 2 3^. 8022581057533823761829436662099 < 1418657496 951440 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :b_jonas: 102.662 64.7725 < 1418657505 947367 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1418657520 875375 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess there is one asymptotic trick that may allow testing numbers up to n in O(n^(max(1-k,2*k))log(n)) time, given O(n^(2*k)) memory. < 1418657539 211759 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Yes, you can trade space for time by taking residues. < 1418657584 121492 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: the fun part about that oeis entry is "Next term (if it exists)" so apparently they don't know if there's infinitely many. < 1418657602 52159 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(make a table of the possible differences resulting from picking the center k*log(n) digits for both bases.) < 1418657603 711608 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That's written on many oeis entries. < 1418657621 315557 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: there's a link to an article on computing them though < 1418657648 922266 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> logBase 3 8022581057533823761829436662099 < 1418657650 397868 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 64.77245314069522 < 1418657664 584444 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :^ agrees with j-bot's reply, good < 1418657672 560820 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm they haven't pushed it that much further < 1418657818 367696 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Also, once you pick the first few digits in each base, the possible palindromes are in the intersection of two arithmetic progressions < 1418657966 612072 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: btw, naively, I would expect 10-16-palindromes to be 23/80 * sqrt(240) more numerous than 2-3-palindromes, about 4.454 < 1418658029 536401 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(missing a "times" in there, somewhere.) < 1418658113 675281 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> (1/sqrt 160 + sqrt 160) / (1/sqrt 6 + sqrt 6) < 1418658115 15504 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4.45393084813853 < 1418658139 482744 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jafet: the oeis entry links to http://chesswanks.com/txt/BigDualPalindromes.txt < 1418658150 654087 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1418658181 512507 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe check the other links too < 1418658185 608748 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :from http://oeis.org/A060792 < 1418658222 891616 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :http://clientsfromhell.net/post/105178230478/nightmare-fuel-for-designers < 1418658273 431099 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh .txt without line wrap < 1418658399 687472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i wonder if the fact 10 and 16 have a common prime factor matters there < 1418658428 557559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although given how well my calculation yesterday matched, perhaps not < 1418658439 727780 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: it does make things worse < 1418658460 453351 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: http://chesswanks.com/txt/BigDualPalindromes.txt explains how it helps that the last digits of base 2 constrain the middle digits of base 3 < 1418658480 260213 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :because only the middle digit of a base 3 palindrome can change it modulo 2 < 1418658486 497232 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :etc < 1418658492 887979 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: um i wasn't really asking for tdlr < 1418658515 875911 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*tldr < 1418658525 667284 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(see: today's xkcd) < 1418658542 729499 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh! < 1418658547 335858 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's actually more stuff it tells < 1418658552 362929 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :basically I'm talking nonsense < 1418658557 394666 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1418658613 200701 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, tricky < 1418658649 563823 :zzo38!~zzo38@24-207-58-35.eastlink.ca QUIT :Remote host closed the connection < 1418658671 814224 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: So Many Fucking Words. Clearly this is an OOTS reference. *ducks* < 1418658739 859512 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Now to find an interpretation that turns the caption into a proper sentence... < 1418658748 204663 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: btw my investigations of the mcculloch machine seem to resolve into about 64 mutually dependent cases, each parametrized by up to 6 numbers < 1418658770 95107 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: wow < 1418658773 140972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :might need a program to do the algebra < 1418658788 717019 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: if you get something useful, will you write some notes somewhere? < 1418658792 655676 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :See Me Fumble With an acronym [that] almost makes sense. < 1418658798 531173 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: presumably < 1418658800 944517 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :thanks < 1418658826 14611 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll definitely be interested, and others (zzo38 maybe) might be too < 1418658918 751512 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hehe, "could easily be generalized to find dual palindromes in ... binary and *balanced* ternary" < 1418658963 328905 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and hehe, http://www.urbandictionary.com/define.php?term=SMFW < 1418658970 731646 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :2011. < 1418658989 811250 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and that writeup is from 2014-01 < 1418659064 189255 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the basice principles seem applicable to any pair of bases, really. < 1418659201 98759 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: is water turing complete? asking for a friend < 1418659243 651171 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what is water? < 1418659246 662153 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :elliott: depends on how you define it < 1418659250 223376 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :rumor has it we evolved in the ocean < 1418659251 157760 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :int-e: dude, how are you alive < 1418659259 141849 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: we just don't know < 1418659264 508878 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :coppro: You misunderstood. < 1418659272 146144 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe it's only PSPACE-complete < 1418659282 994663 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but maybe it has much less power than that < 1418659292 779368 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :water is very powerful and I live in fear of it every day < 1418659295 719312 :oren!~oren@user3-208-191.wireless.utoronto.ca JOIN :#esoteric < 1418659300 760759 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :coppro: "water" could mean "pure H2O", but it could also mean the stuff that's in the rivers and in the seas. < 1418659333 263582 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: yeah, except in Ankh, which is a river but certainly not water < 1418659353 612585 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: whichever you are most scared of. < 1418659373 836339 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this is not a trick question and i am just trying to know the computational class of water please. < 1418659386 530819 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :elliott: then it's PSPACE-complete < 1418659392 793460 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thankyou < 1418659400 847372 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but not very efficient, transistors work much better < 1418659446 770626 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :are birds turing complete < 1418659459 687788 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i think terry tao may be working on that problem hth < 1418659545 51518 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(for a certain definition of water equivalent to "ideal fluid") < 1418659548 210184 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what if they're really big birds < 1418659559 55314 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh birds < 1418659578 892043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i hear the X bird is turing complete hth < 1418659593 934015 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :does it run Twitter? < 1418659612 213972 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Coq: The world’s best macro assembler?" some questions exist just to be posed < 1418659613 100163 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :elliott: birds are certainly at least turing complete. they were used for divination afterall. < 1418659615 178929 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Err, does Twitter run on the X bird? Or on Combinatory Logic, at least?) < 1418659629 370015 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@quote assembler < 1418659629 549263 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :dons says: that's 3 things i've never seen in the one sentence before: my assembler .. a bunch of type classes .. a natural syntax < 1418659644 599744 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :elliott: see also the Mockingbird book of Smullyan < 1418659652 687718 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which also tells that birds are Turing-complete < 1418659655 609780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :b_jonas: okay but how loudly do they chirp < 1418659670 559797 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I want a quiet and obedient bird computer to do my taxes < 1418659672 861101 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas is mocking birds... < 1418659678 173638 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot: how loud do mockingbirds chirps? < 1418659678 391675 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :b_jonas: yes but how do you suggest? i like it < 1418659697 453433 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot: elliot suggests a quiet and obedient bird computer to do his taxes. can he get one? < 1418659697 632462 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :b_jonas: ( define foo ( lambda ( k) < 1418659705 839992 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coq macro assembler is like mustard watch < 1418659717 601905 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :elliott: I'm affraid large computing power isn't enough to do your taxes < 1418659733 765893 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fungot is suggesting I do my taxes in lisp I think < 1418659733 945025 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :elliott: because you are not alone: < 1418659742 2506 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, scheme < 1418659758 258075 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that has unbalanced parenthesis < 1418659795 222039 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :afk < 1418659816 117457 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Having run < 1418659816 296965 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coqc over this file we can then run a trivial hex-to-binary tool to < 1418659816 297092 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :produce an executable: < 1418659816 297167 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :>coqc winfact.v >winfact.hex < 1418659816 297240 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :>hexbin winfact.hex winfact.exe < 1418659818 347507 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :>winfact < 1418659820 899774 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Factorial of 10 is 3628800 < 1418659823 354438 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Factorial of 12 is 479001600 < 1418659825 853405 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :all my build processes involve hexadecimal->raw conversion < 1418659957 985596 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :WHY?! < 1418659974 908336 :glguy_!~glguy@unaffiliated/glguy JOIN :#esoteric < 1418659979 473196 :glguy_!~glguy@unaffiliated/glguy QUIT :Remote host closed the connection < 1418659996 592263 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because coq is the world's best macro assembler! < 1418660007 252220 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :to be fair this paper is probably doing cool things, it's just also ridiculous < 1418660030 439645 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :why can't they produce binary output? < 1418660070 601282 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because you can't really write coq programs < 1418660074 584500 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the result there is like typing something into ghci < 1418660078 874727 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and getting a Show result back < 1418660099 231158 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(with "Compute ... .") < 1418660130 725497 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :basically the UI model for coq is interactive proof assistant use (it would be kind of unusable for writing proofs if it wasn't interactive), and files are just workspaces containing a bunch of commands < 1418660198 306757 :oren!~oren@user3-208-191.wireless.utoronto.ca PRIVMSG #esoteric :ohh, like Matlab < 1418660213 634780 :oren!~oren@user3-208-191.wireless.utoronto.ca PRIVMSG #esoteric :i like that < 1418660230 320095 :oren!~oren@user3-208-191.wireless.utoronto.ca PRIVMSG #esoteric :that is the only thing i like about matlab < 1418660864 161442 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1418661320 904800 :nortti!nortti@nano.smar.fi NICK :lawspeaker < 1418661366 723622 :lawspeaker!nortti@nano.smar.fi NICK :nortti < 1418661877 654612 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1418661961 573524 :oren!~oren@user3-208-191.wireless.utoronto.ca QUIT :Quit: leaving < 1418662436 411665 :glguy!~glguy@unaffiliated/glguy JOIN :#esoteric < 1418662693 303086 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1418663079 279285 :digitalc1ld!~redacted@192.73.232.206 NICK :digitalcold < 1418663199 312642 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1418663429 542453 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ooh, I just got some spam from some spammers < 1418663449 530290 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :who outright said they were spammers, and offered to send out 5 million spam emails on my behalf for $999 < 1418663456 915509 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :interesting marketing strategy, I guess it makes a lot of sense < 1418663470 151242 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that price seems pretty expensive to me, but I don't know much about spam < 1418663530 478131 :bb010g!uid21050@gateway/web/irccloud.com/x-tbkarploebxdcaue QUIT :Quit: Connection closed for inactivity < 1418663571 805939 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: apparently some companies advertise that they're hiring to some sort of it position (maybe web developer) in messages hidden as non-text in webpages < 1418663591 934856 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :such as in messages to the javascript console < 1418663596 21056 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or so I hear < 1418663604 486862 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it wouldn't surprise me, there are a lot of companies < 1418663631 707087 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :plot twist: the company didn't think it was hiring, but the existing web developer is sick of their position and wants to hire a replacement < 1418663680 674475 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :plot twist: company is not interested in hiring javascript developers and people who've never heard of noscript. < 1418663736 95713 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I was considering a similar plot twist: the company is hiring, so the web developer puts a slightly hidden message that they're hiring, and a more hidden message warning that they put that previous message there because their boss asked, but they don't recommend that company because it's terrible working there. < 1418663819 928586 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :followed by a comment from the boss that there are now two more positions available than originally planned < 1418663980 411299 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :fuck math < 1418663988 729103 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :Is that a new branch of math? < 1418664143 563332 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1418664168 156401 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :it's my expression every time I descend the rabbit hole that is reimplementing most math functions ... < 1418664203 89748 :glguy!~glguy@unaffiliated/glguy PRIVMSG #esoteric :Which rabbit hole are you in today? < 1418664223 384401 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I decided to take another stab at either atan or log. < 1418664242 736820 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :J_Arcane_: I implemented an integer-arithmetic log semi-recently < 1418664246 598203 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Or rather, I think I started with atan, and found a proof for solving it that needed log ... < 1418664256 963105 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as part of removing all floating-point arithmetic from save-affecting parts of NH4 < 1418664429 226875 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net JOIN :#esoteric < 1418664503 151340 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: there's floating point arithmetic in nethack? < 1418664505 471812 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :part of my goal with Heresy was to implement as much as I can myself instead of calling out to Racket. < 1418664512 960712 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: there is only very little I hope < 1418664518 533086 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :like, you know, in TeX < 1418664522 330540 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: there was some in the scoring system a while back < 1418664530 997299 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nowadays, it's only used for display purposes < 1418664542 188476 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you see a percentage shown in a message box, that may have been calculated with float arithmetic < 1418664552 895947 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but anything gameplay-affecting is integer arithmetic < 1418664564 339391 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm not really worried about it though because if you only use basic floating point arithmetic (including square root, but excluding exponentials and logarithms and trig) it mostly works as perfect IEEE floats anyway these days < 1418664590 561352 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: it doesn't, and the reason is that different processors have different rounding rules, and different OSes can have different default FPU control words < 1418664591 974923 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :though... with many settings compilers still have the choice to optimize certain chained operations to higher precision, < 1418664600 378887 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :I did manage to get sin and cos in a kinda cheaty way thanks to Racket's built-in support for complex numbers. < 1418664605 520255 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: ok < 1418664656 310515 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: so it's never used to determine the outcome of random events? < 1418664673 468363 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: float arithmetic? no, I'm not crazy < 1418664680 763622 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hey wait, isn't #nethack4 supposed to go off topic when we're talking about nethack here? < 1418664695 277855 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I'm not thinking you'd add such a thing, only that you'd inherit it from the devteam < 1418664699 764558 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we can have two different ontopic discussions about NetHack in two different channels! < 1418664712 76406 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: you can expect no floating point in devteam NetHack < 1418664719 822307 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it probably runs on systems with no FPU and no FPU emulation < 1418664746 989218 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so what happened with that leaked version < 1418664764 65413 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's still happening, believe it or not < 1418664783 27929 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the devteam are apparently making some sort of crazy complex new git-based infrastructure, but haven't told us the details < 1418664792 242801 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's being slowed down by the fact that they all have to learn git < 1418664793 435218 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wow, so this actually spurred them into action? < 1418664796 334250 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :haha < 1418664821 892617 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I thought even old systems always had at least software fp emulation, though it might not be able to use it in nethack because it costs some ram < 1418664833 639534 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is nethack 4 still incredibly purple < 1418664849 255839 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"incredibly purple"? < 1418664860 596056 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: software FPU emulation is a compiler feature < 1418664867 509669 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most compilers of the era had it, but possibly not all of them < 1418664875 91516 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :elliott: (devteam is making something they're not telling us about) isn't (spurred to action) nor is any real change from what we've seen in the last 10 years < 1418664891 233552 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, ok < 1418664897 151208 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, and most C compilers had it simply because floating point is built into C and used very often < 1418664900 226778 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: the UI < 1418664905 69927 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also does it still have that dorky logo < 1418664905 768215 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, the main change is that instead of working on NetHack with no public details, they're now working on something else with no public details < 1418664918 276122 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: oh right, the borders of menus are still purple < 1418664923 416128 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and yes, it still has the ASCII art logo < 1418664932 910074 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is it still full of horrible daniel_tisms < 1418664934 665301 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(obviously some compilers don't have it because hardware or kernel floating point is always available on the system they're compiling for) < 1418664948 542412 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :There are formulas for sin and cos in terms of i, so taking advantage of racket number support turned them into one liners, basically < 1418664974 971438 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :doesn't racket have sin/cos < 1418665004 156938 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: it's getting less full of daniel_tisms over time, but slowly < 1418665018 100081 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is it playable with 80x24 yet < 1418665060 720577 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1418665084 27719 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you might need to mess with some options; if you're playing only in 80x24, you can turn off menu borders and make them page by pages < 1418665088 606761 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then it looks a lot more like vanilla < 1418665095 360596 :drdanmaku!uid17782@gateway/web/irccloud.com/x-fvwzneyuugixpwzd JOIN :#esoteric < 1418665116 550785 :J_Arcane_!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :elliott: yes, but it was an interesting exercise anyway. I'll probably wind up refactoring later and just making them all macros to the Racket versions; I trust their code better. But it was interesting to write. < 1418665147 869405 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :does it have #tip or whatever it was < 1418665165 824008 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh hey also how did that sokoban generating go < 1418665167 749440 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, it doesn't have #tip < 1418665181 725635 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the sokoban generator has actually made a lot of progress, it can generate parts of puzzles but not complete puzzles < 1418665185 673517 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(close to finished, just not finished) < 1418665189 33782 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and it isn't hooked up to NetHack yet < 1418665190 816771 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's just standalone < 1418665207 883691 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I hope you won't put it in nethack because then I won't be able to solve sokoban < 1418665214 812394 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :unless you also put in a sokoban solver to autoexplore < 1418665234 83913 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which you should by the way because not having one is interface screw which nh4 is supposed to avoid < 1418665238 719550 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: this is getting into dungeon redesign contest, and I think we decided not to discuss that until it happened so that we don't bias each other's submissions < 1418665238 898800 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(I have a ticket) < 1418665245 323552 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, I think I might have a solution that keeps everyone happy < 1418665260 610424 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, Sokoban is one of the hardest branches for bots to play < 1418665348 91454 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :b_jonas: this is why nethack is ridiculous < 1418665356 369586 :cluid!~cluid@unaffiliated/cluid JOIN :#esoteric < 1418665363 147076 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if you want to be able to solve sokoban without playing sokoban why even have the sokoban part < 1418665373 726210 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean I htink sokoban in roguelikes is kind of awful but :p < 1418666368 535423 :cluid!~cluid@unaffiliated/cluid PRIVMSG #esoteric :hello < 1418666508 11702 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*think < 1418666513 12006 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1418666526 265573 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1418666532 75059 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1418667116 779586 :oren!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca JOIN :#esoteric < 1418667132 3759 :oren!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca NICK :|oren\ < 1418667518 372392 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :aet your terminal to fracktur < 1418667601 280202 :cluid!~cluid@unaffiliated/cluid PRIVMSG #esoteric :lol < 1418667793 206842 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :wait is it even possible to do that? < 1418667826 899879 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :i have LaTeX installed but I don't see fractur in my font list < 1418667881 986846 :MoALTz!~no@user-46-112-11-86.play-internet.pl JOIN :#esoteric < 1418667974 429914 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh, this is a horrible idea. < 1418668040 703717 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://int-e.eu/~bf3/tmp/eufm10.png < 1418668114 595919 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :Oh! so that is it... hmm, doesn't seem like it has all the chars < 1418668268 633776 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :Aha, i found a similar one that does: http://snag.gy/6iaf9.jpg Sanafon-Kazari < 1418668421 165365 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :Really i like all the fonts in the Sanafon series < 1418668453 513705 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :but this one is pleasingly medieval < 1418668644 144986 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: got to go < 1418668926 460632 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :https://fabrizioschiavi.wordpress.com/tag/monospaced-font/ <-- there is this but it isn't free < 1418669385 777838 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1418669565 117058 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait, let me repeat my question < 1418669570 213641 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :from some days before < 1418669573 982902 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 260 seconds < 1418669642 914362 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if I NFC resp NFD normalize a unicode string, at most how many times its length can it grow, measured in utf-16 code points? < 1418669647 217373 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1418669734 389255 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :i'm not sure. what is the maximum number of diacritics for which a combined glyph esixts? < 1418669777 663614 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :i found a real typewriter fractur: http://snag.gy/RVLmG.jpg < 1418670384 479736 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :Hold on: do Hangeul decompose into the letter? < 1418670401 497018 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1418670473 95911 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1418670553 935597 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :|oren\: so what font is that? < 1418670569 504268 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :http://www.dafont.com/f25-blacklettertypewriter.font < 1418670578 795407 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :in bold < 1418670668 547380 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :I am looking through the http://www.unicode.org/charts/normalization/ charts and so far 3 is the maximum for LAitn < 1418670674 731503 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :*Latin < 1418670844 518829 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :Hangeul also only decompose into 3 code points at maximum apparently < 1418670912 270936 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :For NFD that is. for KC or KD you can have ㌙ and crap < 1418671005 805444 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :which decomposes into 5 or 6 code points < 1418671098 370760 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :𝅘𝅥𝅲 decomposes under NFD into 3 code points, each outside the bMP so each being two 16 bit codes < 1418671161 385689 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :looks like my copypasting it decomposed it. it is char 1D164 < 1418671275 740443 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :so under NFD it appears the maximum is an X3 size increase < 1418671458 654932 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :Under NFKD the maximum i've found is 7 ㈝ < 1418671559 136101 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :Does that answer it b_jonas? < 1418671641 947360 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :\emph{metasepia knows the weather at your nearest airport, and also something < 1418671645 7678 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :about ducks.} < 1418671645 815375 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. < 1418671667 414799 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it had a duckduckgo interface, right? < 1418671669 291836 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1418671675 810296 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :Wat. HOLY SHIT: ﷺ <--that decomposes into 18 code points < 1418671796 634025 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :|oren\: it's a pity that the F25 font uses {} for ck and st. < 1418671840 116758 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :yah. a pity... < 1418671848 846277 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 258 seconds < 1418671852 206053 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1418671875 778762 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :`unicode ﷺ < 1418671897 668182 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :is that the command? < 1418671905 951795 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+FDFA ARABIC LIGATURE SALLALLAHOU ALAYHE WASALLAM \ UTF-8: ef b7 ba UTF-16BE: fdfa Decimal: ﷺ \ ﷺ \ Category: Lo (Letter, Other) \ Bidi: AL (Right-to-Left Arabic) \ Decomposition: 0635 0644 0649 0020 0627 0644 0644 0647 0020 0639 0644 064A 0647 0020 0648 0633 0644 0645 < 1418671925 688769 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :SEE? 18 friggin' code points < 1418671986 594038 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :arabic is why they've stopped adding ligatures to Unicode, isn't it? < 1418672009 886181 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :yah probably < 1418672085 174503 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :There is this one that should decompose but doesn't < 1418672109 323117 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :`unicode ﷽ < 1418672123 124524 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+FDFD ARABIC LIGATURE BISMILLAH AR-RAHMAN AR-RAHEEM \ UTF-8: ef b7 bd UTF-16BE: fdfd Decimal: ﷽ \ ﷽ \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) < 1418672164 756951 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :they probably just decided to stop adding decomposable ligatures < 1418672300 230914 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :It is also a good thing they never thought to decompose Han characters into radicals. < 1418672347 320180 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 250 seconds < 1418672348 560590 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1418672470 846163 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 272 seconds < 1418674026 515597 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1418674059 616705 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1418674297 197190 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :|oren\: mostly, though I don't know whether it's enough to count decompositions of single characters, I don't know if there are composed characters that decompose to uglier stuff, < 1418674306 249974 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :though most likely single characters give the maximum expansion < 1418674326 3398 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, |oren\'s nick is making me wonder if it's possible to have a useful Ruby lambda expression as an IRC nick < 1418674345 777035 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :|oren\: and I'd also like to know how much NFC can expand, which might be less than how much NFD can < 1418674413 998309 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and I'm specificially asking not about latin nor even about meaningful strings, but more about how much some deliberately meaningless strings that people enter just to make my program choke can expand < 1418674428 652662 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :of course if I write the program I'll hopefully add hard limits, but still, I wonder < 1418674458 348831 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the kind of reasonable strings I work with will likely not expand much < 1418674978 598545 :nys!~nysnamovo@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1418675142 922209 :dts|pokeball!~DTSCode@unaffiliated/dtscode QUIT :Quit: is a client command Fabtasticwill < 1418675144 562712 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 244 seconds < 1418675205 563596 :dts|pokeball!~DTSCode@unaffiliated/dtscode JOIN :#esoteric < 1418675328 450155 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1418675473 469065 :quintopia!~quintopia@unaffiliated/quintopia QUIT :*.net *.split < 1418675473 686185 :SirCmpwn!~SirCmpwn@irc.sircmpwn.com QUIT :*.net *.split < 1418675542 622478 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1418675544 29775 :SirCmpwn!~SirCmpwn@irc.sircmpwn.com JOIN :#esoteric < 1418675701 733709 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1418675713 203530 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric > 1418677341 227947 JOIN :#esoteric > 1418677345 374940 JOIN :#esoteric > 1418677345 893133 JOIN :#esoteric > 1418677378 934396 JOIN :#esoteric < 1418677379 381700 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1418677383 72516 JOIN :#esoteric > 1418677383 589747 JOIN :#esoteric < 1418677400 828144 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Ping timeout: 245 seconds < 1418677400 871402 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 245 seconds < 1418677417 901072 :puppy!~nysnamovo@blk-215-85-138.eastlink.ca NICK :nys < 1418677475 760264 :myname!~myname@84.200.43.57 QUIT :Ping timeout: 245 seconds < 1418677522 381846 :myname!~myname@84.200.43.57 JOIN :#esoteric < 1418677691 367613 :Gregor!dlopen@libdl.so JOIN :#esoteric < 1418677781 207734 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :ITS HAPPENING AGAIN < 1418678218 537871 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :oh i guess it's over. Why does it do that? < 1418678278 928537 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :netsplit < 1418678323 503100 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :how come i never get affected? < 1418678395 633167 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you might have been, a netsplit is when IRC falls into two separate halves < 1418678401 794122 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you see everyone in the other half leaving your half < 1418678408 957615 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :looks like you were on the large side this time < 1418678415 343915 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :when you're on the small side, it looks a lot more dramatic < 1418678418 759358 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :oh i see... < 1418678422 220269 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it still looks like it's happening to everyone else, rather than you < 1418678681 862185 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :all I got was < 1418678682 309872 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :20:30:08 -!- Netsplit *.net <-> *.split quits: SirCmpwn, quintopia < 1418678682 353136 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :20:31:17 -!- Netsplit over, joins: quintopia, SirCmpwn < 1418678689 443634 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and a bunch of random ping timeouts and joins that I guess were maybe related? < 1418678735 633149 :AndoDaan!~AndoDaan@188.189.64.135 JOIN :#esoteric < 1418679676 260477 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1418680998 321806 :dts|pokeball!~DTSCode@unaffiliated/dtscode QUIT :Quit: Leaving < 1418681020 464739 :dts|pokeball!~DTSCode@unaffiliated/dtscode JOIN :#esoteric < 1418681135 542339 :clog!~nef@bespin.org JOIN :#esoteric < 1418682290 459694 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 255 seconds < 1418682403 27854 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net JOIN :#esoteric < 1418682629 627196 :MoALTz!~no@user-46-112-11-86.play-internet.pl QUIT :Quit: Leaving < 1418682713 693334 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1418683168 308214 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net QUIT :Quit: No Ping reply in 180 seconds. < 1418683198 789948 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net JOIN :#esoteric < 1418683204 619213 :dts|pokeball!~DTSCode@unaffiliated/dtscode NICK :dts < 1418683412 969958 :AndoDaan!~AndoDaan@188.189.64.135 QUIT :Quit: bbl < 1418683678 855239 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 245 seconds < 1418683740 193293 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1418684546 446383 :idris-bot!~ircslave@dslb-088-077-173-086.088.077.pools.vodafone-ip.de QUIT :Quit: Terminated < 1418684564 468065 :idris-bot!~ircslave@dslb-088-077-173-086.088.077.pools.vodafone-ip.de JOIN :#esoteric < 1418684642 144751 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net QUIT :Quit: adu < 1418685053 105492 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net QUIT :Quit: No Ping reply in 180 seconds. < 1418685081 820591 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net JOIN :#esoteric < 1418685112 738526 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1418685171 701818 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :Eureka! everything is an array! < 1418685228 225657 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :|oren\: but is it as dense as gold? < 1418685265 82007 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :using () for subscripts, I(0)+I(1) would make sense < 1418685358 571974 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :of course! what was i thinking, a language called csrip7 should have sub/superscripts. < 1418685371 83837 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a BASIC observation < 1418685389 8101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1418685475 452596 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :he||oren. < 1418685478 670190 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellørjan. < 1418685651 722550 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :byerjan. < 1418685658 47850 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :orenvoir. < 1418685667 229722 :boily!~alexandre@96.127.201.149 QUIT :Quit: FISSILE CHICKEN < 1418685906 1699 :cluid!~cluid@unaffiliated/cluid PRIVMSG #esoteric :any cool esolangs < 1418685925 861578 :`^_^v!~nycs@gw.hq.meetup.com PRIVMSG #esoteric :no :( < 1418685931 407201 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :none of them are cool < 1418685932 185654 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :sorry < 1418685947 140543 :cluid!~cluid@unaffiliated/cluid PRIVMSG #esoteric ::( < 1418685982 499484 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :lololol treehugger is cool? it's cool how its address space is more infinite than the integers. < 1418686007 863435 :dts!~DTSCode@unaffiliated/dtscode NICK :BillsPC < 1418686016 743209 :cluid!~cluid@unaffiliated/cluid PRIVMSG #esoteric :thanks :) < 1418686018 50952 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm sorry but it's still countable hth < 1418686025 241172 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :cluid: Befunge is my favorite < 1418686026 619296 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :it is? < 1418686070 914382 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :oh i see, you number them in ternary with ^>< as gitis < 1418686073 857893 :cluid!~cluid@unaffiliated/cluid PRIVMSG #esoteric :ill haev a look at befunge < 1418686074 808361 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :*digits < 1418686158 250189 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1418686178 548912 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :are there any esolangs with uncountable memory space? < 1418686183 28364 :BillsPC!~DTSCode@unaffiliated/dtscode NICK :dts|pokeball < 1418686189 903547 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe Gravity counts < 1418686221 25575 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: |oren\ asked for something uncountable hth < 1418686251 635176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's rather hard to get to an arbitrary address in an uncountable space using finite commands < 1418686275 456542 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well offering things that count certainly isn't going to help < 1418686291 219846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just because it counts doesn't mean it can be counted < 1418686322 567105 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :blah what? < 1418686346 921944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :|oren\: shachaf is trying to tempt me with puns hth < 1418686364 933364 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i really thought i had a shot there < 1418686382 891132 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you were close. < 1418686407 469775 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :I am still using a blackletter font in my terminal < 1418686422 808486 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :i am getting used to it < 1418686492 509559 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :Oh, how about if you have a tree of countably infinite branching rate? < 1418686545 813609 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :E.g. a version of Treehugger where is a command for arbitrary N. < 1418686573 770781 :cluid!~cluid@unaffiliated/cluid PRIVMSG #esoteric :|oren\, if you look at the brainfuck algorithms page there is an emergent language there: brainfuck with 'varibales' < 1418686635 345325 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1418686753 519510 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :a brainfuck with real tape indices would be fun < 1418686873 792359 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :BF with a real tape < 1418686886 414102 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :That would be great < 1418686891 530551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :|oren\: blackletter? i thought you were using that heart thing? or am i confusing you with someone else. < 1418686898 766764 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or how about BF with the tape representing one real < 1418686905 370841 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in normal BF only a finite subset of the tape is ever non-zero < 1418686914 163246 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so you'd have to come up with operations that work on the entire tape < 1418686933 615324 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :oerjan: i was using cursive with cute hearts now I'm using blackletter < 1418686957 239926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(s.t. the possible tapes get the cardinality \Beth_1) < 1418686972 455791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: hm for that to be weird enough you'd need <> variants that multiplied by something other than a power of 2 < 1418686984 215880 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :for which? < 1418687003 619435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you'd need to be able to do sufficiently fancy enough operations on the tape pointer for it to actually be a real, yes < 1418687012 62995 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although a real still doesn't give you infinite tape both ways < 1418687020 55465 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(I suppose it's pretty much inevitably a subset of the reals because most of them are indescribeable) < 1418687039 983350 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(unless you had a command to set the tape pointer to something uniformly random in [0,1) >:) ) < 1418687068 835349 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it would be cool if the tape was continuous < 1418687079 819953 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like instead of a value being at exactly one real index it sort of diffused throughout an interval < 1418687138 488319 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like you could have a value 128.4 at 1 that would decay with the inverse square law at indices above/below that. and so values in different but close positions would interfere with each other. or something < 1418687145 544904 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :where's my nobel prize < 1418687168 480057 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive QUIT :Remote host closed the connection < 1418687210 724413 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: this sounds familiar. < 1418687243 966196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think there is such a bf derivative already < 1418687246 950016 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1418687253 241714 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that is because all bf derivatives exist < 1418687265 93700 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's just a matter of uniquely identifying which one you're referring to < 1418687271 405640 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :it is the esolang version of rule 34 < 1418687271 851904 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thanks, plato < 1418687281 439897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i mean one that has been discussed in channel, although not necessarily put on the wiki < 1418687297 718220 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes, I agree < 1418687306 456868 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's one of those things where I think I'm inventing but am probably actually just remembering < 1418687447 435620 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mwhaha http://int-e.eu/~bf3/tmp/fmono.png < 1418687485 349304 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :fmono? < 1418687544 842609 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: you know i think monospace blackletter is like epic missing of the point < 1418687596 980941 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I did something slightly crazy. I started with UnifrakturMaguntia, and fontforge, and produced http://int-e.eu/~bf3/tmp/UnifrakturMonospace.ttf in a process that will make every font designer weep :P < 1418687633 925981 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(basically reducing the width of capital letters by 60%, except for M and W which were reduced by 50%, plus minor adjustments throughout.) < 1418687646 124590 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :The font of madness | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1418687685 53299 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: yes, it's completely missing the point, which *may* be the reason why so few of those fonts actually exist ;-) < 1418687753 575829 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :int-e: is that irssi? < 1418687759 396757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now get microsoft to support it as default < 1418687767 436254 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :CrazyM4n: that's emacs. < 1418687770 803289 :cluid!~cluid@unaffiliated/cluid PRIVMSG #esoteric :Has anyone been able to write interesting programs in Treehugger? < 1418687778 46487 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1418687781 971360 :cluid!~cluid@unaffiliated/cluid PRIVMSG #esoteric :I would really like to see its potential used < 1418687785 595341 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :of course it's emacs < 1418687793 546538 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :101) alise: mainly it's the fact it blows so hard i cannot avoid hitting the walls of the thing, which completely goes against my basic public toilet hygiene principles < 1418687796 710118 :CrazyM4n!~CrazyM4n@ip70-162-52-61.ph.ph.cox.net PRIVMSG #esoteric :how could I be so naïve < 1418687852 857516 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :hmm, good quote, makes you simultaneously want and not want to know what it's about < 1418687869 4409 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: that said I think that's actually an improvement over http://int-e.eu/~bf3/tmp/forig.png < 1418687881 361977 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: and that was the point, more or less. < 1418687885 666110 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner: it's about the dyson airblade hth < 1418687908 78114 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which they had in my once favorite restaurant < 1418687932 689643 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :I see < 1418687943 656066 :|oren\!~oren@TOROON0949W-LP140-1-1176000251.dsl.bell.ca PRIVMSG #esoteric :Ok, so i'll configure my terminal somehow to switch between equally insane fonts at random intervals < 1418687987 566041 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :CrazyM4n: fwiw, if I were actually using emacs in a terminal, the cyan foreground color would be different. < 1418687994 924109 :cluid!~cluid@unaffiliated/cluid PRIVMSG #esoteric :Has anyone had any IDEAS for it?