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…
egg|anbo|egg_ has joined #principia
egg|anbo|egg__ has quit [Ping timeout: 189 seconds]
oeuf has quit [Ping timeout: 189 seconds]
oeuf has joined #principia
<queqiao-> ⟨(​ᴇxᴘᴇʀɪᴍᴇɴᴛᴀʟshells)⟩ tired: cube roots
<queqiao-> ⟨(​ᴇxᴘᴇʀɪᴍᴇɴᴛᴀʟshells)⟩ wired: elliptic roots
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5022/
egg|cell|egg has quit [Ping timeout: 189 seconds]
<_whitenotifier> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5022/
<_whitenotifier> [Principia] eggrobin synchronize pull request #3048: Legible output for Instant - https://git.io/Jcit7
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5023/
egg|anbo|egg has quit [Remote host closed the connection]
<_whitenotifier> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5023/
_whitelogger has joined #principia
<_whitenotifier> [Principia] pleroy opened pull request #3052: Next release is Grothendieck - https://git.io/Jcygv
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5024/
<_whitenotifier> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5024/
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]
<_whitenotifier> [Principia] eggrobin synchronize pull request #3048: Legible output for Instant - https://git.io/Jcit7
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5025/
<_whitenotifier> [Principia] eggrobin synchronize pull request #3048: Legible output for Instant - https://git.io/Jcit7
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5025/
<_whitenotifier> [Principia] eggrobin closed pull request #3048: Legible output for Instant - https://git.io/Jcit7
<_whitenotifier> [Principia] eggrobin pushed 14 commits to master [+11/-1/±79] https://git.io/Jcy7Z
<_whitenotifier> [Principia] eggrobin 9b340e9 - tchouk
<_whitenotifier> [Principia] eggrobin 892a548 - Merge branch 'to_date' into tchouk-tchouk
<_whitenotifier> [Principia] eggrobin ada710f - it seems to work
<_whitenotifier> [Principia] ... and 11 more commits.
<_whitenotifier> [Principia] eggrobin labeled pull request #3053: Oveflow in constexpr arithmetic with clang 8, continued - https://git.io/Jcy7C
<_whitenotifier> [Principia] eggrobin opened pull request #3053: Oveflow in constexpr arithmetic with clang 8, continued - https://git.io/Jcy7C
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5026/
<_whitenotifier> [Principia] eggrobin closed pull request #3053: Oveflow in constexpr arithmetic with clang 8, continued - https://git.io/Jcy7C
<_whitenotifier> [Principia] eggrobin pushed 2 commits to master [+0/-0/±4] https://git.io/Jcy7w
<_whitenotifier> [Principia] eggrobin 2ce735c - all hail zygoloid, eventually
<_whitenotifier> [Principia] eggrobin 00e46ab - Merge pull request #3053 from eggrobin/constexpr-overflow Oveflow in constexpr arithmetic with clang 8, continued
uovo has joined #principia
oeuf has quit [Ping timeout: 198 seconds]
<_whitenotifier> [Principia] eggrobin labeled pull request #3054: Comparisons are hard - https://git.io/Jcy5c
<_whitenotifier> [Principia] eggrobin opened pull request #3054: Comparisons are hard - https://git.io/Jcy5c
<_whitenotifier> [Principia] eggrobin closed pull request #3054: Comparisons are hard - https://git.io/Jcy5c
<_whitenotifier> [Principia] eggrobin pushed 2 commits to master [+0/-0/±2] https://git.io/Jcy5l
<_whitenotifier> [Principia] eggrobin 2563d8f - compare in the correct direction
<_whitenotifier> [Principia] eggrobin d00fd91 - Merge pull request #3054 from eggrobin/constexpr-overflow Comparisons are hard
<_whitenotifier> [Principia] eggrobin labeled pull request #3052: Next release is Grothendieck - https://git.io/Jcygv
<_whitenotifier> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5026/
<_whitenotifier> [Principia] eggrobin labeled pull request #3055: Strange clang version numbers on macintosh - https://git.io/Jcyxo
<_whitenotifier> [Principia] eggrobin opened pull request #3055: Strange clang version numbers on macintosh - https://git.io/Jcyxo
<_whitenotifier> [Principia] eggrobin pushed 2 commits to master [+0/-0/±2] https://git.io/JcyxX
<_whitenotifier> [Principia] eggrobin b767055 - Strange clang version numbers on macintosh
<_whitenotifier> [Principia] eggrobin fb453d7 - Merge pull request #3055 from eggrobin/constexpr-overflow Strange clang version numbers on macintosh
<_whitenotifier> [Principia] eggrobin closed pull request #3055: Strange clang version numbers on macintosh - https://git.io/Jcyxo
<_whitenotifier> [Principia] eggrobin labeled pull request #3056: Sign error, and it is probably a good idea to #include the macros - https://git.io/JcypA
<_whitenotifier> [Principia] eggrobin opened pull request #3056: Sign error, and it is probably a good idea to #include the macros - https://git.io/JcypA
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5027/
<_whitenotifier> [Principia] eggrobin pushed 2 commits to master [+0/-0/±2] https://git.io/Jcyhv
<_whitenotifier> [Principia] eggrobin 9123f96 - Sign error, and it is probably a good idea to #include the macros
<_whitenotifier> [Principia] eggrobin 2430ca5 - Merge pull request #3056 from eggrobin/constexpr-overflow Sign error, and it is probably a good idea to #include the macros
<_whitenotifier> [Principia] eggrobin closed pull request #3056: Sign error, and it is probably a good idea to #include the macros - https://git.io/JcypA
egg|anbo|egg has joined #principia
egg|anbo|egg_ has quit [Ping timeout: 189 seconds]
<_whitenotifier> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5027/
<_whitenotifier> [Principia] pleroy closed pull request #3052: Next release is Grothendieck - https://git.io/Jcygv
<_whitenotifier> [Principia] pleroy pushed 2 commits to master [+0/-0/±2] https://git.io/JcSTP
<_whitenotifier> [Principia] pleroy 2684309 - Next release is Grothendieck.
<_whitenotifier> [Principia] pleroy be4d348 - Merge pull request #3052 from pleroy/Grothendieck Next release is Grothendieck
<_whitenotifier> [Principia] pleroy unlabeled pull request #3044: Initialize local variables in constexpr code - https://git.io/JcVwI
<_whitenotifier> [Principia] pleroy labeled pull request #3044: Initialize local variables in constexpr code - https://git.io/JcVwI
<_whitenotifier> [Principia] pleroy unlabeled pull request #3053: Oveflow in constexpr arithmetic with clang 8, continued - https://git.io/Jcy7C
<_whitenotifier> [Principia] pleroy labeled pull request #3053: Oveflow in constexpr arithmetic with clang 8, continued - https://git.io/Jcy7C
<_whitenotifier> [Principia] pleroy labeled pull request #3054: Comparisons are hard - https://git.io/Jcy5c
<_whitenotifier> [Principia] pleroy unlabeled pull request #3054: Comparisons are hard - https://git.io/Jcy5c
<_whitenotifier> [Principia] pleroy unlabeled pull request #3055: Strange clang version numbers on macintosh - https://git.io/Jcyxo
<_whitenotifier> [Principia] pleroy labeled pull request #3055: Strange clang version numbers on macintosh - https://git.io/Jcyxo
<_whitenotifier> [Principia] pleroy unlabeled pull request #3056: Sign error, and it is probably a good idea to #include the macros - https://git.io/JcypA
<_whitenotifier> [Principia] pleroy labeled pull request #3056: Sign error, and it is probably a good idea to #include the macros - https://git.io/JcypA
egg|anbo|egg_ has joined #principia
<_whitenotifier> [Principia] eggrobin labeled pull request #3057: Parentheses - https://git.io/JcSmH
<_whitenotifier> [Principia] eggrobin opened pull request #3057: Parentheses - https://git.io/JcSmH
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5028/
<_whitenotifier> [Principia] eggrobin closed pull request #3057: Parentheses - https://git.io/JcSmH
<_whitenotifier> [Principia] eggrobin pushed 2 commits to master [+0/-0/±2] https://git.io/JcSm7
<_whitenotifier> [Principia] eggrobin 5f0b543 - parentheses
<_whitenotifier> [Principia] eggrobin 4ce9305 - Merge pull request #3057 from eggrobin/constexpr-overflow Parentheses
<_whitenotifier> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5028/
egg|anbo|egg_ has quit [Remote host closed the connection]
egg|anbo|egg_ has joined #principia
egg|anbo|egg has quit [Ping timeout: 198 seconds]
egg|anbo|egg_ has quit [Read error: Connection reset by peer]
<_whitenotifier> [Principia] pleroy tagged 4ce9305 as 2021071001-Grossmann https://git.io/JcSzW
<_whitenotifier> [Principia] pleroy created tag 2021071001-Grossmann - https://git.io/fpDwq
<_whitenotifier> [Principia] pleroy labeled pull request #3028: Fix the build - https://git.io/JZqO9
<_whitenotifier> [Principia] pleroy unlabeled pull request #3028: Fix the build - https://git.io/JZqO9
<_whitenotifier> [Principia] pleroy unlabeled pull request #3029: Fix the build more - https://git.io/JZq3y
<_whitenotifier> [Principia] pleroy labeled pull request #3029: Fix the build more - https://git.io/JZq3y
<_whitenotifier> [Principia] pleroy labeled pull request #3057: Parentheses - https://git.io/JcSmH
<_whitenotifier> [Principia] pleroy unlabeled pull request #3057: Parentheses - https://git.io/JcSmH
egg|anbo|egg has joined #principia
egg|anbo|egg_ has joined #principia
egg|anbo|egg has quit [Ping timeout: 198 seconds]
uovo has quit [Ping timeout: 189 seconds]
queqiao- has quit [Ping timeout: 189 seconds]
queqiao- has joined #principia
uovo has joined #principia
queqiao- has quit [Remote host closed the connection]
queqiao- has joined #principia
Raidernick has quit [Read error: Connection reset by peer]
Raidernick has joined #principia
Raidernick_ has joined #principia
Raidernick has quit [Read error: Connection reset by peer]
Raidernick__ has joined #principia
Raidernick_ has quit [Read error: Connection reset by peer]
Raidernick has joined #principia
Raidernick__ has quit [Ping timeout: 204 seconds]