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]
e_14159 has quit [Ping timeout: 192 seconds]
e_14159 has joined #kspacademia
* raptop stares at https://twitter.com/local_catgirl/status/1414761152882565121 then at egg|anbo|egg__
<raptop> !8 Does Jupiter hates you and wants you to suffer also apply to its exoplanet counterparts?
<galois> raptop: yes
<raptop> Figures
egg|anbo|egg has quit [Remote host closed the connection]
egg|cell|egg has joined #kspacademia
<egg|cell|egg> !wpn whitequark
* galois gives whitequark a death
<egg|cell|egg> Um
<re_irc> <@w​hitequark:m​atrix.org> hi Maya!
<re_irc> <@w​hitequark:m​atrix.org> <3
<egg|cell|egg> Bad bot, no killing the humans,
<galois> =[
egg|anbo|egg has joined #kspacademia
<re_irc> <@w​hitequark:m​atrix.org> what no
<egg|anbo|egg> whitequark: how are the cats
<re_irc> <@w​hitequark:m​atrix.org> i love death
<re_irc> <@w​hitequark:m​atrix.org> the cats are well ^^
<re_irc> <@w​hitequark:m​atrix.org> gonna send catpic when we find our phone
<egg|anbo|egg> kitties!
egg|anbo|egg has quit [Remote host closed the connection]
egg|cell|egg has quit [Ping timeout: 198 seconds]
<SnoopJ> !how many kitties
<galois> SnoopJ: 170 kitties
<SnoopJ> maybe it's an action figure of Death
<SnoopJ> or a trading card
<egg|anbo|egg__> caaaaaaaaaaaaaaaaaaaaat
* raptop meows at whitequark && egg
* 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> <@w​hitequark:m​atrix.org> yeah
<egg|anbo|egg> but yes, the social/convincing aspect is critical
<re_irc> <@w​hitequark:m​atrix.org> it's obvious to us!
<e_14159> raptop: This reminds me of pre-revolution France's organizational troubles
<re_irc> <@w​hitequark:m​atrix.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> <@w​hitequark:m​atrix.org> none of us are working with the platonic realm of ideal math, are we?
<re_irc> <@w​hitequark:m​atrix.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> <@w​hitequark:m​atrix.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> <@w​hitequark:m​atrix.org> yes
<re_irc> <@w​hitequark:m​atrix.org> the next time we bring this up it will be more interesting
<egg|anbo|egg> what do you mean eggsactly
<egg|anbo|egg> whitequark: the ambiguity neatly summed up in one tweet https://twitter.com/tef_ebooks/status/1415004178712309763
<egg|anbo|egg> something something philosophy something problem of language something Wittgenstein something
<SnoopJ> [Wittgenstein meowing in the distance]
egg|anbo|egg has quit [Remote host closed the connection]
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|anbo|egg has joined #kspacademia
<mofh> whitequark: is being conceptually digested like being conceptually fucked? (this question brought to you by egg|anbo|egg)
<egg|anbo|egg> mofh is the one who came up with the question
<raptop> now to annoy an iximeow with another relevant paper: https://arxiv.org/abs/2107.05398
<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> <@w​hitequark:m​atrix.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...
<egg|anbo|egg> whitequark: I think mofh was alluding to https://esper.irclog.whitequark.org/kspacademia/2021-04-20#1618955553-1618955563;
<galois> title: #kspacademia on 2021-04-20 — irc logs at whitequark.org
<SnoopJ> nice try, plato
<re_irc> <@w​hitequark:m​atrix.org> o-oh
<re_irc> <@w​hitequark:m​atrix.org> then the answer is yes
<raptop> ...this leads to a question about what conceptual orgasms feel like
<egg|anbo|egg> !wpn whitequark
* galois gives whitequark an apocryphal smooth vore
<egg|anbo|egg> …
<mofh> ...
<SnoopJ> good bot
<galois> =]
<re_irc> <@w​hitequark:m​atrix.org> raptop: conceptually pleasant
<re_irc> <@w​hitequark:m​atrix.org> like understanding something new and intense
<SnoopJ> !wpn -add:wpn frission
<galois> Added wpn 'frission'
<egg|anbo|egg> on an unrelated note the cat is soft
<SnoopJ> !wpn -del:wpn frission
<raptop> hmm
<galois> Deleted wpn 'frission'
<SnoopJ> !wpn -add:wpn frisson
<galois> Added wpn 'frisson'
* egg|anbo|egg pets the cat
<SnoopJ> frission is when you reach critical piloerection density
<raptop> you're not wrong
egg|cell|egg has joined #kspacademia
<egg|cell|egg> Cat is purring
<raptop> good cat
<galois> title: MissInformation: "#octocat" - chaos.social
queqiao- has joined #kspacademia
* 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?
<galois> raptop: yes
<raptop> oh dear
armed_troop has quit [Ping timeout: 198 seconds]
armed_troop has joined #kspacademia