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->
⟨egg⟩ Yes. This is not merely a channel for cats and people confused about Principia, but also a channel where development discussions about Principia happen; see the exchange above regarding Al₂Me₆’s contribution. This has also occasionally led the less-confused users to reply to issues before we get to them, reducing our workload.
<queqiao->
⟨egg⟩ +The PRs and issues are useful context for that purpose.