< 1445731204 497770 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :however this is only true for hashes the same or greater length than the uniquestring itself < 1445731293 538950 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :and of course, there needs to be constant monitoring for collisions < 1445731459 433761 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :hmm anyway uniquestrings are fairly common, for example a here document uses a uniquestring to locate the end < 1445731528 973165 :jaboja!~jaboja@erx128.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1445731569 694633 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :hi < 1445731595 13511 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1445731616 416812 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1445731625 244884 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Surreal Brainfuck14]]4 N10 02http://esolangs.org/w/index.php?oldid=44861 5* 03Hppavilion1 5* (+248) 10Created Page. Now to go figure out how surreal numbers work. < 1445731663 970456 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Template:WIP14]]4 N10 02http://esolangs.org/w/index.php?oldid=44862 5* 03Hppavilion1 5* (+69) 10Created Template < 1445731735 780307 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Category:Works-in-Progress14]]4 N10 02http://esolangs.org/w/index.php?oldid=44863 5* 03Hppavilion1 5* (+35) 10Created Category < 1445732256 96226 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :https://savannah.gnu.org/bugs/?26723 < 1445732262 633321 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :FUUUUUUUUUUUUUUUUUUUUUUUUUUUUUU < 1445732280 221980 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :so that's what was happening! < 1445732374 822375 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 260 seconds < 1445732407 134763 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca JOIN :#esoteric < 1445732437 120147 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :What's the 4-valued version of a bit? < 1445732446 693128 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :quit < 1445732463 26773 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :quid < 1445732479 346326 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca QUIT :Quit: leaving < 1445732514 516290 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca NICK :\oren\ < 1445732556 56659 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :so let's see if tmux can handle the astral plane: ๐€๐๐‚๐ƒ๐„๐…๐†๐‡๐ˆ๐‰๐Š๐‹๐Œ๐๐Ž๐ < 1445732563 745722 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :so let's see if tmux can handle the astral plane: ๐€๐๐‚๐ƒ๐„๐…๐†๐‡๐ˆ๐‰๐Š๐‹๐Œ๐๐Ž๐ < 1445732568 153160 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"bibit" doesn't sound too bad either. < 1445732573 333132 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :yay it works < 1445732703 900280 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Wikipedia) "By analogy with byte and nybble, a quaternary digit is sometimes called a crumb." I find that a little hard to believe, and there's no citation either. < 1445732969 571723 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca JOIN :#esoteric < 1445732975 102396 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca QUIT :Quit: leaving < 1445733011 275324 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :another test ๐‘๐‘‘๐‘’๐‘“๐‘”๐‘•๐‘–๐‘—๐‘˜๐‘™๐‘š๐‘›๐‘œ๐‘๐‘ž๐‘Ÿ < 1445733015 860668 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :iei! < 1445733079 56220 :jaboja!~jaboja@erx128.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection < 1445733102 338282 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Iรค! Iรค! Cthulhu fhtagn! < 1445733290 357638 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca QUIT :Quit: leaving < 1445733330 957023 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca JOIN :#esoteric < 1445733337 862471 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca QUIT :Client Quit < 1445733373 405949 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 250 seconds < 1445733474 568437 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca JOIN :#esoteric < 1445733556 508799 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :phew. < 1445733765 268809 :hppavilion[1]!~Devourero@47-168-58-66.gci.net JOIN :#esoteric < 1445733778 795098 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :I found a way to extend BF to the Reals. < 1445733780 802816 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Or, well, the Rationals. < 1445733804 492190 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :And, as a bonus, it doesn't add any new instructions; just a magic cell at index -1. < 1445733929 764714 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Basically, it's just like normal BF (or at least some (theoretical) implementations of it): Unbounded cell values in both directions, right-infinite tape, pointer head starts at 0. < 1445733931 122892 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :EXCEPT < 1445733943 936348 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :At -1, there's a magic cell that holds the "divisor" < 1445733956 184543 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :It starts at value 1 and can never be decremented below that value < 1445734005 698446 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :When you call + or - on any cell, instead of adding or subtracting 1 from it, it adds or subtracts 1/tape[-1]. This allows it to represent ANY rational number in a single cell! < 1445734096 304866 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Surreal Brainfuck14]]4 10 02http://esolangs.org/w/index.php?diff=44864&oldid=44861 5* 03Hppavilion1 5* (+36) 10Categorized < 1445734121 56685 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Surreal Brainfuck14]]4 M10 02http://esolangs.org/w/index.php?diff=44865&oldid=44864 5* 03Hppavilion1 5* (+0) 10Recategorized < 1445734160 780132 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuckโ‚14]]4 M10 02http://esolangs.org/w/index.php?diff=44866&oldid=44796 5* 03Hppavilion1 5* (+36) 10Categorized < 1445734738 877077 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuckโ‚14]]4 10 02http://esolangs.org/w/index.php?diff=44867&oldid=44866 5* 03Hppavilion1 5* (+554) 10concurrency, apply to all < 1445735269 125400 :BustyLoliChan!~rjfenton@billy.resnet.mtu.edu JOIN :#esoteric < 1445735282 464615 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Oh, and in Rationalfuck (which I will be incorporating into Brainfuckโ‚ I think), the + and - commands stay the same on cell -1. So you don't get weird exponential growth errors. < 1445735516 386616 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuckโ‚14]]4 10 02http://esolangs.org/w/index.php?diff=44868&oldid=44867 5* 03Hppavilion1 5* (+878) 10Kill, partial ID explanation, implementation specs < 1445735517 187571 :JesseH!~JesseH@oftn/member/JesseH QUIT :Remote host closed the connection < 1445735854 369766 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1445736072 708039 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :I'd like to create a programming language using single-character commands by systematically going through unicode and assigning characters meanings < 1445736083 78259 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :That ISN'T a BF derivatives < 1445736091 944241 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :s/s// < 1445736107 79160 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's gonna take a while < 1445736170 584218 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :izabera: Well it wouldn't cover all of unicode < 1445736178 644734 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :aww bummer < 1445736190 172210 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :I mean, it's not like I'm going to make every Arabic charactere mean something < 1445736197 784497 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that's racist < 1445736222 121512 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :No it isn't. I don't speak arabic, and neither do most programmers. < 1445736247 975026 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that's racist and you have no evidence to support it < 1445736304 799200 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :No, it really isn't. I was using Arabic as an example. I'm not going to make arabic characters mean something because the meanings would be arbitrary, because I don't know what the characters refer to < 1445736325 517754 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :I could have easily said Japanese or Mandarin or even English. < 1445736342 179316 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :In fact, no letter character will mean something because they're reserved for comments < 1445736381 233834 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :one could argue that any meaning you're going to assign to any character will be arbitrary < 1445736390 162814 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Fair enough. < 1445736406 894374 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Continuing from earlier, "Or more accurately, every character will either be assigned a value, be reserved for comments, or be a "Temporary NOP" < 1445736409 832932 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :" < 1445736549 795469 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :izabera: However, I don't see how saying that I'm not going to assign every Arabic character a meaning is racist. I'm not, because there are a lot of them and I don't know what they mean and they have no real meaning as a single character, from what I understand about Arabic (it's like English in that words are multi-character) < 1445736588 362171 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :I have nothing against anyone from the Middle East (well, that's not accurate, I have something against the terrorists in the middle east, but everyone else I'm fine with) < 1445736594 638278 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :come on i was jk < 1445736607 154062 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :OK. I was hoping so, but I wasn't certain xD < 1445736700 532305 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://www.codeeval.com/open_challenges/43/ why is 4 1 4 2 3 jolly? < 1445736812 300071 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :what will you have multiocular o mean? < 1445736823 568629 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :doesthiswork: ? < 1445736830 461008 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's a character, i guess < 1445736845 237493 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Multiocular_O < 1445736908 10163 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :doesthiswork: Well most likely, it will be a Comment Character in case anyone speaks Cyrillic when programming and wants to write a comment < 1445736927 482816 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :(I could alternatively make #..\n commenting work, if that would be a better idea) < 1445737009 622690 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuckโ‚14]]4 M10 02http://esolangs.org/w/index.php?diff=44869&oldid=44868 5* 03Hppavilion1 5* (+99) 10NOP < 1445737020 423351 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :So! < 1445737032 900753 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :What should the base Data Structure of this "UniLang" be? < 1445737050 957102 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :after reading that wikipedia page my opinion is that the author was bored and decided to draw a made up character < 1445737058 339543 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :true < 1445737083 691301 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :the purpose was entirely for eye puns in medeval russia < 1445737114 818415 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is there a "i with heart" unicode character? < 1445737120 314229 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :no < 1445737140 799153 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that's far more common than the multiocular o < 1445737144 571287 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :there's a heart exclamation mark though < 1445737148 395559 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :COMBINING HEART ABOVE < 1445737173 829165 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :shachaf: They should add that < 1445737174 281155 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :hpp: the datastructure should be http < 1445737184 128095 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :doesthiswork: http? Why? < 1445737194 876505 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :โฃ < 1445737228 952366 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :(Also, the officially accepted abbreviation of my name is "hp", as it comes from HP Pavilion computers) < 1445737237 340114 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :(xD) < 1445737253 589860 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :HPยฎ < 1445737258 175672 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :โ™ฅโฃโคโฅโ™ก < 1445737258 612848 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :shachaf: Yes. < 1445737271 688314 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i would never have guessed that it comes from hp pavilion computers < 1445737274 788709 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :I mean combined data structure; a tape of stacks perhaps? < 1445737275 470099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I had an HP Pavilion laptop once. < 1445737277 172331 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :mind=blown < 1445737278 241815 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It was scow. < 1445737283 41926 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :because it is standard, works well when distributed and hasn't been done before < 1445737290 941297 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The scow of laptops. < 1445737295 823467 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :True, true < 1445737304 453066 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :But HTTP isn't exactly a Data Structure < 1445737309 351542 :oren!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca NICK :lenovothinkpad < 1445737314 555944 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :It's a protocol, last time I checked < 1445737325 9 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Lenovo Thinkpads are scow. < 1445737327 406784 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :lenovothinkpad: I used to have an HP, but now I have a Lenovo xD < 1445737334 712106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :IBM Thinkpads were much better. < 1445737346 62030 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I always assumed HP stood for Higgledy Piggledy. < 1445737349 486680 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :shachaf: Computers are scow. We should all be back in prehistory farming scows. < 1445737352 515104 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :post-its bind inadequately to skin < 1445737356 583647 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :`? hppavilion1 < 1445737357 350862 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :higgledy piggledy / hp pavilion / doesn't like jokes that are / written in text; // uncontroversially, / one in a million is / roughly the chance they won't / be left perplexed < 1445737360 640207 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric ::) < 1445737368 30350 :lenovothinkpad!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :Phantom_Hoover: try surgical tape < 1445737380 679184 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :unavailable < 1445737389 344327 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :yes, but when designing a language the implementation of the base data structure doesn't matter, what matters is what protocol you use to store and retrieve data. < 1445737389 904250 :lenovothinkpad!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :go to the drug store < 1445737391 627339 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Phantom_Hoover: Have a needle and thread handy? < 1445737402 559968 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :no < 1445737407 89082 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Oh. < 1445737419 115607 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://unicodeheart.com/ < 1445737434 83158 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :for instance lisp has car cdr and cons < 1445737438 616338 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :doesthiswork: The base data structure matters to the programmer, at least when it's a BF family language (not to be confused with a BF derivative) < 1445737451 125103 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i refuse to believe that SMILING CAT FACE WITH HEART-SHAPED EYES exists but there's no i with heart < 1445737473 15632 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :(A BF family language uses short ascii commands and operates on a data structure instead of storing variables) < 1445737482 137947 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :(well, not necessarily ascii) < 1445737497 340194 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :(BF family is a much more diverse family than C family < 1445737516 48128 :lenovothinkpad!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :izabera: I'll add an i with a heart to my font in the private use area < 1445737556 674646 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :killer feature < 1445737560 266777 :lenovothinkpad!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca NICK :\oren\ < 1445737652 908491 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :I think the reason i with heart isn't included is that it's just an i. < 1445737655 729099 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :With a heart. < 1445737667 84950 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Though combinining hear diacritic may be a good idea < 1445737673 828926 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :h: when you implement brainfuck the data data structure can be implemented however you want as long as it follows the protocol defined in the bf spec. < 1445737760 972415 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :doesthiswork: True, but I'm talking about the way the programmer sees the DS < 1445737771 501979 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :yeah so 0xf800 will be an I with a heart. i'll but j with a heart as F801 < 1445737773 787356 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :It'd be a stretch to see BF as using anything but a tape < 1445737793 640154 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :\oren\: Make ALL the ascii characters with hearts. < 1445737795 680629 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :xD < 1445737805 313359 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :(How big is private use again?) < 1445737811 29504 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :(Or for the first time?) < 1445737851 416187 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :the PUA is from E000 to F8ff < 1445737873 685572 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Ah < 1445737886 334914 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Why didn't they make it go from something to FFFF? < 1445737922 811194 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :the area near FFFF is used for halfwidth katakana and wide Ascii characters < 1445737959 729449 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :doesthiswork: So what I'm really asking is what should the data structure that the programmer sees be? < 1445737991 43793 :JesseH!~JesseH@oftn/member/JesseH JOIN :#esoteric < 1445737999 350237 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :A tape of stacks? A deque? A Tree of SQL table rows? < 1445738013 718235 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :: esoteric languages are meant to stretch, if you want something like a tape you can use < and > to move to the previous and next location similar to the forward and back buttons on a browser < 1445738045 720452 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :doesthiswork: But it doesn't /need/ to be a tape. What I'm getting at is what /should/ it be? < 1445738045 937937 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1445738060 52293 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :I'm currently partial to a Tree of something (possibly maps) < 1445738116 776455 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :http operates on a map, and history becomes a tree of locations in the map < 1445738118 683431 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Or maybe even a graph < 1445738126 573317 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :doesthiswork: Interesting... < 1445738152 150526 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :What if browsing the web was like a spaghetti stack instead of a tree? Or something like that? < 1445738167 156782 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Where you start with many webpages and converge on a single root page < 1445738200 922464 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :I think I'll do a tree of dynamically-typed nodes < 1445738212 287923 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Or maybe a tree of maps. I don't know. < 1445738236 667545 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Or should it be a digraph? < 1445738356 532223 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :if you have an operation to take the value of the current location and make the next pointer point at it, then you can dynamically change the graph < 1445738394 421723 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 265 seconds < 1445738437 140256 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :s/next/"next" < 1445738485 687920 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Yep. I'll do a graph. < 1445738495 976558 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :A /payload/ graph < 1445738506 758470 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :(Which is what I call a graph where the vertices have a value < 1445738507 637048 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :) < 1445738554 876582 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1445738597 696100 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :In fact, I'll make it a hypergraph < 1445739068 580034 :aloril!~aloril@dsl-tkubrasgw2-54f80e-20.dhcp.inet.fi QUIT :Read error: Connection reset by peer < 1445739107 241846 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Nah, just a graph. Hypergraph is hard. < 1445739261 309134 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Maybe? < 1445739514 949810 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :hypergraphs don't seem that hard < 1445739908 464243 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I think I'd call that a "vertex-labeled graph", or a "labeled graph" for short (but that's ambiguous), or a "graph with its vertices labeled" for long. < 1445740063 102103 :FireFly!firefly@oftn/member/FireFly PRIVMSG #esoteric :Hypergraphs seem weird, but I guess they're useful for something < 1445740082 987079 :FireFly!firefly@oftn/member/FireFly PRIVMSG #esoteric :I mean, it seems weird to me to think of it as a kind of graph, rather than just a subset of the powerset of a set < 1445740285 806072 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :A category theorist defines a graph as "a set V, a set E, and two functions from E to V". < 1445740306 394564 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Replacing "two" with a different number isn't much of a leap. < 1445740568 303513 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Oh, so I've figured out how to augment my amazing programming language to allow you to define stuff like addition. < 1445740568 480596 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Observe: < 1445740568 736780 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :add(zero, y) = y; add(succ(x), y) = succ(add(x, y)); < 1445740837 327377 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :But that's the... anti-abbreviated syntax, so to speak. It hides what's really going on by making stuff more verbose. < 1445740906 438720 :gde33!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl QUIT :Ping timeout: 250 seconds < 1445741017 712711 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Here's a better syntax: < 1445741037 744629 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :add(x, y) = recurse x for {zero -> y; succ -> succ(base)} < 1445741092 59528 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :'Course, we can define multiplication and exponentiation similarly. < 1445741113 274814 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :mult(x, y) = recurse x for {zero -> zero; succ -> add(base, y)} < 1445741141 944854 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Is it an ALU even if I don't have a way to select which one I want? < 1445741166 291088 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Like, if I set A, B, then go, it will give me A&B and A|B (on different lines), but I can't say only do one? < 1445741203 545906 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :exp(x, y) = recurse y for {zero -> succ(zero); succ -> mult(base, x)} < 1445741250 915367 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Sgeo__: I think I've only seen the term "ALU" used in reference to hardware. < 1445741265 766896 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Define hardware < 1445741297 314184 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Transistors in an IC. < 1445741297 572728 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Are Activeworlds objects hardware? They're things I'm trying to make primitive logic gates out of, don't have a full fledged programming language < 1445741318 709531 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Sgeo__, shut up about activeworlds! < 1445741318 888548 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :But they do seem to support NAND and memory, which I'm trying to make more efficient < 1445741331 251556 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :uh, whoops < 1445741333 82950 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :flashback < 1445741350 262879 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :A simulation of hardware also counts, I suppose. < 1445741442 37704 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Doesn't quite behave exactly like transistors, though < 1445741663 645347 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :I think I'll make BFโ‚ work on a tape-o-stacks, just for fun < 1445741977 37279 :jaboja!~jaboja@erx128.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1445742636 524756 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuckโ‚14]]4 10 02http://esolangs.org/w/index.php?diff=44870&oldid=44869 5* 03Hppavilion1 5* (+1458) 10A couple new commands, compounding keywords. Working towards covering all of Basic Latin. < 1445742761 7887 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuckโ‚14]]4 M10 02http://esolangs.org/w/index.php?diff=44871&oldid=44870 5* 03Hppavilion1 5* (+0) 10Fixed a command collision < 1445742902 635488 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Hm... < 1445742909 555732 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :I still can't decide what to do for UniLang... < 1445743172 873412 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Cain14]]4 N10 02http://esolangs.org/w/index.php?oldid=44872 5* 03Hppavilion1 5* (+267) 10Named language. Now to invent it. < 1445743291 532046 :Wright_!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1445743291 811112 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer < 1445743304 282923 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Here's an idea < 1445743370 646645 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :A blog in which someone has discovered a mysterious program on their computer. They launch it to discover that it's an omnific programming language. They can't send it to anybody, but they can do some /pretty/ powerful things with it. The entire blog serves to entertain, teach some programming concepts, and generally be awesome. < 1445743444 461205 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :My current idea has some dark but lighthearted occult themes to it < 1445743720 156384 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :http://i.imgur.com/LbXV9pT.jpg < 1445743729 474003 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Why is there a 19th floor? There shouldn't be a 19th floor < 1445743789 416843 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Sgeo__: Why is there a 19th floor where? < 1445743806 96352 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :In this show loosely based off the Wayside School books < 1445743873 836151 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :In the books, how is there no 19th floor? Like, what is the way in which it is absent? < 1445743961 157237 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :The builder forgot to build it. (I think exactly what this looks like is a bit unspecified) < 1445743973 758706 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I think it's numbering, 18th, then 20th < 1445743987 132999 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Oh! The wayside school! < 1445744005 461518 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Doesn't stop people from wandering into a non-existent classroom with a non-existent teacher, then asked to write down the numbers 1 to 1000000 in alphabetical order < 1445744012 207428 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Sgeo__: I'm pretty sure it was the 13th floor that was missing... < 1445744086 396768 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :http://wayside.wikia.com/wiki/19th_story < 1445744093 972724 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Oh, huh < 1445744097 525332 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :In many builtings they do not have a floor numbered 13 even though they have more floors than that < 1445744100 833488 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Could've sworn it was 13 < 1445744114 945553 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Is there a 31st floor? < 1445744128 99084 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Or does it stop at 30? < 1445744148 352796 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :The numbering stops at 30 (so it's the 29th floor if numbering included 19) < 1445744180 48161 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :ACTION nods. < 1445744225 281775 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :In one of the books, the chapter numbers go 19, 19, 19, "20, 21, 22" < 1445744260 163620 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Also, there are two elevators, one which only goes up, one which only goes down. Each is only used once. < 1445744288 645177 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :That reminds me of a certain paradox. < 1445744311 231895 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :There were some people who worked in a tall office building, one of them near the top and one of them near the bottom. < 1445744357 208313 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I think I read the book relating to Wayside School where there was no problem 19 (which was supposed to be the hardest problem in the book, but the teacher omitted it because one of the students prove that there can be no surprise quiz this week). < 1445744400 33413 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The one near the top noticed that whenever they went to the elevators to go home for the day, the next elevator to arrive was usually going up. < 1445744410 278285 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The one near the bottom, on the other hand, noticed that it was usually going down. < 1445744444 231489 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So if most of the elevators near the top of the building are going up, and most near the bottom of the building are going down, it must be that elevators are being created in the middle of the building and then destroyed at the top and bottom. < 1445744448 305072 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :zzo38, one of the math books. I remember starting to read one, but it started talking about girls' underwear so I got embarrassed and stopped. This was in elementary school I think < 1445744495 221105 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :should have waited till grade 7 and started again from that point < 1445744501 397869 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Also, I remember the surprise quiz. I think that book was the one that exposed me to the unexpected hanging paradox. < 1445744507 87859 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :By the way, I have some important arithmetic. < 1445744514 221812 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :> [432/9, 324/9, 243/9] < 1445744515 717602 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [48.0,36.0,27.0] < 1445744524 884594 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Oh wow. < 1445744551 972445 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :> [432/27, 324/27, 243/27] < 1445744553 467010 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [16.0,12.0,9.0] < 1445744555 587184 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I guess this one then http://wayside.wikia.com/wiki/More_Sideways_Arithmetic_from_Wayside_School < 1445744562 952066 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :http://wayside.wikia.com/wiki/List_of_book_chapters < 1445744565 731736 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :eww wikia < 1445744574 539385 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :> [432/324, 324/243] < 1445744575 924342 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [1.3333333333333333,1.3333333333333333] < 1445745218 620464 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :tswett: of course now that we know surprise is measured in shannon information, we could come up with a stochastic procedure that maximized expected surprise even when the procedure is known < 1445745231 296563 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Hmm. < 1445745248 288324 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :That would just be produced by using the uniform distribution over days, right? < 1445745269 307044 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Your total amount of surprise is just the negative log of the prior probability of the day which ended up chosen. < 1445745600 920733 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1445745625 973685 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1445745629 948371 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :if we maximise anticipation instead then we should sum the expected surprise for each day before the quiz < 1445745721 642582 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :https://www.youtube.com/watch?v=W4CCCGYyn30 < 1445745739 745991 :\oren\!~oren@TOROON0949W-LP140-1-1175999918.dsl.bell.ca PRIVMSG #esoteric :\//unrelated < 1445745752 642712 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :no, that's silly < 1445745765 264992 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :(not to you oren) < 1445745785 789203 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://www.codeeval.com/open_challenges/77/ -> http://arin.ga/PCXSYB/raw < 1445745800 190386 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ACTION just finished it < 1445746093 542261 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :doesthiswork: and exclude surprise the day *of* the quiz? < 1445746127 909123 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I feel like then it's probably maximized by making there be a 50% chance of having the quiz, each day that it hasn't been had yet. < 1445746135 598400 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :At least, if the school week has infinitely many days. < 1445746289 751254 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Does the Unexpected Hanging Paradox have any relation to Computer Science? < 1445746303 709979 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :Is there some problem that it contributes to/helps solve? < 1445746320 189735 :hppavilion[1]!~Devourero@47-168-58-66.gci.net PRIVMSG #esoteric :And wouldn't it be funny if it was the solution to P vs NP? < 1445746334 385877 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :the reason I say it is silly because anticipation jumps through the roof if you say that the quiz will be sometime /next/ week < 1445746479 177007 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :a school week with an indefinate end is nice solution to the paradox < 1445746511 645827 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The unexpected hanging paradox is sort of an interesting investigation of "it is provable that" as a logical operator. < 1445746893 773092 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :is there a simple explanation of when "it is provable" can be used as a logical operator without leading to paradoxes? < 1445747099 124706 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :You would have to make up the rules of "it is provable that" operator, and then it can be usable. < 1445747184 798304 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :IIRC, the unexpected hanging paradox is not a paradox in the mathematical sense. < 1445747280 698200 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think there is a mathematical sense of paradox. < 1445747287 470461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not a mathematical word.