UmbralRaptor 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
ObservatoryRaptor has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
e_14159_ has joined #kspacademia
e_14159 has quit [Ping timeout: 378 seconds]
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 206 seconds]
<egg|cell|egg> UmbralRaptor: measuring telescope size in pounds sounds sillier than ells
<egg|cell|egg> !wpn -add:wpn nut
<galois> Added wpn 'nut'
<egg|cell|egg> !wpn -add:wpn bolt
<galois> Added wpn 'bolt'
<egg|cell|egg> !wpn whitequark
* galois gives whitequark a niobium fork
* UmbralRaptor wonders if that site is full of threading standards
<UmbralRaptor> egg: a unit of weight is reasonable for sizing supports
<egg|cell|egg> Yeah
<UmbralRaptor> !wpn whitequark
* galois gives whitequark a muon
<egg|cell|egg> Less so for general purpose telescope description
<egg|cell|egg> The 11 tonne telescope
<UmbralRaptor> The 40 foot telescope
<UmbralRaptor> (focal length of all things)
<UmbralRaptor> Does this count as high AoA reentry? Asking for a friend
<UmbralRaptor> luv2get late night texts from campus security about armed people on/around campus
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
UmbralRaptor has quit [Remote host closed the connection]
UmbralRaptop has joined #kspacademia
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|work|egg> O_o
<egg|work|egg> !wpn whitequark
* galois gives whitequark a tube radial plank with a scissors attachment
<egg|work|egg> !wpn UmbralRaptop
* galois gives UmbralRaptop a convolutional crepuscular quark
<egg|work|egg> !wpn -add:adj catadioptric
<galois> Added adj 'catadioptric'
<egg|work|egg> mofh: how is the transpose written in modern french notation
<egg|work|egg> it used to be prefix superscript t, but I wonder whether anglo-saxon influence happened
<egg|work|egg> i.e., ᵗA where the anglo-saxon notation is Aᵀ
<SilverFox> egg, what kind of dishes would a 5 star french restaurant serve?
<egg|work|egg> restaurants aren't hotel, the Michelin goes to 3 :-p
<egg|work|egg> s/el/els/
<galois> egg|work|egg meant to say: restaurants aren't hotels, the Michelin goes to 3 :-p
<SilverFox> I want the creme a la creme
<egg|work|egg> ah yes, cream with cream, the Norman delicacy mentioned in Astérix
<SilverFox> why do so many restuarants think a meal is like, 4 morsels of food
<SilverFox> is there an additive version of factorial?
<whitequark> "arithmetic sequence sum"
<SilverFox> that definitely rolls off the tongue well
<whitequark> you could compute it with gauss' method iirc
<whitequark> sum(1..n) = n*(n+1)/2
<SilverFox> Let π=e=3
<SilverFox> Let π=22/7
<SnoopJeDi> mofh, this is relevant to your interests, and a planetary scientist I know on another network brought it to my attention. Any immediate thoughts strike you about how one would proceed in decoding decades-old mass spec data without a full specification of the system that produced it? https://github.com/marsviking/GCMS-decoding-effort
<UmbralRaptop> SilverFox: ah, you've seen us snark about -funsafe math
<SnoopJeDi> err, not mass spec, gas chroma
<SilverFox> UmbralRaptop, apparently there is a bunch of "let" memes in this mathematical memes group I'm in
<UmbralRaptop> aaaaaaaa
<SilverFox> some programming math here let x++
<SilverFox> Let ℂ be a well-ordered set.
<SilverFox> Let v be a vector space and let V ∈ v be a vector.
<SilverFox> just so many of these
<SilverFox> Let I have the proof of Riemann's hypothesis..
<SnoopJeDi> V ∈ v snrk
<SilverFox> I dont get them, but I'm sure yall will enjoy them
<UmbralRaptop> SnoopJeDi: okay, that's just evil
<SnoopJeDi> UmbralRaptop, not as evil as bold-face
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
<UmbralRaptop> aaaa
egg|cell|egg has quit [Ping timeout: 202 seconds]
<kmath> <mcclure111> My brain is doing the thing from Mr. Robot of find/replacing words such that when I see "IDE" I read "a text editor, but slow"
egg|cell|egg has joined #kspacademia
<SnoopJeDi> as if text editors need to go particularly fast :P
<whitequark> they do
<whitequark> input latency is hell
<SnoopJeDi> yea, agreed
<SnoopJeDi> I find that my fingers outpace my brain when I'm programming, though
<SnoopJeDi> might be more me than anything
<SnoopJeDi> OTOH, I learned about vim's ins-completion features this week so...
<whitequark> SnoopJeDi: i tend to alternate thinking and typing
<SnoopJeDi> whitequark, that scans, I feel like I see contemplative process from other programmers I admire
<SnoopJeDi> I'm sure I'll be changing my opinions about it now that banging on the keyboard is explicitly my job
<_whitenotifier-31f> [Principia] pleroy commented on issue #2331: Crash on extending manoeuvre start time to end of flight plan - https://git.io/Je4WP
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
<_whitenotifier-31f> [Principia] pleroy opened pull request #2357: Extend the flight plan when it would end before the end of the last burn - https://git.io/Je48J
<_whitenotifier-31f> [Principia] Pending. Build queued… - 
<_whitenotifier-31f> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3931/
<_whitenotifier-31f> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3931/
Sarbian has quit [Quit: ZNC - http://znc.in]
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptor has joined #kspacademia
UmbralRaptop has joined #kspacademia
UmbralRaptor has quit [Ping timeout: 189 seconds]
<SilverFox> a good one for yall
<SilverFox> Let me not be unemployed when I graduate
<SnoopJeDi> bless
<UmbralRaptop> lolsob
<SnoopJeDi> Let me have a place to live when I move
<SilverFox> put that as the topic
<SilverFox> Let me not be a depressed mess during my studies
<SilverFox> Let mathematicians be useful.
* UmbralRaptop is reminded of some grad students whose housing situations were bad enough that they slept in the offices
<whitequark> hm
<whitequark> i'm being stupid
<whitequark> let's say i'm building a k-input multiplexer out of 2-input blocks
<SnoopJeDi> eternal mood
<whitequark> how many blocks do i need, as a function of k?
<whitequark> so it's ceil(k/2) + ceil(k/2/2) + ...
<SnoopJeDi> number of nodes in a binary tree of height (k-1) innit? (assuming I've not misunderstood what you mean)
<whitequark> correct
<whitequark> er, height?
<SnoopJeDi> aggravating terminology
<whitequark> actually, you gave me something useful
<whitequark> so let me state the actual thing i want
<whitequark> number of nodes in a b-tree with k leaves, as a function of k and b
<SnoopJeDi> where b is the number of children every node with children has?
<whitequark> yep
<SnoopJeDi> wiki seems to say n = m**(h+1) - 1 for height h which is related to b as h = log_b(k) I think
<SnoopJeDi> err, where m is the maximum number of children
<SnoopJeDi> which should be b in the case where it's exactly that many
<SnoopJeDi> didn't really kick the tires on that though but it looks right
<galois> [WIKIPEDIA] B-tree#Best case and worst case heights | "In computer science, a B-tree is a self-balancing tree data structure that maintains sorted data and allows searches, sequential access, insertions, and deletions in logarithmic time. The B-tree is a generalization of a binary search tree in that a node can have more than two children. Unlike other self..."
<SnoopJeDi> pretty sure the lower bound is the right one to use there
<whitequark> SnoopJeDi: thanks
<whitequark> SnoopJeDi: hm.
<whitequark> so let's say we use a 4-tree and have 32 leaves
<whitequark> that would have 32/4=8 nodes at h-1, 8/4=2 nodes at h-2, and 1 node at h-3. 11 total
<whitequark> i don't see how to use either of those formulas to get this value