< 1447805196 569599 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1447805273 882910 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :FreeFull: Not what happened. :P < 1447805278 278063 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :izabera: Not what I meant. < 1447805279 111335 :Vinegar!~Vinegar@r74-192-91-97.tyrdcmta01.tylrtx.tl.dh.suddenlink.net QUIT :Ping timeout: 276 seconds < 1447805298 376642 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :FreeFull: Well, it's meant to do that, but that's not what I wanted to happen. < 1447805357 369492 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :[ *~ 10 < 1447805358 69136 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :FreeFull: 100 < 1447805363 376229 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :[ *: 10 < 1447805364 93134 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :FreeFull: 100 < 1447805505 661084 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :can i create a page about that brace expansion thingy? < 1447805586 400899 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :of course < 1447806321 593527 :lleu!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1447807341 930296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm did that work well < 1447807364 268838 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope < 1447807424 945208 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not even ctrl-alt-del works... < 1447807567 235306 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Are you okerjan < 1447807663 434082 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hard reboot again < 1447807678 808065 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it seems like any programs i want started, i must start shortly after the machine boots < 1447807781 455356 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1447807812 94371 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1447807817 765573 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and then i must not leave it idle too long, or it will reboot. < 1447807842 315977 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Client Quit < 1447808226 85261 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1447808385 384716 :mauris_!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 265 seconds < 1447809066 52757 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 240 seconds < 1447809294 942154 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 260 seconds < 1447809394 683559 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1447809395 534867 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1447809507 344156 :mihow!~mihow@c-73-11-29-161.hsd1.or.comcast.net JOIN :#esoteric < 1447809735 347844 :mihow!~mihow@c-73-11-29-161.hsd1.or.comcast.net QUIT :Client Quit < 1447809887 679050 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 264 seconds < 1447810434 81386 :mihow!~mihow@c-73-11-29-161.hsd1.or.comcast.net JOIN :#esoteric < 1447810475 778037 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1447810636 375494 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellœrjan. are you still suffering from an unstable machine? < 1447810821 541331 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1447810883 320358 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep < 1447810890 801750 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? bonveno < 1447810891 770292 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bonveno? ¯\(°​_o)/¯ < 1447810899 130187 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? bonveno`n < 1447810900 106017 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bonveno`n? ¯\(°​_o)/¯ < 1447810902 104057 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? bonvenon < 1447810903 319575 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Bonvenon al la internacia centro por la desegno kaj ellaso de esoteraj programlingvoj! Por pli da informado, vizitu la Viki-on: http://esolangs.org/wiki/Main_Page. (Por la alia speco de esotero, iru al #esoteric sur irc.dal.net.) < 1447810917 786679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` mv wisdom/{bonvenon,welcome.eo} < 1447810921 629750 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1447810931 953373 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` grep bonve bin/* < 1447810935 567348 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :grep: bin/selflink: Too many levels of symbolic links < 1447810943 91298 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1447810955 741233 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` ls -l bin/selflink < 1447810956 771373 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lrwxrwxrwx 1 5000 0 8 Jun 21 02:47 bin/selflink -> selflink < 1447810963 48557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`rm bin/selflink < 1447810965 483989 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1447810967 87746 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` grep bonve bin/* < 1447810967 973454 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1447811138 445559 :andrew!~andrew@14.154.167.241 JOIN :#esoteric < 1447811235 569509 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1447811955 408778 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :what characters should I add today? < 1447812187 922933 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :the ones you forgot yesterday < 1447812199 251086 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :
ACTION useful
< 1447812293 677837 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :\helloren\ < 1447812296 417148 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :https://www.youtube.com/watch?v=Seh9_sFv1Z4 < 1447812314 980524 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(this video is dedicated to all this fine channel's insomniacs.) < 1447812327 819929 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :\oren\: have you covered the jōyō kanji yet? < 1447812337 347055 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :not yet < 1447812351 981559 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what is THAT < 1447812380 545240 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :https://www.youtube.com/watch?v=TeiTkkp2TKM < 1447812385 986834 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :izabera: it was one of the videos showcased yesterday night. < 1447812411 346655 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :yay let's all pst youtube links without any clue to what they point to < 1447812425 578252 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :you see, every Monday night, I attend the «Lundi Douteux». it's a weekly event in a bar near home where they show disturbing and disquieting things on a screen. < 1447812473 463120 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :== they dump 4chan < 1447812514 906190 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03SilverWingedSeraph 5* 10New user account < 1447812552 682628 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :https://www.youtube.com/watch?v=rLy-AwdCOmI < 1447812590 418262 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :izabera: of course not. it goes deeper. < 1447813180 732887 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:SilverWingedSeraph14]]4 N10 02http://esolangs.org/w/index.php?oldid=45463 5* 03SilverWingedSeraph 5* (+24) 10Create empty page. < 1447813258 410399 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :https://www.youtube.com/watch?v=FTIkCbDdBNc < 1447813293 778646 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@localtime izabera < 1447813294 761192 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Local time for izabera is Wed, 18 Nov 2015 03:20:17 +0100 < 1447813309 72797 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :izabera: shouldn't you be sleeping? < 1447813384 616587 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1447813502 960185 :andrew!~andrew@14.154.167.241 QUIT :Remote host closed the connection < 1447813541 342824 :andrew!~andrew@14.154.167.241 JOIN :#esoteric < 1447813705 179701 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION realizes he forgot to include the OOTS book in his backup, it wasn't in Documents
< 1447813843 176658 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :aaaaaaaaaaaaaaaah! < 1447813852 682339 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :is it lost& < 1447813862 858236 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :s&\&&?& < 1447813972 158026 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i should rather block time requests < 1447814093 349207 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :time to pillow for me. bonne nuizabera! < 1447814098 246237 :boily!~alexandre@96.127.201.149 QUIT :Quit: COMMUNAL CHICKEN < 1447814212 135655 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell boily no, my computer _is_ still working enough to copy more < 1447814212 290868 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1447814236 132038 :Warrigal_!~tswett@192.241.237.138 NICK :tswett < 1447814350 915518 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there < 1447814963 577866 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Woo! < 1447814989 151033 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I just proved that for a natural number n, the n-fold successor of 1 is the successor of n. < 1447815191 629451 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Dang, if I keep this up, I might just be able to prove that the natural numbers are a commutative semiring. < 1447815378 297504 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: russell and whitehead, eat your heart out! < 1447815423 877833 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm using possibly the minimum feasible axiomatization of the natural numbers. < 1447815447 43423 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1447815462 814653 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm not even admitting logic. < 1447815469 376279 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1447815482 738422 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :My system has no concept of disjunction. < 1447815618 80685 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds < 1447815640 112248 :mihow!~mihow@c-73-11-29-161.hsd1.or.comcast.net QUIT :Quit: mihow < 1447815675 208967 :mihow!~mihow@c-73-11-29-161.hsd1.or.comcast.net JOIN :#esoteric < 1447815880 61218 :mihow!~mihow@c-73-11-29-161.hsd1.or.comcast.net QUIT :Client Quit < 1447816146 765036 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 M10 02http://esolangs.org/w/index.php?diff=45464&oldid=45315 5* 03Blakusl 5* (+14) 10Adding Brackit language < 1447816187 845335 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :oerjan: oh, good, you're doing backups. are you going to nuke the computer after or just get a new one? < 1447816265 5709 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Semantic Brain14]]4 N10 02http://esolangs.org/w/index.php?oldid=45465 5* 03SilverWingedSeraph 5* (+7733) 10Create page and add specification, description, and sample programs. < 1447816462 706058 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Semantic Brain14]]4 M10 02http://esolangs.org/w/index.php?diff=45466&oldid=45465 5* 03SilverWingedSeraph 5* (+12) 10Fix categorization. < 1447816659 663046 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Woo! I proved addition commutative, and it only took about ten minutes. < 1447816703 698276 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Lemme describe my system. < 1447816748 1034 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The ambient "logic" is that of a finite limit category. < 1447816844 425617 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Better known as a finitely complete category. < 1447816855 539999 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Without further ado. < 1447816935 427 :Vinegar!~Vinegar@r74-192-91-97.tyrdcmta01.tylrtx.tl.dh.suddenlink.net JOIN :#esoteric < 1447816944 742253 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"There are natural numbers. Zero is a natural number. The successor of a natural number is a natural number. Given a value z and a function s, there is a function R such that R(zero) = z and for all n, R(succ(n)) = s(R(n)). Given two functions f and g, if f(zero) = g(zero), and f(succ(n)) = g(succ(n)) whenever f(n) = g(n), then f = g." < 1447817129 152836 :myndzl!myndzi@tetrisguide.com NICK :myndzi < 1447817232 578948 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :My hope is that that's enough to prove... a bunch of stuff. < 1447817241 917655 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It's enough to prove addition commutative! < 1447817661 242148 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :Holy shit awesome tweets going out under hashtag #ISISクソコラグランプリ < 1447817677 608661 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :(Isis eat shit grand prix) < 1447817875 437228 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :wait, no. ISIS shit collage grand prix < 1447817949 709430 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` sed -r "s|([+-])|))\1((|g;s|([*/])|)\1(|g;s|.*|((&))|" <<< "a*b+c^d/e" < 1447817950 497437 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​((a)*(b))+((c^d)/(e)) < 1447818013 122355 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :aint that pretty < 1447818131 12803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :\oren\: decisions, decisions. < 1447818209 128041 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :oerjan: they made a girl chracter called ISIS chan who wears a burka and likes melons for some reason < 1447818366 613680 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :https://twitter.com/ztube_ < 1447818397 578064 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :\oren\: AFAIK the melon signifies a severed head < 1447818408 909969 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :a bad joke, really. < 1447818610 58715 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :well hopefully this annoys the real isis < 1447818708 313045 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :uh, I don't think so, ISIS uses a media outlet as a primary tactic and it may repurpose the character for its own good < 1447819989 790281 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07~EarthBit14]]4 N10 02http://esolangs.org/w/index.php?oldid=45467 5* 03Conor O'Brien 5* (+865) 10Created page with "'''EarthBit''' is a [[Joke language]] that is interesting in that all the operators are confused. == Syntax == In EarthBit there are numeric literals, the only data type. Eac..." < 1447820051 226109 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07~EarthBit14]]4 10 02http://esolangs.org/w/index.php?diff=45468&oldid=45467 5* 03Conor O'Brien 5* (+19) 10 < 1447820095 667605 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell b_jonas oerjan, help me! <-- FP? doesn't sound quite like it though. < 1447820095 837118 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1447820109 129283 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07~EarthBit14]]4 M10 02http://esolangs.org/w/index.php?diff=45469&oldid=45468 5* 03Phase 5* (+0) 10 < 1447820271 739645 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07~EarthBit14]]4 10 02http://esolangs.org/w/index.php?diff=45470&oldid=45469 5* 03Conor O'Brien 5* (+167) 10 < 1447820305 386283 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :Maybe I should also output a breakdown of my font by blocks < 1447820559 896267 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Conor O'Brien14]]4 10 02http://esolangs.org/w/index.php?diff=45471&oldid=45309 5* 03Conor O'Brien 5* (+33) 10/* Languages I have made */ < 1447821297 402496 :function!~variable@freebsd/developer/variable JOIN :#esoteric < 1447821961 146211 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1447822449 853596 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :DAMN < 1447822473 440128 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :is there an equivalent to sed that works well with binary files? < 1447822564 784846 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :there's gcc + your c skills < 1447822888 845187 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :augh. i guess so < 1447822900 108219 :function!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1447823165 629392 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :do you need it for your font? < 1447823298 672717 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph another surprise reboot but at least IE recovered the tabs < 1447823328 188406 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :give wine a try < 1447823608 646367 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I think I'll work on Kastor and how literals work in it < 1447824023 753010 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :why is the overlap between this channel and the ppcg stack exchange so narrow? < 1447824111 139189 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :whats ppcg < 1447824299 835192 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://youtu.be/xdRvmHqhiHA oooh cool < 1447825847 389331 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Hm... < 1447825879 189811 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I'm considering having a different between => and : dicts in Kastor, but I don't know what to make the difference xD < 1447825959 384637 :Vinegar!~Vinegar@r74-192-91-97.tyrdcmta01.tylrtx.tl.dh.suddenlink.net QUIT :Ping timeout: 265 seconds < 1447828081 789681 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :喫営嗅嗣嘆嘱嘲噴嚇坪城域執培基埼堀堅堆堕 < 1447828081 966008 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :堤堪報塀塁塊塑材氾汁求汎汗汚江汰沃沈沖沙 < 1447828082 300878 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :没沢河沸 < 1447828560 591256 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :oren: file('out', 'wb').write(file('in', 'rb').read().replace('this','that')) < 1447828747 455348 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :am i the only one thinking that chriss cornell looks like christian bale? < 1447828780 837091 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://www.metalinsider.net/site/wp-content/uploads/2014/02/chris-cornell-soundgarden-353x.jpg < 1447828818 704583 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :also listen to this, it's awesome even if it's not my genre https://www.youtube.com/watch?v=zpMfZPAc1kg < 1447828918 418159 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :he looks baleful indeed < 1447829030 95785 :J_Arcane!~chatzilla@37-219-95-164.nat.bb.dnainternet.fi QUIT :Ping timeout: 276 seconds < 1447829158 965523 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :all those irish guys look the same to me < 1447829163 340113 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :;-) < 1447829807 763657 :perrier!~cinch@107.170.175.57 QUIT :Remote host closed the connection < 1447829882 194007 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1447830123 352884 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric < 1447830517 931159 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1447830738 434126 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: "is there an equivalent to sed that works well with binary files?" => perl < 1447830763 66050 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :prolog? < 1447831017 420492 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Tobsta 5* 10New user account < 1447831102 737417 :Vinegar!~Vinegar@r74-192-91-97.tyrdcmta01.tylrtx.tl.dh.suddenlink.net JOIN :#esoteric < 1447831773 37689 :impomatic_!~digital_w@42.147.189.80.dyn.plus.net JOIN :#esoteric < 1447831790 778567 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :b_jonas: xxd < 1447832165 134165 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1447833108 810854 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Quit: adu < 1447833474 121553 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds < 1447834556 864070 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: yes, that might be what I was thinking, and indeed it's similar: it doesn't have a builtin like the rule 5 of David's machine, but only a separate B-like composition builtin and a list-building builtin < 1447834927 316213 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Also, I was thinking more of David's language, and I definitely get the esoteric jive from it, so now I'm sure it's an esolang that deserves to be examined more. < 1447835253 24326 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mhm < 1447835358 711072 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brackit14]]4 N10 02http://esolangs.org/w/index.php?oldid=45472 5* 03Blakusl 5* (+5757) 10Creating the page. < 1447835808 45524 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll have to write about it later. < 1447836001 686089 :evalj!~jeval@BC066B86.catv.pool.telekom.hu JOIN :#esoteric < 1447836005 70871 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :] 12*-/(2-%:3)(^%])1+2*i.14 < 1447836005 353248 :evalj!~jeval@BC066B86.catv.pool.telekom.hu PRIVMSG #esoteric :b_jonas: 3.14159 < 1447836017 834790 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :] 1j15": 12*-/(2-%:3)(^%])1+2*i.14 < 1447836018 130492 :evalj!~jeval@BC066B86.catv.pool.telekom.hu PRIVMSG #esoteric :b_jonas: * < 1447836022 234826 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :huh? < 1447836030 74778 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :] 0j15": 12*-/(2-%:3)(^%])1+2*i.14 < 1447836030 384755 :evalj!~jeval@BC066B86.catv.pool.telekom.hu PRIVMSG #esoteric :b_jonas: 3.141592653589794 < 1447836032 254579 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right, that < 1447836049 762745 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :] 0j15": (($&0 12 0 _12%i.)28)p.2-%:3 < 1447836050 54676 :evalj!~jeval@BC066B86.catv.pool.telekom.hu PRIVMSG #esoteric :b_jonas: 3.141592653589794 < 1447836059 531544 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :] 0j15": o.1 < 1447836059 863160 :evalj!~jeval@BC066B86.catv.pool.telekom.hu PRIVMSG #esoteric :b_jonas: 3.141592653589793 < 1447837310 720546 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1447837320 725484 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1447837562 724229 :Vinegar!~Vinegar@r74-192-91-97.tyrdcmta01.tylrtx.tl.dh.suddenlink.net QUIT :Ping timeout: 246 seconds < 1447838855 734448 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1447839494 847098 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://www.codeeval.com/open_challenges/201/ i solved this but my solution is too slow http://arin.ga/cZMwGs/raw < 1447839502 915420 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :any hint to improve it? :\ < 1447839591 592136 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :a better algorithm or i dunno < 1447840401 812692 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1447841549 446112 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 N10 02http://esolangs.org/w/index.php?oldid=45473 5* 03B jonas 5* (+4724) 10Created page with "'''Amycus''' is simple Turing-equivalent functional programming language defined by [[David Madore]] in [http://www.madore.org/~david/weblog/d.2015-11-16.2337.html#d.2015-11-1..." < 1447841657 969792 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45474&oldid=45473 5* 03B jonas 5* (+112) 10 < 1447841772 78586 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hyperamicus14]]4 N10 02http://esolangs.org/w/index.php?oldid=45475 5* 03B jonas 5* (+2387) 10Created page with "'''Hyperamycus''' is a functional programming language defined by [[David Madore]] in [http://www.madore.org/~david/weblog/d.2015-11-16.2337.html#d.2015-11-16.2337 his 2015-11..." < 1447842030 613603 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hyperamicus14]]4 10 02http://esolangs.org/w/index.php?diff=45476&oldid=45475 5* 03B jonas 5* (+509) 10 < 1447842053 860128 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07David Madore14]]4 10 02http://esolangs.org/w/index.php?diff=45477&oldid=8771 5* 03B jonas 5* (+41) 10 < 1447842223 72550 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45478&oldid=45474 5* 03B jonas 5* (+335) 10 < 1447842331 352910 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Someone might want to check if what I write about Amycus makes sense. < 1447842359 206924 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :If you've checked and it seems correct (in particular the transformation of lambda expressions to Amycus) please drop me a line. < 1447842582 77164 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:B jonas14]]4 10 02http://esolangs.org/w/index.php?diff=45479&oldid=45458 5* 03B jonas 5* (-139) 10 < 1447842751 513886 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brackit14]]4 10 02http://esolangs.org/w/index.php?diff=45480&oldid=45472 5* 03Blakusl 5* (+3151) 10 < 1447843191 529373 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brackit14]]4 10 02http://esolangs.org/w/index.php?diff=45481&oldid=45480 5* 03Blakusl 5* (+9) 10/* Objects */ < 1447843472 373273 :andrew!~andrew@14.154.167.241 QUIT :Remote host closed the connection < 1447843821 481452 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45482&oldid=45478 5* 03B jonas 5* (+856) 10 < 1447843837 750831 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wow HackEgo is fast < 1447844122 65214 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45483&oldid=45482 5* 03B jonas 5* (+15) 10 < 1447844379 143349 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :izabera: The whole premise of the question is faulty; I don't remember forming the words "MOM", "DAD" or "TRAIN" with alphabet blocks. Sorry, can't help you there. < 1447844722 618349 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45484&oldid=45483 5* 03B jonas 5* (+870) 10 < 1447844750 690927 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :fungot, we propose you to remind this time for a while. < 1447844750 919001 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Jafet: at least nobody fnord during kent's summary information) and parsing the useful bits for an instruction < 1447845792 418546 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Ok, now I need two more names. A name for the subset of Amycus without rule 2 and 4; and a name for the subset of Amycus where numbers and lists aren't equivalent. < 1447845831 408328 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45485&oldid=45484 5* 03B jonas 5* (+10) 10 < 1447845968 66312 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Maybe Amycus Sequentius for the former, and Amycus Bebryx for the latter. < 1447846401 754397 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or I could call the latter Amycus Severus, because it's strictly typed < 1447846537 539783 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1447846625 851254 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and Amycus Sequenti for the first < 1447846671 865630 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45486&oldid=45485 5* 03B jonas 5* (+123) 10 < 1447847361 547783 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 265 seconds < 1447847510 391569 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus Severus14]]4 N10 02http://esolangs.org/w/index.php?oldid=45487 5* 03B jonas 5* (+3284) 10Created page with "'''Amycus Severus''' is a Turing-equivalent functional programming language that is a restricted variant of [[Amycus]] by [[David Madore]]. == Definition == Amycus Severus ha..." < 1447847691 262096 :evalj!~jeval@BC066B86.catv.pool.telekom.hu QUIT :Remote host closed the connection < 1447849936 623252 :boily!~alexandre@96.127.201.149 QUIT :Quit: TRANSLATED CHICKEN < 1447851510 73888 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ARGH I HAVE A BUG IN MY DESCRIPTION < 1447851516 593887 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I know how to fix it, but it takes some time. < 1447851643 204020 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45488&oldid=45486 5* 03B jonas 5* (+116) 10 < 1447851744 886991 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus Severus14]]4 10 02http://esolangs.org/w/index.php?diff=45489&oldid=45487 5* 03B jonas 5* (-58) 10 < 1447851820 97316 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45490&oldid=45488 5* 03B jonas 5* (+26) 10 < 1447852884 254899 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Semantic Brain14]]4 M10 02http://esolangs.org/w/index.php?diff=45491&oldid=45466 5* 03SilverWingedSeraph 5* (-1) 10Fix typos. < 1447852934 685507 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-wjfsbwcjvjftwype QUIT :Excess Flood < 1447853130 548682 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-jwghzpwsymxdqkgn JOIN :#esoteric < 1447853278 882529 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Semantic Brain14]]4 M10 02http://esolangs.org/w/index.php?diff=45492&oldid=45491 5* 03SilverWingedSeraph 5* (+5) 10Fix vertical bar not being shown. < 1447853421 329409 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Semantic Brain14]]4 10 02http://esolangs.org/w/index.php?diff=45493&oldid=45492 5* 03SilverWingedSeraph 5* (-3) 10Fix conflict in bitshift left and sum (master:eecd157) < 1447853454 162506 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Semantic Brain14]]4 M10 02http://esolangs.org/w/index.php?diff=45494&oldid=45493 5* 03SilverWingedSeraph 5* (+0) 10Fix cum. add. program to work with new addition symbol < 1447853483 664102 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Semantic Brain14]]4 10 02http://esolangs.org/w/index.php?diff=45495&oldid=45494 5* 03SilverWingedSeraph 5* (+0) 10 < 1447853985 146049 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Semantic Brain14]]4 M10 02http://esolangs.org/w/index.php?diff=45496&oldid=45495 5* 03SilverWingedSeraph 5* (+28) 10 < 1447854472 569600 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :OH! also, I'm completely wrong < 1447854477 418417 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1447854478 867894 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you can't even nth a tuple in Amycus < 1447854483 573489 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :at least not in the obvious way < 1447854500 875671 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think you need the eval rule for it < 1447856994 6437 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm still fixing it < 1447857001 281686 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's more complicated to describe properly than I thought < 1447857131 133500 :J_Arcane!~chatzilla@37-219-95-164.nat.bb.dnainternet.fi JOIN :#esoteric < 1447857285 262049 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hyperamycus or Hyperamicus? the Amycus article links to both; one is a red link < 1447857288 149706 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :which is probably bad < 1447857684 560753 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45497&oldid=45490 5* 03B jonas 5* (+2185) 10fix description of how to transform lambda expressions (tbc) < 1447857774 252153 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@tell boily would the translated chicken be moved to the other side of the road? < 1447857774 400575 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1447858033 605893 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"If you wish to join the ?GREAT ILLUMINATI WORLD WIDE?AND BECOME RICH, AND HAVE FAME IN LIFE Contact Us via email: illuminaticonfraternity@aol.com for more information" < 1447858039 587820 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :How the mighty have fallen. < 1447858538 424552 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Quit: Leaving < 1447859778 207786 :haavard!freebsd@haavard.me QUIT :Read error: Connection reset by peer < 1447859807 484277 :haavard!freebsd@haavard.me JOIN :#esoteric < 1447859859 124986 :Xe!xe@unaffiliated/xe QUIT :Ping timeout: 240 seconds < 1447860065 983123 :Xe!xe@unaffiliated/xe JOIN :#esoteric < 1447860870 688266 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45498&oldid=45497 5* 03B jonas 5* (+3805) 10 < 1447860932 337580 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45499&oldid=45498 5* 03B jonas 5* (+0) 10 < 1447860955 116608 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1447860980 537535 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :sic transit gloria mundi < 1447861004 729339 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :should be much better, though still needs minor fixes from me, and then finding the errors by you < 1447861315 778464 :idris-bot!~idris-bot@dslb-084-062-104-105.084.062.pools.vodafone-ip.de JOIN :#esoteric < 1447861344 741169 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1447861427 317779 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is now using a rented laptop while his own is on service
< 1447861450 473441 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i see i've got a mail that they found a hard disk sector error < 1447861522 324825 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45500&oldid=45499 5* 03B jonas 5* (+64) 10 < 1447861574 453194 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which is good news: the warranty should cover it; bad news: according to what was said at the shop, it might then take an extra week. < 1447861601 899149 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: do you understand enough about combinator calculus to know that version with B and C and whatever else as base instead of S? If so, maybe you can tell why rule 0 isn't needed for Amycus. < 1447861625 682212 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i haven't looked at those rule 0 etc. things. < 1447861633 69709 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Also, if any of you want to read my writeup about Amycus to tell where I'm writing nonsense, feel free. < 1447861645 980900 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but it's BCKW, isn't it < 1447861651 121773 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no idea < 1447861656 255147 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think there's more than one base < 1447861664 310044 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :W f x = f x x, if my recall is right < 1447861667 265832 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll have to look it up in the bird book < 1447861675 433583 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, and what is C? < 1447861689 361427 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :B is like B x y z = x (y z) if I understand right < 1447861734 20906 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :C x y z = x z y, i think < 1447861738 263942 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i.e. flip < 1447861744 193766 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45501&oldid=45500 5* 03B jonas 5* (+4) 10 < 1447861803 909596 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :https://en.wikipedia.org/wiki/B,C,K,W_system < 1447861816 418281 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :each of B and C is restricting one of the arguments of S to not being applied to z < 1447861898 137207 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION was worried for a moment when the rented laptop asked for an admin password (which i don't have) to run the putty installer. fortunately just copying putty.exe worked instead.
< 1447862010 786486 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is giving Edge a second chance since he's on a laptop that doesn't contain any of his IE settings anyway.
< 1447862030 406053 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :they seem to have added some tooltips. < 1447862223 209487 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :We probably hvae to figure this out fast (in a day or two), because if we don't, then knowing David, he might come up with a ten page long essay clearly explaining the answer, with a detailed introdcution to BCKW calculus to laymen. < 1447862315 405746 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :And if he doesn't, then ais523 will give an answer in a few weeks. < 1447862325 154858 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it doesn't matter, it will be in french anyway < 1447862351 14604 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: no, when I ask questions in English, David usually answers in English. < 1447862359 456675 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :aha < 1447862416 678375 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :If I understand correctly, David Madore is native bilingual French and English, and also a polyglot who cares about lots of other languages. < 1447862526 854149 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Mind you, if ais523 answers it, then the answer will be a four line solution with a minimal translation from BCKW or some such thing to Amycus-Sequenti without rule 0, not a detailed essay of the background. < 1447862711 802075 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :um have you ever seen ais523 write < 1447862757 205777 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: yeah, probably not really that dense < 1447862764 508699 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :this laptop has too coarse brightness settings :( < 1447862776 805633 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I keep having that problem with the volume setting on everything < 1447862794 509874 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :why can't there be five volume buttons, for fast increase, fast decrease, fine increase, fine decrease, mute? < 1447862839 901690 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(where if you press mute, then press mute again, then it unmutes to the previous level, but if you instead mute then press increase then it increases starting from zero) < 1447862896 396942 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45502&oldid=45501 5* 03B jonas 5* (+62) 10 < 1447863042 740972 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus Severus14]]4 10 02http://esolangs.org/w/index.php?diff=45503&oldid=45489 5* 03B jonas 5* (+12) 10 < 1447863387 457531 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hyperamicus14]]4 10 02http://esolangs.org/w/index.php?diff=45504&oldid=45476 5* 03B jonas 5* (+124) 10/* Notes */ < 1447863412 366730 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :You know, "increase-when-muted is increase-from-zero" is a great idea actually... < 1447863473 343022 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :FireFly: that behavior already exists in some switches. It's the fine and fast controls that aren't used much, and especially not in sound volume controls. < 1447863492 675907 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Nod < 1447863508 213844 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think some television sets increase from zero after mute, and the dimmer light switche in my room also does that. < 1447863569 353834 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think some of the volume and brightness controls are deliberately restricted from below so they don't have to solve dumb customer service problems like "the monitor doesn't work" => "turn on the brightness". < 1447863585 4447 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Bah, most people only need two buttons: increase sound power and decrease sound power. < 1447863631 545435 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :A good knob/wheel would cater for both purposes I think < 1447863710 575211 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1447863732 737933 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Jafet: no, I need a full turing-complete perl scriptable interface for volume control with a real keyboard and large monitor. < 1447863737 654381 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :with increase/decrease buttons I find it to take a while to get used to how much a single press affects the current level < 1447863775 376027 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(there is also software where the increase is linear, instead of exponential) < 1447863906 210017 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Ok, I'll probably have to look this up in the bird book to understand how this BC stuff works, AND try to figure it out if I can do abstraction elimination without rule 0 that way. < 1447863981 393635 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :If I fail, I'll have to wait for David or ais523 < 1447864169 441940 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I might also have to implement this transformation stuff, plus write some sample programs, to verify my arguments. < 1447864334 112588 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm... actually < 1447864372 788009 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :89+56+2 < 1447864379 312241 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Aaah < 1447864387 865705 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I dunno < 1447864394 313960 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ 89+56+2 < 1447864394 939178 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :b_jonas: 147 < 1447864397 773081 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I was tapping on the num pad and my hand was further right than I thought < 1447864400 295926 :mroman!~mroman@160.85.232.52 JOIN :#esoteric < 1447864402 470241 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :fnord < 1447864429 207843 :APic!apic@apic.name PRIVMSG #esoteric :Fnord < 1447864693 898063 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Maybe it's possible to directly transform S and K to Amycus somehow, in some representation. < 1447864751 732827 :Hoolootwo!~Hoolootwo@you.know.what.toasters.rocks QUIT :Ping timeout: 264 seconds < 1447864766 695594 :Hoolootwo!~Hoolootwo@you.know.what.toasters.rocks JOIN :#esoteric < 1447864789 336881 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1447865031 802167 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Or maybe it's better to transform B, C, K, W directly? < 1447865079 159731 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or more, (Bxy), (Cx), (Kx), (Wx) or something like that, whatever is enough for the abstraction elimination < 1447865103 42266 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll need to read how the abstraction elimination to BCKW works < 1447865225 813809 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :let me think. if you don't use rule 2, then rule 5 is the only way to build a new tuple. how can we get that tuple out of it apart from by <5, <0>: r>? < 1447865282 684209 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the rule is E(<5, q, p1, …, pn>, x) = E(q, ) < 1447865333 351642 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :now if head q is 1, the tuple is thrown away; if head q is 2, the tuple is completely dismantled so building it has no point; < 1447865347 513630 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :s/head q is 2/head q is 3/ < 1447865377 617907 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that leaves head q as 5 or 6. Is 5 enough? < 1447865456 568765 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :with head q = 5, you recursively get the same problem, one level inside, I think < 1447865487 474152 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so you can use some nested levels of <5, q: p> but eventually you have to use rule 6 somehow < 1447865515 203554 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but rule 6 isn't ok either, it also immediately dismantles the lits. < 1447865540 783167 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Then I think rules 1, 3, 5, 6 aren't enough for Turing-completeness. < 1447865553 713783 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Rule 4 doesn't help there. < 1447865569 349730 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :And rule 2 alone is very unlikely to help, and is almost certainly not what David thouhgt < 1447865592 241737 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :This means I'll have to examine and debug that example program David wrote. < 1447865620 249654 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Although that one might also be using rule 0, because it does have an (1 0) in it < 1447865642 473600 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :<1, 0> or <5, <0>> are two ways to generate a zero < 1447865691 765795 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :But it looks as if he was using the constant 0 only for the arithmetic,. < 1447865693 533817 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Strange. < 1447865708 270483 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Maybe it's a simple program that doesn't demonstrate enough of Turing? < 1447865721 457795 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :But it does recursion, so it has to do _something_. < 1447865731 248588 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Yesterday someone seemed kind of unnerved when I explained that numeric char escapes in Haskell are variable-length. < 1447865761 333740 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Can the language still be turing-complete if you can't build new tuples? Unlikely. < 1447865871 676083 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Oh....!!! < 1447865887 243966 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no... that can't work even that way < 1447865897 138820 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no way < 1447865914 501744 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think I'm really misunderstanding something about this language, and should check by debugging later. < 1447866026 794004 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Maybe he's building tuples, but never returns them, but only passes them through rule 5 to other rule 5 and eventually to rule 6? But even then, that can't work. < 1447866075 339637 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Or can it? < 1447866079 181814 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Crazy < 1447866181 571634 :zadock!~outsider@81.180.210.212 JOIN :#esoteric < 1447866401 180481 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: hmm, here's how you might get the identity from recursion and successor: f |-> if a = b then c else f ; start with f <1,n+1,0> < 1447866432 63807 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but I have not thought this through to the end. < 1447866833 741016 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Melvar: did you tell them about \& ? < 1447866844 442371 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Yes. < 1447866912 843372 :Vinegar!~Vinegar@r74-192-91-97.tyrdcmta01.tylrtx.tl.dh.suddenlink.net JOIN :#esoteric < 1447866928 412395 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :And I tried to explain about \SO and \SOH but he wasn’t interested. < 1447866936 767274 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :huh this keyboard seems to be set to norwegian but the main markings are swedish. < 1447866982 112993 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :> "ä0" < 1447866984 114927 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "\228\&0" < 1447867000 227306 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"\SO" ++ "H" < 1447867006 27642 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> "\SO" ++ "H" < 1447867007 723614 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "\SO\&H" < 1447867011 590533 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Exactly. < 1447867060 693865 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :I had to translate this Show instance for Idris, it looks kinda goofy with the special cases. < 1447867084 472040 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@check \x y -> show (x++y :: String) == init (show x) ++ tail (show y) < 1447867087 116245 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *** Failed! Falsifiable (after 5 tests and 5 shrinks): < 1447867087 264689 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "\ETX?Z\227" "3L\NAK\DLE" < 1447867121 738849 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :me thinks it isn't shrinking hard enough < 1447867231 162032 :zadock!~outsider@81.180.210.212 QUIT :Quit: Leaving < 1447867250 160030 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :By the way, my current Idris project is a thing that will hopefully allow one to type-provide C types into an Idris program. < 1447867266 163411 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION already found enough new annoying quirks in Edge to go back to IE again
< 1447867311 51232 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :If I work really hard at it, it may end up being possible to transport in a C function without ever specifying its type manually. < 1447867416 96689 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :in the end idris accidentally becomes a type-safe full C compiler < 1447867836 731608 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :\SO vs. \SOH vs. \SO\&\H seems kind-of silly to me < 1447867870 84822 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Although I suppose it makes sense if one really wants named escapes for all ASCII control characters < 1447867895 660606 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :__sync built-ins make no sense except on itaniums, or I'm a mistaken there? < 1447867912 660520 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :all the other architectures have hardware chache protocols that makes them in-sync < 1447867915 830000 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :*cache < 1447868036 218622 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :> '\NL' < 1447868038 365897 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:3: < 1447868038 514558 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : lexical error in string/character literal at character 'N' < 1447868045 261479 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :> '\LF' < 1447868046 971059 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : '\n' < 1447868050 142741 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :That was it. < 1447868165 9660 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :> '\x110000' < 1447868167 275120 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:9: numeric escape sequence out of range at character '0' < 1447868224 753857 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :> '\n' < 1447868226 768619 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : '\n' < 1447868894 167455 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1447868957 213045 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I had an idea < 1447869005 999092 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :But I need some terminology < 1447869047 663552 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :What's the proper term for a map where keys are values and values are keys; essentially, if m[k] = v, m[v] = k < 1447869088 630738 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Doesn’t that in general have to be a pair of maps? < 1447869091 809802 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :so a bi-directional map < 1447869106 924717 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :with forward and reverse lookup < 1447869141 106903 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Forming a partial bijection? < 1447869146 929442 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :I think they are called bidirectional maps. < 1447869151 277839 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mroman: Not necessarily forward and reverse lookup; every value needs to be unique. < 1447869170 466502 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mroman: OK. I'll stick with that. I've been calling them Symmetric Dicts, but that might be a term for something else. < 1447869173 657555 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Bidirectional_map < 1447869177 306138 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :It's got a WP article. < 1447869178 121491 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :so... < 1447869195 887445 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :OK, that's what it is. < 1447869204 179609 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I didn't know what to google to find the wiki article xD < 1447869217 954641 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :forward lookup is key -> value, reverse lookup is value -> key < 1447869224 474754 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :at least that's the terminology I use. < 1447869233 116730 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Why the hell would one call that a “hash bag” … < 1447869241 650677 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :because < 1447869243 674896 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :of hash bagging < 1447869264 450282 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :A bag is already a thing that could be implemented with hashing. < 1447869282 280768 :mroman!~mroman@160.85.232.52 PRIVMSG #esoteric :The practice of dangling your hash tables in someone's face. < 1447869285 111525 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :mroman: I do use it in a language I'm making called Kastor; you can have maps of the syntax {key<=>value, key2<=>value, etc.} < 1447869293 329559 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :As well as normal maps with : < 1447869302 855292 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :And something else I'm formulating with => < 1447869318 414717 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :And the outer brackets change whether it's ordered or not < 1447869389 516017 :mroman!~mroman@160.85.232.52 QUIT :Quit: Lost terminal < 1447870418 699258 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Symmetry14]]4 N10 02http://esolangs.org/w/index.php?oldid=45505 5* 03Hppavilion1 5* (+2885) 10Tokens < 1447870498 104210 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Symmetry14]]4 10 02http://esolangs.org/w/index.php?diff=45506&oldid=45505 5* 03Hppavilion1 5* (+17) 10Fixed formatting < 1447870832 753587 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1447871306 109758 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 276 seconds < 1447872609 383299 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1447873656 726794 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Semantic Brain14]]4 10 02http://esolangs.org/w/index.php?diff=45507&oldid=45496 5* 03SilverWingedSeraph 5* (+15) 10Fix cumulative addition program to not be quite as broken. < 1447873784 697294 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1447874697 939415 :bb010g!uid21050@gateway/web/irccloud.com/x-lkjjdvrrzsjtdwzg JOIN :#esoteric < 1447874836 675551 :mauris_!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1447875050 79836 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 276 seconds < 1447875810 438674 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org JOIN :#esoteric < 1447875855 160104 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Symmetry14]]4 10 02http://esolangs.org/w/index.php?diff=45508&oldid=45506 5* 03Hppavilion1 5* (+596) 10Grammar, functions < 1447875883 267303 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Symmetry14]]4 10 02http://esolangs.org/w/index.php?diff=45509&oldid=45508 5* 03Hppavilion1 5* (+1) 10/* Grammar */ Formatting < 1447876142 574399 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e, oerjan, ais523 (if he's here): I was thinking more about the Amycus language, and it's VERY interesting, for all the good and esoteric reasons < 1447876171 557654 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in particular, if you start restricting it by omitting rules from Amycus or from Amycus Severus, you get interesting and different subsets < 1447876176 837490 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll try to describe these later < 1447876182 863073 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I found some very interesting things < 1447876270 200576 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Specifically, David writes both that rule 0 is probably not needed and that programming Amycus is somewhat similar to programming unlambda. It turns out that these are true separately, but not together: programming Amycus without rule 0 is no longer similar to programming unlambda < 1447876316 985290 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Omitting rule 0 but keeping rule 2 and 4 still results in a Turing-complete language, but one where you can't just translate lambda expressions the way I did, < 1447876364 905408 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :because it can no longer manipulate recursive tree structures (of lists or functions), but can still manipulate numbers (arbitrarily large) enough to get at least something like fractran. < 1447876414 83529 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :If you omit rule 0 and 2, you get something that is no longer Turing complete, and it's in a sense exactly primitive recursive, < 1447876434 925251 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in an interesting way. < 1447876451 618858 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :That's still true if besides 0 and 2, you omit 4 and make the language Severus. < 1447876478 386306 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I was also thinking of omitting rule 1, which has interesting consequences as you combine with the variants, but I don't completely see all combinations. < 1447876529 278359 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think omitting any of rule 3, 5, 6 probably immediately reduces the language to not powerful enough, but I'm not quite sure in this. < 1447876661 221468 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :You have 9 rules to start from (the 8 numbered rules, plus the Severus variant), can try to keep any subset of them, and examine the resulting language. < 1447876784 881481 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Argh, I messed up, I randomly call the hyper language Hyperamicus and Hyperamycus. It should be the latter. < 1447876822 3176 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hyperamicus14]]4 10 02http://esolangs.org/w/index.php?diff=45510&oldid=45504 5* 03B jonas 5* (+0) 10spelling < 1447876830 549709 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/move14]]4 move10 02 5* 03B jonas 5* 10moved [[02Hyperamicus10]] to [[Hyperamycus]] < 1447876859 313299 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45513&oldid=45502 5* 03B jonas 5* (+0) 10spelling < 1447876869 333294 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I always have trouble with words that contain "y" as a vowel. < 1447877150 502366 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Quit: Leaving < 1447877258 254783 :mauris_!~mauris@unaffiliated/nooodl NICK :mauris < 1447877393 691756 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1447877467 608079 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Whoo! < 1447877470 555264 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :WalText2i works! < 1447877473 674417 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :
ACTION celebrates
< 1447877490 953674 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Now I have to convert every single font for WalText2 to it! < 1447877492 23164 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Yay! < 1447877510 494433 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brackit14]]4 10 02http://esolangs.org/w/index.php?diff=45514&oldid=45481 5* 03Blakusl 5* (+943) 10/* Parsing */ < 1447877550 720959 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :I think I might right a converter xD < 1447878030 161145 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: what's that? < 1447878045 593784 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :*write < 1447878053 843684 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: It's a text renderer for WalrusOS < 1447878110 86582 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :er ok... < 1447878116 738443 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what does it do? < 1447878121 758194 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`? waltext < 1447878123 846977 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :waltext? ¯\(°​_o)/¯ < 1447878127 266349 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`? waltext2i < 1447878128 298286 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :waltext2i? ¯\(°​_o)/¯ < 1447878139 581163 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :b_jonas: it renders text, duh < 1447878193 270855 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: do you have any new sample output screenshots? < 1447878220 160743 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Yes < 1447878237 824358 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: Not yet < 1447878249 936179 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :And I think imgur is blocked on my School Wifi < 1447878274 925740 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: Yep. I'll get a screenshot when I'm on unfiltered wifi. < 1447878387 267632 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: Would you like to see an example of font code? < 1447878396 121417 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :line 0 0+16i / line (-2~2)+19i 21i < 1447878659 158155 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Read error: Connection reset by peer < 1447878773 967944 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :Yay! I got i working! < 1447879380 649087 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :github's new look is cooool < 1447880132 930989 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :awkward moment when two complete strangers star my random brainstorms on github and i don't even know why < 1447880737 710372 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :izabera: What new look? < 1447880768 23724 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://github.com/blog/2085-a-new-look-for-repositories < 1447880821 676152 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org PRIVMSG #esoteric :izabera: Ah. Doesn't look too much different to me xD < 1447881002 7006 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus Severus14]]4 10 02http://esolangs.org/w/index.php?diff=45515&oldid=45503 5* 03B jonas 5* (+375) 10 < 1447881289 383373 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-jwghzpwsymxdqkgn QUIT :Excess Flood < 1447881302 705124 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45516&oldid=45513 5* 03B jonas 5* (+446) 10 < 1447881390 463714 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-iqcvfasviyllrppd JOIN :#esoteric < 1447881396 413333 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm still editing this stuff < 1447881403 737648 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I have a lot to say, and might not say all of it today < 1447881412 982777 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Amycus proved to be really interesting < 1447882212 135985 :bb010g!uid21050@gateway/web/irccloud.com/x-lkjjdvrrzsjtdwzg QUIT :Quit: Connection closed for inactivity < 1447882480 551660 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org QUIT :Ping timeout: 265 seconds < 1447882737 381843 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45517&oldid=45516 5* 03B jonas 5* (+326) 10 < 1447883711 876019 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1447883758 977013 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1447883821 826947 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1447883873 297760 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brackit14]]4 10 02http://esolangs.org/w/index.php?diff=45518&oldid=45514 5* 03Blakusl 5* (+2253) 10/* Input/Output */ < 1447883939 310399 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45519&oldid=45517 5* 03B jonas 5* (+196) 10 < 1447884190 862874 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45520&oldid=45519 5* 03B jonas 5* (-13) 10 < 1447884219 613746 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus Severus14]]4 10 02http://esolangs.org/w/index.php?diff=45521&oldid=45515 5* 03B jonas 5* (-4) 10 < 1447884527 558990 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org JOIN :#esoteric < 1447884858 381350 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org QUIT :Ping timeout: 265 seconds < 1447885416 29408 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wat < 1447885482 928817 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45522&oldid=45520 5* 03B jonas 5* (+582) 10 < 1447886630 544185 :Vinegar!~Vinegar@r74-192-91-97.tyrdcmta01.tylrtx.tl.dh.suddenlink.net QUIT :Ping timeout: 240 seconds < 1447886772 551247 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org JOIN :#esoteric < 1447887149 380528 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org QUIT :Ping timeout: 265 seconds < 1447887863 320535 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brackit14]]4 10 02http://esolangs.org/w/index.php?diff=45523&oldid=45518 5* 03Blakusl 5* (+1113) 10/* Loops */ < 1447887917 16690 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45524&oldid=45522 5* 03B jonas 5* (+1845) 10 < 1447887932 777496 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brackit14]]4 10 02http://esolangs.org/w/index.php?diff=45525&oldid=45523 5* 03Blakusl 5* (-17) 10/* Input/Output */ < 1447888018 588385 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org JOIN :#esoteric < 1447888425 442952 :hppavilion[1]!~Devourero@74-114-87-84.dynamic.asdk12.org QUIT :Ping timeout: 265 seconds < 1447888538 600521 :shikhin!~shikhin@unaffiliated/shikhin NICK :shikharound < 1447888550 168612 :shikharound!~shikhin@unaffiliated/shikhin NICK :shikhin < 1447888821 564713 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1447889466 495506 :shikhin!~shikhin@unaffiliated/shikhin NICK :driyoyleujiy < 1447889471 830281 :driyoyleujiy!~shikhin@unaffiliated/shikhin NICK :shikhin < 1447889585 950630 :shikhin!~shikhin@unaffiliated/shikhin NICK :FireyFly < 1447889598 305975 :FireyFly!~shikhin@unaffiliated/shikhin NICK :shikhin < 1447890131 679691 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 264 seconds < 1447890157 767590 :ent0nces!~ent0nces@linux-jord1.cryptostorm.net JOIN :#esoteric < 1447890396 119218 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1447890525 567954 :bb010g!uid21050@gateway/web/irccloud.com/x-qqzsaconfegvflwb JOIN :#esoteric < 1447890971 936484 :ent0nces_!~ent0nces@linux-jord1.cryptostorm.net JOIN :#esoteric < 1447891054 963507 :fungot!~fungot@momus.zem.fi QUIT :Ping timeout: 260 seconds < 1447891081 571693 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Amycus14]]4 10 02http://esolangs.org/w/index.php?diff=45526&oldid=45524 5* 03B jonas 5* (+1062) 10 < 1447891099 248737 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :this was horrible < 1447891133 691139 :ent0nces!~ent0nces@linux-jord1.cryptostorm.net QUIT :Ping timeout: 246 seconds