< 1447459442 399624 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :That should be easily enough to do: In your font define one character to have a negative width and an empty glyph, and then define ligatures which can be use to have its own glyph for a(combine)^ if it has one. < 1447459552 121741 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :No need to tamper with Unicode at all. My own idea about an advanced font metric format, you would be able to do these things, as well as implement the rules of Unicode too, and more. < 1447459742 152433 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I would have the metric file also be used to convert metrics into glyphs; the glyphs would be a separate format and can be independent of the metric format. Hyphenation is also separate, but may interact with metrics. < 1447459913 696939 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07DStack14]]4 10 02http://esolangs.org/w/index.php?diff=45371&oldid=45295 5* 03-Dark-Phantom- 5* (+13) 10/* Instructions */ < 1447460593 792286 :idris-bot!~idris-bot@dslb-084-062-104-105.084.062.pools.vodafone-ip.de QUIT :Quit: Terminated < 1447460887 690806 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I think I'll develop a pseudo programming language made to help people learn programmatical thinking in an esoteric way < 1447460911 97201 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :OK < 1447460934 148679 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Either that or an RPG game engine. Or maybe they'll be merged. < 1447461136 650320 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I think I'll merge them < 1447461180 460171 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Merge them, how? < 1447461230 812165 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :he'll develop an RPG game engine with a pseudo programming language made to help people learn programmatical thinking in an esoteric way, hth < 1447461772 955989 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :zzo38: yes, but such a character would be a good substitute for many existing unicode characters. My suggestion was that it should've been designed that way from the start IMO < 1447461780 555555 :heroux!sandroco@gateway/shell/insomnia247/x-kuxfafcwvgztojom QUIT :Remote host closed the connection < 1447461839 491376 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :And using negative width and an empty glyph would restrict it to only one font, and I don't think that would work at all with variable-width fonts? < 1447461845 95419 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :At least, I don't see how < 1447461849 940292 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :otherwise, a good idea < 1447462002 980136 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :You can add kerns to make it work with variable-width fonts. While it is restricted to having the accent in the same font as the letter, you can still use it with multiple fonts otherwise. < 1447462033 673817 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(And the "(combine)" character also has to exist in that font too) < 1447462130 394272 :jaboja!~jaboja@erz108.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1447462260 34105 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :FireFly: I don’t think a character with such a squishy semantic would fly. < 1447462290 896964 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Also, you’d need to combine with ˆ, not ^, to get ̂. < 1447462307 647428 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :sure, works for me < 1447462341 681676 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :We have combining characters already; I don't see how a dedicated "combine" character is worse than separate dedicated "combining foo" characters that we currently have < 1447462384 393924 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :The one I proposed seems more flexible to me since in essence you get a combining version of every character for free < 1447462406 855604 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :zzo38: good point about kerning. That would work < 1447462429 893492 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :“for free”, hahahahaha! < 1447462460 288449 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Well. Of course, if you want it to look good the font has to manually support it as a ligature and design a glyph for it < 1447462463 300717 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :So that's not "for free" < 1447462508 161931 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :But I mean in the sense that you don't have to request Unicode to allocate a combining character and then wait for a new Unicode standard < 1447462515 20837 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :In kind of format I was describing you could do with dedicated combining characters too, but in a fixpitch font you may certainly include a backspace character as well < 1447462545 923450 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Of course you do! You still have to wait for the new standard which says that this combination is now defined as thus … < 1447462572 21048 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :In my scheme you won't have to tamper with Unicode at all; you are not even required to use Unicode, although you can if you wish to, or even define an extension of Unicode in order to make it compatible with Unicode texts. < 1447462580 237513 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Else your stuff just says “you can’t combine these two”. < 1447462623 975651 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :However, if you are using Unicode then you still need to define all of the relevant Unicode rules in the font metric file, that are applicable to your font (or use an include file, possibly) < 1447462636 965653 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :That's why I suggested a fallback would be to just literally overstrike one glyph over the other (which would probably often not look good), and use something like ligatures for the ones supported < 1447462653 241971 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Or, alternatively, you get fonts deciding differently what some combination should mean, which counters the whole point of standardization. < 1447462685 92937 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I don't see how "a (combine) circumflex" could be interpreted as anything other than what's currently known as "a circumflex" < 1447462720 651397 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Melvar: don't we have the same issue today with things like "(random CJK glyph) (combining circumflex above)" ? < 1447462737 829305 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :or, worse, (emoji) (combining circumflex above) < 1447462750 150003 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Melvar: If you wish the fonts to be comatible then you will define the font according to some standard that is matching other font using, but some font there is no point to do such thing so you would just define your own instead. < 1447462778 483383 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :As far as I know, combining characters aren't restricted specially? and I can't imagine (all printables) × (all combining codepoints) are specified separately (× being cartesian product) < 1447462789 915883 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :But we don’t have “right arrow (combine) up arrow” which could mean two things off the top of my head, and probably more. < 1447462853 347160 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hmm, fair point < 1447462855 399959 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :It depends much on what interoperability is required. < 1447462863 49153 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Compare these two: ↲ ↵ < 1447462885 776728 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :is that "arrow down left" and "symbol for carriage return" or something? < 1447462917 226334 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :DOWNWARDS ARROW WITH TIP LEFTWARDS and DOWNWARDS ARROW WITH CORNER LEFTWARDS, in fact. < 1447462940 249900 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hm < 1447462957 973661 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :If needed, just to write the document, and the font can say it follows that document. Unicode is one such kind of document; it may not define all such thing but may define many things, and some fonts may be defined according to multiple document, or according to none at all if they require unique symbols or whatever reason you might not need any. < 1447462967 588869 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :They both look like triangles to me (the arrowhead I mean) < 1447462981 756771 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :There’s additionally RETURN SYMBOL: ⏎ < 1447462993 751107 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :The difference is in the proportion of the two sections. < 1447463003 910330 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Ah < 1447463019 10848 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I guess one could have left arrow, short left arrow < 1447463026 243177 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :or long left arrow < 1447463053 539255 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Indeed, the latter of the two “may indicate a carriage return or new line”. < 1447463244 384145 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Oh, here’s ⤶ ARROW POINTING DOWNWARDS THEN CURVING LEFTWARDS which unlike those, curves instead of having a corner. < 1447463272 64030 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I think I'll merge them < 1447463276 853836 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Dammit, cat < 1447463305 450744 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :He stepped on the right of my keyboard, hitting "up" then "enter" < 1447463479 420895 :idris-bot!~idris-bot@dslb-084-062-104-105.084.062.pools.vodafone-ip.de JOIN :#esoteric < 1447463689 622589 :heroux!sandroco@gateway/shell/insomnia247/x-lkhwgjgzmlcaggxi JOIN :#esoteric < 1447463924 874507 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :RETURN SYMBOL seems to be hollow < 1447464433 394053 :heroux!sandroco@gateway/shell/insomnia247/x-lkhwgjgzmlcaggxi QUIT :Remote host closed the connection < 1447464760 829972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell mroman except for syntax is what the lexer uses, grammar is what the parser uses <-- that sounds to me like almost the exact opposite of the natural language meaning < 1447464760 986452 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1447464798 580180 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell mroman because there, syntax is how you place words, but _not_ how words are composed. < 1447464798 732246 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1447464817 158293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the lexer took 40 cakes < 1447464822 878203 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? gregor < 1447464823 930660 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Gregor took forty cakes. He took 40 cakes. That's as many as four tens. And that's terrible. < 1447465006 37133 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :damn, why do i have to @tell before finishing reading the conversation... < 1447465388 292892 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :Jesus christ, paris is in martial law < 1447465402 342055 :heroux!sandroco@gateway/shell/insomnia247/x-lquawxptcvivvoez JOIN :#esoteric < 1447465413 740408 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :My mom has been calling people she knows there < 1447465424 230279 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1447465459 791081 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :they've declared a curfew and soldiers are searching the streets < 1447465459 954297 :ProofTechnique!~Ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1447465626 402216 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I have heard about stuff in Paris on the radio just few minutes ago < 1447465639 807701 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :I just got home < 1447465668 828039 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :My mom has just confirmed at least that everyone she knows in paris is safe < 1447465710 563150 :heroux!sandroco@gateway/shell/insomnia247/x-lquawxptcvivvoez QUIT :Ping timeout: 240 seconds < 1447465777 347830 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :\oren\, that's good < 1447466027 493048 :ProofTechnique!~Ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1447466483 737838 :jaboja!~jaboja@erz108.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection < 1447466914 386885 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca JOIN :#esoteric < 1447467071 87915 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 276 seconds < 1447467276 561819 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :@metar CYQB < 1447467276 850322 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYQB 140200Z 24011KT 15SM FEW015 OVC063 04/02 A2940 RMK SC1SC7 SLP959 < 1447467281 310678 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :@metar ENVA < 1447467281 634300 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 140150Z 11005KT CAVOK M00/M03 Q0993 RMK WIND 670FT 14008KT < 1447467287 611199 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :oerjan: M00! < 1447467386 172203 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :HIBOILY < 1447467447 483937 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :\HELLOREN\ < 1447467493 70380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :looks about right < 1447467519 383785 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 265 seconds < 1447467546 367251 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :OKAY < 1447467568 313815 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :@metar CYYZ < 1447467568 780848 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYYZ 140200Z 30016G24KT 15SM SCT034 OVC059 04/M01 A2980 RMK SC4SC4 VIA CYOW SLP094 < 1447467581 257828 :heroux!sandroco@gateway/shell/insomnia247/x-seybqjdfqczrvmja JOIN :#esoteric < 1447467610 329640 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :VIA CYOW? < 1447467860 161105 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds < 1447467910 911373 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :fungot. can't find anything about "VIA". < 1447467911 82753 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: from two different systems. < 1447467921 913058 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :fungot: it is so. Canadian METARs are weird. < 1447467922 68747 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: not just for angsty 14-year-olds anymore < 1447467947 85792 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :fungot: I haven't been 14 since twelve years ago. < 1447467947 305657 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: out of curiosity, why would that matter?) it didn' < 1447467963 726789 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :fungot: becose twelve years is a non-homeopathic span of time hth < 1447467964 176392 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: haven't had anybody tell me where your source is at http://cvs.sourceforge.net/ viewcvs.py/ fnord but 404 on http://mitpress.mit.edu/ sicp/ this one?: check that first item of l1 is now size, and fills it with zeros?.... < 1447467976 902747 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :fungot: CVS? on SF? uuuuuurgh! < 1447468008 645558 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :https://www.fltplan.com/abbreviations.htm seem to be a good source, with substantially more abbreviations than what's available on wikipédia, but nothing about VIA. < 1447468014 355361 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :
ACTION grmbls and mumbles and rants
< 1447468052 293425 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :boily: Hah. < 1447468085 9346 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :oh wait! it's there! "BY WAY OF". the bastards. < 1447468097 924308 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :pikhelloq. hah to you too :P < 1447468134 107481 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :so what is via Ottawa. there are federal clouds invading Toronto? < 1447468183 937139 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :\oren\: do you think Justing owns a weather machine and is controlling Ontarian climate? < 1447468194 562782 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :s/Junsting/Justin/ < 1447468922 831090 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ResPlicate14]]4 10 02http://esolangs.org/w/index.php?diff=45372&oldid=45353 5* 03Quintopia 5* (+0) 10/* Truth-machine */ The previous edit to this was a mistake. < 1447469000 509193 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca QUIT :Quit: DISPLACER CHICKEN < 1447469489 99136 :andrew!~andrew@14.154.166.208 JOIN :#esoteric < 1447470572 712300 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :this is a 10 years step back in international negotiations < 1447470576 989859 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :every fucking time < 1447470586 431347 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :now with the migrant crisis < 1447470601 72970 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :great timing... < 1447470692 642710 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :police reported all the attackers have been killed < 1447470837 91660 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I agree, re. step back in international negotiations < 1447470840 835811 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :It's sad < 1447470862 921311 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I wonder if the consequences of this will be akin to those for 9/11 in some sense < 1447470926 833866 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :Marine le pen might become the leader of france in the next election < 1447471047 518532 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :France has an aircraft carrier and their own fighter jets. it's certainly not unthinkable that they could cooperate with putin to wipe out Daesh/ISIS/ISIL/WTFBBQ < 1447471139 758115 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1447471735 70933 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1447471754 14119 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :\oren\: NATO article 5 could be invoked < 1447471760 114591 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Muslims should need to work to defeat them too < 1447471811 447720 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Of course everyone does but Muslims especially should go against ISIS/ISIL/Daesh < 1447472210 299150 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is there any estimate of the number of people in those groups? < 1447472337 804554 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :
ACTION found the answer on google and it's 200k
< 1447472436 897444 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :zzo38: I though muslims already were < 1447472564 529611 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Probably they are, yes. But what I am saying is everyone (whether Christian, atheist, etc) can go against them, but primarily it seem it would be job of Muslims. This way might result in being very defeated instead of just being defeated, or maybe I am unclear or confuse or something else < 1447472848 757681 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what's the difference between defeated and very defeated? < 1447473100 653603 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :if you can't spin your defeat into martyrdom then you are very defeated. < 1447473124 612099 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :izabera: huh, I would guess a lot more considering how big a territory the control < 1447473235 377743 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :izabera: I am not completely sure what it is nor do I know how to explain even if I do know, that is why I say I am a bit confused. But you other people on here are also making some points about it too; it isn't everything but they are some points too anyways. < 1447473435 616605 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 240 seconds < 1447473466 821673 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :https://www.youtube.com/watch?v=VpNvGNRlFaE < 1447473481 699554 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Aubergine14]]4 10 02http://esolangs.org/w/index.php?diff=45373&oldid=45354 5* 03Quintopia 5* (+29) 10/* Examples */ < 1447473561 3150 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :why am i watching a video like that < 1447473685 436167 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :It's nice isn't it? Celtic-style folk music < 1447473703 523038 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yeah they're much better than i thought at first < 1447473768 632136 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Why does this subreddit exist https://www.reddit.com/r/truetictactoe < 1447473774 603619 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I guess it's a parody of game subreddits? < 1447473804 804236 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :\oren\: nice < 1447473872 452827 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :doesn't even look like a parody < 1447473891 222802 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :izabera, X was nerfed? < 1447473931 130724 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :https://www.reddit.com/r/TrueTicTacToe/comments/3gdw6x/im_new_here_can_someone_explain_me_all_the_rules/ < 1447473938 983001 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :"IMO you really should watch about 50-60 hours of pro streams on twitch and read every guide on every forum, then get to where you can beat 2 insane/cheater AI at once before you even consider a real game. You're just going to frustrate everyone else around you." < 1447473960 811146 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Their headwear reminds me of moonbowmusicmovie: https://www.youtube.com/watch?v=SG7yuQ9MQ2s < 1447473994 602174 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Some genuinely interesting things though < 1447474021 326887 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Is there the SQL RPG engine? < 1447474030 554867 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Pure CSS tic-tac-toe < 1447474041 88060 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :(they do a lot of acoustic arranges of videogame music too) < 1447474050 104513 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :To make RPG computer game with SQL, using the game engine program to support such thing < 1447474051 948803 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :(Well, actually different source that gets compiled into CSS I think) < 1447474097 78425 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :\oren\: you might enjoy https://www.youtube.com/watch?v=eIV70shV8Sw < 1447474432 347299 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :OK, now my DVI->PBM program is working!!! < 1447474475 925549 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :What is the goal of that? < 1447474549 748089 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Do you mean goal of such program? < 1447474584 22690 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Yes < 1447474585 146411 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1447474667 715365 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :It is to convert DVI into PBM. < 1447474687 152639 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :One use of such a thing would be to print on printers that use host-based printing. < 1447474691 570656 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What can we do with temporal logic? < 1447474696 643906 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :... < 1447474711 992299 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :How do type systems correspond to logic systems? Anyone have a paper on that? < 1447474736 280180 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Wadler has a talk on.. er, not on that, but one slide has a table about that < 1447474736 440347 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: I wanted to know that too. < 1447474758 468098 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Whihc part? The first or the second? < 1447474800 389229 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hmm, actually the part on temporal logic might've been something he mentioned was still an open problem < 1447474840 228401 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :FireFly: I expressed what I was saying properly, correct? Like, I've heard that most languages are based on classical logic < 1447474846 990696 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :hppavilion[2]: Both < 1447474848 134856 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And I'm curious how that works < 1447474865 393270 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Ah. Temporal type system? I've heard that that's reactive programming < 1447474871 720992 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Or maybe functional/reactive) < 1447474885 391779 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But can it be explained how that works? < 1447474900 510317 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :https://www.youtube.com/watch?v=IOiZatlZtGU#t=40m30s has a table mentioning some different (logic, type system) pairs < 1447474901 351867 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I have heard that too, but it does not explain how that is. < 1447474922 183104 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Are there any types of logic cooler than temporal logic? < 1447474938 664906 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :linear logic is p. weird < 1447474952 532703 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :At least a lot more weird than its name would suggest < 1447474977 602154 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Featuring concepts such as "of course" and "why not", I would say it might classify as an esologic < 1447474980 554197 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: most languages are based on _intuitionistic_ logic. i'm pretty sure i mentioned that last this was discussed. < 1447475003 154557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for a certain value of "based" < 1447475011 570119 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Oh right. < 1447475022 276831 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :With classical logic, can make continuations too < 1447475048 315041 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :\oren\ the floating cloud video is interesting, as it continued it sounded more and more strange because it didn't have the structure I expected < 1447475126 40452 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Can logics be combined? < 1447475145 747594 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :In what way? < 1447475156 578336 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Like, could Linear Temporal logic be a thing? < 1447475213 920661 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't know < 1447475263 904792 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Linear_temporal_logic < 1447475265 257660 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Yep < 1447475298 179472 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I've also heard of Quantum Logic < 1447475310 320571 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Is probabalistic logic a thing? < 1447475409 866899 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Yep. < 1447475440 53158 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Esolang idea: Type system based on Linear-Temporal-Quantum-Probabalistic Logic. < 1447475533 240315 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Combinatory, if I'm feeling like it. < 1447475815 575304 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ok, that might be a bit much < 1447476012 917419 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Are there any useful constructions that use Graph Theory as a "Foundations of Mathematics"? < 1447476022 813044 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :For example, arithmetic defined in terms of graphs? < 1447476246 77278 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :You could probably define integers based on the length of lists (c.f. cardinality of sets), and lists without duplicates are a special case of graphs (straight-line graphs) < 1447476278 889693 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :so if nothing else you could probably do it like that, but that's kinda boring < 1447476508 74872 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I want to try to make a language vaguely inspired by formal logic. Probably won't turn out very well, but I'm at least going to try. < 1447476585 373429 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm going to mix various types of logic into a strange, homogenous, disgusting mesh. < 1447476595 465340 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Which I guess is kind of in the spirit of this channel < 1447477088 643577 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Temporal Logic Programming? < 1447477308 112571 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: quantum logic is weird, i once looked at it from this perspective, but it has this strange orthomodular rule that simply doesn't fit in a sensible way. < 1447477339 330496 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and is otherwise _very_ limited. < 1447477363 445830 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Category:Quantum computing14]]4 N10 02http://esolangs.org/w/index.php?oldid=45374 5* 03Hppavilion1 5* (+133) 10Created page because why the fuck did this not exist already < 1447477367 692688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because any two things tend to be incompatible. < 1447477400 993562 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: um i should have said this long ago, but you _do_ know we have a rule against creating categories without discussion, right? < 1447477430 423800 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unless it was repealed in some part of my wiki backlog < 1447477451 979716 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: I did not think this needed discussion. We have >2 languages that are quantum, and quantum computing is, like, Esolangs taken seriously. But sorry. < 1447477472 306820 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Why do the fonts look better in my program than in xdvi? Is xdvi using PostScript fonts instead of bitmap fonts, or something else like that, or what else? < 1447477497 443649 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Do you think we needed a category for quantum languages? < 1447477617 509242 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: I believe it would be a good idea yes. However, the discussion for that is supposed to go on the wiki, I think. < 1447477631 746848 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Fair enough. < 1447477644 392123 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: https://esolangs.org/wiki/Esolang_talk:Categorization to be precise < 1447477654 138526 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Right, right < 1447477714 884045 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hm... < 1447477719 607321 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Quantum Combinatory Logic? < 1447477729 574447 :doesthiswork1!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1447477759 479250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh dear < 1447477765 903329 :heroux_!sandroco@gateway/shell/insomnia247/x-zyschenglrhtplzy JOIN :#esoteric < 1447477792 552282 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure that works. the limits of quantum logic are to do with combining things... < 1447477806 394178 :Warrigal!~tswett@192.241.237.138 JOIN :#esoteric < 1447477816 741279 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: I'll MAKE it work >:) < 1447477832 564023 :augur_!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1447477849 644407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :related to the heisenberg uncertainty in real physics ... you cannot measure all pairs of observables precisely < 1447477850 964120 :int-e_!~noone@static.88-198-179-137.clients.your-server.de JOIN :#esoteric < 1447477859 805668 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hint-e_ < 1447477928 786082 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Well... how does normal probabalistic combinatory logic work? < 1447477933 721422 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :int-ello_ < 1447477943 744719 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no idea :P < 1447477950 431769 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(The "-" is the "h" censored) < 1447478017 764014 :SirCmpwn_!~sircmpwn@irc.sircmpwn.com JOIN :#esoteric < 1447478032 16157 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Shall I go invent that? Probabilistic turing machines are easier to understand than quantum turing machines, and once I get my head fully wrapped around CL being TC I'll know what I'm doing < 1447478062 687064 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :*.net *.split < 1447478062 852229 :heroux!sandroco@gateway/shell/insomnia247/x-seybqjdfqczrvmja QUIT :*.net *.split < 1447478063 577783 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :*.net *.split < 1447478064 616160 :SirCmpwn!~sircmpwn@irc.sircmpwn.com QUIT :*.net *.split < 1447478066 417692 :int-e!~noone@static.88-198-179-137.clients.your-server.de QUIT :*.net *.split < 1447478066 707063 :kline!~kline@unaffiliated/kline QUIT :*.net *.split < 1447478067 518366 :tswett!~tswett@unaffiliated/tswett QUIT :*.net *.split < 1447478067 668667 :heroux_!sandroco@gateway/shell/insomnia247/x-zyschenglrhtplzy NICK :heroux < 1447478120 475166 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :btw the types corresponding to quantum logic almost certainly wouldn't be the same as what a quantum computer can compute < 1447478125 854542 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(is my hunch) < 1447478265 957907 :SirCmpwn_!~sircmpwn@irc.sircmpwn.com NICK :SirCmpwn < 1447478316 961850 :kline!~kline@unaffiliated/kline JOIN :#esoteric < 1447478391 272754 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hm... < 1447478398 478918 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Probably there's some sort of R combinator < 1447478409 935633 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Perhaps Rxy=xy|yx? < 1447478499 413774 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :That seems like it ought to be Probabilistic enough xD < 1447478521 735565 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Sorry, I'm just not great with proofs and stuff yet xD < 1447478727 570384 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I did make up a esolang based on formal sequent calculus logic < 1447478827 746905 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :And want to learn how to make the similar one with the sequent calculus of linear logic too < 1447478942 284807 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1447479083 699884 :heroux!sandroco@gateway/shell/insomnia247/x-zyschenglrhtplzy QUIT :Ping timeout: 264 seconds < 1447479221 779594 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1447479586 478764 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1447479730 185155 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :It look like my dvipbm program is not quite perfect yet; there are still a few more things to fix, such as I get spurious rules on a page somehow < 1447479845 348388 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Maybe a ? combinator would be better, where ?xy=Ix|Iy < 1447479898 646153 :lleu!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer < 1447479899 238774 :llue!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net JOIN :#esoteric < 1447479899 387607 :llue!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net QUIT :Changing host < 1447479899 387672 :llue!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1447479903 987966 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :The probabilities are, of course, 50/50 < 1447479952 942323 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I originally thought of a C (or something) combinator where C=S|K|I, but then I realized that was utterly idiotic of me < 1447480084 739668 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I think ? is probably better than R. R is just stupid, AND can be defined as Rxy = S (S (K (S (K S) K)) S) (K K) I xy, or something along those lines. < 1447480155 893395 :variable!~variable@freebsd/developer/variable NICK :function < 1447480160 624002 :haavardp!freebsd@haavard.me JOIN :#esoteric < 1447480171 414520 :deltab_!~deltab@cpc2-smal2-0-0-cust22.19-1.cable.virginm.net JOIN :#esoteric < 1447480241 668159 :PinealGl1ndOptic!~PinealGla@vps2.conus.info JOIN :#esoteric < 1447480264 872365 :deltab!~deltab@cpc2-smal2-0-0-cust22.19-1.cable.virginm.net QUIT :Ping timeout: 250 seconds < 1447480265 683769 :Hoolootoo!~Hoolootwo@you.know.what.toasters.rocks QUIT :Ping timeout: 250 seconds < 1447480266 446226 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io QUIT :Ping timeout: 250 seconds < 1447480267 299655 :fizzie!fis@unaffiliated/fizzie QUIT :Ping timeout: 250 seconds < 1447480268 211089 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Ping timeout: 250 seconds < 1447480270 336593 :ocharles__!sid30093@gateway/web/irccloud.com/x-lzywjezoglqhqnhf QUIT :Ping timeout: 250 seconds < 1447480270 584141 :PinealGlandOptic!~PinealGla@vps2.conus.info QUIT :Ping timeout: 250 seconds < 1447480270 875132 :haavard!freebsd@haavard.me QUIT :Ping timeout: 250 seconds < 1447480272 91745 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :Ping timeout: 250 seconds < 1447480272 519572 :nortti!nortti@ayu.smar.moe QUIT :Ping timeout: 250 seconds < 1447480287 378445 :ski!~ski@remote11.chalmers.se QUIT :Ping timeout: 250 seconds < 1447480297 699214 :nortti!nortti@ayu.smar.moe JOIN :#esoteric < 1447480297 858748 :Hoolootwo!~Hoolootwo@you.know.what.toasters.rocks JOIN :#esoteric < 1447480306 589515 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io JOIN :#esoteric < 1447480317 875131 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1447480342 830113 :ski!~ski@remote11.chalmers.se JOIN :#esoteric < 1447480374 610005 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1447480403 560733 :haavardp!freebsd@haavard.me NICK :haavard < 1447480547 786125 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, I forgot to include ? in that definition < 1447480578 253628 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, it's not as easy now that I've remembered that < 1447480590 710188 :ocharles__!sid30093@gateway/web/irccloud.com/x-jjovsuazhbrubddo JOIN :#esoteric < 1447480624 167649 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1447480666 844633 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :A little help, anyone? < 1447480714 763147 :heroux!sandroco@gateway/shell/insomnia247/x-gptgcgvhfyszsxpb JOIN :#esoteric < 1447480732 763668 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Probabilistic combinatory logic14]]4 N10 02http://esolangs.org/w/index.php?oldid=45375 5* 03Hppavilion1 5* (+793) 10Created Page < 1447480985 141529 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Probabilistic combinatory logic14]]4 10 02http://esolangs.org/w/index.php?diff=45376&oldid=45375 5* 03Hppavilion1 5* (+197) 10Fixed section because I'm bad at math < 1447481551 901289 :heroux!sandroco@gateway/shell/insomnia247/x-gptgcgvhfyszsxpb QUIT :Remote host closed the connection < 1447481820 894144 :llue!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1447481991 658650 :haavard!freebsd@haavard.me QUIT :Ping timeout: 244 seconds < 1447482004 555822 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :
ACTION boredly hits the esogong
< 1447482056 397359 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :*GONG* < 1447482058 500217 :haavard!freebsd@haavard.me JOIN :#esoteric < 1447482090 295 :deltab_!~deltab@cpc2-smal2-0-0-cust22.19-1.cable.virginm.net NICK :deltab < 1447482124 560694 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :What is a esogong? < 1447482148 229271 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: It's like the Esobell, but it's a gong < 1447482212 376703 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :
ACTION lights the esobomb
< 1447482243 371879 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :lifthrasiir: That is perhaps in bad taste, depending on exactly what went down in paris < 1447482257 984955 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm not sure exactly what happened though, so that might be OK < 1447482259 208605 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :xD < 1447482300 111356 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :hppavilion[1]: oops, didn't intend that at all, but probably inappropriate. < 1447482321 784331 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :lifthrasiir: Probably. Was the stuff in paris bombings or shootings or other? < 1447482340 154967 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :(was just thinking about an appropriate combination of s the eso) < 1447482350 61236 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :hmm... < 1447482352 921241 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Probably bombings, given that they're terrorists. Bombs are the most effective terrorist weapon oftentimes. They cause a lot of, y'know, terror. < 1447482354 946923 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :
ACTION verbs the esonoun
< 1447482391 739793 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I think that #esoteric is close to going to war with ISIS. I can imagine the Michael Bay movie about us now... < 1447482399 256647 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :xD < 1447482399 468330 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :hppavilion[1]: seems that there were shootings *and* explosions. < 1447482412 157298 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :lifthrasiir: Ah. Bombs with guns attached to them? < 1447482419 22551 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Or separate? < 1447482452 326664 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :separate I think, reading WP < 1447482509 737873 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :hppavilion[1]: three shootings (one involving hostage scenario) and one explosion (suicide bombing). < 1447482567 548160 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Probabilistic combinatory logic14]]4 10 02http://esolangs.org/w/index.php?diff=45377&oldid=45376 5* 03Hppavilion1 5* (+147) 10Changed ? to τ because τυχαίος < 1447482588 780366 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :lifthrasiir: WP already? That's fast. < 1447482595 392712 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, WP is the Washington Post, isn't it? < 1447482602 697073 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I read it as "Wikipedia" xD < 1447482610 409878 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :about 9 hours passed since then, so not really surprising < 1447482614 823965 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :yeah, Wikipedia :) < 1447482617 262223 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ah < 1447482626 701468 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Wikipedia are usually pretty quick with getting information going for current events < 1447482634 603029 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :9 hours I suppose is long enough < 1447482639 308897 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :in the abbreviated form < 1447482647 653897 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :useful for quick skimming < 1447482654 452829 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Unfortunatey I usually forget it when thinking of good news sources < 1447482656 314318 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Yeah < 1447482696 677011 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Is anyone here good with CL? < 1447482703 143981 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Already 54 citations for the article < 1447482852 238310 :function!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1447482908 434977 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :FireFly: Now THAT'S impressive < 1447482944 435830 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I can't believe I didn't think of this yet: "lifthrasiir is going to esohell." Purely comically, of course. < 1447482971 858306 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Also, Esohell is really the same as Esonirvana, because why not? (that's a formal logic term)) < 1447483104 861899 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : lifthrasiir: That is perhaps in bad taste, depending on exactly what went down in paris <-- it doesn't help that my intuitive reaction to the comment was to make an inspector clouseau joke < 1447483271 828806 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is getting a bit annoyed at github inserting history cruft commits that are essentially nops but still end up in pull requests
< 1447483292 100417 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Such as? < 1447483358 588420 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FireFly: when i update my repository to edwardk's latest changes it gives a commit in my repository, which is still listed when i send a pull request _back_ (and this prevented me from making it a single-commit one so i had to cut and paste the description between windows) < 1447483383 483312 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Ah.. yes, that's a bit annoying < 1447483385 489271 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, it was ridiculously complicated to separate out that one commit because i already had a pull request ourstanding < 1447483415 718276 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I think you can do something to work around that by stashing, pulling and rebasing, but my git-fu isn't very strong < 1447483442 497541 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, i'm seriously trying to avoid the cli as much as possible, but i had to use cherry-pick < 1447483446 411862 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :to avoid pointless merge commits I mean < 1447483467 987061 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Ah, I've only used command-line git < 1447483490 358290 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the things i'm doing _shouldn't_ be hard enough to require the cli... < 1447483637 152178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm this was one of the things darcs was supposed to be good at, no? treating commits individually? < 1447483643 190099 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :too bad it lost. < 1447483657 683366 :doesthiswork1!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1447484445 133380 :mtve-!~mtve@10130.x.rootbsd.net JOIN :#esoteric < 1447484462 923178 :izabera_!~izabera@ec2-52-25-138-238.us-west-2.compute.amazonaws.com JOIN :#esoteric < 1447484632 10982 :izabera!~izabera@unaffiliated/izabera QUIT :Ping timeout: 255 seconds < 1447484632 613131 :mtve!~mtve@10130.x.rootbsd.net QUIT :Ping timeout: 255 seconds < 1447484634 853365 :myndzi!myndzi@tetrisguide.com QUIT :Ping timeout: 255 seconds < 1447484636 912070 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 255 seconds < 1447484731 939293 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e JOIN :#esoteric < 1447484780 593009 :heroux!sandroco@gateway/shell/insomnia247/x-jwsbofmzkohducka JOIN :#esoteric < 1447484963 797909 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So is anyone here good with combinators? < 1447485256 449286 :heroux!sandroco@gateway/shell/insomnia247/x-jwsbofmzkohducka QUIT :Remote host closed the connection < 1447486852 277020 :heroux!sandroco@gateway/shell/insomnia247/x-wilwtjprhosqawxe JOIN :#esoteric < 1447487243 983140 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :shit. I was 7 when the war started and it's still not over. < 1447487406 540940 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: Which one? < 1447487419 74643 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :the general "war on terror" < 1447487422 413970 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Also, he\\oren\. < 1447487424 580300 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ah. That one. < 1447487446 891915 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I don't think I'd been born when it started; if I had, I wasn't sentient at the time < 1447487548 548699 :heroux!sandroco@gateway/shell/insomnia247/x-wilwtjprhosqawxe QUIT :Remote host closed the connection < 1447487738 57796 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :hmm, you can get in the army in some countries at 16. Therefore someone might be fighting the terrorists who was 2 when the war began < 1447487808 940783 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric : Forget the promise of progress and understanding, for in the grim dark future there is only war. There is no peace amongst the stars, only an eternity of carnage and slaughter, and the laughter of thirsting gods < 1447487979 150539 :J_Arcane!~chatzilla@37-219-0-58.nat.bb.dnainternet.fi QUIT :Ping timeout: 244 seconds < 1447488026 835716 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: Also, the occasional rabbit < 1447488409 241558 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: There are people fighting /with/ the terrorists who were 2 when the war began. Or younger. Or not even born yet. < 1447488800 677476 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The major general war on terror < 1447489157 631810 :heroux!sandroco@gateway/shell/insomnia247/x-mwberrsesvkgqets JOIN :#esoteric < 1447489705 716902 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :Jafet: just call it "the war", i mean it's the only war my country is actively involved in < 1447489847 151362 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 276 seconds < 1447489855 859136 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: like this one, you mean? https://www.youtube.com/watch?v=Nvs5pqf-DMA < 1447489963 759277 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :In the grim dark future, even the rabbits are blood-soaked engines of war. < 1447491039 391156 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: fnørd < 1447491658 856267 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1447493322 345710 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :updated my font < 1447493324 999020 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :双匁叔叙味呼哀哲在坑坊埋垣寺少帰広店弱 < 1447493325 947038 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :用強朝楽歌毎毛活海父番科答算 < 1447496043 147712 :J_Arcane!~chatzilla@37-219-19-181.nat.bb.dnainternet.fi JOIN :#esoteric < 1447496349 895299 :paul2520_!~paul2520@paulkaefer.com JOIN :#esoteric < 1447496392 884332 :trnv2!jhj@trnsz.com JOIN :#esoteric < 1447496398 248852 :digitalc1ld!~redacted@192.73.232.206 JOIN :#esoteric < 1447496429 806001 :j-bot!~j-bot@li1285-84.members.linode.com QUIT :Ping timeout: 252 seconds < 1447496433 340409 :clog!~nef@bespin.org QUIT :Ping timeout: 252 seconds < 1447496434 904177 :digitalcold!~redacted@192.73.232.206 QUIT :Ping timeout: 252 seconds < 1447496435 225567 :glowcoil!sid3405@gateway/web/irccloud.com/x-uhxvqbfsqctsxypl QUIT :Ping timeout: 252 seconds < 1447496435 578101 :pikhq!~pikhq@2601:647:4b00:63aa::f63 QUIT :Ping timeout: 252 seconds < 1447496436 124891 :Hoolootwo!~Hoolootwo@you.know.what.toasters.rocks QUIT :Ping timeout: 252 seconds < 1447496437 147037 :trn!jhj@trnsz.com QUIT :Ping timeout: 252 seconds < 1447496437 952863 :paul2520!~paul2520@unaffiliated/paul2520 QUIT :Ping timeout: 252 seconds < 1447496439 855637 :j-bot!~j-bot@li1285-84.members.linode.com JOIN :#esoteric < 1447496440 4454 :pikhq!~pikhq@2601:647:4b00:63aa::f63 JOIN :#esoteric < 1447496456 824030 :Hoolootwo!~Hoolootwo@you.know.what.toasters.rocks JOIN :#esoteric < 1447496474 37529 :clog!~nef@bespin.org JOIN :#esoteric < 1447496637 242130 :trnv2!jhj@trnsz.com NICK :trn < 1447496958 256495 :glowcoil!sid3405@gateway/web/irccloud.com/x-dusacycfhlwvhvyq JOIN :#esoteric < 1447498065 460191 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1447498366 910440 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1447499374 813545 :izabera_!~izabera@ec2-52-25-138-238.us-west-2.compute.amazonaws.com NICK :izabera < 1447499375 134754 :izabera!~izabera@ec2-52-25-138-238.us-west-2.compute.amazonaws.com QUIT :Changing host < 1447499375 283368 :izabera!~izabera@unaffiliated/izabera JOIN :#esoteric < 1447499754 808257 :int-e_!~noone@static.88-198-179-137.clients.your-server.de NICK :int-e < 1447499989 35662 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1447500387 732228 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1447500611 410150 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=45378&oldid=44908 5* 03Luis Mendo 5* (+99) 10 < 1447500683 679790 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 264 seconds < 1447500782 72501 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=45379&oldid=45378 5* 03Luis Mendo 5* (+71) 10 < 1447501042 447541 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=45380&oldid=45379 5* 03Luis Mendo 5* (+2) 10 < 1447501067 758711 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=45381&oldid=45380 5* 03Luis Mendo 5* (+7) 10 < 1447501134 306473 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=45382&oldid=45381 5* 03Luis Mendo 5* (+2) 10 < 1447502879 744402 :lifthrasiir!~lifthrasi@115.68.131.49 QUIT :Ping timeout: 264 seconds < 1447503113 919330 :TieSoul!~TieSoul@86.89.119.147 JOIN :#esoteric < 1447503153 765185 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1447503382 657940 :MoALTz_!~no@78-11-179-104.static.ip.netia.com.pl JOIN :#esoteric < 1447503388 541141 :Lorenzo64!~lorenzo@151.42.0.248 JOIN :#esoteric < 1447503388 689835 :Lorenzo64!~lorenzo@151.42.0.248 QUIT :Client Quit < 1447503389 420063 :lollo64it!~lorenzo@151.42.0.248 JOIN :#esoteric < 1447503394 915281 :TieSoul!~TieSoul@86.89.119.147 QUIT :Ping timeout: 260 seconds < 1447503416 434889 :lollo64it!~lorenzo@151.42.0.248 QUIT :Client Quit < 1447503575 586405 :MoALTz!~no@78-11-179-104.static.ip.netia.com.pl QUIT :Ping timeout: 240 seconds < 1447503699 775532 :mroman!~mroman@160.85.232.133 JOIN :#esoteric < 1447503738 238536 :mroman!~mroman@160.85.232.133 PRIVMSG #esoteric :I'm no expert but am I the only one that thinks that those "number arguments" in date-onomics are a bit weird. < 1447503744 493720 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1447503753 733441 :mroman!~mroman@160.85.232.133 PRIVMSG #esoteric :Granted, there apparentely are more female grads than male grads < 1447503776 137650 :mroman!~mroman@160.85.232.133 PRIVMSG #esoteric :Which means that if you restrict dating to the same education level than you have a problem as a female < 1447503789 462112 :mroman!~mroman@160.85.232.133 PRIVMSG #esoteric :however, overall there are more men than women in general. < 1447503809 422779 :mroman!~mroman@160.85.232.133 PRIVMSG #esoteric :and since some of those women are stuck searching in that 4:3 ratio restricted to the same education level < 1447503827 622640 :mroman!~mroman@160.85.232.133 PRIVMSG #esoteric :that would imply that the dating game for men without a high education level just got harder < 1447503828 855531 :TieSoul!~TieSoul@2a02:a448:4a62:0:548d:2bb6:e105:b48e JOIN :#esoteric < 1447503833 246398 :mroman!~mroman@160.85.232.133 PRIVMSG #esoteric :@massages-load < 1447503833 395255 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 10h 51m 12s ago: except for syntax is what the lexer uses, grammar is what the parser uses <-- that sounds to me like almost the exact opposite of the natural language meaning < 1447503833 395330 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 10h 50m 34s ago: because there, syntax is how you place words, but _not_ how words are composed. < 1447503931 615149 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'd call what a lexer uses/does "tokenization" and say that syntax and grammar are both parser things < 1447503974 614786 :mroman!~mroman@160.85.232.133 PRIVMSG #esoteric :*then < 1447503979 400310 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I agree with ais523 on this one < 1447504017 968305 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if called on the difference between syntax and grammar, I'd say that a grammar is a specification of a syntax < 1447504038 311071 :mroman!~mroman@160.85.232.133 PRIVMSG #esoteric :I'd say it depends on in which field you're working. < 1447504196 129593 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily < 1447504200 631222 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh < 1447504225 327615 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i was very scrolled up < 1447504237 337019 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1447504254 248477 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hellex < 1447505614 170243 :MoALTz_!~no@78-11-179-104.static.ip.netia.com.pl NICK :MoALTz < 1447506175 275184 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-cuknqaszeeciqgln QUIT :Excess Flood < 1447506359 152661 :sinetek!~quassel@114.134.189.25 JOIN :#esoteric < 1447506360 525575 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-vugmacvmbhskuzrg JOIN :#esoteric < 1447506969 746626 :andrew!~andrew@14.154.166.208 QUIT :Remote host closed the connection < 1447509405 59060 :mroman!~mroman@160.85.232.133 QUIT :Quit: Lost terminal < 1447509782 390237 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1447510024 740625 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1447511346 487345 :sinetek!~quassel@114.134.189.25 QUIT :Ping timeout: 272 seconds < 1447511451 329986 :sinetek!~quassel@114.134.189.107 JOIN :#esoteric < 1447511646 374413 :zadock!~outsider@81.180.210.212 JOIN :#esoteric < 1447512022 800616 :zadock!~outsider@81.180.210.212 QUIT :Quit: Leaving < 1447515259 245684 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1447515983 8454 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca JOIN :#esoteric < 1447517662 940203 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :good mroing < 1447517799 226898 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :\hellroen\ < 1447517935 350731 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :which kanji should I draw today? < 1447518028 913850 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: still the vertical version of the long vowel sign, and those strange repeat signs you don't have yet < 1447518082 917969 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: "ゝゞ" < 1447518096 2077 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: and "〱〲" < 1447518136 437526 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but definitely the vertical long vowel sign < 1447518215 549806 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :Oh, apparently I have ゝゞ but didn't add them. I don't have 〱〲 though, and I couldn't find the vertical long vowel sign < 1447518265 102334 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=45383&oldid=45382 5* 03Luis Mendo 5* (+700) 10 < 1447518287 465409 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: shouldn't that be a variant glyph for the normal long vowel sign, marked such that the font engine or layout engine automatically chooses that variant glyph for vertical text? < 1447518349 813865 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: also, halfwidth korean syllables < 1447518352 901894 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no awit < 1447518355 477698 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :not syllables < 1447518358 74716 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :halfwidth letters < 1447518631 150688 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :\oren\: could you please add 肺、管、腹、膵、臓、脾 and 爪? < 1447518656 469151 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :olsner: hellolsner. do you agree with https://youtu.be/GaGIFtJtuTY ? < 1447518695 845728 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :I've never tried surströmming < 1447518809 808949 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :I can't find a can here :( < 1447518851 767243 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :but these people seem to know what they're doing < 1447519033 410102 :sinetek!~quassel@114.134.189.107 PRIVMSG #esoteric :i'm hungry now < 1447519144 539935 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1447519242 676279 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :sinetellok. I haven't seem to have had been asked you the The Question: what are your approximate geographic coördinates and body weigh? < 1447519303 495022 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, The Question still exists? it's not a very good question :-( < 1447519335 426304 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :his523. it should be improved. < 1447519400 957762 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Question. If I want to write an eye dialect representing a child who can't yet pronounce "k" and "g" and so pronounces something close to "t" and "d" instead, then I should represent those letters with a "t" or "d" with what accent? A caron, a comma below, a circumflex? < 1447519495 508502 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's sort-of the opposite of a cedilla < 1447519526 464519 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :what is an eye dialect? < 1447519564 757902 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: eye dialect is nonstandard spelling representing the accent of the speaker < 1447519601 193985 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: eg. Hagrid talks with an eye dialect in Harry Potter, and so does the dwarf Dwalin in Irregular Webcomic! < 1447519623 706430 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :As well as Belkar in OoTS, except that he also writes that way in that joke. < 1447519676 171327 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :ť and ď? < 1447519694 148337 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :`thanks b_jonas < 1447519695 87043 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, b_jonas. Thonas. < 1447519712 801862 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: so caron? < 1447519878 409298 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :I was leaning towards a haček, prime or comma below. < 1447519907 183115 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hacek is the same as caron, right? < 1447520022 563573 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :... < 1447520035 672049 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :macron is the bar, caron is haček. < 1447520051 775668 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :so much diacriticonfusion. I am ashamed. < 1447520083 569360 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :macron makes sense, it marks long vowels, whereas brevis (breve) marks short vowels. originally. < 1447520223 388583 :mauris!~mauris@unaffiliated/nooodl QUIT :Read error: Connection reset by peer < 1447520544 307211 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's also diaresis = trema = umlaut. < 1447520563 677659 :sinetek!~quassel@114.134.189.107 PART #esoteric :"http://quassel-irc.org - Chat comfortably. Anywhere." < 1447520670 969215 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=45384&oldid=45383 5* 03Luis Mendo 5* (+1284) 10 < 1447520755 598767 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And "fly droppings" is a general term for all of them hth < 1447521006 492506 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=45385&oldid=45384 5* 03Luis Mendo 5* (+33) 10 < 1447521048 283608 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :stand still, stay silent sure takes its time to get started... < 1447521327 214903 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=45386&oldid=45385 5* 03Luis Mendo 5* (+42) 10 < 1447521599 97261 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=45387&oldid=45386 5* 03Luis Mendo 5* (-217) 10 < 1447521751 57757 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Are you reading the archives or something? < 1447521872 537620 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I like the bits that are in Finnish here and there. < 1447521898 996156 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Insert TV Tropes 'Bilingual Bonus' link here.) < 1447521912 281559 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :
ACTION is disappointed that there haven't been further edits on Three Star Programmer or its talk page
< 1447521917 469756 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was quite proud of that language < 1447521929 140617 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh well, I guess I'll have to wait for Keymaker to notice it, it seems like eir sort of language < 1447521936 529587 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what... is this a new language? < 1447521944 565836 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it is new < 1447521978 611883 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1447521982 988732 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as of a couple of days ago < 1447521986 980104 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :[[e:Three_Star_Programmer] < 1447521988 323899 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err < 1447521989 834738 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :http://esolangs.org/wiki/Three_Star_Programmer < 1447521994 991209 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :would help if I got my trigger right < 1447522246 275700 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=45388&oldid=45387 5* 03Luis Mendo 5* (+30) 10 < 1447522345 413227 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=45389&oldid=45388 5* 03Luis Mendo 5* (-2) 10/* Specification */ < 1447522374 838038 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: um, when you ask whether that language is Turing-complete, what are the observables or outputs of that langauge? programs never halt. do you mean with the output extension you describe? < 1447522439 452277 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: I'm using a loose #esoteric definition along the lines of "given any program in a Turing-equivalent language, you can write a program in «language» that runs in 'the same way' in some easily demonstrable sense" < 1447522527 805546 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: right, but that kind of stuff can lead to strange things when you start to make more and more complicated isomorphisms, and eventually the isomorphism itself will run your program < 1447522542 61320 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so it might be better to have a clear halt criterion < 1447522543 65392 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is one of the main objections against my 2,3 machine proof < 1447522560 585832 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure, it's the problem with lots of such proofs < 1447522565 594909 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although that one does have a clear halt criterion, at least; I found a construction with a semi-infinite tape, where in the halt state it falls off the end < 1447522609 349295 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :also, you need some limits on what's allowed when you translate the program. < 1447523148 825455 :idris-bot!~idris-bot@dslb-084-062-104-105.084.062.pools.vodafone-ip.de QUIT :Quit: Terminated < 1447523179 382393 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de QUIT :Quit: rebooting < 1447523402 839877 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de JOIN :#esoteric < 1447523630 164854 :idris-bot!~idris-bot@dslb-084-062-104-105.084.062.pools.vodafone-ip.de JOIN :#esoteric < 1447523953 803661 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca QUIT :Quit: TABULAR CHICKEN < 1447524177 496515 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: how do you feel about CHIQRSX9+ being used in code golf competitions? (In particular, in the seven competitions it has a good chance of winning.) < 1447524341 991370 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: I think it also has a decent chance at "make an interpreter for a Turing-complete language" < 1447524364 95064 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it'd also do well in an accumulator-incrementing competition, but would at least draw with brainfuck < 1447524389 759292 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, no, X doesn't work like that < 1447524393 478101 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it just makes the language TC in a nonspecified way < 1447524494 614760 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: any opinions on how the infinite Four Horsemen ruling affects TC M:tG games? < 1447524520 578357 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually it probably doesn't, unless randomness is involevd < 1447524540 337254 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: what is that ruling? < 1447524579 665264 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :link? < 1447524584 921365 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: that with any infinite loop, you have to be able to specify the number of iterations it takes and the expected end state, or you can't continue going round it < 1447524622 269974 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this Reddit thread contains good discussion, and the story it links to complains and quotes the rule itself: https://www.reddit.com/r/magicTCG/comments/11k00n/id_like_to_make_awareness_of_a_stupid_ruling_that/ < 1447524655 213665 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in this case you can't specify the number of iterations and the expected end state, assuming you're simulating an unsolved problem < 1447524662 652507 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but you also can't do anything else < 1447524810 711066 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: um, isn't that ruling about tournament rules (avoiding slow play) rather than comprehensive rules? I might be misunderstanding it < 1447524818 663721 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: yes, tournament rules < 1447524911 461623 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :If it's about tournament rules, then it can't affect turing-completeness in the sense we were talking about, because clearly setting up a full computational device isn't possible in a tournament anyway, and I already knew that. < 1447524965 617556 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: How do you feel about it? Should it be forbidden? (Though I really want to know how oerjan feels about it, since it's his.) < 1447525019 258641 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: well PCCG stack exchange has a rule that the language has to have a certain amount of power, and the usual test is being able to implement one specific program (something to do with printing primes, I think?) withotu cheating < 1447525036 697815 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't think CHIQRSX9+ can handle that deterministically, with the standard definition of X < 1447525052 485652 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although I guess X makes it TC by definition, so it should count < 1447525066 129500 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: being turing complete might not be enough < 1447525076 633382 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :for the golf SE rulings that is] < 1447525096 667650 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, their definition is intentionally designed to allow relatively powerful sub-TC languages < 1447525104 125296 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but may accidentally disallow some TC languages as a result < 1447525166 258189 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: that might not be an accident < 1447525191 860486 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :possibly < 1447525195 201659 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if it's the kind of TC language where you need a stellar size program to print anything useful with high probability, then they could disallow it < 1447525211 305794 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :like, a TC esolang that is designed to be almost impossible to program, < 1447525219 921130 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and not just to the level Malbolge does it, but more < 1447525221 49395 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :something like http://esolangs.org/wiki/DownRight is probably disallowed due to not having any form of IO and programs typically being very large < 1447525241 916389 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: Three Star Programmer? :-P, although that's more just impossible to think about < 1447525243 527076 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or I find it so < 1447525279 81536 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't know, I don't think three-star programmer is like that < 1447525306 665174 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :have you tried to write a program in it? < 1447525309 573869 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I have, I didn't get anywhere < 1447525315 241268 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no, but I also don't know if it's turing complete < 1447525322 815702 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's like, normally when you're writing a program < 1447525332 901904 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you start off by defining how or where you're going to store the various bits of data < 1447525338 624438 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :three star programmer just completely defies tha < 1447525340 951216 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*that < 1447525341 101794 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if you figure out that it's turing complete, you can probably also write programs in it that are only a few times as much verbose as brainfuck or something < 1447525356 817395 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :unless it has obstructions regarding to what IO you can do < 1447525360 174092 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you /have/ to keep moving your data around during the life of the program, and yet you also /have/ to use hardcoded cells < 1447525400 369619 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, it sounds difficult, but not in the sense of difficult _after_ you prove it turing complete < 1447525417 201409 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but difficult in the sense of how Malbolbe was difficult before people figured out how to write programs for it easily < 1447525420 202859 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well yes, but the proof would presumably be constructive < 1447525425 545794 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't think it's as hard as Malbolge < 1447525436 893135 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I do, however, find it hard to think about < 1447525437 425250 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm not sure it's TC though < 1447525443 241635 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(Malbolge is easy to think about, just makes it hard to do things) < 1447525445 479826 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right, that makes it a good esolang < 1447525448 905435 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1447525453 415722 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure it's TC either, though, but it hits all the normal notes to make a language TC < 1447525456 628690 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :makes Three Star Programmer a good esolang < 1447525470 479526 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm much more confident that 3* is TC than, say, Xigxag < 1447525480 931829 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(which is my go-to language for "almost certainly not TC but it's very hard to prove that") < 1447525486 936372 :heroux!sandroco@gateway/shell/insomnia247/x-mwberrsesvkgqets QUIT :Ping timeout: 260 seconds < 1447525492 17638 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Xigxag... I have to read this one < 1447525506 422919 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :http://esolangs.org/wiki/Xigxag < 1447525512 828517 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right < 1447525515 906201 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :found it < 1447525543 809531 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :ais523, what's this 3* thing < 1447525567 893065 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Xigxag sounds like bitwise cyclic tag, only worse < 1447525570 728909 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Phantom_Hoover: http://esolangs.org/wiki/Three_Star_Programmer < 1447525580 917894 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: nah, it's more like self BCT but ten times less powerful < 1447525595 877683 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yep < 1447525609 149646 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :plus it needs a stop criterion < 1447525639 39697 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca JOIN :#esoteric < 1447525664 281915 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :xigxag looks fun < 1447525738 380493 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1447525834 235966 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :weird. upgraded firefox (and ubuntu incidentally) on my laptop, and now it freezes after a few seconds... < 1447525863 21964 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :firefox, or the entire laptop? < 1447525870 683067 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :either way, it sounds like a bug related to the upgrade < 1447525881 75206 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :or to ubuntu < 1447525887 525471 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :only firefox. < 1447525913 341597 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :and now my keyboard layout is US, for no apparent reason. < 1447525919 440106 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :what the fungot is going on... < 1447525937 485744 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fungot? < 1447525937 878181 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :ais523: or the law does. :-p heh, i drew this stuff, base-10 addition is harder than it needs to < 1447525945 241794 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, you must have hit the rate limiter < 1447525996 835222 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :let's reboot and hope for the best... < 1447526006 524023 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca QUIT :Quit: DISTRAUGHT CHICKEN < 1447526055 237963 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: Xigxag also sort of reminds me to http://esolangs.org/wiki/McCulloch's_second_machine because that one can also sort of copy stuff from the left of the string or the right of the string, although I don't think they're really similar. < 1447526174 39417 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca JOIN :#esoteric < 1447526319 641288 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :still happening. much joy. < 1447526455 363366 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :(firefox:6603): GStreamer-WARNING **: External plugin loader failed. < 1447526868 367660 :pikhq!~pikhq@2601:647:4b00:63aa::f63 QUIT :Remote host closed the connection < 1447526983 28761 :pikhq!~pikhq@2601:647:4b00:63aa::f63 JOIN :#esoteric < 1447527196 877617 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Quit: Leaving < 1447527324 460211 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :swapped the flash plugin from 'flashplugin-installer' to the pepper one. seems to have fixed the problem. < 1447527361 593097 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :talked too fast. still freezes. AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAARGHGHGHGHGHGH. < 1447527408 488735 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :just don't flash < 1447527469 751123 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ack < 1447527937 479920 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net QUIT :Quit: Leaving < 1447527954 832897 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net JOIN :#esoteric < 1447527971 930591 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net QUIT :Client Quit < 1447527989 891945 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net JOIN :#esoteric < 1447528180 411818 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :just get a second computer and run flash on thst < 1447528416 350501 :heroux!~heroux@gateway/shell/insomnia247/x-ompsvasucplxdmxv JOIN :#esoteric < 1447529174 568477 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-vugmacvmbhskuzrg QUIT :Excess Flood < 1447529340 437895 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-uuadxasmwsxqdnfo JOIN :#esoteric < 1447529898 258721 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1447530043 825996 :bb010g!uid21050@gateway/web/irccloud.com/x-dzhlmswlmuefhtld JOIN :#esoteric < 1447533735 936635 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1447533773 536498 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1447533803 804930 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1447533876 110977 :hppavilion[1]!~Devourero@74-114-87-66.dynamic.asdk12.org JOIN :#esoteric < 1447535360 79626 :hppavilion[1]!~Devourero@74-114-87-66.dynamic.asdk12.org QUIT :Ping timeout: 276 seconds < 1447535956 607887 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1447536444 127297 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1447536513 340977 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1447537205 490497 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1447537587 48412 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1447537612 614386 :zzo38!~zzo38@24-207-56-9.eastlink.ca QUIT :Read error: Connection reset by peer < 1447537748 579795 :zzo38!~zzo38@24-207-56-9.eastlink.ca JOIN :#esoteric < 1447537837 531064 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Can you tell me why it still does not print? < 1447537975 496180 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca QUIT :Quit: CRUISING CHICKEN < 1447538060 156330 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1447538103 927992 :TieSoul!~TieSoul@2a02:a448:4a62:0:548d:2bb6:e105:b48e QUIT :Read error: Connection reset by peer < 1447538151 677038 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca JOIN :#esoteric < 1447538862 535854 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :zzo38: what doesn't print? < 1447538998 509437 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Is λx.(λx.xy)(λy.xy) a valid λ-term? < 1447539058 428176 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :\oren\: I used the command: dvipbm -E fontfinder < texput.dvi | foo2zjs -z2 | lp but it will not print. It add into the print queue, it looks like a valid PJL and ZjStream, and the printer is HP Laserjet P1102w and is recognized by the computer. < 1447539071 599271 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :But, it will not print; the lights don't blink or anything else like that. < 1447539097 790946 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(The output of dvipbm is also valid; I checked that too.) < 1447539113 865371 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I /think/ it is, but it isn't working with my parser. < 1447539129 904394 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Can anyone confirm that I'm the one who screwed up? < 1447539382 378734 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: err, the first y doesn't refer to any of your lambdas; it's "valid" if you allow scope and if you allow that to be an open term (i.e. to have un-lambda's variables) < 1447539385 10242 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it's not a closed term < 1447539403 793244 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> \x -> (\x -> x y) (\y -> x y) < 1447539405 256123 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (Typeable t0) < 1447539405 404694 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : arising from a use of ‘show_M539493718582421214228727’ < 1447539405 404769 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : In the expression: < 1447539412 688277 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh right, lambdabot has y pre-defined < 1447539415 425720 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::t \x -> (\x -> x y) (\y -> x y) < 1447539416 61297 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: I just need to know if it's syntactically valid for my parser < 1447539416 641199 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Expr -> r) -> r < 1447539424 332992 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: that depends on what language you're parsing < 1447539428 471278 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"lambda-calculus" is too general < 1447539455 925538 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Traditional λ-calculus (with some assignment, though that's not yet relevant) < 1447539473 624308 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: in that case it's a valid open term but not a valid closed term < 1447539476 709505 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which are you parsing? < 1447539517 683014 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Not sure. < 1447539540 263259 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm just following the three rules for Lambda terms Wiki gives me < 1447539565 618283 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Lambda_calculus#Lambda_terms < 1447539610 73563 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Open terms, I think? If you're referring to the fact that there's an unbound "y" in there then open terms < 1447539612 650027 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OK, it's valid under those rules < 1447539622 493052 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and yes, open terms are terms that contain free (=unbound) variables < 1447539665 407263 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ah < 1447539666 451994 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1447539681 34416 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It looks like the parser is working now < 1447539690 667231 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :On a different test term < 1447539694 357806 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Now testing it with that one < 1447539768 448383 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Huh < 1447539789 50187 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It doesn't crash, but it doesn't parse the second part of the application (λy.xy) < 1447539806 296387 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I get the same thing I would get if parsing λx.(λx.xy) < 1447539837 35178 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Luckily, I think I know why < 1447540521 72688 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1447540532 847910 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK, it's working better now. Still not perfect, I'm sure, but improved < 1447540580 361748 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :after some voodoo incantations, beta Firefox 43 may work... < 1447540610 11007 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK, temporary bug, but λx.G(λx.xy)(λy.xy) is different from λx.(G)(λx.xy)(λy.xy) < 1447540617 914857 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(G is a named λ-term) < 1447540717 767967 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1447540767 33750 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1447540920 807680 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :There we go. Now I can assign things. < 1447541037 969081 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Do you know how to do printing on Ubuntu? < 1447541133 68334 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1447541279 146317 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I used to get all light blinking when trying to print a PCL file, but now it does nothing regardless of the format, and usb_printerid doesn't work anymore either. < 1447541517 44100 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :usb_printerid used to work but now it doesn't work. < 1447542562 666052 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :At least that works now, but now I just get the lights blinking again even with ZjStream format < 1447543173 323319 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Parser is now working, barring maritime disasters < 1447543187 168415 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, no < 1447543340 809781 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :THERE we go < 1447543341 832865 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I hope < 1447543549 486381 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It can parse S(BBS)(KK) properly, so it should be working < 1447543763 677103 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1447544466 331846 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1447545264 214827 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is anyone here a (n)curses expert? i just need to read a utf8 character < 1447545529 926586 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Remember to setlocale(LC_ALL, ""); is all I can say.