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> … one of the other grad students just compared me to nomal O_o | <ferram4> I shall beat my problems to death with an engineer.
e_14159 has quit [Ping timeout: 204 seconds]
e_14159 has joined #kspacademia
<kmath> <NuclearAnthro> I OPENED TO A RANDOM PAGE AND I AM ALREADY FILLED WITH PURE RAGE AND DISTRESS. https://t.co/eayvHJGnoY
<UmbralRaptor> Since I'm unable yo load the pics, is this the page with maritime safety, and bonkers conspiracy theories that nuclear weapons and spaceflight are hoaxes?
<Iskierka> is a book by a "Akio Nakatani" which appears that it may be a fake name
<Iskierka> book should be first google result as amazon listing
<UmbralRaptor> Ah, this is something else.
<Iskierka> it appears to criticise the 100-ton pre-test and gadget having approximately the same size creater while ignoring that gadget is on a 100ft tower (5x taller, where naive energy scaling vs volume would suggest a 4.6x larger crater for same position), and neglects to consider differing dynamics for an almost-conventional detonation
<Iskierka> interestingly article does not clearly source where it obtains the 100-ton test dimensions
<Iskierka> there are sources around for other details but they're all books so would be harder to read
<Iskierka> oh yes, as it may not be clear: the book is citing wikipedia as its source for the 100-ton test crater diameter
<UmbralRaptor> Hah
<Iskierka> https://en.wikipedia.org/w/index.php?title=Trinity_(nuclear_test)&diff=prev&oldid=622534684 info was added here and has has minimal editing since (two paragraphs above line 127 edit)
<Iskierka> which of course means it must be so accurate if in five minutes I can determine there's been no debate on it or clarification ¯\_(ツ)_/¯
<SnoopJeDi> whitequark, important thread: https://twitter.com/joffeorama/status/902770037219622913
<kmath> <joffeorama> evolution gave us a shark made of pee that survives the icy depths of the arctic and eats bears, and we found a way to eat it
<whitequark> yeah I know, actually most sharks have high concentrations of urea in their flesh
<whitequark> something to do with nitrogen metabolism, I don't recall
<SnoopJeDi> yea I noticed that further down. neat.
<Iskierka> so sharks eat each other in the womb (and are fish that grow in a womb) and are made of pee?
<Iskierka> ~evolution~
<SnoopJeDi> thewatercircleoflife.mp3
<Iskierka> (I know not all cannibalise, but they pretty much all have variations of growing in a womb and a notable chunk do)
ferram4_ has joined #kspacademia
ferram4 has quit [Ping timeout: 383 seconds]
<UmbralRaptor> Wait, why are they expecting eccentric hot jupiters? http://aasnova.org/2017/07/12/wasp-12b-and-its-possible-fiery-demise/
<soundnfury> No-one expects the eccentric hot jupiters!
<soundnfury> Their chief weapon is surprise. Surprise and hydrogen. Surprise, hydrogen, and an almost fanatically low periastron.
<soundnfury> And nice red spots. Oh damn.
TonyC has joined #kspacademia
<egg|zzz|egg> !wpn Fiora, UmbralRaptor, and whitequark
* Qboid gives Fiora, UmbralRaptor, and whitequark a carbon sextant
<Fiora> meow
* egg|zzz|egg pets Fiora
* Fiora purrs
* egg|zzz|egg asks Fiora about the sign of the square root of negative 0
<Fiora> it's -0.
<egg|zzz|egg> yes, but why (we asked atlas but he has yet to respond, see https://twitter.com/bofh453/status/901490102735691779)
<kmath> <bofh453> @stephentyrone (I thought I had an idea but no, csqrt has a different quadrant mapping since it uses the principal… https://t.co/zDDFm89KCD
<Fiora> lemme see if i can remember. this came up at work
<Fiora> wait actually no are you sure?
<Fiora> For y > 0 and not an odd integer, if x is +/-0, +0 shall be returned. <-- IEEE definition of pow
<egg|zzz|egg> sure whereof?
<Fiora> If x is ±0 or +Inf, x shall be returned. <-- for sqrt
<Fiora> wow
<Fiora> WOW
<egg|zzz|egg> indeed
<Fiora> sqrt(x) is not the same as pow(x, 0.5)
<Fiora> WHAT.
<egg|zzz|egg> hence asking the cat
<egg|zzz|egg> Fiora: it's also inconsistent with the complex sqrt
<Fiora> the case that hit *us* was *rsqrt*(-0)
<Fiora> which isn't the same issue
<egg|zzz|egg> which is consistent with sqrt tho
<egg|zzz|egg> so it's negative infinity at -0
<Fiora> yup. NOT NaN
<egg|zzz|egg> indeed
<Fiora> which is extremely weird, right? how can 1 / sqrt(x) return -inf? sqrt(x) returns positive values! and yet.
<egg|zzz|egg> Fiora: so I can see two "sensible" values for sqrt(-0), and they are +0 and NaN (NaN is a bit annoying but justifiable as a limit of NaNs, +0 is the only real 0 that should be there)
<egg|zzz|egg> Fiora: and yeah, this is inconsistent with both pow and powr
<egg|zzz|egg> Fiora: also icymi I linked that book whitequark was referring to about traveling with xenon oxides on an aircraft
<Fiora> oh fuck it's worse
<Fiora> there's TWO places pow isn't the same as sqrt
<Fiora> pow(-inf, 0.5) is inf????????
<egg|zzz|egg> Fiora: yeah but you should be comparing with powr to be fair I think
<egg|zzz|egg> Fiora: eggstremely weirder is "rootn(±0, n) is +0 for even integral n>0"
<Fiora> is powr a thing in IEEE
<egg|zzz|egg> Fiora: so sqrt is not rootn(_, 2)
<Fiora> wHAT.
<egg|zzz|egg> Fiora: yup, looking at the 2008 version
<Fiora> where?
<egg|zzz|egg> Fiora: so is rootn
<egg|zzz|egg> homepages of academics, the best source for papers and standards
<Fiora> i thought powr was a glism
<Fiora> "For the powr function (derived by considering only exp(y×log(x))):"
<egg|zzz|egg> Fiora: IEEE 754-2008 has pown, pow, powr
<Fiora> did it get added to IEEE after the fact because of that?
<Fiora> since that definition is literally a GLism
<egg|zzz|egg> dunno
<egg|zzz|egg> Fiora: it still recommends for correctly-rounded which I doubt GL does :-p
<Fiora> I mean, yes, but defining it in terms of exp(x*log(y))
<Fiora> that specifically comes out of GL
<egg|zzz|egg> well it makes some sense in general
<egg|zzz|egg> for reals that how you'd define it
<egg|zzz|egg> Fiora: but anyway, sqrt(x) not being rootn(x, 2) nor pow(x, 2) nor powr(x, 2) at 0 is weird, hence the question to the cat :-p
<egg|zzz|egg> Fiora: also where are you getting the behaviour of pow(-inf, 1/2)?
<Fiora> For y an odd integer > 0, if x is -Inf, -Inf shall be returned.
<Fiora> For y > 0 and not an odd integer, if x is -Inf, +Inf shall be returned.
<Fiora> LLVM even has code for this.
<Fiora> (I checked LLVM's conditions for optimizing pow -> sqrt in safe math)
<egg|zzz|egg> Fiora: that doesn't seem to be something IEEE itself says tho
<Fiora> ..... does POSIX differ with IEEE?!
<egg|zzz|egg> (IEEE 754 that is)
<egg|zzz|egg> Fiora: that would not surprise me too much?
<egg|zzz|egg> Fiora: otoh, IEEE recommending something weird for sqrt that's inconsistent with its own recommendations for similar functions weirds me out
<Fiora> "This function returns the first value raised to the second power, returning the same values as the libm pow functions would, and handles error conditions in the same way."
<Fiora> okay, so LLVM matches libm
<egg|zzz|egg> afk a bit
<Fiora> oh my fucking god tim murray
<Fiora> "born to round / double is a fuck / kill em all 754 / I am denorm man / 410,757,864,530 can't be represented as a float"
<soundnfury> double precision / may not solve your rounding woes; / Condition matters.
egg|phone|egg has joined #kspacademia
egg|zzz|egg is now known as egg|afk|egg
egg|cell|egg has joined #kspacademia
Technicalfool is now known as TechnicallySleeping
egg|phone|egg has quit [Ping timeout: 204 seconds]
<egg|cell|egg> Fiora: i can't find a specification for what pow(-∞,1/2) does in IEEE 754-2008
<egg|cell|egg> For finite negative x it would NaN
<egg|cell|egg> (and non integer y that is)
egg|phone|egg 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 [Client Quit]
egg|phone|egg has quit [Read error: Connection reset by peer]
<whitequark> powr sounds like a motorola phone codename
<UmbralRaptor> powr(v, r)
* UmbralRaptor stares at https://recruitment.eso.org/ and ponders future plans.
ferram4_ has quit [Ping timeout: 383 seconds]
<egg|work|egg> !wpn whitequark and UmbralRaptor
* Qboid gives whitequark and UmbralRaptor a regular analemma
<Ellied> !wpn egg
* Qboid gives egg a technetium scream
<UmbralRaptor> !wpn egg|work|egg && Ellied
* Qboid gives egg|work|egg && Ellied a cryo expectation
* UmbralRaptor ? people who think Harvard is representative of US higher education.
<egg|work|egg> !wpn Fiora
* Qboid gives Fiora a charm motor
TechnicallySleeping has quit [Quit: Leaving]
egg|phone|egg has joined #kspacademia
<egg|phone|egg> Bofh : hm, still no reply from the cat?
<bofh> egg|phone|egg: atlas has shownthat sometimes he takes awhile to respond. patience ;)
<egg|phone|egg> :-p
<bofh> whitequark: ahh yes, the motorola powr
<egg|phone|egg> Bofh: this confused Fiora too, see above
<bofh> egg|phone|egg: yeah, sec
<egg|phone|egg> Also my phone keeps switching to Italian when I type Fiora, è fastidioso
<egg|phone|egg> UmbralRaptor: 古在!
<bofh> LOL
<bofh> 06:57 <@Fiora> pow(-inf, 0.5) is inf????????
<bofh> what the fuck
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
<bofh> 07:07 <@Fiora> LLVM even has code for this.
<bofh> just checked fdlibm, that special case indeed maps -Inf -> NaN, +Inf, itsself (-Inf) if y is: non-integer, odd integer, even integer respectively.
<bofh> actually wait what the flying fuck that makes no sense whatsoever
<bofh> oh swap even and odd
<egg|cell|egg> That sounds reasonable?
<bofh> I can't read.
<bofh> egg|cell|egg: it is reasonable, once you read correctly.
<egg|afk|egg> infinity being even
<egg|afk|egg> bofh: wait, with Fiora and Atlas that makes two floating-point cats
<egg|afk|egg> is everyone that does numerics a cat
<egg|afk|egg> bofh: are you a cat
<egg|afk|egg> am I a cat egg
egg|afk|egg is now known as egg
<egg> Fiora: bofh: btw, Atlas replied to your pow tweets https://twitter.com/stephentyrone/status/903582284829396992
<kmath> <stephentyrone> @FioraAeterna @rygorous Unfortunately the feeling was that languages would provide it anyway, so defining the edge… https://t.co/dEIAonRGfC
<egg> Fiora: but I'd say the weirder thing in all that is that IEEE 754 squareRoot and rootn(·, 2) are inconsistent
<bofh> http://tocrofl.tumblr.com/post/164865137091/yeehaw holy crap my tocrofl submission got in
<egg> also !wpn bofh, Fiora
<egg> um
<egg> !wpn bofh and Fiora
* Qboid gives bofh and Fiora a Gaussian squeeze surprise
<egg> !wpn Ellied
* Qboid gives Ellied a code-switching thermometer
<bofh> my favourite!
<egg> bofh: frankly with rootn(-0, 2) = +0 whereas squareRoot(-0) = -0 I'd be inclined to think that the latter is just standardizing existing daft practice
<bofh> egg: at this point who knows.
<egg> bofh: but then that would mean Atlas was confused when posting on stack overflow 4 years ago, which is odd
<bofh> yeah. huh.
<egg> !kd -help
<Qboid> egg: Invalid ID!
<egg> !help kd
<Qboid> kd: Prints out the details for Kountdown Events
<Qboid> example: !kountdown 1
<Qboid> parameters: -add (Add Kountdown event. Syntax: !kountdown -add name|description|time.), -list (List pending Kountdown Events or subscribers), -remove (Delete Kountdown by id.), -edit (Edits a Kountdown by id.), -subscribe (Subscribe yourself or a channel to Kountdown.), -unsubscribe (Unsubscribes yourself or a channel from the Kountdown.)
<egg> !kd -add Intelsat 37e & BSAT 4a/Ariane 5 ECA|An Ariane 5 ECA will launch the BSS-702MP-based Intelsat 37e (http://space.skyrocket.de/doc_sdat/intelsat-37e.htm) and the SSL-1300-based BSat 4a (http://space.skyrocket.de/doc_sdat/bsat-4a.htm) from Kourou ELA-3 into GEO|2017-09-05T21:51Z
<Qboid> egg: Added event #8
<egg> !kd next
<Qboid> egg: ID: 8 | Name: Intelsat 37e & BSAT 4a/Ariane 5 ECA | Time: 2017-09-05 21:51:00 | Unixtime: 1504648260 | Left: 4d 4h 17m 40s
<Qboid> egg: Description: An Ariane 5 ECA will launch the BSS-702MP-based Intelsat 37e (http://space.skyrocket.de/doc_sdat/intelsat-37e.htm) and the SSL-1300-based BSat 4a (http://space.skyrocket.de/doc_sdat/bsat-4a.htm) from Kourou ELA-3 into GEO
<egg> bofh: gotta keep kd up to date
<bofh> ooh, another intelsat
<kmath> <FioraAeterna> i love this tweet because for 5 seconds i thought it was a bad 'splain and then my brain melted https://t.co/Qr7U7DsTg3
<UmbralRaptor> "Applications are open for fellowships to begin in fall 2018. We anticipate offering up to 24 fellowships this year, contingent upon funding. NHFP is open to applicants of any nationality who have earned their doctoral degrees on or after January 1, 2015, in astronomy, physics, or related disciplines."
<UmbralRaptor> !wa number of physics and astronomy PhDs awarded in 2015
<Qboid> UmbralRaptor: Seems that Wolfram is unable to understand that.
<soundnfury> bofh: for each precision (except for half and octuple), the IEEE specifies two floating-point types: _metric_ and _imperial_.
<soundnfury> floating point numbers have a _sign bit_, which denotes whether the number has been cryptographically signed.
<bofh> soundnfury: ...*goggle*
<bofh> *boggle**
<bofh> Fiora: https://mobile.twitter.com/bofh453/status/903679801923338240 Arkema rolled NFPA Yahtzee at the exploding Texas plant, it seems.
<kmath> <bofh453> LRT: YAHTZEE!!! (tho I honestly don't think t-Butyl Hydroperoxide deserves a 4 for toxicity. 2 at best). https://t.co/Ln1eVVDRLy
<soundnfury> bofh: of course, clearly the best way to avoid all these confusing signed-zero rules is to use a float format that's twos complement instead of s&m
<soundnfury> (and thus have a space-of-numbers that's asymmetric about 0 ;)
<soundnfury> in fact I've just realised how _gloriously horrifying_ that really is: 1 and -1 would have different exponents!
<soundnfury> (1×2^0 vs -2×2^-1, because a mantissa of 100...0 is not -1 but -2)
Technicalfool has joined #kspacademia
<bofh> soundnfury: oops
<Fiora> bofh: *hops back on irc* *catches up*
<bofh> Fiora: mostly just more floating point insanity and me going thru Arkema's organic hydroperoxide list.
<egg> !wpn Fiora
* Qboid gives Fiora a biologically active parsnip
<bofh> isn't that every parsnip? :P
<Fiora> activated almonds
<bofh> https://cameochemicals.noaa.gov/chemical/478 most of it's this, which I've worked with before (and I find gentle and forgiving)
<bofh> but then again I consider t-butyllithium something to be treated with respect, but fairly tame
<bofh> (tho that's largely b/c I've played with dimethylzinc before)
<bofh> my fav thing from the DmZn MSDS is prolly:
<bofh> "INGESTION: highly unlikely, as liquid or vapor either ignites spontaneously or reacts with moisture to form methane and zinc oxide. Do NOT induce vomiting; immediately dilute material by giving large amounts of water or milk; if vomiting occurs, give more fluids; when vomiting ceases, milk or olive oil may be given for their soothing effect; get medical attention. (USCG, 1999)"
<bofh> "INHALATION: highly unlikely, as liquid or vapor either ignites spontaneously or reacts with moisture to form methane and zinc oxide. Move victim to clean air and administer mouth-to-mouth resuscitation if breathing has ceased; give oxygen only when authorized by physician; keep victim warm and comfortable; call physician immediately."
<bofh> http://www.interpretivearson.com/projects/ddi/ I want to play this sometime, seems fun.
<UmbralRaptor> Ended in 2013 =/
<bofh> damn. well honestly it shouldn't be hard, just hook up an arduino to USB and some solenoids controlling gasoline sprays, and then modify StepMania a bit
whitequark has quit [Quit: leaving]
<bofh> I mean basically you want a timed mis-step to activate the corresponding flamethrower
<UmbralRaptor> hm
<kmath> <AnthonyMKreis> Black smoke from the Russian consulate in San Francisco. We'll have to wait a little longer for our next POTUS. https://t.co/76JwbiB9Ti
<UmbralRaptor> More seriously, are they burning documents?
<bofh> https://mobile.twitter.com/VeraMBergen/status/903717015332016129 seeing as this is another relevant photo, very likely
<kmath> <VeraMBergen> The photo of this convo between firefighters and Russian officials saying "nothing to see here" doesn't disappoint… https://t.co/uwyvTmWHjh
<kmath> <Kisai> @BadAstronomer @maritzac Well it's black smoke, so that means they're likely burning plastic (eg cd-rom's, SD cards… https://t.co/XIXRwFdhu2
ferram4_ has joined #kspacademia
ferram4_ is now known as ferram4
<Qboid> 4d 0h 0m 0s left to event #8: Intelsat 37e & BSAT 4a/Ariane 5 ECA [at 2017-09-05 21:51:00]. Say '!kountdown 8' for details
<UmbralRaptor> Today in disappointing meals: a near-0 scoville dish with "Thai" in its name.
icefire has joined #kspacademia
<kmath> <bofh453> @Newpa_Hasai It's like, I know you're wasting both of our time, *you* know you're wasting both of our time, *and still do it*.
<kmath> <bofh453> @Newpa_Hasai Still the only time other than blatant obvious cheating when I wished I could hand out negative marks.
<bofh> UmbralRaptor: that *is* a disappointment.
<UmbralRaptor> Also, owch at those students.
<icefire> a massive pun thread is exactly what I needed after a 5 hour flight
<egg> !wpn bofh
* Qboid gives bofh an extradimensional atom
<egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a capybara
<bofh> !wpn egg
* Qboid gives egg an unremarkable cell
<bofh> UmbralRaptor: my favourite cheating story was when I was searching online for some question and happened upon the recent queue of Ask A Topologist
<bofh> and one of the recent questions was, verbatim, a question off this week's Real Analysis assignment, due tomorrow
<bofh> and the person asking it used his email and real name and was in my class >_>
<bofh> I recall thinking "really?! you're in *third year*. third year pure mathematics. what the actual fuck."
<kmath> <barrelshifter> trying to not write proofs in commit messages for bugfixes in LLVM
<egg> Fiora: we have started getting endless rain here instead of 30 deg Celsius if you want a break from the heat :-p
<UmbralRaptor> Currently 290 K here.
<UmbralRaptor> But, allergies.
<UmbralRaptor> bofh: o_O
<UmbralRaptor> egg: Bonus points if the proof is ≤50 characters.
egg is now known as egg|zzz|egg
<egg|zzz|egg> !wpn bofh, Fiora, and UmbralRaptor
* Qboid gives bofh, Fiora, and UmbralRaptor a Bussard IDE
<UmbralRaptor> An IDE that slows you down despite claims of unlimited performance? Shocking!