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…
UmbralRaptor has quit [Ping timeout: 189 seconds]
<queqiao-_> ⟨S​paceman Spiff⟩ that's a nice cat
raptop_ has joined #principia
raptop_ is now known as umbralraptop
raptop has quit [Quit: Bye]
UmbralRaptor has joined #principia
umbralraptop has quit [Ping timeout: 189 seconds]
umbralraptop has joined #principia
egg|laptop|egg has joined #principia
egg|laptop|egg_ has quit [Ping timeout: 189 seconds]
<_whitenotifier> [Principia] pleroy synchronize pull request #3150: DiscreteTrajectorySegment, part 4: downsampling - https://git.io/JoxlC
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5181/
<_whitenotifier> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5181/
_whitelogger has joined #principia
egg|laptop|egg_ has joined #principia
egg|laptop|egg_ has quit [Remote host closed the connection]
_whitelogger has joined #principia
<queqiao-_> ⟨J​ceratops⟩ Do long cats count as cats?
<umbralraptop> Do cats have c-like datatypes now?
<queqiao-_> ⟨J​ceratops⟩ I dunno
<queqiao-_> ⟨J​ceratops⟩ All I know is longe cat
<queqiao-_> ⟨J​ceratops⟩ With funny ears and short tall
<queqiao-_> ⟨J​ceratops⟩ With funny ears and short tail (edited)
<umbralraptop> cat snake?
<_whitenotifier> [Principia] eggrobin reviewed pull request #3150 commit - https://git.io/JKU2N
<_whitenotifier> [Principia] eggrobin reviewed pull request #3150 commit - https://git.io/JKU2A
umbralraptop has quit [Quit: leaving]
umbralraptop has joined #principia
UmbralRaptor has quit [Ping timeout: 189 seconds]
egg|laptop|egg_ has joined #principia
<_whitenotifier> [Principia] pleroy commented on issue #3149: Displaying the reference frame selector has a significant performance impact - https://git.io/JKTRS
<queqiao-_> ⟨J​ceratops⟩ Yes
<queqiao-_> ⟨(​ᴇxᴘᴇʀɪᴍᴇɴᴛᴀʟshells)⟩ brb, renaming all my kittens to byte cats
<_whitenotifier> [Principia] pleroy synchronize pull request #3150: DiscreteTrajectorySegment, part 4: downsampling - https://git.io/JoxlC
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5182/
<_whitenotifier> [Principia] eggrobin labeled pull request #3150: DiscreteTrajectorySegment, part 4: downsampling - https://git.io/JoxlC
<_whitenotifier> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5182/
<_whitenotifier> [Principia] pleroy closed pull request #3150: DiscreteTrajectorySegment, part 4: downsampling - https://git.io/JoxlC
<_whitenotifier> [Principia] pleroy pushed 13 commits to Ondelette [+3/-0/±33] https://git.io/JKks4
<_whitenotifier> [Principia] pleroy c725eec - Implementation of downsampling.
<_whitenotifier> [Principia] pleroy 365f2f3 - Merge remote-tracking branch 'mockingbirdnest/Ondelette' into Downsampling
<_whitenotifier> [Principia] pleroy df36316 - A test for downsampling.
<_whitenotifier> [Principia] ... and 10 more commits.
<_whitenotifier> [Principia] pleroy opened pull request #3151: DiscreteTrajectorySegment, part 5: some more testing - https://git.io/JKklk
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5183/
<_whitenotifier> [Principia] eggrobin labeled pull request #3151: DiscreteTrajectorySegment, part 5: some more testing - https://git.io/JKklk
<_whitenotifier> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5183/
egg|laptop|egg__ has joined #principia
egg|laptop|egg___ has joined #principia
egg|laptop|egg has quit [Ping timeout: 189 seconds]
egg|laptop|egg_ has quit [Ping timeout: 189 seconds]
<_whitenotifier> [Principia] pleroy synchronize pull request #3151: DiscreteTrajectorySegment, part 5: some more testing - https://git.io/JKklk
<_whitenotifier> [Principia] Pending. Build queued… - 
<_whitenotifier> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5184/
<_whitenotifier> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/5184/
<_whitenotifier> [Principia] pleroy closed pull request #3151: DiscreteTrajectorySegment, part 5: some more testing - https://git.io/JKklk
<_whitenotifier> [Principia] pleroy pushed 4 commits to Ondelette [+0/-0/±3] https://git.io/JKIgp
<_whitenotifier> [Principia] pleroy 1a5c81b - Check the interactions between downsampling and forgetting.
<_whitenotifier> [Principia] pleroy 2368b23 - Merge remote-tracking branch 'mockingbirdnest/Ondelette' into MoarTests
<_whitenotifier> [Principia] pleroy 6c06874 - Remove testing code.
<_whitenotifier> [Principia] pleroy 167fa6d - Merge pull request #3151 from pleroy/MoarTests DiscreteTrajectorySegment, part 5: some more testing
raptop has joined #principia
<queqiao-_> ⟨B​utcher⟩ This new cat is chonk.
<raptop> But does the cat have an opinion on the Ada 95 book?
<queqiao-_> ⟨e​gg⟩ Oh, the cat has Barnes’s book, good cat
<queqiao-_> ⟨e​gg⟩ Oh, the cat has John’s book, good cat (edited)
<queqiao-_> ⟨e​gg⟩ (but you should get the cat *Programming in Ada 2005*—or indeed *Programming in Ada 2012*)
<queqiao-_> ⟨B​utcher⟩ The cat enjoyed the Ada book.
<raptop> good cat
<queqiao-_> ⟨B​utcher⟩ Ooft there's a copy of programming perl back there
<raptop> 🦙🦙🦙
raptop has quit [Ping timeout: 189 seconds]
UmbralRaptor has joined #principia
umbralraptop has quit [Ping timeout: 189 seconds]
umbralraptop has joined #principia
UmbralRaptor has quit [Ping timeout: 189 seconds]
egg|laptop|egg___ has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia