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
<UmbralRaptop> wait, you can't add 4-vectors because they're not in a real vector space? o_O
<UmbralRaptop> aaaaaaaaaaaa
egg|cell|egg has quit [Ping timeout: 180 seconds]
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: 202 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has joined #kspacademia
<egg|cell|egg> UmbralRaptor: what do you mean
<UmbralRaptop> Though it is a vector, addition of two four-velocities does not yield a four-velocity: the space of four-velocities is not itself a vector space.[nb 2]
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
<egg|cell|egg> UmbralRaptor: that's a bit misleading
<UmbralRaptop> aaaaaaaa
<egg|cell|egg> The tangent spaces are vector spaces
<egg|cell|egg> The tangent bundle is a collection of vector spaces
<egg|cell|egg> Have you done any differential geometry
<UmbralRaptop> … probably not
<UmbralRaptop> but collection ≠ field or ring?
<egg|cell|egg> No but nevermind the point they are making here is normalisation
<egg|cell|egg> UmbralRaptor: unit vectors don't form a vector space
<UmbralRaptop> ah
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
<egg|cell|egg> UmbralRaptor: meow
<UmbralRaptop> egg|cell|egg: caw
ferram4 has joined #kspacademia
ferram4_ has quit [Ping timeout: 180 seconds]
* UmbralRaptop 🔪 tachyons
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 180 seconds]
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: 202 seconds]
egg|cell|egg has joined #kspacademia
<oeuf> UmbralRaptop: it really just is "a direction in the 4-manifold at an event"
<oeuf> (and it's fairly clear that directions don't have an additive structure)
<UmbralRaptop> this raises questions about some problems involving 4-momentum
<oeuf> UmbralRaptop: meow?
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Remote host closed the connection]
egg|cell|egg has joined #kspacademia
<_whitenotifier-7258> [Principia] eggrobin closed pull request #2083: GNSS time scales - https://git.io/fhdOs
<_whitenotifier-7258> [Principia] eggrobin pushed 4 commits to master [+0/-0/±8] https://git.io/fhxZr
<_whitenotifier-7258> [Principia] eggrobin 53356f5 - GST, BDT
<_whitenotifier-7258> [Principia] eggrobin 676aea0 - after pleroy's review
<_whitenotifier-7258> [Principia] eggrobin 5ccdc0f - more const
<_whitenotifier-7258> [Principia] eggrobin f3bc21b - Merge pull request #2083 from eggrobin/gnss-time GNSS time scales
<_whitenotifier-7258> [Principia] eggrobin opened pull request #2085: Standard Product 3 - https://git.io/fhxZi
<_whitenotifier-7258> [Principia] Pending. Build queued… - 
<_whitenotifier-7258> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3461/
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
<_whitenotifier-7258> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3461/
<_whitenotifier-7258> [Principia] eggrobin commented on pull request #2084: Make ContinuousTrajectory thread-safe - https://git.io/fhxCs
egg|laptop|egg has joined #kspacademia
<_whitenotifier-7258> [Principia] pleroy reviewed pull request #2085 commit - https://git.io/fhxCM
<_whitenotifier-7258> [Principia] pleroy reviewed pull request #2085 commit - https://git.io/fhxCD
<_whitenotifier-7258> [Principia] pleroy reviewed pull request #2085 commit - https://git.io/fhxCy
<_whitenotifier-7258> [Principia] pleroy reviewed pull request #2085 commit - https://git.io/fhxCS
<_whitenotifier-7258> [Principia] pleroy reviewed pull request #2085 commit - https://git.io/fhxC9
<_whitenotifier-7258> [Principia] eggrobin labeled pull request #2084: Make ContinuousTrajectory thread-safe - https://git.io/fhdi4
egg|laptop|egg has quit [Ping timeout: 183 seconds]
<UmbralRaptop> egg|cell|egg: just if adding them for the purposes of a particle collision actually makes sense, or if it only works because we do tricks to make most of it into masses
egg|cell|egg has quit [Ping timeout: 189 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 [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
* UmbralRaptop just walked between bus stops with a 40 minute headway (+14 minutes to get between them) in 38 minutes =\
* UmbralRaptop is becoming convinced that buses are largely pointless
egg|cell|egg has quit [Ping timeout: 180 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has joined #kspacademia
APlayer has joined #kspacademia
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
<UmbralRaptop> Hrm. Google maps thinks it should have taken me 54 minutes (2.6 miles) instead of the 38 I actually spent.
egg|laptop|egg has joined #kspacademia
<oeuf> UmbralRaptop: meow
APlayer has quit [Ping timeout: 190 seconds]
* UmbralRaptop pets œuf
UmbralRaptop has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
UmbralRaptop has joined #kspacademia
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptor has quit [Remote host closed the connection]
UmbralRaptop has joined #kspacademia
UmbralRaptor has joined #kspacademia
UmbralRaptor has quit [Remote host closed the connection]
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #kspacademia
UmbralRaptor has quit [Ping timeout: 190 seconds]
egg|laptop|egg has quit [Ping timeout: 190 seconds]