< 1447977606 684341 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :FireFly: It is. I think it's clever and awesome, but it's probably just stupid. < 1447977630 46076 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I mean, the efficiency is probably going to be atrocious. Then again, Kastor isn't a particularly quick language in the first place. < 1447977698 108869 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You know, in SQL, an "OUTER SELECT" would make perfect sense. < 1447977717 114337 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :FireFly: The only problem I can think of with that syntax, though, is if you want to write a float in hex for some reason: You think it should be 0xABC.123, but it'd actually have to be 0xABC.0x123 and there's no way to fix it without making floats just a builtin, which everytime I think about becomes a better and better idea but I'm probably not going to do anyway. < 1447977743 881796 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: so 1.01 would be interpreted as 1.1, aye? < 1447977792 658021 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: ... < 1447977796 494269 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Fuckfuckfuckfuckfuck < 1447977801 736273 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Roll with it. < 1447977804 779481 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :No. < 1447977820 140277 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :It's designed to still be usable, despite drawing on Eso. < 1447977821 635403 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Okay. < 1447977862 962034 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ooh, here's an idea. < 1447977872 770005 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In addition to the . operator, there's a .0 operator, a .00 operator, and so on. < 1447977880 956645 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So that would be: 1 .0 1 < 1447977900 769395 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :How to do an OUTER SELECT: Add a NULL row to each table. Take the cartesian product of all those tables. Filter by the WHERE conditions, treating each one involving a NULL as satisfied. Project as desired. Take only the maximum tuples. < 1447977903 971490 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Sump'm like that. < 1447978005 669614 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1447978135 569099 :mauris__!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 240 seconds < 1447978279 435793 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: But that doesn't fit the operator syntax xD. But no, I'm just sticking with float. < 1447978313 298587 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here's another idea. < 1447978321 476880 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Reverse the digits of the rhs part. < 1447978337 138993 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The expression 120 . 240 represents 120.042. < 1447978419 362108 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: No. This language is meant to actually be usable. < 1447978427 531990 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Roger. < 1447978436 247420 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Like, python-usable if speed isn't a big issue. < 1447978448 195299 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :If I ever finish Tokiber, I'll create an Esolang page for it. < 1447978473 342786 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Usability will be a major goal, but *usefulness*, not so much. < 1447978627 433221 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I'm currently working on how integer tokens work < 1447978680 602598 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Basically, 0b[binary number], 0q[quaternary number], 0o[octal number], and 0x[hex number] are builtin, along with 0n[decimal base]_[arbitrary-base number]. < 1447978723 29296 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :You can define how arbitrary-base numeric alphabets behave; by default they support 0-9a-zA-Z as digits, so you can't yet do base64 constants. < 1447978784 536129 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :All numbers support underscores wherever you like (except leading (that's a variable) and trailing (a special). That does not work). < 1447978885 770559 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Also, you can define your own encodings that just feed a class constructor or a function a string; e.g. 0rn_VII could be programmed to return 0q13 (7) < 1447978923 160582 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(0rn_VII works because any numeric or letter-like character can go after a 0[type]_) < 1447979670 816642 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :OK, finished the BNF < 1447979818 591152 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Things I would not recommend: having a moustache < 1447980035 263504 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :How so? < 1447980059 680280 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1447980080 636420 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :It itches < 1447980083 875013 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :It itches so much < 1447980092 643091 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nah < 1447980099 824091 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :its fine < 1447980103 965526 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :to tame it < 1447980110 84448 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :with wax < 1447980131 460347 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :quintopia: it's not long enough yet < 1447980268 568283 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1447980306 97548 :heroux!sandroco@gateway/shell/insomnia247/x-pzfkbxonggjnvdmm QUIT :Ping timeout: 240 seconds < 1447980334 250339 :heroux!sandroco@gateway/shell/insomnia247/x-avqcgzsmowqcfuwz JOIN :#esoteric < 1447980348 323003 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Fuckfuckfuckfuckfuck <-- design is hard. < 1447980361 728242 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Yes. It is. < 1447980463 44511 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavellon[1]! tell me all. < 1447980491 621960 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bohily < 1447980606 198562 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellørjan! < 1447980679 396949 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :ヘロルヤン < 1447980763 663989 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :\helloren\. I believe ヘレリャン is closer hth < 1447980814 131715 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i believe you're evil for making me use google translate hth < 1447980867 862116 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :ゲハハハハハハ < 1447981007 149389 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :オホホホホホホ < 1447981073 240147 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i knew that was a bad idea. < 1447981081 762464 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ondskapsfulle beist < 1447981202 297599 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :boily: I'm making a programming language called Kastor. It draws on Eso, but is made for general usage. < 1447981209 397061 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Vaguely like perl. < 1447981214 245928 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :perl is eso. < 1447981247 223704 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :It is most definitely eso. < 1447981281 407040 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :boily: I'm currently working on how integers work; I took the _ syntax from Perl and am allowing custom 0c prefix codes < 1447981395 745695 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 272 seconds < 1447981665 678942 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :It is a weird experience listening to a video from ICFP and there being a familiar voice asking a question at the end < 1447981768 429644 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Although, I guess, not that weird < 1447981779 288994 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I'd imagine it'd be pretty weird if I heard my own voice there < 1447982310 921118 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1447982813 673826 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca JOIN :#esoteric < 1447983669 332040 :andrew!~andrew@183.54.14.84 JOIN :#esoteric < 1447984630 61643 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds < 1447985737 513833 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1447985874 839459 :boily!~alexandre@96.127.201.149 TOPIC #esoteric :The ウフフ channel. | /ɛ̃ˈglɪʃ spɛˈliŋ ʀɘfɔʀm/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://esolangs.org/ < 1447985891 353907 :boily!~alexandre@96.127.201.149 QUIT :Quit: IMAGINARY CHICKEN < 1447986025 46847 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds < 1447986597 510380 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1447986605 679474 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1447986884 54781 :llue!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer < 1447986900 376201 :llue!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1447987187 686970 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca QUIT :Ping timeout: 264 seconds < 1447987282 538866 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca JOIN :#esoteric < 1447987981 783778 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I've just integrated my first Unicode character into Kastor :) < 1447987985 445784 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Well, two < 1447988026 613815 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Specifically, ⧼ and ⧽ to denote arrays/vectors < 1447988035 839910 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what is kastor? < 1447989038 719411 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :pizzarama < 1447989081 447107 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :`unidecode ⧼⧽ < 1447989082 329741 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+29FC LEFT-POINTING CURVED ANGLE BRACKET] [U+29FD RIGHT-POINTING CURVED ANGLE BRACKET] < 1447989095 807791 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :I don't have those < 1447989104 671912 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :need to add them < 1447989107 684484 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1447989133 154277 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :yeah, i'm shocked, I thought I had all the damn operators already < 1447989435 370972 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :OK, I changed the symbols because I was using the wrong ones xD < 1447989507 167465 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I'm now using ⟨⟩ instead of ⧼⧽ (the former ones were curved and looked a bit nicer, but I prefer the chevrons because they're more typical) < 1447989530 70232 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: It's from misc operators, as it turns out < 1447989555 524624 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :izabera: Programming language I'm making based on the principal that languages should be usable, but combined with all the teachings of Esobuddha. < 1447989751 951950 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Huh. Indian programmers often refer to {"{", "}"} as "Flower Brackets" < 1447989764 385822 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(Notice that I used set notation there solely because it's more confusing) < 1447990798 104949 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Does unicode lack the logical xnor? < 1447990844 141458 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :This? https://reference.wolfram.com/language/ref/character/Xnor.html < 1447990867 232940 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :AGH, that block (misc math sybols B) is full of annoying crap! < 1447990911 996473 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Dammit, there isn't one in the entire fucking formal logic < 1447990950 741144 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :zgrep: Thank you! There we go! < 1447990975 913460 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :Google helps, you know, rather than digging through a table of unicode values... < 1447991050 318075 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Dammit, fonts don't support it < 1447991054 492498 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Not many, at least < 1447991080 114202 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :tell me the code point and I'll add it if I can draw it < 1447991144 85146 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: F4A2 < 1447991165 721850 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I might have to embed your font into my IDE for Kastor, \oren\ xD < 1447991200 276750 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Wouldn't that be cool? < 1447991218 991649 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :thsat's a private use character point. < 1447991239 240992 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :e.g. not an official unicode character < 1447991247 363351 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Oh < 1447991249 404532 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Shit. < 1447991257 458787 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :That's a problem. < 1447991264 254481 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :so even GNU unifont won't have it < 1447991326 683017 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I need a surrogate symbol to represent logical xor... It has to look good among < 1447991326 929682 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :∧∨⊻⊼⊽ < 1447991348 397875 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :My problem is that even formal logicians don't have a symbol for some reason xD < 1447991375 912924 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :xor is the same as not equal, so xnor would be = < 1447991431 623225 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: Except the ∧∨⊻⊼⊽ symbols are type-insensitive, being the "logical" versions of the operator: ''==0 evaluates to false, but ''0 evaluates to true. < 1447991469 929760 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :you could use some other variant of = < 1447991473 277396 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I could < 1447991495 69431 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :≖≗≘≙≚≛≜≝≞≟ any of these look good < 1447991528 637271 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Perhaps ≚? < 1447991532 620801 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, you found that one xD < 1447991548 960698 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :and those are all in my font! < 1447991552 614097 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, no < 1447991557 667380 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I want the other one < 1447991574 966053 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, I didn't send the message those last two posts were referring to xD < 1447991631 72275 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :≙ makes the most sense, as it's "="+"∧", so it's logical. Only problem is people might confuse it for an assignment operator, but oh well < 1447991663 96544 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :I prefer an arrow for assignemtn < 1447991687 218538 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :a ← 4 < 1447991696 303539 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, no < 1447991713 992386 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :≚ is or. So I'll use that. < 1447991880 188311 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: Maybe I'll use that. < 1447991935 167150 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :does anyone know how to check if a process has a fd that points to a given file? < 1447991941 516923 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :how does lsof do it? < 1447991969 370059 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :all i can think of is to readlink every file in /proc/pid/fd < 1447991990 736366 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: Kastor currently has planned 12 different types of builtin collection xD < 1447992070 690712 :llue!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1447992271 775096 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: You must know a lot of unicode characters from fontsmithing. Is there a good type of bracket I could use for bags? < 1447992425 690475 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :⦃⦄ < 1447992436 501858 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :`unidecode ⦃⦄ < 1447992437 558399 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2983 LEFT WHITE CURLY BRACKET] [U+2984 RIGHT WHITE CURLY BRACKET] < 1447992484 745525 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: I just was thinking that when I openned hexchat to see that suggestion. That was awesome. < 1447992798 470629 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :13 possible collections. Wow. < 1447992814 615427 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, ordered bag < 1447992833 506407 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :that would just be a sorted array dudu < 1447992839 414996 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :s/dudu/dude/ < 1447992975 340043 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: That's one way of representing it, but not the only way < 1447992990 719281 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :And thus I'm including it < 1447993003 903840 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :However, no bagdicts or anything. < 1447993217 743779 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Because that doesn't make any sense, and more importantly, it looks almost like "big dicks" and no just no. < 1447993983 238960 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Combinatory logic/Analysis of combinators14]]4 10 02http://esolangs.org/w/index.php?diff=45554&oldid=45461 5* 03Hppavilion1 5* (+421) 10Some stuff, I hope < 1447993990 678163 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Yay! < 1447994521 316023 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :hppavilion[1]: well in that case the correct character is ⇫ < 1447994573 182960 :\oren\!~oren@TOROON0949W-LP140-02-1242510774.dsl.bell.ca PRIVMSG #esoteric :or maybe Ⰴ or Ⰲ < 1447994741 789430 :ent0nces!~ent0nces@75-164-204-179.ptld.qwest.net JOIN :#esoteric < 1447994801 986531 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: ? < 1447994818 19431 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :My font won't render any of those characters, so I don't know what you're talking about < 1447994863 509911 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :It won't render in neoletteres either < 1447994888 181078 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :... < 1447994894 828421 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I think I'm going to keep IRC on neoletters < 1447995026 783301 :idris-bot!~idris-bot@dslb-084-062-104-105.084.062.pools.vodafone-ip.de QUIT :Ping timeout: 260 seconds < 1447995075 486518 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de QUIT :Ping timeout: 255 seconds < 1447995614 640008 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Quit: WALRUS MAAAAAAAAAAAAN < 1447995635 331748 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1447995857 423994 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Is a multiset a bag? < 1447995967 759782 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, I just remembered I might not want to use x ← 5 as assignment unless there's a good-looking augmented assignment syntax for ← assignment. Do you have anything, \oren\? < 1447996452 243255 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: afaik < 1447997308 312995 :bb010g!uid21050@gateway/web/irccloud.com/x-iszjslkcyckeumxs JOIN :#esoteric < 1447998970 299392 :ent0nces!~ent0nces@75-164-204-179.ptld.qwest.net QUIT : < 1447999211 811661 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1447999871 333781 :heroux!sandroco@gateway/shell/insomnia247/x-avqcgzsmowqcfuwz QUIT :Ping timeout: 250 seconds < 1447999926 952548 :heroux!sandroco@gateway/shell/insomnia247/x-xzoesnqfqzayxduc JOIN :#esoteric < 1448001245 780328 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1448001433 429535 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Semantic Brain14]]4 10 02http://esolangs.org/w/index.php?diff=45555&oldid=45548 5* 03Zerk 5* (-46) 10Fixed an infinite loop in cumulative adder code. < 1448001745 592797 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :re. today's girl genius: i bet 10 zorkmids that's othar < 1448002390 779954 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 260 seconds < 1448002631 310654 :andrew!~andrew@183.54.14.84 QUIT :Remote host closed the connection < 1448002744 101726 :andrew!~andrew@119.137.86.165 JOIN :#esoteric < 1448003032 583521 :andrew!~andrew@119.137.86.165 QUIT :Remote host closed the connection < 1448003073 778069 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1448003086 123281 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: what's wrong with just using circled plus for xor? < 1448003087 440811 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: afayk what? I was afk. < 1448003099 873673 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :b_jonas: No, not xor, xnor < 1448003105 262848 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh that < 1448003112 854799 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :for that, triple horizontal line < 1448003123 747511 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: afa what you said 2 lines before hth < 1448003124 799298 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :b_jonas: That's "is defined as" < 1448003137 196018 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1448003181 712074 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1448003187 334387 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :<=> < 1448003203 907389 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: What are you trying to help me with? xD < 1448003255 721673 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i changed the subject hth < 1448003259 786181 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the xnor < 1448003279 162746 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :⇔ < 1448003296 351199 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :as a boolean proposition operator < 1448003354 11020 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I still say triple horizontal line. Isn't that what Knuth uses these days? < 1448003384 734252 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or maybe just ↮ without the slash < 1448003417 493226 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: https://en.wikipedia.org/wiki/Logical_biconditional has several options < 1448003441 972912 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I believe I settled on ≚ < 1448003452 38791 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I'll check out that page < 1448003488 13232 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :of course you settled on something my client cannot display < 1448003502 595726 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well it couldn't display the last i suggested either < 1448003680 270770 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: It's the equal sign with an "or" sign above it; neoletters supports it. < 1448003736 68304 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1448003794 962334 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :The PROBLEM with that is that it's confusing as it looks like an assignment operator < 1448003820 63755 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Should I implement ⚢⚣⚤⚥⚦⚧⚨⚩ as operators, allow them to be included in names, or do something else with them? (xD) < 1448004008 721878 :J_Arcane!~chatzilla@37-219-95-164.nat.bb.dnainternet.fi QUIT :Ping timeout: 246 seconds < 1448004173 205207 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Same goes for ♂♀, ☿♁♃♄♅♆♇, ♈♉♊♋♌♍♎♏♐♑♒♓, ♔♕♖♗♘♙/♚♛♜♝♞♟, ♠♡♢♣♤♥♦♧, and ⚭⚮⚯ < 1448004322 936499 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :And why not ⚊ ⚋ / ⚌ ⚍ ⚎ ⚏ / ☰ ☱ ☲ ☳ ☴ ☵ ☶ ☷ < 1448004832 507804 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Should I use the < 1448004832 768991 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :⊻⊼⊽ for logical operations XOR, NAND, and NOR, or should I switch to the arrow notation? < 1448004847 567839 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I think I'll stick with these and reserve arrows for othere purposes < 1448005303 951030 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm.... < 1448005929 204718 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1448006412 479010 :bb010g!uid21050@gateway/web/irccloud.com/x-iszjslkcyckeumxs QUIT :Quit: Connection closed for inactivity < 1448008123 21880 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Aubergine14]]4 10 02http://esolangs.org/w/index.php?diff=45556&oldid=45455 5* 03Quintopia 5* (+77) 10/* Examples */ < 1448008366 129025 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Cellular automaton14]]4 10 02http://esolangs.org/w/index.php?diff=45557&oldid=30870 5* 03202.99.113.80 5* (+11) 10/* Relation to esoteric programming */ < 1448008382 781212 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 260 seconds < 1448008933 88145 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Purple14]]4 N10 02http://esolangs.org/w/index.php?oldid=45558 5* 03Quintopia 5* (+3993) 10Created page with "{{infobox proglang |name=Purple |paradigms=imperative |author=[[User:Quintopia]] |year=[[:Category:2015|2015]] |class=[[:Category:Turing complete|Turing complete]] |refimpl=Se..." < 1448009007 670484 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1448009174 131361 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07BitShift14]]4 10 02http://esolangs.org/w/index.php?diff=45559&oldid=45549 5* 03Bas 5* (-5) 10 < 1448009375 664289 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Purple14]]4 10 02http://esolangs.org/w/index.php?diff=45560&oldid=45558 5* 03Quintopia 5* (-8) 10bleh < 1448009591 670213 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 272 seconds < 1448011152 132704 :andrew_!~andrew@119.137.86.165 JOIN :#esoteric < 1448012192 340728 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1448012425 807508 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Aubergine14]]4 10 02http://esolangs.org/w/index.php?diff=45561&oldid=45556 5* 03Quintopia 5* (+5) 10/* Examples */ < 1448012440 58455 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Aubergine14]]4 10 02http://esolangs.org/w/index.php?diff=45562&oldid=45561 5* 03Quintopia 5* (+0) 10/* ]Hello, world! */ < 1448012512 125735 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Aubergine14]]4 10 02http://esolangs.org/w/index.php?diff=45563&oldid=45562 5* 03Quintopia 5* (+4) 10/* Examples */ < 1448012698 940129 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Purple14]]4 10 02http://esolangs.org/w/index.php?diff=45564&oldid=45560 5* 03Quintopia 5* (+9) 10/* Examples */ < 1448012822 562688 :mroman!~mroman@160.85.232.226 JOIN :#esoteric < 1448012825 201777 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :fnard < 1448013544 179579 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1448014188 602847 :andrew_!~andrew@119.137.86.165 QUIT :Remote host closed the connection < 1448014367 250059 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hello world program in esoteric languages14]]4 10 02http://esolangs.org/w/index.php?diff=45565&oldid=45232 5* 03Quintopia 5* (+224) 10 < 1448014411 267230 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hello world program in esoteric languages14]]4 M10 02http://esolangs.org/w/index.php?diff=45566&oldid=45565 5* 03Quintopia 5* (+3) 10/* Aubergine */ < 1448014616 877707 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02http://esolangs.org/w/index.php?diff=45567&oldid=45464 5* 03Quintopia 5* (+13) 10/* P */ < 1448014670 279646 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02http://esolangs.org/w/index.php?diff=45568&oldid=45567 5* 03Quintopia 5* (+16) 10/* U */ < 1448014995 111513 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1448015010 41788 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 244 seconds < 1448015635 618973 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Quintopia14]]4 10 02http://esolangs.org/w/index.php?diff=45569&oldid=42578 5* 03Quintopia 5* (+214) 10 < 1448015717 734076 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1448015719 589798 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :well I just answered a haskell question on stackexchange < 1448015724 310150 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :let the hatred begin :) < 1448016075 872552 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :http://codepad.org/xZCenjhm <- but technically that's how you could implement "inheritance" of some sorts < 1448016479 847407 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Purple14]]4 10 02http://esolangs.org/w/index.php?diff=45570&oldid=45564 5* 03Quintopia 5* (+7) 10/* Python 2 */ < 1448017008 107227 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1448018406 670474 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1448018414 248613 :Froox!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1448018419 640633 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1448018498 469223 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1448018507 109116 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1448019108 910523 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1448019947 785376 :gniourf!~gniourf@pdm-l03.insa-lyon.fr QUIT :Quit: Leaving < 1448020516 109046 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1448020516 296692 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :You don't have any messages < 1448020551 837742 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :int-e: int-ello. is it possible to specialcase lambdabot for loud massages please? < 1448020624 937574 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@sausages < 1448020625 86131 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1448020897 571722 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 265 seconds < 1448020965 784192 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1448021141 921083 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1448021179 925572 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1448021602 156104 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1448021953 30702 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de JOIN :#esoteric < 1448022505 570384 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1448022513 347550 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1448022542 913092 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 260 seconds < 1448022667 822418 :boily!~alexandre@96.127.201.149 QUIT :Quit: UNREADABLE CHICKEN < 1448023871 117431 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I wonder how many people are bilingual in two sign languages < 1448024347 503908 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: bilingual to at least what level of knowledge? < 1448024365 235834 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :At least conversational < 1448024507 40617 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1448026126 725113 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1448029448 186196 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1448029479 742389 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1448029873 708889 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1448029963 842751 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1448030952 985960 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :What's the best data structure in Haskell for writing interpreters on a sequence of instructions where you need to do forwards and backwards jumps? < 1448030965 80151 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Map? HashTable? Array? < 1448030990 483226 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :and you can't parse it neatly like Brainfuck data BF = Loop [BF] | Increment < 1448030996 903846 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh no, someone's going to mention lens aren't they < 1448031011 408399 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Well, Taneb is online so < 1448031015 741813 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :What < 1448031016 440332 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :there's the chance of that happening, yes. < 1448031016 588965 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I am < 1448031036 143372 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Huh < 1448031041 972142 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :mroman: I'd use vector < 1448031101 106526 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Or a skiplist, maybe??? < 1448031138 68697 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Just precompute the target address for each jump hth < 1448031212 78990 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :skiplists in haskell? < 1448031217 858396 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :does that even work? < 1448031265 332101 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Wait wait! < 1448031272 607196 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Oh derp. < 1448031283 843415 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Was scrolled up. < 1448031300 473612 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :well I guess I can't precompute every jump anyway < 1448031400 830967 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :@tell hppavilion[1] Wait wait for bags you must use ⟅⟆ as brackets. {LEFT,RIGHT} S-SHAPED BAG DELIMITER < 1448031401 16728 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1448031514 803165 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that unicode character name is irrefutable < 1448031736 650260 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :More importantly those look awesomely bag-like. < 1448031809 481223 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :💰💰💰 < 1448031862 921019 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Pretty much, yeah. < 1448031878 319135 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :⟅$⟆ < 1448031902 9288 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Combining bag characters < 1448031902 235400 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I wonder if I can do indentation based thingies in parsec < 1448031908 71077 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :should be possible < 1448031917 580821 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, delimiters as combining characters < 1448031932 603253 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1448031937 181093 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :surely you just need a COMBINING BOTTOM OF BAG to place below the $? < 1448031976 383441 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :mroman: I think it’s troublesome. There’s been a paper about indentation sensitive parsing, but I don’t remember if there’s a lib based on it. < 1448032052 626169 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :⟅$̲⟆ < 1448032297 207481 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You can, of course, implement any computable grammar next to parsec. < 1448032424 223499 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :idea: what about a language where combining characters are operators < 1448032451 663223 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The zalgo programming language < 1448032502 181736 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(Gives a new meaning to code density...) < 1448032506 534295 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :https://hackage.haskell.org/package/indents-0.3.3/docs/Text-Parsec-Indent.html < 1448033178 601111 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :aw fuck < 1448033179 472522 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :yeah < 1448033182 432957 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :you have to use lots of tries < 1448033183 130538 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric ::( < 1448033258 699712 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :but that doesn't soom to work either < 1448033394 821930 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :the problem is that if you expect 6 spaces to be there < 1448033404 465276 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :but there are only three there (which means block end) < 1448033411 247214 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :then parsec will still expect those 3 additional spaces < 1448033496 42216 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :https://hackage.haskell.org/package/indents-0.3.3/docs/Text-Parsec-Indent.html < 1448033498 258230 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :although there is this < 1448033536 843765 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You could embrace it instead. < 1448033654 251052 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :why not begin ... end < 1448033655 642684 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :or < 1448033658 114917 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :begin ... nigeb < 1448033683 444405 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :procedure ... while ... elihw .. erudecorp < 1448033691 517061 :J_Arcane!~chatzilla@37-219-95-164.nat.bb.dnainternet.fi JOIN :#esoteric < 1448033694 299177 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :man that'd be annoying < 1448033717 387273 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :foreach x in y do ... hcaerof < 1448033756 624214 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm vaguely sure I've seen "erudecorp" in that context before (presumably as a joke) < 1448033773 71706 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :There are plenty of rude corporations in the see < 1448033775 95956 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(vaguely sure = a little less sure than "pretty sure") < 1448033816 387459 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :`learn erudecorp is the shortform of e-rude corporation. The term is used for corporations that are electronically rude. < 1448033819 962243 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'erudecorp': erudecorp is the shortform of e-rude corporation. The term is used for corporations that are electronically rude. < 1448033859 844184 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :One using german swear speech would be fun < 1448033882 917588 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :fürjedes x in y friss das ... du sack < 1448033911 196765 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :versuche x menno .... so'n müll < 1448033927 164148 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric := try: x except: .... < 1448034125 50846 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :öffentlich statisch hauptmethode(Schnur[] argumente) ist ganz i; solange(i < 10) mach print(i) aber schnell gecheckt? < 1448034209 181784 :J_Arcane!~chatzilla@37-219-95-164.nat.bb.dnainternet.fi PRIVMSG #esoteric :ACTION reconstructs a code snippet by hand from a Twitter image, thus learning why he should use version control even for small projects. < 1448034456 278648 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1448034496 41198 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :http://codepad.org/858XP1XQ < 1448034508 776085 :ais523!~ais523@147.188.254.146 JOIN :#esoteric < 1448034515 155937 :ais523!~ais523@147.188.254.146 QUIT :Changing host < 1448034515 304577 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1448034716 258907 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07List of ideas14]]4 10 02http://esolangs.org/w/index.php?diff=45571&oldid=44809 5* 03160.85.232.226 5* (+413) 10lolcode in german. < 1448035296 902735 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :mroman: Now add that modifiers have to be properly inflected for what they go on. < 1448035338 193315 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Also, “Schnur”, really? <ω< < 1448035402 44506 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :well < 1448035404 25671 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :yes < 1448035407 641869 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Schnur < 1448035416 279608 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :double -> doppelt < 1448035422 625360 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :float -> schwimm < 1448035440 166528 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :>ω< < 1448035622 823024 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :“Zeichenkette”, “Gleitkommazahl” (“doppeltgenaue” or “einfachgenaue”). < 1448035640 739435 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Niemals < 1448035644 772089 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Das wäre ja nicht Lustig. < 1448035670 129189 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :KRANKENHAUSKIOSKVERKAEUFERIN < 1448035675 500533 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Ich weiß, ich konnte das nur einfach nicht so stehenlassen. < 1448035719 634577 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :bool -> buhl < 1448035737 356346 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Zwischengesicht Vergleichbar < 1448035772 568884 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Amusing: “chain” and “Kette” are cognate, but not Germanic; they’re from Latin “catena”, but in the English case of course it got filtered through Old French first. < 1448035843 47487 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :(“Schnittstelle”) < 1448036061 387941 :J_Arcane!~chatzilla@37-219-95-164.nat.bb.dnainternet.fi QUIT :Ping timeout: 255 seconds < 1448036582 680517 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Chain in Polish is łańcuch < 1448036584 891445 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Probably not cognate < 1448036863 566894 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1448036890 375403 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Melvar: of course. the Mormann warriors have learnt that word from the Roman soldiers who took their lived ones away as slaves chained up < 1448038079 760745 :J_Arcane!~chatzilla@37-219-95-164.nat.bb.dnainternet.fi JOIN :#esoteric < 1448038186 902674 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :schwimm. oh my god < 1448039088 949856 :Guest23593!~simpleirc@83.149.37.142 JOIN :#esoteric < 1448039577 777705 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1448040309 347825 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :Ach du liebe Güte. < 1448040362 301354 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :There will also be a swiss german dialect of it < 1448040371 389997 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :maybe < 1448040408 917947 :Guest23593!~simpleirc@83.149.37.142 QUIT :Remote host closed the connection < 1448041411 909086 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Quit: Leaving < 1448042028 743686 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :mauris: to float = schwimmen < 1448042036 952768 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :float imperative => schwimm < 1448042039 316424 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :i know! < 1448042042 995682 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :it's just funny < 1448042046 996960 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :It's an imperative language after all! < 1448042050 103968 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :haha < 1448042097 945630 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Well, depends … sometimes you want “schweben” instead. < 1448042827 545446 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :I'm watching "Best of Donald Trump" < 1448042842 513159 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :makes a nice sitcom < 1448043018 106934 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :wait < 1448043024 58083 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :that wrestling video with donald trump < 1448043027 937112 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :is this for real? < 1448043068 152604 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :what the hell is this < 1448043164 734664 :mroman!~mroman@160.85.232.226 PRIVMSG #esoteric :(real for wrestling purposes) < 1448043763 944599 :bb010g!uid21050@gateway/web/irccloud.com/x-egsxxcfxumweezuq JOIN :#esoteric < 1448044154 829286 :mroman!~mroman@160.85.232.226 QUIT :Quit: Lost terminal < 1448045363 674960 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 264 seconds < 1448045698 510475 :gniourf!~gniourf@pdm-l03.insa-lyon.fr JOIN :#esoteric < 1448046490 369227 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org JOIN :#esoteric < 1448046816 938433 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I need a good name for a heavily symbolic (as in, gets-its-syntax-from-"Misc. Symbols"-symbolic) language. I'm currently calling it "Langdon" < 1448046971 259392 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :How about Apollo? I might roll it in with Kastor in a way < 1448047041 205281 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Even better, I could just roll my ideas for it into UniFunge and name UniFunge apollo. < 1448047044 442224 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I think I'll do that < 1448047107 707917 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/move14]]4 move10 02 5* 03Hppavilion1 5* 10moved [[02User:Hppavilion1/UniFunge10]] to [[Apollo]]: Came up with a good name for the language < 1448047159 640716 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Apollo14]]4 10 02http://esolangs.org/w/index.php?diff=45574&oldid=45572 5* 03Hppavilion1 5* (-7) 10Fixed names for new page < 1448047273 711829 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Actually, I think I've changed my mind xD < 1448047320 224972 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Apollo14]]4 10 02http://esolangs.org/w/index.php?diff=45575&oldid=45574 5* 03Hppavilion1 5* (+8) 10Undo revision 45572 by [[Special:Contributions/Hppavilion1|Hppavilion1]] ([[User talk:Hppavilion1|talk]]) < 1448047345 739781 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/move14]]4 move_redir10 02 5* 03Hppavilion1 5* 10moved [[02Apollo10]] to [[User:Hppavilion1/UniFunge]] over redirect: Changed mind. Sorry. < 1448047381 448677 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :And... on to lunch. < 1448047664 780532 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org QUIT :Ping timeout: 265 seconds < 1448047747 737075 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org JOIN :#esoteric < 1448047749 170403 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Should I use ≪ and ≫ instead of << and >> for bitshifts in Kastor? < 1448047777 936428 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Perl6 uses « and » as quote marks, that can be typed as << and >> < 1448047781 902913 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure what it uses for shifts < 1448047785 294453 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :knowing Perl, probably also << and >> < 1448047796 731061 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Probably < 1448048160 379696 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :ais523: for delimiting strings? < 1448048201 867897 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FireFly: so in Perl6, < and > are literal list constructors that interpret everything between them raw and split on spaces < 1448048211 859043 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :i.e. = ('foo', 'bar', 'baz') < 1448048216 79781 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Ah, okay < 1448048219 913532 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :« and » are like that, but interpolate < 1448048226 228518 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I see < 1448048240 81011 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :«foo $x baz» = ("foo", "$x", "baz") = ("foo", $x, "baz") < 1448048257 417550 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, ("foo", ~$x, "baz"), $x gets stringified < 1448048717 742485 :idris-bot!~idris-bot@dslb-084-062-104-105.084.062.pools.vodafone-ip.de JOIN :#esoteric < 1448048908 678806 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org JOIN :#esoteric < 1448048931 377533 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :hppavilion[2]: Did you see my message? < 1448048944 167620 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Melvar: Yes. I might change it to that. < 1448048948 606871 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Though I like the existing ones too < 1448048955 482424 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Nm lambdabot now alerted me to your answer. < 1448048985 905471 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Because if I use the white brackets, then I can logically have both bags and ordered bags < 1448048998 570994 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org QUIT :Ping timeout: 265 seconds < 1448049035 387944 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Are those … hmm … lists with a fast count operation? < 1448049064 552548 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Melvar: They're basically just ordered lists, at least that's one way to implement them < 1448049095 65568 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :But yes, they're lists that store the number of times a value occurs in them. And you can't have a value occur at multiple indexes, unless I decide you can. < 1448049113 428035 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Huh? < 1448049128 632449 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :If you can’t have one at multiple indices, how can you have any more than one? < 1448049150 609489 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Melvar: In literals you can have them at multiple indices, but they get consolidated into a single bag basically < 1448049179 104462 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I think I'll let my language have operators in prefix, postfix, infix, circumfix, precircumfix, postcircumfix, and incircumfix, just to one-up perl. < 1448049197 174113 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :<ω< < 1448049235 452852 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Agda already has fully general mixfix, which merely has all those as special cases. < 1448049269 439171 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :does incircumfix even make sens? < 1448049280 793551 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*sense < 1448049287 630932 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(what would it look like?) < 1448049298 863590 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :_⟨_⟩_ < 1448049300 690954 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess along the lines of a[b]c but that's just a ternary < 1448049302 536149 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :I presume. < 1448049310 695221 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(no reason the brackets have to match) < 1448049316 106865 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :_?_:_ is topologically the same < 1448049317 757206 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :ais523: a[b]c is an example of an incircumfix operator, but not necessarily one that will be used < 1448049325 313298 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Wait, you typed the exact same thing before me xD < 1448049354 877586 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :I believe in Agda I’ve seen _[_]=_ for replaceAt in a vector. < 1448049361 549542 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :But yes, that's an example of incircumfix; it is as a matter of fact ternary. I might not have any builtin though < 1448049395 60190 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :There will also be associativities if I can figure it out, also taken from perl: right, left, chain, list, and whatever the other one perl has is < 1448049400 598236 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess I meant that the "circum" is suspect because there's no reason why the brackets would match < 1448049433 122753 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Anyway, for the ordered bags, if you enter one where the same value appears at multiple indices, where is the value going to be in the resulting orderedbag? < 1448049448 55915 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Melvar: The first occurence. Duh. < 1448049484 57726 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :I disagree, not duh. How would I know you wouldn’t use the last occurrence? < 1448049513 836259 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :You can ALSO declare associativity groups- for example, a>b>c is be equal to (a>b)&(b>c) < 1448049531 739306 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Melvar: OCaml has maps with multiple bindings < 1448049535 484947 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Melvar: Trial and error, or reading the fucking manual. Either one works. < 1448049544 673263 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :where newer bindings shadow old ones, but don't remove them (you can delete the newer binding and see the older binding again) < 1448049555 113699 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :No, asking you just now, that’s how I know. I just disagree that it’s duh. < 1448049556 27890 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :strangely enough, this is its default sort of map < 1448049557 915031 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :for some reason < 1448049566 269280 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I believe that Kastor currently has 14 builtin data structures xD < 1448049631 381489 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :( :let infixl 6 <=? < 1448049631 568686 :idris-bot!~idris-bot@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :defined < 1448049667 852970 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Actually, derp, that won’t work. < 1448049671 204592 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :( :unlet < 1448049671 353211 :idris-bot!~idris-bot@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :Undefined . < 1448049687 327887 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Hppavilion1/UniFunge14]]4 10 02http://esolangs.org/w/index.php?diff=45578&oldid=45576 5* 03Hppavilion1 5* (+814) 10/* Δ Commands */ Astrological symbols < 1448049767 775334 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :In case anyone wants to see the WIP documentation for Kastor, it's here: https://drive.google.com/folderview?id=0ByRvNdqqy3GPV1NfZmRwOFNxQ28&usp=sharing < 1448049917 589059 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca JOIN :#esoteric < 1448050074 785837 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 260 seconds < 1448050089 67986 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1448050623 844054 :hppavilion[2]!~Devourero@74-114-87-89.dynamic.asdk12.org NICK :hppavilion[1] < 1448050807 191808 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: hello < 1448050839 518980 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi b_jonas < 1448050885 532184 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: have you seen this Amycus esolanguage I mentioned a last time? < 1448050890 811621 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it turns out to be quite interesting, < 1448050904 504132 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and I've only written some of the intersting stuff about it so far, I'll have to document the rest < 1448050920 799566 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: I looked at it when reviewing Esolang edits < 1448050944 24534 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :also, it seems that's partly by accident, because I misread _one_ character in the spec, and didn't read the interpreter carefully enough to notice that it doesn't match < 1448050951 691946 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the interpreter matches the intended spec < 1448050970 324162 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I went by my copy of the spec, which had an error compared to David's spec < 1448050970 651060 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org QUIT :Ping timeout: 265 seconds < 1448050986 452354 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so now we have twice as many languages < 1448051007 12299 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and of course, that one character matters a lot, because esolang < 1448051332 212405 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :this is an interesting read http://www.opensource.apple.com/source/lsof/lsof-8/lsof/00PORTING < 1448051462 742946 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :haha, lsof reads /dev/kmem on most platforms? < 1448051551 944554 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: on BSD, probably < 1448051561 283984 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :on linux, I think it reads /proc < 1448051571 22725 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :by "most platforms" I mean "all Unices but Linux" < 1448051578 407984 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, but so does ps < 1448051583 472344 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think < 1448051592 81269 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe it differs on some modern ones < 1448051597 151934 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :as in, modern bsds < 1448051612 259868 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :reading /dev/kmem is the traditional way < 1448051655 587191 :llue!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net JOIN :#esoteric < 1448051655 735899 :llue!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net QUIT :Changing host < 1448051655 735966 :llue!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1448051675 96990 :lleu!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer < 1448051933 735373 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org JOIN :#esoteric < 1448052880 687543 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Should I make ¹²³ be postfix operators that power (for niceness), or should they be permitted to be at the end of names so you can have, for example, w¹? < 1448053045 21260 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :both! < 1448053086 667986 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :ais523: That's not possible, even for a language like perl. < 1448053088 543872 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :heheheh < 1448053092 533327 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure it is < 1448053109 720343 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :for example, you could allow the subscripts to be part of the identifier only if the identifier had been declared < 1448053114 14995 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and otherwise have them as operators < 1448053116 183909 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I mean, it would be an esolang, but still < 1448053143 791227 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: No, not even perl could do it; if we did both (and didn't allow other syntactic fixes) x³ as in x**3 would be ambiguous relative to x³ the name < 1448053149 985005 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just like in Perl, if you declare a function then foo (with no punctuation around it) is a function call, otherwise it's a string literal < 1448053179 243955 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah < 1448053179 875620 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :apparently the actual official reason behind this feature is that it makes it easier to write Perl/poetry polyglots < 1448053189 591507 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(where "poetry" is the literature/artistic concept, not an esolang) < 1448053189 961235 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what < 1448053200 195961 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: also builtins, but yes < 1448053212 561265 :bb010g!uid21050@gateway/web/irccloud.com/x-egsxxcfxumweezuq QUIT :Quit: Connection closed for inactivity < 1448053213 22518 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :foo isn't a builtin, I picked a concrete example for a reason :-) < 1448053249 623919 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right < 1448053305 652056 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although some things that are builtins are surprising < 1448053310 180573 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like Perl 6's ... operator < 1448053319 919358 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is either an eager or lazy exception, I forget which < 1448053324 770434 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(intended use: sub foo { ... } ) < 1448053329 174535 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(for a function you haven't written yet) < 1448053528 328093 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, that's a recent addition < 1448053565 298752 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :ais523: Wait, really? Wow. < 1448053768 271336 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :\oren\: So is there a nice-looking way to represent augmented assignment with <- assignment? < 1448053838 280010 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: do you mean like var +← val; < 1448053848 993425 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :to increase var by val < 1448053868 976940 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: yes, but that looks a bit bad < 1448053875 271733 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :does it? < 1448053880 928051 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Is there a better looking version < 1448053882 695790 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :It does to me < 1448053910 873161 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :well, I think K uses : for assignment, and var +: val for compound assignment iirc < 1448054021 54395 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't know if there are apls that use +← < 1448054076 529762 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: : might actually work... Especially because it's used in Dicts. < 1448054143 295830 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: or, if you have no prefix operators, only postfix and infix, then ←+ could work too < 1448054180 811869 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: also maybe .+← or ←.+ < 1448054197 128411 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :where . stands for a method call such that .+ would do addition < 1448054215 362895 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: I do have prefix, unfortunately. I think I might use :. < 1448054227 607800 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-etrmpxvnkwypxlba QUIT :Excess Flood < 1448054280 348840 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-ojcycdlrexqfakud JOIN :#esoteric < 1448054317 736185 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: or even ←;+ if ; is your method cascade marker? < 1448054334 571592 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :as long as that doesn't clash with other syntax of course < 1448054592 939508 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :have you seen the way Ursala does operator fixity? < 1448054604 674443 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: no < 1448054607 84013 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the whitespace around an operator determines whether it's infix, postfix, prefix, or unary < 1448054609 952870 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, nullary < 1448054614 619700 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(rather than unary) < 1448054627 221230 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yeah... ruby sometimes does that, and even perl does sometimes, in ambiguous situations < 1448054630 767088 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the four versions can have entirely unrelated meanings (although more commonly are various currying) < 1448054631 527450 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I hate that < 1448054638 407360 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, operator precedence isn't transitive < 1448054666 39871 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ruby has especially complicated rules where there's like three sets of nested exceptions so that it dwims on a negative number powered to something < 1448054671 397207 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(it's been known for ages that you can parse grammars unambiguously even if operator precedence isn't transitive; however, mostly this was viewed as a quirk of the parsing algorithms rather than an actually useful feature) < 1448054733 814997 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :I think the mixfix paper explained how to do nontransitive precedence with it … < 1448054774 179851 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I prefer a solution where the arity of the operator is unambiguous anyway, because the syntax is like that < 1448054818 335837 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: have you seen Ursala at all < 1448054819 283953 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, I wanted to ask a question from you about parsers too, but it's too late so some other time < 1448054823 812375 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if not, you should at least look at some examples < 1448054825 571883 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no, I haven't seen ursala < 1448054833 879874 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I haven't looked at it at all < 1448054838 710767 :Melvar!~melvar@dslb-084-062-104-105.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :b_jonas: Unambiguous at use site or only when including definition site? < 1448054842 527522 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :remind me later to look at it then < 1448054861 477519 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :unfortuately the website seems to be down < 1448054864 615546 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Melvar: depends < 1448054877 386082 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it basically reads as an esolang that's trying to market it as a non-esolang, and has a library collection competitive with Funge-98 but in different fields < 1448054897 317444 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: heh < 1448054921 590224 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this seems to be relevant: http://www.bcs.org/category/10379 < 1448055001 723142 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also the site was http://www.basis.uklinux.net/ursala and is in the wayback machine at http://web.archive.org/web/20080329070617/http://www.basis.uklinux.net/ursala/ so you could look at it that way < 1448055044 902087 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"Lessons learned from an unusual language" is the title of the seminar about it < 1448055094 672150 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :apparently it's inspired by "Squiggol" which I've never heard of < 1448055192 155220 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually this is a really good presentation for learning about what the language is like < 1448055267 734446 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway it's fun to compare Ursala to Underlambda because they have several similar design goals and end up similar for that reason < 1448055290 862296 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(although they're very different in some other respects, because of Underlambda's big defining property that it should be easy to write in and also easy to compile into very low-powered languages) < 1448055893 525425 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Quit: :qa! < 1448056731 7187 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Can functional powers be done with non-natural exponents? < 1448056777 559059 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :For example, if f(x)=x+1, that means f**2(x)=f(f(x))=(x+1)+1=x+2 < 1448056827 186610 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :But what does f**0.5 mean? And while we're at it, f**-1, f**i and f**(1+i) < 1448056847 891314 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :(And, I suppose, f**0, though I suspect that that f**0(x)=1) < 1448056895 784328 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :f**0(x)=x < 1448056898 288011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :f^0(x)=x < 1448056904 701591 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :f**-1(x) is the inverse of f, which might or might not exist < 1448056909 771594 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :depending on what f does < 1448056914 560716 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and might be non-unique in some cases) < 1448056965 475615 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does it mean to say the inverse isn't unique? < 1448056976 198078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That it's just a left inverse or right inverse? < 1448057003 43423 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: no, those only work on binary operators < 1448057019 717331 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a unary function (i.e. one argument) doesn't have a "left inverse" and "right inverse" < 1448057024 758790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1448057027 714765 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean https://en.wikipedia.org/wiki/Inverse_function#Left_and_right_inverses < 1448057042 780314 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Would you prefer section/retraction? < 1448057043 544360 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, it does have a preinverse and postinverse though < 1448057057 863469 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but what I'm thinking of is, say, f(x) = floor(x/2) (for integral x) < 1448057076 46101 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that is inverted by f**-1(x) = x*2, but it's also inverted by f**-1(x) = (x*2)+1 < 1448057108 30379 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, so you mean right inverse. < 1448057115 64944 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where f is surjective but not injective. < 1448057143 995166 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I get confused because there are so many different ways to formalize what a function is < 1448057156 964712 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"every surjective function has a right inverse" is equivalent to the axiom of choice, which is kind of obvious when you see it but still neat. < 1448057159 98128 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you're composing them then they obviously have left and right inverses < 1448057169 133219 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe you'd prefer "split epimorphism"? < 1448057172 419621 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sorry, I'm tired < 1448057176 570461 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org QUIT :Ping timeout: 265 seconds < 1448057183 651126 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also trying to explain things in terms of category theory will just make things worse < 1448057206 230289 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I actually agree that "left inverse" and "right inverse" is confusing terminology, it's just what I've heard. < 1448057215 733042 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org JOIN :#esoteric < 1448057246 256498 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We're talking about "right inverse" with respect to the binary operation of function composition, I think. < 1448057319 284833 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1448057325 195954 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :these are clearly composition-based definitions < 1448057341 965807 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you think about functions in terms of application rather than composition, there's no left and right, just inside and outside < 1448057354 351534 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I used the composition-based version of all this in my thesis, but I wasn't happy about it) < 1448057359 363093 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Ah, f**0 is hte identity < 1448057501 982060 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: you can see this very clearly in Underload < 1448057506 475604 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the standard definition of 0 is !() < 1448057525 915695 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which literally means "discard the argument, and replace it with the identity" < 1448057619 288695 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I don't think generalizing functional powers to non-integers make much sense, but if you do figure something out I'm curious to hear about it < 1448057622 221265 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :hmm < 1448057680 30626 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FireFly: 1/(1-x) is the cube root of the identity :-) < 1448057793 11378 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Well I'd say that to generalize it to integers is simple: f**x where x<0 is equivalent to iterating f**-1 |x| times. < 1448057805 278883 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :sure < 1448057806 316015 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For integer x? < 1448057834 740768 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: For any real number, really. But only the integers for now, because we haven't defined it for reals yet. < 1448057871 182922 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Now, function square root is a thing: g**1/2=f such that f(f(x))=g(x) < 1448057873 650253 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Raising a function to 0 or 1 is a somewhat common idiom for applying a function conditionally in J (and maybe APL, dunno) < 1448057893 619113 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :(0 and 1 also double as boolean values) < 1448057921 450350 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :So we can clearly generalize that to any arbitrary real number of the form 1/n where n is an item of R < 1448057949 777513 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :g**1/n=f such that f**n(x) = g(x) < 1448058053 936969 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Now, since any number x to the power of a rational of the form n/d (x**(n/d)) is equivalent to d√(x**n) < 1448058125 151728 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :So in analogue to that, for a function g to the power of a real number n/d which is equivalent to f, f is a function such that f**n(f**n...(x))...)=g(x) < 1448058173 987384 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :And, of course, if n/d is negative, it's quite simple: the above expression where n is negated. < 1448058237 934883 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1448058409 651970 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1448058506 839007 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :so for S**(-2/3)=f, f is equal to, I believe, S**-2(S**-2(S**-2(x))), where S**-2=(S**-1)**2, which means S**-1(S**-1(S**-1(S**-1(S**-1(S**-1(x))))))=P(P(P(P(P(P(x)))))) where P is the predecessor function (I assume S**-1=P), so S**(-2/3)(x)=x-6. Boom. < 1448058529 560991 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Next, we have to define f**i(x) if we want to generalize to the complexes. < 1448058628 582589 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Skipping that for now, since x**n*x**m=x**(n+m), and defining composition as function multiplication because that seems to make sense, we can deduce that f**(a+bi)(x) = f**a(f**bi(x)) < 1448058665 667106 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Either that or function multiplication can just be defined such that f*g(x)=f(x)*g(x), but that's not as fun < 1448058682 440037 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :FireFly: So really, all we need do is define f**i(x) and we're home free. < 1448058818 376308 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :FireFly: Have any ideas? < 1448058840 565985 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Uh, no clue what imaginary powers would be < 1448058853 856689 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :the rationals is enough for m < 1448058855 562729 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :me* < 1448058867 270665 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :FireFly: What's x**i equal to when x is a real? < 1448058869 852198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :f^i(f^i(x)) = f^-1(x), presumably < 1448058877 274529 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :FireFly: BLASPHEMY! WE CAN NEVER BE SATISFIED! < 1448058946 292664 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: But if we assume that composition is multiplication of functions, that poses a problem. x**n*x**m=x**(n+m), so that means that f**i(f**i(x))=f**2i(x) < 1448058983 284453 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oops, of course. < 1448059013 90077 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :FireFly: Also, I techncially covered the reals. You just have to round off the naturals, which is kind of how exponentation works anyway AFAICT < 1448059035 196198 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I suppose we should define S(f) < 1448059050 964293 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :“A systematic procedure to produce arbitrary functional n-roots (including, beyond n= ½, continuous, negative, and infinitesimal n) relies on the solutions of Schröder's equation.[3][4] [5]” < 1448059061 767789 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :You might want to read those (from the article on functional square root) < 1448059078 969967 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hm, the first one is from 1870 < 1448059082 190770 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :FireFly: My system is either better or equivalent. < 1448059392 216200 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Wait, what if function multiplication is giving a function its arguments? At least, for the type func*tuple < 1448059992 598938 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :ais523: I think the cube (or indeed, square or generally nth) root of the identity is the identity, as I(I...I(x)...)=I(x). < 1448060013 674093 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: try calculating the third power of 1/(1-x) :-) < 1448060028 206889 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Of course. < 1448060033 130131 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I suspected that. < 1448060054 259245 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(at least I think that's what it is) < 1448060059 499893 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one of my favourite random mathematical facts < 1448060060 799516 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Wait, so 1/(1-x) is a convenient way to obtain EXACTLY the cube root of a number? Wait, that doesn't seem right... < 1448060116 224433 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I mean, any two rationals fed to division is a rational, and - is closed over the rationals, but there are rationals such that root(x, 3)(/-R < 1448060158 287766 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :So the cube root of I(x) can't be 1/(1-x), at least not exactly. Thus, it'd be more accurate to say that the cube root of identity is just I. < 1448060162 86693 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :(Math!) < 1448060249 143996 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :ais523, idgi < 1448060253 969526 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :((1-x)^-1)^3 = (1-x)^(-3) < 1448060315 250495 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: no, not the third power of the result < 1448060316 999352 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the third power of the function < 1448060333 925730 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, that was meant to be a function, not an expression. < 1448060350 444210 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Ah < 1448060362 435601 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let f x = 1/(1-x) in f (f (f x)) < 1448060364 7050 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 1 / (1 - 1 / (1 - 1 / (1 - x))) < 1448060370 300974 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :here's an example, start with 5; after running the function once we get 1/-4 which is -¼; after running it twice we get 1/(5/4) which is 4/5; and after running it three times we get 1/(1/5) which is 5 < 1448060537 787107 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oh, it collapses to x < 1448060540 69167 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: So the algebraic data type L(a) = 1 + a*L(a) < 1448060545 217104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So L(a) = 1/(1-a) < 1448060553 357503 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So [[[a]]] = a? < 1448060566 256864 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That doesn't seem right. < 1448060611 517401 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure I understand < 1448060637 455207 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :People talk about this thing where you represent the algebraic data type of lists as L(x) = 1/(1-x) < 1448060652 599100 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And you do a bunch of algebraic mafipulation and somehow it works out in the end. < 1448060662 122125 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :E.g. when you take the derivative or that sort of thing. < 1448060664 266314 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :you expand it to a power series < 1448060679 125011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, you can expand it to a power series, 1 + x + x^2 + ... < 1448060686 389071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is the obvious representation of lists. < 1448060715 98384 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But ais523 is saying that L^3 = I, so I'm wondering if that can be made to work here somehow. < 1448060763 78387 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Ok, I have an issue. I have two functions for the short article I'm writing on this, S and D. S(x)=x+1 and D(x)=2x. I also have the auxilliary functions sS(x)=x+0.5 and sD which are to be used to demonstrate square roots of functions. What I'm trying to find is what sD(x) is equal to; currently it's sqrt(2*x), but that doesn't seem right because sqrt(xy)=sqrt(x)*sqrt(y) and thus it seems wrong. I think. Actually, it's < 1448060763 242414 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :beginning to seem more right. Not sure < 1448060794 58207 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sqrt(2)*x? < 1448060815 770113 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: Tried that, but sqrt(2)*x seems to equal 2(x**2) < 1448060841 63266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1448060856 950921 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I mean (sqrt(2)*x)**2 < 1448060905 937282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let f x = sqrt 2 * x in f (f x) < 1448060907 784304 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : sqrt 2 * (sqrt 2 * x) < 1448060922 759236 :shikhin!~shikhin@unaffiliated/shikhin NICK :hin < 1448060941 321618 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :(sqrt(x)*sqrt(y))**2=sqrt(x)*sqrt(x)+sqrt(x)*sqrt(y)+sqrt(y)*sqrt(x)+sqrt(y)*sqrt(y)=x+sqrt(x)*sqrt(y)+sqrt(x)*sqrt(y)+y=xy+sqrt(xy)+sqrt(xy)=xy+2(sqrt(xy)) < 1448060945 391239 :hin!~shikhin@unaffiliated/shikhin NICK :shikhin < 1448060974 612 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have no idea what you're getting at now. < 1448061000 98187 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm saying that sD(x) = sqrt(2) * x, so that sD(sD(x)) = sqrt(2) * sqrt(2) * x = 2*x < 1448061046 843771 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Hard to read, yes, but the gist is that sqrt(xy)**2 is equal to (sqrt(x)*sqrt(y))**2 is equal to xy+2(sqrt(xy)) < 1448061050 470477 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I think < 1448061093 150343 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, well, it's not. < 1448061101 1529 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Oh right < 1448061109 819859 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I was doing the wrong math < 1448061135 154632 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I was doing (sqrt(x)+sqrt(y)**2 instead of (sqrt(x)*sqrt(y)**2 < 1448061137 876996 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway you can make some sort of relationship between S^n and D^n using log2, probably. < 1448061201 227285 :zzo38!~zzo38@24-207-56-9.eastlink.ca JOIN :#esoteric < 1448061217 77179 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :So I guess sqrt(2)*x it is. Really hope that math is right xD < 1448061229 653641 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It isn't difficult to verify. < 1448061235 905836 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A lot less work than what you were doing there. < 1448061266 398219 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why does "geometric" mean "with multiplication"? < 1448061316 878611 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: Did I say geometric at some point? < 1448061326 629728 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, but I just did. < 1448061354 884334 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :shachaf, because scaling is very natural in geometry i guess < 1448061486 48148 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 240 seconds < 1448061512 109818 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Aw, no answer from ais523. Maybe I should ask in #haskell or something. < 1448061519 61654 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Wait, I think I've found a problem with composition being function multiplication. Consider f(x)=x+1 and g(x)=2x. If composition is function multiplication, (f∘g)(x)=2x+1, so (f∘g)(3)=7, but (g∘f)(x)=2(x+1), so (g∘f)(3)=8. Therefor ∘ is noncommutative < 1448061527 394621 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Wait, matrix multiplication isn't commutative either < 1448061529 488951 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Problem solved. < 1448061540 295895 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Matrix multiplication is function composition. < 1448061543 925254 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :(And neither is quaternion) < 1448061548 736005 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: How so? < 1448061561 166217 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A matrix represents a linear function. < 1448061569 284830 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Is a matrix secretly a function? By that logic, couldn't any value be considered a function? < 1448061569 704548 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Matrix multiplication represents composition of linear functions. < 1448061573 477390 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Ah < 1448061580 195902 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not so secret in the case of the matrix. < 1448061621 95846 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :quaternion multiplication is also function composition < 1448061624 827248 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not a trick like the what's-it-called representation. < 1448061643 583791 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :NEXT ARGUMENT: < 1448061651 581375 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How can you tell CUPS to display what it will do to print the given input (what filters and so on are used, etc) but not send to printer? Also how can you tell CUPS to print to file? < 1448061652 792726 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :though i mean every group can be realised as function composition < 1448061655 116444 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I mean NEXT GENERALIZATION: < 1448061661 958539 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :?messages-loud < 1448061662 107212 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :hppavilion[1] said 4d 2h 4m 58s ago: Found an article on how type systems are logics: https://codewords.recurse.com/issues/one/type-systems-and-logic < 1448061663 174494 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :g**-1(x, y) < 1448061668 905581 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cayley, that's it. Presumably what Phantom_Hoover is talking about. < 1448061682 491992 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :cayley's theorem, yes < 1448061698 714020 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Except you can do it for monoids, not just groups. < 1448061707 904121 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No need for inverses. < 1448061812 346056 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nor for units. nor for associativity... < 1448061834 457146 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :can't do rings though! < 1448061835 846821 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, monoids are the natural place to do it. < 1448061880 864602 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :So how does g**-1 work when g takes multiple arguments? I suppose it could be that if g takes multipile arguments and returns an argument of type t, g**-1 could accept a single argument (of type t) and return a tuple of the arguments g would take to yield that < 1448061907 834808 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Well, a set of the tuples < 1448061920 784427 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Functions only take one argument. < 1448061953 247420 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Essentially, if g(1, 2) = 3 and g(4, 5)=3, then g**-1(3) = {(1, 2), (4, 5)} < 1448061958 909637 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: Oh right. Curring. < 1448061965 580878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You don't have to cur. < 1448061998 161363 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can just have a function from a product. < 1448062022 875688 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: Godel numbering or the like? < 1448062029 878069 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, just a pair. < 1448062049 98853 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: You mean a function that just accepts an n-tuple? < 1448062053 134310 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1448062055 335274 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Ah < 1448062071 815078 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Meh, do the Foglios wa < 1448062079 375180 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :You /could/ do that, OR you could do it the fun way and just interpret them as having multiple arugments < 1448062106 650873 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... want to kill us with the suspense of an impending wasp attack in Paris? < 1448062224 354831 :shikhin!~shikhin@unaffiliated/shikhin NICK :_exit < 1448062233 266917 :_exit!~shikhin@unaffiliated/shikhin NICK :shikhin < 1448062393 530016 :shikhin!~shikhin@unaffiliated/shikhin NICK :sortix < 1448062398 693382 :sortix!~shikhin@unaffiliated/shikhin QUIT :Disconnected by services < 1448062411 720619 :shikhin!~shikhin@lambdaos.org JOIN :#esoteric < 1448062414 554403 :shikhin!~shikhin@lambdaos.org QUIT :Changing host < 1448062414 703065 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1448062969 28894 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Also how to override the MIME type of the input with CUPS? < 1448063029 495423 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Should I use Roman Numerals or Arabic Numerals as the page numbering for a LaTeX document I'm working on? < 1448063065 12554 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I think I'll go with arabic < 1448063106 593240 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I'm practicing my LaTeX (and making myself seem smarter) by making a little mathematics PDF on Function Arithmetic. < 1448063131 798864 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I think I'll call functions "Functia" for the entire article because why the hell not? < 1448063229 935441 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hmm, I should catch up with GG < 1448063252 855891 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :It was fun to read until I got up to speed with the comic.. then I kind-of forgot about it < 1448063477 262842 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: the Esoteric Language Council approves of this usage of "functia". < 1448063498 936169 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :tswett: Excellent. < 1448063504 913608 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :Wait, we have a council? < 1448063692 263629 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The Esoteric Language Council's position on this question is that yes, we do. < 1448063739 304878 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :What's the name again for functions that have conditions in them? That is, functions with "if x=2" and the like. < 1448063776 612100 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I was going to use it in my Arithmetic of the Functia, but then I realized hyperoperations for demonstration of basic functions is a bad idea < 1448063782 813580 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :But I'm still curious < 1448063816 347536 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: where are you? < 1448063826 852132 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :My own computer does not have the "--list-filters" option of "cupsfilter" program < 1448063840 230023 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: piecewise. < 1448063845 702547 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :THERE we go! < 1448063898 637923 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :I need a good, simple, 2-argument function for my Arithmetic of Functia. A(x, y)=x+y is already used. I don't just want to do M(x, y)=xy. Anyone have any good ideas? Perhaps a famous but simple function? < 1448063938 333730 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :One that I can evaluate for two naturals (including 0) <= 4 in my head while writing the document? xD < 1448063962 557828 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :It need not be piecewise, but that'd add some nice variety < 1448063991 497333 :hppavilion[1]!~Devourero@74-114-87-89.dynamic.asdk12.org PRIVMSG #esoteric :(And noone suggest Ackermann. Just no. I don't think it's even /possible/ to do that in one's head.)