egg|nomz|egg changed the topic of #kspacademia to: https://gist.github.com/pdn4kd/164b9b85435d87afbec0c3a7e69d3e6d | Dogs are cats. Spiders are cat interferometers. | Космизм сегодня! | Document well, for tomorrow you may get mauled by a ネコバス. | <UmbralRaptor> egg|nomz|egg: generally if your eyes are dewing over, that's not the weather. | <ferram4> I shall beat my problems to death with an engineer.
<egg> meow
egg is now known as egg|zzz|egg
<bofh> egg|zzz|egg: m⃗εσω
* UmbralRaptop meows at bofh, egg|zzz|egg, et al.
<kmath> <f1ac5> [🐈] https://t.co/U1KyJDLoTn
e14159 has quit [Killed (NickServ (GHOST command used by e_14159!~e14159@dslb-094-216-208-112.094.216.pools.vodafone-ip.de))]
e_14159 has joined #kspacademia
e_14159 is now known as e14159
<bofh> https://pbs.twimg.com/media/DetAPPXVQAA8siv.jpg:orig I had this open in a tab and I'm so confused.
<iximeow> lifted for future use
<B787_300> God damn i HATE private data, especially in a NIST document. "Densities were measured with a constant-volume piezometer that operates at conditions up to 745 K and 60 MPa. This study was carried out under a contract to Prof. Ilmudin M. Abdulagatov (Russian Academy of Sciences, Makhachkala) who set up a collaborative project with Prof. Nazim D. Azizov (Azerbaijan State Oil Academy (ASOA), Baku). The uncertainty estimated by ASOA for
<B787_300> the density measurements is 0.5 kg·m-3 (for T<623 K) and 0.1 % (for T>623 K). Those experimental data were privately communicated to NIST and were used, in addition to NIST measurements, to develop the models discussed in Section 2. "
<B787_300> ugh and even DTIC doesnt have what i want
<bofh> yuck
<B787_300> bofh: and DTIC is the place i turn to for obscure rocketry stuff
<UmbralRaptop> stabbity.
<B787_300> like i just want a nice equation for the density of RP1 as a function of pressure and temperature
* UmbralRaptop feels like more fields need equivalents to NASA's PDS, and astronomy's VizieR.
<bofh> YES. Yes they really do.
<bofh> (there is still no website for central exchange of NMR spectra, a problem the crystallographers solved almost 2 decades ago)
<B787_300> what is PDS UmbralRaptop
<UmbralRaptop> Planetary Data System
<UmbralRaptop> pds.nasa.gov
<B787_300> ah
rqou has quit [*.net *.split]
egg|phone|egg has quit [*.net *.split]
FluffyFoxeh has quit [*.net *.split]
B787_300 has quit [*.net *.split]
kmath has quit [*.net *.split]
<bofh> archon, same root as monarchy
FluffyFoxeh has joined #kspacademia
rqou has joined #kspacademia
egg|phone|egg has joined #kspacademia
B787_300 has joined #kspacademia
kmath has joined #kspacademia
<UmbralRaptop> hm
* UmbralRaptop isn't sure what to make of this response besides large integers exist in low level languages? https://twitter.com/porglezomp/status/1003129186536644608
<kmath> <porglezomp> @Newpa_Hasai what is i128 then
<Qboid> egg|zzz|egg: [SIMBAD] => Set of Identifications, Measurements, and Bibliography for Astronomical Data
<egg|zzz|egg> SIMBAD?
<egg|zzz|egg> VizieR?
<egg|zzz|egg> UmbralRaptop: is VizieR an acronym or anything?
<egg|zzz|egg> it has weird capitalization
<egg|zzz|egg> ADQL?
<egg|zzz|egg> PGC?
<Qboid> egg|zzz|egg: [PGC] => Principal Galaxies Catalogue
<egg|zzz|egg> ESIS?
<Qboid> egg|zzz|egg: [ESIS] => European Space Information System
<egg|zzz|egg> EXOSAT?
<Qboid> egg|zzz|egg: [EXOSAT] => European X-ray Observatory SATellite
<egg|zzz|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a COBOL dependent Van Allen wrench
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a seismic wpn
<bofh> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a semisimple overflow
APlayer has joined #kspacademia
<egg|zzz|egg> blarg deмcmc is hard
* egg|zzz|egg tries affine-invariant мcmc
<bofh> wow I must be tired, read that as affine-invariant мeme
<iximeow> i keep reading "deмcmc" as dmarc
<egg|zzz|egg> bofh: I'm not sure what those memes would look like
<UmbralRaptop> egg|zzz|egg: probably something, but the site doesn't explain.
<UmbralRaptop> The paper that you're supposed to cite does not seem to define it. https://aas.aanda.org/articles/aas/full/2000/07/ds1826/ds1826.html
<UmbralRaptop> o_O
<egg|zzz|egg> BKJD?
<egg|zzz|egg> !acr -add:BKJD Barycentric Kepler Julian Date
<Qboid> egg|zzz|egg: I added the explanation for this acronym.
<egg|zzz|egg> BJD?
<Qboid> egg|zzz|egg: [BJD] => Barycentric Julian Day
<egg|zzz|egg> JD?
<egg|zzz|egg> wait is it date or day
<egg|zzz|egg> !acr -update:BKJD Barycentric Kepler Julian Day
<Qboid> egg|zzz|egg: I updated the explanation for BKJD
<UmbralRaptop> MJD?
<Qboid> UmbralRaptop: [MJD] => Modified Julian Day
<egg|zzz|egg> oh great another flavour of JD: BJD = BKJD + 2,454,833.0)
<egg|zzz|egg> (those commas are caltech's and should be spaces)
<UmbralRaptop> Proposal: Smol Julian Day
<egg|zzz|egg> welp affine-invariant мcmc doesn't seem to want to converge any faster than its friend
<egg|zzz|egg> should I try a simple мcmc
<egg|zzz|egg> UmbralRaptop: bofh: by the way this is a nice presentation http://astrostatistics.psu.edu/RLectures/diagnosticsMCMC.pdf
<UmbralRaptop> I guess.
<egg|zzz|egg> UmbralRaptop: bofh: also phl might have called the starting population for ensemble мcmc great_old_ones >_>
<UmbralRaptop> "They came from the stars, and they brought their gods with them."
tawny- has quit [Ping timeout: 198 seconds]
UmbralRaptop has quit [Remote host closed the connection]
UmbralRaptop has joined #kspacademia
<egg|zzz|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a Hausdorff ネコバス
<bofh> egg|zzz|egg: https://twitter.com/Zaikarion/status/1003232020414148609 seems reasonable, no?
<kmath> <Zaikarion> @bofh453 Maybe we should christen ^d imgur as the patron god/dess of computer shenanigans? (𒀭𒅎𒄥)
<egg|zzz|egg> hah
<egg|zzz|egg> !u 𒅎𒄥
<Qboid> U+1214E CUNEIFORM SIGN IM (𒅎)
<Qboid> U+12125 CUNEIFORM SIGN GUR (𒄥)
awang has joined #kspacademia
* UmbralRaptop snerks.
<egg|zzz|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a nonlinear Kozai polygon pusher
<UmbralRaptop> aaaaa
<UmbralRaptop> !wpn egg
* Qboid gives egg an epsilon iBod
<bofh> UmbralRaptop: hey they're mentioned in the Ea-Nasir tablets: https://mobile.twitter.com/bofh453/status/987789232994439169
<kmath> https://twitter.com/bofh453/status/987789232994439169 <bofh453> wtf, apparently there's someone named Imgur in ancient Ur/Akkad: https://t.co/DVxCVP7DI0 https://t.co/5wdp7ocLlz
<kmath> <AndrewNCassidy> @bofh453 please tell me they were a painter who specialized in cats
<bofh> Unknown, I think.
<egg|zzz|egg> dunno what they did but they traded copper
* egg|zzz|egg stares at a марков chain
* egg|zzz|egg still has no idea
* egg|zzz|egg stabs things
<UmbralRaptop> Careful, those chains might erase your memory.
<UmbralRaptop> !choose poster|simulations|interplanetary shenanigans
<Qboid> UmbralRaptop: Your options are: poster, simulations, interplanetary shenanigans. My choice: poster
<UmbralRaptop> Qboid: being responsible?
<bofh> "For stability, my butt must be in hydrostatic equilibrium, which in case of a spherical butt translates to: [...]"
<bofh> I love cloud2butt sometimes.
<e14159> bofh: cloud2butt? Word replacement?
* egg|zzz|egg stabs optimization
<bofh> e14159: yeah, it replaces "the cloud" with "my butt" and "cloud" otherwise with "butt"
<e14159> Amusing.
<bofh> meant to affect Silly Valley salespitches but b/c it's me it mostly winds up hitting atmospherics & stellar astrophysics.
<e14159> Colleague of mine has one which replaces all occurences of Deep Learning with Derp Learning.
<bofh> which in a lot of ways is actually more hilarious.
<e14159> Agreed.
<e14159> Now I wonder whether you couldn't use context detection to only restrict replacement to one meaning.
<egg|zzz|egg> e14159: i cannot into optimization
<egg|zzz|egg> stab
<e14159> egg|zzz|egg: Hm?
<egg|zzz|egg> TRAPPIST-1 TTV
<egg|zzz|egg> poked at affine invariant and differential evolution мcmc, they all seem to not begin to converge :-/
<e14159> I'm guessing they're not differentiable? :P
<e14159> How big is your search space?
<egg|zzz|egg> 4 parameters (could add a few more I think) * 7 planets
<egg|zzz|egg> and the number of observed transits is 284
<egg|zzz|egg> tbh I'm not even sure my TTV χ² computation makes sense so
<e14159> That doesn't sound that bad.
<e14159> How much computational power do you have? Random search?
<egg|zzz|egg> e14159: I have one 4-core sandy bridge :-p
<e14159> And how much patience do you have? :P
<e14159> Might be too sensitive to those parameters, maybe. But that doesn't help you.
<e14159> Have you looked at a small grid of parameters?
<egg|zzz|egg> I have some values of the parameters that shouldn't be too far for half the parameters, so I've been starting from perturbations of that
<egg|zzz|egg> also I've tried a lot of weird shit
<egg|zzz|egg> genetic algorithms with mutation rates that cool down
awang has quit [Ping timeout: 194 seconds]
<egg|zzz|egg> e14159: also why are you e14159 and not e_14159
<UmbralRaptop> So we can run LaTeX on him.
<bofh> yeah, b/c otherwise we'd have e₁4159 when we'd run LaTeX on him.
<egg|zzz|egg> but he used to be e_14159, right?
<UmbralRaptop> Well, if we're in math mode.
<bofh> arrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrgh
<bofh> why is the adjoint representation of SU(2) not faithful?
<bofh> (I know why, it's just really annoying to be working with subgroups of SO(3) for a system with SU(2) symmetry >_>)
<e14159> egg|zzz|egg: Possibly. Let me check.
e14159 is now known as e_14159
<e_14159> Yes, probably.
<e_14159> I switched to quassel a few weeks ago and might have mistyped.
<egg|zzz|egg> now you're back to your usual colour
<e_14159> Yay, I guess?
awang has joined #kspacademia
<bofh> https://twitter.com/Loly_girl/status/1003205499142144001 I'm not sure I know enough hieroglyphics to get the joke.
<kmath> <Loly_girl> Древнеегипетские регулярки https://t.co/qMVUSpQxam
<egg|zzz|egg> e_14159: bofh: genetic algorithm sausagemaking intensifies: currently building up an initial population with smaller runs of a genetic algorithm to see if that helps with things getting stuck on a bad transit
<e_14159> egg|zzz|egg: Is that problem Lipschitz-continuous (is that the correct word for stetig?)?
<egg|zzz|egg> yeah that's the correct word
<bofh> I somehow get the feeling it's not, since if it is, why aren't you doing conjugate gradient or something like that? (or, fuck, an LP).
<egg|zzz|egg> and uh i guess? I had initially screwed up the metric so that it was not continuous but that should be fixed
<egg|zzz|egg> bofh: e_14159: I'm confused
<egg|zzz|egg> a lot of this is probably smooth, right?
<egg|zzz|egg> but it's also probably full of local minima
<kmath> <RinzyArt> a group of crows is a murder ⏎ ⏎ a group of crows spaced evenly between two margins is a justified murder
<kmath> <✔mbostock> LaTeX is so much better when you have emoji. https://t.co/SYxgUXpWYN
<e_14159> egg|zzz|egg: Well, I'm more concerned about smoothness, basically. If there are significant, sudden peaks in the metric there might be issues.
tawny- has joined #kspacademia
<e_14159> Essentially, optimizing random(0, 1) + dirac * 1000.
<egg|zzz|egg> e_14159: yeah I think I had this issue earlier, but now it should be better. It affected neither the genetic algorithm (which converges fairly well then stalls at maybe 1 h max δt, 5 min average, χ^2 tens of thousands, nor the мcmc (which doesn't converge)
<egg|zzz|egg> e_14159: maybe I should use the genetic algorithm to generate an initial state for the мcmc :-p
<egg|zzz|egg> maybe if i mix everything together it will magically work
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
<e_14159> egg|zzz|egg: That way lies madness!
<e_14159> Also, derp learning.
<egg|zzz|egg> e_14159: nah, I won't go *that* far in the madness
<egg|zzz|egg> e_14159: but genetic algorithms and ensemble мcmc are fair game, the astronomers use those :-p
* e_14159 nods
<egg|zzz|egg> e_14159: I'm still confused that our genetic algorithm seems to behave better than мcmc at the beginning
<egg|zzz|egg> (okay it has turned into a weird genetic algorithm, it has some sort of horrifying annealing schedule in its mutations :-p)
<e_14159> Magic!
* UmbralRaptop is not responsible if phl is carried off by flying polyps!
<iximeow> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a diamagnetic radioactive torch which vaguely resembles a lightning
<iximeow> i should read principia code more
<e_14159> "Great old one"
<e_14159> That way truly lies madness.
<egg|zzz|egg> iximeow: that's extremely WIP code, you probably want to look at master and not the notebooks of madness
<UmbralRaptop> egg|zzz|egg: hah
<egg|zzz|egg> iximeow: there's some fun stuff to be learned about geometry from our libs tho
<egg|zzz|egg> (see also this thread https://twitter.com/stephentyrone/status/1001524705382170624, we make coords very eggsplicit to avoid that)
<kmath> <stephentyrone> @eggleroy @bofh453 @Tiffnixen @rygorous Yuuuuuup.
<UmbralRaptop> iximeow: also, comments in Latin, and people's names spelled correctly.
<kmath> <whitequark> there's C++ code and then there's C++ code in Principia https://t.co/7yzqs9v8uL
<iximeow> "coordinates are a separate thing on top of the objects you are manipulating"
* iximeow considers, unsure if following
<bofh> "Great old one" INDEED, MADNESS
<egg|zzz|egg> iximeow: a vector in 3d space is not 3 reals
<egg|zzz|egg> it's a vector
<egg|zzz|egg> if you pick a basis, you can use that basis to express it as 3 reals
<egg|zzz|egg> if you pick another basis, the same vector is 3 other reals
<egg|zzz|egg> if you identify the vector with the 3 reals in one place and with 3 other reals in another, Fun happens
<iximeow> ohhh. yes.
<egg|zzz|egg> Principia has a lot of safeguards in place to make that not compile (the reference frame is part of the type, so is the grade of the multivector, the dimensionality, etc.)
<egg|zzz|egg> side effects include: there is no such thing as a cross product
<UmbralRaptop> So no way to wedge in electromagnetism?
<iximeow> er.. why not?
<egg|zzz|egg> iximeow: because the result of the cross product of two vectors isn't actually a vector
<egg|zzz|egg> it doesn't behave like a vector if you go through the looking glass
<egg|zzz|egg> it's a different object (a bivector) which is also an element of a 3d vector space, but not the original space
<egg|zzz|egg> you can cross bivectors and get a bivector (that's also the commutator of skew-symmetric matrices)
<egg|zzz|egg> you can make a bivector act on a vector and get a vector
UmbralRaptor has joined #kspacademia
<egg|zzz|egg> those are all the cross product in coordinates, but they change the nature of the object
UmbralRaptor has quit [Client Quit]
UmbralRaptor has joined #kspacademia
<egg|zzz|egg> UmbralRaptop: you can do all the eleggtromagnetism you want
UmbralRaptop has quit [Read error: Connection reset by peer]
<egg|zzz|egg> but you have to say whether you want a wedge (vector cross vector), a commutator (bivector cross bivector) or the left or right action of a bivector on a vector
* UmbralRaptor apparently needs a bunch more math to properly do cross products.
* iximeow same, but also still currently reading
<egg|zzz|egg> iximeow: the first Wedge, Commutator, and the *s are cross products in coords https://github.com/mockingbirdnest/Principia/blob/master/geometry/grassmann.hpp#L158-L197
UmbralRaptor has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #kspacademia
<egg|zzz|egg> !wpn whitequark, коте, the котяchromem kitten, and the grey kitten
* Qboid gives whitequark, коте, the котяchromem kitten, and the grey kitten a nickel inexplicable popup that didn't used to be there and doesn't do what it used to
<e_14159> So, update on my master's student: With the deadline for handing the thesis in being on the fifteenth (two weeks from now Friday), he apparently planned to send me the last chapter for me to give feedback end of next week.
<egg|zzz|egg> um
<egg|zzz|egg> how big are the chapters
<e_14159> And the latest chapter I received consisted of 1/3rd stuff that belongs in the method section, 1/3rd of irrelevant implementation detail, and 1/3rd was a (literal) itemization of hyperparameters.
<e_14159> Probably five to ten pages?
<e_14159> Oh, and the figures had drawing grids in the background.
<e_14159> (I offered to read through each chapter once as it arrived, then the whole thesis once. For each, I said I could guarantee feedback after a week)
tawny- has quit [Read error: -0x7880: SSL - The peer notified us that the connection is going to be closed]
<egg|zzz|egg> !wpn e_14159
* Qboid gives e_14159 a compound pilcrow
<e_14159> Thanks; I need that :-)
tawny- has joined #kspacademia
<UmbralRaptop> Pilcrow: a polearm notable for being able to knock down walls of text.
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #kspacademia
<egg|zzz|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a visual Laplacian
<UmbralRaptop> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg an actinium wombat
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 194 seconds]
APlayer has quit [Ping timeout: 182 seconds]
<egg|zzz|egg> okayd but that's fine, where it's a problem is if you hear it in japanese in the voice of Mochizuki https://twitter.com/pkhuong/status/1002313008670965761
<kmath> <pkhuong> I found the intro to https://t.co/iJM06xZZiL so dense that i started mentally hearing it in french :x
<egg|zzz|egg> s/d //
<Qboid> egg|zzz|egg meant to say: okaybut that's fine, where it's a problem is if you hear it in japanese in the voice of Mochizuki https://twitter.com/pkhuong/status/1002313008670965761
<kmath> <pkhuong> I found the intro to https://t.co/iJM06xZZiL so dense that i started mentally hearing it in french :x
<kmath> <volatile_void> https://t.co/lkVsp5p6M1
UmbralRaptor has quit [Remote host closed the connection]
UmbralRaptop has joined #kspacademia
<UmbralRaptop> Does the anime live up to this frame? https://twitter.com/bofh453/status/1002225480936902656
<kmath> <bofh453> https://t.co/kXnNBzSIEc
<egg|zzz|egg> !wpn -add:adj celebratory
<Qboid> egg|zzz|egg: Adjective added!
<egg|zzz|egg> !wpn -add:wpn fire extinguisher
<Qboid> egg|zzz|egg: Weapon added!
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a épée/mechanism hybrid
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark an alternating sleepy template
<egg|zzz|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a terrestrial edge
* UmbralRaptop is now armed with the sword of the earth!
<kmath> <LWoodney> The face of a teenager who pushed out a window screen to sneak out to party with her friends. No remorse. But today… https://t.co/TuDEscMfqn
<UmbralRaptop> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg an overflow
<kmath> <sondy> EVERYONE PLEASE STOP ASKING ME TO TAKE IN CATS *sigh* everyone is forwarding me requests to take ownership of cats… https://t.co/cWIuw4QGDY
APlayer has joined #kspacademia
APlayer has quit [Ping timeout: 182 seconds]
* egg|zzz|egg stares at the overflow
<bofh> https://twitter.com/bofh453/status/1003375538449285120 I inexplicably decided to ramble about branch cuts, halp.
<kmath> <bofh453> LRT: doubly amusing since in complex analysis land, exp(z) is simple to define, it's just \sum_{n=1}^{∞} \frac{z^n}… https://t.co/SS9I5ZAS0L
<kmath> <bofh453> So our solution is "simple": pick a ray in the complex plane over which ln(iθ) is *not defined*, i.e. discontinuous… https://t.co/prG4Xa3Hma
<egg|zzz|egg> bofh: I mean you could extend it on the boundary of the region where it's holomorphic by picking a side :-p
<egg|zzz|egg> bofh: and if you don't, it's continuous :-p
<egg|zzz|egg> bofh: are lie algebras bold fraktur or fraktur
<egg|zzz|egg> !pet bofh
* Qboid pets bofh
egg|zzz|egg_ has joined #kspacademia
egg|zzz|egg_ is now known as egg|laptop|egg
egg|laptop|egg is now known as egg|z|egg
<bofh> egg|zzz|egg: bold fraktur IME
<egg|zzz|egg> e_14159: do you think it might make sense to produce close candidates for ensemble мcmc via our weirdly-quickly-converging genetic algorithm
<bofh> egg|zzz|egg: and I'll freely admit I played a bit fast and loose w/some concepts, it's a twitter thread aimed somewhat generally, not a lecture :P
<bofh> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a harmfully-considered point
regex has joined #kspacademia
regex has quit [Remote host closed the connection]
<egg|zzz|egg> regex!?
<egg|zzz|egg> very transient regex :-/
<egg|zzz|egg> argh both great old ones so far have converged to the same bad transit
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a fermium camel
<kmath> <chordowl> "post the f̶o̶u̶r̶ five words every girl wants whispered in her ear" ⏎ ⏎ unique up to unique isomorphism
<UmbralRaptop> "Without loss of generality"
<egg|zzz|egg> bofh: ... is that volterra lotka? https://twitter.com/mbostock/status/1003021169149145088
<kmath> <✔mbostock> LaTeX is so much better when you have emoji. https://t.co/SYxgUXpWYN
<bofh> UmbralRaptop: ++
<bofh> egg|zzz|egg: YEAH I THINK SO
<kmath> <djconnel> @danbri @mbostock ✂️🐈/✂️⏱
<egg|zzz|egg> !u r̶
<Qboid> U+0072 LATIN SMALL LETTER R (r)
<Qboid> U+0336 COMBINING LONG STROKE OVERLAY (◌̶)
<UmbralRaptop> So, is github going to get incredible journeyed?
<bofh> https://twitter.com/geoffwozniak/status/1003409924410560512 I FEEL LIKE I JUST READ SOMETHING OUT OF THE NECRONOMICON
<kmath> <geoffwozniak> Kernighan says this (insane!) example comes from "what I believe is the worst C programming textbook ever written."… https://t.co/olVGYGMn4H
<egg|zzz|egg> bofh: https://twitter.com/bofh453/status/1003416575322611712 yeah but that means there's something to keep track of, rather than "oh good they're actually the same"
<kmath> <bofh453> @chordowl you could just use "unique up to isomorphism" & that's 4 words & more useful of a notion, imho. :P
<bofh> egg|zzz|egg: yeah but in the second case wouldn't just "unique" suffice?
* bofh was never good at abstract alg
<egg|zzz|egg> bofh: https://twitter.com/bofh453/status/1003416987823951873 also you could just adjectify Lipschitz
<kmath> <bofh453> "post the f̶o̶u̶r̶ five words every girl wants whispered in her ear" ⏎ ⏎ "Let f be Lipschitz-continuous..."
<egg|zzz|egg> bofh: well it's rare for things to be unique
<egg|zzz|egg> but yes, you can say unique sloppily :_p
<egg|zzz|egg> bofh: the thing is, if the unique object can arise in two very different ways, the unique isomorphism might be something that you see
<bofh> Ahh.
<bofh> I see what you mean now.
<kmath> <bizzyunderscore> @KatsKitties @IBKinTN @BitchestheCat @ObservatoryCats Hi guys https://t.co/W14UKXeaM6
<UmbralRaptop> *cats
<egg|zzz|egg> bofh: also that's a harsh requirement, C is very non-unique https://en.wikipedia.org/wiki/Complex_number#Algebraic_characterization
<egg|zzz|egg> "However, specifying an isomorphism requires the axiom of choice" aaaaaaaaaaaaaaaaaaaaa
<egg|zzz|egg> oh hey Automorphisms of the field of complex numbers cites B. L. van der Waerden, Moderne Algebra, 2nd edition 1937
* egg|zzz|egg tried to learn german with that
awang has quit [Ping timeout: 198 seconds]
<kmath> <geoffwozniak> @stephentyrone @bofh453 @johnregehr Kernighan calls it "malpractice".