00:13 <raptop> I legit thought that this was a spacex joke https://twitter.com/whitequark/status/1371250561497100288

00:14 <whitequark> https://twitter.com/whitequark/status/1371253140025176064

00:20 <raptop> ah

00:35 <egg|anbo|egg_> s8143504: I mean relating cos θ to cos qθ, for rational q

00:35 <egg|anbo|egg_> (in a way that similarly makes some diagrams commute or something)

00:36 <egg|anbo|egg_> s8143504: re. Catalan numbers, that was prompted by them popping up entirely too often in my MSc. thesis

00:36 <egg|anbo|egg_> s8143504: see https://github.com/eggrobin/On-the-number-of-crossing-free-perfect-matchings-with-designated-left-and-right-endpoints/blob/master/crossing-free-perfect-matchings.pdf

00:36 <galois> title: On-the-number-of-crossing-free-perfect-matchings-with-designated-left-and-right-endpoints/crossing-free-perfect-matchings.pdf at master · eggrobin/On-the-number-of-crossing-free-perfect-matchings-with-designated-left-and-right-endpoints · GitHub

00:36 <egg|anbo|egg_> (perfectly normal repo name)

00:44 <raptop> That name has very 18th or 19th century treatise energy

00:46 <egg|anbo|egg_> raptop: however have you considered: the 17th century https://nubis.univ-paris1.fr/ark%3A/15733/3415

00:46 <galois> title: Methodes nouvelles et abbregées pour l'extraction et l'approximation des racines. Et pour resoudre par le cercle et la ligne droite, plusieurs problêmes solides & sursolides ; comme la duplication du cube, l'invention de deux & de quatre moyennes proportionnelles, &c. dans toute la précision possible, & d'une maniere praticable. Avec une dissertation sur les methodes d'arithmetique & d'analyse ; où l'on établit des principes gene

00:47 <raptop> That's more of an abstract than a title

00:48 <egg|anbo|egg_> galois: …raux pour en juger. Par Mr. T. F. de Lagny. Seconde edition. A Paris, De l’Imprimerie de Jean Cusson, ruë saint Jacques, à l’Image de saint Jean Baptiste. M. DC. LXCII.

00:48 <egg|anbo|egg_> raptop: it is obviously cited in https://github.com/mockingbirdnest/Principia/blob/master/documentation/bibliography.pdf

00:48 <galois> title: Principia/bibliography.pdf at master · mockingbirdnest/Principia · GitHub

00:49 <s8143504> egg|anbo|egg_: yeah, the half-angle formula already involves square roots though

00:49 <egg|anbo|egg_> [Fan92]

00:49 <egg|anbo|egg_> s8143504: yeah I think you need to look at it as an algebraic curve

00:50 <egg|anbo|egg_> the locus of the (cos θ, cos qθ) might be nice?

00:50 <egg|anbo|egg_> or the (cos pθ, cos qθ) perhaps

00:57 <egg|anbo|egg_> s8143504: those curves, assuming the former https://i.imgur.com/hI47alS.png

01:32 <s8143504> these are just y = T_q(x) though, unless i'm missing something

01:47 <egg|anbo|egg_> s8143504: when q is an integer, yes

01:48 <egg|anbo|egg_> s8143504: I regret to inform you that 1/2, 3/2, and 5/2 are not integers

02:59 <raptop> o_O https://twitter.com/quantian1/status/1371157251105296384

03:09 <egg|anbo|egg_> raptop: clearly the answer is to get more people to learn akk & sux

03:09 <raptop> clearly

03:10 <egg|anbo|egg_> raptop: make fluent akk a requirement for all ANBO positions,,,

03:11 <egg|anbo|egg_> it is the diplomatic language spoken across the four corners of the world, after all

03:13 <s8143504> egg|anbo|egg_: ah I see

03:18 <raptop> egg|anbo|egg_: ...who are the ANBO members, anyway? you, mofh_, ANBOcat, myself (member at large), Iskierka (emeritus?)

03:18 <raptop> !seen Iskierka

03:18 <galois> raptop: I last saw Iskierka in here 10 months, 30 days ago, saying: u sure it's not https://upload.wikimedia.org/wikipedia/commons/7/7b/Schlierenfoto_Mach_1-2_Pfeilfl%C3%BCgel_-_NASA.jpg

03:19 <egg|anbo|egg_> raptop: there is a visiting mofh, too

04:04 <raptop> http://www.goominet.com/unspeakable-vault/vault/624/

04:04 <galois> title: Unspeakable Vault

09:54 <egg|anbo|egg_> !wpn whitequark

09:55 <egg|anbo|egg_> raptop: ah yes I cannot read I suppose,

14:27 <raptop> Oh, right, today is the 15th

14:27 <raptop> !wpn

18:55 <raptop> new standards comitte? https://arxiv.org/abs/2011.12139

18:55 <galois> title: [2011.12139] SOLARNET Metadata Recommendations for Solar Observations

18:57 <raptop> Super-Mercuries are the most useful planets? https://arxiv.org/abs/2011.08893

18:57 <galois> title: [2011.08893] On the Probability that a Rocky Planet's Composition Reflects its Host Star

19:27 <raptop> https://twitter.com/CSMFHT/status/1313615601907032064

19:54 <mofh> https://www.nature.com/articles/s41586-021-03256-1

19:54 <galois> title: Detection of a particle shower at the Glashow resonance with IceCube | Nature

20:14 <egg|anbo|egg_> I wrote a change description in Akkadian today

20:14 <egg|anbo|egg_> 𒆜𒊭𒉺𒋾𒋾𒄒𒁹𒆠𒀠𒌅𒊌

20:14 <egg|anbo|egg_> KASKAL ša pa-ṭì ti-kip SANTAK₄-ki al-tu-uk

20:16 <egg|anbo|egg_> girra ša pāṭi tikip santakki altuk

20:16 <egg|anbo|egg_> girr-a ša pāṭ-i tikip santakk-i a-ltuk

20:16 <egg|anbo|egg_> path-ACC the.one.of boundary-STC dot.STC wedge-GEN 1SG-test.PRT

20:17 <egg|anbo|egg_> I have tested the path of the sign boundary

20:19 <egg|anbo|egg_> (the term for cuneiform sign, tikip santakki, is literally « dot of triangles », where santakku « triangle » is the term for a cuneiform wedge)

21:53 <raptop> !wpn -add:wpn script

21:53 <galois> Added wpn 'script'

21:54 <raptop> !wpn -add:wpn complaint

21:54 <galois> Added wpn 'complaint'

22:23 <egg|anbo|egg_> hmm, I have only one cat https://twitter.com/whitequark/status/1371565556151779332

22:24 <egg|anbo|egg_> I mean sometimes there are neighbouring cats but ANBOcat does not like having cats around

22:44 <whitequark> ah

22:54 <egg|anbo|egg_> whitequark: eggsample of ANBOcat angrying at cats https://i.imgur.com/DuqL7YT.jpg

22:58 <whitequark> angery

22:58 <whitequark> anbocat is left?

22:59 <whitequark> wait, have i ever seen anbocat