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…
<paculino> May we see the rope bridge?
<queqiao-> ⟨Bee Rights Activist⟩ Rule 7 doesn’t apply here, Noted.
<queqiao-> ⟨egg⟩ It does. The topic just includes cats.
<queqiao-> ⟨Bee Rights Activist⟩ Or maybe the main subject _is_ cats so it does?
<paculino> This is the cat channel.
<raptop> nyan-body gravity
<queqiao-> ⟨Bee Rights Activist⟩ Then are cat pictures covered by Rule 3?
<paculino> IRC: internet relay chat. Like UTC, it is a compromise between English and French, meaning this uses the internet to relay cats.
<queqiao-> ⟨Bee Rights Activist⟩ J’adore le chat!
<queqiao-> ⟨Bee Rights Activist⟩ * les chats!
<_whitenotifier-1adf> [Principia] marsh1832 opened issue #3593: CTD and restart issues - https://github.com/mockingbirdnest/Principia/issues/3593
<_whitenotifier-1adf> [Principia] eggrobin commented on issue #3593: CTD and restart issues - https://github.com/mockingbirdnest/Principia/issues/3593#issuecomment-1501011322
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
<_whitenotifier-1adf> [Principia] pleroy commented on issue #3593: CTD and restart issues - https://github.com/mockingbirdnest/Principia/issues/3593#issuecomment-1501090991
<queqiao-> ⟨Starmincer⟩ ⟪paculino⟫ May we see the rope bridge? ⮪ I posted it in offtopic a while back. I can post here also I guess if egg isn't going to shout at me. 😆
queqiao- has quit [Remote host closed the connection]
queqiao- has joined #principia
<queqiao-> ⟨egg⟩ looks like the bridge took down the bridge.
<queqiao-> ⟨egg|matrix|egg⟩ huh, Butcher still shows up as Starmincer on this side…
<_whitenotifier-1adf> [Principia] pleroy opened pull request #3594: ClearBurnEditors may be called with burn_editors_ == null when there is no flight plan - https://github.com/mockingbirdnest/Principia/pull/3594
<_whitenotifier-1adf> [Principia] pleroy closed pull request #3594: ClearBurnEditors may be called with burn_editors_ == null when there is no flight plan - https://github.com/mockingbirdnest/Principia/pull/3594
<_whitenotifier-1adf> [Principia] pleroy commented on issue #3593: CTD and restart issues - https://github.com/mockingbirdnest/Principia/issues/3593#issuecomment-1501119373
<_whitenotifier-1adf> [Principia] marsh1832 commented on issue #3593: CTD and restart issues - https://github.com/mockingbirdnest/Principia/issues/3593#issuecomment-1501129848
<_whitenotifier-1adf> [Principia] pleroy commented on issue #3593: CTD and restart issues - https://github.com/mockingbirdnest/Principia/issues/3593#issuecomment-1501136922
<_whitenotifier-1adf> [Principia] marsh1832 commented on issue #3593: CTD and restart issues - https://github.com/mockingbirdnest/Principia/issues/3593#issuecomment-1501139482
<queqiao-> ⟨Starmincer⟩ ⟪egg⟫ looks like the bridge took down the […] ⮪ Sad times
<paculino> > ⮪ I posted it in offtopic a while back. I can post here also I guess if egg isn't going to shout at me.
<paculino> Oh, I thought you meant one entirely out of rope like a rope ladder with net on the bottom. I've always called that kind with boards connected with rope hanging bridges.
_whitelogger has joined #principia
<_whitenotifier-1adf> [Principia] pleroy opened pull request #3595: Nonrigid reference frame - https://github.com/mockingbirdnest/Principia/pull/3595
<queqiao-> ⟨Al₂Me₆⟩ +👀
<queqiao-> ⟨Starmincer⟩ ⟪paculino⟫ Oh, I thought you meant one entirely […] ⮪ I call anything suspended by rope a rope bridge.
<queqiao-> ⟨Starmincer⟩ Hewn by my own hands from a larger piece of wood.
<queqiao-> ⟨Marsh⟩ Anytime I have walked on a bridge suspended by rope, I have considered it a "rope bridge" 😁
_whitelogger has joined #principia