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
<UmbralRaptop> mlbaker, mofh: given my math struggles, the two of you describing yourselves as bad at it is, uh, scary
<mlbaker> UmbralRaptor: you referring to twitter?
<UmbralRaptop> yeah
<mlbaker> "i'm bad at math" isn't quiiite equivalent to "i don't think i could contribute to the geometric langlands program"
<mlbaker> like, that particular field is incredibly notoriously technically demanding, more so than probably anything else in all of math
<UmbralRaptop> hrm
<mofh> what mlbaker said
<mofh> like it's conceptually *fascinating* from the little bits I can barely understand, but it's infamous for just how complex and technical it is. *in maths as a field*.
<mlbaker> i read something once about the barrier to entry being so high that most phd students in that field take years longer than an avg. math phd to complete
<mlbaker> also
<mlbaker> it's apparently standard procedure for newcomers to the field to go through a bunch of dense tomes & accept 90% of the theorems on faith because they have nowhere near enough time to learn any appreciable percentage of the proofs
<B787_300> UmbralRaptop: i dislike DCA so hard to find stuff and no continuous airside access
<mlbaker> and even established researchers in the field only understand the nuts and bolts of like 1/6 of what's going on
<UmbralRaptop> aaaaa
<B787_300> mlbaker: that sounds like a good way to miss understand stuff (also makes it hard to go back to a first principles approach)
<UmbralRaptop> B787_300: I feel like the big advantage of DCA is the metro stop, and once the silver line gets eggstended…
<mlbaker> it's kind of a nice testament to what we can achieve together as a species
<B787_300> UmbralRaptop: unfortunately even if i am doing a day trip the places i am going cant store a bag
<mlbaker> even if our individual lifespans are too short for one person to ever process the entirety
<mlbaker> B787_300: I mean, I agree; that's why it's remarkable that this is the MO
egg|cell|egg has joined #kspacademia
<mlbaker> like these people are doing stuff that's so high powered that every proof they write involves invoking a bunch of mega-theorems that each take a whole book to prove, rofl.
e_14159 has quit [Ping timeout: 190 seconds]
e_14159 has joined #kspacademia
ferram4_ has quit [Ping timeout: 190 seconds]
ferram4 has joined #kspacademia
ferram4_ has joined #kspacademia
ferram4 has quit [Ping timeout: 190 seconds]
ferram4__ has joined #kspacademia
ferram4_ has quit [Ping timeout: 190 seconds]
<_whitenotifier-5dfc> [Principia] pleroy closed issue #2262: Principia UI visibility at KSC - https://git.io/fj9Ix
<_whitenotifier-5dfc> [Principia] pleroy pushed 4 commits to master [+0/-0/±4] https://git.io/fjQVn
<_whitenotifier-5dfc> [Principia] pleroy f6dcb1e - Do not show our UI in contexts where it's not useful.
<_whitenotifier-5dfc> [Principia] pleroy e6a77e1 - Bad indent.
<_whitenotifier-5dfc> [Principia] pleroy c48f4e7 - After egg's review.
<_whitenotifier-5dfc> [Principia] pleroy ebb8aa4 - Merge pull request #2265 from pleroy/2262 Do not show our UI in contexts where it's not useful
<_whitenotifier-5dfc> [Principia] pleroy closed pull request #2265: Do not show our UI in contexts where it's not useful - https://git.io/fjQ0m
<_whitenotifier-5dfc> [Principia] pleroy closed issue #2259: Our log files should have a proper extension - https://git.io/fjSx2
<_whitenotifier-5dfc> [Principia] pleroy closed pull request #2266: Set the log filename extension - https://git.io/fjQ0P
<_whitenotifier-5dfc> [Principia] pleroy pushed 2 commits to master [+0/-0/±8] https://git.io/fjQVC
<_whitenotifier-5dfc> [Principia] pleroy 46c532e - Set the log filename extension.
<_whitenotifier-5dfc> [Principia] pleroy f788626 - Merge pull request #2266 from pleroy/2259 Set the log filename extension
<_whitenotifier-5dfc> [Principia] pleroy reviewed pull request #2264 commit - https://git.io/fjQVg
egg|cell|egg has quit [Ping timeout: 190 seconds]
<uovo> mofh: meow
uovo is now known as egg
<mofh> egg: meow
* UmbralRaptop ponders laptop names
UmbralRaptop has quit [Remote host closed the connection]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
egg|cell|egg has joined #kspacademia
UmbralRaptop has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
UmbralRaptop has quit [Remote host closed the connection]
UmbralRaptop has joined #kspacademia
UmbralRaptop is now known as ElectricalRaptor
ferram4__ has quit [Quit: Leaving]
ElectricalRaptor is now known as UmbralRaptor
<galois> title: ASAS-SN on Twitter: "Small data. https://t.co/5bdrXoMlVi… "
UmbralRaptor has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
UmbralRaptor has joined #kspacademia
Raptop has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 190 seconds]
Raptop has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #kspacademia
UmbralRaptor has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 190 seconds]
UmbralRaptor has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
UmbralRaptor has joined #kspacademia
UmbralRaptor has quit [Client Quit]
egg|cell|egg has quit [Read error: Connection reset by peer]
UmbralRaptor has joined #kspacademia
egg|cell|egg has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 202 seconds]
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
<UmbralRaptor> smol raptop is smol https://photos.app.goo.gl/EKnzURM7NSzbnJ6D7
<galois> title: Shared album - Patrick N - Google Photos
UmbralRaptor has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #kspacademia
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 189 seconds]
<UmbralRaptor> <@dfj> bah, cat wants me to make coffee *at midnight*
<UmbralRaptor> <@Myke> give her decaf, that'll teach her.
<UmbralRaptor> <@dfj> she makes me drink it - her role is to watch carefully.
<UmbralRaptor> <@Myke> (... to murder you in your sleep)
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
<egg> Ꙩ_ꙩ
<UmbralRaptor> cats!
<galois> title: homodemon ⚔️ on Twitter: "PLS WHY IS THIS SO FUNNY… "
<_whitenotifier-5dfc> [Principia] pleroy reviewed pull request #2264 commit - https://git.io/fjQSb
<_whitenotifier-5dfc> [Principia] pleroy reviewed pull request #2264 commit - https://git.io/fjQSN
<_whitenotifier-5dfc> [Principia] pleroy reviewed pull request #2264 commit - https://git.io/fjQSA
<_whitenotifier-5dfc> [Principia] pleroy reviewed pull request #2264 commit - https://git.io/fjQSx
<_whitenotifier-5dfc> [Principia] pleroy reviewed pull request #2264 commit - https://git.io/fjQSp
<_whitenotifier-5dfc> [Principia] pleroy reviewed pull request #2264 commit - https://git.io/fjQSh
<_whitenotifier-5dfc> [Principia] SirMortimer opened issue #2267: Control point up / forward won't affect the navball - https://git.io/fjQH7
<_whitenotifier-5dfc> [Principia] pleroy labeled issue #2267: Control point up / forward won't affect the navball - https://git.io/fjQH7
<_whitenotifier-5dfc> [Principia] pleroy opened pull request #2268: A change detector test for the dynamics of the solar system - https://git.io/fjQQs
<_whitenotifier-5dfc> [Principia] Pending. Build queued… - 
<_whitenotifier-5dfc> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3771/
<UmbralRaptor> Hrm. Switching off server functionality in TOPCAT breaks some unrelated table things in recent releases
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2268 commit - https://git.io/fjQQi
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQQX
<_whitenotifier-5dfc> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3771/
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQQS
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQQ9
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQQH
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQQ5
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQQF
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQQ5
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQ7m
<UmbralRaptor> Algorab is a good name for a raptop, right?
<UmbralRaptor> (Though I guess its colors are more magpie than crow)
<egg> will you be writing ALGOL with it
<galois> title: Delta Corvi - Wikipedia
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQ73
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQ7s
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQ7C
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQ7W
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQ74
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQ7R
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQ72
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQ7V
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQ7P
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQ7X
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQ7M
<_whitenotifier-5dfc> [Principia] eggrobin synchronize pull request #2264: Elements - https://git.io/fjQJx
<_whitenotifier-5dfc> [Principia] eggrobin synchronize pull request #2264: Elements - https://git.io/fjQJx
<_whitenotifier-5dfc> [Principia] eggrobin reviewed pull request #2264 commit - https://git.io/fjQ7y