00:05:36 -!- ais523 has quit (Remote host closed the connection). 00:06:51 -!- ais523 has joined. 00:20:03 -!- ais523 has quit (Quit: quit). 01:22:35 -!- Sgeo__ has joined. 01:25:46 -!- Sgeo_ has quit (Ping timeout: 246 seconds). 01:26:28 -!- Cale has quit (Ping timeout: 244 seconds). 02:02:06 -!- Sgeo_ has joined. 02:05:53 -!- Sgeo__ has quit (Ping timeout: 258 seconds). 02:09:07 -!- MDude has joined. 02:16:10 -!- Cale has joined. 03:16:06 -!- Sgeo__ has joined. 03:17:12 I wrote these (incomplete) rules to make up a new card game: https://arin.ga/5eqtil Do you have a comment of it please? 03:19:10 -!- Sgeo_ has quit (Ping timeout: 246 seconds). 03:24:06 -!- Sgeo_ has joined. 03:27:07 -!- Sgeo__ has quit (Ping timeout: 245 seconds). 03:50:35 -!- Sgeo__ has joined. 03:51:56 -!- Sgeo__ has quit (Read error: Connection reset by peer). 03:53:19 -!- Sgeo has joined. 03:53:43 -!- Sgeo_ has quit (Ping timeout: 244 seconds). 04:06:10 -!- FreeFull has quit. 04:13:54 -!- lambdabot has quit (Remote host closed the connection). 04:15:35 -!- int-e has quit (Remote host closed the connection). 04:16:27 -!- int-e has joined. 04:16:47 -!- lambdabot has joined. 04:20:43 @bot 04:20:43 :) 05:15:04 * int-e wishes people would stop using the term "device verification" in a browser context. No, it's not a new device. Just a new browser session. 05:15:11 -!- kiwi_7 has joined. 05:19:07 -!- kiwi_7 has quit (Remote host closed the connection). 05:27:20 -!- kiwi_7 has joined. 05:32:16 -!- kiwi_7 has quit (Remote host closed the connection). 05:34:36 @wn device 05:34:37 *** "device" wn "WordNet (r) 3.0 (2006)" 05:34:38 device 05:34:40 n 1: an instrumentality invented for a particular purpose; "the 05:34:42 device is small enough to wear on your wrist"; "a device 05:34:44 intended to conserve water" 05:34:46 [9 @more lines] 05:34:50 @wn instrumentality 05:34:52 *** "instrumentality" wn "WordNet (r) 3.0 (2006)" 05:34:52 instrumentality 05:34:52 n 1: a subsidiary organ of government created for a special 05:34:54 purpose; "are the judicial instrumentalities of local 05:34:56 governments adequate?"; "he studied the French 05:34:58 [5 @more lines] 05:35:12 oh man, "device" means nothing like what i thought it meant tdnh 06:00:45 -!- kiwi_7 has joined. 06:04:28 -!- kiwi_7 has quit (Remote host closed the connection). 06:06:54 -!- kiwi_7 has joined. 06:10:35 -!- kiwi_7 has quit (Remote host closed the connection). 07:22:25 -!- Lord_of_Life has quit (Ping timeout: 246 seconds). 07:26:24 -!- Lord_of_Life has joined. 08:16:34 -!- AnotherTest has joined. 08:59:37 -!- Cale_ has joined. 09:00:01 -!- Cale has quit (Ping timeout: 276 seconds). 09:25:15 -!- tromp has quit (Read error: Connection reset by peer). 09:25:55 -!- tromp has joined. 09:43:30 -!- Frater_EST has joined. 10:19:47 `` wn device -treen | paste 10:19:50 https://hack.esolangs.org/tmp/paste/paste.3516 10:19:52 There are a lot of devices. 11:05:35 -!- arseniiv has joined. 11:13:11 ``` wisdom; \? can 11:13:12 ​laver table//A laver table is a type of Welsh furniture primarily used for eating seaweed. \ Can cans can cans? 11:13:19 `' 11:13:20 929) sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" 11:13:33 `w 11:13:34 ​paperless//In a paperless world, rock would never lose. 11:13:39 `q 11:13:39 454) software patents strike again that's got to be at least three times, now are they out yet? 11:16:42 -!- Frater_EST has left. 12:03:32 `? lcs 12:03:33 lcs? ¯\(°​_o)/¯ 12:03:33 `? lcd 12:03:35 lcd? ¯\(°​_o)/¯ 12:03:35 `? tft 12:03:36 tft? ¯\(°​_o)/¯ 12:03:40 `? pcm 12:03:41 pcm? ¯\(°​_o)/¯ 12:18:54 -!- FreeFull has joined. 13:00:41 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=64591&oldid=64582 * Sec-iiiso * (+205) /* Introductions */ 13:13:11 -!- grumble has quit (Quit: the bottle stands forlorn, a symbol of the dawn). 13:20:27 -!- grumble has joined. 13:22:02 `w 13:22:05 ​russia//Russia is a country so huge it manages to be so near to both Finland and Japan. It used to be part of the Soviet Union before Ronald Reagan destroyed it. 13:23:35 conspiratorially synchronistic 13:23:42 `w 13:23:43 ​can//Can cans can cans? 13:23:47 `w 13:23:48 ​dynamic-wind//dynamic-wind is the opposite of static-wind. 13:23:53 :D 13:36:20 -!- user24 has joined. 13:37:52 -!- Phantom_Hoover has joined. 13:50:56 the air moving about is an essential feature of wind, so I don't think there's such a thing as static wind 14:02:01 a wind with air velocities in each point constant in time? 14:03:06 though I heard “wind” in dynamic-wind is a verb 14:03:44 (though when I saw it first, I thought it’s a noun and didn’t get why there is a wind, dynamic moreso) 14:04:32 (and I still don’t get what it does and when it’s needed as I don’t write in Scheme) 15:06:59 -!- Cale_ has changed nick to Cale. 15:31:32 [[User talk:Calamari]] https://esolangs.org/w/index.php?diff=64592&oldid=13184 * Jussef Swissen * (+557) Request to fix links 15:31:55 [[User talk:Calamari]] https://esolangs.org/w/index.php?diff=64593&oldid=64592 * Jussef Swissen * (+1) /* Issues With Page */ 15:35:56 [[? $51=]] N https://esolangs.org/w/index.php?oldid=64594 * Mipinggfxgbtftybfhfyhfn * (+22) Created page with "[[Category:Languages]]" 15:38:02 [[? $51=]] https://esolangs.org/w/index.php?diff=64595&oldid=64594 * Mipinggfxgbtftybfhfyhfn * (+13) 15:41:33 [[? $51=]] https://esolangs.org/w/index.php?diff=64596&oldid=64595 * Mipinggfxgbtftybfhfyhfn * (+135) 15:42:26 [[? $51=]] https://esolangs.org/w/index.php?diff=64597&oldid=64596 * Mipinggfxgbtftybfhfyhfn * (+4) 15:43:27 [[? $51=]] https://esolangs.org/w/index.php?diff=64598&oldid=64597 * Mipinggfxgbtftybfhfyhfn * (-4) /* Hello World! script */ 15:45:08 [[? $51=]] https://esolangs.org/w/index.php?diff=64599&oldid=64598 * Mipinggfxgbtftybfhfyhfn * (+21) 15:47:36 [[? $51=]] https://esolangs.org/w/index.php?diff=64600&oldid=64599 * Mipinggfxgbtftybfhfyhfn * (+295) 15:53:18 -!- user24 has quit (Quit: Leaving). 15:54:38 [[? $51=]] https://esolangs.org/w/index.php?diff=64601&oldid=64600 * Mipinggfxgbtftybfhfyhfn * (+74) 15:58:14 [[? $51=]] https://esolangs.org/w/index.php?diff=64602&oldid=64601 * Mipinggfxgbtftybfhfyhfn * (+21) 17:48:33 -!- user24 has joined. 18:12:22 https://botsin.space/@worldsofzzt/102480754802233031 18:22:06 Do you like XYZABCDE.ZZT game? 18:31:30 -!- unlimiter has joined. 18:42:09 -!- unlimiter has quit (Quit: Thanks guys for your seconds and minutes). 18:43:02 Did you make up a ZZT game? 18:52:04 Some people don't like some stuff in a ZZT game 18:52:28 Did you read the incomplete rules I wrote of card game by now? 19:02:34 -!- Cale has quit (Ping timeout: 276 seconds). 19:10:33 -!- Cale has joined. 19:21:08 -!- user24 has quit (Quit: Leaving). 19:21:41 XYZABCDE.ZZT is good yeah 19:21:46 but i didnt get very fare 19:21:48 far 19:22:04 -!- Lord_of_Life_ has joined. 19:24:50 -!- Lord_of_Life has quit (Ping timeout: 248 seconds). 19:24:57 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 19:38:50 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine). 19:40:07 -!- Lord_of_Life has joined. 19:50:03 -!- Lord_of_Life has quit (Ping timeout: 245 seconds). 19:52:27 -!- Lord_of_Life has joined. 20:22:42 rain1: How far did you get to? 20:23:01 i dont remember 20:23:12 i think the bits ran up to me an killed me 20:23:17 and i was dodging some bullets too 20:23:48 oh... for a moment I thought the channel was talking about baba is you again 20:38:25 What bits ran up to you and kill you? 21:02:17 -!- budonyc has joined. 21:30:39 -!- AnotherTest has quit (Ping timeout: 264 seconds). 21:38:05 ok, so i thought I was close to beating BIY 21:38:12 now I think I'm actually close 21:45:19 How many puzzles solved? 21:51:30 I'm working on 2 files, current one has 106, but has 3 more puzzles solved than the other (currently inaccessibale desktop) at (iirc) 109 22:00:44 Do you want spoilers about the number of puzzles? 22:00:58 Hmm, I guess just asking that question is a sort of spoiler. 22:17:38 yeah, I think that's what I just realized 22:18:27 which layer of secret levels did you find? 22:18:56 -!- atslash has quit (Read error: Connection reset by peer). 22:19:38 -!- atslash has joined. 22:20:08 also, how many hours did you waste trying to find the secret level in the one zone that doesn't have one? 22:20:18 pulling that on players is so evil, breaking the pattern that way 22:20:24 everyone spends time trying to find it 22:22:08 I think I'm on the second layer of levels, beat all of the first area zones (not 100%, but enough flowers) 22:22:37 so have you unlocked new game plus yet? 22:23:39 I didn't worry too much about the secret levels 22:24:09 not sure what that is, so probably not 22:27:05 b_jonas: Which zone is that? 22:27:18 shachaf: Mario zone in Game Boy Super Mario Land 2 22:27:36 Oh. Well then. 22:27:48 oh, not a biy thing, ok 22:28:01 This does seem like a classic b_jonasing. 22:28:15 yeah, I guess it's like that 22:33:32 -!- Cale has quit (Remote host closed the connection). 22:39:35 6 golden coins! 22:39:52 `? fizzie 22:39:53 fizzie is not fnord with a monad but the king of #esoteric, see https://zem.fi/static/img/square_fizzie_320px_white.jpg 22:40:03 That doesn't look like gold. 22:40:08 That's not one of those six, no. 22:40:34 Do you like index notation? 22:42:31 As in Aᵢⱼ or something more? 22:43:36 Hmm, as in Aᵢʲ 22:44:01 I guess I do. 22:44:08 I don't think I've ever used all four corners though. 22:44:32 I'm thinking of the kind with only superscripts and subscripts to the right. 22:48:19 Also specifically the kind where you can write things like A_i^j B_j^k 22:49:38 how about overscripts and underscripts? 22:52:32 How about it? 22:52:42 you can use those as an extra two positions 22:52:46 I'm specifically talking about tensors here. 22:52:49 besides right superscripts and right subscripts 22:52:52 -!- moei has quit (Quit: Leaving...). 22:52:54 (And also other symmetric monoidal categories or whatever.) 22:53:00 oh, for tensors you probably use only superscripts and subscripts 22:53:29 You can also use superduperscripts nd subdubscripts. 22:53:36 WHAT? 22:54:13 A subdubscript is the text written in subdubtitles, which are subtitles for a video that's been dubbed. 22:54:43 uh 22:55:26 Man. 22:55:34 I sure wish I understood what linear algebra trace is. 22:57:55 -!- Cale has joined. 22:58:37 shachaf: do you mean on some higher level, or on an ordinary basic level? 23:00:12 Hmm, I understand the level that says "sum of eigenvalues" (or "sum of diagonal"). 23:00:39 Which level is that? 23:00:56 `` wn trace -over | sed -e '/^5/p;/verb/Q;d' 23:00:57 5. (1) trace -- (either of two lines that connect a horse's harness to a wagon or other vehicle or to a whiffletree) 23:01:01 It's probably that. 23:01:10 I mean, it mentions lines. 23:02:54 ah okay, I think it would be a basic coordinate-bound level or so. For linear operators realized as elements of V ⊗ V* the trace is just a covector-vector pairing map, and for other tensors of form W1 ⊗ V ⊗ W2 ⊗ V* ⊗ W3 it’s just that first trace appropriately lifted 23:03:25 arseniiv: It seems to me that trace should be related to fixed points, but I'm not quite sure what the connection is. 23:03:34 what? 23:03:35 I’ll tell it in a less laconic way after sleeping if no one says anything 23:03:48 hm I don’t think it should relate 23:04:12 For example in most other traced monoidal categories trace is related to fixed points. 23:04:35 And the string diagram notation is very suggestive. 23:05:03 Or the index notation. If you think of A_i^j B_j^k as connecting A's "output" to B's "input", then you should think of A_i^i as connecting A's "output" to its own "input". 23:05:06 maybe a trace of (1 − A) is? As (1 − A)x = 0 sometimes gives fixed points x of A if any 23:05:37 An eigenvector is a generalized fixed point, of course. So there's some connection between eigenvalues and fixed points in any case. 23:06:10 -!- tromp_ has joined. 23:06:12 yeah, maybe there should be some not-so-obvious fixed point sense here, then 23:06:50 I also don't really know what it means if (for example) the trace of a map is 0. 23:06:51 okay I’ll be here tomorrow bye 23:07:06 oh wait 23:07:15 good nrseniighvt 23:07:39 did you maybe read a book Linear algebra via exterior product, by Sergei Winitzki? 23:07:51 there are some words about trace 23:07:56 via exterior product :D 23:07:57 -!- tromp has quit (Ping timeout: 244 seconds). 23:08:11 arseniiv: Oh, I know Sergei. 23:08:17 I don't remember whether I asked him this question. 23:08:30 shachaf: also thank you though it’s almost morning 23:08:49 this book is nice 23:08:53 I'll look at the book. 23:09:16 it encourages coordinate-free things but it also has index notation 23:10:02 arseniiv: Index notation is coordinate-free! 23:10:40 See this nice paper by Penrose: http://homepages.math.uic.edu/~kauffman/Penrose.pdf 23:11:36 Or maybe just this page: https://en.wikipedia.org/wiki/Abstract_index_notation 23:13:43 -!- arseniiv has quit (Ping timeout: 246 seconds). 23:33:13 `don'taskdon'ttelllist 23:33:14 don'taskdon'ttelllist: q​u​i​n​t​o​p​i​a​ m​y​n​a​m​e​ i​n​t​-​e​ 23:33:17 Hmm. 23:51:07 Did anyone else read my incomplete card game document yet? 23:52:22 zzo38: where is it?