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.
awang has quit [Ping timeout: 186 seconds]
e_14159 has quit [Ping timeout: 182 seconds]
e_14159 has joined #kspacademia
<UmbralRaptop>
;wa 771.64 milliarcseconds in parsecs
<kmath>
UmbralRaptop: convert 771.64 mas (milliarc seconds) to parsecs: mas (milliarc seconds) and pc (parsecs) are not compatible.
* UmbralRaptop
activates -funsafe-math
<UmbralRaptop>
;c 1/0.77164
<kmath>
UmbralRaptop: 1.295941112435851
awang has joined #kspacademia
<UmbralRaptop>
;wa asin(2/0.77164)*2
<kmath>
UmbralRaptop: sin^(-1)(2/0.77164)×2 = 3.14159... -, 3.21210... i, (result in radians)
<UmbralRaptop>
“Very often they do not pay attention to the previous literature and are prone either to rediscover the wheel or to make very naïve errors,” Longo says.
<UmbralRaptop>
Anyway, this is a silly amount of effort for one star that's too faint for the target photon noise anyway.
* egg|cell|egg
pokes bofh in the sequences of 1s following a round bit of 0
<egg|cell|egg>
!Wpn whitequark
* Qboid
gives whitequark a Saturnian ideograph
<whitequark>
!wpn egg
* Qboid
gives egg a Sumerian neutron
<egg|zzz|egg>
bofh: nevermind I can actually find a string of 29 1s following a 0
<egg|zzz|egg>
bofh: so if you have a proof for a ~p bound I'd be happy with that
<egg|zzz|egg>
bofh: yeah it seems the sequences of 1s or 0s that lead to near-ties are as long as those that lead to near-exact values on random inputs
<egg|zzz|egg>
!wpn котя
* Qboid
gives котя a radial geobukseon
tawny has quit [Ping timeout: 190 seconds]
<icefire>
;c asin(2/0.77164)*2
<kmath>
icefire: nan
Iskierka has quit [Ping timeout: 198 seconds]
<egg|zzz|egg>
!wpn -add:wpn cheque
<Qboid>
egg|zzz|egg: Weapon added!
<egg|zzz|egg>
!wpn whitequark
* Qboid
gives whitequark a XeTeX corpuscule
Iskierka has joined #kspacademia
<egg|zzz|egg>
bofh: 33 1s following a 0 in the cube root of 4013 A9EA670E2126
<egg|zzz|egg>
s/3 A/3A/
<Qboid>
egg|zzz|egg meant to say: bofh: 33 1s following a 0 in the cube root of 4013A9EA670E2126
<kmath>
<spedru> @whitequark populate your ops team with diligent mildly-intelligent drones using one weird heuristic: bachelor's, p… https://t.co/bHA8OpWUNs
<UmbralRaptop>
(If you're especially short on engineers, add MIT and Caltech)
<egg|work|egg>
𒊓𒀀
APlayer has quit [Ping timeout: 383 seconds]
<UmbralRaptop>
egg|work|egg: I assume that translates as "meow"?
<egg|work|egg>
nah, cat
<egg|phone|egg>
Bofh: I wonder whether you can correctly round to nearest without FMA things by doing rounding mode trickery
<egg|phone|egg>
Bofh: since the cube root cannot be a tie, if you know the result rounded to one more bit toward 0 you can round to nearest
<egg|work|egg>
bofh: also I think I know how to prove an upper bound on the error which is not too far from the error I observe
<egg|work|egg>
wait no it seems to be smaller than the error I observe so it's probably wrong,
<bofh>
oh right, it indeed cannot be a tie. but rounding mode trickery sounds slow or tricky, depending on how ypu implement it.
<egg|work|egg>
bofh: well we're talking about the slow path, I don't think you can do a fast correctly-rounded path
<egg|work|egg>
bofh: but getting a double-double result sounds slow *and* tricky, so
<egg|work|egg>
bofh: ok yes you could do a fast correctly-rounded path on a machine with a sufficiently-wide float (where we still don't know what sufficiently-wide is? or have you managed to prove p+1)
<egg|work|egg>
but sufficiently-wide is probably going to summon a DEC VAX at this point
<bofh>
*snicker*
<egg|work|egg>
bofh: do you have *any* upper bound on the number of bits needed though?
tawny has joined #kspacademia
<egg|work|egg>
bofh: huh, AVX512 has instructions where you can specify the rounding mode on the instruction?
<bofh>
yes but, AVX512.
<egg|work|egg>
that's nice, it would be nicer if it weren't in AVX512 >_>
<bofh>
and no. have not yet proven any hard bound, sadly :/
<egg|work|egg>
bofh: so I think I can prove a bound of something like 0.5004 ULPs (can probably be improved by not rounding all my exponents through integers and adding ones where I can add fractions), and I have observed 0.50099 or thereabouts
<egg|work|egg>
so if I can formalize that proof I have a fairly decent bound on the maximum error, and the maximum error is itself fairly decent
<awang>
!wpn -add:wpn skelp
<Qboid>
awang: Weapon added!
<bofh>
hrm. yeah, that's pretty nice, actually.
<egg|work|egg>
bofh: it seems to improve that you'd need to improve the initial guess to something closer to 17 bits, 2 newtons on the inverse isn't all that great
<SnoopJeDi>
"What hindered Greco-Roman and Medieval scientists from making the next major step after Archimedes..."
tawny has quit [Read error: -0x7880: SSL - The peer notified us that the connection is going to be closed]
<bofh>
SnoopJeDi: ooh, right up my alley
<SnoopJeDi>
same
<SnoopJeDi>
I think I will have to drag myself on campus for this
<egg|phone|egg>
!Wpn bofh
* Qboid
gives bofh a Selenian perturbation
<egg|phone|egg>
!Wpn -add:adj SSE2
<Qboid>
egg|phone|egg: Adjective added!
<egg|phone|egg>
!Wpn -add:adj AVX
<Qboid>
egg|phone|egg: Adjective added!
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]
APlayer has joined #kspacademia
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Ping timeout: 190 seconds]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
<egg|zzz|egg>
!wpn -add:adj AVX-512
<Qboid>
egg|zzz|egg: Adjective added!
<egg|zzz|egg>
!wpn whitequark
* Qboid
gives whitequark an octanitrocubane coilgun
StCipher has joined #kspacademia
StCypher has quit [Ping timeout: 190 seconds]
<egg|zzz|egg>
#define އަތޮޅު atoll
tawny has joined #kspacademia
tawny has quit [Remote host closed the connection]
tawny has joined #kspacademia
* UmbralRaptop
🔪 Jackson. Would it kill you to list more than every 3rd step in a derivation?
<UmbralRaptop>
[Narrator: yes.]
<SnoopJeDi>
erratum: numbered exercise count lower than number of exercises contained in script
<UmbralRaptop>
Hah =S
<egg|phone|egg>
!Wpn whitequark and котя
* Qboid
gives whitequark and котя a Riemann meganeuropsis
<UmbralRaptop>
Differential dragonfly?
<bofh>
SnoopJeDi: rofl :/
<egg|phone|egg>
喵
<egg|phone|egg>
!Wpn bofh
* Qboid
gives bofh a commuting behaviour
<bofh>
!wpn egg|work|egg
* Qboid
gives egg|work|egg a textured cow
<UmbralRaptop>
;8ball Is egg turning into a cat?
<kmath>
UmbralRaptop: Yes definitely
<UmbralRaptop>
;8ball stabbity?
<kmath>
UmbralRaptop: My sources say no
<UmbralRaptop>
…why does Jackson have both primed and unprimed spherical coordinates in this problem?
<UmbralRaptop>
… why is there a cosine inside a delta function?
<bofh>
Ahh, *THAT* problem. Fuck that problem.
<bofh>
(the cosine-delta-function one)
APlayer has quit [Ping timeout: 383 seconds]
<SnoopJeDi>
bofh, okay um so the synopsis of that talk I would say is "because the Bible"
<SnoopJeDi>
the speaker made some good points about the rise of the notion that the universe is knowable in connection to prominent christian scientists...but all of those were centuries after Galileo, whence the idea was quite new. He did mention the Gutenberg press and the Reformation, which I think are larger players in his theory, but yea...
<SnoopJeDi>
he also showed a quote by a Jesuit saying that the ideas of science didn't appeal to the Chinese because *mumblemumble* the existence of laws imbued each object with a consciousness whence to obey the law...which sounds like a Jesuit who didn't make much of an effort to understand, because I would say that Taoism/Confucianism get pretty good marks on a scale of "the universe is knowable by humans" tbqh, although I'm ignorant of both
<SnoopJeDi>
idk, my takeaway was "it turns out imperialism powered by reasonably cohesive religion and a dash of rebellious fracture that *doesn't* make society fall apart is a good thing for scientific inquiry"
<bofh>
Ehh, I mostly agree (and having a cohesive written record in which study is encouraged consistently does help a lot). The tendency to translate the bible into local cultures' languages meant introductions of writing systems, education and a consistent literacy rate, which did spiral into an encouragement into *everyone* (not just a higher caste in the gov't) to be able to self-study.
<UmbralRaptop>
And this example has a surprise elliptic integral. Didn't Ramanujan get published for his work on those?
<bofh>
UmbralRaptop: it's prolly just the complete elliptic integral of the first kind, feh.
* UmbralRaptop
hands iximeow && kmath glasses of orange juice.
<UmbralRaptop>
!choose Dense text written by a Canadian|Dense text written by a pair of Soviets|Astronomical papers written by Americans (mostly)
<Qboid>
UmbralRaptop: Your options are: Dense text written by a Canadian, Dense text written by a pair of Soviets, Astronomical papers written by Americans (mostly). My choice: Astronomical papers written by Americans (mostly)
awang has quit [Ping timeout: 190 seconds]
<UmbralRaptop>
So, apparently Prox Cen does weird things redwards of ~3 μm. Also, I'm not sure why someone tried to model its atmosphere assuming an [Fe/H] of 0 in 2015. (I think 0.1-0.3 is more accurate?)