< 1587513628 321766 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection < 1587513651 796991 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1587517180 12341 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1587518434 838124 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Read error: Connection reset by peer < 1587519606 799936 :LKoen!~LKoen@81.255.219.130 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1587520078 43865 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Hello > 1587527148 965061 PRIVMSG #esoteric :14[[07Egaharjb14]]4 N10 02https://esolangs.org/w/index.php?oldid=71299 5* 03DanielCristofani 5* (+1691) 10Created page with "This is a very simple language I designed accidentally. It consists only of regex find-and-replaces with loops; it's meant for banging text files into a different shape, but i..." < 1587527956 845727 :tromp!~tromp@2a02:a210:ca3:2800:8072:f253:7f2b:d619 JOIN :#esoteric < 1587528236 840888 :tromp!~tromp@2a02:a210:ca3:2800:8072:f253:7f2b:d619 QUIT :Ping timeout: 246 seconds < 1587528327 236407 :pikhq!sid394595@gateway/web/irccloud.com/x-hovhomidionhhtrh PRIVMSG #esoteric :Hi < 1587528639 330499 :tromp!~tromp@2a02:a210:ca3:2800:3109:11c:25a8:8ffd JOIN :#esoteric < 1587528961 351553 :tromp!~tromp@2a02:a210:ca3:2800:3109:11c:25a8:8ffd QUIT :Ping timeout: 272 seconds < 1587529637 990394 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric < 1587529915 988495 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :Ping timeout: 256 seconds < 1587529931 162587 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Maybe the version control file in TeXnicard should store multiple versions < 1587532886 328941 :tromp!~tromp@2a02:a210:ca3:2800:31b1:7752:d9c3:1f7b JOIN :#esoteric < 1587533179 321296 :tromp!~tromp@2a02:a210:ca3:2800:31b1:7752:d9c3:1f7b QUIT :Ping timeout: 272 seconds < 1587533871 10749 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 JOIN :#esoteric < 1587534173 2475 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 QUIT :Ping timeout: 265 seconds < 1587534926 302417 :craigo!~craigo@144.136.206.168 JOIN :#esoteric < 1587537123 12400 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 JOIN :#esoteric < 1587537420 993200 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 QUIT :Ping timeout: 265 seconds < 1587538847 315762 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 JOIN :#esoteric < 1587541633 560796 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :http://www.froup.com/tr/tr.pl?242 < 1587542166 236748 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1587542825 105179 :wlp1s1!iczero@hellomouse/dev/iczero JOIN :#esoteric < 1587542845 773801 :iczero!iczero@hellomouse/dev/iczero QUIT :Read error: Connection reset by peer < 1587545719 351850 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 QUIT :Ping timeout: 272 seconds < 1587546056 866646 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 JOIN :#esoteric < 1587546395 477938 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric > 1587546815 869439 PRIVMSG #esoteric :14[[07Egaharjb14]]4 10 02https://esolangs.org/w/index.php?diff=71300&oldid=71299 5* 03DanielCristofani 5* (+531) 10 < 1587546856 299975 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric > 1587547051 864268 PRIVMSG #esoteric :14[[07Egaharjb14]]4 10 02https://esolangs.org/w/index.php?diff=71301&oldid=71300 5* 03DanielCristofani 5* (+740) 10 < 1587547224 564562 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :"given two rooted trees, calculate minimal amount of leafs to remove so that the trees are isomorphic" <- is there a smarter solution to that than bruteforce? > 1587547379 14216 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=71302&oldid=71280 5* 03DanielCristofani 5* (+15) 10/* E */ > 1587547607 50345 PRIVMSG #esoteric :14[[07Egaharjb14]]4 M10 02https://esolangs.org/w/index.php?diff=71303&oldid=71301 5* 03DanielCristofani 5* (+0) 10 < 1587548072 960375 :int-e!~noone@int-e.eu PRIVMSG #esoteric :kspalaiologos: are those trees ordered or unordered? < 1587548113 171429 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :they are unordered < 1587548155 451894 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(just clarifying, it may not even make any real difference to hardness) < 1587548177 865441 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I've heard that there's a more optimal solution to this problem < 1587548180 173943 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :but I can't figure it out < 1587548202 867962 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"more optimal" :-/ < 1587548247 888140 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1587548302 321394 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :has lower computational complexity < 1587548438 40515 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :hi! < 1587548545 646157 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1587548574 504438 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric > 1587548722 328622 PRIVMSG #esoteric :14[[07Cell14]]4 10 02https://esolangs.org/w/index.php?diff=71304&oldid=68083 5* 03OsmineYT 5* (+56) 10 < 1587548735 633927 :int-e!~noone@int-e.eu PRIVMSG #esoteric :kspalaiologos: but rooted, I hope < 1587548744 425577 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :yes obviously < 1587548765 959404 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I suspect this one is actually in P. < 1587548924 711518 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It's amenable to dynamic programming (in order to figure out the answer for the root, first compute the answer for all pairs of children of the root), with maximum weight bipartite matching to combine those values. < 1587548957 981345 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(For this purpose, the value that is to be maximized is the number of leafs kept.) > 1587549130 516624 PRIVMSG #esoteric :14[[07User:OsmineYT14]]4 10 02https://esolangs.org/w/index.php?diff=71305&oldid=71288 5* 03OsmineYT 5* (+16) 10 < 1587549150 863680 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric > 1587549179 153279 PRIVMSG #esoteric :14[[07User:OsmineYT14]]4 10 02https://esolangs.org/w/index.php?diff=71306&oldid=71305 5* 03OsmineYT 5* (+1) 10 > 1587549206 294857 PRIVMSG #esoteric :14[[07User:OsmineYT14]]4 10 02https://esolangs.org/w/index.php?diff=71307&oldid=71306 5* 03OsmineYT 5* (-16) 10 < 1587549214 817545 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds < 1587549229 913759 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1587549302 796288 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Any unpaired children end up with 0 leafs; they are deleted in full. There may well be an off-by-one error in this logic, but essentially it should work like this.) < 1587549495 564051 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I've already done the Newick parser < 1587549599 83921 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Eww, Firefox, why? Why enlarge the location bar when it's focused? < 1587550332 301762 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Meh. It can be disabled, at least for now, https://lifehacker.com/how-to-disable-firefox-75s-new-address-bar-1842728031 < 1587550728 955327 :wlp1s1!iczero@hellomouse/dev/iczero QUIT :Excess Flood < 1587550742 627468 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(It's actually kind of impressive just how offensive I find this idea. I feel like they're pushing that thing into my face. But it probably comes from having trained myself to notice and act upon minor visual cues from the UI for decades. Oh and I hate change.) < 1587550751 350636 :wlp1s1!iczero@hellomouse/dev/iczero JOIN :#esoteric < 1587550762 268659 :int-e!~noone@int-e.eu PRIVMSG #esoteric :kspalaiologos: parsing seems to be the easy part :P < 1587550770 255088 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :yes < 1587550783 209275 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I'm essentially in a point where I have the labeled tree's hashmap built < 1587550795 682901 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :and I think I'm up to something > 1587550910 717210 PRIVMSG #esoteric :14[[07Egaharjb14]]4 10 02https://esolangs.org/w/index.php?diff=71308&oldid=71303 5* 03Keymaker 5* (+194) 10Added some categories. > 1587551407 173622 PRIVMSG #esoteric :14[[07Daniel B. Cristofani14]]4 10 02https://esolangs.org/w/index.php?diff=71309&oldid=30550 5* 03DanielCristofani 5* (+18) 10 < 1587551829 421458 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :https://math.stackexchange.com/questions/3627784/does-the-fraction-of-distinct-substrings-in-prefixes-of-the-thue-morse-sequence perhaps this question is of interest to folks here > 1587552573 579308 PRIVMSG #esoteric :14[[07Beatnik14]]4 10 02https://esolangs.org/w/index.php?diff=71310&oldid=67619 5* 03OsmineYT 5* (+65) 10 < 1587553676 274043 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :I wonder which substrings do not occur < 1587553725 97910 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :or do all substrings occur? but some occur multiple times < 1587553735 502538 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 PRIVMSG #esoteric :BB*36) looking mighty impressive on https://oeis.org/A333479 < 1587554246 611182 :int-e!~noone@int-e.eu PRIVMSG #esoteric :how much do you trust those numbers? < 1587554376 364932 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 PRIVMSG #esoteric :not with my life, but would be willing to stake some money on them > 1587554430 495637 PRIVMSG #esoteric :14[[07Egaharjb14]]4 M10 02https://esolangs.org/w/index.php?diff=71311&oldid=71308 5* 03DanielCristofani 5* (+18) 10 > 1587554483 883892 PRIVMSG #esoteric :14[[07Egaharjb14]]4 M10 02https://esolangs.org/w/index.php?diff=71312&oldid=71311 5* 03DanielCristofani 5* (-4) 10 < 1587554613 633779 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 PRIVMSG #esoteric :so about as much as i trust numbers in https://oeis.org/A094777 < 1587554684 476123 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm. < 1587555125 297742 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Hmm, on the OEIS page, maybe you could mention the 5n+6 thing? < 1587555225 566519 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: And about the Go enumeration, do you have the number(s) of edge states somewhere? < 1587555434 50065 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ah, the paper has it. 363,324,268,018 < 1587555448 578338 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 PRIVMSG #esoteric :yes, also mentioned on my webpage < 1587555507 511558 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 PRIVMSG #esoteric :sure, i can add 5n+6. and links to the BB files > 1587555700 733122 PRIVMSG #esoteric :14[[07Control Flow14]]4 10 02https://esolangs.org/w/index.php?diff=71313&oldid=51805 5* 03IFcoltransG 5* (+1432) 10Added a few more control flow examples and the Concepts category < 1587556088 780639 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hip, hip, hooray! My little paper is on arXiv. > 1587557577 197804 PRIVMSG #esoteric :14[[07Modulo14]]4 N10 02https://esolangs.org/w/index.php?oldid=71314 5* 03OsmineYT 5* (+183) 10Created page with "'''Modulo''' is esolang invented and created by [[User:OsmineYT]]. All commands must start with "%" (modulo, percent) sign. == Syntax == Every Modulo command starts with modu..." < 1587558173 140901 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1587558635 804240 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric > 1587559158 667501 PRIVMSG #esoteric :14[[07User:OsmineYT14]]4 10 02https://esolangs.org/w/index.php?diff=71315&oldid=71307 5* 03OsmineYT 5* (+95) 10 < 1587559510 906742 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( There are three kinds of people, those who believe in the law of excluded middle and those who don't. ) < 1587560529 783223 :arseniiv_!~arseniiv@136.169.231.141 JOIN :#esoteric < 1587564023 252633 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hmm... True, false, neither. Technically correct? > 1587564373 252551 PRIVMSG #esoteric :14[[07FarTooGeneral14]]4 N10 02https://esolangs.org/w/index.php?oldid=71316 5* 03Baidicoot 5* (+2337) 10Created page with "= FarTooGeneral = FarTooGeneral (FTG) is an esoteric 'execution architecture' created by [[/wiki/User:Baidicoot|User:Baidicoot]] during the COVID-19 pandemic as a means of not..." > 1587564646 681125 PRIVMSG #esoteric :14[[07FarTooGeneral14]]4 10 02https://esolangs.org/w/index.php?diff=71317&oldid=71316 5* 03Baidicoot 5* (+199) 10/* Execution */ > 1587564682 905200 PRIVMSG #esoteric :14[[07FarTooGeneral14]]4 10 02https://esolangs.org/w/index.php?diff=71318&oldid=71317 5* 03Baidicoot 5* (+13) 10/* Example Data Structures */ > 1587565932 869832 PRIVMSG #esoteric :14[[07User:Orby14]]4 M10 02https://esolangs.org/w/index.php?diff=71319&oldid=70544 5* 03Orby 5* (+85) 10 > 1587566089 136767 PRIVMSG #esoteric :14[[07FarTooGeneral14]]4 10 02https://esolangs.org/w/index.php?diff=71320&oldid=71318 5* 03Baidicoot 5* (+1169) 10 > 1587566193 261490 PRIVMSG #esoteric :14[[07FarTooGeneral14]]4 10 02https://esolangs.org/w/index.php?diff=71321&oldid=71320 5* 03Baidicoot 5* (+133) 10/* Example Program */ > 1587566232 744438 PRIVMSG #esoteric :14[[07FarTooGeneral14]]4 10 02https://esolangs.org/w/index.php?diff=71322&oldid=71321 5* 03Baidicoot 5* (-25) 10/* Example Program */ > 1587566337 705970 PRIVMSG #esoteric :14[[07Disan14]]4 M10 02https://esolangs.org/w/index.php?diff=71323&oldid=65501 5* 03PythonshellDebugwindow 5* (+57) 10cats > 1587566362 214002 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=71324&oldid=71302 5* 03PythonshellDebugwindow 5* (+12) 10/* D */ < 1587566803 869150 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds > 1587567366 933803 PRIVMSG #esoteric :14[[07ASM14]]4 M10 02https://esolangs.org/w/index.php?diff=71325&oldid=70435 5* 03PythonshellDebugwindow 5* (+10) 10/* Examples */ fix link > 1587567398 584 PRIVMSG #esoteric :14[[07ASM14]]4 M10 02https://esolangs.org/w/index.php?diff=71326&oldid=71325 5* 03PythonshellDebugwindow 5* (+20) 10/* Examples */ pipe trick < 1587567521 749876 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 PRIVMSG #esoteric :int-e: the following appears to be looping, but is still a bit of a challenge to prove: < 1587567523 934389 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 PRIVMSG #esoteric :-- TODO: (\1 1) (\1 (1 (\\2 (3 1)))) < 1587567576 807000 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1587567634 322819 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1587567694 312449 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1587568674 523372 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1587568720 499919 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1587570179 475370 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 258 seconds < 1587570295 997898 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1587570784 39820 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1587570891 912123 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1587572066 361197 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1587573776 611694 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Do you have some ideas about the change set format and version control file format of TeXnicard? I thought that perhaps the version control file should store multiple versions, just writing the new version at the end after the previous version. Two new fields can be added in the header, one points to the most recent key frame (since there is no need to read previous frames), and other one points to the end of the file. < 1587573813 366552 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :(You need one to point to the end of the file in case the data is partially written at the end, so that it is possible to recover from it.) < 1587574414 235852 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 265 seconds < 1587574446 282292 :atslash!~atslash@46.188.0.82 JOIN :#esoteric < 1587575694 299493 :S_Gautam!uid286066@gateway/web/irccloud.com/x-exsxozqarepttllt JOIN :#esoteric < 1587576531 309129 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 260 seconds < 1587576766 399585 :arseniiv!~arseniiv@136.169.207.172 JOIN :#esoteric < 1587576901 808487 :arseniiv_!~arseniiv@136.169.231.141 QUIT :Ping timeout: 264 seconds < 1587577273 262370 :atslash!~atslash@46.188.0.82 QUIT :Ping timeout: 250 seconds < 1587577276 778050 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1587577306 880019 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric > 1587577608 931300 PRIVMSG #esoteric :14[[07Gummy Bear14]]4 N10 02https://esolangs.org/w/index.php?oldid=71327 5* 03Hakerh400 5* (+15940) 10+[[Gummy Bear]] > 1587577613 386008 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=71328&oldid=71324 5* 03Hakerh400 5* (+17) 10+[[Gummy Bear]] > 1587577617 377788 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=71329&oldid=71249 5* 03Hakerh400 5* (+17) 10+[[Gummy Bear]] < 1587579397 304986 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1587579585 745674 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 QUIT :Remote host closed the connection < 1587579606 57749 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 JOIN :#esoteric < 1587580335 428417 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I recall someone in here playing ifMUD. < 1587580338 56761 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :zzo38: was it you? < 1587580345 888166 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :imode: Yes. < 1587580370 469171 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :how do permissions/ownership principles work in ifMUD? if a person designs an object and others use it, how malicious can it be? < 1587580401 944040 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :imode: It can teleport the user, but not much else. < 1587580460 957347 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I see. can one user's object interact with another user's object? is there a dedicated permissions system? < 1587580499 483542 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :No, there is no permission system, unfortunately. < 1587580507 503917 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :interesting. < 1587580527 702750 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :(Well, there is a very limited one: If an object has the "examinable" flag set, then other users, and programs by other users, can read that object's fields; otherwise they are unreadable.) < 1587580584 776052 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :There are also listening exits, which it would seem can be triggered by programs, so this can be done to activate another object remotely by a program even if you do not own it. < 1587580645 468632 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :I wanted a more sophisticated permission system, where you can define group/other permissions (similar to UNIX permissions) on field names and on prefixes of field names (where the "group" is actually a channel), although this is not currently implemented. < 1587580667 959359 :oren!~oren@ec2-18-234-164-48.compute-1.amazonaws.com PRIVMSG #esoteric :why do all putty-based terminal software hate diacricits < 1587580711 438123 :oren!~oren@ec2-18-234-164-48.compute-1.amazonaws.com PRIVMSG #esoteric :does anyone know of a terminal software that doesn't hate diacritics? < 1587580716 926719 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :zzo38: how easy/difficult would you say it'd be to implement something like this purely in ifMUD coe? < 1587580719 477377 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :s/coe/code < 1587580801 168916 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :imode: The permissions system I mentioned I think would have to be done in Perl, although there are many things that can be done in ifMUD code; you can look at some of my object codes (most of them are set examinable) in order to see how I have done some of them < 1587580847 498443 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :is ifMUD extensible via perl? < 1587580858 607993 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :huh. < 1587580886 202663 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :It is written in Perl, although only the server operator can alter its code (although apparently it is possible to alter it while it is running; I am not sure how that works, though) < 1587580926 632516 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :the reason I ask is that I'm debating between including a permissions system for my project or allowing "world builders" to add it via plugins (along with other pieces of code). < 1587580950 15435 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :right now all I do is hand you a postfix lang, a key-value db and a chat system. < 1587580966 342992 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :and a way to import procedures via a "package manager". < 1587581053 677576 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :I think that a permission system should be added, more than what ifMUD currently has (which is only the "examinable" flag, which isn't much) < 1587581418 113598 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1587582589 857343 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Perhaps the prefix-based permissions like I mentioned might do. < 1587582832 324015 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :thanks for the info. I think I've decided to have a very, very basic set of permissions that are applicable regardless of intent. owners of "servers" can determine who can use what procedures and primitives, and create roles for people that join. < 1587582985 653902 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :OK < 1587584144 123709 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :imode: oh you are making a multi-world-something-thing? < 1587584273 283367 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :and using that queue-based language we’ve discussed a handful of times? how had it evolved, did you add something else to threading? < 1587584709 130135 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :arseniiv: yup! I'm taking a majority of the language and turning it into a multi-"world" multi-user environment. < 1587584724 425033 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I scrapped the concurrency features. < 1587584748 173141 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :but I added things like lists, strings, floats, local and global (across all procedures and persistent) variables. < 1587584834 588646 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :if you make a user account, you can join "worlds" other users have created. < 1587584890 505934 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :each of these worlds constitutes a key-value database, a set of procedures, and a set of groups. there's also a package manager and a central package repository for importing new features into your world. < 1587584910 394350 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :that’s interesting. I’ll help you test this thing if you’d be interesting and I would be able to set up the things it would need < 1587584917 226422 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving < 1587584981 931577 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I'd love that! I plan on launching a private alpha to interested parties to test things out. eventually, I plan on having world ownership be a subscription service. < 1587585100 545944 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :tiered by resources, essentially. if you want a larger call depth, more key-value entries, longer programs and larger scratch space, you can have that. < 1587585237 503097 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :imode: BTW how do you see (hm I forgot the accurate term) a “named-field spreadsheet” thing where if X is defined using Y and Y’s definition changes, X’s value would change automatically (and if X depends on itself, the system would strongly criticize you and not do anything)? It may or may not be useful in such setting. Certainly not for all definitions, but maybe for some specially marked ones < 1587585301 216822 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I'd see that as a dataflow graph. < 1587585332 88057 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :if you change a cell, all cells that depend on that cell would have to update, and all cells that depend on the newly updated cells would have to update, so on and so forth. < 1587585351 514371 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :(in any case you can lambdabot me if I won’t be around, I’m lazy to logread for a long long time now) < 1587585364 175210 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :yeah that’s how I understand that thing is implemented < 1587585375 302829 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :there's not much else you can do. < 1587585375 366443 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :and you check for cycles when a definition changes < 1587585379 713020 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :yup. < 1587585432 625521 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :it can be made into a its own kind of storage if it’s useful, but I didn’t experiment with this before, only read about it < 1587585572 967574 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :I am not so interested in what imode is making unless perhaps the source code will be freely available and fully documented, and can be used with a telnet client. I also have no interest in joining a private alpha, regardless of the conditions. < 1587585709 408972 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :well, if it helps, I plan on releasing a self-hostable version in the future that's FOSS. < 1587585758 108403 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Yes, that can help. < 1587585767 906391 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :gotta make money somehow in the interrim. < 1587585798 960059 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Yes, OK, and even if the self-hostable FOSS version is available, you can still charge money for using on your server too, anyways, I think < 1587585858 875964 :S_Gautam!uid286066@gateway/web/irccloud.com/x-exsxozqarepttllt QUIT :Quit: Connection closed for inactivity < 1587585904 471727 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :correct. typically there's a good stretch between when something is available and when the product is open sourced. the start-up costs involved are made back by the exclusivity in the first couple of months, and then after that you have an existing user base that's already present on your infra. < 1587585930 134861 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :OK < 1587585946 387896 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :so people who really wanna dig into the code and self-host will be happy, but I can still pay my engineers and offer convenience. < 1587586298 903833 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Today I was pondering about what monads in the poset of sets and the subset relation, considered as a category, look like < 1587586318 343106 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Then the friend I was talking to googled and apparently they're closure operators, which are apparently a thing < 1587586466 23960 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I love it when things are things < 1587586545 341604 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :and comonads there are… damn, I forgot the part where I read about functions on set algebras being the other way. They had a name for that too < 1587586629 263437 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Coclosure operator? < 1587586782 717821 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :Taneb: they had a usual name too, I think that was a chapter in Pierce, on recursive types, maybe regarding to the difference between μ and ν. That required a more general theory which I’ll try to find now what it was there about < 1587586812 976123 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Kernel operators? < 1587587213 423837 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :TeXnicard seem not the only alternative to Magic Set Editor; I also found something called PrincessEdit, although I cannot seem to find any documentation about how to use it. < 1587587218 827983 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :ah, I found that part. There, several properties of a subset X ⊂ U, given a function F: P(U) → P(U) (P is powerset), are defined: X is F-closed if X ⊂ F(X), is F-consistent if F(X) ⊂ X (and a fixed point if F(X) = X, but that’s not interesting). So that’s not too related to closure operators but if it somehow is, co-operators may be called “consistency operators”, hm < 1587587403 168015 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :ah, I see. For F being a closure operator at least requires any X ⊂ U be F-closed < 1587587430 712916 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :so F being a “consistency operator” should require any X be F-consistent < 1587587468 639249 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :as of monotonicity and idempotency of F in this case, I don’t know < 1587587614 288763 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :ah there is a simpler axiomatization: X ⊂ F(Y) iff F(X) ⊂ F(Y). Now it’s obvious how to dualize that! F(X) ⊂ Y iff F(X) ⊂ F(Y). And also we can plainly see monadic bind and comonadic extend here too, yeah < 1587587645 551650 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :in Kleisli or something something form < 1587587665 950176 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :I don’t know what I’m saying here < 1587587709 104958 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :ah, yes, they say on en.wikipedia the dual is called a kernel operator indeed! Or also an interior operator or a dual closure < 1587587813 508595 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :also when axiomatizing closure via monotonicity, idempotency and “any X is F-closed”, they say the dual has both first and second unchanged < 1587588039 169741 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :oh jesus, pointless topolocy < 1587588046 377493 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :this channel can get weird about mathematics > 1587588131 857575 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=71330&oldid=71297 5* 03PythonshellDebugwindow 5* (-2408) 10/* Unnamed language 2 */ < 1587588218 946452 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :b_jonas: topology is pointless, resistance is futile. We are fixed point > 1587588788 188259 PRIVMSG #esoteric :14[[07Phile14]]4 N10 02https://esolangs.org/w/index.php?oldid=71331 5* 03PythonshellDebugwindow 5* (+3276) 10Created page with "'''Phile''' is an esolang by [[User:PythonshellDebugwindow]]. ==Syntax== Each line in Phile is one of the following: OPEN ''fname''; WRITE ''fname'' ''value''; OVERWRITE '..." > 1587588896 985595 PRIVMSG #esoteric :14[[07Phile14]]4 M10 02https://esolangs.org/w/index.php?diff=71332&oldid=71331 5* 03PythonshellDebugwindow 5* (+99) 10 < 1587589033 452221 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1587589051 694397 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :does a word for cold (an illness) in your languages have something in common not with being cold/chilled/frozen? < 1587589192 549724 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We typically call the common cold "flunssa", which as a word is obviously related to influenza/flu, which we call "influenssa". < 1587589216 971660 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :https://en.wiktionary.org/wiki/flunssa < 1587589248 424072 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :fizzie: interesting! < 1587589264 679774 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :I was afraid I caught a cold and I noted once more that in Russian it related to being in the cold toom roughly it translates as “a state related to having been in the cold earlier” < 1587589275 815919 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :(if it translates at all) < 1587589350 53639 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Finnish does also have a cold-related synonym "vilustuminen", which is roughly "becoming cold" except not quite. < 1587589352 821411 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :s/toom/too, < 1587589373 85643 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :yeah, the details! < 1587589422 844906 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That is, "vilu" is specifically the sensation of feeling cold, not so much a low temperature in an absolute sense. < 1587589467 880624 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(The latter would be "kylmä".) > 1587589527 23152 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/RandomNameGenerator14]]4 N10 02https://esolangs.org/w/index.php?oldid=71333 5* 03PythonshellDebugwindow 5* (+1208) 10Created page with "This program will output ten random letter combinations with a length of 5 to 8 characters. function gen(n) { 1587589578 166873 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=71334&oldid=71151 5* 03PythonshellDebugwindow 5* (+143) 10 > 1587589597 25602 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=71335&oldid=71334 5* 03PythonshellDebugwindow 5* (+14) 10/* Random name generator */ > 1587589607 365362 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/RandomNameGenerator14]]4 M10 02https://esolangs.org/w/index.php?diff=71336&oldid=71333 5* 03PythonshellDebugwindow 5* (+11) 10 > 1587589618 348657 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=71337&oldid=71335 5* 03PythonshellDebugwindow 5* (+12) 10 > 1587589636 298234 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=71338&oldid=71328 5* 03PythonshellDebugwindow 5* (+12) 10/* P */ > 1587589722 883012 PRIVMSG #esoteric :14[[07Truth-machine14]]4 M10 02https://esolangs.org/w/index.php?diff=71339&oldid=71227 5* 03PythonshellDebugwindow 5* (+197) 10/* Phile */ < 1587590890 971536 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Excess Flood < 1587590916 371694 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1587591959 599531 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :Do any of you fine esolangers know of an existing Forth that's based on SK calculus? < 1587591980 770663 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :I wrote one, but I don't want to add an entry to the wiki if it's already something that has been done. < 1587591989 850453 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :https://code.forder.cc/esolang/skiforth < 1587592046 213085 :kmc!~beehive@unaffiliated/kmcallister QUIT :Ping timeout: 265 seconds < 1587592046 251243 :izabera!~izabera@unaffiliated/izabera QUIT :Ping timeout: 265 seconds < 1587592075 226523 :spruit11!~unknown@ip56522cc1.speed.planet.nl QUIT :Ping timeout: 265 seconds < 1587592087 2902 :kmc!~beehive@unaffiliated/kmcallister JOIN :#esoteric < 1587592090 268090 :izabera!~izabera@unaffiliated/izabera JOIN :#esoteric < 1587592109 404960 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1587592194 664347 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :orbitaldecay: nice < 1587592224 40892 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :Thank you! I think it's pretty neat. I'm excited about the idea. Did you look at boolean.skf? < 1587592238 820584 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :It seems to be possible to bootstrap a normal forth implementation using sk calculus < 1587592257 433393 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :that file is the beginning of that < 1587592258 904692 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :provided you can simulate things like RAM. < 1587592273 344485 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :yeah, that gets tricky < 1587592297 774430 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :I mean, theoretically possible, but probably a really slow way to go < 1587592359 264826 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1587592378 414340 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :I'll probably eventually introduce an integer type to speed up arithmetic, but I want to avoid doing that sort of thing as much as possible < 1587592466 826685 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :a forth based on SK combinator calculus? that sounds like contradiction < 1587592471 685566 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :do you have a link? < 1587592494 722685 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :https://code.forder.cc/esolang/skiforth previously posted. < 1587592496 806067 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds < 1587592497 161451 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1587592715 344243 :craigo!~craigo@144.136.206.168 QUIT :Ping timeout: 260 seconds < 1587593238 133119 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :Don't get too excited, its basically unlambda in post-fix notation with the forth : ; syntax < 1587593249 228268 :arseniiv!~arseniiv@136.169.207.172 PRIVMSG #esoteric :orbitaldecay: Did you look at boolean.skf? => yeah < 1587593289 277752 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :arseniiv: cool, I want to write a standard lib to build up the language like a regular forth < 1587593296 845197 :arseniiv!~arseniiv@136.169.207.172 QUIT :Quit: gone too far < 1587593321 620096 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :I was surprised at how quickly I was able to get away from using function application < 1587593855 647360 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :orbitaldecay: ok, I wouldn't call that either unlambda or forth < 1587594371 770999 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :b_jonas: I'm actually glad to hear you say that. I was trying to make something sufficiently different from both. < 1587594533 824879 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: PRIVMSG #esoteric :The way the tokens are parsed and the : ; is very forth, hence the name. But under the hood it's totally different obviously. < 1587596240 670889 :tromp!~tromp@2a02:a210:ca3:2800:552e:4c4c:241c:4355 QUIT :Remote host closed the connection > 1587599256 301787 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=71340&oldid=71337 5* 03PythonshellDebugwindow 5* (-38) 10 > 1587599565 818805 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=71341&oldid=71340 5* 03PythonshellDebugwindow 5* (+538) 10/* Languages */