raptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Gateaux. We currently target 1.8.1, 1.9.1, and 1.10.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly… | <egg> also 4e16 m * 2^-52 is uncomfortably large
egg|laptop|egg has quit [Remote host closed the connection]
<discord-> Y​oub3tter. — why did nasa not think of this
<raptop> I'm vaguely reminded of the Sea Dragon
egg|cell|egg has joined #principia
Mike` has quit [Ping timeout: 198 seconds]
Mike` has joined #principia
raptop has quit [Ping timeout: 198 seconds]
<discord-> [​experimentalshells?]. — Гельфанд is out!
<_whitenotifier-9244> [Principia] pleroy opened pull request #2785: Upgrade to VS 16.8.1 - https://git.io/JkGbD
<_whitenotifier-9244> [Principia] Pending. Build queued… - 
<_whitenotifier-9244> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4611/
<_whitenotifier-9244> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4611/
<_whitenotifier-9244> [Principia] eggrobin labeled pull request #2785: Upgrade to VS 16.8.1 - https://git.io/JkGbD
egg|cell|egg has quit [Ping timeout: 204 seconds]
<_whitenotifier-9244> [Principia] pleroy closed pull request #2785: Upgrade to VS 16.8.1 - https://git.io/JkGbD
<_whitenotifier-9244> [Principia] pleroy pushed 3 commits to master [+0/-0/±7] https://git.io/JkZTc
<_whitenotifier-9244> [Principia] pleroy c7cbcf7 - Upgrade to VS 16.8.1. New bugs in cxxlatest.
<_whitenotifier-9244> [Principia] pleroy 214a8a0 - Typo.
<_whitenotifier-9244> [Principia] pleroy f9519ec - Merge pull request #2785 from pleroy/16.8 Upgrade to VS 16.8.1
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|cell|egg has joined #principia
egg|laptop|egg has joined #principia
* discord- e​gg. — glares at the lack of Principia
AcccidentalColonies has joined #principia
AcccidentalColonies has quit [Client Quit]
egg|laptop|egg has quit [Remote host closed the connection]
<_whitenotifier-9244> [Principia] eggrobin synchronize pull request #2783: Orthogonal decomposition - https://git.io/JkfGq
egg|laptop|egg has joined #principia
<_whitenotifier-9244> [Principia] Pending. Build queued… - 
<_whitenotifier-9244> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4612/
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
<_whitenotifier-9244> [Principia] eggrobin closed pull request #2783: Orthogonal decomposition - https://git.io/JkfGq
<_whitenotifier-9244> [Principia] eggrobin closed pull request #2603: Automated primary detection - https://git.io/Jf99i
egg|laptop|egg has quit [Remote host closed the connection]
<_whitenotifier-9244> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4612/
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #principia
egg has quit [Ping timeout: 189 seconds]
discord- has quit [Ping timeout: 204 seconds]
discord- has joined #principia
discord- has quit [Read error: Connection reset by peer]
egg has joined #principia
raptop has joined #principia
raptop has quit [Read error: Connection reset by peer]
raptop has joined #principia