< 1644538438 951523 :eli_oat!~eli_oat@92.119.19.225 QUIT :Quit: eli_oat > 1644540904 987285 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (N-Z)14]]4 10 02https://esolangs.org/w/index.php?diff=93090&oldid=93087 5* 03Laclale 5* (+38) 10/* Please Porige Hot */ < 1644543653 154517 :A_Dragon!A_D@libera/staff/dragon NICK :[ < 1644543659 759517 :[!A_D@libera/staff/dragon NICK :A_Dragon < 1644543811 589778 :Noisytoot!~noisytoot@sourcehut/user/noisytoot NICK :[ > 1644544625 41384 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=93091&oldid=93073 5* 03BowlingPizzaBall 5* (+10) 10 > 1644544719 479560 PRIVMSG #esolangs :14[[07Syncin14]]4 10 02https://esolangs.org/w/index.php?diff=93092&oldid=93065 5* 03BowlingPizzaBall 5* (+61) 10 > 1644544905 871791 PRIVMSG #esolangs :14[[07Boyfriend.xml14]]4 10 02https://esolangs.org/w/index.php?diff=93093&oldid=93072 5* 03BowlingPizzaBall 5* (+9) 10definitely a stub. please add proper documentation < 1644547621 33271 :sgji!~le@user/sgji QUIT :Ping timeout: 240 seconds > 1644548131 431702 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (N-Z)14]]4 10 02https://esolangs.org/w/index.php?diff=93094&oldid=93090 5* 03Hakerh400 5* (+47) 10+[[Pair]] < 1644549082 751735 :sgji!~le@user/sgji JOIN #esolangs sgji :sgji > 1644549772 437989 PRIVMSG #esolangs :14[[07V3i14]]4 M10 02https://esolangs.org/w/index.php?diff=93095&oldid=93085 5* 03PythonshellDebugwindow 5* (+48) 10/* Examples */ add links > 1644549799 457123 PRIVMSG #esolangs :14[[07V3i14]]4 M10 02https://esolangs.org/w/index.php?diff=93096&oldid=93095 5* 03PythonshellDebugwindow 5* (+4) 10/* Deadfish */ ditto < 1644550990 184945 :dyeplexer!~dyeplexer@user/dyeplexer JOIN #esolangs dyeplexer :t b k ky jt h bc > 1644552491 734523 PRIVMSG #esolangs :14[[07Template:Yearcat14]]4 10 02https://esolangs.org/w/index.php?diff=93097&oldid=31858 5* 03Razetime 5* (-46) 10 < 1644562273 104134 :sprock!~sprock@user/sprock QUIT :Ping timeout: 256 seconds < 1644566349 879339 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1644568390 354743 :Hoolootwo!~Hooloovoo@hax0rbana.org JOIN #esolangs * :ZNC - https://znc.in < 1644568393 82123 :Hooloovoo!~Hooloovoo@hax0rbana.org QUIT :Ping timeout: 256 seconds > 1644568578 489303 PRIVMSG #esolangs :14[[07I Wanna Be the Esolang14]]4 N10 02https://esolangs.org/w/index.php?oldid=93098 5* 03Razetime 5* (+2490) 10initial page < 1644568699 153185 :dyeplexer!~dyeplexer@user/dyeplexer QUIT :Ping timeout: 250 seconds > 1644569679 447919 PRIVMSG #esolangs :14[[07I Wanna Be the Esolang14]]4 10 02https://esolangs.org/w/index.php?diff=93099&oldid=93098 5* 03Razetime 5* (+2) 10 < 1644576840 480766 :riv!river@tilde.team/user/river PRIVMSG #esolangs :g'day < 1644577120 561982 :riv!river@tilde.team/user/river PRIVMSG #esolangs :https://www.sudoku-puzzles-online.com/irregular-dodecadoku/print-irregular-12x12-sudoku.php < 1644577296 630604 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 245 seconds < 1644577371 141909 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1644579472 988592 PRIVMSG #esolangs :14[[07I Wanna Be the Esolang14]]4 10 02https://esolangs.org/w/index.php?diff=93100&oldid=93099 5* 03Laclale 5* (+22) 10/* Implementation */ < 1644584411 732807 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1644585381 803925 :Everything!~Everythin@37.115.210.35 JOIN #esolangs * :Everything < 1644586055 621090 :eli_oat!~eli_oat@185.229.59.230 JOIN #esolangs eli_oat :eli_oat > 1644587083 109642 PRIVMSG #esolangs :14[[07V3i14]]4 10 02https://esolangs.org/w/index.php?diff=93101&oldid=93096 5* 03BowlingPizzaBall 5* (+34) 10h... how do you forget this? < 1644587924 630494 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1644588009 81011 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN > 1644588436 244363 PRIVMSG #esolangs :14[[07Template:Yearcat14]]4 10 02https://esolangs.org/w/index.php?diff=93102&oldid=93097 5* 03Oerjan 5* (+46) 10Undo revision 93097 by [[Special:Contributions/Razetime|Razetime]] ([[User talk:Razetime|talk]]) This change made most of year categories not actual subcategories of Category:Years < 1644588482 497996 :eli_oat!~eli_oat@185.229.59.230 QUIT :Quit: eli_oat < 1644588522 28253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :argh < 1644588595 876680 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :fizzie: Category:Years looks all messed up presumably due to the caching bugs < 1644588625 796760 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :(even after i fixed that templating) < 1644588654 353144 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :oh wait it fixed itself < 1644588661 607433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :just some delay i guess < 1644588705 234571 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh another U:HP vandalism, sigh. > 1644588783 633290 PRIVMSG #esolangs :14[[07User:Heavpoot14]]4 10 02https://esolangs.org/w/index.php?diff=93103&oldid=81904 5* 03Oerjan 5* (-11) 10rm template which causes miscategorization < 1644588827 57869 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :int-e: was on it hth < 1644588832 100905 :riv!river@tilde.team/user/river PRIVMSG #esolangs :Did you know that esolang good? < 1644588843 976616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :riv: i does < 1644588915 366260 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oerjan: Yeah I assumed so. < 1644588980 955116 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :int-e: i probably wouldn't have noticed if not for the strange delay that caused me to have to check that all the years had got there < 1644589004 852068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :possibly that's what razetime was trying to fix < 1644589289 819324 :int-e!~noone@int-e.eu PRIVMSG #esolangs :mediawiki caching works in mysterious ways < 1644589329 696896 :riv!river@tilde.team/user/river PRIVMSG #esolangs :fungot: Did you know that esolang good? < 1644589329 880009 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :riv: air france flight296. i love your bike jump, cool < 1644589662 620948 :eli_oat!~eli_oat@185.229.59.230 JOIN #esolangs eli_oat :eli_oat < 1644589937 204618 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh yesterday's and today's QC are fun, I didn't expect things to go in that direction at all. < 1644589983 472203 :riv!river@tilde.team/user/river PRIVMSG #esolangs :QC.... hmm < 1644589993 759320 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`? qc < 1644589997 158696 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :QC is Quantum Computing. < 1644590003 427685 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Ah, helpful. < 1644590006 33537 :riv!river@tilde.team/user/river PRIVMSG #esolangs :i found it < 1644590039 938294 :riv!river@tilde.team/user/river PRIVMSG #esolangs :I don't know how you stay up to date on these webcomics. I'm at page 440 of homestuck now < 1644590059 547850 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`learn QC is Questionable Computing or Quantum Content, or was it the other way around? < 1644590062 967407 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Relearned 'qc': QC is Questionable Computing or Quantum Content, or was it the other way around? < 1644590181 501936 :riv!river@tilde.team/user/river PRIVMSG #esolangs :Questionable Computing < 1644590184 646710 :riv!river@tilde.team/user/river PRIVMSG #esolangs :lol < 1644590233 849303 :int-e!~noone@int-e.eu PRIVMSG #esolangs :riv: I have a silly scheme with bookmarks pointing to the last strip I've read. There are browser add-ons too (https://github.com/ameboide/webcomic_reader seems to be one of those) and even specialized apps. < 1644590384 177426 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(silly and somewhat lossy... I dropped GC for almost a year before Taneb reminded me of its existence.) < 1644590851 649908 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Quit: Disconnecting < 1644591640 550183 :riv!river@tilde.team/user/river PRIVMSG #esolangs :ok the punchline was great < 1644592112 533638 :impomatic!~john@host86-162-113-29.range86-162.btcentralplus.com JOIN #esolangs * :john > 1644593290 242572 PRIVMSG #esolangs :14[[07LayerASM14]]4 10 02https://esolangs.org/w/index.php?diff=93104&oldid=78399 5* 03Kaveh Yousefi 5* (+406) 10Added a hyperlink to my implementation of the LayerASM programming language on GitHub and changed the category tag Unimplemented to Implemented. > 1644593577 28326 PRIVMSG #esolangs :14[[07LayerASM14]]4 10 02https://esolangs.org/w/index.php?diff=93105&oldid=93104 5* 03Kaveh Yousefi 5* (+306) 10Added an example section containing as its incipient member an infinitely repeating cat program. < 1644593632 180565 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I should get some statistics on whether that file cache is actually helpful for anything. < 1644593670 853287 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :And/or schedule a periodic run of maintenance/rebuildFileCache.php or something. < 1644594277 519335 :[!~noisytoot@sourcehut/user/noisytoot QUIT :Ping timeout: 240 seconds < 1644594452 421978 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1644594774 306210 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1644597191 509020 :impomatic!~john@host86-162-113-29.range86-162.btcentralplus.com QUIT :Ping timeout: 252 seconds < 1644598017 79626 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN > 1644599874 424437 PRIVMSG #esolangs :14[[07V3i14]]4 M10 02https://esolangs.org/w/index.php?diff=93106&oldid=93101 5* 03PythonshellDebugwindow 5* (-30) 10Remove unnecessary pipe < 1644599887 457833 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Is it acceptable to use longjmp in the comparison function of qsort? < 1644600071 687318 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu PRIVMSG #esolangs :zzo38: I think that can leak memory, but it's probably safe other than leaking memory. it's not a stable sort, so it could be implemented without allocating extra memory, but GNU libc docs specifically says it may use extra memory, and since it needs to work on large arrays, that memory won't come from the stack < 1644600110 704684 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu PRIVMSG #esolangs :zzo38: heck, in fact it might also leave some of your array in an undefined state if you longjmp out of it < 1644600130 744480 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu PRIVMSG #esolangs :so I wouldn't recommend longjmp out of it < 1644600300 711200 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu PRIVMSG #esolangs :if you want to be able to longjmp out of it, then you probably have to write your own custom sort routine < 1644600336 247971 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu PRIVMSG #esolangs :and even then it's much better if you can allocate memory and ensure to clean that up before or after the longjmp < 1644600570 577126 :eli_oat!~eli_oat@185.229.59.230 QUIT :Quit: eli_oat < 1644601224 625254 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Well, I would not care about the state of the array in such a case anyways, but the leaking memory is a valid consideration to not do that. > 1644602855 950947 PRIVMSG #esolangs :14[[07HASSL14]]4 10 02https://esolangs.org/w/index.php?diff=93107&oldid=92076 5* 03Ethan T. Stanger 5* (+10) 10 < 1644603340 868067 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu PRIVMSG #esolangs :zzo38: you could care if the elements of the array also reference external memory or otherwise need destructors. that is, it's not just that the order of the elements is wrong in the array, it could have duplicates and missing items because items were moved to an extra region. < 1644603359 495169 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu PRIVMSG #esolangs :and qsort is probably in rights to even write other data (not of the type you're using) temporarily in the array < 1644603436 32895 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu PRIVMSG #esolangs :the problem is that there isn't any other sorting routine with a pre-made C interface that I can recommend instead < 1644603440 297578 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu PRIVMSG #esolangs :you'll have to roll your own < 1644603453 833372 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu PRIVMSG #esolangs :the algorithms that you can use themselves are of course documented in TAOCP < 1644604956 773355 :Everything!~Everythin@37.115.210.35 QUIT :Quit: leaving < 1644609202 828957 :eli_oat!~eli_oat@92.119.19.133 JOIN #esolangs eli_oat :eli_oat < 1644609208 638923 :arseniiv!~arseniiv@178.214.250.172 JOIN #esolangs * :the chaotic arseniiv < 1644609221 877233 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :hi again! < 1644609311 908597 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :we have a simply typed lambda calculus with 0, 1, + and × types added as a typed equivalent of an (intuitionistic) natural deduction. What would be the analogue of sequent calculus? < 1644609395 396321 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :I feel it doesn’t need to be linear logic but something simpler can be made (with again just 0, 1, + and × types, and → as an intristic type too, not a defined −∘ of linear logic < 1644609503 31732 :riv!river@tilde.team/user/river PRIVMSG #esolangs :for sequent calculus you need call/cc? < 1644609507 507283 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :all this was born from a question of complexity: + and × are categorically dual but to prove (A + B) + C ≅ A + (B + C) seems more complicated than to prove (A × B) × C ≅ A × (B × C) < 1644609546 96739 :riv!river@tilde.team/user/river PRIVMSG #esolangs :hm https://mathoverflow.net/a/29597 < 1644609561 528748 :riv!river@tilde.team/user/river PRIVMSG #esolangs :i think you can prove (A + B) + C ≅ A + (B + C) using elements in an abelian category or something hth < 1644609567 130400 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs : for sequent calculus you need call/cc? => oh that would be unfortunate :( < 1644609573 506230 :riv!river@tilde.team/user/river PRIVMSG #esolangs :it's also provable using yoneda lemma hth < 1644609583 513832 :riv!river@tilde.team/user/river PRIVMSG #esolangs :i think i was wrong about call/cc < 1644609766 969650 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1644609964 888637 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :read the answers on MO, interesting < 1644609998 71876 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :I came to this question exactly from defining parts of the isomorphism by pattern matching < 1644610000 538763 :eli_oat!~eli_oat@92.119.19.133 QUIT :Quit: eli_oat < 1644610048 927349 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :in case of × we have just one pattern and in case of + we have three, for each of two functions and each of two proofs for f (g x) = x and g (f y) = y < 1644610064 934517 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I think I read somewhere that intuitionistic sequent calculus is avoiding more than one thing in the right, and classical can have any number of things in the right? < 1644610118 334757 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :so + seems 3 times more complicated by a naive sight. Of course in case of × there are more *destructors* but they don’t seem to appear and make things complex < 1644610154 215444 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :zzo38: yeah I read something like that too < 1644610232 790318 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :and then we would be asymmetrical again even there, hmm. But wait no, that avoidance is just about → rule only IIRC > 1644610379 524249 PRIVMSG #esolangs :14[[07Moaiscript14]]4 10 02https://esolangs.org/w/index.php?diff=93108&oldid=91276 5* 03Eiim 5* (+814) 10Add new, slightly shorter cat program < 1644610464 918942 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :I also have a strange impractical question: is SO(2) *the same* as U(1) or not. Meaning, with all structures that are commonly used with them. It boils down a bit to a question is there an i in ℂ or not. And that one can’t be answered one way or the other because sometimes we need ℂ and sometimes we need (ℂ, i) < 1644610550 596052 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :but I’m not feeling particularly well about what that gives < 1644610588 699518 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :though this is not as impractical as I said. If you define cos and sin, what do you *ought* to use, SO(2) or U(1)? < 1644610621 686770 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :that’s of course an incorrect question but I’m not sure it’s more than 50% unsalvageable < 1644610801 241899 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :also interesting trivia: you don’t need to pick i to define cos (if using U(1)). But you do for sin. Analogously, you don’t need an oriented plane for cos but you do for sin, and this way it makes an obvious sense < 1644611077 314731 :b_jonas!~x@catv-176-63-4-103.catv.fixed.vodafone.hu PRIVMSG #esolangs :arseniiv: you don't need to pick i to define sin either. sin(x) = x - x**3/6 + x**5/120 - x**7/5040 + ... < 1644611080 650283 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com PRIVMSG #esolangs :arseniiv: Those are isomorphic as... almost every structure normally placed on them. < 1644611131 920119 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :hm wait why not to define sin to have values in ∧² of our plane haha. The problem is that it would look less independed of the plane than ℝ looks. But maybe that’s because we don’t have good notation for ℝ² without a canonical basis and we may see “a real plane” as a name for different things we might need to choose from, though they are isomorphic up to what we need and we may well treat them all as one in this case < 1644611171 727627 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :b_jonas: we might have picked −sin instead of sin though < 1644611221 935328 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :like we could have liked to have not cos' = sin but sin' = cos and that would be this second case < 1644611268 386272 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com PRIVMSG #esolangs :They're not just isomorphic as groups, but also as topological groups or Lie groups < 1644611304 299161 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com PRIVMSG #esolangs :The distinction has more to do with how the definition is carried out, but you end up defining the same thing. < 1644611337 703858 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :(in my headcanon cos is the first coordinate of a first vector of an orthonormal basis have been rotated, and sin is the second coordinate) < 1644611392 180714 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :Cale: whew now I feel easier that at least someone confirmed it’s no big deal that they are named in two ways < 1644611406 584833 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :not that I asked much though < 1644611433 845559 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :only here and in an other place which is not too much about math < 1644611450 412284 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com PRIVMSG #esolangs :You can also take the group of unit complex numbers under multiplication (sometimes called T), or the quotient group R/Z, and those are also isomorphic to this. < 1644611489 515098 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :wait what’s the formal difference between T and U(1) then? < 1644611590 673018 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com PRIVMSG #esolangs :U(1) is the group of unitary linear transformations C^1 -> C^1. Of course, those can be represented by 1x1 complex matrices... < 1644611699 22130 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com PRIVMSG #esolangs :and 1x1 matrices behave suspiciously like their sole entry :) < 1644611722 104241 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :ah okay indeed I injected C into L(C, C) and forgot that technically scalar operators are different from scalars < 1644611778 573796 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com PRIVMSG #esolangs :And then if we want even more confusion over distinctions that don't typically matter, is C^1 the same vector space as C or not? > 1644612015 485741 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Hakerh400 5* 10uploaded "[[02File:001-tarnary-cantor-set.png10]]": Esolang "Fractal" - Example "Ternary Cantor set" > 1644612066 699779 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Hakerh400 5* 10moved [[02File:001-tarnary-cantor-set.png10]] to [[File:001-ternary-cantor-set.png]]: typo > 1644612262 798898 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Hakerh400 5* 10uploaded "[[02File:002-simple-tree.png10]]": Esolang "Fractal" - Example "Simple tree" > 1644612437 276512 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Hakerh400 5* 10uploaded "[[02File:003-sierpinsky-carpet.png10]]": Esolang "Fractal" - Example "Sierpiski carpet" < 1644612442 997109 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :Cale: yeah that case when I want a better notation system. As C^1 sometimes means one-tuples of numbers, in which case it has a canonical basis (1) and sometimes it means any space where we don’t care about a basis, and then the first one becomes too concrete < 1644612517 96505 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :also that distinction between a scalar s and an operator v ↦ s v reminded me about a peculiar case where s ↦ (v ↦ s v) is not injective < 1644612532 877909 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :it is when a space is 0-dimensional :D < 1644612549 437992 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :that’s a bit hurtful for me < 1644612682 504121 :eli_oat!~eli_oat@92.119.19.153 JOIN #esolangs eli_oat :eli_oat < 1644612856 212979 :arseniiv!~arseniiv@178.214.250.172 PRIVMSG #esolangs :probably like because there’s always more things than a layman would typically think there are possible, when you consider 0. But in this case there are less things! Just a single scalar operator because there’s just a single operator at all < 1644614009 987417 :eli_oat!~eli_oat@92.119.19.153 QUIT :Quit: eli_oat > 1644615641 962878 PRIVMSG #esolangs :14[[07I Wanna Be the Esolang14]]4 M10 02https://esolangs.org/w/index.php?diff=93114&oldid=93100 5* 03PythonshellDebugwindow 5* (+125) 10Add categories > 1644615678 966992 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Applespineapples 5* 10New user account > 1644615982 233944 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Hakerh400 5* 10uploaded "[[02File:004-barnsley-fern.png10]]": Esolang "Fractal" - Example "Barnsley fern" > 1644615991 329677 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=93116&oldid=93052 5* 03Applespineapples 5* (+210) 10abcd > 1644616008 827251 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=93117&oldid=93116 5* 03Applespineapples 5* (-26) 10 > 1644616263 111571 PRIVMSG #esolangs :14[[07User:Applespineapples14]]4 N10 02https://esolangs.org/w/index.php?oldid=93118 5* 03Applespineapples 5* (+22) 10Created page with "I am a Love Live! fan." > 1644616302 11558 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 overwrite10 02 5* 03Hakerh400 5* 10uploaded a new version of "[[02File:004-barnsley-fern.png10]]": High quality version > 1644616906 99842 PRIVMSG #esolangs :14[[07Fractal14]]4 N10 02https://esolangs.org/w/index.php?oldid=93120 5* 03Hakerh400 5* (+4187) 10+[[Fractal]] > 1644616938 305014 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=93121&oldid=93091 5* 03Hakerh400 5* (+14) 10+[[Fractal]] > 1644616950 160597 PRIVMSG #esolangs :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=93122&oldid=93075 5* 03Hakerh400 5* (+14) 10+[[Fractal]] < 1644617260 517781 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Quit: Disconnecting < 1644619839 698344 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1644620674 464078 :llk!~quassel@host.164-138-93-246.broadband.redcom.ru JOIN #esolangs * :llk < 1644621048 470370 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity < 1644622427 949388 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1644622740 479952 :llk!~quassel@host.164-138-93-246.broadband.redcom.ru QUIT :Remote host closed the connection < 1644622901 94970 :llk!~quassel@host.164-138-93-246.broadband.redcom.ru JOIN #esolangs * :llk < 1644622942 130083 :llk!~quassel@host.164-138-93-246.broadband.redcom.ru QUIT :Remote host closed the connection < 1644623034 489777 :llk!~quassel@host.164-138-93-246.broadband.redcom.ru JOIN #esolangs * :llk < 1644623114 576998 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 260 seconds < 1644623115 879709 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Read error: Connection reset by peer < 1644623132 587211 :llk!~quassel@host.164-138-93-246.broadband.redcom.ru QUIT :Remote host closed the connection < 1644623255 594564 :llk!~quassel@host.164-138-93-246.broadband.redcom.ru JOIN #esolangs * :llk < 1644623425 750796 :llk!~quassel@host.164-138-93-246.broadband.redcom.ru QUIT :Remote host closed the connection < 1644623529 554985 :llk!~quassel@host.164-138-93-246.broadband.redcom.ru JOIN #esolangs * :llk < 1644623600 804834 :llk!~quassel@host.164-138-93-246.broadband.redcom.ru QUIT :Remote host closed the connection