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
<raptop> astronomers naming things: https://arxiv.org/abs/2505.09933
<galois> [arXiv] “Open Source High-Resolution Exoplanet Atmosphere Retrievals with POSEIDON” Ruizhe Wang, Ryan J. MacDonald, Neale P. Gibson et al. — «High-resolution spectroscopy (R > 25,000) has opened new opportunities to characterize exoplanet atmospheres from the ground. By resolving individual lines in planetary emission and transmission spectra, one can sensitively probe the chemical inventory and temperature structure of…»
whitequark has quit [Quit: Client limit exceeded: 2]
egg|matrix|egg has joined #kspacademia
<egg|matrix|egg> !wpn Catherine
* galois gives Catherine a VR stroopwafel
<egg|matrix|egg> !wpn raptop
* galois gives raptop a mecha plantigrade hope with a cheerio attachment
egg|matrix|egg has quit [Client Quit]
whitequark has joined #kspacademia
<whitequark> !wpn egg
* galois gives egg a Gregorian variable
whitequark has quit [Client Quit]
egg|matrix|egg has joined #kspacademia
* egg|matrix|egg is spooked by the calendar
<egg|matrix|egg> meow
<raptop> !wpn a random calendar
* galois gives a random calendar a microsoft
<raptop> Congratulations, 1900 CE is now a leap year
raptop has quit [Ping timeout: 183 seconds]
raptop has joined #kspacademia
<raptop> astronomers naming things: https://arxiv.org/abs/2505.11364
<galois> [arXiv] “APE: An analytical protostellar environment to provide physical conditions to chemical models and synthetic observations” Pierre Marchand, Audrey Coutens, Antoine Espagnet et al. — «Chemical modeling and synthetic observations are powerful methods to interpret observations, both requiring a knowledge of the physical conditions. In this paper, we present the Analytical Protostellar Environment (APE) code, which aims at…»
<raptop> today in historical astronomy (which somehow makes it feel egg-relevant): https://arxiv.org/abs/2505.10728
<galois> [arXiv] “Was there a (super)nova in 1408?” Boshun Yang, Nikolaus Vogt, Susanne M Hoffmann — «The 1408 CE "guest star" recorded in Chinese historical texts presents a compelling case for identifying a historical stellar transient. While previous studies debated its nature as a meteor, comet, or nova, we re-evaluate the event using original Ming Dynasty records, including a newly found memorial from the imperial court. The object,…»
<egg|matrix|egg> One interesting thing about this thread is that it made me realize how foreign subtypes are coming from most other programming languages (and thus she is getting very confused with type conversions vs the lack of conversions between subtypes, accidentally declaring a new type, while trying to express constraints—which are subtype things—to SPARK, etc.)
<raptop> hrm
<egg|matrix|egg> s/,//
<galois> egg|matrix|egg meant to say: One interesting thing about this thread is that it made me realize how foreign subtypes are coming from most other programming languages (and thus she is getting very confused with type conversions vs the lack of conversions between subtypes accidentally declaring a new type, while trying to express constraints—which are subtype things—to SPARK, etc.)
<egg|matrix|egg> … The bot did not provide enough context to tell which comma I was deleting.
<egg|matrix|egg> (The bridge bot, that is.)
<egg|matrix|egg> (I was deleting the comma before « while »)
raptop has quit [Ping timeout: 190 seconds]
raptop has joined #kspacademia