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|zz|egg>
but I guess that's a consequence of having been raised with Ada
<egg|zz|egg>
we'll have a dedicated integer type to count this thing here,
<bofh>
rofl
<egg|zz|egg>
bofh: honestly I'm not sure that adding dimensionful things to the usual algebraic structures is all that deeply interesting, it probably just works
<egg|zz|egg>
figuring out what happens to SO(3) when it isn't endomorphisms anymore, and what its Lie algebra becomes in that case, otoh,
<bofh>
okay that probably turns into an outright mess,
<egg|zzz|egg>
but it has to work, somehow: if you have two reference systems rotating wrt each other, their angular velocity wrt each other is a meaningful concept
<bofh>
Hrm.
<egg|zzz|egg>
but how does it come about, when there is no group structure to summon Lie and his algebra
<bofh>
Ugh, yes, but how do you represent the angular velocity of two reference *systems* with respect to each other. You kind of have to embed both of them into the same of some mathematical object for that to be meaningful, I think.
<egg|zz|egg>
bofh: well, you can have the SO(3) analogue easily, V and W oriented 3 dimensional real inner product spaces, the set of homomorphisms thereof has a manifold structure, right?
<bofh>
Yes, it's even isomorphic to something relatively nice but I forget *what* it is.
<egg|zz|egg>
at the end of the day it has to be essentially SO(3) except you don't have the group structure :-p
<egg|zz|egg>
what you do have is the manifold of inverses though
<egg|zz|egg>
maybe you can use *that* to screw around with commutators?
* bofh
idly debates bringing along their жалейка this time (kinda worried it'll get damaged in the flight tho, birchbark ain't the most strong material).
<bofh>
00:52:42 < egg|zz|egg> maybe you can use *that* to screw around with commutators?
<egg|zz|egg>
bofh: clearly you should use Norman birches and make one,
<bofh>
I doubt it, at least not nicely.
<bofh>
Then again, a lot of the structures concerned with screwing around with commutators are positively vile (consider, say, R[[X,Y]], the ring of all non-commuting formal power series with real coefficients in the non-commuting variables X and Y,)
<bofh>
egg|zz|egg: hrm, that sounds a bit difficult but also fun,
<egg|zz|egg>
as opposed to nonpositively vile
<bofh>
ANBO activities: making double-reed woodwinds,
* egg|zz|egg
looks up жалейка
<bofh>
egg|zz|egg: it's important the vileness is positive semidefinite,
<egg|zz|egg>
that kind of reminds me of adam de la halle somehow
<bofh>
lmao wikipedia: Timbre: Piercing and nasal / VolumeHigh
<bofh>
this is accurate
* bofh
looks up Adam de la Halle
<bofh>
ooh, interesting.
<egg|zz|egg>
ah yes that would be because the bit I'm thinking of has bagpipes,
<bofh>
(also let me take this moment to mention that time I was in a tabletop RP with @Zaikarion and we needed to figure out what sort of instrument my character would likely be able to play in the worldsetting so we spent like a half-hour spelunking the Hornbostel-Sachs Classification on the bus)
<egg|zz|egg>
you *could* encode this information in the types,
<UmbralRaptop>
Encoding a ball of yarn into types?
<bofh>
egg|zz|egg: perfect
<UmbralRaptop>
bofh: s/er/urr/
<Qboid>
UmbralRaptop thinks bofh meant to say: egg|zz|egg: purrfect
egg|zz|egg has quit [Read error: Connection reset by peer]
awang_ has quit [Ping timeout: 183 seconds]
<bofh>
egg|zzz|egg: so once again Comcast is managing to be shittier than ANBOdsl by, like, a lot.
<B787_300>
bofh: it is shitcast... what did you expect
<iximeow>
UmbralRaptop: *stares in [cat holding knife with devious tail wag]*
<bofh>
B787_300: *I* didn't expect anything, but egg commented that the DSL in Villequier is kinda not great, despite it being significantly better than the cable in a fairly msjor part of a well-populated state, :p
awang has joined #kspacademia
_whitelogger has joined #kspacademia
<UmbralRaptop>
iximeow: well, stabby cats are on brand, right?
<kmath>
<drydredgers> !!! @PRInstitution is finally creating the GIANT EURYPTERID BODY PILLOW!!! Ask yourselves, who among you has *not*… https://t.co/nldnNaLaBY
<bofh>
goddamnit twitter decided that video autoplay needed to become enabled again. was wondering why that site was consuming even more CPU than normal.
<kmath>
<stephentyrone> This whole thread is solid, but oh god this one. https://t.co/Yn1cKypuG0
<egg|work|egg>
!u ⹋
<Qboid>
U+2E4B (⹋)
<egg|work|egg>
UmbralRaptop: ?
<egg|work|egg>
oh, TRIPLE DAGGER, added in 11
<UmbralRaptop>
Yes.
<SnoopJeDi>
I was recently delighted to learn about 🄯
<UmbralRaptop>
bofh: twidere is the only good twitter =\
<SnoopJeDi>
!u 🄯
<Qboid>
U+1F12F (🄯)
<SnoopJeDi>
oh. COPYLEFT SYMBOL
<UmbralRaptop>
Unrelated: apparently of the 34 qualifying exams this semester, there were 18 failures. Also, the highest grade was <80% (all had 5 questions.)
<SnoopJeDi>
bofh, heard on the radio about some lady out walking her dog IN A HURRICANE saying "oh I've lived through a bunch of them"
<kmath>
<bmac_editor> Be sure to stack your cats neatly for best effect. #FelineFriday https://t.co/PDbonkQgxJ
UmbralRaptop has quit [Ping timeout: 202 seconds]
* awang
stabs CGAL
<egg|work|egg>
bofh: cats.
<awang>
!tell UmbralRaptop NP-hard meeting?
<Qboid>
awang: I'll redirect this as soon as they are around.
<SnoopJeDi>
LaTeX, presumably?
* awang
should really take some computational geometry classes at some point
<awang>
And probably some linalg classes, too
UmbralRaptop has joined #kspacademia
<UmbralRaptop>
So I made an off-talon comment about crying (metaphorically) after getting my qual results, and apparently someone was crying in the bathrooms earlier this week…
<Qboid>
UmbralRaptop: awang left a message for you in #kspacademia [14.09.2018 16:29:05]: "NP-hard meeting?"
<UmbralRaptop>
awang: silliness with scheduling future meetings during a meeting.
<kmath>
<bofh453> This reminds me, when I was walking up to the Moulin de la Galette I wound up taking the Boulevard de Clichy at 3AM… https://t.co/AQXhbP7mXS
<SnoopJeDi>
I have shed plenty of tears myself
<bofh>
like literally some person was holding an actual, live, well-behaved cat around her neck and walking along.
egg|zz|egg has joined #kspacademia
<egg|zzz|egg>
bofh: meow
<SnoopJeDi>
!pet egg|zzz|egg
* Qboid
pets egg|zzz|egg
<UmbralRaptop>
!pet egg|zzz|egg
* Qboid
pets egg|zzz|egg
<egg|zzz|egg>
!pet UmbralRaptop
* Qboid
pets UmbralRaptop
* UmbralRaptop
purrs
<bofh>
!pet egg|zzz|egg
* Qboid
pets egg|zzz|egg
* UmbralRaptop
has been pretty much unable to cry since about age 16. Probably for bad reasons.
_whitelogger has joined #kspacademia
<awang>
UmbralRaptop:
<awang>
Er
<awang>
s/$/Ah, I see
<Qboid>
awang meant to say: ErAh, I see
<awang>
...
<awang>
SnoopJeDi: ...That look scary :(
<UmbralRaptop>
awang: there were ~9 people, so it took a while.
<kmath>
<vandroidhelsing> Times New Roman is like a blurry dick pic from Pliny the Elder.
<SnoopJeDi>
LOL
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #kspacademia
<UmbralRaptop>
awang: puns are good, though
UmbralRaptop has quit [Ping timeout: 190 seconds]
UmbralRaptop has joined #kspacademia
awang has quit [Ping timeout: 183 seconds]
awang_ has joined #kspacademia
awang_ has quit [Ping timeout: 180 seconds]
awang_ has joined #kspacademia
awang_ has quit [Ping timeout: 202 seconds]
awang has joined #kspacademia
awang has quit [Ping timeout: 190 seconds]
<Qboid>
3d 0h 0m 0s left to event #28: Horizons 3e & Azerspace 2 (Intelsat 38) / Ariane 5 VA245 [at 2018-09-17 22:00:00]. Say '!kountdown 28' for details
APlayer has joined #kspacademia
awang_ has joined #kspacademia
<egg|zzz|egg>
!wpn bofh, whitequark, et al.
* Qboid
gives bofh, whitequark, et al. an UTF-2ⁿ [REDACTED]
<bofh>
!wpn egg|zzz|egg
* Qboid
gives egg|zzz|egg an aluminium fountain pen
<egg|zzz|egg>
hm
<egg|zzz|egg>
Qboid: give it to bofh or Iskierka, I already have a couple of good fountain pens
<bofh>
I mean I'm in need of one,
APlayer has quit [Ping timeout: 190 seconds]
_whitelogger has joined #kspacademia
pthag has quit [Remote host closed the connection]
<egg|zzz|egg>
UmbralRaptop: ah, you mean the fact that it's looking back?
<egg|zzz|egg>
UmbralRaptop: it was looking directly away from me so I made a noise to attract its attention, which prompted it to look at me but not move the rest of the cat