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…
_whitelogger has joined #principia
_whitelogger has joined #principia
paculino has quit [*.net *.split]
armed_troop has quit [*.net *.split]
queqiao- has quit [*.net *.split]
goblin has quit [*.net *.split]
paculino has joined #principia
armed_troop has joined #principia
queqiao- has joined #principia
goblin has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
<_whitenotifier-cec0> [Principia] eggrobin opened pull request #3901: concept quantity - https://github.com/mockingbirdnest/Principia/pull/3901
<_whitenotifier-c1cb> [Principia] pleroy closed pull request #3900: Extract BlockView and ColumnView and make them independent from the other arrays - https://github.com/mockingbirdnest/Principia/pull/3900
<_whitenotifier-c1cb> [Principia] pleroy closed pull request #3899: Fix some Clang warnings and silence others - https://github.com/mockingbirdnest/Principia/pull/3899
<_whitenotifier-cec0> [Principia] pleroy opened pull request #3902: Make the tests for fixed and unbounded arrays consistent - https://github.com/mockingbirdnest/Principia/pull/3902
<_whitenotifier-c1cb> [Principia] eggrobin closed pull request #3901: concept quantity - https://github.com/mockingbirdnest/Principia/pull/3901
queqiao- has quit [Remote host closed the connection]
queqiao- has joined #principia
<queqiao-> ⟨egg⟩ (I restarted the bridge, which had fallen down.)
<paculino> Thank you
_whitelogger has joined #principia