> 1564963235 842278 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Davipb 5* 10New user account > 1564963472 483928 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=65247&oldid=65196 5* 03Davipb 5* (+158) 10My introduction < 1564963645 52530 :b_jonas!~x@catv-176-63-25-82.catv.broadband.hu PRIVMSG #esoteric :`bobadventureslist http://bobadventures.smackjeeves.com/comics/2834969/20190804/ < 1564963645 720282 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :bobadventureslist http://bobadventures.smackjeeves.com/comics/2834969/20190804/: b_jonas < 1564964571 515623 :b_jonas!~x@catv-176-63-25-82.catv.broadband.hu QUIT :Quit: leaving < 1564966795 932559 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Do you like Hollerith chording? < 1564968425 836951 :FreeFull!~freefull@defocus/sausage-lover QUIT : > 1564974892 565047 PRIVMSG #esoteric :14[[07Talk:ACL14]]4 M10 02https://esolangs.org/w/index.php?diff=65248&oldid=65150 5* 03A 5* (+210) 10 > 1564975060 464416 PRIVMSG #esoteric :14[[07Talk:ACL14]]4 M10 02https://esolangs.org/w/index.php?diff=65249&oldid=65248 5* 03A 5* (+371) 10 < 1564975320 182608 :doesthiswork!~doesthisw@98.125.180.92 JOIN :#esoteric > 1564978431 622964 PRIVMSG #esoteric :14[[07Talk:ACL14]]4 10 02https://esolangs.org/w/index.php?diff=65250&oldid=65249 5* 03A 5* (-370) 10/* C Interpreter */ < 1564979989 858072 :adu!~ajr@pool-173-73-86-191.washdc.fios.verizon.net QUIT :Quit: adu > 1564981550 961363 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Subset14]]4 M10 02https://esolangs.org/w/index.php?diff=65251&oldid=65244 5* 03A 5* (+33) 10 < 1564981891 281365 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net QUIT :Ping timeout: 248 seconds > 1564982118 294853 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Subset14]]4 10 02https://esolangs.org/w/index.php?diff=65252&oldid=65251 5* 03A 5* (-102) 10 > 1564982416 929279 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Subset14]]4 M10 02https://esolangs.org/w/index.php?diff=65253&oldid=65252 5* 03A 5* (+7) 10/* All prime numbers less than I */ < 1564982510 534725 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net JOIN :#esoteric < 1564982883 186110 :doesthiswork!~doesthisw@98.125.180.92 QUIT :Ping timeout: 248 seconds < 1564982954 466369 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric > 1564983234 694664 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Subset14]]4 M10 02https://esolangs.org/w/index.php?diff=65254&oldid=65253 5* 03A 5* (+85) 10 > 1564983309 756998 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Subset14]]4 10 02https://esolangs.org/w/index.php?diff=65255&oldid=65254 5* 03A 5* (-50) 10 < 1564985988 84523 :xkapastel!uid17782@gateway/web/irccloud.com/x-qnvyhauucottftpx QUIT :Quit: Connection closed for inactivity > 1564986607 83663 PRIVMSG #esoteric :14[[07Prehistory of esoteric programming languages14]]4 M10 02https://esolangs.org/w/index.php?diff=65256&oldid=57231 5* 03A 5* (+43) 10/* APL */ > 1564986628 881909 PRIVMSG #esoteric :14[[07Prehistory of esoteric programming languages14]]4 M10 02https://esolangs.org/w/index.php?diff=65257&oldid=65256 5* 03A 5* (+51) 10/* APL */ > 1564986757 725105 PRIVMSG #esoteric :14[[07Prehistory of esoteric programming languages14]]4 M10 02https://esolangs.org/w/index.php?diff=65258&oldid=65257 5* 03A 5* (+82) 10/* APL */ < 1564988308 748998 :x003n!~x003n@unaffiliated/x003n JOIN :#esoteric > 1564988329 372044 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Subset14]]4 M10 02https://esolangs.org/w/index.php?diff=65259&oldid=65255 5* 03A 5* (+310) 10 < 1564988456 546312 :x003n!~x003n@unaffiliated/x003n PART #esoteric :"Leaving" < 1564990192 327987 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1564990377 203736 :Sgeo!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1564990808 548837 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs JOIN :#esoteric < 1564990838 528510 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net QUIT :Ping timeout: 272 seconds < 1564990926 632523 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :nylon < 1564991038 402588 :rain2!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :nylon < 1564991223 438738 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :truly < 1564991225 818304 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :nylon < 1564991269 32114 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot`: help! < 1564991269 304338 :fungot`!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :int-e: isn't that kind of idea of letting %app %datum and friends in r5. r4 didn't even have modem iirc < 1564991289 673418 :int-e!~noone@int-e.eu PRIVMSG #esoteric :finally something that makes sense. < 1564991298 629322 :Fatalize!a16a0005@161.106.0.5 JOIN :#esoteric < 1564991358 936358 :Fatalize!a16a0005@161.106.0.5 QUIT :Remote host closed the connection < 1564991680 187183 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net JOIN :#esoteric < 1564992120 247795 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :nylon < 1564992453 741437 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds < 1564992684 207636 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1564994971 564994 :ieuaeiau!a16a0005@161.106.0.5 JOIN :#esoteric < 1564994999 185976 :ieuaeiau!a16a0005@161.106.0.5 QUIT :Remote host closed the connection < 1564996661 765654 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :trucks < 1564996662 845569 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :trucks < 1564996664 30373 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :trucks < 1564997157 492706 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs QUIT :Remote host closed the connection < 1564997249 548940 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs JOIN :#esoteric < 1564997258 47868 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs PRIVMSG #esoteric :real estate < 1564997840 474714 :andrewtheircer!5d561e9e@93-86-30-158.dynamic.isp.telekom.rs QUIT :Remote host closed the connection > 1564998590 360492 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Subset14]]4 M10 02https://esolangs.org/w/index.php?diff=65260&oldid=65259 5* 03A 5* (-147) 10 > 1564998970 260348 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Subset14]]4 M10 02https://esolangs.org/w/index.php?diff=65261&oldid=65260 5* 03A 5* (-596) 10Simpler set syntax > 1564999231 317478 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Subset14]]4 M10 02https://esolangs.org/w/index.php?diff=65262&oldid=65261 5* 03A 5* (+173) 10 > 1564999324 946405 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Subset14]]4 M10 02https://esolangs.org/w/index.php?diff=65263&oldid=65262 5* 03A 5* (+15) 10/* Set-comparison instructions */ > 1565000265 927024 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 N10 02https://esolangs.org/w/index.php?oldid=65264 5* 03A 5* (+2717) 10Ctrl+C Ctrl+V > 1565000283 966926 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65265&oldid=65264 5* 03A 5* (+0) 10 > 1565000491 157717 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65266&oldid=65265 5* 03A 5* (-532) 10 > 1565000537 70974 PRIVMSG #esoteric :14[[07Multi-machine14]]4 M10 02https://esolangs.org/w/index.php?diff=65267&oldid=56744 5* 03A 5* (+47) 10 > 1565000548 474751 PRIVMSG #esoteric :14[[07Multi-machine14]]4 M10 02https://esolangs.org/w/index.php?diff=65268&oldid=65267 5* 03A 5* (-66) 10 > 1565000893 852122 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65269&oldid=65266 5* 03A 5* (-71) 10/* Set-manipulational instructions */ Hmm... > 1565001050 394586 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65270&oldid=65269 5* 03A 5* (-104) 10= reversed operands = reversed operands = reversed operands = reversed operands > 1565001128 39384 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65271&oldid=65270 5* 03A 5* (-24) 10/* Logical instructions */ I don't see how they are useful < 1565001986 817924 :andrewtheircer!5d561e9e@gateway/web/cgi-irc/kiwiirc.com/ip.93.86.30.158 JOIN :#esoteric < 1565002006 955365 :andrewtheircer!5d561e9e@gateway/web/cgi-irc/kiwiirc.com/ip.93.86.30.158 PRIVMSG #esoteric :hello < 1565002045 236172 :andrewtheircer!5d561e9e@gateway/web/cgi-irc/kiwiirc.com/ip.93.86.30.158 PRIVMSG #esoteric :yeeeeeeet < 1565002181 891391 :andrewtheircer!5d561e9e@gateway/web/cgi-irc/kiwiirc.com/ip.93.86.30.158 PRIVMSG #esoteric :eet < 1565002385 66689 :andrewtheircer!5d561e9e@gateway/web/cgi-irc/kiwiirc.com/ip.93.86.30.158 QUIT :Remote host closed the connection < 1565004003 306093 :myname!~myname@ks300980.kimsufi.com QUIT :Ping timeout: 245 seconds < 1565004527 517726 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric < 1565004667 166154 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Good afternoon. I am unhappy to report that making a second-order purely concatenative language does not help it express control. Monoids are sequential, control is branching. < 1565004777 67548 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net QUIT :Ping timeout: 245 seconds < 1565004861 419836 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :If the objects under composition aren't functions, but something examinable (extensional?) like lists, then maybe. But in a strict definition of "concatenative" they're always described as functions. < 1565004993 194247 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1565005038 506295 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :perhaps my hon. and learned friend fungot knows a way to make a second order concatenative language? < 1565005038 673636 :fungot`!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :wob_jonas: i have another feeling. no, i mean the right thing < 1565005054 198760 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Conventionally, concatenative languages allow functions to be named. Only the function definitions are monoids. The program as a whole is a... some sort of DAG. < 1565005116 288962 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I'm sure fungot knows a way -- the problem is our inability to understand what it means. < 1565005116 624748 :fungot`!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :cpressey: i mean complex examples ( window managers, so i don't know enough. there should exist an implementation which is fast. especially for allocation of n bytes might be: why do you need < 1565005512 899796 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: http://www.nyu.edu/projects/barker/Iota/zot.html is vaguely related to this problem < 1565005909 433531 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Vaguely. < 1565005937 997349 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: (The connection being that it uses CPS to extract a tree structure from a linear representation. It's not quite concatenative as is (that needs another level of CPS) and it's untyped, probably inherently so.) < 1565005958 149937 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Definitely not just second order.) < 1565006111 85791 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Funny how things go. I've encountered Zot yesterday mainly because https://en.wikipedia.org/wiki/Iota_and_Jot#Jot is wrong.) < 1565006171 734762 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh and I can't correct it. "You are currently unable to edit Wikipedia." < 1565006472 694392 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric > 1565006666 806351 PRIVMSG #esoteric :14[[07User talk:A14]]4 10 02https://esolangs.org/w/index.php?diff=65272&oldid=65240 5* 03Areallycoolusername 5* (+229) 10Telling User: A how I made another language. WIP > 1565006696 159381 PRIVMSG #esoteric :14[[07User talk:A14]]4 10 02https://esolangs.org/w/index.php?diff=65273&oldid=65272 5* 03Areallycoolusername 5* (+117) 10typo < 1565006970 762515 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I'm actually somewhat wrong too. You can have control structures, they just have to look like this: x;y;while(a){z;q;if(b){r;p;while(c){q;m;n;}}} < 1565006991 562398 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :You can't "un-nest" after you put one in. < 1565007027 531793 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I mean, I think this is how it works out. < 1565007047 661440 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: what if you use the techniques of Lambda: the Gathering, where you can apply a function either from the left or from the right, and you emulate that with second order concatenative? < 1565007097 323272 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :wob_jonas: I'm not familiar with Lambda: the Gathering. < 1565007113 224508 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: there ought to be a link from the wiki < 1565007129 137632 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :https://esolangs.org/wiki/Lambda:_the_Gathering < 1565007389 845459 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :admittedly that one cheats, you can compose functions only because of the mutable slots < 1565007397 176379 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :you can write to slots and read them < 1565007416 98783 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :No idea offhand how that would work with this, sorry. > 1565008144 143078 PRIVMSG #esoteric :14[[07Wang program14]]4 10 02https://esolangs.org/w/index.php?diff=65274&oldid=46766 5* 03YamTokTpaFa 5* (+11) 10Why not use ref and references tags? < 1565009116 517452 :myname!~myname@ks300980.kimsufi.com QUIT :Ping timeout: 272 seconds < 1565009455 486753 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I think what I've got is TC, so there's no problem there, but it's TC in a "technically TC" rather than in an expressive way. You put a single top-level while around the whole thing, and you can simulate a UTM. Not unlike Burro (and I'm sure others.) < 1565009488 167630 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :But it's slightly interesting in its own way, so I'll probably continue on it. < 1565009566 501529 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :"Concatentive with continuations" sounds interesting enough in *its* own way too though. < 1565009597 193620 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( Rust's style for type annotations looks *wrong* to me: let i: u32 = 4; rather than let i : u32 = 4; ) < 1565009597 256009 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Some people say "concatenative" is just a buzzword. Sometimes I agree with them. I've never really made up my mind on that. < 1565009654 22238 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :int-e: maybe I'm getting old, the only difference I see is whitespace? < 1565009670 411358 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I imagine "concatenative" is like "functional", it means different things to different people < 1565009700 752728 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: I think either of those work < 1565009843 936085 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wob_jonas: I wrote "style" and I'm under the impression that https://doc.rust-lang.org/book/ch03-02-data-types.html is somewhat authoritative. < 1565009872 237184 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: I'm very white-space sensitive when it comes to programming. < 1565010219 223141 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric > 1565010467 631491 PRIVMSG #esoteric :14[[07Talk:Nellephant14]]4 N10 02https://esolangs.org/w/index.php?oldid=65275 5* 03Davipb 5* (+801) 10Possible cat program < 1565010486 820163 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It also says something about how long I haven't touched Pascal. > 1565010821 932518 PRIVMSG #esoteric :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=65276&oldid=65273 5* 03A 5* (+228) 10/* Concern */ < 1565010953 235813 :myname!~myname@ks300980.kimsufi.com QUIT :Ping timeout: 245 seconds < 1565011627 586531 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :In other news, I've learned (after a large amount of hunting around) that, while they are all similar, equational logic is not the same thing as equational propositional logic and is also not the same thing as equivalential calculus. < 1565011682 435513 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: hmm. is there also {equational,equivalential} {algebra,analysis}? < 1565011831 749484 :int-e!~noone@int-e.eu PRIVMSG #esoteric :equivalential calculus seems to have almost nothing to do with equational logic... seeing that \equiv is only used between propositions. < 1565012289 973231 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh well from a classical perspective neither equational propositional logic not equivalential calculus seem very interesting. > 1565012322 608842 PRIVMSG #esoteric :14[[07User talk:A14]]4 10 02https://esolangs.org/w/index.php?diff=65277&oldid=65276 5* 03A 5* (+195) 10/* Concern */ < 1565012467 648422 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Equational propositional logic seems to have been invented by Gries to make discrete math easier to teach to undergrads. Which is fine, but WP's article on Equational logic conflates it with equational logic. < 1565012492 40245 :xkapastel!uid17782@gateway/web/irccloud.com/x-emxovtxkmtmdoyya JOIN :#esoteric < 1565012528 20519 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :*David Gries < 1565012532 313335 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well, equational logic works on terms... which allows a very rich structure, especially if you allow additional equational axioms. < 1565012579 274948 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So yeah, the Wikipedia page is quite misleading. > 1565012605 326929 PRIVMSG #esoteric :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=65278&oldid=65277 5* 03A 5* (+227) 10/* Concern */ > 1565012624 556789 PRIVMSG #esoteric :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=65279&oldid=65278 5* 03A 5* (+158) 10/* Concern */ Whoops, forgot to sign < 1565012639 615461 :int-e!~noone@int-e.eu PRIVMSG #esoteric :http://mathworld.wolfram.com/EquationalLogic.html is much better < 1565012653 797908 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(in particular by the inclusion of congruence) > 1565012685 779391 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65280&oldid=65271 5* 03A 5* (-29) 10/* Built-in Sets */ > 1565012718 689930 PRIVMSG #esoteric :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=65281&oldid=65279 5* 03A 5* (-78) 10/* Concern */ So am I > 1565012742 693259 PRIVMSG #esoteric :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=65282&oldid=65281 5* 03A 5* (-307) 10/* Concern */ I also take that much time to write an interpreter. < 1565012746 674925 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: did you see the Wikipedia talk page? < 1565012810 740668 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :int-e: No, haven't yet. But a lot of my own confusion cleared up after I started reading some course notes on a course on universal algebra. And coincidentally stumbling across equivalential calculus. < 1565012819 739290 :int-e!~noone@int-e.eu PRIVMSG #esoteric :too bad nobody seems to have acted on this. < 1565012854 852328 :int-e!~noone@int-e.eu PRIVMSG #esoteric :FWIW both equivalential calculus and equational propisitional logic were new to me. < 1565012880 678597 :int-e!~noone@int-e.eu PRIVMSG #esoteric :*propositional. Wow, I find this very hard to type :) > 1565012920 884660 PRIVMSG #esoteric :14[[07User talk:A14]]4 10 02https://esolangs.org/w/index.php?diff=65283&oldid=65282 5* 03Areallycoolusername 5* (+313) 10 < 1565012956 163750 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: There is not much on the talk page, except that it points out the same problem of conflating equational logic and equational propositional logic that you've also pointed out. > 1565012960 862210 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65284&oldid=65280 5* 03A 5* (-104) 10/* Logical instructions */ They are useless for now. Done in https://esolangs.org/wiki/Multi-Set_Manipulator/Subset < 1565012992 302993 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :int-e: Yeah, if I had read it earlier... oh well < 1565012993 617727 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ais523: re https://esolangs.org/logs/2019-07-30.html#lxh virtual addresses on current cpus, there's a draft since 2016 for how x86 can extend to more than 48 bits of virtual address space https://software.intel.com/en-us/download/5-level-paging-and-5-level-ept-white-paper . It's not in any current or near future cpus, but it's at least recognized t < 1565012994 116013 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :hat they'll probably eventually need to do this. > 1565013242 733610 PRIVMSG #esoteric :14[[07User talk:A14]]4 10 02https://esolangs.org/w/index.php?diff=65285&oldid=65283 5* 03A 5* (+78) 10/* Concern */ > 1565013555 636441 PRIVMSG #esoteric :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=65286&oldid=65285 5* 03A 5* (+353) 10/* Concern */ > 1565013599 395393 PRIVMSG #esoteric :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=65287&oldid=65286 5* 03A 5* (-77) 10/* Concern */ < 1565013806 211989 :doesthiswork!~doesthisw@98.125.180.92 JOIN :#esoteric > 1565013889 79936 PRIVMSG #esoteric :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=65288&oldid=65287 5* 03A 5* (+7) 10/* Concern */ > 1565013954 612427 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65289&oldid=65284 5* 03A 5* (-124) 10/* Miscellaneous instructions */ -2 operators < 1565013969 428298 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :int-e: I got into this in the first place because I was looking for a system where it is simple to make deductions. Equating two terms is pretty simple... but it turns out Frege's and Hilbert's systems use only modus ponens, and that's pretty simple too. < 1565014013 552998 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I was used to natural deduction, which trades off simplicity of the deductive process, for easier use. > 1565014039 589687 PRIVMSG #esoteric :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=65290&oldid=65288 5* 03A 5* (-1138) 10/* Concern */ < 1565014074 410406 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :So I might try implementing a Hilbert-style proof checker instead of going down the equational route. > 1565014097 241344 PRIVMSG #esoteric :14[[07Talk:25614]]4 M10 02https://esolangs.org/w/index.php?diff=65291&oldid=65192 5* 03A 5* (-2066) 10 > 1565014121 748376 PRIVMSG #esoteric :14[[07Talk:25614]]4 M10 02https://esolangs.org/w/index.php?diff=65292&oldid=65291 5* 03A 5* (-101) 10 < 1565014180 474292 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hilbert just moves all the complexity into axiom schemata :P < 1565014204 73631 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I realize that :) I'm also not sure if these actually take away the complexity of implies-introduction or not. < 1565014212 588505 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :(these MP-based systems) < 1565014244 409369 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :If you still have to do "Suppose x. We show that it entails y. Therefore x -> y" to get a new implication, then that complexity is still there < 1565014269 970401 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Another trade-off is sequents vs. discharging assumptions... > 1565014291 172857 PRIVMSG #esoteric :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=65293&oldid=65290 5* 03A 5* (+211) 10/* Concern */ < 1565014352 953366 :int-e!~noone@int-e.eu PRIVMSG #esoteric :which is related to what you just wrote... with sequents, you can infer |- x -> y from x |- y. With assumptions, you'll infer x -> y from a proof of y that used x as an assumption. < 1565014388 275291 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(or possibly didn't use that assumption at all). > 1565014458 880624 PRIVMSG #esoteric :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=65294&oldid=65293 5* 03A 5* (-27) 10/* Concern */ > 1565014560 85669 PRIVMSG #esoteric :14[[07User talk:A14]]4 10 02https://esolangs.org/w/index.php?diff=65295&oldid=65294 5* 03A 5* (+77) 10/* Concern */ < 1565014571 928785 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric < 1565014600 109714 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Oh is *that* what a sequent is? Okay then! > 1565014639 743992 PRIVMSG #esoteric :14[[07User talk:A14]]4 10 02https://esolangs.org/w/index.php?diff=65296&oldid=65295 5* 03A 5* (-1) 10/* Concern */ < 1565014806 104460 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I think I half-re-invented it without entirely understanding what it was < 1565014816 839253 :int-e!~noone@int-e.eu PRIVMSG #esoteric :In its most general form, a sequent is P_1,...,P_n |- Q_1,...,Q_m, and (classically) means that P_1 /\ ... /\ P_n ==> Q_1 \/ ... \/ Q_n. But the common special case where there is exactly one Q_i is still called a sequent. < 1565014909 439773 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I'm using ==> with a lower precedence than /\ and \/) > 1565014920 537052 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65297&oldid=65289 5* 03A 5* (-113) 10N{0}Z+; Q-Q-(Q+)-{0}; R-R-(R+)-{0}; > 1565015076 872012 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65298&oldid=65297 5* 03A 5* (-47) 10/* Built-in Sets */ Real numbers are trivial becase there isn't the ... operator anymore in MSM > 1565015199 440976 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65299&oldid=65298 5* 03A 5* (-90) 10/* Built-in Sets */ But you can't present decimals either. < 1565015402 258359 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Sequent calculus is what they always use for type judgments too, isn't it < 1565015467 708488 :int-e!~noone@int-e.eu PRIVMSG #esoteric :They tend to use sequents ("judgements") indeed. (I'd be careful with "sequent calculus" because that carries certain inference rules with it, not just the syntax) < 1565015509 443005 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? sequent < 1565015511 40318 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :sequent? ¯\(°​_o)/¯ < 1565015512 266590 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? sequent calculus < 1565015513 344169 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :sequent calculus? ¯\(°​_o)/¯ < 1565015519 443938 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Is that what they use for linear logic? < 1565015529 833304 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I kind of got that |- and -> meant the same thing, but it has always been a bit fuzzy < 1565015588 200136 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Though it's not so easy; the type system judgements often have several kinds of premises (say: types of variables, and values for type variables) and possibly yet another kind on the right-hand side, while (logical) sequents have only propositions. > 1565015625 246100 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65300&oldid=65299 5* 03A 5* (-35) 10~A All items that don't belong to A is useless in actual programming; also, it is impossible to implement. > 1565015643 396954 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 10 02https://esolangs.org/w/index.php?diff=65301&oldid=65300 5* 03A 5* (+17) 10 > 1565015700 47671 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65302&oldid=65301 5* 03A 5* (+138) 10/* Built-in Sets */ > 1565016053 448969 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 10 02https://esolangs.org/w/index.php?diff=65303&oldid=65302 5* 03A 5* (-7) 10/* Set-manipulational instructions */ Overly complex. > 1565016690 569976 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 10 02https://esolangs.org/w/index.php?diff=65304&oldid=65303 5* 03A 5* (+9) 10/* Set-manipulational instructions */ < 1565016727 666942 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :wob_jonas: Linear logic seems usually be presented with sequents, but its inventor would seem to promote using "proof nets" instead < 1565016736 453931 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :It's all very wacky < 1565016744 218583 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :But useful < 1565016754 279346 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Therefore not kooky < 1565016756 974501 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Or something < 1565016774 508233 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh I still don't know what a proof net is. < 1565016857 302771 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I guess I don't want to find out today either. < 1565016868 684998 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :hopefully they're all equivalent syntactic tricks > 1565016901 622120 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65305&oldid=65304 5* 03A 5* (+90) 10 > 1565017384 290466 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 10 02https://esolangs.org/w/index.php?diff=65306&oldid=65305 5* 03A 5* (+0) 10/* Built-in Sets */ > 1565017410 830277 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 10 02https://esolangs.org/w/index.php?diff=65307&oldid=65306 5* 03A 5* (+0) 10 > 1565017424 199589 PRIVMSG #esoteric :14[[07Multi-Set Manipulator/Smaller14]]4 M10 02https://esolangs.org/w/index.php?diff=65308&oldid=65307 5* 03A 5* (-16) 10/* Built-in Sets */ < 1565017860 272176 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Did you know that in en.Wikipedia article titles, only three start with an ascii comma, and all three are redirects? < 1565017869 825416 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :(That's in the main namespace.) < 1565017877 884412 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I did not! < 1565017891 615514 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Honestly I'm a little surprised that articles are allowed to begin with a comma < 1565017905 326790 :int-e!~noone@int-e.eu PRIVMSG #esoteric :, is this a bot prefix? :P < 1565017916 700219 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It is in #nixos and probably other places < 1565017924 517498 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: https://en.wikipedia.org/wiki/, is something obvious :) < 1565017926 515259 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :^prefixes < 1565017926 583678 :fungot`!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :Bot prefixes: fungot ^, HackEso `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . < 1565017928 362155 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`prefixes < 1565017930 566371 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Bot prefixes: fungot ^, HackEso `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . < 1565017950 780864 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Maybe I should bring back pietbot < 1565017986 861366 :int-e!~noone@int-e.eu PRIVMSG #esoteric :boily should bring himself back, and then metasepia. < 1565018006 538355 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :[ +/i.10 < 1565018007 291199 :j-bot!eldis4@firefly.nu PRIVMSG #esoteric :Taneb: 45 < 1565018009 938718 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I can write J! < 1565018028 300009 :int-e!~noone@int-e.eu PRIVMSG #esoteric :[ how bad are the J error messages? < 1565018028 975298 :j-bot!eldis4@firefly.nu PRIVMSG #esoteric :int-e: |value error: the < 1565018028 993662 :j-bot!eldis4@firefly.nu PRIVMSG #esoteric :int-e: | how bad are the J error messages? < 1565018091 488610 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I wonder which of those prefixes are abandonned enough that someone else could potentially usurp it if they provide an even marginally useful use for one < 1565018124 27060 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :) is definitely reusable; ISTR it's left in the fungot prefixes only because that command is implemented in underload and it'd be hard for it to print unbalanced parenthesis < 1565018124 444225 :fungot`!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :wob_jonas: this reminds me of the conversations i ever have trouble sleeping, i'll ride around in buses. tampere might have, can have pccard for even about 30e, recommended. < 1565018146 147395 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm, maybe I should have rode around in buses last night when I couldn't sleep < 1565018146 374624 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :that's cheap < 1565018155 135921 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(I instead read Lord of the Rings for a bit) < 1565018174 94726 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? metasepia < 1565018175 988686 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :metasepia knew the weather at your nearest airport, and also something about ducks. < 1565018176 853625 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? idris-bot < 1565018178 53849 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :idris-bot? ¯\(°​_o)/¯ < 1565018179 128206 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? jconn < 1565018180 140478 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :jconn? ¯\(°​_o)/¯ < 1565018195 506466 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well I still remember idris-bot. < 1565018219 345076 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I wonder if that means I should remove right paren from the prefixes wisdom, since that one doesn't have a problem with unbalanced parens < 1565018245 19363 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I don't remember thutubot, nor jconn; and boith Egobot and metasepia have not been around in the past 5 years? < 1565018252 417421 :int-e!~noone@int-e.eu PRIVMSG #esoteric :boith -> neither < 1565018255 747616 :int-e!~noone@int-e.eu PRIVMSG #esoteric :not -> < 1565018262 967278 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and -> nor < 1565018268 132046 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(too many edits. sorry) < 1565018277 616153 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: jconn was an instance of jevalbot, the same bot that j-bot is also an instance of, evaluates J, and its terrible source code written by me < 1565018294 664971 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :> var"lambdabot listens to greater than too, right?" < 1565018299 742533 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : lambdabot listens to greater than too, right? < 1565018303 984515 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :@run "yeah" < 1565018306 770527 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "yeah" < 1565018321 20553 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@eval "Hi" < 1565018353 73852 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :@help eval < 1565018353 448193 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :eval. Do nothing (perversely) < 1565018355 74912 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`whatis eval < 1565018356 125034 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :eval(1p) - construct command by concatenating arguments \ eval(8lambdabot) - no description \ eval(8jevalbot) - evaluate J fret, names in main namespace are persistent < 1565018412 921004 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I'm particularly curious about the tilde, because it looks like a nice prefix < 1565018812 117616 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm, nobody has complained about the POTM yet. < 1565018819 320863 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION is disappointed. < 1565018933 650077 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`password < 1565018934 428585 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :oxptjpydghfgkbp < 1565018936 257632 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`? password < 1565018937 254270 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :The password of the month is surprising. < 1565018951 13077 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e: do people often complain about it? < 1565018959 811199 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: constantly. < 1565018971 379380 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That's surprising < 1565019000 489685 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I may be exaggerating slightly :P < 1565019036 625030 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`potm < 1565019037 152593 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: potm: not found < 1565019038 447556 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`pom < 1565019039 133045 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :The Moon is Waxing Crescent (27% of Full) < 1565021156 257021 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric ::O < 1565021160 445631 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :`ddate < 1565021161 36598 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Today is Boomtime, the 71st day of Confusion in the YOLD 3185 < 1565021276 397887 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1565021455 371373 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I also wrote a JotaCode program for Discordian calendar, too < 1565021957 345554 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :cool < 1565021966 931467 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :zzo38: have you read Principia Discordia? < 1565022003 832451 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Yes, I have read it < 1565022255 555298 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :(The code is object #20165 on ifMUD.) < 1565022434 928171 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: A la prochaine. < 1565025116 239121 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1565027428 425740 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu JOIN :#esoteric < 1565028335 246143 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net JOIN :#esoteric < 1565028657 400986 :xkapastel!uid17782@gateway/web/irccloud.com/x-emxovtxkmtmdoyya QUIT :Quit: Connection closed for inactivity < 1565028761 624901 :xkapastel!uid17782@gateway/web/irccloud.com/x-hrkinvitetdmducv JOIN :#esoteric < 1565032552 822541 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :``` set -e; cd wisdom; printf "%s\n" phantom*hoover # what the... < 1565032553 504254 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :phantom____________________hoover \ phantom__________hoover \ phantom_______hoover \ phantom___hoover \ phantom__hoover \ phantom_hoover < 1565032653 459851 :heroux!sandroco@gateway/shell/insomnia247/x-wxwsqbbqbxndbnvp QUIT :Ping timeout: 245 seconds < 1565033060 936792 :heroux!sandroco@gateway/shell/insomnia247/x-kxodpquqwkshixjg JOIN :#esoteric < 1565033313 949376 :lldd_!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1565033724 216506 :nfd!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net JOIN :#esoteric < 1565033944 205016 :nfd9001!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net QUIT :Ping timeout: 246 seconds > 1565034825 375069 PRIVMSG #esoteric :14[[07ACL14]]4 10 02https://esolangs.org/w/index.php?diff=65309&oldid=65246 5* 03Hanzlu 5* (-163) 10 < 1565035355 256524 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1565035661 159342 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1565035802 259547 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds < 1565035826 97162 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1565035868 522108 :john_metcalf!~digital_w@host86-139-94-170.range86-139.btcentralplus.com QUIT :Ping timeout: 272 seconds < 1565037322 896702 :pecan!~pecan@c-73-14-46-8.hsd1.co.comcast.net JOIN :#esoteric < 1565038560 127219 :lldd_!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1565040075 301172 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :finally! I managed to hit alt-s to open the history menu in firefox. I keep hitting alt-h and then have to correct because alt-h opens the help menu < 1565040087 473811 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :this might be a first < 1565040137 252434 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :ACTION claps < 1565040141 434091 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :ACTION mails b_jonas a cake < 1565040145 651922 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :thanks < 1565040168 90440 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: can you mail me a cake twh < 1565040186 845714 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also higan mchiïster < 1565040197 375281 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :yes < 1565040202 164545 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :what kind of cake do you guys like < 1565040229 116590 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :chocolate with soft sponge layers < 1565040237 530546 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :do you know about Baumkuchen < 1565040243 632888 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it's a fancy german cake that's baked on a spit < 1565040248 281331 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :layering on batter as you go < 1565040250 392863 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :hence "tree cake" < 1565040254 9432 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fancy < 1565040266 579627 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :a "spit"? < 1565040279 695300 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this is both a description of Baumkichen and a description of the kind of cake i like < 1565040280 666012 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :yes, a horizontal rotating bar < 1565040291 977339 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :as is often used to cook chickens < 1565040293 53991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, my birthday happen recently and i got a cake in the mail < 1565040294 39937 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :ah < 1565040297 537976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :happened < 1565040297 725401 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :I didn't know "spit" meant that < 1565040299 784792 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :shachaf: really! happy birthday < 1565040302 927471 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and what kind was it? < 1565040329 48834 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :strawberry ice cream cake < 1565040352 838468 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :kmc: wow, that was fast! it arrived to shachaf in negative time < 1565040364 573971 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :unfortuantely i had a fruit fly infestation at the time so leaving the cake out to thaw was a bad idea < 1565040382 924482 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :by the time i ate it it had flies embedded in it which i tried to remove < 1565040421 481632 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :oh no < 1565040424 270322 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :F < 1565040435 44749 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :you should get some carnivorous plants < 1565040453 131569 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :much more civilized than herbivorous plants < 1565040465 317871 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :parasitic epiphytes? < 1565041715 792901 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: did you know this fact: < 1565041719 954805 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :many things are good < 1565042477 734965 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Cave of Anti-magic {-} Land ;; Shroud ;; {1UU}, {T}, Discard a card: Counter target spell. ;; {1WW}, {T}, Discard a card: Destroy target enchantment. < 1565042820 623057 :salpynx!794954f8@121.73.84.248 JOIN :#esoteric < 1565042835 885830 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :shachaf: plausible < 1565043053 382486 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :zzo38: no no. there's a good reason why that sort of repeatable counterspelling without restrictions doesn't appear on M:tG cards, even with the discard cost. < 1565043075 504061 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :it doesn't _look_ broken, but I think it would be if they printed it < 1565043076 312530 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1565043096 39887 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :counterspells? i just met 'er! < 1565043124 296579 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :and it's not like it didn't occur to Wizards, because they have a lot of spellshapers with a similar discard+{T}+mana cost < 1565043127 228312 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Maybe it can be improved < 1565043149 711976 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :Dawnstrider is already bad enough < 1565043262 278311 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :the enchantment destruction part is probably fine though, see Devout Witness < 1565043290 422534 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :if you want to get away with the counterspelling, you'll have to ask some restriction on what spell it can target. there's some versions like that. < 1565043297 65775 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :`card-by-name Diplomatic Es < 1565043305 628723 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Diplomatic Escort \ 1U \ Creature -- Human Spellshaper \ 1/1 \ {U}, {T}, Discard a card: Counter target spell or ability that targets a creature. \ MM-U < 1565043331 130210 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :`card-by-name Hisoka, Minamo Sensei < 1565043331 873502 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Hisoka, Minamo Sensei \ 2UU \ Legendary Creature -- Human Wizard \ 1/3 \ {2}{U}, Discard a card: Counter target spell if it has the same converted mana cost as the discarded card. \ CHK-R < 1565043340 327438 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :although... if they can print this: < 1565043347 527474 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :`card-by-name Ghost-Lit Warder < 1565043348 133333 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Ghost-Lit Warder \ 1U \ Creature -- Spirit \ 1/1 \ {3}{U}, {T}: Counter target spell unless its controller pays {2}. \ Channel -- {3}{U}, Discard Ghost-Lit Warder: Counter target spell unless its controller pays {4}. \ SOK-U < 1565043357 401537 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :then maybe you can do an unlimited counterspell too somehow < 1565043380 232965 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :I suspect not the way you just tried though < 1565043464 684275 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :`card-by-name Stronghold Biol < 1565043465 401154 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Stronghold Biologist \ 2U \ Creature -- Human Spellshaper \ 1/1 \ {U}{U}, {T}, Discard a card: Counter target creature spell. \ NE-U < 1565043472 91494 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :`card-by-name Stronghold Machi < 1565043472 764904 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Stronghold Machinist \ 2U \ Creature -- Human Spellshaper \ 1/1 \ {U}{U}, {T}, Discard a card: Counter target noncreature spell. \ NE-U < 1565043483 808139 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :hmm < 1565043531 87386 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :the repeated counter that I use is < 1565043534 566934 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu PRIVMSG #esoteric :`card-by-name Disruptive < 1565043535 229594 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Disruptive Pitmage \ 2U \ Creature -- Human Wizard \ 1/1 \ {T}: Counter target spell unless its controller pays {1}. \ Morph {U} (You may cast this card face down as a 2/2 creature for {3}. Turn it face up any time for its morph cost.) \ ONS-C \ \ Disruptive Student \ 2U \ Creature -- Human Wizard \ 1/1 \ {T}: Counter target spell unless its controller pays {1}. \ US-C < 1565043698 571339 :b_jonas!~x@catv-176-63-24-89.catv.broadband.hu QUIT :Quit: leaving < 1565044160 835357 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :OK < 1565047528 216005 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 245 seconds < 1565047755 433135 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :int-e: the Wikipedia Jot entry does seem wrong, do you have a particular correction in mind? I can't quite figure out what a clear improvement would be. 11100 = (ι(ι(ιι)) (= K) seems to be what is intended, but (ιι)(ιι) would be an empty string? < 1565047832 875863 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :The whole single sentence description of Jot seems like it is flawed, and I'm not sure how to relate it back to the source material, without writing something completely different.