egg changed the topic of #kspacademia to: https://git.io/JqLs2 | 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 | Logs: https://esper.irclog.whitequark.org/kspacademia
egg|anbo|egg__ has joined #kspacademia
egg|anbo|egg_ has quit [Ping timeout: 189 seconds]
* raptop
realizes that I have no idea what "fairfax health district" covers other than it can't quite match up with fairfax county because virginia is a weird state that has some cities that are not in any county
egg|cell|egg has joined #kspacademia
egg|anbo|egg has joined #kspacademia
<egg|anbo|egg>
whitequark this is a point that is too often forgotten, though I would argue that it is really to convince people that there exists a proof in the underlying abstract formalism https://twitter.com/whitequark/status/1414979756458708992
<egg|anbo|egg>
s/whitequark/whitequark:/
<galois>
egg|anbo|egg meant to say: whitequark: this is a point that is too often forgotten, though I would argue that it is really to convince people that there exists a proof in the underlying abstract formalism https://twitter.com/whitequark/status/1414979756458708992
<re_irc>
<@whitequark:matrix.org> yeah
<egg|anbo|egg>
but yes, the social/convincing aspect is critical
<re_irc>
<@whitequark:matrix.org> it's obvious to us!
<e_14159>
raptop: This reminds me of pre-revolution France's organizational troubles
<re_irc>
<@whitequark:matrix.org> there is no mathematics without mathematicians
<egg|anbo|egg>
(and the « convince people that there exists a proof in the underlying abstract formalism » aspect is somewhat modern really)
<egg|anbo|egg>
(there is mathematics about a lot of things before they get axiomatized and before logic comes along)
<raptop>
e_14159: I *think* it's Fairfax County (which includes a bunch of cities that sound like they should be seperate), the city of Fairfax, and the city of Falls Church
<raptop>
Alexandria and Arlington (which were part of DC before 1861) are their own thing
* raptop
pokes this place with a stick
<egg|anbo|egg>
whitequark: I guess some of the confusion depends on what one means by mathematics (cf. mathematical realism etc.); is it the underlying thing whose existence you convince people of, or the convincing
<egg|anbo|egg>
there is no astronomy without astronomers, but there is space without astronomers
<egg|anbo|egg>
but which one of those you call « mathematics » is more ambiguous
* raptop
's impression of proofs is endless tedious steps that are either trivial or impossible to predict
<raptop>
well, usually
<re_irc>
<@whitequark:matrix.org> none of us are working with the platonic realm of ideal math, are we?
<re_irc>
<@whitequark:matrix.org> the same way we do not explore the platonic ideal of space but probe it with our limited minds and instruments
<egg|anbo|egg>
none of us are able to manipulate objects in space or even run experiments about celestial b—eggsactly
<re_irc>
<@whitequark:matrix.org> there is no argument that the platonic realm of ideal mathematics exists, insofar as this concept can "exist" at all, but that's not the mathematics we actually work with!
<egg|anbo|egg>
but we don’t have a separate word for the thing that is to mathematics the discipline what space is to astronomy
<egg|anbo|egg>
hence some confusion
<egg|anbo|egg>
if you use the word mathematics to refer to that, then yes, it « is some sort of universal ground truth »
<egg|anbo|egg>
but if you use it to refer to the thing mathematicians do, they just convince each other of things about that
<egg|anbo|egg>
(and then if you jump in meaning from one to the other carelessly, you end up with strange ideas of what proofs are in practice, and forget the all-important « convincing » aspect and things become silly)
<egg|anbo|egg>
!wpn whitequark
* galois
gives whitequark a boiled Aerojet life
<egg|anbo|egg>
!wpn whitequark’s cats
* galois
gives whitequark’s cats a hydrazine atlatl
<egg|anbo|egg>
whitequark: and it looks like most of the replies in that thread are falling into that ambiguity of what « mathematics » refers to
<re_irc>
<@whitequark:matrix.org> yes
<re_irc>
<@whitequark:matrix.org> the next time we bring this up it will be more interesting
<galois>
title: [2107.05398] Autofocusing Optimal Search Algorithm for a Telescope System
<raptop>
conceptual vore?
<mofh>
"2^-13... [numerical analysis ramble] conteggst? you haven't behaved enough to get conteggst"
<SnoopJ>
!wpn -add:adj conceptual
<galois>
Added adj 'conceptual'
<SnoopJ>
!wpn -add:wpn vore
<galois>
Added wpn 'vore'
<SnoopJ>
!wpn -add:adj hypothetical
<galois>
Entry already exists!
<raptop>
mofh: aaaa
<iximeow>
raptop: i'm... not convinced that different objects exhibit such significant differences in the modality of focus
<raptop>
obviously you need to image more near-field galaxies
<iximeow>
:think:
<egg|anbo|egg>
Hypsilophodon
<iximeow>
i still haven't taken the time to model focus w.r.t ccd position and temperature :(
<re_irc>
<@whitequark:matrix.org> mofh: i... i beg your pardon
<iximeow>
my approach rn is fit a parabola and minimize, which seems to produce reasonable results. but that involves five samples + focuser travel distance. if a parabola is a reasonable model i should be able to guess proper focus from one sample...
* raptop
estimates that it would mass ~11860 tonnes, roughly comparable to a Cleveland class light cruiser
<raptop>
"Neither the producers nor the United States Geological Survey published any production amounts for osmium. In 1971, estimations of the United States production of osmium as a byproduct of copper refining was 2000 troy ounces (62 kg).[55] Between 2010 and 2019, annual US imports of osmium ranged from less than 0.5 kg to 856 kg, averaging 157 kg/year.[56]"
<raptop>
feh
<raptop>
Part of what makes the sphere so cursed is that it might represent more osmium than has been mined/refined/produced in all of human history
<raptop>
Continuing the BOTE calcs, this is probably on the order of the upmass of every single R-7 family launch combined
<raptop>
Yay, GMU finally verified that they did indeed vaccinate me
<raptop>
!8 Be afraid of a catboy extinction event?