< 1559350758 0 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1559352751 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Arguably, *every* program "just does whatever it wants". < 1559352768 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :It just so happens that "whatever it wants" is determined by a relatively simple set of rules. < 1559352802 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i keep thinking the z in zzo38 stands for zermelo < 1559352846 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :There are two "z"s and the letters and numbers do not stand for anything. < 1559352865 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :both of them < 1559352897 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Zulu zulu oscar three eight. < 1559352918 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :So I just learned about "Unary Except Every Zero Is Replaced with the Title of This Programming Language or, Alternately, Is Replaced with the Smallest Counter-Example to the Goldbach Conjecture. Compilers and Interpreters Only Have to Implement the Former Option". < 1559352930 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :(I hope that message didn't send with wonky formatting, because I saw wonky formatting on my end.) < 1559352946 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :tswett[m]: I think the bold is not properly terminated < 1559352957 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Let me try that again. < 1559352981 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :So I just learned about "Unary Except Every Zero Is Replaced with the Title of This Programming Language or, Alternately, Is Replaced with the Smallest Counter-Example to the Goldbach Conjecture. Compilers and Interpreters Only Have to Implement the Former Option". < 1559352989 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :(There, much better.) < 1559353012 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :OK < 1559353039 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :It's actually pretty straightforward to implement the Goldbach option, right? < 1559353061 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :There's a simple algorithm for determining whether or not a given number is the smallest counterexample to the Goldbach conjecture. < 1559353069 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, just time-consumiing < 1559353072 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :to execute < 1559353078 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(If the Goldbach Conjecture is valid, then presumably the one that implements only the former option is complete anyways.) < 1559353082 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Namely: check whether or not it's a counterexample, and also check whether or not any smaller number is a counterexample. < 1559353098 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :And, yes, I agree I think you are correct about determining if it is the smallest counterexample < 1559353099 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's a bit of additional complexity because even if you can tell that the program is made entirely out of repeats of a number, it might be ambiguous what that number is < 1559353115 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Oh right, interesting. < 1559353118 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. is 333333 six repeats of 3, three repeats of 33, two repeats of 333, or one repeat of 333333? < 1559353124 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Right. < 1559353130 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the encoding of the counterexample? < 1559353144 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Looking at the reference implementation, there's nothing delineating the title from the rest of the text. < 1559353148 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Yes, unless it needs to be delimited somehow < 1559353149 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the title doesn't say, but big-endian decimal encoded as ASCII is a reasonable guess < 1559353166 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe it's in unary, encoded with zeros. < 1559353176 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or even in unary, encoded with the title of the programming language. < 1559353183 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :ais523: Yes, that is what I thought too < 1559353205 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: that would be ambiguous < 1559353216 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Non-title text is a comment in the reference implementation. < 1559353234 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So 333333 could also be 33333 followed by a 3, if 33333 was the smallest counterexample. < 1559353268 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :hi schachaf. wondering, earlier were you saying only one symbol is needed in the slashes esolang, or, one symbol is all that is needed generally for Turing completeness in some given system, < 1559353289 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :or did i misunderstand entirely lol < 1559353291 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps we have to find the largest number in the program and search for Goldbach counterexamples up to that number? < 1559353291 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :please address me by my full and proper name, schachachf < 1559353295 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :shachaf: Ooh, good point. That makes it trickier. < 1559353304 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :uhh apologies schachachf < 1559353318 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Well, in order to do anything Turing-complete-y in ///, you need / and \, and you don't need anything else. < 1559353346 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know how slashes works, so I probably wasn't commenting on it. < 1559353371 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`unidecode /โ„โˆ• < 1559353371 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :โ€‹[U+002F SOLIDUS] [U+2044 FRACTION SLASH] [U+2215 DIVISION SLASH] < 1559353373 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :oh ok < 1559353396 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`unidecode โงธ๐Ÿ™ผ < 1559353397 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :โ€‹[U+29F8 BIG SOLIDUS] [U+1F67C VERY HEAVY SOLIDUS] < 1559353402 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Another variant for Unary would be that the data doesn't matter only the file size is important. And then, you can use sparse files and don't waste disk space. < 1559353411 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :yeah there's unary programming languages but the binary ones while still being turing tarpits sometimes, seem to work just a liiitle more efficiently still < 1559353413 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it is with a very heavy solidus that i write to inform you that unicode has too many code points < 1559353418 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(If you are using a file system that supports sparse files.) < 1559353436 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: https://esolangs.org/wiki/Lenguage < 1559353449 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> ransomNote "very heavy solidus" < 1559353452 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ๐–๐ž๐Ÿ…๐‘ฆ ๐—๐˜Œ๐Ÿ„ฐ๐šŸY ๐˜šO๐“ต๏ฝ‰๐—ฑ๐’–๐–˜ < 1559353455 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although oddly, the Lenguage interpreter does in fact attempt to read the whole file into memory even though it doesn't care about the length < 1559353466 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*even though it only cares about the length < 1559353476 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :shachaf: Yes, and the way they are put together is also messy < 1559353476 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> ransomNote "if you want to see your code points again..." < 1559353479 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ๐•š๐—ณ ๐“จ๐“ž๐’– โ“Œ๐š๐•น๐‘ก ๐‘‡๐™Š ๐ฌ๐“ฎ๐Ÿ…ด ๐™”๐“ž๐”๐—ฅ ๐™˜๐™Š๐˜‹๐•ฐ โ“…๐”ฌ๐•š๐‘ต๐—๐˜ด ๐Ÿ„ฐ๐•ฒ๐—ฎโ„‘๐Ÿ„ฝ... < 1559353503 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :sparse files hmm interesting < 1559353515 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :> cycle "la " < 1559353518 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "la la la la la la la la la la la la la la la la la la la la la la la la la ... < 1559353536 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :> ransomNote (cycle "again and ") < 1559353544 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : mueval: ExitFailure 1 < 1559353550 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Boo. < 1559353565 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> ransomNote (take 200 (cycle "again and ")) < 1559353568 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ๐Ÿ…ฐโ’ขโ’ถ๐–Ž๐‘ต ๐–บ๐งโ’Ÿ ๐Ÿ…ฐ๐“ฐ๐– i๐˜ฏ ๐Ÿ…๐“โ’น ๐“g๐™–๐˜๏ฝŽ ๐”ž๐งD ๐˜ข๐’ˆ๐– ๐–Ž๐‘› ๐šŠ๐“๐–‰ ๐“๐บ๐˜ผ๐š’๐‘ ๐ดโ’ฉ๐”ก ๐˜ˆ๐“–๐–†๐”ฆ๐™ฃ ๐‘Ž๐—ป๐”ก ๐˜ข๐™‚ < 1559353568 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :๐˜ˆ๐‘ฐโ„• ๐™ฐโ’ฉ๐•ฏ ๐ด๐™‚๐Ÿ…ฐ๐™„๐ง ... < 1559353569 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :> ransomNote . take 1000 . cycle $ "again and " < 1559353572 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ๐Ÿ…๐บ๐˜ˆ๏ผฉ๐Ÿ„ฝ ๐—ฎ๐“๐˜ฟ ๐•ฌ๐Ÿ„ถ๐™–๏ผฉ๐’ ๏ฝ๐š—๏ผค ๐’‚๐”ค๐– ๐•š๐‘› ๐šŠ๐—ป๐‘ซ ๐“๐™‚๐Ÿ…ฐ๐—ถ๐”‘ ๐™–๐˜ฏd ๐—ฎ๐™‚๐š๐™„๐–“ ๐“ช๐Ÿ…๐˜ฅ ๐•ฌ๐“–๐”ž๐’Š๐ง ๐‘จ๐–ญ๐•• < 1559353572 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :โ’œ๐•˜๐•ฌ๐™„๐Ÿ„ฝ ๐˜ข๐—‡๐™ณ ๐”ธ๐˜Ž๐Ÿ„๐ขN ... < 1559353587 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :As y'all can see, I haven't matured any in the past 13 years. :D < 1559353622 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :with my 2TB hard drive, i can hold a whopping 3 byte unary program for free, nice < 1559353657 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are probably file systems that support larger files than will fit on the disk with some copy-on-write trickery. < 1559353671 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :xylochoron[m]: You will still need a directory entry though, isn't it? < 1559353673 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They might still be limited to 2^64 or 2^128 bytes. < 1559353772 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :2^64, now we're talking exabytes < 1559353773 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> ransomNote "ransomNote" < 1559353775 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ๐Ÿ†๐•’๐‘›๐•พ๐˜ฐ๐™ขN๐“ธ๐‘ป๐”ข < 1559353778 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(Although three bytes long isn't a valid Unary program anyways, I think; it needs to be at least eight, isn't it?) < 1559353793 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :So I'm trying to do "bottomless category theory". < 1559353800 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :I'm doing category theory without admitting any foundational axioms. < 1559353841 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Don't you need the definition of a category at least? < 1559353867 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :wait wat < 1559353868 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :"Every set has a power set"? Nah. "Given two sets, there exists a set containing both of them"? Nope. "There exists at least one set"? Hell no. < 1559353888 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Yes, you do. And I did, in fact, write down the definition of a category. < 1559353912 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :But I'm simply treating the definition of a category as a string of symbols in a particular language, rather than assuming that it actually defines anything. < 1559353918 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do sets have to do with categories? < 1559353952 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :My understanding is that some category theorists consider a foundational set theory to be useful. < 1559353973 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But most interesting categories aren't small anyway. < 1559353997 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :That's true. < 1559354001 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If people are being formal don't they usually define categories as a first-order theory? < 1559354012 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :isnt all coding and proofs "strings containing symbols of a particular language" in the end or smthng < 1559354020 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :I have no idea, actually. < 1559354022 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote SaulGorn < 1559354022 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :SaulGorn says: A formalist is one who cannot understand a theory unless it is meaningless. < 1559354067 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Even if it isn't small, it must be small enough to fit in whatever it is fitting in < 1559354074 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :define meaning :-P < 1559354074 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :xylochoron: Yup, absolutely. The "conventional" way to do formal mathematics is to take a collection of axioms and discover proofs which follow from those axioms. < 1559354090 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :I'm not doing that. < 1559354098 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :If you want to be precise, I'm studying... what are they called. < 1559354111 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Presentations of categories with finite limits. < 1559354133 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :How can do you do with the definition of a category if it does not define anything? < 1559354140 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :oh i just realized that's a quote bot who said that < 1559354155 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :probably this Saul Gorn guy has tried to define meaning or something :-P < 1559354173 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :zzo38: Well, I guess I'm planning to figure that out as I go along. :D < 1559354212 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :OK < 1559354308 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :do you other people know enough about category theory to follow what this person's trying to do cuz i don't but it sounds interesting oh well < 1559354362 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think this person[m] is just doing things the regular way or something. < 1559354399 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sounds like some kind of first-order theory. < 1559354403 0 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hpqncsdzlgrwmfly PRIVMSG #esoteric :k < 1559354434 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> ransomNote "zalgo" < 1559354436 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ๐˜ป๐‘จ๐–ซ๏ฝ‡๐จ < 1559354441 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`zalgo pooches < 1559354441 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :pอ’อŽoอญฬŠoอ‘ฬŠcฬ‡อœhฬ‘อกeอŸฬ—sฬ”อŠ < 1559354449 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`zalgo ๐˜ป๐‘จ๐–ซ๏ฝ‡๐จ < 1559354450 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :โ€‹๐˜ปฬ“ฬ›๐‘จฬฬผ๐–ซฬ‘า‰๏ฝ‡อคอž๐จฬฬก < 1559355186 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :I oughta finish writing up Al dente. < 1559355854 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Apparently I capitalized it. Al Dente. < 1559355864 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Also I see that somebody's written some more Al Dente code. That's cool. :D < 1559355864 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :https://esolangs.org/wiki/Al_Dente_examples < 1559355874 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :I'm trying to figure out how their "copier" class works. < 1559356176 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Let's see. Every Copier has another Copier as a tail, thus producing an infinite chain of Copiers. A Copier has a "copy" event. It also has two Numbers, "in" and "out". The numbers of the tail have to be the tails of the numbers. < 1559356198 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :If "copy" is false, then it must also be false in the entire chain of copiers, but there are no other constraints. < 1559356299 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :But if "copy" is true, then "in" and "out" must be the same number. < 1559356474 0 :TellsTogo!0517fd67@gateway/web/freenode/ip.5.23.253.103 JOIN :#esoteric < 1559356661 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Okay, I gotta say. < 1559356675 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :You know how in most programming languages, you write code that causes stuff to happen? < 1559356690 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :I love how in Al Dente, you can't do that; you can only write code that *prevents* stuff from happening. < 1559356876 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :...I just noticed that an implementation of Al Dente is not required to do anything. < 1559357000 0 :ineiros!~itniemin@kapsi.fi JOIN :#esoteric < 1559357338 0 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :That's pretty great, actually. < 1559358251 0 :MDude!~MDude@c-174-55-125-31.hsd1.pa.comcast.net QUIT :Ping timeout: 258 seconds < 1559358614 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :An optional extension could be a "main" command, that for example you could write "main Add(in1 in2 -> out);" < 1559358663 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1559359881 0 :TellsTogo!0517fd67@gateway/web/freenode/ip.5.23.253.103 QUIT :Ping timeout: 256 seconds < 1559360361 0 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Quit: Temporarily refracted into a free-standing prism. < 1559360650 0 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1559360868 0 :MDude!~MDude@c-174-55-125-31.hsd1.pa.comcast.net JOIN :#esoteric < 1559362203 0 :arseniiv!~arseniiv@136.169.205.133 JOIN :#esoteric < 1559363049 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Some keyword abilities in Magic: the Gathering they only use on some types of cards, and sometimes only in some circumstances. But I think there is other uses for them too. Such as, you could add retrace on any castable card, lifelink or infect on any card that can deal damage, graft and modular and persist and undying on any permanent card (even a Aura), dash on noncreatures, etc < 1559363245 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Huh, I thought there was an instant or sorcery with lifelink, but I guess not. < 1559363258 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I don't know; I haven't checked < 1559363342 0 :arseniiv!~arseniiv@136.169.205.133 QUIT :Ping timeout: 272 seconds < 1559363364 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Why do you say SIMD is not needed on MMIX? < 1559363366 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I have a paper I made up some cards that have only keyword abilities, some of which are creatures and some aren't. One noncreature artifact has "graft 1", "undying", and "echo {0}". < 1559363381 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :shachaf: I do not remember. < 1559363399 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(I think I wrote that message, but I am not sure. I also do not remember.) < 1559363645 0 :ProofTechnique!sid79547@gateway/web/irccloud.com/x-gkgziwmcdagrdsfq QUIT :Read error: Connection reset by peer < 1559363682 0 :lynn!sid154965@gateway/web/irccloud.com/x-yujdpgdnnsvqcmql QUIT :Read error: Connection reset by peer < 1559363703 0 :xvnvx-!~xvnvx@198.13.53.40 QUIT :Read error: Connection reset by peer < 1559364023 0 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1559364385 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Another extension for Al Dente could be comments and macros (supporting parameterized classes, traits, and others); it can be compiled into the version without comments and macros. < 1559364743 0 :lynn!sid154965@gateway/web/irccloud.com/x-dcvdqqinelthgqjt JOIN :#esoteric < 1559364938 0 :ProofTechnique!sid79547@gateway/web/irccloud.com/x-uegvbfvghxzjvbfj JOIN :#esoteric < 1559367254 0 :xvnvx!~xvnvx@unaffiliated/xvnvx JOIN :#esoteric < 1559367881 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Another thing about Magic: the Gathering I thought about overload ability. I would prefer to use a different way based on the AST rather than the words. For example, [:damage 3; :to [:target :damageable]] would be written in English as "~ deals 3 damage to any target", but "any each" is wrong, but overload should still work. Also considering for example "change the target of target spell". < 1559367929 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(I didn't mention ":from :this" but it is implied, presumably.) < 1559370082 0 :S_Gautam!uid286066@gateway/web/irccloud.com/x-dxfwvmxsgpyiwluj JOIN :#esoteric < 1559372502 0 :whtspc!5657abae@gateway/web/freenode/ip.86.87.171.174 JOIN :#esoteric < 1559372519 0 :whtspc!5657abae@gateway/web/freenode/ip.86.87.171.174 QUIT :Client Quit < 1559372822 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net PRIVMSG #esoteric :Hmm, "any target" is a pretty new phrasing, I wonder if the rules people actually encountered that issue < 1559372904 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net PRIVMSG #esoteric :I guess "~ deals three damage to target player, planeswalker, or creature" works? < 1559373067 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net PRIVMSG #esoteric :"any target" includes yourself, and until Modern Horizons they've avoided overloads with downsides < 1559373666 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Yes, although I don't really like "any target" (for a few reasons), so I invented "damageable"; "any target" is the same as "target damageable" (although you can also use "damageable" in other contexts too). < 1559373758 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(And even without "any target", there is the other issue I mentioned.) < 1559374071 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net QUIT :Quit: adu < 1559375395 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559375430 0 :hakatashi!~hakatashi@104.131.49.125 QUIT :Remote host closed the connection < 1559375449 0 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric < 1559375596 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 268 seconds < 1559375773 0 :AnotherTest!~turingcom@ptr-82l26zfnlgwh4k4ewtw.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1559377135 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559377364 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1559378846 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559379022 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1559379162 0 :AnotherTest!~turingcom@ptr-82l26zfnlgwh4k4ewtw.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 258 seconds < 1559380491 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So I finally have a paper proof, with some help by a computer: https://int-e.eu/~bf3/tmp/sdd.pdf It really doesn't look all that hard now. < 1559380510 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(this is for the self-dual characterization of a distributive lattice) < 1559380623 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not speaking of which, I have no feel for what exponentials mean in a lattice. < 1559380633 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm pretty sure I should know. Is the answer obvious? < 1559380682 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :exponentials? < 1559380716 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean in the category sense. < 1559380735 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ah. <-- stops caring < 1559380754 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, I'll stop calling it exponential because it has a different name in order theory. < 1559380767 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Complete_Heyting_algebra calls it "implication". < 1559380838 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe https://en.wikipedia.org/wiki/Heyting_algebra < 1559380854 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"equipped with a binary operation a โ†’ b of implication such that c โˆง a โ‰ค b is equivalent to c โ‰ค a โ†’ b" < 1559381017 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that infinite distributive law is something that I can get behind < 1559381128 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a good law. < 1559381145 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm more used to frames, which are like complete Heyting algebras except frame homomorphisms don't preserve implication. < 1559381164 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :myname: see the above link (in answer to your "why" question yesterday) < 1559381188 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :myname: (my link, not shachaf's) < 1559381489 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hm, every modular lattice is distributive, and every distributive lattice is modular? < 1559381491 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Scott continuity is something I should understand (and at least I can see that unfolding the definition gets me that infinite distributive law from the finite one, modulo some twiddling to obtain a minimal directed set from S) < 1559381500 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, no. < 1559381513 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :no, moldularity is weaker than distributivity < 1559381515 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Distributivity is stronger. < 1559381517 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1559381529 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :optimist! < 1559381553 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's only optimism if you assume that the lattice is your friend rather than your enemy. < 1559381576 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( when you have modularity (huh, I had that extra 'l' again in there... but this time I noticed), the distributivity glass is still half empty. ) < 1559381602 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm. Is a half-empty glass of poison better than a half-full one? < 1559381620 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(It may depend on who drank that half...) < 1559381642 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Man, the free complete lattice on three elements is too large to be a set. < 1559381643 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What a joke. < 1559381691 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :completeness is just too strong unless things collapse (as they do for real numbers)... I was surprised at first, but I think that fact is fairly intuitive after all. < 1559381751 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I'll stick to free complete semilattices, which by coincidence are also complete lattices. < 1559381776 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I mean "intuitive" in a weak sense. It "makes sense", but I can fit a whole proof into my head. < 1559381797 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :*can't* < 1559381836 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Because that would entail actually proving the lack of collapse I alluded to. < 1559381845 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So this duality property of yours doesn't hold for every distributive lattice, right? < 1559381884 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm? That (1) holds in any distributive lattice as I showed on here the other day. < 1559381890 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(two days ago now, I believe) < 1559381916 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, right, and that one is actually very simple. < 1559381925 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I'm just saying all sorts of silly things today. < 1559381932 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I struggled a lot with the converse. < 1559381962 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And in the end I reconstructed a computer's proof, simplifying it along the way. < 1559382115 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I *believe* that somebody who has a bit of experience with / intuition for modular lattices would recognize the fact that x \/ ((y \/ z) /\ (x \/ y) /\ (x \/ z)) has the x-s all in the right places for applying modularity and simplifying it down to (x \/ y) /\ (x \/ z). But I've never studied modular lattices. < 1559382159 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu JOIN :#esoteric < 1559382231 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can run any sorting network in a lattice instead of total order, right? Do you get anything interesting? < 1559382282 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm, let me ponder that for 10 minutes < 1559382589 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :First of all, there's https://en.wikipedia.org/wiki/Birkhoff%27s_representation_theorem so you get something well-defined for distributive lattices (and a nice justification of the 0-1 principle for sorting networks: a sorting network is correct if it sorts all possible input sequences consisting only of 0s and 1s correctly). So what I would like to do is to see that distributivity follows from... < 1559382595 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :...(1 2) (2 3) (1 2) and (2 3) (1 2) (2 3) giving the same results. < 1559382848 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that may be false though... < 1559382984 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559383041 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :In fact this property may be something between lattices and modular lattices. (The property in question is (x /\ y) \/ (z /\ (x \/ y)) = (x \/ y) /\ (z \/ (x /\ y))) < 1559383112 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Of course there are bigger sorting networks to consider as well. < 1559383197 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1559383333 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wait a second, I messed this up; I should swap x and z on the right. < 1559383421 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And then distributivity follows (don't ask me how, the computer says so). Yay. < 1559383529 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Dsitributivity follows from those two networks being equal? < 1559383631 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ah I was too fast there, once again... < 1559383673 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I had snuck a modularity axiom in there. < 1559383732 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So... in a *modular* lattice, equivalence of those two sorting networks implies distributivity. But it looks like the same isn't true for non-modular lattices (no proof, just lack of a proof that's easy for the computer.) < 1559383883 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh. No, it was all true anyway. < 1559383964 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm suspecting that it's true because the middle term ends up computing the median the two different ways that you were proving things about, more or less. < 1559383988 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean the middle element of the list. < 1559384015 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Uh, maybe not. < 1559384057 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yeah, that was my intuition. but it's only "more or less" since the sides differ from the self-dual one by an application distributivity each. < 1559384071 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :*of distributivity < 1559384077 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So the first network gives you (aโˆงb) โˆจ ((aโˆจb)โˆงc) < 1559384088 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And the second network gives you (bโˆจc) โˆง ((bโˆงc)โˆจa) < 1559384109 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :...Which is what you just said. < 1559384282 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wonder whether there's a fancy sorting network variant that'll give you [aโˆงbโˆงc, ???, abโˆจc] < 1559384296 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean [aโˆงbโˆงc, ???, aโˆจbโˆจc] < 1559384303 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559384335 0 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 252 seconds < 1559384379 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The benefit is that the depth for the first and last elements is only 2 so you get it one step earlier. < 1559384401 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I think you have to do more comparisons overall. < 1559384429 0 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1559384452 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :http://paste.debian.net/1085364/ is what I did and why I don't know how the proof goes. < 1559384508 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1559384509 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: well (x /\ y) /\ (x \/ y) /\ z simplifies to x /\ y /\ z in any lattice. < 1559384540 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure. < 1559384694 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :No I don't think you can get [aโˆงbโˆงc, ???, aโˆจbโˆจc] directly. You can satisfy one end using (1 3) (1 2) (2 3) (and its dual). < 1559384858 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess the constraint here is that you only have three slots to store items in. < 1559385078 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah maybe 3 is an exception... So, it works for n=2. (1 2) (3 4) (2 4) (1 3) (2 3) does it for n = 4... < 1559385111 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I'd prefer to have optimal depth for every slot, or something. < 1559385165 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :well, then you want a minimum depth sorting network? < 1559385194 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Maybe with something that's well approximated by minimum size as a secondary optimization criterion. < 1559385206 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"minimum depth" is about the time to complete the entire network. < 1559385221 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But for a 3-item network the depth of the min and max is only 2, and the depth of the median is 3. < 1559385249 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :*actually* there may be an odd/even phenomenon for the generalized [aโˆงbโˆงc, ???, aโˆจbโˆจc] question... Hmm. < 1559385250 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway I'm not sure I actually care that much about this, I was just curious. < 1559385261 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the generalized question? < 1559385302 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :whether we can simultaneously have the infimum and the supremum of all inputs as the top and bottom results of the sorting network. < 1559385303 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In my file I'm writing & for โˆง and | for โˆจ. Maybe I'll use this notation from now on. < 1559385320 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it's ambiguous because people usually mean a different lattice by those operators. < 1559385425 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I have this start: < 1559385426 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :: a b c d e < 1559385426 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :: a&b a|b c d&e d|e < 1559385450 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and it occured to me that whatever I use for c next will inevitably lead to terms mixing | and &. < 1559385460 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1559385486 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What if you had some extra space? < 1559385507 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :well, for even numbers of inputs I can combine the inputs in pairs < 1559385510 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I imagine a constant number of slots doesn't help beyond a constant number of outputs. < 1559385533 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and then work on the resulting _ & _ and _ | _ terms separately, leading to the infimum and supremum. < 1559385577 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I see what you mean. < 1559385595 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So, generally: do (1 2) (3 4) ... (2n-1 2n), followed by (1 3) (1 5) ... (1 2n-1) and the reflected version thereof. < 1559385612 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can't keep them separated for very long. < 1559385641 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :long enough to make the ends meet and join. < 1559385659 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure, but I care about the all the elements, not just the ends. < 1559385677 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The depth of the first and last element is always n. < 1559385686 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the depth of the second element? < 1559385742 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm? no < 1559385754 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, no, not n < 1559385756 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :log n < 1559385762 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :You can arrange the computation in a tree. So yeah, log n. < 1559385778 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We can assume power of 2 networks, I guess. < 1559385785 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So it's exactly log n. < 1559385923 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Batcher's sort gives an upper bound of log(n)^2/2 on the depth, I think. < 1559385941 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(+ O(log(n))...) < 1559386023 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"It is also possible, in theory, to construct networks of logarithmic depth for arbitrary size, using a construction called the AKS network" < 1559386051 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :TIL: There's another AKS result of little practical importance. < 1559386103 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :These are not the same AKS, though. < 1559386125 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(The polynomial time primality test is newer, but I heard about it when it was discovered.) < 1559386194 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Anyway, I really think that existing research on minimum (and small) depth sorting networks largely covers your question. < 1559386205 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Probably. < 1559386240 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I finally read the thing about deterministic O(n) median calculation the other day. < 1559386251 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That seems to be another algorithm of little practical importance. < 1559386269 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it's surprising that it works. < 1559386302 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The median of medians thing... yeah, amazing. It's instructive, too. < 1559386333 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the instruction? < 1559386361 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, doesn't Knuth also invesitage networks for extracting k-th elements? < 1559386421 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does he? I never read TAOCP (as you can probably tell). < 1559386433 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :What's instructive is the clever use of transitivity. Oh and the fact that just because something doesn't work for n=3, it might still work for n=5 ;) < 1559386486 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's an obvious prank from the universe. < 1559386497 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We already know that numbers greater than 2 don't really exist. < 1559386512 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now we're expected to believe in 5? < 1559386515 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"selection network" is the keyword. (bad google term, but it's okay if you add "sorting") < 1559386568 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"There aren't enough small numbers to meet the many demands made of them." < 1559386647 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm still curious about what a sorting network means in a lattice. < 1559386680 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I remember we talked about how you can sort computable reals since you only require the result to be extensionally a permutation of the input, not intensionally. < 1559386830 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Birkhoff's theorem (mentioned above) is the only handle I have on this. < 1559386870 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :basic intuition: decompose the (distributive) lattice into a cartesian product of totally ordered sets. sort component-wise. < 1559386871 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"any spherically symmetric solution of the vacuum field equations must be static and asymptotically flat" < 1559386875 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :makes sense tdh < 1559386946 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I see what you mean, though. < 1559386946 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :With Birkhoffs theorem you get that, except that you may also be carving out a subset that is closed under infimum and supremum. < 1559387030 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(and in particular it reduces anything to totally ordered sets of size 2, because you can carve out any chain from its powerset using ideals) < 1559387091 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :for example, 1 <= 2 <= ... <= n can be mapped to {1}, {1,2}, ..., {1,..,n} ordered by the subset relation. < 1559387247 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :to be precise, s/ideal/filter/ < 1559387276 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :nah < 1559387309 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Sorry, ideal is actually correct. (But at least now I also remember the dual term.) < 1559387417 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :`leะฐrn schachaf is short for schachachf < 1559387418 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :โ€‹/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: leะฐrn: not found < 1559387476 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`" < 1559387476 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :640) monqy: it's only... ascii porn... the unicode bits stay covered \ 1100) "Well, that was fun" -- Taneb "atriq" Ngevd < 1559387515 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> ransomNote "learn" < 1559387517 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ๐˜ญ๐‘ฌ๐– ๏ฝ’๐ง < 1559387527 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`๐˜ญ๐‘ฌ๐– ๏ฝ’๐ง schachaf < 1559387572 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? star < 1559387573 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :star? ยฏ\(ยฐโ€‹_o)/ยฏ < 1559387580 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? * < 1559387581 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Twinkle, twinkle, little star! < 1559387595 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(having trouble remembering my own entries) < 1559387673 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? int-e < 1559387674 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :int-e รคr inte svensk. Hen kommer att sprรคnga solen. Hen stรฅr fรถr sig sjรคlv. Hen gillar inte fรคrger, men han gillar dissonans. Er hat ein Hipster-Spiel gekauft. < 1559387712 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`learn_append int-e He could never remember his own entries so he put them here for convenience. < 1559387715 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :`5 bin/star* 5 < 1559387717 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1/1:Cassian Andor \ Jan Dodonna \ Jyn Erso \ BB-9E \ Oola \ Bodhi Rook \ BB-8 \ Darth Maul \ Darth Vader \ Ortugg \ Supreme Leader Snoke \ Doctor Cornelius Evazan \ Rose Tico \ BB-8 \ Jyn Erso \ BB-8 \ Salacious Crumb \ R2-D2 \ Conan Antonio Motti \ Captain Phasma \ Nien Nunb \ Doctor Cornelius Evazan \ General Armitage Hux \ Captain Panaka \ Poe Dameron < 1559387733 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` grep '' bin/star* < 1559387733 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :โ€‹#!/usr/bin/perl \ @c=split/\|/,"Admiral Crix Madine|Admiral Firmus Piett|Anakin Skywalker|BB-8|BB-9E|Bail Organa|Baze Malbus|Beru Lars|Bib Fortuna|Biggs Darklighter|Boba Fett|Bodhi Rook|Boss Nass|C-3PO|Captain Panaka|Captain Phasma|Cassian Andor|Chancellor Valorum|Chewbacca|Chief Jawa|Chirrut \x{ce}mwe|Cliegg Lars|Conan Antonio Motti|DJ|Darth Bane|Darth Maul|Darth Plagueis|Darth Vader|Doctor Cornelius Evazan|Count Dooku|Emperor Palpatine|Finn|Galen Erso < 1559387741 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yikes < 1559387746 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` echo bin/star* < 1559387747 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :bin/starwars < 1559387763 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I forgot about that. < 1559387770 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? BB-8 < 1559387772 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :BB-8? ยฏ\(ยฐโ€‹_o)/ยฏ < 1559387785 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My trick of using `grep ''` to print files preceded by file name doesn't work when only given one file. < 1559387795 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oh. < 1559387798 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :admittedly my trick is bad. but so is unix tdnh < 1559387806 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` echo bin/star* < 1559387807 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :bin/starwars < 1559387822 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`starwars < 1559387823 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Luke Skywalker < 1559387984 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So quickselect has to mutate the input it's given, right? < 1559388028 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there a bound on how much space median selection needs if it can't mutate the input? < 1559388034 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm going to sleep. < 1559388835 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :" I love how in Al Dente, you can't do that; you can only write code that *prevents* stuff from happening." => try https://esolangs.org/wiki/90 < 1559389136 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :shachaf: you may be thinking of Soulfire Grand Master, Firesong and Sunspeaker, or Puncture Blast < 1559389292 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :`? lettuce < 1559389293 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Lettuce is a vegetable with two dressings, join and meet. < 1559389294 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :`? lattuce < 1559389295 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :lattuce? ยฏ\(ยฐโ€‹_o)/ยฏ < 1559389295 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :`? lattice < 1559389296 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Lattices are healthy ingredients that join your sandwiches together. < 1559389594 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :"read the thing about deterministic O(n) median calculation" => which thing? the Cormen, Leiserson, Rivest, Stein book? < 1559389705 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm do you need a particular source for that? https://en.wikipedia.org/wiki/Median_of_medians < 1559389771 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And I thought Knuth has it as well (TAoCP)... < 1559389790 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :shachaf: you can use grep -h for that < 1559389806 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :or tail -v < 1559389928 0 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1559390172 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 244 seconds < 1559392522 0 :arseniiv!~arseniiv@136.169.205.133 JOIN :#esoteric < 1559393094 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1559397495 0 :AnotherTest!~turingcom@ptr-82l26zfnlgwh4k4ewtw.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1559398280 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ski: eww I want to unsee https://en.wikipedia.org/wiki/Densely_packed_decimal < 1559398294 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(prompted by your comment on #haskell) < 1559398383 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1559398596 0 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :ohh, never seen < 1559398862 0 :int-exile!~noone@213162068224.public.t-mobile.at JOIN :#esoteric < 1559398913 0 :int-exile!?@? NICK :int-e_ < 1559399032 0 :int-e!~noone@int-e.eu QUIT :Ping timeout: 276 seconds < 1559399055 0 :int-e_!~noone@213162068224.public.t-mobile.at PRIVMSG #esoteric :oh right, the logs are down too... < 1559399124 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :int-e: the tunes logs work < 1559399132 0 :int-e_!~noone@213162068224.public.t-mobile.at PRIVMSG #esoteric :ski: anyway, that page is linked from the IEEE 754 page (IEEE 754 does specify decimal floating point numbers; the main point(sic!) isn't that the representation should be decimal, but that the mantissa/exponent are decimal. The FPU might use any representation it likes. < 1559399156 0 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :ACTION was just about to say what b_jonas said < 1559399189 0 :int-e_!~noone@213162068224.public.t-mobile.at PRIVMSG #esoteric :FSV of "work"... can't display in browser... < 1559399214 0 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric : works here < 1559399247 0 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :you mean that the exponent is wrt base `10' ? < 1559399248 0 :int-e_!~noone@213162068224.public.t-mobile.at PRIVMSG #esoteric :despite the "Open in Browser" plugin?! how does that fail... < 1559399275 0 :int-e_!~noone@213162068224.public.t-mobile.at PRIVMSG #esoteric :ski: meaning the number is multiplied by 10^[decoded e] < 1559399281 0 :int-e_!~noone@213162068224.public.t-mobile.at PRIVMSG #esoteric :rather than 2^[decoded e] < 1559399294 0 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :right < 1559399313 0 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :("Open in Browser" plugin ?) < 1559399322 0 :int-e!~noone@int-e.eu JOIN :#esoteric < 1559399359 0 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric : rather than 2^[decoded e] right ("Open in Browser" plugin ?) < 1559399375 0 :int-e_!~noone@213162068224.public.t-mobile.at PRIVMSG #esoteric :I'm still here ;-) < 1559399383 0 :int-e_!~noone@213162068224.public.t-mobile.at PRIVMSG #esoteric :I don't trust the VPS just yet. < 1559399408 0 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :oh, i'm seeing double, then < 1559399459 0 :int-e__!~noone@int-e.eu JOIN :#esoteric < 1559399505 0 :int-e_!~noone@213162068224.public.t-mobile.at PRIVMSG #esoteric :now it's getting weird. < 1559399543 0 :int-e!~noone@int-e.eu QUIT :Client Quit < 1559399669 0 :MDude!~MDude@c-174-55-125-31.hsd1.pa.comcast.net QUIT :Ping timeout: 252 seconds < 1559399676 0 :int-e__!~noone@int-e.eu QUIT :Client Quit < 1559399683 0 :int-e!~noone@int-e.eu JOIN :#esoteric < 1559399815 0 :int-e_!~noone@213162068224.public.t-mobile.at PRIVMSG #esoteric :Okay, that was stupid. I thought the VPS had a reboot, but it just had a network hickup and my old screen session was still around. Hopefully back for good... < 1559399816 0 :int-e_!~noone@213162068224.public.t-mobile.at QUIT :Quit: leaving < 1559399895 0 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :ACTION screens the sessions < 1559399934 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :good idea. < 1559400107 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@botsnack < 1559400107 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::) < 1559400115 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(different VPS ;-) ) < 1559400363 0 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :different ? < 1559400421 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :lambdabot's on a VPS. My IRC client is on a VPS. These two VPSs are not the same. < 1559400465 0 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :ah, ic < 1559401580 0 :sebbu2!?@? NICK :sebbu < 1559401704 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559401905 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1559402240 0 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net QUIT :Ping timeout: 248 seconds < 1559403883 0 :unlimiter!~unlimiter@41.143.78.127 JOIN :#esoteric < 1559404425 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ski: re: Open in Browser: It's this plugin, https://addons.mozilla.org/en-US/firefox/addon/open-in-browser/ which is supposed to allow me to override what FF does with a link... one of the options being "open in browser as text". But it doesn't work in this case. < 1559404463 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and that's despite the server properly declaring it as Content-Type: text/plain :-/ < 1559404498 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION blames software complexity. < 1559404562 0 :unlimiter!~unlimiter@41.143.78.127 QUIT :Quit: WeeChat 2.4 < 1559404635 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(disabling the addon (that's what FF calls it) doesn't help either) < 1559404689 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Everything sucks. Chrome is breaking Ad blockers, FF is breaking simpler things like X11 selections. < 1559404810 0 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :oic. used W3m here < 1559404855 0 :atehwa!atehwa@aulis.sange.fi QUIT :Remote host closed the connection < 1559405237 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :hello < 1559406867 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net JOIN :#esoteric < 1559407400 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hail rain1 < 1559407421 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I'm sure that was *very* original) < 1559407454 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`grwp precipation < 1559407455 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :No output. < 1559407468 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quote precipation < 1559407469 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :No output. < 1559407481 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quote weather < 1559407481 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :889) Usually I'd use Rankine, but the fucking weather doesn't support it. < 1559407543 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`complain Nobody's talking about the weather here, despite metasepia's best efforts! < 1559407545 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Complaint filed. Thank you. < 1559407550 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :int-e: I don't really understand what Firefox does with it. I assumed the server was just sending the wrong Content-Type or Content-Disposition for the logs, but that's not the case < 1559407560 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :anyway, you can still download the logs, or view in another browser < 1559407578 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I know but it's inconvenient. < 1559407604 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I'm a potted plant. FEED ME!) < 1559407627 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :I was wondering if it depended on whether it's valid utf-8 or something, but that doesn't seem to be the problem either < 1559407645 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Try prefixing "view-source:" to the URL < 1559407852 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? ot < 1559407853 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :ot? ยฏ\(ยฐโ€‹_o)/ยฏ < 1559407880 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :maybe it doesn't like LF instead of CRLF or something < 1559407909 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :like, firefox assumes that text/plains files should have crlf in them, which is what they often have when webserverers serve them < 1559407936 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :If prefixing "view-source:" doesn't work, try using curl and less, perhaps < 1559407970 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :no, that's not it either < 1559407980 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :I don't know then < 1559408084 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: it somehow falls back on guessing the file type from the extension. which is quite stupid... < 1559408228 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but you're probably right that it has to do with the contents < 1559408305 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but it's unclear what it is that it doesn't like... unicode symbols or stray ^Os perhaps? < 1559408375 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION notes that the server does not specify an encoding. that may be a problem. < 1559408844 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :int-e: oh, that could be it < 1559408872 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :but that shouldn't be a problem, should it? < 1559408898 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :I mean, the web used to be full of html files that didn't specify an encoding back in the 2000s, which is why changing the encoding is still in the firefox menu < 1559408908 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :well if FF then runs statistics on the input and sees 1% invalid characters... < 1559408922 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :in the View menu of Firefox < 1559408951 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :int-e: yes, but the last few days' worth of logs are actually valid utf-8 < 1559408953 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :aren't they? < 1559408989 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :FF tends to default to ISO8859-1 for me. < 1559409002 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :which... hmm... pokes a hole into my reasoning. < 1559409010 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Sometimes I do need to change the encoding in the View menu (not always to UTF-8, although sometimes this is the case, and sometimes not); this is more for files that aren't HTML, though, I found. < 1559409012 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :since that doesn't have invalid encodings at all :) < 1559409028 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :int-e: definitely not. browsers never even use iso-8859-1 encoding, even if you tell them < 1559409051 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :they use cp1252, because the web was also full of cp1252 html files declared to be iso-8859-1 back in the 2000s < 1559409080 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :If you think Chrome and Firefox is no good, do you think http://zzo38computer.org/textfile/miscellaneous/web_browser is good? Presumably also if used on X then it won't break selections either < 1559409083 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :and cp1252 has twelve invalid characters, or five if you call MS's updated version of cp1252 with the same name < 1559409273 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yeah, maybe. (cp437 forever!) < 1559411480 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net QUIT :Quit: adu < 1559411507 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net JOIN :#esoteric < 1559412118 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :problem is it's hard to make a web browser < 1559413821 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net PRIVMSG #esoteric :problem is, no one can define what a web browser is < 1559413905 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :that's not the problem < 1559413946 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: so make let's make it simpler then < 1559413949 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net PRIVMSG #esoteric :is it HTML5? SVG? MathML? Canvas2D? WebGL? WebAsm? Workers? < 1559413978 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net PRIVMSG #esoteric :I think web browsers should be scribble based < 1559414048 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net PRIVMSG #esoteric :https://docs.racket-lang.org/scribble/getting-started.html#%28part._first-example%29 < 1559414783 0 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net JOIN :#esoteric < 1559415183 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yay another markup language < 1559415228 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and not a pretty one either < 1559415291 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I guess it's also a templating language so perhaps there's some justification for its existence. < 1559415457 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :well gopher is good < 1559415469 0 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :i think you could do something good that's between gopher and web < 1559415522 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :HTML (you know, the markup language) plus CSS minus animations. < 1559415618 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(CSS needs a closer look, it carries quite some baggage by now) < 1559415758 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And none of this will happen anyway. We'll just keep adding stuff to the pile. Some parts like Flash will slowly fall into disuse and fade away. < 1559416145 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :TLAs should be banned from all communications. < 1559416342 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I wrote a C header file for WebAssembly, but it is not implemented (as far as I know). < 1559417218 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559417401 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1559418204 0 :Sgeo_!~Sgeo@ool-18b98439.dyn.optonline.net JOIN :#esoteric < 1559418400 0 :Sgeo__!~Sgeo@ool-18b98439.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1559418837 0 :AnotherTest!~turingcom@ptr-82l26zfnlgwh4k4ewtw.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 258 seconds < 1559418908 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :zzo38: well I expect no less of you; you are the god of vaporware < 1559418942 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Is there a implementation of WebAssembly to use with C rather than JavaScript? < 1559418961 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :zzo38: I think clang has one, but I'm not sure < 1559419029 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm not sure what niche that is supposed to fill, really. OpenCL / SPIR-V may be more relevant here. < 1559419048 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :LLVM too < 1559419197 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I know LLVM can compile into WebAssembly code, but what I meant is a program to execute WebAssembly codes from a C program. < 1559419213 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: Ah, probably. At least the first two? I don't see the last one having to do with lifelink. < 1559419230 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :grep -h for what? < 1559419253 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :shachaf: it doesn't, it's just another of those cases where you have an ability that's usually on creatures, like lifelink, deathtouch, infect, but get it on a noncreature < 1559419260 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :shachaf: grep -h to print the filename even if there's only one file < 1559419273 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :``` grep -h ^ bin/star* < 1559419274 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :โ€‹#!/usr/bin/perl \ @c=split/\|/,"Admiral Crix Madine|Admiral Firmus Piett|Anakin Skywalker|BB-8|BB-9E|Bail Organa|Baze Malbus|Beru Lars|Bib Fortuna|Biggs Darklighter|Boba Fett|Bodhi Rook|Boss Nass|C-3PO|Captain Panaka|Captain Phasma|Cassian Andor|Chancellor Valorum|Chewbacca|Chief Jawa|Chirrut \x{ce}mwe|Cliegg Lars|Conan Antonio Motti|DJ|Darth Bane|Darth Maul|Darth Plagueis|Darth Vader|Doctor Cornelius Evazan|Count Dooku|Emperor Palpatine|Finn|Galen Erso < 1559419277 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :hmm < 1559419280 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :``` grep -H ^ bin/star* < 1559419280 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :bin/starwars:#!/usr/bin/perl \ bin/starwars:@c=split/\|/,"Admiral Crix Madine|Admiral Firmus Piett|Anakin Skywalker|BB-8|BB-9E|Bail Organa|Baze Malbus|Beru Lars|Bib Fortuna|Biggs Darklighter|Boba Fett|Bodhi Rook|Boss Nass|C-3PO|Captain Panaka|Captain Phasma|Cassian Andor|Chancellor Valorum|Chewbacca|Chief Jawa|Chirrut \x{ce}mwe|Cliegg Lars|Conan Antonio Motti|DJ|Darth Bane|Darth Maul|Darth Plagueis|Darth Vader|Doctor Cornelius Evazan|Count Dooku|Emperor Pa < 1559419281 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :sorry < 1559419281 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah. < 1559419284 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :backwards < 1559419295 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :cat -v is considered harmful, I hear. < 1559419296 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :-h omits the filename even if there's multiple files, -H puts them in even for one file < 1559419306 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :``` grep -h ion wisdom/* < 1559419307 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :grep: wisdom/8: Is a directory \ ! is a syntax used in Haskell and Prolog for solving evaluation order problems. \ #esoteric is the only channel that exists. After monqy left it became slightly off-centรซr. It's a 7-codimensional hyperenchilada about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. Currently located in the Atlantis Exclusion Zone. \ 01 is an abbreviation that 01 < 1559419316 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :``` grep -qh ion wisdom/* < 1559419316 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :No output. < 1559419319 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :``` grep -sh ion wisdom/* < 1559419320 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :โ€‹! is a syntax used in Haskell and Prolog for solving evaluation order problems. \ #esoteric is the only channel that exists. After monqy left it became slightly off-centรซr. It's a 7-codimensional hyperenchilada about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. Currently located in the Atlantis Exclusion Zone. \ 01 is an abbreviation that 01 understands. \ The 1 is just < 1559419344 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :shachaf: I don't think it's harmful, but I said head -v < 1559419353 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :I use cat -v or cat -A a lot < 1559419578 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You said tail -v < 1559419614 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :oh < 1559419618 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :sorry < 1559419790 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the real point is, unix is scow < 1559419800 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :yeah < 1559419853 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's such a scow that it's so difficult to make correct software out of unix pipelines and shells. < 1559419864 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Almost impossible, and certainly not the norm. < 1559420173 0 :arseniiv!~arseniiv@136.169.205.133 QUIT :Ping timeout: 252 seconds < 1559421274 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :`? set < 1559421275 0 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :set? ยฏ\(ยฐโ€‹_o)/ยฏ < 1559421285 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :how come this doesn't have an "is just" wisdom? < 1559421330 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Because no one wrote it. Which might be because the average "is just" wisdom is p. bad. < 1559423134 0 :DrKnuser!~DrKnuser@x2f7fb98.dyn.telefonica.de JOIN :#esoteric < 1559424848 0 :laerling!~laerling@unaffiliated/laerling JOIN :#esoteric < 1559425415 0 :DrKnuser!~DrKnuser@x2f7fb98.dyn.telefonica.de QUIT :Quit: Quit < 1559427570 0 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1559427600 0 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 272 seconds < 1559427638 0 :Lord_of_Life_!?@? NICK :Lord_of_Life < 1559427927 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Of my idea of RDF-based coding for Magic: the Gathering cards, there would be many parts (some of which are applicable to some cards only), such as :name :manacost :type :abilities :power :toughness :handmod :lifemod :split :flipped :transformed :melded :multiverseid < 1559427988 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net PRIVMSG #esoteric :what is multiverseid? < 1559428041 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :It is used only for searching and has no effect on the game. A card definition may specify multiple IDs in case there are multiple versions printed. It can also be used for finding pictures and stuff if needed < 1559428065 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net PRIVMSG #esoteric :is that the name of a database? < 1559428105 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I don't know, but Wizards of the Coast has a database of Magic: the Gathering cards and they are indexed by the Multiverse ID number. < 1559428129 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net PRIVMSG #esoteric :ah < 1559428192 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :A name identifies the card for game play purposes, while the Multiverse ID number identifies one specific printed version of the card. < 1559428610 0 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1559428632 0 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net PRIVMSG #esoteric :my MTG database is a cardboard box < 1559429057 0 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I mentioned other examples of my ideas here too, and maybe a document should be written with the ideas. A computer program to implement rules of Magic: the Gathering could then use this data to possibly convert into some other code. This also allows text-changing effects to work (some implementations do not implement text-changing effects). < 1559430641 0 :S_Gautam!uid286066@gateway/web/irccloud.com/x-dxfwvmxsgpyiwluj QUIT :Quit: Connection closed for inactivity < 1559433074 0 :b_jonas!~x@catv-176-63-24-118.catv.broadband.hu PRIVMSG #esoteric :the IOCCC website says it's planning to release source code on 2019-06-02. do you think they will?