00:12 <raptop> ...what's a lensk, and why are smol ones so good that a city was named after them?

00:12 <raptop> s/lensk/ensk

00:12 <galois> raptop meant to say: ...what's a ensk, and why are smol ones so good that a city was named after them?

00:20 <SnoopJ> cat. https://www.clevelandart.org/art/1964.255

00:20 <galois> title: Sleeping Cat | Cleveland Museum of Art

00:22 <raptop> money cat has run out of money

00:34 <egg|anbo|egg__> s8143504: cursèd question ; the smallest field that contains all roots of polynomials with rational coefficients is ℚ(√ℚ), right?

00:35 <egg|anbo|egg__> (the reason why the question is cursed is that I am trying to come up with a stupid notation for quantities related to a thing called Lagny’s « rational formula » and his « irrational formula », which correspond to roots of polynomials of degree 1 and 2 obtained by massaging the inputs respectively)

00:36 <egg|anbo|egg__> (the reason why this is more cursèd is that in principle you could also stop earlier and get formulæ involving roots of polynomials of higher degrees)

00:41 <egg|anbo|egg__> so clearly quantities should be called something like C_Lagny^ℚ for the rational method, C_Lagny^ℚ(√ℚ) for the irrational, C_Lagny^ℚ(∛ℚ(√ℚ)) for a higher one, &c.

00:42 <egg|anbo|egg__> (yes, the sane thing would be to call them 1, 2, 3, &c.)

01:21 <egg|anbo|egg__> !u […

01:21 <galois> [: U+005b LEFT SQUARE BRACKET

01:21 <galois> …: U+2026 HORIZONTAL ELLIPSIS

01:48 <s8143504> egg|anbo|egg__: what is ℚ(√ℚ)?

01:48 <s8143504> I think the smallest field that contains all roots of polynomials with rational coefficients is \overline{Q}, the algebraic closure of Q...

01:49 <s8143504> also known as the "field of algebraic numbers"

02:11 <egg|anbo|egg__> s8143504: uh, sorry, all roots of *degree two* polynomials with rational coefficients

02:11 <egg|anbo|egg__> yeah otherwise it is the algebraic closure

02:13 <egg|anbo|egg_> ℚ(√ℚ) as in the field eggstension, where √ℚ is the square roots of all rationals

03:04 <s8143504> egg|anbo|egg_: https://math.stackexchange.com/a/1782526

03:04 <galois> title: Field containing all square roots of rational numbers - Mathematics Stack Exchange

03:05 <s8143504> i guess your field is what this person calls T

03:05 <s8143504> whereas S is just Q adjoin sqrt(all positive rationals)

03:08 <egg|anbo|egg> isn’t my field S ?

03:10 <egg|anbo|egg> oh wait, I have the negative rationals in there as defined

03:11 <egg|anbo|egg> meanwhile in the 17th and 18th century: the 1733 book doesn’t fix the typo from the 1692 book that is pointed out in a 1694 paper

07:12 <UmbralRaptop> https://cybre.space/@niconiconi/106078374057110812

07:12 <galois> title: niconiconi: "This vintage #Tektronix 545 oscilloscope is power…" - Cybrespace

11:11 <mofh> smkz: so like, someone *has* had to have explored the possibility of drawing a dick on earth SARSAT observations via clever placement of waveguides, right?

19:27 <raptop> huh, GalaxyZoo is still finding uses for Stripe82 https://arxiv.org/abs/2011.01232

19:27 <galois> title: [2011.01232] Investigating Clumpy Galaxies in the Sloan Digital Sky Survey Stripe 82 using the Galaxy Zoo

19:28 <raptop> Astronomers naming things: https://arxiv.org/abs/2104.06422

19:28 <galois> title: [2104.06422] Mapping the Universe in HD

19:28 <raptop> (Also, does this count as a misleading title?)

19:37 <smkz> mofh: i think you could just use corner reflectors ^_^

20:52 <egg|cell|egg> ⟨ANBOcat⟩ мяу

20:52 <egg|cell|egg> ⟨mofh⟩ mood

21:11 <raptop> ANBOcat is correct

21:47 <mofh> https://en.wikipedia.org/wiki/MACS_J1149_Lensed_Star_1 excuse me that thing is *how* far away?

21:47 <galois> [WIKIPEDIA] MACS J1149 Lensed Star 1 | "MACS J1149 Lensed Star 1, also known as Icarus, is a blue supergiant star observed through a gravitational lens. It is the most distant individual star to have been detected so far (as of April 2018), at approximately 14 billion light-years from Earth (redshift z=1.49; comoving distance of 14.4 billion..."

21:57 <raptop> Oh, yeah, gravitational lensing is wild

22:01 <raptop> And yes, z = 1.49 is greater than a bunch of quasars

23:16 <raptop> Sure, you might be able to rotate a cow in your head, but can you invert a sphere? https://www.youtube.com/watch?v=wO61D9x6lNY