< 1456444825 8942 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :z(a,b) is defined as the smallest ordinal number c such that c > a, c > b, and c is not the value of z for any smaller a, or for the same a with a smaller b. < 1456444833 677580 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: i think that should be the Tardigrade hth < 1456444856 156109 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :oerjan: I think I agree. th < 1456444867 630195 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, it's not obvious to me that that function is well-defined. < 1456444917 625679 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :z(0,b) is simply the successor of b, and it's obvious that the successor function "misses enough" ordinal numbers. < 1456444945 373231 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :(That is: the collection of ordinal numbers which are not in the image of the successor function is isomorphic to the collection of all ordinal numbers.) < 1456444950 656985 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: didn't we discuss this earlier < 1456444961 661395 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Maybe. < 1456444965 225332 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i recall it almost melted my brain < 1456444972 787751 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but that somehow, there were enough gaps < 1456444995 752991 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah. So, why are there always enough gaps? < 1456445133 761057 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Fuzzy Bag Typing < 1456445242 32286 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Wait, I'm starting to remember, I think. < 1456445251 289233 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Suppose you have some function f on the ordinal numbers such that for all x, f(x) > x. < 1456445291 740053 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Then you can start at any ordinal number and iterate f on it. This will give you an infinite increasing sequence of ordinal numbers. Then take the limit of that sequence. < 1456445321 499297 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That number that you just got, that limit, can't be in the image of f. < 1456445345 338765 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :f needs to be increasing < 1456445359 470681 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Does it? < 1456445412 3352 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, I guess it does. < 1456445431 2200 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The infinite sequence that you get is increasing even if f is not increasing. But, uh... < 1456445453 24519 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :maybe you can take supremums of f(0)...f(x) < 1456445465 957644 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :My train of thought fell down a mine shaft. < 1456445472 220655 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :(MTOTFDAMS) < 1456445493 271850 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hi, welcome to the mine of brain liquification < 1456445509 175862 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So, this makes z well-defined. < 1456445528 227898 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, it happens that the entirety of z has "enough gaps", too. < 1456445551 229507 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Why? < 1456445581 913475 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :BRRAAAINS < 1456445600 573349 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION saves his brain by not even trying < 1456445612 902057 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do you want a refreshing pooch pic to soothe your brain < 1456445624 163317 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :MAYBE < 1456445676 529081 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://i.imgur.com/K59pAb5.gifv < 1456445762 955349 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456445781 206489 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? adu < 1456445785 425381 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Bye! < 1456445793 289894 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :oerjan: ? < 1456445833 528008 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` hg log wisdom/adu < 1456445834 890310 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :changeset: 7004:4c654b530cd9 \ user: HackBot \ date: Thu Feb 25 04:20:01 2016 +0000 \ summary: le/rn adu/Bye! < 1456445858 214936 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :shachaf: what does that mean? < 1456445864 379857 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: a very pouchy pooch < 1456445882 297242 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :what's a pouch < 1456445883 10922 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`le/rn adu/Do you know adu? Adu adu adu adu adu! < 1456445885 267424 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «adu» < 1456445886 174570 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :what's a pooch? < 1456445901 57661 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@wn pooch < 1456445902 721807 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :*** "pooch" wn "WordNet (r) 3.0 (2006)" < 1456445903 831029 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :adu: see above gifv hth < 1456445904 691757 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :pooch < 1456445906 702759 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : n 1: informal terms for dogs [syn: {pooch}, {doggie}, {doggy}, < 1456445908 699166 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : {barker}, {bow-wow}] < 1456445910 688995 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : v 1: round one's lips as if intending to kiss [syn: {pooch}, < 1456445912 686054 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : {pooch out}] < 1456445931 105999 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :shachaf: oh, you mean a baggy dog < 1456445937 198893 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :adu: someone added a wisdom for you. it wasn't very good, so i imprevod it hth < 1456445944 152084 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :uh I mean oerjan < 1456445949 259850 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: it previously meant "adu" as in "bye" hth < 1456445950 390321 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :oerjan: thanks :) < 1456445956 709404 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :as in "adieu" < 1456445973 556337 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :shachaf: I'm well aware of the french saying < 1456445984 909549 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :but in fact, "adu" is short for "andydude" < 1456445987 905760 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Aware of the French saying what? < 1456446010 940023 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I used to use "andydude" as my login to irc, but I registered "adu" and now I have no choice < 1456446068 165921 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :adu: you know you < 1456446078 66611 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :'re allowed more than one nick here hth < 1456446086 654446 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: NONSENSE < 1456446087 906603 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you can even group them < 1456446101 949718 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :like adu_sleeping < 1456446160 536636 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :or adu_zzz < 1456446166 911678 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :or adu_slumber < 1456446172 876841 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :or adu_work < 1456446174 34592 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ♫ Si meg, hva betyr adjø... ♫ < 1456446197 823170 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :Yes, make a better adjective... < 1456446217 841259 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I like that song < 1456446258 827505 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: The pooch has pooches which contain smaller pooches. < 1456446333 761602 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Neverhood was so good < 1456446336 954888 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://www.youtube.com/watch?v=14xcsz43Kuw < 1456446392 575968 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1456446394 54109 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 240 seconds < 1456446588 177343 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :`` hg log wisdom/adu < 1456446589 203011 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :changeset: 7017:e40713f3412a \ tag: tip \ user: HackBot \ date: Fri Feb 26 00:18:04 2016 +0000 \ summary: le/rn adu/Do you know adu? Adu adu adu adu adu! \ \ changeset: 7004:4c654b530cd9 \ user: HackBot \ date: Thu Feb 25 04:20:01 2016 +0000 \ summary: le/rn adu/Bye! < 1456446603 741421 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Yes? < 1456446617 683437 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I didn't say anything < 1456446649 68645 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I was simply testing a hypothesis, which turned out to be true < 1456446757 261599 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :my hypothesis was that it was cumulative, and it is < 1456446887 475595 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric < 1456447154 769298 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hello < 1456447284 983709 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: One data point is not enought to turn a hypothesis into a theory < 1456447314 641460 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: tell that to my success story! < 1456447348 797368 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Are you a young earth creationist? < 1456447619 31946 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Pokadots that will rip you to shreds given the chance <-- *polkadots hth < 1456447670 590902 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: No. < 1456447682 814486 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Yes. < 1456447816 907820 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I'm going to pretend I know what you're talking about < 1456447865 870738 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: You haven't heard of young earth creationists? < 1456447877 898930 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I've heard of creationists < 1456447879 486162 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: They're the guys who think the universe is 6000 years old, same as the earth < 1456447892 637532 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Created by gaaaaaaaaaaaawd 6000 years ago < 1456447895 433243 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :those are people who believe the universe is 6000 years old < 1456447907 944688 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I'm not sure what "young earth" means in that context < 1456447916 31597 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Creationists are broader than the young earth creationists < 1456447922 347829 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: no < 1456447931 728552 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: There are two types- old earth and young earth < 1456447940 2801 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: wut < 1456447951 543223 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Old earth at least try to mix some basic science- the things we know for a fact to be true- into their beliefs < 1456447953 228512 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :how do they explain older stuff? < 1456447971 350583 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: God created everything to look older than it is < 1456447972 176318 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :adu: "young earth creationists" are the subset of creationists who have a specific time in mind for the creation of the earth that's on a relatively small timescale, normally somewhere around 4000 BC < 1456447981 22746 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: WhAuT? < 1456447986 628472 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Young earthers throw science out the window < 1456448003 830367 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I believe that the universe is older than anything in the universe < 1456448009 982456 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: They think we can see stars >6000 light-years away because god created the universe with everything already here < 1456448018 416857 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(everything = light) < 1456448028 449900 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I also have a very strict definition of "universe" and "spacetime" < 1456448054 342184 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Fair enough < 1456448089 95503 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: a "spacetime" is all that we will ever know: 3D space + time, but the "universe" is all that exists, and all this popsci mumbo jumbo about "paralell universes" is, in my dictionary, talking about "parallell" spacetimes, not universes < 1456448105 902580 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :It's funny that wikipedia says "Fictional superhero" instead of just "superhero" < 1456448128 373379 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: I think you mean the multiverse hth < 1456448131 137251 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :so my dictionary does not contain the word "multiverse", since obviously, it is a synonym for "universe" < 1456448140 240391 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: lol, I hate you for that < 1456448171 189005 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Usually, the Universe only covers things we can get to without a particle accelerator from here to Alpha Centauri < 1456448184 732235 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: that's called a Spacetime, sir < 1456448230 645858 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: No, it's the universe < 1456448253 930597 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: no, it's a spacetime, which most people inaccurately equate with the universe < 1456448303 450133 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :The Universe, is by definition, all that exists, if multiple spacetimes exist, then they exist within The Universe, by definition < 1456448310 966624 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :this is just pure logic, it's not an opinion < 1456448760 428163 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell huh... but I thought I reverted something else <-- you tried to `revert a command that didn't actually change anything hth < 1456448762 902415 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1456448763 432206 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops < 1456448769 210928 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell b_jonas huh... but I thought I reverted something else <-- you tried to `revert a command that didn't actually change anything hth < 1456448770 894677 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1456448810 938626 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: that's a long way back < 1456448977 958706 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: um it was during the recent `list mess < 1456448989 217028 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1456448992 893944 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that was a long time ago < 1456449009 616708 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: are you an extremely young earth creationist < 1456449052 938241 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: perhaps i'm a veetan < 1456449089 310356 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :oerjan: shachaf didn't deny it < 1456449113 971788 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm not all that young anymore < 1456449133 15381 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but i'm certainly an earth creationist < 1456449138 868390 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what other sort of creationist would i be < 1456449214 194754 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :bleh, that moment when you're curious about what the `list is and yet don't want to check < 1456449280 201574 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: go for it < 1456449284 25611 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the worst that could happen? < 1456449294 84351 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'd end up on a list < 1456449488 997356 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ais523: Are there any things that won't make my brain heart with cardinality > 𝔠? < 1456449490 407514 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :... < 1456449506 468285 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: Do newer versions of neoletters have 𝔠? < 1456450121 502653 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ugh < 1456450130 722927 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :My left arrow key seems to have stopped working < 1456450267 83736 :lynn!~lynn@unaffiliated/lynn QUIT :Ping timeout: 250 seconds < 1456450484 461518 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I want to make an unlambda derivative < 1456450492 555481 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Then write a fake O'reilly book about it < 1456450498 37669 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Though I'm not sure what to call it < 1456450533 691532 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :ais523: that sounds like a hashtag < 1456450566 694613 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :#thatmomentwhenyourecuriousaboutwhatthelistisandyetdontwanttocheck < 1456450759 120452 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :If call/cc is GOTO, what's COMEFROM? < 1456450790 872351 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Do you know? < 1456450819 496871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :call/cc isn't GOTO < 1456450863 233875 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: It's the functional equivalent, according to wikipedia < 1456450972 183174 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: do you mean try0catch? < 1456450981 158702 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :"try-catch" < 1456450999 655655 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: For what? comefrom? < 1456451012 477037 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Or as the functional GOTO < 1456451015 495253 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: call/cc is CAMEFROM, cc is GOTO < 1456451026 139305 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Ah. < 1456451034 653611 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: or perhaps you mean (dynamic-wind) < 1456451046 416057 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Oooh, what's that? < 1456451054 274874 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: it's like try-catch < 1456451076 571033 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: it ensures that it's 3 arguments are all executed, in order, regardless of exceptions thrown < 1456451116 695926 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :(dynamic-wind a b c) will execute c, even if a and b throw exceptions < 1456451127 506515 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :What happens if the function you pass to a call/cc is another continuation? < 1456451127 506566 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : My left arrow key seems to have stopped working <-- it's spreading! < 1456451127 506612 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :or call a "cc" from somewhere else < 1456451148 392574 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: then the world starts to explode < 1456451164 736153 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: actually, then you're just returning an address < 1456451164 894215 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: But then you call a continuation and it stops exploding < 1456451179 399692 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :((call/cc call/cc) (call/cc call/cc)) is when the world explodes < 1456451192 822690 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, right < 1456451260 823322 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: In esolisp, should I include call/em instead of call/cc as primitives? < 1456451270 244584 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1456451300 95116 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: my personal opinion is that all you need is call/ec, which is like call/cc, but the continuation cannot escape the lexical scope of call/ec < 1456451315 28503 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: And what does ec stand for? < 1456451341 704464 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :https://docs.racket-lang.org/reference/cont.html#%28def._%28%28lib._racket%2Fprivate%2Fletstx-scheme..rkt%29._call%2Fec%29%29 < 1456451352 592975 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :"escape-continuation" < 1456451393 388839 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: scratch that, "dynamic extent", not "lexical scope" < 1456451406 308870 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :s/lexical scope/dynamic extent/ < 1456451419 85623 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: You're much smarter than me. Can you help me with #esoteric lisp? < 1456451431 944312 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Passively, if you prefer < 1456451434 311775 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: as if lisp isn't esoteric enough ;) < 1456451450 347160 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: That's the tagline ;) < 1456451454 12583 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I'm not smart, I just read a lot < 1456451505 787355 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: That works too < 1456451507 639782 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :for example, I once deployed an update to every server with an extra comma, that caused all of our servers to crash, repeatedly < 1456451531 209119 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :I think I deleted the comma about 4 hours later < 1456451549 711440 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :which, of course, made me feel like an idiot < 1456451564 957072 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :ACTION hates commas < 1456451704 296960 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456451790 746645 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Is there something I could do for CF in esolisp that would be completely unexpected? < 1456451801 820606 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :what is CF? < 1456451832 943715 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :nobody expects the Spanish initialization! < 1456451848 278121 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: in Python? < 1456451855 460822 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :lisp? < 1456451864 789169 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Control Flow < 1456451867 729418 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :oh < 1456451873 194713 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Esolisp, probably implemented in python < 1456451900 890755 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: force all control flow to be in the form of unevaluated associated lists < 1456451915 193118 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :dafuq? < 1456451925 544711 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: basically switch-case < 1456451935 461881 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1456451942 69253 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: I want something functional xD < 1456451958 71946 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric < 1456451962 28635 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :imagine a world, in which if is deprecated, else is a thing of the past, your only hope, is switch-case < 1456451968 175282 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Are there any completely strange GOTO-like constructs I could functionalize? < 1456451973 220412 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Not just a jump, something different < 1456451983 330660 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: you could go way back < 1456451986 907803 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: way way back < 1456451992 466104 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Listening < 1456451993 814116 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :like now scheme is at R7RS < 1456452005 267255 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :but in R1RS there was this thing called tagbody < 1456452009 609090 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :that was kind of like goto < 1456452013 305399 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :but so f*cked up < 1456452018 950715 :AlexR42!~textual@95.105.108.154 JOIN :#esoteric < 1456452064 693191 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ACTION googles it < 1456452067 887875 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :MY EEEEEEEEEEEEEEEYES < 1456452068 759381 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :lol < 1456452085 978313 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Not only is it weird and confusing with an IMproper implementation < 1456452098 861076 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: I'm also reacting to plain-font code < 1456452140 866301 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :lol < 1456452142 846190 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: If call/cc is functional GOTO, what's functional IF? < 1456452155 793147 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: arc if is probably the most obscure < 1456452157 306068 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Not the construct named IF necessarily- the one that evaluates one of its arguments based on another < 1456452162 209788 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :lisp and schem use 3-argument if < 1456452189 248680 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: I'm going for what you get if you use call/cc like JMP in compiled code; what does IF look like then? < 1456452190 780561 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :arc if is equivalent to lisp and scheme (cond), so (if a b c d e) actually means (if a b (if c d e)) < 1456452205 845576 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Wat < 1456452208 956106 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :ya < 1456452222 350190 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: So conditional call/cc < 1456452227 917365 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: no, just if < 1456452237 174093 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :it's like the classic if-elseif-else < 1456452239 103987 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: No, I'm talking about conditional call/cc < 1456452251 801394 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: conditional on what? < 1456452255 981485 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(call-with-current-continuation-if- cond func else) < 1456452259 421436 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Various < 1456452272 56173 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :https://www.gnu.org/software/guile/manual/html_node/Dynamic-Wind.html < 1456452274 387916 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Basically, it's the functional equivalent of low-level JMP < 1456452305 293537 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: And I'm wondering what happens if we exactly transcribe the implementation of IF-THEN to JMPs into functional programming < 1456452311 998982 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Do you get what I'm trying to say? < 1456452313 697324 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: oh, you want delimited-continuations < 1456452318 554774 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Is that it? < 1456452333 543432 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :https://docs.racket-lang.org/guide/prompt.html < 1456452351 70788 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :prompt is like "global = address" < 1456452359 953839 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :abort is like "address = global" < 1456452429 428397 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: I'm not sure you understand, but odds are it's me who isn't understanding < 1456452450 349454 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: I think one of the issues with goto's in scheme is that all previous attempts involve going where you've gone before < 1456452479 808957 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :if you want to jump to a place *after* everything you've done, then you probably just need to invent a name for it < 1456452489 476995 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Ah, yes, that < 1456452499 155358 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :and define it as "current_address = given_address" < 1456452535 48348 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: What I'm trying to say is this < 1456452545 210887 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: You know how call/cc is sort of like a JMP? < 1456452618 626520 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :yes < 1456452648 468199 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :as opposed to CALL, which manipulates the stack < 1456452691 684108 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: OK, and you know how if-then in imperative languages is implementable in terms of JMP < 1456452701 657305 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :yes < 1456452707 261875 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Well, conditional JMP < 1456452731 170443 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: What happens if you implement if-then the same way, but in terms of conditional call/cc (and functionalizing everything)? < 1456452744 807659 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: Is it just (if x y z), or does it make something new? < 1456452767 407675 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :(call/cc (lambda (return) (if x (return y) (return z)))) < 1456452814 289790 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: So it's exactly the same then? < 1456452815 297463 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OK < 1456452817 711558 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: there are more possibilities, like you can return y in places that are not technically tail-calls < 1456452984 935208 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1456452985 490164 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :like without call/cc, then (begin a b c d e ... z) would always return z < 1456452986 733193 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adu: JMP:CJMP::call/cc:??? < 1456452986 891066 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :but with call/cc, then (call/cc ... (begin a b c (return y) ... z)) would return y instead of z, even though z is a tail call < 1456453109 629783 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net PRIVMSG #esoteric :hppavilion[1]: so really call/cc should be called convert-return-into-a-function < 1456453134 360075 :zzo38!~zzo38@24-207-50-123.eastlink.ca JOIN :#esoteric < 1456453150 414419 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hezzo38 < 1456453770 133807 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1456454203 465525 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I really love the breathiness of finnish glottals < 1456454352 498343 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Remote host closed the connection < 1456454398 618957 :andrew_!~andrew@119.137.94.73 JOIN :#esoteric < 1456454659 657137 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1456454660 41530 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1456455370 229514 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :there should be language-independent languages < 1456455391 458314 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :err i guess that was meaningless < 1456455427 346440 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :i mean a programming language which is independent of natural language < 1456455536 201591 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :e.g. the keywords like print etc would be eliminated in favor of symbols < 1456455546 902952 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :\oren\: so you end up with emojis? < 1456455552 71840 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :yah < 1456455559 332626 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :that would work < 1456455651 562350 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :techically bf is an example < 1456456064 219711 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: leaving < 1456456596 965871 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds < 1456456868 499055 :zgrep!sid43445@gateway/web/irccloud.com/x-llvcwqmyxekfewsk PRIVMSG #esoteric :\oren\: APL/J/K seem to share that philosophy. < 1456458006 927027 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Quit: adu < 1456458597 923124 :bb010g!uid21050@gateway/web/irccloud.com/x-dkvdjkmioecjylgd JOIN :#esoteric < 1456459271 993630 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1456459820 955737 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds < 1456460513 405871 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :I guess so < 1456461141 659325 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving < 1456461492 968716 :Elronnd!elronnd@znc.dank.ninja NICK :newguy_ < 1456461867 232182 :newguy_!elronnd@znc.dank.ninja NICK :Elro < 1456461874 686048 :Elro!elronnd@znc.dank.ninja NICK :Elronnd < 1456463024 22402 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :\oren\: Befunge almost counts, except for the p and g commands. < 1456463259 159723 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net PRIVMSG #esoteric :\oren\: AppleScript uses numbers as symbols internally, which are displayed as translatable text < 1456463259 772215 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :I made a plane kinda like the Saab Gripen in KSP < 1456463363 499674 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :i suppose if you have translations for every keyword it could work, but ideally you would make it so that anyone can just read code written by someone who speaks a different language < 1456463387 960957 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :\oren\: you need to deter identifiers then? it would be very hard. < 1456463403 897154 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :that will surely end up as an esolang < 1456464277 954503 :jaboja!~jaboja@aeja127.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456466842 956981 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1456466854 774174 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1456467389 476526 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :unlambda `c``sii interests me now < 1456467406 181344 :Guest16721!~atslash@static.231.107.9.5.clients.your-server.de NICK :atslash < 1456467668 887323 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :So ```sii`c``sii creates an infinite loop... < 1456467671 310376 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Unlambda is fun! < 1456468181 455164 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I should ruin it by introducing objects! < 1456471093 52053 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OH MY GOD < 1456471100 218693 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :THE FIRST HIGH-LEVEL LANGUAGE WAS 2D < 1456471107 247755 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what was it? < 1456471123 154959 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :izabera: https://en.wikipedia.org/wiki/Plankalkül < 1456471145 632815 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :izabera: Unfortunately, the one code examples is in the 1990s revision, which was designed to be implemented < 1456471165 773846 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Can't believe they changed such a major feature and still called it Plankalkül < 1456471819 304874 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` perl -e bin/revert < 1456471831 458286 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Illegal division by zero at -e line 1. < 1456471854 361187 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: that's not really surprising, since the first form of APL was 2D too (as in, using arrows for gotos or something. < 1456471857 363602 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :) < 1456472034 998833 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds < 1456472067 468017 :carado!~carado@savhon.org QUIT :Quit: Leaving < 1456472441 464085 :element118!2a3d4704@gateway/web/freenode/ip.42.61.71.4 JOIN :#esoteric < 1456472948 746234 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :The talk page mentions a few other things too < 1456472991 666099 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(Apparently the only "word" built-in is FIN which means the program is finished if 1 is assigned to FIN) < 1456473059 41057 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :They also mention the programming language that has only control structure is a for loop < 1456473285 787743 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which kind of for loop? < 1456473346 560435 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the fortran DO loop? < 1456474277 532244 :singingboyo!~brandonso@d50-98-172-252.bchsia.telus.net JOIN :#esoteric < 1456474359 997419 :jaboja!~jaboja@aeja127.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 244 seconds < 1456474704 829327 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ah yes, great QC comic. Jeph does these sorts of montages great. < 1456474720 159087 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :He did them multiple times. < 1456475089 383024 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Huh? The second Conspiracy set (announced a few weeks ago but more details given yesterday) will be focused on multiplayer games after a draft with cards affecting draft? < 1456475320 66101 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Isn't that also true of the first Conspiracy set? < 1456475327 925971 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't know there'd be a second one. < 1456475421 165787 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: the draft part is true, but as far as I know, the multiplayer isn't. maybe I just didn't pay much attention. < 1456475430 832442 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: and the second one isn't released yet. < 1456475433 732941 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Conspiracy was designed for multiplayer games. < 1456475440 762559 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They had all those voting cards. < 1456475441 668752 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Um, ok. < 1456475457 240406 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :In that case I just didn't pay attention to that set. < 1456475477 858487 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://magiccards.info/query?q=o:%22Will+of+the+council%22 < 1456475487 550475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Those cards make much more sense with more than two players. < 1456475512 389041 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :true < 1456475929 72837 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1456476308 941187 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1456476876 599719 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye < 1456476881 483761 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1456478496 526857 :singingboyo!~brandonso@d50-98-172-252.bchsia.telus.net QUIT :Remote host closed the connection < 1456478576 699804 :jaboja!~jaboja@aeja127.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456479301 491886 :jaboja!~jaboja@aeja127.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 240 seconds < 1456479849 131917 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://www.crunchyroll.com/anime-news/2016/02/25-1/sleeping-pokmon-kabigonsnorlax-becomes-15m-size-cushion *_* < 1456480074 985616 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :gimme that gimme that gimme gimme < 1456480149 526001 :jaboja!~jaboja@aeja127.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456480511 7757 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456480765 9351 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1456481147 390313 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Quit: leaving < 1456482538 545576 :jaboja!~jaboja@aeja127.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 252 seconds < 1456483125 879741 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? hat < 1456483135 656525 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hatee-hatee-hatee-hooo < 1456483151 824936 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? high hat < 1456483153 303025 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :high hat? ¯\(°​_o)/¯ < 1456483154 832213 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? black hat < 1456483157 496029 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :black hat? ¯\(°​_o)/¯ < 1456483159 139839 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? white hat < 1456483161 472043 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :white hat? ¯\(°​_o)/¯ < 1456483164 802855 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? top hat < 1456483166 11972 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :top hat? ¯\(°​_o)/¯ < 1456483186 167475 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? hi hat < 1456483187 401382 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hi hat? ¯\(°​_o)/¯ < 1456483187 643857 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? hihat < 1456483188 478447 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hihat? ¯\(°​_o)/¯ < 1456483189 295009 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? hi-hat < 1456483190 178514 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hi-hat? ¯\(°​_o)/¯ < 1456484863 47320 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric < 1456484980 61126 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Client Quit < 1456486669 293275 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1456487498 782705 :element118!2a3d4704@gateway/web/freenode/ip.42.61.71.4 QUIT :Quit: Page closed < 1456487750 158783 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456487997 92720 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1456488571 703121 :llue!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1456489739 220879 :boily!~alexandre@96.127.201.149 QUIT :Quit: BURST CHICKEN < 1456490088 16887 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric < 1456490465 665043 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Quit: adu < 1456491115 574344 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? infinite < 1456491121 330592 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? meta < 1456491132 869728 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :meta? ¯\(°​_o)/¯ < 1456491133 28407 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :infinite? ¯\(°​_o)/¯ < 1456491440 936943 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 244 seconds < 1456492039 687918 :andrew_!~andrew@119.137.94.73 QUIT :Remote host closed the connection < 1456493188 106079 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? rint < 1456493189 373713 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? lrint < 1456493191 274562 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? trunc < 1456493192 964199 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lrint? ¯\(°​_o)/¯ < 1456493193 122562 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rint? ¯\(°​_o)/¯ < 1456493193 573838 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :trunc? ¯\(°​_o)/¯ < 1456493194 694374 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? llrint < 1456493195 569981 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :llrint? ¯\(°​_o)/¯ < 1456493582 306425 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what are you doing < 1456493670 926641 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :trying names of arithmetic functions for the wisdom database < 1456493676 771141 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I'm no wiser from what it returns < 1456493710 613879 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456494489 73074 :bender|!benderpc@2404:e800:e61a:41d:345e:bfc6:621b:d773 JOIN :#esoteric < 1456495407 742640 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1456495417 944408 :callforjudgement!~ais523@147.188.254.175 JOIN :#esoteric < 1456495422 210653 :callforjudgement!~ais523@147.188.254.175 QUIT :Changing host < 1456495422 368691 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456495444 505160 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1456495718 999874 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Ping timeout: 244 seconds < 1456495850 909899 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1456495858 658349 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456496071 155732 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1456496093 840927 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456496462 396147 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1456496541 7969 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456496562 10590 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1456496794 634857 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456496827 702325 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric < 1456496837 132508 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1456496846 461957 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456496911 442705 :callforjudgement!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ns ghost ais523 < 1456496913 645699 :ais523!~ais523@unaffiliated/ais523 QUIT :Disconnected by services < 1456496916 416738 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1456496924 797032 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :good thing I don't enter my password for ghosting… < 1456497047 396723 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1456497126 230376 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456497368 964416 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1456497402 361261 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: No route to host < 1456497404 798359 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456497553 434738 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1456497562 453581 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456497679 494736 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1456497686 293220 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456497738 882535 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456497866 680583 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: truly < 1456498019 826637 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1456498035 301266 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 276 seconds < 1456498317 442472 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? now you see < 1456498325 514056 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :now you see? ¯\(°​_o)/¯ < 1456498353 363818 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :What do I see now? < 1456498381 722378 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :obvsiously that was a ghost password. < 1456498454 852493 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION gets all but two pairs in today's xkcd, and guesses the remaining... < 1456498490 805236 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: there's always http://www.explainxkcd.com/wiki/index.php?title=Main_Page < 1456498499 136176 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? It's 'cause you're dumb < 1456498502 707357 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1456498503 575458 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :It's 'cause you're dumb? ¯\(°​_o)/¯ < 1456498517 474935 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :actually there's only one i cannot even recall seeing before < 1456498521 662376 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? explainxkcd < 1456498522 823970 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :explainxkcd? ¯\(°​_o)/¯ < 1456498529 338697 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the one with jay and the other guy < 1456498635 682544 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: i think i'll have to go there for the last name in the hovertext < 1456498762 324237 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :they seem to have paired with Hall < 1456498925 177127 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the streak of regular what-if updates seems to have caught a snag < 1456499004 429924 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Remote host closed the connection < 1456499774 53529 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric < 1456499963 649645 :lynn!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456500705 899240 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: Leaving < 1456501574 523708 :XorSwap!XorSwap@wifi-wpa-cw2-140-193-119-124.wifi.umanitoba.ca JOIN :#esoteric < 1456501737 169157 :jaboja!~jaboja@188.146.10.24.nat.umts.dynamic.t-mobile.pl JOIN :#esoteric < 1456501981 82245 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 250 seconds < 1456502628 603933 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1456502831 476027 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456503089 685504 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 240 seconds < 1456503163 573098 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 255 seconds < 1456503249 136201 :jaboja!~jaboja@188.146.10.24.nat.umts.dynamic.t-mobile.pl QUIT :Ping timeout: 244 seconds < 1456503262 615086 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456503382 342217 :ais523!~ais523@unaffiliated/ais523 QUIT :Excess Flood < 1456503490 552444 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456503601 831811 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456503603 355305 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1456503955 523399 :XorSwap!XorSwap@wifi-wpa-cw2-140-193-119-124.wifi.umanitoba.ca QUIT :Ping timeout: 252 seconds < 1456503971 848331 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 248 seconds < 1456504107 343936 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456504469 675536 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1456504550 537235 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1456504574 475308 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456504615 550296 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1456504649 768228 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1456504781 93186 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric < 1456504781 320841 :zadock!~outsider@81.180.208.252 JOIN :#esoteric < 1456504836 49941 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1456504866 760536 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456505134 747981 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1456505217 302317 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456505357 655839 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1456505477 701898 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456505488 285901 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1456505519 785420 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1456505635 753703 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456505651 530043 :ais523!~ais523@unaffiliated/ais523 QUIT :Disconnected by services < 1456505653 359122 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1456505982 583636 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1456505996 426296 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456506028 510525 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1456506108 95844 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456506122 612246 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1456506189 124700 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1456506258 491586 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I'm worried compiling boost is going to blow up my computer :| < 1456506404 458900 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1456506410 515420 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456506528 618536 :bb010g!uid21050@gateway/web/irccloud.com/x-dkvdjkmioecjylgd QUIT :Quit: Connection closed for inactivity < 1456506764 864094 :atriq!~Taneb@runciman.default.hacksoc.uk0.bigv.io JOIN :#esoteric < 1456506831 536536 :gde33!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl JOIN :#esoteric < 1456506835 84898 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: … < 1456506876 51942 :nortti_!~juhani@ayu.smar.moe JOIN :#esoteric < 1456506895 95980 :bender|!benderpc@2404:e800:e61a:41d:345e:bfc6:621b:d773 QUIT :Ping timeout: 250 seconds < 1456506923 709059 :nortti!nortti@ayu.smar.moe QUIT :Disconnected by services < 1456506927 796092 :ski_!~ski@remote11.chalmers.se JOIN :#esoteric < 1456506929 547967 :jix_!~jix@jixco.de JOIN :#esoteric < 1456506933 659457 :nortti_!~juhani@ayu.smar.moe NICK :nortti < 1456506940 104552 :shachaf_!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1456506940 434623 :digitalc1ld!~redacted@192.73.232.206 JOIN :#esoteric < 1456506954 302467 :atehwa_!atehwa@aulis.sange.fi JOIN :#esoteric < 1456506960 429054 :b_jonas_!~x@russell2.math.bme.hu JOIN :#esoteric < 1456507234 708036 :gde33|2!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl QUIT :*.net *.split < 1456507234 903072 :idris-bot!~idris-bot@dslb-092-072-190-108.092.072.pools.vodafone-ip.de QUIT :*.net *.split < 1456507235 60817 :jix!~jix@jixco.de QUIT :*.net *.split < 1456507235 60909 :catern!~catern@catern.com QUIT :*.net *.split < 1456507235 218893 :digitalcold!~redacted@192.73.232.206 QUIT :*.net *.split < 1456507235 218972 :APic!apic@apic.name QUIT :*.net *.split < 1456507235 376947 :atehwa!atehwa@aulis.sange.fi QUIT :*.net *.split < 1456507235 846417 :Melvar!~melvar@dslb-092-072-190-108.092.072.pools.vodafone-ip.de QUIT :*.net *.split < 1456507236 4378 :Taneb!~Taneb@runciman.hacksoc.org QUIT :*.net *.split < 1456507236 4482 :j-bot!~j-bot@li1285-84.members.linode.com QUIT :*.net *.split < 1456507236 231807 :b_jonas!~x@russell2.math.bme.hu QUIT :*.net *.split < 1456507236 390078 :shachaf!~shachaf@unaffiliated/shachaf QUIT :*.net *.split < 1456507236 547860 :ski!~ski@remote11.chalmers.se QUIT :*.net *.split < 1456507393 961951 :Reece`!~nothing@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1456507400 347897 :catern!~catern@catern.com JOIN :#esoteric < 1456507608 491779 :Melvar!~melvar@dslb-092-072-190-108.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1456507640 803973 :APic!apic@apic.name JOIN :#esoteric < 1456507718 104793 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1456508062 58503 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1456508251 503198 :XorSwap!~XorSwap@wpa-6-1644.cc.umanitoba.ca JOIN :#esoteric < 1456508643 141821 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds < 1456508915 640982 :impomatic_!~digital_w@79.16.114.87.dyn.plus.net QUIT :Read error: Connection reset by peer < 1456509616 822542 :shachaf_!~shachaf@unaffiliated/shachaf NICK :shachaf < 1456509839 103073 :lynn_!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456510021 582260 :lynn!~lynn@unaffiliated/lynn QUIT :Ping timeout: 255 seconds < 1456510473 800105 :j-bot!~j-bot@li1285-84.members.linode.com JOIN :#esoteric < 1456510518 594312 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org JOIN :#esoteric < 1456511101 585129 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org QUIT :Ping timeout: 255 seconds < 1456511320 576953 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org JOIN :#esoteric < 1456511355 837415 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :What is the λ-calcular definition of the S combinator using the classic notation? < 1456511366 544451 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :That is, one variable after the λ < 1456511379 585264 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :So K is λx.λy.x, not λxy.x < 1456511433 846689 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'm sure you can figure out how to curry it < 1456511490 40989 :b_jonas_!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: S = \x->\y->\z->(xz)yz < 1456511502 358736 :b_jonas_!~x@russell2.math.bme.hu NICK :b_jonas < 1456511520 354619 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: Oh, I thought you didn't need parentheses in that notation < 1456511530 592570 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :quintopia: I know, but I wanted the parenthesis-free notation < 1456511653 47404 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i would have thought it is x z (y z) < 1456511728 641612 :zgrep!sid43445@gateway/web/irccloud.com/x-llvcwqmyxekfewsk PRIVMSG #esoteric :`` ls bin | grep explain < 1456511736 533879 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1456511756 644378 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :myname: I think both work, the latter is just the more common notation < 1456511764 289546 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Then again, I'm an idiot < 1456511790 105262 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, no < 1456511795 451713 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :they are different things < 1456511817 110316 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :application is evaluated left to righr by definition < 1456511835 863523 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :myname: oh right, I'm stupid < 1456511836 628516 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i.e. (xz)yz should be no different from xzyz < 1456511847 511210 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :indeed, S = \x->\y->\z->xz(yz) < 1456511848 350958 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sorry < 1456512343 574650 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org QUIT :Ping timeout: 255 seconds < 1456512521 959337 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org JOIN :#esoteric < 1456512535 811103 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Most functional programming corresponds to Hilbert-Style Deduction Systems (many axioms, almost no deduction rules (usually just modus ponens)), correct? < 1456512543 498917 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :"(xz)yz should be no different from xzyz" < 1456512557 602967 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :which shoulds be no different than xy(z^2) < 1456512645 101138 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :Elronnd: huh? < 1456512654 286426 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what the hell is ^2? < 1456512660 492220 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :to the second power < 1456512685 832903 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you are familiar with the fact that xzyz is no multiplication? < 1456512799 951357 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org QUIT :Ping timeout: 244 seconds < 1456512831 572670 :impomatic_!~digital_w@79.16.114.87.dyn.plus.net JOIN :#esoteric < 1456512968 33247 :Reece`!~nothing@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Read error: Connection reset by peer < 1456513064 518908 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org JOIN :#esoteric < 1456513094 454988 :atriq!~Taneb@runciman.default.hacksoc.uk0.bigv.io NICK :Taneb < 1456513126 622518 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :myname: So was I right about functional programming and Hilbert-style deduction? < 1456513395 746053 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Wow < 1456513412 148699 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Next year I might have a piece of paper all official and everything saying I know functional programming < 1456513429 483313 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :so? < 1456513443 336845 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :You should start lying about it now. Get a jump on the job market < 1456513456 813055 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :prooftechnique: well, I'm in my third year of a four year degree < 1456513459 579450 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Wait, no, most functional programming is based on natural deduction < 1456513463 482551 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I don't think that's a jump I can utilize < 1456513465 304645 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :CL is the hilbert one < 1456513472 42523 :jaboja!~jaboja@aeja127.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456513669 430746 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Can you base a functional programming language on a deduction rule other than modus ponens? < 1456513723 600645 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i never understood why you actually have different rules that basically do exactly the same if you transform your input < 1456513758 962134 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456513778 91840 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :like, how is p -> q & p => q another rule than p | q & -p => q < 1456513780 609475 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1456513786 668407 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :they do exactly the same thing < 1456513806 782750 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :myname: For example, could I have a language that completely forgoes modus ponens and instead uses hypothetical syllogism? < 1456513821 596508 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :(aka function composition) < 1456514063 724413 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :myname: That's what normalization is for < 1456514073 540636 :J_Arcane!~chatzilla@37-219-104-229.nat.bb.dnainternet.fi JOIN :#esoteric < 1456514557 506274 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Functional language that corresponds to the Sequent Calculus? < 1456514668 177389 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[1]: how would it work? < 1456514702 438383 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :It seems to me (not having thought about this before) that modus ponens is inherently used when evaluating any sort of code < 1456514703 460107 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :See http://esolangs.org/wiki/Gentzen for one way to make programming with a sequent calculus < 1456514738 564042 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(It lacks the implication operator) < 1456514836 92080 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm < 1456514845 527904 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1456514891 434802 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org JOIN :#esoteric < 1456515002 524427 :jaboja!~jaboja@aeja127.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection < 1456515467 574293 :XorSwap!~XorSwap@wpa-6-1644.cc.umanitoba.ca QUIT :Quit: Leaving < 1456515507 328358 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 276 seconds < 1456515595 989334 :zadock!~outsider@81.180.208.252 QUIT :Quit: Leaving < 1456516069 99748 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Oh god < 1456516080 85789 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[1]: ? < 1456516080 280102 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :I'm trying to make the Haskell of Sequent Calculi < 1456516086 131915 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: ^ < 1456516089 315511 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ah < 1456516095 483742 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: I'm reading the correspondence and have no clue what's going on < 1456516113 173257 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :um? < 1456516150 671888 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[1]: apparently zzo already designed a language like that < 1456516155 406406 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: Oh, great < 1456516159 658436 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: I'm making one too < 1456516164 616146 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : See http://esolangs.org/wiki/Gentzen for one way to make programming with a sequent calculus < 1456516164 770686 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : (It lacks the implication operator) < 1456516164 770757 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : hm < 1456516175 608681 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[1]: might want to look at it < 1456516181 143728 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :I am < 1456516217 328304 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[1]: I'm too tired to make any sense of it. The dangers of lying in a comfortable sofa with a laptop < 1456516297 876634 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[1]: Also I never ran into sequent calculus before, but to me it appears to be a rather complicated way of expressing things. Does it have additional power compared to classic logic? Or what is the big deal? < 1456516305 958890 :lleu!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net JOIN :#esoteric < 1456516306 113506 :lleu!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net QUIT :Changing host < 1456516306 113616 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1456516391 734479 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org JOIN :#esoteric < 1456516401 576286 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: Really, I'm trying to make a kit of languages based on the CHI < 1456516445 65170 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm < 1456516448 362124 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : hppavilion[1]: Also I never ran into sequent calculus before, but to me it appears to be a rather complicated way of expressing things. Does it have additional power compared to classic logic? Or what is the big deal? < 1456516466 212255 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[2]: still interested in that question, once your internet stopped messing up for you < 1456516485 153093 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: It's not my internet, it's school internet < 1456516502 214908 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: And it's not the internet, it's me getting on and off my computer because I have to move to go do things < 1456516512 306023 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: And I don't want people messing with my laptop while I'm gone < 1456516521 491667 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[2]: fair enough < 1456516528 597893 :hppavilion[1]!~DevourerO@74-114-87-72.dynamic.asdk12.org QUIT :Ping timeout: 255 seconds < 1456516532 323345 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Have to get up < 1456516536 88494 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[2]: anyway < 1456516539 574555 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :what about the question < 1456516566 689082 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: Which question in particular? < 1456516580 377461 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :I left right after you said you were too tired < 1456516602 700457 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[2]: hppavilion[1]: Also I never ran into sequent calculus before, but to me it appears to be a rather complicated way of expressing things. Does it have additional power compared to classic logic? Or what is the big deal? < 1456516605 945023 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Oh < 1456516608 631289 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :That one < 1456516615 926064 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: I'm not sure; I don't understand it yet < 1456516621 395413 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fair enough < 1456516621 661220 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: I think it's just different, and a bit eso < 1456516638 858005 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hppavilion[2]: it just looks like a more complicated way to express implication < 1456516642 264588 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: It's a generalization of natural deduction, which reminds me of Horn Clauses < 1456516672 687725 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :instead of (P and Q) -> (X or Y) you write P, Q |- X, Y < 1456516679 75753 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Or have I missed something < 1456516681 737810 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Yeah, that's what I'm getting < 1456516692 636366 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: I think the point is that you can ONLY do stuff in that format < 1456516698 336767 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1456516701 647646 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :And that format provides you with different ways of looking at things < 1456516703 915514 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Like cuts < 1456516710 433927 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :cuts as in? < 1456516715 538058 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: Let me type it out < 1456516726 276970 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456516741 13526 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh wow, today's roborosewater card (Seating Tute) is hilarious < 1456516754 689843 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :If you have A, B |- q and C |- p, A, it looks like you can syllogize it into C, B |- q, p < 1456516784 545734 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Vorpal: That's a cut ^ < 1456516788 572428 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :I think < 1456516791 34840 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :um... < 1456516795 734072 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: no it isn't < 1456516808 680058 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, you seem to have an extra element today < 1456516818 697736 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cut is A |- B and B |- C syllogizing into A |- C < 1456516843 315778 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :something that mathematical logicians like doing is proving that it's admissible (i.e. any given cut, you can replicate using other rules of the logic) < 1456516860 400922 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: OK, good. The world makes sense again. < 1456516893 486721 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: I'm hppavilion[2] when hppavilion[1] is taken, usually when I get off the computer then get back on too soon < 1456516937 751027 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I know it's an alternate nick < 1456516947 954534 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but making amusing comments about people's alternate nicks is an occasional #esoteric tradition < 1456517001 679535 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : cut is A |- B and B |- C syllogizing into A |- C <-- isn't this just A->B, B->C giving you A->C. < 1456517014 82416 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :in classical implication ways of writing it < 1456517035 24690 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Vorpal: well treating |- as -> is a common "intuitive" way to think about mathematical logic < 1456517049 455171 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but they aren't the same operator and if you want to use them the same way, you have to prove it < 1456517056 572075 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1456517076 181157 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yep < 1456517090 387872 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :they aren't even of the same type < 1456517114 26851 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456517119 725986 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1456517164 63949 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456517177 54307 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :I'm attempting to make a language kit called ChiLan (or something) that demonstrates the Curry-Howard Isomorphism < 1456517218 100379 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, they aren't even of the same type. and the Gödel completeness theorem for first-order logic is one of the most interesting theorems of logic, both for the result itself and because of its two proofs. < 1456517219 625785 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :What's a good event-driven model of computation? < 1456517229 386369 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ais523: hm, fair enough < 1456517231 860408 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: pi calculus < 1456517233 763286 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :And is there a logic it corresponds to? < 1456517240 551126 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: OK, I'll look into that < 1456517240 732615 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[2]: wait, where's your [1]? < 1456517241 761458 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and yes, also pi calculus :-) < 1456517245 790241 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1456517256 809801 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[2]: are you hppavilion[1]'s Evil Twin? < 1456517257 963503 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456517262 235630 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what's my quit message? < 1456517268 763719 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :for these random disconnects? < 1456517270 332442 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: Client Quit < 1456517272 22783 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Or () < 1456517273 364916 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :* ais523 has quit (Client Quit) < 1456517277 235699 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gah < 1456517281 737340 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :* ais523 has quit () < 1456517284 963036 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: Client Quit (which means your client sent an explicit QUIT < 1456517292 264752 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Konversation's just randomly deciding my network is down < 1456517295 696572 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :with no evidence for this < 1456517298 836029 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and quitting in response < 1456517314 767472 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but your connection didn't live for long enough to send the quit message to us) < 1456517336 280258 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I think it's sometimes the server. When an irc server randomly decides to quit you, it invents fake reasons for why he did so. < 1456517349 543989 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: no, I'm pretty sure it's the client < 1456517362 655949 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :based on the messages it's printing < 1456517368 860071 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, that's possible too < 1456517371 636101 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1456517384 949777 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456517390 806133 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :[20:09] [Info] Disconnected from irc.freenode.net (port 6667). < 1456517392 331103 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :[20:09] [Info] Network is down, will reconnect automatically when it is back up. < 1456517407 494459 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I think for me, it's mostly the network, because I get similar disconnections to non-irc stuff sometimes < 1456517413 223419 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the "network is down" is normally based on the network up/down status from NetworkManager < 1456517418 873400 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the network connection from the machine that is < 1456517424 204578 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but then, why would you send a quit if the network is down? < 1456517427 628635 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you wouldn't expect it to be received < 1456517428 378548 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1456517434 790675 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1456517474 663618 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456517489 58386 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: the tcp socket can breaks in one direction, so the QUIT you send can get through even if what the server says can't get to you. eventually there's a timeout because of the one-directional break, but the QUIT still gets through. < 1456517499 666462 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I restarted my client in case it helped < 1456517787 623813 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Wait wait. < 1456517811 720615 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Does Wizards have at least three different announcements for the second Conspiracy set, each giving a different name for the set? < 1456517820 135928 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Wtf. < 1456517831 916319 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :It's not April's Fool yet < 1456517862 51954 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um, M:tG set < 1456517881 883145 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: Do you understand the rho-calculus? < 1456517889 521719 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: no < 1456517896 820564 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: Damn < 1456517908 344327 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: I was hoping to incorporate rho expressions into EsoLISP < 1456517926 48689 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: basically they had one announcement that they edited a couple of times, citing events in the plane on which Conspiracy takes place having overtaken them < 1456517943 487042 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :first they announced it was about Brago, but then a few hours later they announced that Brago had been assassinated < 1456517947 382564 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so they had to change the name of the set < 1456517958 640532 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I see < 1456517964 323026 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(also they removed one card from it) < 1456517973 845661 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then today they went and added a card back in and renamed it again < 1456517992 981471 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :as in, removed Brago? < 1456517995 117 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: Is a #esoteric official LISP a decent idea? < 1456518001 798462 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: they didn't say which card was removed < 1456518008 861899 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: you'll never get #esoteric to agree on an official anything < 1456518026 100448 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, I don't agree with restricting the language choices that the channel can use < 1456518028 411002 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: A #esoteric pseudo-official LISP? < 1456518030 306376 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sometimes one langauge is better than another < 1456518036 114987 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: It's not a restriction < 1456518051 711367 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: It's just as restricting as forget-me-nots being the Alaska state flower < 1456518054 606725 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :are you creating an esolisp or just a regular lisp specialized for implementing esolangs? < 1456518060 719186 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[2]: oh I see < 1456518060 873713 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :There's no rule against actually using it < 1456518067 622961 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :*against not using them < 1456518076 617298 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: I think the goal is to do both xD < 1456518091 834782 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but Underlambda isn't a lisp :-P < 1456518097 537361 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: A LISP designed for implementing esolangs in an eso way :P < 1456518109 478925 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(actually, that's aiming for three goals: being an esolang, being easy to implement esolangs with, and being easy to implement in esolangs) < 1456518112 613951 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait, "new conspiracies that twist the rules against your foes"? how is that an interesting feature of the set? that's the point of one of the Golden Rule: M:tG cards often change the rules, and usually in a way that helps you against your foes. < 1456518123 328338 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1456518129 178436 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: And I want to incorporate rho expressions- rhoexp : lambdaexp :: rhocal : lambdacal < 1456518133 255054 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Why do they put such meaningless marketing language in the annoucnement? < 1456518152 981791 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: all announcements seem to be like that < 1456518181 464807 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the people who get annoyed by them aren't the audience that the announcement is aiming to reach < 1456518208 481599 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you might want to read through the most recent GDS (sadly I don't have a link), one of the things they discussed was marketing taglines < 1456518219 395116 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1456518227 109318 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the most recent one is the second one, right? < 1456518329 213598 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think so < 1456518402 820542 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I do remember fake set names given, but most of them were for reprint sets with the announcements on April's Fools, with the exception of Mirrodin Pure in which case they were clear about how it can be fake from first place. < 1456518418 282047 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :You remember Mirrodin Pure, right? That was marketing for a future set done right. < 1456518496 112598 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? mirrodin pure < 1456518499 228826 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? icfp < 1456518502 87864 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? icfp contest < 1456518506 185568 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :icfp contest? ¯\(°​_o)/¯ < 1456518506 340609 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :icfp? ¯\(°​_o)/¯ < 1456518506 340717 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mirrodin pure? ¯\(°​_o)/¯ < 1456518557 680813 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Oh, that reminds me < 1456518623 365033 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :There's an esolang for which I should create an article on the wiki. Or at least I think it's an esolang. < 1456518678 15702 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :If a new language is created for the purpose of the designer wanting to create an implementation for a language, but with limits that make the language very restricted or hard to use, < 1456518696 432739 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but the goal isn't to make the language bad, but to make the implementation simple under some conditions, < 1456518710 665184 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :then would that count as an esolang, or is it instead a non-esolang for educational purposes? < 1456518732 373968 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :Huh. eso- means "within" < 1456518766 922837 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :b_jonas: brainfuck and FALSE are both in that category < 1456518784 761750 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :(both designed to have small compilers) < 1456518785 84642 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: ah yes, and I think Mouse is too < 1456518811 924109 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :although brainfuck is sort of a special case, because it's very early < 1456518924 205257 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Hmm, I wonder if I have my implementation for this stuff. Although it's very simple-minded, so I might not actually want to publish it. < 1456518987 265005 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I wrote it ages ago, and I'm not sure where it is. Probably only somewhere in my old backups. < 1456519001 106825 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(I found a doc-bug with it.) < 1456519050 235566 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Ok, whatever, if someone wants, they can just write a new implementation. It's not hard. < 1456519114 39205 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1456519315 527714 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: Mirrodin Pure backfired I think, there are /still/ people asking for the card list to be released < 1456519335 960209 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : b_jonas: basically they had one announcement that they edited a couple of times, citing events in the plane on which Conspiracy takes place having overtaken them <-- okay that is a neat PR thingy < 1456519406 635397 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: strange. I sort of remember some people writing that they thought Wizards has actually made two sets and were to decide on which one to release very late, but I don't understand where that came from, because it seemed clear enough from their communication that that's not the case. < 1456519409 812471 :carado!~carado@savhon.org JOIN :#esoteric < 1456519452 757598 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: although I'm not surprised that people are confused _now_, because the Wizards webpage is horrible, it's hard to find information about old sets and other old stuff < 1456519461 8583 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :they should make the website more informative < 1456519480 880697 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :every time they try to change the website they make it worse :-( < 1456519485 545781 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :what is the prefix for lambdabot now again? < 1456519491 473212 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the general consensus just seems to be that Wizards are terrible at computers < 1456519492 648528 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: that too, sure < 1456519494 104436 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Vorpal: @ or ?, both work < 1456519500 383730 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ah, thanks < 1456519511 36261 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or > as an abbreviation for @run < 1456519513 540833 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, which is strange, because that's a problem they could fix by, you know, hiring people who are good at computers < 1456519530 953763 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :finding such people should probably be easier than finding people who are good at making games < 1456519535 476952 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Hm it doesn't seem to respond in /msg? Pretty sure that used to work < 1456519539 792923 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: it could be that they're don't think that would be value for money < 1456519548 73010 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: maybe < 1456519548 487667 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Oh there we go, it was just super slow < 1456519588 259093 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : @run 4 mueval-core: Time limit exceeded < 1456519592 669470 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: you may have a runaway process < 1456519615 9157 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ais523: no kidding < 1456519621 302600 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: if I want to find listings of old theme decks (and other preconstructed decks), that's hard directly from their site, but the links to the listings are collected on en.Wikipedia (luckily the links to their articles don't usually break, I have to give that much to them) < 1456519644 479359 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: but if I want to find the set FAQs (release notes) for old sets, I'm out of luck, I have totally no way of finding them < 1456519645 404700 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :esolinguiratia: Frustration caused by trying to program or speak in a language that makes absolutely no sense, particularly one not meant to be used, particularly when you're clueless to the fact that you aren't supposed to use it < 1456519656 140696 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: the links to the articles broke a while back and it took them like a week to fix them < 1456519680 739220 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: if I want to find older states of the Gatherer, I have to go to Yawgatog's site. I also have to go there if I want all the info from the Gatherer in a sane format. < 1456519748 698886 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :At least they have now fixed Gatherer to show flip cards and split cards in a sane manner, which was a long-standing bug, only now there are double-faced cards too, and THEY aren't shown in a sane way. < 1456519760 912692 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(I don't know about level up cards, I haven't checked that.) < 1456519794 110948 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :And one small detail that really annoys me is that they don't have a complete list listing the official two or three letter codes for all old sets. < 1456519814 330181 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :You can try to guess from various filenames on their websites, but it turns out that for old sets they're sometimes inconsistent. < 1456519830 938268 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :en.wikipedia has a list, but I'm not sure it's always correct < 1456519860 29764 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Wizards has at least made the http://magic.wizards.com/en/game-info/products/card-set-archive page much saner than it used to be, < 1456519889 175748 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so now you can find a list of really ALL sets Wizards ever released (Astral isn't there, but that's not a product by Wizards, but I don't think anything else is missing), < 1456519922 288938 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but from that page and what it links to, you can't find the set faqs, the codenames, and other important information. < 1456519943 72579 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :So there's some things they've improved, but also some things they've never fixed. < 1456520091 549903 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :On esowiki, is there a category for languages that are fully specified, in the sense that there's no undefined behavior in them that you could use for a future extension? < 1456520176 552575 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Such as mod 256 BF with a tape infinite both left and right < 1456520247 19161 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org PRIVMSG #esoteric :ais523: Perhaps I could get people to like Esolisp by adding any good functions requested by channel members to either builtins, the stdlib, or (for large function groups), an external library < 1456520265 5604 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: I don't think so < 1456520277 210388 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there were some unauthorized categories created recently and nobody cared to do anything about it < 1456520278 767857 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what about the eso standards? < 1456520282 867714 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you /might/ be able to get away with it < 1456520293 299704 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :myname: those were mostly arguments about how to standardize the standardization process < 1456520307 219740 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure we got around to standardizing any actual languages < 1456520307 374325 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol < 1456520371 963329 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I got away with it once, but I don't think I'll create one for this < 1456520383 348954 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :It's probably a bad idea to use a category for this in fact, < 1456520399 236628 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :why? < 1456520400 185417 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :since it will often happen that a language has several variants, grouped in the same article, and only some are fully specified < 1456520403 821871 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :like with Brainfuck < 1456520429 561714 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :buildung a subpage? < 1456520471 81454 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :nah, often there are just too many variants and we're lazy < 1456520538 301775 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Ok, let me see what other categories I need then. I need a year, and [[Category:Finite state machine]] since the amount of memory is fixed and small. < 1456520561 948602 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Ah, and I need [[Category:Implemented]] < 1456520615 298885 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Hmm, does [[Category:Non-textual]] count if the program is a binary file (machine code) rather than a text source? < 1456520713 701440 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :By the way, why don't we have a separate Appendix: namespace on the wiki for entries that aren't describing a language, eg. [[David Morgan-Mar]]? < 1456520733 669851 :augur!~augur@104-152-230-86.static-ip.telepacific.net JOIN :#esoteric < 1456520736 305103 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't think we normally use non-textual for binary < 1456520747 264735 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and because we have Category:Languages < 1456520758 901557 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's meant to be a site about esolanging, not necessarily a directory of esolangs < 1456520767 620962 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org QUIT :Ping timeout: 255 seconds < 1456520771 236782 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :[[esoteric programming language]] should almost certainly be in mainspace < 1456520773 940820 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as should [[OISC]] < 1456520775 512997 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: of course, but still, I think this is what mediawiki namespaces for < 1456520793 759914 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or at least it's how *.wiktionary uses the namespaces < 1456520796 920327 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :esolang's modelled quite heavily on wikipedia < 1456520810 207842 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I think it was originally started because of mass esolang deletions on wikipedia?) < 1456520819 723390 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, whatever < 1456520832 733402 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll just write the article now < 1456520835 257210 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :a short one at least. < 1456521104 210 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I should write an article on COMPLEX < 1456521656 356166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: gopher://gopher.metafilter.com/h/MetaTalk/Direct-your-gopher-client-to-gopher-gophermetafiltercom.html < 1456521753 155946 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org JOIN :#esoteric < 1456521770 988167 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :pity I don't have my interpreter at hand, because that one was verified to work (at least mostly) and I could read it more easily than the docs < 1456521793 418307 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but it's really old < 1456521984 686719 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"Firefox doesn't know how to open this address, because one of the following protocols (gopher) isn't associated with any program or is not allowed in this context." < 1456521993 960839 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they removed the gopher client from Firefox? :-( < 1456521999 693524 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :IIRC it used to work < 1456522005 39571 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, firefox hadn't supported gopher for ages < 1456522148 549533 :augur!~augur@104-152-230-86.static-ip.telepacific.net QUIT :Remote host closed the connection < 1456522217 243963 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Yes, although the gopher client included with old versions of Firefox wasn't very good anyways. < 1456522224 204905 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :There are extensions to support it now < 1456522405 789811 :impomatic_!~digital_w@79.16.114.87.dyn.plus.net PRIVMSG #esoteric :Does anyone know where the iterated prisoner?s dilemma was first mentioned / defined? < 1456522439 205469 :impomatic_!~digital_w@79.16.114.87.dyn.plus.net PRIVMSG #esoteric :The prisoner's dilemma was defined by Tucker in 1950. Not sure about IPD. < 1456522656 341067 :carado!~carado@savhon.org QUIT :Quit: Leaving < 1456522671 523689 :heroux_!sandroco@gateway/shell/insomnia247/x-tforqwbkmqpalhyq JOIN :#esoteric < 1456522714 78444 :heroux!sandroco@gateway/shell/insomnia247/x-xslelgczluhddjwr QUIT :Ping timeout: 240 seconds < 1456522716 995280 :heroux_!sandroco@gateway/shell/insomnia247/x-tforqwbkmqpalhyq NICK :heroux < 1456522735 252044 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi impomatic_! < 1456522750 626536 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my feeling is that the iterated prisoner's dilemma was around for a while before people realised that it was different < 1456522753 690733 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and gave it a name < 1456522850 701545 :lynn!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456522983 954011 :lynn_!~lynn@unaffiliated/lynn QUIT :Ping timeout: 240 seconds < 1456523813 298421 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1456523884 945841 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there < 1456523893 185164 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Viktor's amazing 4-bit processor14]]4 N10 02https://esolangs.org/w/index.php?oldid=46460 5* 03B jonas 5* (+5144) 10Created page with "'''Viktor's amazing 4-bit processor''' is an esoteric computer hardware designed and soldered by the physicist Viktor T. Toth in 1999. The goal of the computer was for the cr..." < 1456523948 300089 :Treio!~Treio@87.244.233.250 QUIT :Max SendQ exceeded < 1456523983 782877 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1456524054 265515 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :V. T. Toth also created a simple low-level language with arithmetic syntax (sort of like B, the predecessor of C), but I think that one doesn't count as eso, because it was clearly created and used for a practical purpose < 1456524215 748337 :Treio!~Treio@87.244.233.250 QUIT :Remote host closed the connection < 1456524453 131823 :hppavilion[2]!~DevourerO@74-114-87-72.dynamic.asdk12.org QUIT :Ping timeout: 244 seconds < 1456524527 534167 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :There's some strange syntactic elements in it, like how there are no mandatory semicolons so the statements are separated in a strange way, sort of like lua; and how the dereference operator has a higher precedence than the function call operator; but I think these are only strange to use because we're so used to C. < 1456524532 970915 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :They're definitely not eso. < 1456524605 922391 :AlexR42!~textual@95.105.108.154 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1456524702 778817 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Also, it's so much a one-pass compiler that it doesn't even ever patch addresses or values emitted earlier, so there's absolutely no way to refer to symbols defined later. < 1456524711 741126 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Which leads to some strange things. < 1456524719 984525 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :But again, it's certainly not eso by intent. < 1456524925 185479 :impomatic_!~digital_w@79.16.114.87.dyn.plus.net PRIVMSG #esoteric :Doesn't Viktor Toth also run an implementation of the original Essex MUD? < 1456524936 961794 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :impomatic_: he runs some mud, but I'm not sure what < 1456524939 617699 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I suppose it can therefore support streaming and may use less memory than otherwise < 1456525018 85447 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: the webpage says the goal was to use little memory, but I think the actual reason is to make the implementation simple, since the computer he runs them on has a whole MEGABYTE of memory, and runs DOS, and that's more than enough to run a bigger compiler than this properly < 1456525063 118278 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: since it writes the output to a DOS file, storing addresses it has to patch in RAM and later patching them with seek wouldn't be very hard < 1456525069 567997 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it would still make it a one-pass compiler < 1456525093 821462 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Yes but such thing could be made also which using stdout < 1456525099 333988 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :even in the sense that the compiled output is ready to run, no need to link < 1456525115 830946 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: on DOS, that doesn't have any significance, because DOS doesn't have pipes < 1456525127 245522 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: would you want to output the compiled program to a serial prot? < 1456525183 672424 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Wait < 1456525191 906156 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think I know the reason < 1456525202 197907 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1456525227 561295 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :he doesn't use all 1 megabytes of memory (or a large part of it), since the compiler is implemented in itself, which makes accessing segments difficult. thus, programs, including the compiler, generally only use linear addresses within one segments, < 1456525249 576028 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so he has a total of 64 kilobytes of data memory < 1456525257 717185 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but even in 64 kilobytes, this wouldn't be too hard < 1456525275 403625 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :symbol backpatching would easily fit since he already has a symbol table < 1456525286 420695 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :for referring to symbols defined earlier < 1456525748 570474 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :But then, who am I to criticize him? I never wrote a compiler similar to this. < 1456525750 630386 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1456525915 271519 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oi Taneb < 1456525922 411671 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Hi, Phantom_Hoover < 1456525952 333263 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :do you have room in the leeds slash york area for 16 people to sleep tomorrow night < 1456525975 818672 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :That is very sudden, also no < 1456525996 718586 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :This your submarine jousting or whatever? < 1456526032 692431 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :yes < 1456526059 925030 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :turns out yorkshire isn't full of conveniently available couches like plymouth is < 1456526066 181971 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how does submarine jousting compare to bf jousting? < 1456526082 990045 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :substantially different < 1456526469 54497 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Phantom_Hoover: I've asked in the computer science in York channel but I wouldn't be to hopeful < 1456526497 161003 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :The response thus far has been, and I quote, "noy to the lot of you" < 1456526590 985038 :impomatic_!~digital_w@79.16.114.87.dyn.plus.net PRIVMSG #esoteric :ais523: looking for early mentions of iterated (or repeated) Prisoner's Dilemma turns up a few from the late 50s but they all appear to be behind a paywall :-( < 1456526653 888079 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Phantom_Hoover: ooh, I've got a "depends on your threshold for standards of living" < 1456527476 891560 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :lol < 1456527487 139713 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i think we're committed to driving home by now anyway < 1456527536 586228 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :thanks for the offer though, ofc. you can still show up for an extremely impromptu and distracted #esoteric meetup < 1456527690 936716 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :You're playing tomorrow? < 1456527694 887577 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Alas, I'm in Hexham < 1456527893 329857 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1456527987 858052 :impomatic_!~digital_w@79.16.114.87.dyn.plus.net PRIVMSG #esoteric :Is this jousting with real submarines? In the river? < 1456528020 14304 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :no, it's hitting a puck on the bottom of a pool with a little stick < 1456528071 964031 :augur!~augur@108-60-123-170.static.wiline.com JOIN :#esoteric < 1456528109 216641 :carado!~carado@savhon.org JOIN :#esoteric < 1456528190 976705 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1456528204 208411 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hey guys < 1456528216 305861 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Taneb, that's probably for the best given that we're probably going to embarass ourselves totally < 1456528326 833561 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :tired < 1456528517 846887 :augur!~augur@108-60-123-170.static.wiline.com QUIT :Read error: Connection reset by peer < 1456528608 701710 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Goto14]]4 M10 02https://esolangs.org/w/index.php?diff=46461&oldid=43374 5* 03Rdococ 5* (+112) 10/* Structure */ Added an important note < 1456528620 591983 :augur!~augur@108-60-123-170.static.wiline.com JOIN :#esoteric < 1456528660 436409 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :to be honest, I just put stub on everything to be safe...should I do that? < 1456528853 142102 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdococ14]]4 M10 02https://esolangs.org/w/index.php?diff=46462&oldid=44767 5* 03Rdococ 5* (-69) 10Oh my god, since when did I have GLaDOS and neurotoxin on my userpage? < 1456529264 827139 :augur!~augur@108-60-123-170.static.wiline.com QUIT :Read error: Connection reset by peer < 1456529299 207761 :augur!~augur@108-60-123-170.static.wiline.com JOIN :#esoteric < 1456530095 278728 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1456530097 113732 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :So, crazy idea < 1456530136 850917 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :A language- called World Wide Web Calculus (or WCalc)- that basically is a formal mathematical system for web programming < 1456530186 654880 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Kind of amalgamating pi calculus, simply-typed lambda calculus, and some other things into a single, unified language that lets you use math as server-side programming < 1456530212 113600 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :With things like HTTP requests as primitive objects < 1456530403 829849 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Of course, completely declarative < 1456530580 665589 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what about a language like HTML, but it programs stuff? < 1456530622 165544 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :and then it has a tag which describes what the LMTH page looks like (yeah, fancy backwards ffuts) < 1456530874 379707 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :O, hai rdococ < 1456530878 952419 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Haven't seen you in a while < 1456530885 749023 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Not since my first few weeks on IRC < 1456530887 976521 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric ::) < 1456531036 861840 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hai yay < 1456531065 560414 :hppavilion[2]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :rdococ: I'm making a demonstration HTTP server < 1456531093 104005 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :You should probably abbreviate he World Wide Web Calculus as W3C < 1456531196 281836 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer