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> 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
raptop has quit [Ping timeout: 378 seconds]
UmbralRaptop has joined #kspacademia
e_14159_ has joined #kspacademia
e_14159 has quit [Ping timeout: 378 seconds]
egg|anbo|egg has quit [Remote host closed the connection]
* oeuf stabs mofh with water molecules
<oeuf> !wpn whitequark
* galois gives whitequark an eggsplosion with a quark attachment
<whitequark> hahaha
* oeuf purrs
<_whitenotifier-d13c> [Principia] pleroy opened pull request #2433: Upgrade to Visual Studio 2019 16.4.2 - https://git.io/Jejea
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4072/
<_whitenotifier-d13c> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4072/
<_whitenotifier-d13c> [Principia] pleroy synchronize pull request #2433: Upgrade to Visual Studio 2019 16.4.2 - https://git.io/Jejea
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4073/
<_whitenotifier-d13c> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4073/
<oeuf> whitequark: constexpr double ⅞ = 7.0 / 8;
<_whitenotifier-d13c> [Principia] eggrobin labeled pull request #2433: Upgrade to Visual Studio 2019 16.4.2 - https://git.io/Jejea
<_whitenotifier-d13c> [Principia] pleroy closed pull request #2433: Upgrade to Visual Studio 2019 16.4.2 - https://git.io/Jejea
<_whitenotifier-d13c> [Principia] pleroy pushed 3 commits to master [+0/-0/±6] https://git.io/JejJt
<_whitenotifier-d13c> [Principia] pleroy 6c6df1e - Upgrade to 16.4.2.
<_whitenotifier-d13c> [Principia] pleroy 0865fac - Fix coverage path.
<_whitenotifier-d13c> [Principia] pleroy aa27f3c - Merge pull request #2433 from pleroy/16.4.2 Upgrade to Visual Studio 2019 16.4.2
<_whitenotifier-d13c> [Principia] pleroy pushed 1 commit to master [+0/-0/±1] https://git.io/JejJq
<_whitenotifier-d13c> [Principia] pleroy ed1db35 - Update some version numbers.
<_whitenotifier-d13c> [Principia] pleroy pushed 1 commit to master [+0/-0/±1] https://git.io/JejJs
<_whitenotifier-d13c> [Principia] pleroy dddc19c - Update list of DLLs.
egg|cell|egg has quit [Ping timeout: 202 seconds]
<_whitenotifier-d13c> [Principia] pleroy opened pull request #2434: Run the adapter in the main menu to detect loading problems early - https://git.io/JejU3
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4074/
<_whitenotifier-d13c> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4074/
<_whitenotifier-d13c> [Principia] pleroy synchronize pull request #2434: Run the adapter in the main menu to detect loading problems early - https://git.io/JejU3
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4075/
<_whitenotifier-d13c> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4075/
<_whitenotifier-d13c> [Principia] pleroy commented on pull request #2434: Run the adapter in the main menu to detect loading problems early - https://git.io/JejUE
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4076/
<_whitenotifier-d13c> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4076/
<_whitenotifier-d13c> [Principia] eggrobin labeled pull request #2434: Run the adapter in the main menu to detect loading problems early - https://git.io/JejU3
<_whitenotifier-d13c> [Principia] pleroy closed issue #2385: Check for the C++ redistributable in the main menu - https://git.io/Je1X3
<_whitenotifier-d13c> [Principia] pleroy pushed 3 commits to master [+0/-0/±3] https://git.io/JejTv
<_whitenotifier-d13c> [Principia] pleroy ff859b9 - Run the adapter in the main menu to detect loading problems early.
<_whitenotifier-d13c> [Principia] pleroy db86397 - Simplifications.
<_whitenotifier-d13c> [Principia] pleroy 73eeca0 - Merge pull request #2434 from pleroy/2385 Run the adapter in the main menu to detect loading problems early
<_whitenotifier-d13c> [Principia] pleroy closed pull request #2434: Run the adapter in the main menu to detect loading problems early - https://git.io/JejU3
<_whitenotifier-d13c> [Principia] pleroy labeled issue #2429: reference_radius does not appear to take a default value C#-side - https://git.io/Jexcd
<_whitenotifier-d13c> [Principia] pleroy labeled issue #2429: reference_radius does not appear to take a default value C#-side - https://git.io/Jexcd
<_whitenotifier-d13c> [Principia] eggrobin opened pull request #2435: Closed system - https://git.io/JejmX
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4077/
<_whitenotifier-d13c> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4077/
<_whitenotifier-d13c> [Principia] eggrobin synchronize pull request #2435: Closed system - https://git.io/JejmX
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4078/
egg|cell|egg has joined #kspacademia
<_whitenotifier-d13c> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4078/
<galois> title: Scott Gaudi on Twitter: "Model HabEx starshade. #AAS235… "
<galois> title: Gravis (edited) on Twitter: "… "
<SilverFox> so like, 0 is a whole number right
<SilverFox> but is 0.0 a whole number, or is it not because it implies stuff about the accuracy of said number, meaning there could be things after that 0, so it isnt whole?
<UmbralRaptop> this feels like an int vs float question, rather than an integer vs rational number one
<SilverFox> this was just a silly thought, back to a vague rememberance of a time when I was told, in a classroom, by a teacher or prof, that 0 or some integer is more precise in the concept of it, compared to 1.0, which is like philisophically different or sumthin