egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Гельфонд. We currently target 1.8.1, 1.9.1, and 1.10.1. <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… | <egg> also 4e16 m * 2^-52 is uncomfortably large
<discord-> P​aculino (ŝi/ri/she/they). — Since your cat stuff goes in this channel, I will ask here. Have you ever had polydactyl cats?
<raptop> Also, can you teach a polydactyl cat to use a can opener?
<discord-> P​aculino (ŝi/ri/she/they). — I'm sure there exists a can opener which the cat could learn to use
egg|laptop|egg has joined #principia
<discord-> t​ab. — does vesselmover conflict with principia?
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
Jesin has quit [Read error: Connection reset by peer]
Jesin has joined #principia
Mike` has quit [Ping timeout: 204 seconds]
Mike` has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
Jesin has quit [Read error: Connection reset by peer]
<discord-> B​utcher. — Not that I recall.
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Ping timeout: 198 seconds]
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
<_whitenotifier-8975> [Principia] pleroy opened pull request #2849: Fix two bad tests - https://github.com/mockingbirdnest/Principia/pull/2849
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4736/
<_whitenotifier-8975> [Principia] eggrobin labeled pull request #2849: Fix two bad tests - https://git.io/JLFDQ
<_whitenotifier-8975> [Principia] eggrobin edited pull request #2848: Plan analysis - https://git.io/JLdx8
<_whitenotifier-8975> [Principia] eggrobin edited pull request #2848: Plan analysis - https://git.io/JLdx8
<_whitenotifier-8975> [Principia] pleroy reviewed pull request #2848 commit - https://git.io/JLFyM
<_whitenotifier-8975> [Principia] pleroy reviewed pull request #2848 commit - https://git.io/JLFyD
<_whitenotifier-8975> [Principia] pleroy reviewed pull request #2848 commit - https://git.io/JLFyy
<_whitenotifier-8975> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4736/
egg|cell|egg has quit [Ping timeout: 189 seconds]
<_whitenotifier-8975> [Principia] eggrobin synchronize pull request #2848: Plan analysis - https://git.io/JLdx8
<_whitenotifier-8975> [Principia] eggrobin reviewed pull request #2848 commit - https://git.io/JLbeb
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4737/
<_whitenotifier-8975> [Principia] eggrobin reviewed pull request #2848 commit - https://git.io/JLbvf
<_whitenotifier-8975> [Principia] eggrobin reviewed pull request #2848 commit - https://git.io/JLbvc
<_whitenotifier-8975> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4737/
egg|laptop|egg has joined #principia
<_whitenotifier-8975> [Principia] pleroy labeled pull request #2848: Plan analysis - https://git.io/JLdx8
<_whitenotifier-8975> [Principia] pleroy synchronize pull request #2849: Fix two bad tests - https://git.io/JLFDQ
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4738/
<_whitenotifier-8975> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4738/
<_whitenotifier-8975> [Principia] pleroy synchronize pull request #2849: Fix two bad tests - https://git.io/JLFDQ
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4739/
<_whitenotifier-8975> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4739/
<_whitenotifier-8975> [Principia] eggrobin synchronize pull request #2848: Plan analysis - https://git.io/JLdx8
<_whitenotifier-8975> [Principia] pleroy closed pull request #2849: Fix two bad tests - https://git.io/JLFDQ
<_whitenotifier-8975> [Principia] pleroy pushed 4 commits to master [+0/-0/±4] https://git.io/JLbm5
<_whitenotifier-8975> [Principia] pleroy 0311f39 - Your test is bad and you should feel bad.
<_whitenotifier-8975> [Principia] pleroy fea6e3b - Lint.
<_whitenotifier-8975> [Principia] pleroy 58dc720 - These tests now do real work, don't run them in debug.
<_whitenotifier-8975> [Principia] pleroy 01b09bb - Merge pull request #2849 from pleroy/BadTest Fix two bad tests
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4740/
<_whitenotifier-8975> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4740/