egg changed the topic of #principia to: Logs: https://esper.irclog.whitequark.org/principia | <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…
<discord-> C​aravans of Rockets (He/He). — Thanks, egg. I will take a look at it later, sorry for the late reply, I was preparing for my Biology final exam tommorow.
<_whitenotifier> [Principia] eggrobin synchronize pull request #2973: Documentation for a correctly-rounded cube root - https://git.io/J3BRj
egg|anbo|egg__ has joined #principia
egg|anbo|egg___ has joined #principia
egg|anbo|egg has quit [Ping timeout: 189 seconds]
egg|anbo|egg_ has quit [Ping timeout: 189 seconds]
<_whitenotifier> [Principia] eggrobin closed pull request #2990: CPUID - https://git.io/JsiiK
<_whitenotifier> [Principia] eggrobin pushed 9 commits to master [+9/-0/±41] https://git.io/JGkDW
<_whitenotifier> [Principia] eggrobin 4b4dbe3 - CPUID
<_whitenotifier> [Principia] eggrobin 9b60202 - EOL@EOF
<_whitenotifier> [Principia] eggrobin 1981bc9 - keep 333
<_whitenotifier> [Principia] ... and 6 more commits.
discord- has quit [Remote host closed the connection]
discord- has joined #principia
egg|anbo|egg__ has quit [Remote host closed the connection]
Majiir has quit [Ping timeout: 204 seconds]
Majiir has joined #principia
<_whitenotifier> [Principia] pleroy closed pull request #3000: Remove an ancient work-around for a VS2015 bug - https://git.io/JGkYp
<_whitenotifier> [Principia] pleroy pushed 2 commits to master [+0/-0/±2] https://git.io/JGISF
<_whitenotifier> [Principia] pleroy c965663 - Remove an ancien work-around for a VS2015 bug.
<_whitenotifier> [Principia] pleroy 08f8b74 - Merge pull request #3000 from pleroy/2015 Remove an ancient work-around for a VS2015 bug
<_whitenotifier> [Principia] Tropfchen starred Principia - https://git.io/JGLtn
mic_e has quit [Ping timeout: 189 seconds]
egg|anbo|egg has joined #principia
egg|anbo|egg has quit [Remote host closed the connection]
egg|anbo|egg has joined #principia
egg|anbo|egg has quit [Remote host closed the connection]
_whitelogger has joined #principia
egg|anbo|egg has joined #principia
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4943/
<_whitenotifier> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4943/
egg|anbo|egg has quit [Remote host closed the connection]
<_whitenotifier> [Principia] eggrobin synchronize pull request #2973: Documentation for a correctly-rounded cube root - https://git.io/J3BRj
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4944/
<_whitenotifier> [Principia] eggrobin synchronize pull request #2973: Documentation for a correctly-rounded cube root - https://git.io/J3BRj
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4944/
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4945/
<_whitenotifier> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4945/
<_whitenotifier> [Principia] pleroy opened pull request #3001: Upgrade to VS 2019 16.10.0 - https://git.io/JGthv
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4946/
egg|anbo|egg has joined #principia
<_whitenotifier> [Principia] eggrobin labeled pull request #3001: Upgrade to VS 2019 16.10.0 - https://git.io/JGthv
<_whitenotifier> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4946/
egg|anbo|egg has quit [Remote host closed the connection]
egg|anbo|egg has joined #principia
egg|anbo|egg has quit [Remote host closed the connection]
<_whitenotifier> [Principia] pleroy closed pull request #3001: Upgrade to VS 2019 16.10.0 - https://git.io/JGthv
<_whitenotifier> [Principia] pleroy pushed 2 commits to master [+0/-0/±4] https://git.io/JGqGa
<_whitenotifier> [Principia] pleroy e99c0b8 - Upgrade to VS 2019 16.10.0.
<_whitenotifier> [Principia] pleroy b8c52e6 - Merge pull request #3001 from pleroy/16.10 Upgrade to VS 2019 16.10.0
<_whitenotifier> [Principia] pleroy opened pull request #3002: Remove references to VS2017 - https://git.io/JGqcn
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4947/
<_whitenotifier> [Principia] eggrobin labeled pull request #3002: Remove references to VS2017 - https://git.io/JGqcn
<_whitenotifier> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4947/
<_whitenotifier> [Principia] pleroy closed pull request #3002: Remove references to VS2017 - https://git.io/JGqcn
<_whitenotifier> [Principia] pleroy pushed 6 commits to master [+0/-0/±7] https://git.io/JGquU
<_whitenotifier> [Principia] pleroy f2152ff - Remove references to VS2017.
<_whitenotifier> [Principia] pleroy 222caf0 - Remove references to VS2017.
<_whitenotifier> [Principia] pleroy 02239b4 - Merge branch 'VS2017' of https://github.com/pleroy/Principia into VS2017
<_whitenotifier> [Principia] ... and 3 more commits.
egg|anbo|egg has joined #principia
egg|anbo|egg has quit [Remote host closed the connection]