raptop 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. | We can haz pdf
e_14159 has quit [Ping timeout: 190 seconds]
e_14159 has joined #kspacademia
ferram4_ has joined #kspacademia
ferram4 has quit [Ping timeout: 180 seconds]
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|cell|egg has joined #kspacademia
<egg|cell|egg> Meow
* UmbralRaptop pets egg|cell|egg
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
* egg|cell|egg Lorenz contracts UmbralRaptor
<egg|cell|egg> s/z/tz/
<galois> egg|cell|egg meant to say: Lorentz contracts UmbralRaptor
<egg|cell|egg> s/tz/ꜩ/
<galois> egg|cell|egg meant to say: Lorenꜩ contracts UmbralRaptor
* egg|cell|egg dilates UmbralRaptop
<egg|cell|egg> UmbralRaptop
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has joined #kspacademia
egg|laptop|egg has joined #kspacademia
* oeuf meows at UmbralRaptop
* oeuf stares at Odonatoptera
<egg|laptop|egg> bofh: UmbralRaptop: I wonder whether starting with differential geometry would make teaching special relativity saner
<bofh> egg|laptop|egg: possibly? I don't think it's necessary for SR, all you care about is Minkowski space there
<egg|laptop|egg> bofh: sure, obviously it's only needed for GR, but otherwise you don't really have the vocabulary to talk about the underlying concepts in special relativity
<egg|laptop|egg> see UmbralRaptop's confusion at quadrivectors
<egg|laptop|egg> in particular quadrivelocity being a unit vector in the tangent space
<egg|laptop|egg> which only makes sense if you have tangent spaces and geodesics thereon
<bofh> I mean okay, true, but like I think a lot of this is
<bofh> "tangent spaces and geodesics" is what I consider like, basic vector calculus
<bofh> so I guess I agree with you here
* egg|laptop|egg slaps bofh's coordinates
<egg|laptop|egg> bofh: tbh I'd say differential geometry helps even with classical physics, because a lot of things that happen to be vector spaces are better handled as reference frames anyway
<bofh> "The introduction of numbers as coordinates is an act of violence" :p
<bofh> (~ Hermann Weyl)
<egg|laptop|egg> oh I didn't show you the Hermann Weyl Zimmer at ETHZ
<bofh> I mean yes. In fact I'd say it helps even more with classical mechanics tbh
<bofh> Like I guess my issue is I consider "differential geometry" to mean "Riemannian geometry" and "vector calculus" to mean "smooth manifolds theory"
<bofh> ...which prolly explains some of my frustration at trying to explain certain concepts to others, oops.
<bofh> >_<
<egg|laptop|egg> bofh: ...
<egg|laptop|egg> bofh: but anyway for GR you want *pseudo*-Riemannian geometry :-p
<egg|laptop|egg> In fact I'd say it helps even more with classical mechanics tbh << well in relativity it is quickly necessary, so that's rather stronger than helping
<bofh> true
<egg|laptop|egg> bofh: I wonder how hard it would be to make Principia's reference frame formalism GR-compatible
<bofh> I mean for starters I'm not sure how Principia implements the notion of spacetime metrics and geodesics.
<egg|laptop|egg> bofh: yeah, so the inner product is assumed to be canonical, there is no explicit dual space
<egg|laptop|egg> that's obviously something that would need to change
<egg|laptop|egg> and we have only one time type
<egg|laptop|egg> Instant
<egg|laptop|egg> (which is TT)
<bofh> that strikes me as a fairly nontrivial change to begin with
<egg|laptop|egg> but space coordinates are typed by reference frame
<egg|laptop|egg> bofh: also obviously we would need namespace feldgleichungen = principia;
<bofh> LOL
<egg|laptop|egg> bofh: also I have found more eggsciting typesettings of degrees, minutes, and seconds
<egg|laptop|egg> bofh: in Kepler (1609)
<egg|laptop|egg> it seems some angles are broken down with a unit larger than the degree though, and I'm not sure what that is
<egg|laptop|egg> the abbreviation for it is s
<egg|laptop|egg> bofh: ah, a longer abbreviation is sign.
<egg|laptop|egg> bofh: so it's 30 deg
<bofh> huh. i was going to guess spatium/arclength but that wouldn't make any sense.
<bofh> also that kinda seems reasonable tbh
<egg|laptop|egg> bofh: so e.g. p. 335:
<egg|laptop|egg> Tunc longitudo Solis a corde Leonis eſt 5 ſign. 27 grad. 33 minut. 20 ſecund. differens a longitudine Martis eccentrica 1ᷤ.26̊.35́.7̋. per 4ᷤ.0̊.58́.13̋. qua diſtantia arcuali [...]
<egg|laptop|egg> bofh: ^
<egg|laptop|egg> bofh: so the sign, degree, minute, second symbols are set above the digits
<egg|laptop|egg> and the parts are separated by full stops
<bofh> wait, set *above* the digits? what's the line spacing like then
<egg|laptop|egg> normal
<egg|laptop|egg> bofh: diacritics are a thing, you don't need to space lines to set those
<bofh> oh, so it basically is treated like an offset ring above?
<egg|laptop|egg> yeah
<egg|laptop|egg> for three-digit degree counts it's over the middle digit
<bofh> that... actually seems sensible, honestly.
<egg|laptop|egg> note that longitudes have a sign, but other angles may go above 30 degrees
<egg|laptop|egg> bofh: and in some tables, you just have a heading SGMS or GMS and then the sexagesimal digits are simply separated by full stops, without degree minute second symbols atop them
<egg|laptop|egg> !u v
<galois> v: U+0076 LATIN SMALL LETTER V
<egg|laptop|egg> um
<egg|laptop|egg> !u 1ᷤ
<galois> 1: U+0031 DIGIT ONE
<galois> ᷤ: U+1de4 COMBINING LATIN SMALL LETTER S
<_whitenotifier-7258> [Principia] eggrobin reviewed pull request #2085 commit - https://git.io/fhxPG
<egg|laptop|egg> meow
* UmbralRaptop falls over
* egg|laptop|egg pokes UmbralRaptop with a metric tensor
* UmbralRaptop suggests Russell (1914) for some fun notation of *magnitudes*
<UmbralRaptop> And yeah, tangent vectors just sort of happened without being defined
* egg|laptop|egg stabs physicists
<UmbralRaptop> Also tensors
<egg|laptop|egg> ſtabbity
* egg|laptop|egg meows at UmbralRaptop
* UmbralRaptop scritches egg|laptop|egg
* UmbralRaptop should ask for clarification about index notation later today
<UmbralRaptop> (i.e. after I've slept)
<_whitenotifier-7258> [Principia] eggrobin reviewed pull request #2085 commit - https://git.io/fhxPF
<_whitenotifier-7258> [Principia] eggrobin reviewed pull request #2085 commit - https://git.io/fhxPb
<_whitenotifier-7258> [Principia] eggrobin reviewed pull request #2085 commit - https://git.io/fhxPh
<_whitenotifier-7258> [Principia] eggrobin synchronize pull request #2085: Standard Product 3 - https://git.io/fhxZi
egg|laptop|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|laptop|egg has joined #kspacademia
ferram4__ has joined #kspacademia
ferram4_ has quit [Ping timeout: 190 seconds]
<_whitenotifier-7258> [Principia] pleroy pushed 2 commits to master [+0/-0/±6] https://git.io/fhxXu
<_whitenotifier-7258> [Principia] pleroy 8fa603a - Make ContinuousTrajectory thread-safe.
<_whitenotifier-7258> [Principia] pleroy 5c398a9 - Merge pull request #2084 from pleroy/ContinuousLocking Make ContinuousTrajectory thread-safe
<_whitenotifier-7258> [Principia] pleroy closed pull request #2084: Make ContinuousTrajectory thread-safe - https://git.io/fhdi4
<_whitenotifier-7258> [Principia] pleroy labeled pull request #2085: Standard Product 3 - https://git.io/fhxZi
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|laptop|egg has quit [Ping timeout: 180 seconds]
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 180 seconds]
egg|cell|egg has joined #kspacademia
egg|laptop|egg has joined #kspacademia
<egg|laptop|egg> UmbralRaptop: what does Russel do with magnitudes?
egg|cell|egg has quit [Ping timeout: 198 seconds]
<egg|laptop|egg> UmbralRaptop: bofh: whitequark: hahaha
<egg|laptop|egg> at low altitudes in KSP, KSP rotates the world (so that it operates in the surface frame)
<egg|laptop|egg> that's well-known
<egg|laptop|egg> but
<egg|laptop|egg> that means that a vessel in low Kerbin orbit spins as the planet does :D
<whitequark> uh
<egg|laptop|egg> whitequark: you know how in timewarp things don't spin in stock KSP?
<egg|laptop|egg> whitequark: well, they don't spin in KSP world coordinates
<egg|laptop|egg> whitequark: so if you timewarp along a low kerbin orbit, your vessel spins like Kerbin does :D
<egg|laptop|egg> this finding brought to you by thinking about https://github.com/mockingbirdnest/Principia/issues/1639 and realizing that since KSP also rotates the universe (albeit continuously along a single axis, rather than arbitrarily at SoI transitions like Principia), it has to solve the same problem
<egg|laptop|egg> which it doesn't
egg|cell|egg has joined #kspacademia
egg|laptop|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|cell|egg has joined #kspacademia
<egg|cell|egg> Meow
egg|cell|egg has quit [Ping timeout: 189 seconds]
<UmbralRaptop> egg|cell|egg: Russell as in Hertzsprung-Russell diagram http://adsabs.harvard.edu/abs/1914PA.....22..275R
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
<UmbralRaptop> egg|cell|egg: Russell as in Hertzsprung-Russell diagram http://adsabs.harvard.edu/abs/1914PA.....22..275R
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
<egg|cell|egg> UmbralRaptop: how are the magnitudes written?
<UmbralRaptop> With a superscript m before the decimal
<UmbralRaptop> 7^m .3
<UmbralRaptop> Fun fact: Einjar Hertzsprung's 1909 paper is paywalled
<egg|cell|egg> UmbralRaptor: oh so like degrees, interesting
egg|laptop|egg has joined #kspacademia
<UmbralRaptop> yeah
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has joined #kspacademia
egg|laptop|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has quit [Ping timeout: 180 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 180 seconds]
egg|laptop|egg has joined #kspacademia
egg|cell|egg has joined #kspacademia
APlayer has joined #kspacademia
APlayer has quit [Ping timeout: 190 seconds]
<_whitenotifier-7258> [Principia] Pending. Build queued… - 
<_whitenotifier-7258> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3462/
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia
<UmbralRaptop> "Our goal in this section is to develop a notation for such equations that is more elegant and more flexible than matrix notation."
<UmbralRaptop> ;8ball Is index notation elegant?
<SnoopJeDi> !8
<galois> SnoopJeDi: yes
<UmbralRaptop> !8 Is index notation elegant?
<galois> UmbralRaptop: no
<UmbralRaptop> cursed thought: thank you bofh. Thoth.
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
<_whitenotifier-7258> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3462/
<oeuf> UmbralRaptop: yes
<_whitenotifier-7258> [Principia] eggrobin closed pull request #2085: Standard Product 3 - https://git.io/fhxZi
<_whitenotifier-7258> [Principia] eggrobin pushed 14 commits to master [+10/-0/±29] https://git.io/fhxAX
<_whitenotifier-7258> [Principia] eggrobin 904286a - SP3
<_whitenotifier-7258> [Principia] eggrobin 6a15b70 - Merge branch 'gnss-time' into sp3
<_whitenotifier-7258> [Principia] eggrobin 3f7dd04 - spaghetti
<_whitenotifier-7258> [Principia] ... and 11 more commits.
* egg|laptop|egg meows at UmbralRaptop
egg|laptop|egg has quit [Ping timeout: 189 seconds]
<UmbralRaptop> aaaaaaa
<egg|cell|egg> Meow?
* SnoopJeDi pets egg|cell|egg
* UmbralRaptop chirps
* SnoopJeDi scritches UmbralRaptop
<egg|cell|egg> 喵
* UmbralRaptop pets egg|cell|egg
<egg|cell|egg> 25112225121
<UmbralRaptop> ¿
<SnoopJeDi> ¡
<UmbralRaptop> ∇Δ∇Δ∇Δ∇Δ∇Δ∇Δ∇Δ∇Δ
<bofh> meow
* UmbralRaptop headpats bofh
<egg|cell|egg> !u ∇Δ
<galois> ∇: U+2207 NABLA
<galois> Δ: U+0394 GREEK CAPITAL LETTER DELTA
<galois> [WIKIPEDIA] Free variables and bound variables#/media/File:Binary math expression tree.svg | "In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression. Some older..."
<egg|cell|egg> !u 🜄🜂
<galois> 🜄: U+1f704 ALCHEMICAL SYMBOL FOR WATER
<galois> 🜂: U+1f702 ALCHEMICAL SYMBOL FOR FIRE
* UmbralRaptop pokes covariant and contravariant vectors with a cat
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #kspacademia
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptor has joined #kspacademia
UmbralRaptop has joined #kspacademia
UmbralRaptor has quit [Ping timeout: 189 seconds]
ferram4 has joined #kspacademia
ferram4__ has quit [Ping timeout: 202 seconds]
<UmbralRaptop> 1.6 and 1.7 have the best QoL features since 0.17 (maneuver nodes)
<UmbralRaptop> Which in turn had the best since map mode and timewarp
Technicalfool has joined #kspacademia
UmbralRaptop is now known as TensorRaptop
* TensorRaptop feels doomed