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…
<queqiao-> ⟨glasscar⟩ @everyone join now https://discord.gg/boobis
_whitelogger has joined #principia
<queqiao-> ⟨Butcher⟩ There goes my morning, stuck under a cat.
queqiao- has quit [Remote host closed the connection]
queqiao- has joined #principia
<_whitenotifier-7bc1> [Principia] eggrobin opened pull request #3453: /utf-8 - https://github.com/mockingbirdnest/Principia/pull/3453
<_whitenotifier-7bc1> [Principia] eggrobin commented on pull request #3453: /utf-8 - https://github.com/mockingbirdnest/Principia/pull/3453#issuecomment-1312791578
<_whitenotifier-7bc1> [Principia] eggrobin commented on pull request #3453: /utf-8 - https://github.com/mockingbirdnest/Principia/pull/3453#issuecomment-1312797232
raptop has quit [Ping timeout: 189 seconds]
raptop has joined #principia
raptop has quit [Ping timeout: 189 seconds]
raptop has joined #principia