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
<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>
<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?
<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
<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.
<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]
<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