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…
<_whitenotifier-d4c1>
[Principia] pleroy opened pull request #4091: Replace | by ` around identifiers in (most) comments as the former is ambiguous with absolute value - https://github.com/mockingbirdnest/Principia/pull/4091
raptop has quit [Ping timeout: 183 seconds]
raptop has joined #principia
raptop has quit [Quit: leaving]
paculino has joined #principia
raptop has joined #principia
<_whitenotifier-d4c1>
[Principia] pleroy closed pull request #4091: Replace | by ` around identifiers in (most) comments as the former is ambiguous with absolute value - https://github.com/mockingbirdnest/Principia/pull/4091