< 1607043011 738251 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :`? hth < 1607043017 715642 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :hth ([ʰtʰh̩]) is help received from a hairy toe. It is not at all hambiguitous. < 1607043289 260904 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :`? hackeso < 1607043290 558376 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :HackEso is almost, but not quite, entirely unlike HackEgo. < 1607043295 15189 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :`? hackego < 1607043296 323217 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. HackEgo is the slowest bot in all Mexico! < 1607043347 916672 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Regarding an AoC #esoteric leaderboard... I try hard not to be competetive about this. So I'm rather disinclined. < 1607043468 556752 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Not that that should stop anybody. But it won't be large enough for lurking anonymously (in contrast to the #haskell one which I did actually join) > 1607044081 521895 PRIVMSG #esoteric :14[[07Befreak14]]4 M10 02https://esolangs.org/w/index.php?diff=79117&oldid=79115 5* 03PythonshellDebugwindow 5* (+27) 10link < 1607044383 956454 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(I don't know how common it is to load EPUB files in Firefox in this way.) < 1607044725 849695 :bcasiello!~brian@071-088-110-201.res.spectrum.com JOIN :#esoteric < 1607046234 132364 :Lord_of_Life_!~Lord@46.217.221.156 JOIN :#esoteric < 1607046258 144965 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 260 seconds < 1607046344 252839 :Lord_of_Life_!~Lord@46.217.221.156 NICK :Lord_of_Life < 1607049586 640849 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1607050237 774017 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1607052685 901885 :deltaepsilon23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com JOIN :#esoteric > 1607052925 961935 PRIVMSG #esoteric :14[[07Flipfractal14]]4 N10 02https://esolangs.org/w/index.php?oldid=79118 5* 03Delta23 5* (+719) 10Created page with "Flipfractal is an experimental variant of [[Memfractal]], which was created by [[User:Zzo38]]. It takes ideas from [[BackFlip]] and the Memfractal specifications by User:Cam..." > 1607052987 251401 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=79119&oldid=79106 5* 03Delta23 5* (+18) 10add flipfractal < 1607053192 821181 :deltaepsilon23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com NICK :delta23 > 1607053508 98329 PRIVMSG #esoteric :14[[07Flipfractal14]]4 M10 02https://esolangs.org/w/index.php?diff=79120&oldid=79118 5* 03Delta23 5* (+88) 10Add truth machine example > 1607053961 865386 PRIVMSG #esoteric :14[[07Flipfractal14]]4 M10 02https://esolangs.org/w/index.php?diff=79121&oldid=79120 5* 03Delta23 5* (+172) 10Minor details < 1607056332 159145 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net JOIN :#esoteric > 1607057089 528301 PRIVMSG #esoteric :14[[07Expensive14]]4 10 02https://esolangs.org/w/index.php?diff=79122&oldid=79105 5* 03Hakerh400 5* (+84) 10/* Hello, world! */ < 1607057139 952127 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :What camera settings should be used to take pictures of Christmas lights? > 1607057277 463683 PRIVMSG #esoteric :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=79123&oldid=79090 5* 03Hakerh400 5* (+66) 10+[[Expensive]] > 1607057436 252717 PRIVMSG #esoteric :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=79124&oldid=79123 5* 03Hakerh400 5* (+48) 10+[[Flipfractal]] < 1607062475 141679 :MDude!~MDude@71.50.47.112 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1607063170 337955 :MDude!~MDude@71.50.47.112 JOIN :#esoteric < 1607063441 325372 :MDude!~MDude@71.50.47.112 QUIT :Client Quit < 1607063968 304462 :int-e!~noone@int-e.eu PRIVMSG #esoteric :okay I can't complain that the second AoC part wasn't harder today < 1607063981 765800 :int-e!~noone@int-e.eu PRIVMSG #esoteric :the new complaint is that it's so mundane < 1607066556 291643 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I can run Hero Mesh on DOSBOX, but it is slow. < 1607066616 969469 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(I would like to have more testers for Free Hero Mesh) < 1607066669 822075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Do you like A Monster's Expedition? < 1607066718 855570 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I don't know. < 1607066751 653926 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(I don't know what it is, either, and I did not find it on Wikipedia, either) < 1607067139 713696 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, it's a puzzle computer game. < 1607067233 615765 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :OK < 1607067548 603350 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? this < 1607067550 891025 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :This is something people on the channel like to talk about. We're often unsure what this is, though. Nobody likes this. < 1607067572 632517 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i `learn This month, this is A Monster's Expedition. Do you like this? < 1607068401 882357 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :In Hero Mesh (and also in Free Hero Mesh once it is completed), you can rewind as much as you want, and you can also edit the move list to insert or delete moves. So far, I think most FOSS puzzle games don't do this. < 1607068439 740206 :int-e!~noone@int-e.eu PRIVMSG #esoteric :xsok did it ages ago :P < 1607068457 990946 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(though "editing" is maybe a bit of a stretch) < 1607068470 655836 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Yes, maybe some do, but it would seem that most don't (although most proprietary puzzle games also don't) < 1607068480 709501 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(but the binary save file format isn't hard to read and write) < 1607068618 355767 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Sokoban is strictly turn based and deterministic, like Hero Mesh is, though. < 1607068655 713157 :int-e!~noone@int-e.eu PRIVMSG #esoteric :AME is also strictly turn based < 1607068689 768759 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And borrows the basic push-only Sokoban mechanic... and then goes surprisingly wild with it. < 1607068715 697248 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Yes, and some other games too < 1607068844 684116 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I found the documentation for xsok now. < 1607068980 55226 :int-e!~noone@int-e.eu PRIVMSG #esoteric :xsok was an addiction for me... I've patched it (adding more level sets, fixing a couple of bugs, modifying the pixmaps, most notably to make boxes translucent so that you can distinguish whether they're on a target or not)... < 1607069185 354014 :Lord_of_Life!~Lord@46.217.221.156 QUIT :Changing host < 1607069185 417276 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1607069370 357674 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and I've spent 100s of hours optimizing solutions by hand < 1607069565 93339 :LKoen!~LKoen@105.175.9.109.rev.sfr.net JOIN :#esoteric < 1607069676 817044 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :There are some of the features like Hero Mesh in xsok, although xsok isn't as versatile (although it does allow customizing the scoring definition). That includes the attributes Strength (called Power in xsok) and Weight, and a few other things. < 1607069731 236944 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Maybe it also might be possible later converting xsok levels into Free Hero Mesh, too. < 1607069836 444173 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1607070141 651141 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Automatically testing it also it seem to be possible (also for conversions from Hero Mesh to Free Hero Mesh, too); if you have a recording of the moves of the solution, it can check that it is a valid solution. < 1607070180 273126 :int-e!~noone@int-e.eu PRIVMSG #esoteric :translucent boxes in action: https://int-e.eu/~bf3/tmp/xbox.png < 1607070213 571195 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(the actor is so ugly...) < 1607070275 65827 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Yes, that is good that the boxes is translucent now. < 1607070330 97683 :int-e!~noone@int-e.eu PRIVMSG #esoteric :these are my own private changes though :P < 1607070353 637270 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Yes, the actor isn't so good, and I don't like the floor graphics so much either < 1607070404 292024 :int-e!~noone@int-e.eu PRIVMSG #esoteric :though I suppose replacing an installed xpm file is a no-brainer < 1607070526 793387 :int-e!~noone@int-e.eu PRIVMSG #esoteric :so if you care: https://int-e.eu/~bf3/tmp/objects.xpm.gz < 1607070529 472632 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Most programs that deal with XPM do not support all of its features (although my own implementation implements more than most do, still it doesn't implement the Lisp format) < 1607070627 310703 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh right, xsok had a box you can step into... a bit like a fully turned over table in Hiding Place < 1607070644 762618 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(including the possibility to push it around with another box) < 1607070950 805629 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Unlike xsok (and maybe some others), Free Hero Mesh is using that the definitions for classes of objects can contain program codes to be executed, when it receives a message. < 1607071083 159052 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(Some of the ideas in xsok are things I had thought of too independently to implement in Free Hero Mesh, such as the bookmark. I had also thought of custom scoring, but I am not sure if I will implement that.) < 1607075176 771024 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds > 1607076150 112809 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Sertdfyguhi 5* 10New user account < 1607076618 892438 :arseniiv_!~arseniiv@136.169.228.48 JOIN :#esoteric < 1607077035 829446 :borrowed!~ChanServ@168.195.137.50 QUIT :Remote host closed the connection > 1607078841 760884 PRIVMSG #esoteric :14[[07NDBall14]]4 10 02https://esolangs.org/w/index.php?diff=79125&oldid=79074 5* 03Aspwil 5* (+159) 10/* Instructions */ > 1607078855 928798 PRIVMSG #esoteric :14[[07NDBall14]]4 10 02https://esolangs.org/w/index.php?diff=79126&oldid=79125 5* 03Aspwil 5* (+3) 10/* Instructions */ < 1607080004 780197 :aaaaaa!~ArthurStr@188.163.100.177 QUIT :Ping timeout: 256 seconds < 1607080311 890766 :rain1!~My_user_n@unaffiliated/rain1 JOIN :#esoteric < 1607080366 898709 :deltaepsilon23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com JOIN :#esoteric < 1607080393 430081 :delta23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com QUIT :Disconnected by services < 1607080397 613593 :deltaepsilon23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com NICK :delta23 < 1607081160 149148 :LKoen!~LKoen@105.175.9.109.rev.sfr.net QUIT :Remote host closed the connection < 1607081531 260156 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :ooof day 4 would be a hassle in C < 1607082078 791576 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Ping timeout: 256 seconds < 1607082179 533047 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric < 1607082202 106803 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :I wonder how many people are doing AoC in esolangs this year < 1607082950 443127 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: Lost terminal < 1607083476 876209 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I'm aware of someone doing it in Nix and someone doing it in APL but neither of them are quite esolangs < 1607083646 134319 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Haneb < 1607083665 109557 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Invent anything lately? < 1607083739 104635 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :I think there's a couple people on the TI channels that are attempting it in TI-Basic < 1607083893 145191 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that the language used on the TI-83? < 1607083901 404475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I wrote some programs in that to draw semifancy pictures. < 1607084013 531634 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :I saw someone put up a BBC Basic editor online --> https://bbcmic.ro/ < 1607084102 820791 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :yeah, basically. as TI has moved to color it's changed a bit but not really that much < 1607084125 883354 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :shachaf: I might have invented enriched categories this morning < 1607084126 566003 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :for most of the AoC stuff it's not that different I think? < 1607084152 539840 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Niceo McMiceo, enriched over what? < 1607084202 492786 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I started with the (R, +, <=) as an ordered monoid as a monoidal poset and worked up from there < 1607084215 233572 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :(I was thinking about metric spaces) < 1607084345 832420 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :(and in particular, why they use the real numbers) < 1607084482 140806 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I wrote something semifancy in the TI-86 dialect of TI-Basic too. < 1607084518 795965 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And our maths teacher was incredibly enthusiastic about it. He had one of those slide projector attachments for his TI-85-or-86. < 1607084578 425874 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :https://www.ebay.co.uk/itm/T-I-ViewScreen-85-Graphing-Calculator-Projector/181006275400 < 1607084581 784643 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That kind of thing. < 1607084662 766063 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also don't buy that one, there's a much cheaper listing for one as well. But maybe you're not in the market for it anyway. > 1607084914 296403 PRIVMSG #esoteric :14[[07Flipfractal14]]4 M10 02https://esolangs.org/w/index.php?diff=79127&oldid=79121 5* 03Delta23 5* (+168) 10add smaller Truth Machine variant with differing design < 1607085145 222474 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What happened was: My classmate showed me a program he'd written on his calculator that drew fractals or something, and I was impressed, and made my own version of the idea with some tweaks. < 1607085163 908936 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Later it turned out that the program, line for line, was in the calculator manual, which I'd never seen. < 1607085230 345778 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Did you figure out why metric spaces use el número real? < 1607085282 185608 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :shachaf: not yet, but I think it's something to do with analysis < 1607085291 178745 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, that seems likely. < 1607085341 285334 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Maybe you saw https://www.facebook.com/slbkbs/posts/1540808232616365 from a while ago. < 1607085348 943185 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which that website is really not the best place for. < 1607085373 240616 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The reals are p. fundamental in all sorts of ways I didn't (and probably still don't) appreciate properly. < 1607085500 263560 :LKoen!~LKoen@105.175.9.109.rev.sfr.net JOIN :#esoteric < 1607085570 256523 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :I remember in high school optimising the Factor12 and that probability-related program that got passed around the class < 1607086162 913996 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :fizzie I've already got a viewscreen 86 :) < 1607086185 881023 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :been a while since I've done any 85/86 programming, I should get back into it but you know how projects go < 1607086295 455261 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :(I really should get an overhead projector so I can display them properly) < 1607086308 901909 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :s/them/my viewscreens) > 1607087458 387398 PRIVMSG #esoteric :14[[07Flipfractal14]]4 10 02https://esolangs.org/w/index.php?diff=79128&oldid=79127 5* 03Delta23 5* (+273) 10Add computational class ideas (tree stack automata?) > 1607087590 749756 PRIVMSG #esoteric :14[[07Flipfractal14]]4 M10 02https://esolangs.org/w/index.php?diff=79129&oldid=79128 5* 03PythonshellDebugwindow 5* (+24) 10kl > 1607087745 86616 PRIVMSG #esoteric :14[[07Flipfractal14]]4 M10 02https://esolangs.org/w/index.php?diff=79130&oldid=79129 5* 03Delta23 5* (+330) 10add more information > 1607087952 378415 PRIVMSG #esoteric :14[[07State and Main14]]4 M10 02https://esolangs.org/w/index.php?diff=79131&oldid=74324 5* 03PythonshellDebugwindow 5* (+11) 10/* Truth-machine */ add notice > 1607088085 470896 PRIVMSG #esoteric :14[[07Livefish14]]4 M10 02https://esolangs.org/w/index.php?diff=79132&oldid=74002 5* 03PythonshellDebugwindow 5* (+46) 10cats > 1607088310 96973 PRIVMSG #esoteric :14[[07Flipfractal14]]4 10 02https://esolangs.org/w/index.php?diff=79133&oldid=79130 5* 03Delta23 5* (+253) 10Change it to Torus program space and add multithreaded variant > 1607088355 204934 PRIVMSG #esoteric :14[[07Gregorovich14]]4 M10 02https://esolangs.org/w/index.php?diff=79134&oldid=67742 5* 03PythonshellDebugwindow 5* (+28) 10/* Implementation */ c > 1607088625 141148 PRIVMSG #esoteric :14[[07Flipfractal14]]4 M10 02https://esolangs.org/w/index.php?diff=79135&oldid=79133 5* 03Delta23 5* (+85) 10add blackhole instruction > 1607089083 317038 PRIVMSG #esoteric :14[[07Flipfractal14]]4 M10 02https://esolangs.org/w/index.php?diff=79136&oldid=79135 5* 03Delta23 5* (+244) 10blackhole is optional + reasoning > 1607089189 554393 PRIVMSG #esoteric :14[[07Gregorovich14]]4 M10 02https://esolangs.org/w/index.php?diff=79137&oldid=79134 5* 03PythonshellDebugwindow 5* (+198) 10Add a [[truth-machine]] > 1607089281 942970 PRIVMSG #esoteric :14[[07Truth-machine14]]4 M10 02https://esolangs.org/w/index.php?diff=79138&oldid=79124 5* 03PythonshellDebugwindow 5* (+112) 10/* Grawlix */ [[Gregorovich]] > 1607089426 998866 PRIVMSG #esoteric :14[[07Grawlix14]]4 M10 02https://esolangs.org/w/index.php?diff=79139&oldid=71278 5* 03PythonshellDebugwindow 5* (+45) 10/* Examples */ hm > 1607089982 263841 PRIVMSG #esoteric :14[[07Lamfunc14]]4 M10 02https://esolangs.org/w/index.php?diff=79140&oldid=72672 5* 03PythonshellDebugwindow 5* (+83) 10/* Builtins */ clarify > 1607090049 740439 PRIVMSG #esoteric :14[[07Uack14]]4 M10 02https://esolangs.org/w/index.php?diff=79141&oldid=71604 5* 03PythonshellDebugwindow 5* (+25) 10/* Examples */ cat < 1607090711 111640 :arseniiv_!~arseniiv@136.169.228.48 PRIVMSG #esoteric :shachaf: Taneb: I thought any ordered field (and adding ±∞ for ∞-metric spaces) would do, and reals are just one very useful celebrity. But if I’m not mistaken, you can use “ℚ-metric spaces” to define ℝ itself as a legit (ℚ-)metric completion (of ℚ). Then as ℚ is minimal, you can’t get any simpler, but you also probably don’t want things like ℚ[√5, √71]. There *could* be sense to use algebraic numbers, though (in computa < 1607090711 210327 :arseniiv_!~arseniiv@136.169.228.48 PRIVMSG #esoteric :tional stuff?). There also may be reason to use something finer than ℝ but that will be non-Archimedean, as you know, and maybe that bars many possile applications, compared with ℝ, algebraics or ℚ < 1607090781 472258 :arseniiv_!~arseniiv@136.169.228.48 NICK :arseniiv < 1607090840 575265 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :also please tell if I shouldn’t use ℝ and ℚ characters if they display poorly (they do for me) < 1607090856 112015 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :(I think not many fonts have them) < 1607091005 143195 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :but I think I doesn’t know much more about why there is ℝ. Hopefully these reasons (barring historical ones) are convincing enough. They convince me maybe 4/5 through < 1607091033 590189 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric : but I think I doesn’t know => wow how did I write that < 1607091248 224246 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :what's this about? < 1607091444 283466 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net QUIT :Ping timeout: 272 seconds < 1607091861 957157 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :`olist 1221 < 1607091862 789279 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :olist https://www.giantitp.com/comics/oots1221.html: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1607091934 206177 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :zzo38: are the Christmas lights steady or flashing? < 1607092382 117207 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :rain1: (I was thinking about metric spaces) (and in particular, why they use the real numbers) Taneb: Did you figure out why metric spaces use el número real? shachaf: not yet, but I think it's something to do with analysis < 1607092415 420691 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :hm I should have linked to logs but I’m lazy :D < 1607092468 526653 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1607092836 173923 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :hmm < 1607092862 488676 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :it's a good question < 1607092886 258582 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I think it is because the real numbers are a unique ordered field with limits < 1607093298 366493 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :rain1: non-archimedean ordered fields necessary have non-unique limits? < 1607093322 126372 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :arseniiv: the definition of metric space seems to only require an ordered monoid, none of the laws refer to multiplication, division, or even subtraction < 1607093546 701308 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :Taneb: yeah, though surely there will be some reason why just monoid is too weak for many occasions. Though right now I don’t have an argument even why it would be good for it to be a semiring < 1607093657 906158 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I'm not even convinced the ordering needs to be total < 1607093728 294117 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :I know some puzzle games that at least let you undo steps for free: Baba is you, and tom7's Escape < 1607093778 221080 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :int-e: "make boxes translucent so that you can distinguish whether they're on a target or not" => some sokoban games use a custom tile for a box on a target < 1607093876 521263 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :arseniiv: possibly for any ordered monoid M, an M-metric space is equivalent to some R-metric space? < 1607093933 293902 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :b_jonas: Snakebird too < 1607093969 847113 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :"enriched categories" => with savory spices? < 1607093976 817437 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :Taneb: if that monoid comes to be hyperreals, it should be impossible but I’m not totally sure < 1607094036 632577 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :arseniiv: that seems correct < 1607094128 159474 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :"The reals are p. fundamental in all sorts of ways I didn't (and probably still don't) appreciate properly." => yep. long ago I asked why homotopy was defined in a way that depended on the real numbers. I got partial answers. < 1607094282 119773 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :Taneb: then we may try to characterise which ordered monoids sit inside reals and which don’t, maybe it can still be expressed in a useful way < 1607094320 399256 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :or maybe we should take extended reals R ∪ {±∞} already < 1607094375 942738 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :they are necessary to make (undirected) graphs into so-called ∞-metric spaces. I’d rather define usual metric spaces as these from the start, though < 1607094427 118888 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :as infinite distance is frequently necessary in practical applications (it seems for me) < 1607094466 841045 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :well at least [weighted] graphs would take a big chunk by themselves < 1607094653 349965 :bcasiello_!~brian@071-088-110-201.res.spectrum.com JOIN :#esoteric < 1607094685 190861 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric : I'm not even convinced the ordering needs to be total => BTW several months ago I tried to formalize cyclical and total orders as two kinds of the general thing, though that ended up too useless < 1607094804 52364 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :it was based on that you can inject some total order as a kind of a segment/interval in that space. The definition tried to capture all the intervals in that space < 1607094816 985455 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net JOIN :#esoteric < 1607094819 507061 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :maybe the idea would be interesting to somebody < 1607094841 979459 :bcasiello!~brian@071-088-110-201.res.spectrum.com QUIT :Ping timeout: 256 seconds < 1607094995 496509 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :actually, not just intervals but “paths which don’t skip elements”, as you can walk circles on, well, a circle < 1607095086 91212 :user24!~user24@2a02:810a:1440:7304:f9a8:4b93:626d:460f JOIN :#esoteric < 1607095213 35986 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :...what do you mean by cyclical order? < 1607095365 496243 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :Taneb: https://en.wikipedia.org/wiki/Cyclic_order < 1607095374 697434 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :(also there is a partial one too) < 1607095379 146812 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Ah, I'd not encountered that before < 1607095516 120755 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :Z/nZ are ubiquitous examples of this but I hadn’t seen the general notion until recently too < 1607095583 463034 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :Z/nZ-the-rings < 1607098442 942821 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: 385 and still no end. also I'm now on an island with no clue what to do. < 1607098725 434499 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(well I do have an objective in mind... it wouldn't be the first time that that objective is wrong. open world effect...) < 1607098954 487619 :MDude!~MDude@71.50.47.112 JOIN :#esoteric < 1607101613 663964 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :eye color and *hair color* are required fields? and name and issuer and passport types aren't? funny < 1607101617 749340 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :also height > 1607102349 636347 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Joman522 5* 10New user account > 1607102734 695535 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=79142&oldid=79109 5* 03Joman522 5* (+207) 10/* Introductions */ < 1607102829 284605 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :hmm. https://en.wikipedia.org/wiki/Leaning_Tower_of_Pisa says that the Leaning Tower of Pisa was declared "stabled for at least another 300 years" in 2001-12, and later declared "stable for at least 200 years" in 2008-05. a naive linear interpolation suggests that we should visit the tower soon, because it will be declared potentially unsafe during next year. < 1607103666 491774 :rain1!~My_user_n@unaffiliated/rain1 QUIT :Quit: WeeChat 2.9 < 1607106421 686486 :user24!~user24@2a02:810a:1440:7304:f9a8:4b93:626d:460f QUIT :Quit: Leaving > 1607107306 653334 PRIVMSG #esoteric :14[[07Flipfractal14]]4 M10 02https://esolangs.org/w/index.php?diff=79143&oldid=79136 5* 03Delta23 5* (+68) 10add tree stack access program example > 1607107524 613548 PRIVMSG #esoteric :14[[07Flipfractal14]]4 M10 02https://esolangs.org/w/index.php?diff=79144&oldid=79143 5* 03Delta23 5* (+28) 10make important note of behavior, could be used for TC proof > 1607107948 854149 PRIVMSG #esoteric :14[[07IsThatAMotherFrickingSpecificAnimeReferenceLang14]]4 N10 02https://esolangs.org/w/index.php?oldid=79145 5* 03SoicBR 5* (+6780) 10Created page with "Creating IsThatAMotherFrickingSpecificAnimeReferenceLang (can be shortened to ITAMFSARL) is an esoteric programming language created december 12, 2020 by [[User:SoicBR]] which..." < 1607108199 796484 :LKoen!~LKoen@105.175.9.109.rev.sfr.net 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.” < 1607108362 783229 :arseniiv!~arseniiv@136.169.228.48 PRIVMSG #esoteric :BTW en.wikipedia states: “If the distance function takes values in some (suitable) ordered set (and the triangle inequality is adjusted accordingly), then we arrive at the notion of generalized ultrametric.” > 1607108446 551068 PRIVMSG #esoteric :14[[07IsThatAMotherFrickingSpecificAnimeReferenceLang14]]4 10 02https://esolangs.org/w/index.php?diff=79146&oldid=79145 5* 03SoicBR 5* (+98) 10 > 1607108813 769242 PRIVMSG #esoteric :14[[07Flipfractal14]]4 10 02https://esolangs.org/w/index.php?diff=79147&oldid=79144 5* 03Delta23 5* (+385) 10Add abstract machine within flipfractal > 1607109091 370564 PRIVMSG #esoteric :14[[07Flipfractal14]]4 M10 02https://esolangs.org/w/index.php?diff=79148&oldid=79147 5* 03Delta23 5* (+122) 10note < 1607109838 425112 :delta23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com QUIT :Quit: Leaving < 1607112403 54802 :rain1!~My_user_n@unaffiliated/rain1 JOIN :#esoteric < 1607112581 159709 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :b_jonas: Some Christmas lights are flashy and some aren't, including the ones together < 1607112739 415965 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :so they are flashy. that's more difficult because it's hard to show the flashing pattern on a static photo. but christmas lights can be hard in first place because they're dark and so visible only when the rest of the scene is dark < 1607112838 708855 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :but I don't think they have any really special tricks besides the usual low light photos. use a tripod if you can't hold the camera steady enough, hold the camera steady with two hands under and stick to 0.5 seconds exposure if you don't have a tripod < 1607112889 463264 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :if you do have a tripod, you might try to take two pictures, one for the lights and one for the background, and compose them later. < 1607112923 273522 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :They are incandescent lights < 1607113038 634329 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :The lights appear too bright compared with the rest of the picture < 1607113308 924275 :arseniiv!~arseniiv@136.169.228.48 QUIT :Ping timeout: 260 seconds < 1607115307 409910 :NeverBorn!~NeverBorn@93-41-17-168.ip79.fastwebnet.it JOIN :#esoteric < 1607115366 499426 :aaaaaa!~ArthurStr@188.163.100.177 JOIN :#esoteric < 1607115655 264050 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :int-e: I like this mundane data validation. it's the sort of thing that I do at work every day. it's rewarding. I keep finding problems in things that are in production and that other people have supposedly "tested" and signed off as working. sometimes it never worked, more often it's about new features that got added after those supposed "tests", but added in a half-assed way that doesn't really make < 1607115661 292644 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :them work. < 1607115707 196504 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :except of course I don't get this nice specification about what counts as valid, that's the part that I have to write. coding it is the easy part. < 1607115728 177026 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :and usuall there are much more complicated relations that have to be held, involving joins, instead of just single field values. < 1607115737 457044 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :but still, it's just about this mundane < 1607115739 771865 :bcasiello_!~brian@071-088-110-201.res.spectrum.com QUIT :Quit: Leaving < 1607115773 531481 :bcasiello!~brian@071-088-110-201.res.spectrum.com JOIN :#esoteric < 1607116886 954415 :NeverBorn!~NeverBorn@93-41-17-168.ip79.fastwebnet.it QUIT :Remote host closed the connection > 1607117125 229109 PRIVMSG #esoteric :14[[07Ackermann function14]]4 M10 02https://esolangs.org/w/index.php?diff=79149&oldid=57452 5* 03PythonshellDebugwindow 5* (-50) 10wikipedia link > 1607117381 88665 PRIVMSG #esoteric :14[[07Factorial14]]4 M10 02https://esolangs.org/w/index.php?diff=79150&oldid=62923 5* 03PythonshellDebugwindow 5* (+76) 10definition, stub, cat > 1607117751 600034 PRIVMSG #esoteric :14[[07ASCII art/mandelbrot14]]4 M10 02https://esolangs.org/w/index.php?diff=79151&oldid=67600 5* 03PythonshellDebugwindow 5* (-27) 10This isn't very well a program form < 1607117919 342324 :imode!~linear@unaffiliated/imode JOIN :#esoteric > 1607117931 328568 PRIVMSG #esoteric :14[[0714]]4 M10 02https://esolangs.org/w/index.php?diff=79152&oldid=71479 5* 03PythonshellDebugwindow 5* (+4) 10/* Spreading */ > 1607117971 272569 PRIVMSG #esoteric :14[[07Ruby14]]4 M10 02https://esolangs.org/w/index.php?diff=79153&oldid=73008 5* 03PythonshellDebugwindow 5* (+10) 10hm... > 1607118141 642129 PRIVMSG #esoteric :14[[07KEMURI14]]4 M10 02https://esolangs.org/w/index.php?diff=79154&oldid=70216 5* 03PythonshellDebugwindow 5* (+50) 10/* Computational class */ example + links < 1607118259 870964 :rain1!~My_user_n@unaffiliated/rain1 QUIT :Quit: WeeChat 2.9 > 1607118515 789923 PRIVMSG #esoteric :14[[07KEMURI14]]4 M10 02https://esolangs.org/w/index.php?diff=79155&oldid=79154 5* 03PythonshellDebugwindow 5* (+3) 10/* External resources */ cat, waybacks > 1607118610 87662 PRIVMSG #esoteric :14[[07Transfinite program14]]4 M10 02https://esolangs.org/w/index.php?diff=79156&oldid=66884 5* 03PythonshellDebugwindow 5* (-10) 10/* Unbounded programs */ I hardly see how this is a stub > 1607118967 659153 PRIVMSG #esoteric :14[[07Binary lambda calculus14]]4 M10 02https://esolangs.org/w/index.php?diff=79157&oldid=70655 5* 03PythonshellDebugwindow 5* (+80) 10code, link > 1607119155 131049 PRIVMSG #esoteric :14[[07Quadratic sync problem14]]4 M10 02https://esolangs.org/w/index.php?diff=79158&oldid=62891 5* 03PythonshellDebugwindow 5* (+26) 10/* Computational class */ cat > 1607119202 989140 PRIVMSG #esoteric :14[[07Got a match?14]]4 M10 02https://esolangs.org/w/index.php?diff=79159&oldid=68215 5* 03PythonshellDebugwindow 5* (+27) 10/* Examples */ cat (please correct if wrong) > 1607119225 294168 PRIVMSG #esoteric :14[[07Efghij14]]4 M10 02https://esolangs.org/w/index.php?diff=79160&oldid=75841 5* 03PythonshellDebugwindow 5* (+16) 10cat link > 1607119399 795008 PRIVMSG #esoteric :14[[07Flipfractal14]]4 M10 02https://esolangs.org/w/index.php?diff=79161&oldid=79148 5* 03PythonshellDebugwindow 5* (+61) 10clean up a bit < 1607119458 663008 :aaaaaa!~ArthurStr@188.163.100.177 QUIT :Quit: leaving > 1607120724 210296 PRIVMSG #esoteric :14[[07Spice14]]4 N10 02https://esolangs.org/w/index.php?oldid=79162 5* 03Slord 5* (+2396) 10Created page with "== Summary == A programming language for 'Golfing' in an assembly-like/lite environment. - Spice is an interpreted assembly-like language with a handful of operators: ADD, `S..." < 1607120786 890554 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1607121670 750214 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=79163&oldid=79119 5* 03Slord 5* (+12) 10 < 1607123627 108848 :tromp_!~tromp@dhcp-077-249-230-040.chello.nl QUIT :Remote host closed the connection < 1607123926 879471 :bcasiello!~brian@071-088-110-201.res.spectrum.com QUIT :Quit: Leaving < 1607123960 282868 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric < 1607124585 507296 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net JOIN :#esoteric