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
<bofh> https://twitter.com/bofh453/status/1105265168429318144 I like how this assignment question is so infamous amongst several years of uwaterloo math students that I can just start saying "Let A be a ring, and a a subset of A..." and they IMMEDIATELY wince.
<galois> title: Peter Barfuss 𒀱 on Twitter: ""Let A be a ring, and 𝖆 a subset of A. We say that 𝖆 is a (two-side) ideal of A if ∀a ∊ A, 𝔞 ∊ 𝖆, we have: a𝔞 ∊ 𝖆, 𝔞a ∊ 𝖆, or, equivalently: A𝖆 ⊂ 𝖆, 𝖆A ⊂ 𝖆 (& commutativity, ∃ zero & ∃ additive inverses)". ~ an actual literal math assignment I once had.… https://t.co/RGFBC9osDU"
<UmbralRaptop> aaaaaααααAAAAAAAΑΑΑAAAAA∀∀∀∀∀∀
<bofh> (also great: that moment when sleep-deprived me (this was my 1B, so I didn't have anywhere near as much practise as I do now, and no amphetamines) asked for clarification if it was "A𝖆 that was a subset of 𝖆, or A𝖆 that was a subset of A?" before realizing that said aloud, that carried absolutely no semantic information whatsoever).
<UmbralRaptop> hah
<bofh> eventually one of us obtained a copy of Dummitt&Foote and we all used that instead
<galois> title: Forbes Science on Twitter: "Happy birthday to Urbain Le Verrier, who discovered Neptune with math alonehttps://t.co/HnYPRFcIZT By @StartsWithABang… https://t.co/mOcb9xDJkp"
<UmbralRaptop> !u ⯉
<galois> No info for U+2bc9 (I only know about Unicode up to 9.0)
<bofh> NEPTUNE FORM TWO
<UmbralRaptop> Is this Neptune's final form?
<bofh> Not sure, I'd have to ask Le Verrier
e_14159 has quit [Ping timeout: 190 seconds]
e_14159 has joined #kspacademia
Moistmelon has joined #kspacademia
WetLemons has quit [Ping timeout: 189 seconds]
egg|laptop|egg has joined #kspacademia
<egg|laptop|egg> https://twitter.com/bofh453/status/1105265168429318144 wait, with bold and non-bold fraktur?
<galois> title: Peter Barfuss 𒀱 on Twitter: ""Let A be a ring, and 𝖆 a subset of A. We say that 𝖆 is a (two-side) ideal of A if ∀a ∊ A, 𝔞 ∊ 𝖆, we have: a𝔞 ∊ 𝖆, 𝔞a ∊ 𝖆, or, equivalently: A𝖆 ⊂ 𝖆, 𝖆A ⊂ 𝖆 (& commutativity, ∃ zero & ∃ additive inverses)". ~ an actual literal math assignment I once had.… https://t.co/RGFBC9osDU"
<egg|laptop|egg> also wasn't that latin italic?
<egg|laptop|egg> um, they're all latin
<egg|laptop|egg> but aA
<egg|laptop|egg> ought it not be italic?
egg|cell|egg has quit [Ping timeout: 190 seconds]
<bofh> egg|zzz|egg: no, it was a, A, \mathfrak{a}, \mathbfrak{a}
egg|cell|egg has joined #kspacademia
ferram4__ has joined #kspacademia
ferram4_ has quit [Ping timeout: 202 seconds]
<egg|zzz|egg> bofh: right but aA in LaTeX is mathematical italic
<egg|zzz|egg> bofh: mathrm would be basic latin
<bofh> egg|zzz|egg: yes but it was in \mathrm{} in the assignment. At the very least \mathrm{a}, it might've been italic A. I actually can't recall at this point.
<egg|laptop|egg> bofh: O_o
<egg|laptop|egg> that's *weird*
<egg|laptop|egg> !acr -add:COSMIC Constellation Observing System for Meteorology, Ionosphere, and Climate
<galois> Definition added!
<egg|laptop|egg> !acr -add:FM Flight Model
<galois> Definition added!
ferram4 has joined #kspacademia
ferram4__ has quit [Ping timeout: 202 seconds]
Ellied has quit [Ping timeout: 198 seconds]
Ellied has joined #kspacademia
ferram4 has quit [Read error: Connection reset by peer]
ferram4 has joined #kspacademia
egg|laptop|egg has quit [Read error: Connection reset by peer]
egg|laptop|egg has joined #kspacademia
<egg|laptop|egg> bofh: updated the first implementation in https://gist.github.com/eggrobin/495f5ad928e691a2cfa4f9c392e66a58 to use a case statement rather than an if statement (that is nicer and ensures that the ranges are disjoint)
<galois> title: rot13 · GitHub
egg|laptop|egg has quit [Ping timeout: 180 seconds]
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
ferram4_ has joined #kspacademia
ferram4 has quit [Ping timeout: 180 seconds]
APlayer 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: 180 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|laptop|egg has joined #kspacademia
<egg|laptop|egg> hm where is my phone
<egg|laptop|egg> egg
<galois> title: Elizabeth Frank on Twitter: "I found the slide deck (it's on the VEXAG site) - here's the stealth slide we snuck in at the end of the final presentation:… https://t.co/aEscnTzcxe"
<bofh> also egg|laptop|egg: ^
<egg|laptop|egg> egg
<egg|laptop|egg> egg
<egg|laptop|egg> egg
<egg|cell|egg> Meow
<UmbralRaptop> VELOCIRAPTOR!
<egg|laptop|egg> !acr -add:MESSENGER MErcury Surface, Space ENvironment, GEochemistry, and Ranging
<galois> Definition added!
* egg|laptop|egg meows at whitequark and the котяchrome kitten
<egg|laptop|egg> s/the котяchrome kitten/котеньке/
<galois> egg|laptop|egg meant to say: meows at whitequark and котеньке
<egg|laptop|egg> депакотенька
* UmbralRaptop pokes vim with a stick, and wonders why input is so slow for this file
<SnoopJeDi> UmbralRaptop, for startup, or while you're editing?
<UmbralRaptop> editing
<UmbralRaptop> Hrm. Seems to be related to long lines + syntax hilighting?
<SnoopJeDi> oh, very possible!
<SnoopJeDi> you'd know it was related if you lose the slowdown by doing `set syntax=` to disable it entirely
<egg|laptop|egg> moo
<UmbralRaptop> syntax mooing?
APlayer has quit [Ping timeout: 190 seconds]
_whitenotifier-3d18 has joined #kspacademia
<_whitenotifier-3d18> [Principia] eggrobin synchronize pull request #2094: A test for StandardProduct3 - https://git.io/fhjSh
egg|laptop|egg has quit [Ping timeout: 183 seconds]
UmbralRaptop is now known as NomalRaptor
* NomalRaptor feels anxious about posters
* NomalRaptor feels anxious about power adapters
* NomalRaptor feels anxious about trains
APlayer has joined #kspacademia
<galois> title: Natalie D Kane on Twitter: "Hang on, there are fake trains on TFL?!… "
NomalRaptor has quit [Ping timeout: 202 seconds]
UmbralRaptop has joined #kspacademia
<galois> title: Pleroma
<bofh> !u 🇬🇧💦
<galois> 🇬: U+1f1ec REGIONAL INDICATOR SYMBOL LETTER G
<galois> 🇧: U+1f1e7 REGIONAL INDICATOR SYMBOL LETTER B
<galois> 💦: U+1f4a6 SPLASHING SWEAT SYMBOL
<SnoopJeDi> woof
<UmbralRaptop> Will 🇬🇧 halt and catch fire on march 30?
<galois> title: Is Britain on fire yet?
<UmbralRaptop> yeah, that's where I got the line >_>;;
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 183 seconds]
UmbralRaptor has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 189 seconds]
<e_14159> UmbralRaptor/bofh: Well, whenever I feel dissatisfied, I can look at Brexit and clearly see it could be worse.
<UmbralRaptor> One of the fun things about living outside of DC with the current government is occasionally wondering if you're going to die in a nuclear fire
UmbralRaptor has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #kspacademia
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #kspacademia
<SnoopJeDi> might not want to look at DOE's section of the new budget proposal then >_>
<UmbralRaptop> Hah *sob*
<bofh> lolsob
<e_14159> SnoopJeDi: Well, I'm certain it would work wonders for my blood pressure
<SnoopJeDi> "what do you mean DOE does things that *aren't* the apocalypse?"
<e_14159> Isn't the White House responsible for the apocalypse?
<SnoopJeDi> it can be both
<SnoopJeDi> interesting to see the words "nuclear waste" being used by the WH though
<e_14159> Does that sentence include "hoax"?
<SnoopJeDi> I mean as opposed to "spent nuclear fuel" or whatever euphemism you prefer in the post-BRC world
<SnoopJeDi> guess nobody briefed the WH on the official federal policy of burying our heads and our "spent fuel" in the sand
* e_14159 nods
<e_14159> Speaking of Fake Stuff: http://www.whichfaceisreal.com/index.php
<galois> title: Which Face is Real?
<UmbralRaptop> "thing that we won't reprocess because we know that the US would launch a first strike if it had nuclear weapons
<UmbralRaptop> "
<UmbralRaptop> … I swear I wasn't this depressed about this country once
<SnoopJeDi> there are a lot of reasons for "ehhh, let's not deal with that" and they're pretty complicated
<SnoopJeDi> none of them are very good reasons though
<SnoopJeDi> !how many opinions
<galois> SnoopJeDi: 778 opinions
<SnoopJeDi> guess I should funnel some of those into my thesis
<UmbralRaptop> !how many kittens
<galois> UmbralRaptop: 896 kittens
<UmbralRaptop> Hrm
<e_14159> !how many pies?
<galois> e_14159: 76 pies
<e_14159> That seems okay to me.
<SnoopJeDi> !how big is each pie though
<galois> SnoopJeDi: 80 bigs
<UmbralRaptop> How many bigs are in an are?
<SnoopJeDi> !how many
<galois> SnoopJeDi: 466
<UmbralRaptop> egg|zzz|egg: why is there a unit called an "are"?
<SnoopJeDi> !why
<galois> SnoopJeDi: because reasons
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 198 seconds]
UmbralRaptor has quit [Ping timeout: 202 seconds]
UmbralRaptop has joined #kspacademia
APlayer has quit [Read error: Connection reset by peer]