00:13:58 -!- eli_oat has quit (Quit: eli_oat). 00:55:04 [[Hello world program in esoteric languages (N-Z)]] https://esolangs.org/w/index.php?diff=93090&oldid=93087 * Laclale * (+38) /* Please Porige Hot */ 01:40:53 -!- A_Dragon has changed nick to [. 01:40:59 -!- [ has changed nick to A_Dragon. 01:43:31 -!- Noisytoot has changed nick to [. 01:57:05 [[Language list]] https://esolangs.org/w/index.php?diff=93091&oldid=93073 * BowlingPizzaBall * (+10) 01:58:39 [[Syncin]] https://esolangs.org/w/index.php?diff=93092&oldid=93065 * BowlingPizzaBall * (+61) 02:01:45 [[Boyfriend.xml]] https://esolangs.org/w/index.php?diff=93093&oldid=93072 * BowlingPizzaBall * (+9) definitely a stub. please add proper documentation 02:47:01 -!- sgji has quit (Ping timeout: 240 seconds). 02:55:31 [[Hello world program in esoteric languages (N-Z)]] https://esolangs.org/w/index.php?diff=93094&oldid=93090 * Hakerh400 * (+47) +[[Pair]] 03:11:22 -!- sgji has joined. 03:22:52 [[V3i]] M https://esolangs.org/w/index.php?diff=93095&oldid=93085 * PythonshellDebugwindow * (+48) /* Examples */ add links 03:23:19 [[V3i]] M https://esolangs.org/w/index.php?diff=93096&oldid=93095 * PythonshellDebugwindow * (+4) /* Deadfish */ ditto 03:43:10 -!- dyeplexer has joined. 04:08:11 [[Template:Yearcat]] https://esolangs.org/w/index.php?diff=93097&oldid=31858 * Razetime * (-46) 06:51:13 -!- sprock has quit (Ping timeout: 256 seconds). 07:59:09 -!- Sgeo has quit (Read error: Connection reset by peer). 08:33:10 -!- Hoolootwo has joined. 08:33:13 -!- Hooloovoo has quit (Ping timeout: 256 seconds). 08:36:18 [[I Wanna Be the Esolang]] N https://esolangs.org/w/index.php?oldid=93098 * Razetime * (+2490) initial page 08:38:19 -!- dyeplexer has quit (Ping timeout: 250 seconds). 08:54:39 [[I Wanna Be the Esolang]] https://esolangs.org/w/index.php?diff=93099&oldid=93098 * Razetime * (+2) 10:54:00 g'day 10:58:40 https://www.sudoku-puzzles-online.com/irregular-dodecadoku/print-irregular-12x12-sudoku.php 11:01:36 -!- Lord_of_Life has quit (Ping timeout: 245 seconds). 11:02:51 -!- Lord_of_Life has joined. 11:37:52 [[I Wanna Be the Esolang]] https://esolangs.org/w/index.php?diff=93100&oldid=93099 * Laclale * (+22) /* Implementation */ 13:00:11 -!- oerjan has joined. 13:16:21 -!- Everything has joined. 13:27:35 -!- eli_oat has joined. 13:44:43 [[V3i]] https://esolangs.org/w/index.php?diff=93101&oldid=93096 * BowlingPizzaBall * (+34) h... how do you forget this? 13:58:44 -!- __monty__ has joined. 14:00:09 -!- tech_exorcist has joined. 14:07:16 [[Template:Yearcat]] https://esolangs.org/w/index.php?diff=93102&oldid=93097 * Oerjan * (+46) Undo revision 93097 by [[Special:Contributions/Razetime|Razetime]] ([[User talk:Razetime|talk]]) This change made most of year categories not actual subcategories of Category:Years 14:08:02 -!- eli_oat has quit (Quit: eli_oat). 14:08:42 argh 14:09:55 fizzie: Category:Years looks all messed up presumably due to the caching bugs 14:10:25 (even after i fixed that templating) 14:10:54 oh wait it fixed itself 14:11:01 just some delay i guess 14:11:45 Oh another U:HP vandalism, sigh. 14:13:03 [[User:Heavpoot]] https://esolangs.org/w/index.php?diff=93103&oldid=81904 * Oerjan * (-11) rm template which causes miscategorization 14:13:47 int-e: was on it hth 14:13:52 Did you know that esolang good? 14:14:03 riv: i does 14:15:15 oerjan: Yeah I assumed so. 14:16:20 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 14:16:44 possibly that's what razetime was trying to fix 14:21:29 mediawiki caching works in mysterious ways 14:22:09 fungot: Did you know that esolang good? 14:22:09 riv: air france flight296. i love your bike jump, cool 14:27:42 -!- eli_oat has joined. 14:32:17 Oh yesterday's and today's QC are fun, I didn't expect things to go in that direction at all. 14:33:03 QC.... hmm 14:33:13 `? qc 14:33:17 QC is Quantum Computing. 14:33:23 Ah, helpful. 14:33:26 i found it 14:33:59 I don't know how you stay up to date on these webcomics. I'm at page 440 of homestuck now 14:34:19 `learn QC is Questionable Computing or Quantum Content, or was it the other way around? 14:34:22 Relearned 'qc': QC is Questionable Computing or Quantum Content, or was it the other way around? 14:36:21 Questionable Computing 14:36:24 lol 14:37:13 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. 14:39:44 (silly and somewhat lossy... I dropped GC for almost a year before Taneb reminded me of its existence.) 14:47:31 -!- tech_exorcist has quit (Quit: Disconnecting). 15:00:40 ok the punchline was great 15:08:32 -!- impomatic has joined. 15:28:10 [[LayerASM]] https://esolangs.org/w/index.php?diff=93104&oldid=78399 * Kaveh Yousefi * (+406) Added a hyperlink to my implementation of the LayerASM programming language on GitHub and changed the category tag Unimplemented to Implemented. 15:32:57 [[LayerASM]] https://esolangs.org/w/index.php?diff=93105&oldid=93104 * Kaveh Yousefi * (+306) Added an example section containing as its incipient member an infinitely repeating cat program. 15:33:52 I should get some statistics on whether that file cache is actually helpful for anything. 15:34:30 And/or schedule a periodic run of maintenance/rebuildFileCache.php or something. 15:44:37 -!- [ has quit (Ping timeout: 240 seconds). 15:47:32 -!- Sgeo has joined. 15:52:54 -!- Noisytoot has joined. 16:33:11 -!- impomatic has quit (Ping timeout: 252 seconds). 16:46:57 -!- tech_exorcist has joined. 17:17:54 [[V3i]] M https://esolangs.org/w/index.php?diff=93106&oldid=93101 * PythonshellDebugwindow * (-30) Remove unnecessary pipe 17:18:07 Is it acceptable to use longjmp in the comparison function of qsort? 17:21:11 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 17:21:50 zzo38: heck, in fact it might also leave some of your array in an undefined state if you longjmp out of it 17:22:10 so I wouldn't recommend longjmp out of it 17:25:00 if you want to be able to longjmp out of it, then you probably have to write your own custom sort routine 17:25:36 and even then it's much better if you can allocate memory and ensure to clean that up before or after the longjmp 17:29:30 -!- eli_oat has quit (Quit: eli_oat). 17:40:24 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. 18:07:35 [[HASSL]] https://esolangs.org/w/index.php?diff=93107&oldid=92076 * Ethan T. Stanger * (+10) 18:15:40 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. 18:15:59 and qsort is probably in rights to even write other data (not of the type you're using) temporarily in the array 18:17:16 the problem is that there isn't any other sorting routine with a pre-made C interface that I can recommend instead 18:17:20 you'll have to roll your own 18:17:33 the algorithms that you can use themselves are of course documented in TAOCP 18:42:36 -!- Everything has quit (Quit: leaving). 19:53:22 -!- eli_oat has joined. 19:53:28 -!- arseniiv has joined. 19:53:41 hi again! 19:55:11 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? 19:56:35 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 19:58:23 for sequent calculus you need call/cc? 19:58:27 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) 19:59:06 hm https://mathoverflow.net/a/29597 19:59:21 i think you can prove (A + B) + C ≅ A + (B + C) using elements in an abelian category or something hth 19:59:27 for sequent calculus you need call/cc? => oh that would be unfortunate :( 19:59:33 it's also provable using yoneda lemma hth 19:59:43 i think i was wrong about call/cc 20:02:46 -!- SGautam has joined. 20:06:04 read the answers on MO, interesting 20:06:38 I came to this question exactly from defining parts of the isomorphism by pattern matching 20:06:40 -!- eli_oat has quit (Quit: eli_oat). 20:07:28 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 20:07:44 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? 20:08:38 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 20:09:14 zzo38: yeah I read something like that too 20:10:32 and then we would be asymmetrical again even there, hmm. But wait no, that avoidance is just about → rule only IIRC 20:12:59 [[Moaiscript]] https://esolangs.org/w/index.php?diff=93108&oldid=91276 * Eiim * (+814) Add new, slightly shorter cat program 20:14:24 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) 20:15:50 but I’m not feeling particularly well about what that gives 20:16:28 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)? 20:17:01 that’s of course an incorrect question but I’m not sure it’s more than 50% unsalvageable 20:20:01 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 20:24:37 arseniiv: you don't need to pick i to define sin either. sin(x) = x - x**3/6 + x**5/120 - x**7/5040 + ... 20:24:40 arseniiv: Those are isomorphic as... almost every structure normally placed on them. 20:25:31 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 20:26:11 b_jonas: we might have picked −sin instead of sin though 20:27:01 like we could have liked to have not cos' = sin but sin' = cos and that would be this second case 20:27:48 They're not just isomorphic as groups, but also as topological groups or Lie groups 20:28:24 The distinction has more to do with how the definition is carried out, but you end up defining the same thing. 20:28:57 (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) 20:29:52 Cale: whew now I feel easier that at least someone confirmed it’s no big deal that they are named in two ways 20:30:06 not that I asked much though 20:30:33 only here and in an other place which is not too much about math 20:30:50 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. 20:31:29 wait what’s the formal difference between T and U(1) then? 20:33:10 U(1) is the group of unitary linear transformations C^1 -> C^1. Of course, those can be represented by 1x1 complex matrices... 20:34:59 and 1x1 matrices behave suspiciously like their sole entry :) 20:35:22 ah okay indeed I injected C into L(C, C) and forgot that technically scalar operators are different from scalars 20:36:18 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? 20:40:15 [[Special:Log/upload]] upload * Hakerh400 * uploaded "[[File:001-tarnary-cantor-set.png]]": Esolang "Fractal" - Example "Ternary Cantor set" 20:41:06 [[Special:Log/move]] move * Hakerh400 * moved [[File:001-tarnary-cantor-set.png]] to [[File:001-ternary-cantor-set.png]]: typo 20:44:22 [[Special:Log/upload]] upload * Hakerh400 * uploaded "[[File:002-simple-tree.png]]": Esolang "Fractal" - Example "Simple tree" 20:47:17 [[Special:Log/upload]] upload * Hakerh400 * uploaded "[[File:003-sierpinsky-carpet.png]]": Esolang "Fractal" - Example "Sierpiski carpet" 20:47:22 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 20:48:37 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 20:48:52 it is when a space is 0-dimensional :D 20:49:09 that’s a bit hurtful for me 20:51:22 -!- eli_oat has joined. 20:54:16 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 21:13:29 -!- eli_oat has quit (Quit: eli_oat). 21:40:41 [[I Wanna Be the Esolang]] M https://esolangs.org/w/index.php?diff=93114&oldid=93100 * PythonshellDebugwindow * (+125) Add categories 21:41:18 [[Special:Log/newusers]] create * Applespineapples * New user account 21:46:22 [[Special:Log/upload]] upload * Hakerh400 * uploaded "[[File:004-barnsley-fern.png]]": Esolang "Fractal" - Example "Barnsley fern" 21:46:31 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=93116&oldid=93052 * Applespineapples * (+210) abcd 21:46:48 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=93117&oldid=93116 * Applespineapples * (-26) 21:51:03 [[User:Applespineapples]] N https://esolangs.org/w/index.php?oldid=93118 * Applespineapples * (+22) Created page with "I am a Love Live! fan." 21:51:42 [[Special:Log/upload]] overwrite * Hakerh400 * uploaded a new version of "[[File:004-barnsley-fern.png]]": High quality version 22:01:46 [[Fractal]] N https://esolangs.org/w/index.php?oldid=93120 * Hakerh400 * (+4187) +[[Fractal]] 22:02:18 [[Language list]] https://esolangs.org/w/index.php?diff=93121&oldid=93091 * Hakerh400 * (+14) +[[Fractal]] 22:02:30 [[User:Hakerh400]] https://esolangs.org/w/index.php?diff=93122&oldid=93075 * Hakerh400 * (+14) +[[Fractal]] 22:07:40 -!- tech_exorcist has quit (Quit: Disconnecting). 22:50:39 -!- __monty__ has quit (Quit: leaving). 23:04:34 -!- llk has joined. 23:10:48 -!- SGautam has quit (Quit: Connection closed for inactivity). 23:33:47 -!- oerjan has quit (Quit: Nite). 23:39:00 -!- llk has quit (Remote host closed the connection). 23:41:41 -!- llk has joined. 23:42:22 -!- llk has quit (Remote host closed the connection). 23:43:54 -!- llk has joined. 23:45:14 -!- simcop2387 has quit (Ping timeout: 260 seconds). 23:45:15 -!- perlbot has quit (Read error: Connection reset by peer). 23:45:32 -!- llk has quit (Remote host closed the connection). 23:47:35 -!- llk has joined. 23:50:25 -!- llk has quit (Remote host closed the connection). 23:52:09 -!- llk has joined. 23:53:20 -!- llk has quit (Remote host closed the connection).