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.
<whitequark> the existing compilers are sufficiently smart.
<awang> I might have broken something on the microsoft docs site
<awang> whitequark: so will they get too smart from here on out?
awang has quit [Ping timeout: 207 seconds]
awang has joined #kspacademia
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a multistep barber
<egg|zzz|egg> bofh: have you made any progress on https://twitter.com/eggleroy/status/965684766493331456
<kmath> <eggleroy> @chordowl Argh. It's no longer a Cayley table at this point, but if we say two partitions P and Q, such that for al… https://t.co/BfvcTnm3AI
<bofh> egg|zzz|egg: oh gods so I was talking about Little Picard and got a response of "The pair of pants is hyperbolic, that's a huge part of the proof." from @sl2c AND THAT'S NOT WRONG AND NOW I'M PEEVED.
<bofh> (view C \ {0,1} as the thrice-punctured sphere and consider the universal covering by the open unit disk)
<UmbralRaptor> bofh: I was having problems with a homework.
<kmath> <HPFspectrograph> #HPF's laser frequency comb has arrived at HET. First on-sky tests are tonight! https://t.co/rh9k7Ue5Eu
<kmath> https://twitter.com/stephentyrone/status/966846644133253126 <stephentyrone> @bofh453 Update: tried to dig up Rudin for some evening reading, failed, remembered this tweet and found Evans' PDE… https://t.co/XltHO8KdpS
e_14159- has joined #kspacademia
e_14159 has quit [Ping timeout: 383 seconds]
e_14159- is now known as e_14159
funster has joined #kspacademia
<UmbralRaptor> This channel is a regular reminder that I'm (by physics standards) bad at math. <_<
icefire has quit [Quit: gone]
<kmath> <radiatoryang> playing opus magnum and I had forgotten that terrible feeling in @zachtronics games where you're like "omg my solut… https://t.co/w67WsMCWBL
<iximeow> oof
<UmbralRaptor> Hah
<SnoopJeDi> UmbralRaptor, this channel is a very unfair ruler by which to judge such a thing :P
<Ellied> !wpn -add:adj Molotov
<Qboid> Ellied: Adjective added!
<UmbralRaptor> !wpn -add:weapon basket
<Qboid> UmbralRaptor: Invalid type
<UmbralRaptor> !wpn -add:wpn basket
<Qboid> UmbralRaptor: Weapon added!
<Ellied> !wpn -add:wpn breadbasket
<Qboid> Ellied: Weapon added!
<Ellied> UmbralRaptor: I worry increasingly often that I'm not gonna make it very far in physics for lack of being good with abstract math
<Ellied> I've managed to make it through all the physics classes I needed for a bachelors' by understanding the conceptual side really well, I guess
<kmath> <stephentyrone> Since I'm not going to travel to Alabama, is this an ... inaccessible cardinal? https://t.co/FYePjvIHjy
<SnoopJeDi> Ellied, in physics math is a means to an end unless you're one of the loopy HEP people
<UmbralRaptor> bofh: lolgroan
<SnoopJeDi> between a keen technical skillset and a good sense of how things fit together and interact, the latter takes you more places *by far*
<SnoopJeDi> ...although wielding math like the laser sword that it is helps a lot, too
<Ellied> I'm not exactly helpless when it comes to math either, but like, if you toss me a big hairy ODE and ask me to solve it in any way I please, I'll probably just stare at you
<SnoopJeDi> if you know calculus, PDEs, and why the Dirac delta isn't a function, that's more or less "enough" to get by imo, the rest you acquire as you need it
<SnoopJeDi> differential equations are weird because knowing the answer ahead of time is such a big part of getting the answer :P
<Ellied> yeah it took me a while to understand that
<SnoopJeDi> ...except in #kspacademia where Strange and Wonderful Integrations happen
<soundnfury> SnoopJeDi: these are your father's theorems. elegant weapons for a more civilised age
<SnoopJeDi> soundnfury, s/theorems/matrices/
<Qboid> SnoopJeDi thinks soundnfury meant to say: SnoopJeDi: these are your father's matrices. elegant weapons for a more civilised age
<soundnfury> yeah, that works
<bofh> SnoopJeDi: add elementary complex analysis to that list (cauchy's integral formula, laurent series, residue thm, rouché's thm & basics of what a branch cut is / what a riemann surface is) IMO.
<SnoopJeDi> "hokey renormalizations and ancient theorems are no match for a good simplification at your side, kid."
<SnoopJeDi> agreed bofh, I'm lazily lumping that stuff in the last point
<SnoopJeDi> inasmuch as a lot of the point of all that is to the implications for functional analysis
<SnoopJeDi> Ellied, apropos of not much I've heard that Arfken and Weber is quite good, but never read it, myself
<SnoopJeDi> as a reference text I mean, not a cover-to-cover read
<soundnfury> SnoopJeDi: these aren't the lambdas you're looking for. We can go about our continuation.
<bofh> SnoopJeDi: ...I misread that as "Akkadian and Weber" & was extremely confused for a second there.
<SnoopJeDi> Iä! Iä! Superposition fhtagn!
<UmbralRaptor> I mean, the Sumerians used special functions, right?
<Ellied> Oh, and as of this evening, I have officially gone to the dark side: my PCB layout has components on both sides.
<bofh> UmbralRaptor: at least trigonometric ones, yes.
<Ellied> I don't quite understand how mass-production of two-sided SMD boards works. Do they heat each side in turn, or rely on surface tension, or just glue everything down first?
<iximeow> Ellied: congratulations!
<Ellied> The final tipping point was wanting to make my counter so that the count interval can be triggered automatically by activity from the inputs
<Ellied> needed 2 more logic gates; was either add them to the back of the board or get rid of the Open Source Hardware icon
<Ellied> this is also the first time I've had to hide the front layer to see the back lol
awang has quit [Ping timeout: 383 seconds]
funster has quit [Quit: Leaving]
egg|phone|egg has joined #kspacademia
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Ping timeout: 207 seconds]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|mobile|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has quit [Ping timeout: 186 seconds]
tawny has quit [Ping timeout: 207 seconds]
awang has joined #kspacademia
egg|phone|egg has joined #kspacademia
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|mobile|egg has quit [Ping timeout: 186 seconds]
awang has quit [Ping timeout: 383 seconds]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
awang has joined #kspacademia
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
<awang> So how far in my (under)grad education do I need to get to understand the math here?
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
TonyC has joined #kspacademia
TonyC has quit [Quit: Goodbye.]
<awang> Uh
<awang> So if my profiler says that most of the time in a function is taken up by the inc instruction
<awang> How suspicious should I be of the profiling results?
<awang> !wpn -add:adj honey-roasted
<Qboid> awang: Adjective added!
<awang> !wpn -add:adj roasted
<Qboid> awang: Adjective already added!
<awang> !wpn -add:wpn butter
<Qboid> awang: Weapon added!
<awang> !wpn -remove:wpn butter
<Qboid> awang: Weapon removed!
<kmath> <astronomolly> My group does a "writing Fridays", where we spend Friday morning writing: paper drafts, proposals, grant reports, r… https://t.co/wjgXoUN3QD
<awang> !wpn -add:adj buttery
<Qboid> awang: Adjective added!
<UmbralRaptor> awang: I, uh, don't understand most of the math egg and bofh talk about. >_>;;
<awang> So I guess I'll never understand the math here :(
<awang> I was hoping that it was stuff that would be covered eventually in a science/engineering curriculum
<UmbralRaptor> IIRC, egg and soundnfury have math degrees. bofh effectively does. <_<
<egg|work|egg> awang: if you ask questions I can eggsplain things
<egg|work|egg> bofh can probably bofhsplain things too but that's not a good pun
<egg|work|egg> also "fhspl" sounds messy to pronounce
<egg|work|egg> something something consonant cluster
<awang> You guys are crazy
<awang> In a good way
<awang> egg|work|egg: I'd hate to butt into an ongoing conversation
<awang> And I think you'll end up having to explain too much of the basics for it to be useful
<awang> Last math class I took was diff eq for engineers, and that was ages ago
<awang> Uh
<awang> So what should I be looking for for x86_64 red zone usage?
<awang> Got a routine here that executed subq $16, %rsp
<awang> Then later executes vmovsd %xmm0, -40(%rbp)
<awang> Which I think is below the stack pointer?
<awang> So it should be the red zone?
<awang> Uh
<awang> Also
<awang> The compiler generated subq/addq $16, %rsp, but never seems to actually store values in there?
egg|phone|egg has joined #kspacademia
<awang> Only references to %rsp are function prologue/epilogue
egg|cell|egg has quit [Read error: Connection reset by peer]
<awang> And the only references to %rbp are offsetting by -40 and -48, which is way below where the stack "should" be
<awang> What am I missing?
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
<egg|work|egg> "fhspl": फ्ह्स्प्ल
<egg|work|egg> awang: useful? why should it be useful
<egg|work|egg> also I enjoy eggsplaining abstract nonsense
<bofh> UmbralRaptor: "effectively"? my undergrad was in math >_>
<UmbralRaptor> Bird website emails: getting better at Unicode. https://photos.app.goo.gl/1EdS5yKM2aWJURzw1
<UmbralRaptor> bofh: ah, sorry.
<bofh> UmbralRaptor: no worries, it's a fact even I forget at times :P
<egg|work|egg> UmbralRaptor: you should teach awang about abstract nonsense
<UmbralRaptor> uh
<UmbralRaptor> awang: Mathematicians are silly https://en.m.wikipedia.org/wiki/Abstract_nonsense
<bofh> I *still* cannot get over Pair of Pants (mathematics) be8ng integral to the proof of Little Picard.
<awang> egg|work|egg: Well, I was more thinking that explaining the basics would make the explanation not that useful for me to understand it
<awang> Not that the math itself is useful
<awang> Wait, "abstract nonsense" is a serious term?
<awang> Guess you have to find humor where you can in the math world
<UmbralRaptor> Math tends to be quite useful in the right places.
* UmbralRaptor is more annoyed at the approach that eg: will rigorously define a prime number, but will only give an example under great duress. Also, the example is 57. >_>
<bofh> UmbralRaptor: ahh yes, a Grothendieck Prime.
* SnoopJeDi pokes egg|work|egg with http://www.physics.umd.edu/dsat/dsatliemethods.html
<SnoopJeDi> not for any particular reason, but I don't think I've shared that here and it's a potent collection of maths.
<SnoopJeDi> Going digging for the mathematical reasoning behind a Very Obvious Fact (existence of transfer maps for initial value problems)
<awang> A what prime now?
<awang> Oh
<awang> Heh
<SnoopJeDi> "Mathematicians have a lot of hells, Jack"
<kmath> <0xabad1dea> Just reached the heading “Daemons and Their Children” in a book and idk why we don’t just declare programming to be legally witchcraft
<egg|work|egg> UmbralRaptor: nah, we're good at giving examples
<egg|work|egg> UmbralRaptor: examples of sets: the empty set is a set; given a set S, the set whose sole element is S is a set; given two sets, their union is a set
<UmbralRaptor> Hah
<SnoopJeDi> !wpn -add:wpn von Neumann construction
<Qboid> SnoopJeDi: Weapon added!
<SnoopJeDi> !wpn -add:adj von Neumann
<Qboid> SnoopJeDi: Adjective added!
* UmbralRaptor gives SnoopJeDi a Harvard architecture.
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Ping timeout: 186 seconds]
<SnoopJeDi> This is actually crazy: https://www.nature.com/articles/d41586-018-02221-9
<UmbralRaptor> !wa proton mass
<Qboid> UmbralRaptor: p (proton) | mass: 938.27203 MeV/c^2
<UmbralRaptor> !c 2e9*938.3*1.602e-13
<Qboid> 0.30063132
<UmbralRaptor> 0.3 J? Seems safe enough.
<whitequark> the trap is probably more hazardous than antimatter
<SnoopJeDi> whitequark, in what way?
<SnoopJeDi> ELENA -> ISOLDE is a much smaller haul than I initially thought, but it looks like the LOI they put in during December names 1 km/1 week as specific technical goals, with the former being quite a bit more impressive
<whitequark> SnoopJeDi: probably has large magnets inside and shit
<SnoopJeDi> they were probably careful to play up the on-campus aspect since the "literally drive it in a van" is a lot more pie in the sky
<whitequark> those can pinch your fucking finger off
<SnoopJeDi> whitequark, eh, "only" 4 T
<SnoopJeDi> that's still plenty of stored energy though
<SnoopJeDi> 4 K cryostat is gonna be a motherfucker though
<awang> Huh
<SnoopJeDi> makes a lovely interest story for our happy hour email
<awang> Apparently Clang doesn't try to vectorize if ThinLTO is enabled?
<awang> -Rpass-missed=loop-vectorize doesn't output anything when -flto=thin is also there
<awang> But does when -flto=thin is removed
<SnoopJeDi> half of me wants to send this to my advisor to put it on his radar
<SnoopJeDi> the other half is scared what the man's brain would do if stimulated with such potent scifi
<SnoopJeDi> ...also, apparently a antiproton-ion collider was a specialized thing people wanted to make, the option on the "other" side of PUMA
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
UmbralRaptor has quit [Ping timeout: 186 seconds]
rqou has quit [Ping timeout: 186 seconds]
<SnoopJeDi> the fuck, IPAC's WISE event has an attendance fee this year
<SnoopJeDi> that's...stupid.
<SnoopJeDi> OTOH I guess it disincentivizes people who just want to come for a free drink
<soundnfury> "fhspl" sounds like an x87 instruction
<iximeow> floating point half-width shift precision left
<iximeow> that's what happened when my brain tried to autocomplete the acronym
<soundnfury> sounds legit
<awang> Apparently it's some kind of blood test?
<bofh> iximeow: ...thanks, now I can't unread it as that. >_>
* iximeow bows
UmbralRaptor has joined #kspacademia
icefire has joined #kspacademia
UmbralRaptor has quit [Quit: *BAMF!*]
awang has quit [Ping timeout: 207 seconds]
awang has joined #kspacademia
tawny has joined #kspacademia
UmbralRaptop has joined #kspacademia
* UmbralRaptop 🔪 things
<iximeow> agree
<UmbralRaptop> So the bouncer vanished…
<iximeow> did you send it SHUTDOWN? i found out SHUTDOWN shuts down redis servers today
<UmbralRaptop> Well, it's not mine per se.
<UmbralRaptop> (and no, but I'm also out of contact with the owner. Their ttrss server is still up, though)
rqou has joined #kspacademia
* awang is considering factoring out an expression in a floating-point function
* awang laughs evilly at the suffering of those for which exact floating point behavior is required
<bofh> awang: do it
* awang types "git commit"
* awang cackles
<UmbralRaptop> … no commit message?
<awang> Of course not
<awang> Evil masterminds don't write commit messages
<UmbralRaptop> awang: s/masterminds //
<Qboid> UmbralRaptop thinks awang meant to say: Evil don't write commit messages