00:05:35 (a \/ b) /\ ((a /\ b) \/ c) = (a \/ b) /\ ((a \/ c) /\ (b \/ c)) = (a \/ c) /\ ((a \/ b) /\ (c \/ b)) = (a \/ c) /\ ((a /\ c) \/ b) <-- not immediately obvious :) 00:06:54 Is there a way to write median such that it is obvious? 00:08:00 hmm. almost. (a \/ b) /\ (a \/ c) /\ (b \/ c) is at least obviously symmetric. 00:08:21 but it's still unclear that it's equal to its dual. 00:09:32 It also uses five comparisons in the obvious implementation, rather than three. 00:09:55 Well, the way I wrote it has four comparisons, but it does both min and max for a and b. 00:10:23 sure it has more comparisons. 00:11:07 and if you have it in that form the fact that you can use distributivity once is fairly obvious. 00:11:22 Fair enough. 00:12:42 "the smaller of the three pairwise maxima" is pretty clear, at least. 00:13:14 What does it do in a poset? 00:13:46 (a \/ b) /\ (a \/ c) /\ (b \/ c) = ((a /\ (a \/ c)) \/ (b /\ (a \/ c))) /\ (b \/ c) = (a \/ (b /\ (a \/ c))) /\ (b \/ c) = (a /\ (b \/ c)) \/ (b /\ (b \/ c) /\ (a \/ c)) = (a /\ (b \/ c)) \/ (b /\ (a \/ c)) = (a /\ b) \/ (a /\ c) \/ (b /\ a) \/ (b /\ c) = (a /\ b) \/ (a /\ c) \/ (b /\ c) 00:14:31 if you just have a poset, you won't have /\ or \/... 00:14:38 I mean lattice. 00:15:01 If you have a non-distributive lattice I think the duality breaks down. 00:15:23 (I mean the equation I just derived.) 00:19:49 -!- MDude has joined. 00:26:03 lattices, yum 00:27:37 does somebody know how to mend the sleeping schedule? 00:28:35 go traveling to another time zone for a while hth 00:29:02 try melatonin 00:29:02 shachaf: hmm… too costly :D 00:29:19 mm thanks 00:29:28 read the excessively long slatestarcodex post about it 00:29:54 thanks for narrowing down the set of slatestarcodex posts 00:30:08 shachaf: did I tell you about my adventures with galantamine 00:30:21 no 00:30:32 okay I think I’ll go then, it’s morning here 00:30:38 -!- TriMill has quit (Quit: Page closed). 00:30:42 i,i goofusamine and galantamine 00:31:27 mhm 00:31:35 -!- TriMill has joined. 00:32:29 kmc: i saw a good video that had kittens in it on the internet 00:32:35 but unfortunately i lost it 00:32:40 so you're just going to have to imagine some kittens 00:35:41 -!- arseniiv has quit (Ping timeout: 250 seconds). 00:35:53 -!- TriMill has quit (Ping timeout: 256 seconds). 00:36:20 shachaf: and it's actually trivial to produce an example of a lattice where that operation is not self-dual, namely the one with 3 incomparable elements, plus top and bottom elements. 00:37:01 ("trivial" in the sense that starting with three incomparable elements is very natural for this property.) 01:09:28 -!- tromp has joined. 01:11:09 -!- tromp_ has quit (Ping timeout: 252 seconds). 01:15:07 -!- imode has quit (Ping timeout: 244 seconds). 01:29:27 -!- imode has joined. 01:49:06 -!- budonyc has quit (Quit: Leaving). 02:20:44 -!- imode has quit (Ping timeout: 244 seconds). 02:40:37 -!- FreeFull has quit. 02:44:05 -!- imode has joined. 03:00:47 -!- imode has quit (Ping timeout: 248 seconds). 03:05:08 -!- imode has joined. 04:27:25 -!- aloril__ has quit (Read error: No route to host). 05:41:43 -!- nfd has joined. 05:45:31 -!- nfd9001 has quit (Ping timeout: 250 seconds). 06:22:20 -!- nfd9001 has joined. 06:23:52 -!- aloril has joined. 06:23:55 -!- nfd has quit (Ping timeout: 258 seconds). 06:23:59 -!- clog has quit (Ping timeout: 248 seconds). 07:03:48 -!- imode has quit (Ping timeout: 272 seconds). 07:07:52 -!- adu has quit (Quit: adu). 07:30:35 -!- clog has joined. 08:39:11 -!- Frater_EST has joined. 08:42:52 -!- clog has quit (Ping timeout: 246 seconds). 08:43:07 -!- clog has joined. 08:57:58 yo 09:04:28 -!- AnotherTest has joined. 09:10:48 -!- AnotherTest has quit (Read error: Connection reset by peer). 09:11:08 -!- AnotherTest has joined. 09:12:53 -!- Frater_EST has left. 10:16:13 -!- Lord_of_Life has quit (Ping timeout: 258 seconds). 10:17:02 -!- Lord_of_Life has joined. 11:14:48 -!- yorick has quit (Quit: nixos-rebuild). 11:50:16 -!- arseniiv has joined. 11:51:58 -!- sebbu3 has joined. 11:55:47 -!- sebbu has quit (Ping timeout: 244 seconds). 12:08:42 -!- sebbu3 has changed nick to sebbu. 12:34:12 -!- Frater_EST has joined. 12:34:48 -!- Frater_EST has left. 12:54:23 -!- Hooloovo0 has quit (Ping timeout: 248 seconds). 12:57:55 -!- Hooloovo0 has joined. 14:15:19 -!- sprocklem has quit (Read error: Connection reset by peer). 14:15:58 -!- sprocklem has joined. 15:10:22 at most is the nsame thing as maximum, not minimum 15:12:00 oh I see... "x is at most y" is the same thing as "x = min(x,y);" 15:12:20 so it's like a 'min=' operator 15:14:17 I am not sure how that would work in a functional language tho 16:56:36 -!- AnotherTest has quit (Ping timeout: 272 seconds). 17:32:39 -!- Phantom_Hoover has joined. 18:09:52 -!- AnotherTest has joined. 19:47:12 shachaf: you may be interested to know, that Ted Chiang is reading "Exhalation" on Thursday June 13 at 7:30 PM at Green Apple Books (my favorite bookstore) on 9th Ave in San Francisco 19:47:19 or maybe second favorite... it doesn't have a cat unfortunately 19:48:28 kmc: fancy 19:48:31 are you going 19:48:33 not sure 19:48:50 cat 19:48:55 `? cat 19:48:57 Cats are cool, but should be illegal. 19:49:06 legalize cats 19:49:24 Puns are fun, but should be illegal. 19:51:06 I should get a couple of cats and name them This and That. 19:51:19 Do you like This? 19:51:29 -!- FreeFull has joined. 19:51:34 yes 19:51:37 and I like That 19:52:47 kmc: https://i.imgur.com/LOiSViu.gifv 19:53:21 awww 19:53:29 so was the cat climbing her while she tried to keep her cool? 19:54:28 I think That is possible 19:54:56 Who's on first? 19:54:58 though my cat is completely impossible sometimes… to bear 20:00:54 bear eats cat 20:01:31 http://www.scp-wiki.net/scp-1313 20:05:31 that's the wrong kind of esoterics for me. 20:08:20 shachaf: isn’t it tagged as joke? It seems too bad for a serious one 20:08:54 Serious one? 20:09:23 or pretending to be non-joke 20:09:51 I'm confusil. 20:10:13 some of them are definitely creepy, and joke ones, I think, are never creepy, and this one is a bear^W^W unbearable 20:29:42 I guess the whole wiki is a work of fiction. I'm not in the right mood for that. 20:37:45 -!- telnet has changed nick to uplime. 20:45:00 int-e: yeah, it is, of course 20:47:00 but there are things in which one immerses way better than this unbelievable page IMO 20:59:03 -!- b_jonas has joined. 21:04:23 shachaf: So This is This and That is That: / and there's how you ad-dress a cat. 21:20:46 adjointly dress? 21:22:54 . o O ( so This is That and That is This, and nothing will be what it seems ) 21:23:23 b_jonas’s one is better 21:25:39 I think it's also Eliot's. 21:26:45 oh 21:26:55 a reverse allusion, was it? 21:29:11 What's the difference between that and a regular allusion? 21:29:41 in this context, a regular allusion is not a cat. 21:32:06 shachaf: if b_jonas cited the original, and you alluded to it earlier than that (via retcon, possilbly?), that may be called a reverse allusion, I think. If 21:32:55 a complicated hypothesis 21:47:10 -!- AnotherTest has quit (Ping timeout: 268 seconds). 21:51:32 you mean like I randomly quoted it, and then shachaf used his crystal ball earlier to foresee that and allude to it? 21:51:45 yeah, that's not a bad hypothesis. it matches my personality at least. 22:02:54 though it’s not why I came with “reverse allusion” name in the first place—I just thought it’s funny that situation is in some sense reversed compared to usual allusions somehow, it was a vague feeling, but latter came the rationalization 22:08:10 ``` set -e; cd wisdom; print "%s/ " vi* 22:08:12 Error: no such file "%s/ " \ Error: no "print" mailcap rules found for type "text/plain" \ Error: no "print" mailcap rules found for type "text/plain" \ Error: no "print" mailcap rules found for type "text/plain" \ Error: no "print" mailcap rules found for type "text/plain" \ Error: no "print" mailcap rules found for type "text/plain" 22:08:18 ``` set -e; cd wisdom; printf "%s/ " vi* 22:08:18 vi/ victoria/ vim/ violation/ virgil/ 22:08:30 virgil? is that one of mine? 22:08:32 `? virgil 22:08:34 Virgil is a prayer at dawn, as well as an ancient Italian poet who led Dante to hell so they can ask the blind transgendered seer Anchises stupid politics questions concerning contemporary noble families. 22:08:38 must be 22:08:46 `? vi 22:08:46 `? vim 22:08:47 vi is in a relationship with emacs. 22:08:48 vim equals to cmxciv or cmxcvi, depending on which part of Roman Empire you are. 22:08:53 `? victoria 22:08:54 Queen Victoria is the most victorious queen the world has ever known, even having won at the not dying contest. 22:08:55 `? violation 22:08:57 Violation is the act of playing an instrument in the viola family. 22:13:28 right.. sex and violins. 22:13:55 -!- Lord_of_Life_ has joined. 22:16:37 -!- Lord_of_Life has quit (Ping timeout: 246 seconds). 22:16:37 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 22:17:25 b_jonas: what one was you looking for? 22:18:52 arseniiv: vicuna 22:19:36 -!- Xylochoron has joined. 22:19:44 oh, didn’t hear about these before 22:22:23 no wonder, because they don't have a wisdom entry 22:28:03 hm sounds right 22:39:11 -!- unlimiter has joined. 22:44:53 -!- john_metcalf has left. 22:46:32 an improved Disfigure? nice 22:46:50 (a card in the upcoming M:tG set, called Defile) 22:51:47 -!- unlimiter has quit (Quit: WeeChat 2.4). 23:06:09 -!- unlimiter has joined. 23:07:11 -!- arseniiv has quit (Ping timeout: 248 seconds). 23:14:52 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 23:20:13 -!- unlimiter has quit (Quit: WeeChat 2.4). 23:39:05 -!- budonyc has joined. 23:42:53 -!- budonyc has quit (Client Quit).