←2019-07-20 2019-07-21 2019-07-22→ ↑2019 ↑all
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 <zzo38> 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 <int-e> @bot
04:20:43 <lambdabot> :)
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 <shachaf> @wn device
05:34:37 <lambdabot> *** "device" wn "WordNet (r) 3.0 (2006)"
05:34:38 <lambdabot> device
05:34:40 <lambdabot> n 1: an instrumentality invented for a particular purpose; "the
05:34:42 <lambdabot> device is small enough to wear on your wrist"; "a device
05:34:44 <lambdabot> intended to conserve water"
05:34:46 <lambdabot> [9 @more lines]
05:34:50 <shachaf> @wn instrumentality
05:34:52 <lambdabot> *** "instrumentality" wn "WordNet (r) 3.0 (2006)"
05:34:52 <lambdabot> instrumentality
05:34:52 <lambdabot> n 1: a subsidiary organ of government created for a special
05:34:54 <lambdabot> purpose; "are the judicial instrumentalities of local
05:34:56 <lambdabot> governments adequate?"; "he studied the French
05:34:58 <lambdabot> [5 @more lines]
05:35:12 <shachaf> 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 <fizzie> `` wn device -treen | paste
10:19:50 <HackEso> https://hack.esolangs.org/tmp/paste/paste.3516
10:19:52 <fizzie> There are a lot of devices.
11:05:35 -!- arseniiv has joined.
11:13:11 <b_jonas> ``` wisdom; \? can
11:13:12 <HackEso> laver table//A laver table is a type of Welsh furniture primarily used for eating seaweed. \ Can cans can cans?
11:13:19 <b_jonas> `'
11:13:20 <HackEso> 929) <lexande> sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski"
11:13:33 <b_jonas> `w
11:13:34 <HackEso> paperless//In a paperless world, rock would never lose.
11:13:39 <b_jonas> `q
11:13:39 <HackEso> 454) <itidus20> software patents strike again <ais523_> that's got to be at least three times, now <ais523_> are they out yet?
11:16:42 -!- Frater_EST has left.
12:03:32 <b_jonas> `? lcs
12:03:33 <HackEso> lcs? ¯\(°​_o)/¯
12:03:33 <b_jonas> `? lcd
12:03:35 <HackEso> lcd? ¯\(°​_o)/¯
12:03:35 <b_jonas> `? tft
12:03:36 <HackEso> tft? ¯\(°​_o)/¯
12:03:40 <b_jonas> `? pcm
12:03:41 <HackEso> pcm? ¯\(°​_o)/¯
12:18:54 -!- FreeFull has joined.
13:00:41 <esowiki> [[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 <arseniiv> `w
13:22:05 <HackEso> 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 <arseniiv> conspiratorially synchronistic
13:23:42 <arseniiv> `w
13:23:43 <HackEso> can//Can cans can cans?
13:23:47 <arseniiv> `w
13:23:48 <HackEso> dynamic-wind//dynamic-wind is the opposite of static-wind.
13:23:53 <arseniiv> :D
13:36:20 -!- user24 has joined.
13:37:52 -!- Phantom_Hoover has joined.
13:50:56 <b_jonas> 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 <arseniiv> a wind with air velocities in each point constant in time?
14:03:06 <arseniiv> though I heard “wind” in dynamic-wind is a verb
14:03:44 <arseniiv> (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 <arseniiv> (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 <esowiki> [[User talk:Calamari]] https://esolangs.org/w/index.php?diff=64592&oldid=13184 * Jussef Swissen * (+557) Request to fix links
15:31:55 <esowiki> [[User talk:Calamari]] https://esolangs.org/w/index.php?diff=64593&oldid=64592 * Jussef Swissen * (+1) /* Issues With Page */
15:35:56 <esowiki> [[? $51=]] N https://esolangs.org/w/index.php?oldid=64594 * Mipinggfxgbtftybfhfyhfn * (+22) Created page with "[[Category:Languages]]"
15:38:02 <esowiki> [[? $51=]] https://esolangs.org/w/index.php?diff=64595&oldid=64594 * Mipinggfxgbtftybfhfyhfn * (+13)
15:41:33 <esowiki> [[? $51=]] https://esolangs.org/w/index.php?diff=64596&oldid=64595 * Mipinggfxgbtftybfhfyhfn * (+135)
15:42:26 <esowiki> [[? $51=]] https://esolangs.org/w/index.php?diff=64597&oldid=64596 * Mipinggfxgbtftybfhfyhfn * (+4)
15:43:27 <esowiki> [[? $51=]] https://esolangs.org/w/index.php?diff=64598&oldid=64597 * Mipinggfxgbtftybfhfyhfn * (-4) /* Hello World! script */
15:45:08 <esowiki> [[? $51=]] https://esolangs.org/w/index.php?diff=64599&oldid=64598 * Mipinggfxgbtftybfhfyhfn * (+21)
15:47:36 <esowiki> [[? $51=]] https://esolangs.org/w/index.php?diff=64600&oldid=64599 * Mipinggfxgbtftybfhfyhfn * (+295)
15:53:18 -!- user24 has quit (Quit: Leaving).
15:54:38 <esowiki> [[? $51=]] https://esolangs.org/w/index.php?diff=64601&oldid=64600 * Mipinggfxgbtftybfhfyhfn * (+74)
15:58:14 <esowiki> [[? $51=]] https://esolangs.org/w/index.php?diff=64602&oldid=64601 * Mipinggfxgbtftybfhfyhfn * (+21)
17:48:33 -!- user24 has joined.
18:12:22 <rain1> https://botsin.space/@worldsofzzt/102480754802233031
18:22:06 <zzo38> 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 <zzo38> Did you make up a ZZT game?
18:52:04 <zzo38> Some people don't like some stuff in a ZZT game
18:52:28 <zzo38> 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 <rain1> XYZABCDE.ZZT is good yeah
19:21:46 <rain1> but i didnt get very fare
19:21:48 <rain1> 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 <zzo38> rain1: How far did you get to?
20:23:01 <rain1> i dont remember
20:23:12 <rain1> i think the bits ran up to me an killed me
20:23:17 <rain1> and i was dodging some bullets too
20:23:48 <b_jonas> oh... for a moment I thought the channel was talking about baba is you again
20:38:25 <zzo38> 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 <Hooloovo0> ok, so i thought I was close to beating BIY
21:38:12 <Hooloovo0> now I think I'm actually close
21:45:19 <shachaf> How many puzzles solved?
21:51:30 <Hooloovo0> 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 <shachaf> Do you want spoilers about the number of puzzles?
22:00:58 <shachaf> Hmm, I guess just asking that question is a sort of spoiler.
22:17:38 <Hooloovo0> yeah, I think that's what I just realized
22:18:27 <b_jonas> 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 <b_jonas> 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 <b_jonas> pulling that on players is so evil, breaking the pattern that way
22:20:24 <b_jonas> everyone spends time trying to find it
22:22:08 <Hooloovo0> 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 <b_jonas> so have you unlocked new game plus yet?
22:23:39 <Hooloovo0> I didn't worry too much about the secret levels
22:24:09 <Hooloovo0> not sure what that is, so probably not
22:27:05 <shachaf> b_jonas: Which zone is that?
22:27:18 <b_jonas> shachaf: Mario zone in Game Boy Super Mario Land 2
22:27:36 <shachaf> Oh. Well then.
22:27:48 <Hooloovo0> oh, not a biy thing, ok
22:28:01 <shachaf> This does seem like a classic b_jonasing.
22:28:15 <b_jonas> yeah, I guess it's like that
22:33:32 -!- Cale has quit (Remote host closed the connection).
22:39:35 <fizzie> 6 golden coins!
22:39:52 <shachaf> `? fizzie
22:39:53 <HackEso> 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 <shachaf> That doesn't look like gold.
22:40:08 <fizzie> That's not one of those six, no.
22:40:34 <shachaf> Do you like index notation?
22:42:31 <fizzie> As in Aᵢⱼ or something more?
22:43:36 <shachaf> Hmm, as in Aᵢʲ
22:44:01 <fizzie> I guess I do.
22:44:08 <fizzie> I don't think I've ever used all four corners though.
22:44:32 <shachaf> I'm thinking of the kind with only superscripts and subscripts to the right.
22:48:19 <shachaf> Also specifically the kind where you can write things like A_i^j B_j^k
22:49:38 <b_jonas> how about overscripts and underscripts?
22:52:32 <shachaf> How about it?
22:52:42 <b_jonas> you can use those as an extra two positions
22:52:46 <shachaf> I'm specifically talking about tensors here.
22:52:49 <b_jonas> besides right superscripts and right subscripts
22:52:52 -!- moei has quit (Quit: Leaving...).
22:52:54 <shachaf> (And also other symmetric monoidal categories or whatever.)
22:53:00 <b_jonas> oh, for tensors you probably use only superscripts and subscripts
22:53:29 <shachaf> You can also use superduperscripts nd subdubscripts.
22:53:36 <b_jonas> WHAT?
22:54:13 <shachaf> A subdubscript is the text written in subdubtitles, which are subtitles for a video that's been dubbed.
22:54:43 <b_jonas> uh
22:55:26 <shachaf> Man.
22:55:34 <shachaf> I sure wish I understood what linear algebra trace is.
22:57:55 -!- Cale has joined.
22:58:37 <arseniiv> shachaf: do you mean on some higher level, or on an ordinary basic level?
23:00:12 <shachaf> Hmm, I understand the level that says "sum of eigenvalues" (or "sum of diagonal").
23:00:39 <shachaf> Which level is that?
23:00:56 <fizzie> `` wn trace -over | sed -e '/^5/p;/verb/Q;d'
23:00:57 <HackEso> 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 <fizzie> It's probably that.
23:01:10 <fizzie> I mean, it mentions lines.
23:02:54 <arseniiv> 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 <shachaf> 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 <b_jonas> what?
23:03:35 <arseniiv> I’ll tell it in a less laconic way after sleeping if no one says anything
23:03:48 <arseniiv> hm I don’t think it should relate
23:04:12 <shachaf> For example in most other traced monoidal categories trace is related to fixed points.
23:04:35 <shachaf> And the string diagram notation is very suggestive.
23:05:03 <shachaf> 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 <arseniiv> maybe a trace of (1 − A) is? As (1 − A)x = 0 sometimes gives fixed points x of A if any
23:05:37 <shachaf> 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 <arseniiv> yeah, maybe there should be some not-so-obvious fixed point sense here, then
23:06:50 <shachaf> I also don't really know what it means if (for example) the trace of a map is 0.
23:06:51 <arseniiv> okay I’ll be here tomorrow bye
23:07:06 <arseniiv> oh wait
23:07:15 <shachaf> good nrseniighvt
23:07:39 <arseniiv> did you maybe read a book Linear algebra via exterior product, by Sergei Winitzki?
23:07:51 <arseniiv> there are some words about trace
23:07:56 <arseniiv> via exterior product :D
23:07:57 -!- tromp has quit (Ping timeout: 244 seconds).
23:08:11 <shachaf> arseniiv: Oh, I know Sergei.
23:08:17 <shachaf> I don't remember whether I asked him this question.
23:08:30 <arseniiv> shachaf: also thank you though it’s almost morning
23:08:49 <arseniiv> this book is nice
23:08:53 <shachaf> I'll look at the book.
23:09:16 <arseniiv> it encourages coordinate-free things but it also has index notation
23:10:02 <shachaf> arseniiv: Index notation is coordinate-free!
23:10:40 <shachaf> See this nice paper by Penrose: http://homepages.math.uic.edu/~kauffman/Penrose.pdf
23:11:36 <shachaf> 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 <shachaf> `don'taskdon'ttelllist
23:33:14 <HackEso> 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 <shachaf> Hmm.
23:51:07 <zzo38> Did anyone else read my incomplete card game document yet?
23:52:22 <b_jonas> zzo38: where is it?
←2019-07-20 2019-07-21 2019-07-22→ ↑2019 ↑all