< 1565049784 244019 :MDead!AdiIRC@c-174-55-101-236.hsd1.pa.comcast.net JOIN :#esoteric
< 1565049890 553123 :MDude!AdiIRC@c-174-55-101-236.hsd1.pa.comcast.net QUIT :Ping timeout: 272 seconds
< 1565049894 910066 :MDead!AdiIRC@c-174-55-101-236.hsd1.pa.comcast.net NICK :MDude
< 1565052301 261268 :adu!~ajr@pool-173-73-86-191.washdc.fios.verizon.net JOIN :#esoteric
< 1565054482 477769 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I wrote on a paper my ideas about how to make upa better television set.
< 1565057955 548925 :salpynx!794954f8@121.73.84.248 QUIT :Ping timeout: 260 seconds
< 1565058554 796937 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :zzo38: oh?
< 1565058577 42676 :doesthiswork!~doesthisw@98.125.180.92 QUIT :Ping timeout: 245 seconds
< 1565058841 560904 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Some stuff I wrote, such as, there is 4:3 display, and on the right is the buttons, IR receiver, status display, OSD switch, speaker, and also a remote control holder.
< 1565058924 569993 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :On the back, there is the sections of inputs: two Digi-RGB sections (each having Digi-RGB, left audio, right audio, and IMIDI), one composite section (composite, left audio, right audio), one component section (Y, Cr, Cb, left audio, right audio; there is also a mode to use the component section as a second composite section), and RF.
< 1565058954 929822 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Also on the back is the reset switch, the IMIDI out port, the audio output (if you want to use external speakers), and several dip switches.
< 1565059012 9261 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Do you think it is good?
< 1565059044 271846 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :seems pretty reasonable
< 1565059049 359623 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :why 4:3?
< 1565059096 42254 :doesthiswork!~doesthisw@98.125.180.92 JOIN :#esoteric
< 1565059118 97024 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :To take up less space, mainly.
< 1565059136 324320 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :If such a TV set is manufactured, it could come in both 4:3 and 16:9 versions, I suppose.
< 1565059322 603158 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :And then there would be the software features, such as caption scrollback, numeric command prefixes (similar to vi), adjustment of colour conversion matrix, etc.
< 1565059566 575278 :salpynx!794954f8@121.73.84.248 JOIN :#esoteric
< 1565059804 177393 :FreeFull!~freefull@defocus/sausage-lover QUIT :
< 1565060388 246324 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :O, and there is also a ethernet port. This could be used for streaming video/audio, but Gopher and ViewData could possibly also be implemented.
< 1565060546 896381 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :you might be the only person on earth who wants a TV that can browse Gopher using a vi-like interface
< 1565060554 904711 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but I'm not going to say you're wrong
< 1565060558 164262 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :follow your dreams
< 1565061758 244078 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Also, I think ViewData was designed for television (according to a photograph I have seen, at least), so it will work well in this way.
> 1565066456 168442 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Subset14]]4 M10 02https://esolangs.org/w/index.php?diff=65310&oldid=65263 5* 03A 5* (+60) 10/* Natural numbers set not using the built-in N */
< 1565067057 249659 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :What are all of the control codes for Viewdata anyways?
> 1565067305 577703 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65311&oldid=65308 5* 03A 5* (+165) 10Extend this subset
> 1565067591 626708 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65312&oldid=65311 5* 03A 5* (-3) 10/* Set-comparison instructions */
> 1565068262 141797 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65313&oldid=65312 5* 03A 5* (+7) 10
< 1565068352 43977 :doesthiswork!~doesthisw@98.125.180.92 QUIT :Ping timeout: 245 seconds
< 1565070012 737777 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :TVim: TV improved
< 1565071858 23475 :int-e!~noone@int-e.eu PRIVMSG #esoteric :salpynx: It's not just the example that's wrong. The translation of w1 is plain wrong, ever since this edit: https://en.wikipedia.org/w/index.php?title=Iota_and_Jot&diff=757746945&oldid=757746752 (the translation of w0 is correct, but not a simplification over [w0] = [w]SK).
< 1565072104 789979 :int-e!~noone@int-e.eu PRIVMSG #esoteric :salpynx: Referring to the esolang page on Jot, the whole point of the translation of w1 is that it operates on arguments to the right, combining two of them, so that [F{K}] = [F11100] = [F1110]SK = [F111]SKSK = [F11](SK)SK = [F1](SKS)K = [F](SKSK) = [F]K holds regardless of F.
< 1565072219 923675 :int-e!~noone@int-e.eu PRIVMSG #esoteric :salpynx: (That's one of the base cases of proving the identity [F{A}] = [F]A that the esolang wiki page mentions.\)
< 1565072402 359785 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh, it seems I can edit today. Different IP :P
< 1565072750 314613 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :salpynx: Yes, I suppose, such thing can be "TV improved", maybe. And then, we will also have VCR/DVD improved.
< 1565072782 535267 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: higan
< 1565072784 444191 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :singing is tg
< 1565072793 857748 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this is my fact of the day
> 1565074635 384856 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65314&oldid=65313 5* 03A 5* (-19) 10
< 1565075427 841603 :int-e!~noone@int-e.eu PRIVMSG #esoteric :salpynx: So I've edited the page, let's see whether the edit survives Wikipedia's general disdain for "IPs".
> 1565075457 239911 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65315&oldid=65314 5* 03A 5* (+7) 10
< 1565075602 235179 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Meh, these things always take me so long.)
< 1565076807 254391 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric
< 1565078926 940004 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 258 seconds
< 1565079084 454051 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1565079216 180988 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1565080974 849023 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Good morning. How about a stack-based language that is statically typechecked by translating all operations to operations that push and pop type-values to the stack instead, and running that.
< 1565081218 909544 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :You need to be a bit careful if there's any non-trivial control flow
< 1565082019 400531 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric
< 1565082075 888551 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :True. That's one of the things that makes it kind of interesting though.
< 1565082191 642700 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :If you have while loops, say, you can make sure the body is of type (A:Bool) -> B, with the condition B -> (A:Bool), for example
< 1565082194 184062 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :zzo38: as for that, I wonder, is there some widely supported standard for transmitting raw (uncompressed) digital audio through wires, sort of like DVI but for audio instead of video? and if so, why not? 
< 1565082194 897750 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it seems to me that everyone uses either analog audio (or even composite) or bluetooth audio.
< 1565082316 965074 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and this is despite that we've had audio CD equipment for ages
< 1565082384 100603 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm, my scheme would restrict the language to being a LBA, I think (correspondign to simply typed lambda calculus))
< 1565083650 191942 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: rebooting
> 1565084708 604776 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03TheOnlyMrcat 5*  10New user account
< 1565084820 549528 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs JOIN :#esoteric
< 1565084823 456872 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :hi
> 1565085028 582455 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=65316&oldid=65247 5* 03TheOnlyMrcat 5* (+238) 10/* Introductions */
< 1565085087 46100 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome andrewtheircer
< 1565085088 211035 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :andrewtheircer: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <https://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
< 1565085109 746036 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :hi
< 1565085120 917456 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can say that again!
< 1565085154 727925 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :*cough*
< 1565085159 579396 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :GREETINGS FELLOW HUMANS
< 1565085181 651978 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :hi to you and hi to you, hackeso and shachaf
< 1565085229 61583 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :is it allowed to sing the creeper aw man song here
< 1565085287 645879 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I believe it's permitted to sing into your microphone while in this channel.
< 1565085294 798030 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've certainly done so.
< 1565085298 125334 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :no
< 1565085298 979213 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :like
< 1565085312 172416 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :someone says "creeper" then another person says "aw man"
< 1565085317 362222 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :and then the rest of the lyrics
< 1565085346 917134 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Do you know things about QBF solvers, remind me?
< 1565085366 681161 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I think reciting the lyrics into your microphone is also permitted.
< 1565085372 640690 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :well then i'll stop referencing a 7 year old song
< 1565085398 253622 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh man, https://en.wikipedia.org/wiki/Polynomial_hierarchy has Sigma, Pi, and Delta, but no Sigma -| Delta -| Pi adjunction.
< 1565085426 526 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's so confusing. The letter Δ should be banned for this use.
< 1565085453 229457 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :http://bit.do/brainfuckextensionplans check this out
< 1565085538 724553 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Title: Rick Astley - Never Gonna Give You Up (Video) - YouTube
< 1565085550 987597 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :fuck
< 1565085556 72503 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :my rickroll failed
< 1565085574 469205 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Please don't try to trick people like that. It's quite rude.
< 1565085588 871820 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :ok
< 1565085606 436818 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :there are two types of people in this world: those who listen to that on purpose
< 1565085610 501965 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :and those who don't
< 1565085761 136338 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :this chat has deceased
< 1565086101 233738 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :onions
< 1565086212 949626 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs QUIT :Remote host closed the connection
< 1565086257 512201 :xkapastel!uid17782@gateway/web/irccloud.com/x-hrkinvitetdmducv QUIT :Quit: Connection closed for inactivity
< 1565086805 863557 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf: I don not know things about QBF solvers
< 1565086850 942717 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I barely know anything about anything, quite frankly.
< 1565086859 313754 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Where can I find out about QBF solvers?
< 1565086921 892731 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, I don't know much about QBF solvers.
< 1565086935 549737 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs JOIN :#esoteric
< 1565086939 505842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :One good trick is to come to Berkeley and ask edwardk about them.
< 1565086943 699857 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I would start at http://www.qbflib.org/qbfeval19.php
< 1565086947 324540 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :are you famous sha
< 1565086961 636778 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :in the eso community
< 1565086964 285426 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm the most famous sha of them all.
< 1565086965 610070 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I've seen some QBF solver basics.)
< 1565086966 837687 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Berkeley's all the way in Gloucestershire, though
< 1565086970 964066 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It's practically on the west coast!
< 1565086971 809605 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They call me SHA-256.
< 1565086990 311625 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's pretty far.
< 1565087010 995653 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :nice
< 1565087018 664943 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :have you made esos before
< 1565087020 860262 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, actually they call me SHA-512/256.
< 1565087042 572423 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm, Berkeley was where vaccination was invented
< 1565087065 348585 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I thought it was in China or something?
< 1565087067 100096 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :technically the word vaccine comes from antivaxxers of the time as they thought vaccines would turn you into a cow :p
< 1565087088 53820 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I guess the 2018 edition is more fruitful for now. But you should learn some tool names, which will lead to corresponding papers, which will be educational.)
< 1565087108 692234 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :what? 
< 1565087112 167884 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? vaccine
< 1565087112 960558 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :vaccine? ¯\(°​_o)/¯
< 1565087113 764896 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quote
< 1565087114 580544 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :737) <shachaf> U+2205 [∅] NO LETTER O ALLOWED
< 1565087136 651135 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so is that where the legends about werecows come from?
< 1565087150 494973 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :ye
< 1565087160 548575 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :`quote
< 1565087161 152899 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :796) <kmc> typed racket: anyone using a model m keyboard
< 1565087165 860851 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe solvers that just support two quantifiers or something are more interesting in practice.
< 1565087171 999923 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Unlimited quantifiers seems pretty extreme.
< 1565087177 250686 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :do you program y'all
< 1565087191 440827 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :that explains why a mad scientist would become one
< 1565087247 795522 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :idea: eso based on onions
< 1565087319 45590 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: the particular class is called 2QBF and has its own track at QBFEVAL..
< 1565087345 763861 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Makes sense.
< 1565087362 547327 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :2Q2BF
< 1565087369 922170 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Since the objective is to *decide* formulas there's no real difference between the \forall\exists and \exists\forall prefixes)
< 1565087429 80796 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Presumably this is sigma_2 and pi_2 or something.
< 1565087430 174879 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a
< 1565087439 427491 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :are you a mathematician
< 1565087447 810177 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yes. They're just dual of each other.
< 1565087516 557947 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are they left and right adjoint to some functor? twh
< 1565087580 966033 :int-e!~noone@int-e.eu PRIVMSG #esoteric :For that you need to ask somebody who cares about category theory.
< 1565087603 43331 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My only objection is to this delta thing.
< 1565087613 851018 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Delta should always mean diagonal or difference.
< 1565087655 349479 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I suspect \Delta is for "deterministic"
< 1565087672 272591 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or possibly "decision"
< 1565087698 670851 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`quote q =
< 1565087699 308973 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1288) <ais523> (btw, "q = 1-p" should be the standard definition of q, IMO)
< 1565087711 886880 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :are you a bot hackeso
< 1565087724 455008 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :you all have very specific ideas on how the use of letters should be restricted
< 1565087733 295122 :int-e!~noone@int-e.eu PRIVMSG #esoteric :...what if q is a state of an automaton though...
< 1565087740 752692 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :being a not-mathematician, i don't
< 1565087851 78799 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That seems fine for a two-state automaton.
< 1565087878 80117 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :shallots
< 1565087881 559503 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually, I guess using delta for diagonal is only a category thing?
< 1565087893 958578 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do normal people call f : a -> (a,a)?
< 1565087921 468493 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: `dup` is the suggestion recently/currently discussed on the haskell libaries mailing list
< 1565087925 242893 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :@pl \a -> (a,a)
< 1565087925 504142 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :join (,)
< 1565087944 135028 :int-e!~noone@int-e.eu PRIVMSG #esoteric :*libraries
< 1565087975 885936 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`diag` is a plausible name, of course.
< 1565087976 455875 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: diag`: not found
< 1565088011 321776 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And yes, I would probably use a lower case delta in formal writing, if I needed a name.
< 1565088026 512199 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, right, people use lowercase delta for it rather than capital.
< 1565088167 344876 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :ayyy
< 1565088181 992740 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :idea: whitespace (the eso) but with added blank characters
< 1565089173 208805 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric
< 1565089355 666413 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :hi chris
< 1565089516 916040 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :canned coochie
< 1565090142 368662 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 244 seconds
< 1565090262 354949 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :!ping
< 1565092795 917524 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :int-e: that looks a lot better (Jot wikipedia edit) thank you! The article is trying to refer everything back to the Barker's iota combinator, and your last sentence does that. I was wondering if there was a simpler example to show w1, but I guess it's not that simple an operation. [w]S & [w]K are useful examples, and the intermediate steps are fol
< 1565092796 416849 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :lowable using the info on the page. Good stuff :)
< 1565092808 824987 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :hi sal
> 1565092825 656589 PRIVMSG #esoteric :14[[07ACL14]]4 M10 02https://esolangs.org/w/index.php?diff=65317&oldid=65309 5* 03YamTokTpaFa 5* (-25) 10/* History and Turing Completeness */
< 1565092928 635304 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :hi
< 1565093097 92834 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :for opinions on what delta means in maths, how about 4? Some pretty decent mathematicians used that convention quite early on.
< 1565093133 595881 :int-e!~noone@int-e.eu PRIVMSG #esoteric :salpynx: thanks for the feedback!
< 1565093311 622471 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :I'll keep an eye on the page and defend your IP edit if needed :)
< 1565093413 21823 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs QUIT :Remote host closed the connection
< 1565093788 233510 :salpynx!794954f8@121.73.84.248 QUIT :Remote host closed the connection
< 1565094067 199779 :nfd!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net QUIT :Ping timeout: 246 seconds
< 1565098915 478864 :heroux!sandroco@gateway/shell/insomnia247/x-kxodpquqwkshixjg QUIT :Ping timeout: 244 seconds
< 1565099440 346573 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Oh also
< 1565099447 494744 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :there's something I should say
< 1565099479 95753 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I spent a weekend in London as a short family vacation. there was something that I found very confusing:
< 1565099639 178820 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :most bus stations had a street level map of its surroundings, which is great, but the problem is, they were all roated such that down on the map was the direction that the sign faced, rather than consistently south.
< 1565099659 645867 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :It drove me crazy because I saw the map oriented randomly in different directions every time. 
< 1565099687 509696 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :It's hard to follow maps that way.
< 1565099694 590530 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Means you don't need a compass to navigate
< 1565099742 691336 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think it's OK when you get used to it
< 1565099771 596838 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :If you get used to it, you no longer need the map signs in the bus stops
< 1565099832 102273 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :the fix is probably to buy a paper city map and ignore the maps on the signs (but still look at the other info on the signs, such as the name of the station and which bus lines stop there and towards where and how often)
< 1565099852 857006 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I should have probably done that
< 1565099984 822479 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think being able to read a map oriented that way is a more transferable ability than you're suggesting
< 1565100000 657349 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but I don't want to have to
< 1565100007 488897 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :why can't they just put normal maps up?
< 1565100024 554240 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :It's my fault, I should have bought a paper map and used it
< 1565100029 327928 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What's a "normal map"?
< 1565100071 595503 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :A normal map is like the good maps we used to have 20 years ago, that are no longer possible to buy because not enough people pay for them to be worth economically to make *sigh*
< 1565100090 566762 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :even for Budapest they no longer exist
< 1565100108 393697 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I am using a combination of a fresh map with the last good map that there was
< 1565100206 368296 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :the latter one is from 2001
< 1565100239 519569 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :or from 2009, I dunno
< 1565100243 498371 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I'll have to check that at home
< 1565100302 159771 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds
< 1565100729 484557 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1565101670 318510 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep
< 1565101787 702759 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs JOIN :#esoteric
< 1565101816 880660 :heroux!sandroco@gateway/shell/insomnia247/x-nmfbkwpewrpgnrpj JOIN :#esoteric
< 1565101869 382397 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :hi
> 1565102528 158382 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/String14]]4 N10 02https://esolangs.org/w/index.php?oldid=65318 5* 03A 5* (+1589) 10Created page with "This is a string-based version of [[Multi-Set Manipulator/Subset]], as there are programming difficulties for using lists.  This attempts to make Multi-Set Manipulator a pure..."
> 1565102842 634419 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/String14]]4 M10 02https://esolangs.org/w/index.php?diff=65319&oldid=65318 5* 03A 5* (+75) 10
> 1565103081 464468 PRIVMSG #esoteric :14[[07User talk:Gamer14]]4 N10 02https://esolangs.org/w/index.php?oldid=65320 5* 03Andrew3335 5* (+211) 10Created page with "It was really fun making that math paper language with you. Sorry if I'm really really late, but thanks for that endeavor. It was my best language so far (dotlang was a befung..."
< 1565103579 421488 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs QUIT :Remote host closed the connection
< 1565104085 500271 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection
< 1565105314 621905 :xkapastel!uid17782@gateway/web/irccloud.com/x-oqshibqlclmfhgxn JOIN :#esoteric
< 1565105564 549620 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs JOIN :#esoteric
< 1565105602 776994 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :hi
< 1565107201 732593 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: WeeChat 1.4
< 1565109478 712999 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric
< 1565110799 497078 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu JOIN :#esoteric
< 1565110934 629016 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1565111213 384138 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1565111791 230618 :MDude!AdiIRC@c-174-55-101-236.hsd1.pa.comcast.net QUIT :Ping timeout: 246 seconds
< 1565113537 389980 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I had idea about something similar to a "do notation" like Haskell but to use with a preprocessor for JavaScript codes. Such as:   const listMonad=(m,f)=>[].concat(...m.map(f)); const x=listMonad*>{ let a=yield [1,2,9]; let b=[3,4,5,7]; return a-b; };
< 1565113682 483293 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :nice
< 1565113696 802301 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :hi zzo
< 1565113833 219963 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :you made recurseme right?
< 1565113976 590357 :rain2!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :https://stackoverflow.com/questions/57376279/ thoughts abuot this?
< 1565113993 923418 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs QUIT :Remote host closed the connection
< 1565114014 725368 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs JOIN :#esoteric
< 1565114014 784173 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :texas
< 1565114233 761090 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1565114266 639398 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :hi ais
< 1565114282 427048 :rain2!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :andrewtheircer: thoughts
< 1565114295 316586 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :eh
< 1565114297 811039 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :i dunno
< 1565114312 400031 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :i used to be a programmer but now i know nothing
< 1565114541 751176 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :boot
< 1565114871 650013 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :``` perl -e'while(<>) { if (/^----- ([0-9]+) /) { 13 == $1 and last; } elsif (/^[^ ]/) { m"^[(]?([\-\x27./A-Za-z]+)[!)+*]*\r?$" or die "syntax $_"; push @w,$1; } } print $w[rand@w]," " for 1..21; print "\n";' /hackenv/share/dict/12dicts/Lemmatized/2+2+3frq.txt
< 1565114872 458798 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :partial palm meter breathe near specific agreement beat striking liver qualify western above entity convince subject ranch viewer gas manager extensive
< 1565114900 443188 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :what are you trying to do
< 1565114909 838191 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs QUIT :Remote host closed the connection
< 1565114923 714441 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :printing random common words
< 1565114941 550263 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs JOIN :#esoteric
< 1565114945 146665 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :`words 21
< 1565114946 646116 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :ficising creed wportie michtfully cribarabe sain convidentwo vale dra tallatek zygeima acheth eilesita ally iii bcnchover woien devell baram donne ryon
< 1565114963 97779 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :`words 1
< 1565114964 491845 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :biecioul
< 1565114964 612205 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :and random mythic rare words
< 1565114969 743533 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :today's word is objection
< 1565114985 301995 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :how many time travelling esoteric languages've been done
< 1565115697 214217 :unlimiter!~unlimiter@41.141.63.191 JOIN :#esoteric
< 1565115764 941659 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :GARFIELD
< 1565115917 668492 :rain2!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :check my link andrewtheircer
< 1565116188 22349 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :can't
< 1565116240 275835 :rain2!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :why
< 1565116257 115463 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :i dunno
< 1565116259 596828 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :i'm actually 14
< 1565116476 31978 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :andrewtheircer: so? that's not an adult site, StackOverflow can be written from the age of 13, read by anyone
< 1565116491 144438 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :i don't actually program then
< 1565116501 351242 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs PRIVMSG #esoteric :i friggen don't know the problem
< 1565116520 286597 :doesthiswork!~doesthisw@98.125.180.92 JOIN :#esoteric
< 1565116628 635604 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit
< 1565116675 893156 :andrewtheircer!4d2ee545@77-46-229-69.dynamic.isp.telekom.rs QUIT :Remote host closed the connection
< 1565117606 618547 :diverger!~div@192.145.126.136 QUIT :Ping timeout: 272 seconds
< 1565117649 251560 :diverger!~div@192.145.126.136 JOIN :#esoteric
< 1565118137 388251 :lldd_!~atrapado@unaffiliated/atrapado JOIN :#esoteric
< 1565118631 760414 :sftp!~sftp@unaffiliated/sftp QUIT :Quit: leaving
< 1565119931 606459 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :In athletics sport, when do you suppose the traditional approach to high jump with a fixed bar will get replaced by a grid of lights and detectors so that the jumper doesn't have to bet on how high he jumps exactly where and in what directions, the detectors just figure out what the highest line is that he's jumped over? (A bar, lower than usual, can still be there as a guideline for approximately where 
< 1565119937 561360 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :the detectors are.)
< 1565120081 607969 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :There can still be multiple attempts of jumps of course.
< 1565120246 241656 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :that is an interesting idea
< 1565120285 482036 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I know that major league baseball is going to start using radar to judge whether a ball has gone through the strike zone or not
< 1565120296 941890 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :nice
< 1565120380 710495 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :I wonder if you could do something with long jump and hammer throw too so that it's automatically measured where exactly someone took the last step before the jump or threw from respectively and subtract it
< 1565120397 527403 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and the umpire will still make a call but is expected to agree with the machine in typical cases
< 1565120417 327547 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :there'd still be some intervals of course, because of technical limitations, in all of those cases, but still it could help
< 1565120440 286776 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :heck, perhaps even for short distance running people would no longer have to start at exactly the same moment
< 1565120459 143931 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :and short distance swimming too
< 1565120732 377096 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :and of course put them in air conditioned buildings so that there's no wind and carefully controlled predictable temperature and air pressure and humidity, and make multiple different categories depending on what accleration the artificial gravitation generator is set to
< 1565121362 540451 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :hehe
< 1565121440 215900 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric
< 1565121493 492598 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :swimmers have always tried to swim in water of various temperatures, and of course for high level competitions in short distance swimming, they try to set a temperature close to ideal. the Mythbusters even did some attempt to try water with viscosity much higher than usual. but I think nobody experimented with swimming in lower than usual or higher than usual gravity yet.
< 1565121668 393022 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :yeah, it's kind of a hard thing to test, lots of water is kind of a pain to work with
< 1565121683 932398 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :and it shouldn't matter a whole lot, at least if you're submerged
< 1565121710 106430 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :since your density is basically the same as water's
< 1565121727 621546 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :Hooloovo0: sure, although sea water can be denser than normal
< 1565121780 720806 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :true, and a couple of lakes are saltier/denser still
< 1565121903 677115 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :yeah, the Dead Sea most famously, only it's in the Middle East where there are some ... political problems
< 1565122165 476515 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 244 seconds
< 1565122349 979584 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :hmm, it's actually not that different from the great salt lake's salinity https://en.wikipedia.org/wiki/List_of_bodies_of_water_by_salinity
< 1565122369 448753 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1565122433 891901 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :Hooloovo0: I, um, might be biased and heard more of the former because it's closer to here
< 1565122938 987995 :lldd_!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving
< 1565123305 482313 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Do you play any Washizu mahjong or dark mahjong or any other kind of Fukumoto variants of mahjong?
< 1565123332 580236 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I have never played any variant of mahjong including the normal one
< 1565123579 854196 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Washizu mahjong requires most (but not all) of the tiles to be transparent (so that your opponent can see it too), but dark mahjong can use the ordinary equipment for mahjong.
< 1565123644 461602 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :by transparent, do you mean they're marked on the back too?
< 1565123664 245755 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :can you see them even in the wall/deck from where you're drawing the cards?
< 1565123704 882226 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :b_jonas: That is one way to implement it (I have seen this as a suggestion), but the set I have uses tiles that you can actually see through.
< 1565123728 956455 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :In Washizu mahjong the tiles are drawn from a bag (and you will wear a glove on that hand), so you can't see them before they are drawn.
< 1565123783 662073 :tromp!~tromp@2a02:a210:1585:3200:4976:6dd0:66d3:b85 QUIT :Read error: Connection reset by peer
< 1565123819 247287 :tromp!~tromp@ip-213-127-58-74.ip.prioritytelecom.net JOIN :#esoteric
< 1565123869 682201 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Dark mahjong is you are allowed to discard face-down, but doing so costs 1000 points. Opponent can try to make it face-up by a payment of 2000 points, but if the discarder then bets an additional 4000 points then it remains face-down. However, it is still allowed to call ron on that tile even though you cannot see it! If you do so correctly, then the score for your hand is doubled.
< 1565123871 397522 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :zzo38: I see. I'm just used to cards, not mahjong, which is why I find the idea of transparent strange, although admittedly there is one commercial card game with actually transparent plastic cards (called Swish IIRC)
< 1565123885 907269 :b_jonas!~x@catv-176-63-25-8.catv.broadband.hu PRIVMSG #esoteric :ah, drawn from a bag, like in Scrabble. makes sense.
< 1565123917 346840 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(Some rules for dark mahjong are still unclear though, such as how face-down discarding interacts with furiten.)
< 1565123986 545512 :tromp!~tromp@ip-213-127-58-74.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer
< 1565124030 338228 :tromp!~tromp@ip-213-127-58-74.ip.prioritytelecom.net JOIN :#esoteric
< 1565127924 364731 :unlimiter!~unlimiter@41.141.63.191 QUIT :Quit: WeeChat 2.5
< 1565128433 545774 :salpynx!794954f8@121.73.84.248 JOIN :#esoteric
< 1565133202 856889 :nfd!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net JOIN :#esoteric
< 1565134505 521127 :MDude!AdiIRC@c-174-55-101-236.hsd1.pa.comcast.net JOIN :#esoteric