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|cell|egg has quit [Ping timeout: 192 seconds]
Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]
* UmbralRaptop meows at butcher's cats
<UmbralRaptop> mrow?
<UmbralRaptop> 😾
<_whitenotifier-653e> [Principia] pleroy closed pull request #3286: Remove custom optional implementation. - https://github.com/mockingbirdnest/Principia/pull/3286
<_whitenotifier-653e> [Principia] rnlahaye opened pull request #3288: Unrequire Mojave. - https://github.com/mockingbirdnest/Principia/pull/3288
<_whitenotifier-653e> [Principia] rnlahaye commented on pull request #3288: Unrequire Mojave. - https://github.com/mockingbirdnest/Principia/pull/3288#issuecomment-1017223906
<_whitenotifier-653e> [Principia] pleroy commented on pull request #3288: Unrequire Mojave. - https://github.com/mockingbirdnest/Principia/pull/3288#issuecomment-1017241386
Hypergolic_Skunk has joined #principia
_whitelogger has joined #principia
<_whitenotifier-653e> [Principia] eggrobin closed pull request #3288: Unrequire Mojave. - https://github.com/mockingbirdnest/Principia/pull/3288
<_whitenotifier-653e> [Principia] rnlahaye opened pull request #3289: Compatibility with latest version of Clang - https://github.com/mockingbirdnest/Principia/pull/3289
<_whitenotifier-653e> [Principia] pleroy commented on pull request #3289: Compatibility with latest version of Clang - https://github.com/mockingbirdnest/Principia/pull/3289#issuecomment-1018007715
<_whitenotifier-653e> [Principia] rnlahaye commented on pull request #3289: Compatibility with latest version of Clang - https://github.com/mockingbirdnest/Principia/pull/3289#issuecomment-1018008244
<uovo> ... is the bridge down??
* uovo pokes queqiao- with a stick
<queqiao-> ⟨egg|matrix|egg⟩ looks like the matrix-to-discord layer is down
* uovo tries rebooting
uovo is now known as egg
queqiao- has quit [Remote host closed the connection]
queqiao- has joined #principia
<queqiao-> ⟨egg⟩ rnlahaye I just deactivated the silly "ok to test" dance so hopefully that should no longer be a thing
<queqiao-> ⟨egg⟩ (and it should just build without spamming)