UmbralRaptor changed the topic of #kspacademia to: https://gist.github.com/pdn4kd/164b9b85435d87afbec0c3a7e69d3e6d | Dogs are cats. Spiders are cat interferometers. | Космизм сегодня! | Document well, for tomorrow you may get mauled by a ネコバス. | <UmbralRaptor> egg|nomz|egg: generally if your eyes are dewing over, that's not the weather. | <ferram4> I shall beat my problems to death with an engineer. | We can haz pdf
<UmbralRaptor> !8 Is attaching particle accelerators to local ravens a good idea?
<galois> UmbralRaptor: yes
e_14159 has joined #kspacademia
e_14159_ has quit [Ping timeout: 378 seconds]
SilverFoxy has joined #kspacademia
SilverFoxy has quit [Ping timeout: 378 seconds]
<_whitenotifier-d13c> [Principia] eggrobin opened pull request #2413: Permutation handedness - https://git.io/JebA7
<_whitenotifier-d13c> [Principia] eggrobin synchronize pull request #2413: Permutation handedness - https://git.io/JebA7
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4038/
<_whitenotifier-d13c> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4038/
egg|anbo|egg has joined #kspacademia
egg|anbo|egg_ has joined #kspacademia
egg|anbo|egg has quit [Ping timeout: 190 seconds]
egg|anbo|egg_ has quit [Remote host closed the connection]
egg|anbo|egg has joined #kspacademia
<_whitenotifier-d13c> [Principia] eggrobin synchronize pull request #2413: Permutation handedness - https://git.io/JebA7
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4039/
<_whitenotifier-d13c> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4039/
<_whitenotifier-d13c> [Principia] pleroy reviewed pull request #2413 commit - https://git.io/Jebpl
<_whitenotifier-d13c> [Principia] pleroy reviewed pull request #2413 commit - https://git.io/Jebp8
<_whitenotifier-d13c> [Principia] pleroy reviewed pull request #2413 commit - https://git.io/Jebp4
<_whitenotifier-d13c> [Principia] pleroy reviewed pull request #2413 commit - https://git.io/JebpB
<_whitenotifier-d13c> [Principia] pleroy reviewed pull request #2413 commit - https://git.io/JebpR
<_whitenotifier-d13c> [Principia] pleroy reviewed pull request #2413 commit - https://git.io/Jebp0
<_whitenotifier-d13c> [Principia] eggrobin synchronize pull request #2413: Permutation handedness - https://git.io/JebA7
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4040/
<_whitenotifier-d13c> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4040/
<_whitenotifier-d13c> [Principia] eggrobin reviewed pull request #2413 commit - https://git.io/JebpQ
<_whitenotifier-d13c> [Principia] eggrobin synchronize pull request #2413: Permutation handedness - https://git.io/JebA7
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4041/
egg|anbo|egg has quit [Remote host closed the connection]
<_whitenotifier-d13c> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4041/
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
eigenellies has quit [Ping timeout: 190 seconds]
eigenellies has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|anbo|egg has joined #kspacademia
UmbralRaptor has quit [Remote host closed the connection]
UmbralRaptop has joined #kspacademia
egg|anbo|egg has quit [Remote host closed the connection]
egg|anbo|egg has joined #kspacademia
<_whitenotifier-d13c> [Principia] eggrobin synchronize pull request #2413: Permutation handedness - https://git.io/JebA7
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4042/
<_whitenotifier-d13c> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4042/
egg|anbo|egg has quit [Remote host closed the connection]
SilverFoxy has joined #kspacademia
egg|anbo|egg has joined #kspacademia
<_whitenotifier-d13c> [Principia] pleroy labeled pull request #2413: Permutation handedness - https://git.io/JebA7
<_whitenotifier-d13c> [Principia] eggrobin closed pull request #2413: Permutation handedness - https://git.io/JebA7
<_whitenotifier-d13c> [Principia] eggrobin pushed 8 commits to master [+0/-0/±32] https://git.io/JeNfO
<_whitenotifier-d13c> [Principia] eggrobin ad6e775 - Split the permutation enums and fix the test
<_whitenotifier-d13c> [Principia] eggrobin 4cae87e - usages
<_whitenotifier-d13c> [Principia] eggrobin 03456dc - include
<_whitenotifier-d13c> [Principia] ... and 5 more commits.
<_whitenotifier-d13c> [Principia] pleroy opened pull request #2414: Enforce handedness correctness in rotations and orthogonal maps - https://git.io/JeNfE
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4043/
<_whitenotifier-d13c> [Principia] eggrobin reviewed pull request #2414 commit - https://git.io/JeNfi
<_whitenotifier-d13c> [Principia] eggrobin reviewed pull request #2414 commit - https://git.io/JeNfP
<_whitenotifier-d13c> [Principia] eggrobin reviewed pull request #2414 commit - https://git.io/JeNfX
<_whitenotifier-d13c> [Principia] eggrobin labeled pull request #2414: Enforce handedness correctness in rotations and orthogonal maps - https://git.io/JeNfE
<_whitenotifier-d13c> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4043/
eigenellies has quit [Ping timeout: 204 seconds]
<_whitenotifier-d13c> [Principia] pleroy synchronize pull request #2414: Enforce handedness correctness in rotations and orthogonal maps - https://git.io/JeNfE
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4044/
eigenellies has joined #kspacademia
<_whitenotifier-d13c> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4044/
<_whitenotifier-d13c> [Principia] pleroy synchronize pull request #2414: Enforce handedness correctness in rotations and orthogonal maps - https://git.io/JeNfE
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4045/
<_whitenotifier-d13c> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4045/
egg|anbo|egg has quit [Remote host closed the connection]
<_whitenotifier-d13c> [Principia] pleroy synchronize pull request #2414: Enforce handedness correctness in rotations and orthogonal maps - https://git.io/JeNfE
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4046/
egg|anbo|egg has joined #kspacademia
<_whitenotifier-d13c> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4046/
<_whitenotifier-d13c> [Principia] pleroy closed pull request #2414: Enforce handedness correctness in rotations and orthogonal maps - https://git.io/JeNfE
<_whitenotifier-d13c> [Principia] pleroy pushed 13 commits to master [+0/-0/±83] https://git.io/JeNTY
<_whitenotifier-d13c> [Principia] pleroy 006b461 - Use a quaternion and deduce the determinant.
<_whitenotifier-d13c> [Principia] pleroy c3b15bd - Geometry compiles.
<_whitenotifier-d13c> [Principia] pleroy 60a6817 - Fix tests.
<_whitenotifier-d13c> [Principia] ... and 10 more commits.
egg|anbo|egg has quit [Remote host closed the connection]
LilyFoxier has joined #kspacademia
egg|anbo|egg has joined #kspacademia
SilverFoxy has quit [Ping timeout: 378 seconds]
LilyFoxier is now known as SilverFoxy
egg|anbo|egg has quit [Remote host closed the connection]
egg|anbo|egg has joined #kspacademia
egg|anbo|egg has quit [Remote host closed the connection]
egg|cell|egg has quit [Ping timeout: 189 seconds]
* UmbralRaptop now has 1700 g of good coffee
egg|cell|egg has joined #kspacademia
<egg|cell|egg> Whitequark: meow
<whitequark> hi
armed_troop has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
SilverFoxy has quit [Ping timeout: 378 seconds]
egg|anbo|egg has joined #kspacademia
<egg|anbo|egg> !choose sleep|don't
<galois> egg|anbo|egg: Your options: sleep, don't. My choice: sleep
<egg|anbo|egg> ;choose sleep|don't
<kmath> egg|anbo|egg: don't
<egg|anbo|egg> botsplit
<egg|anbo|egg> hm i forgot to tweet to announce frenet
<egg|anbo|egg> s/frenet/frechet
<galois> egg|anbo|egg meant to say: hm i forgot to tweet to announce frechet
<egg|anbo|egg> Frechet is in 2 months
<egg|anbo|egg> s/Frechet/Frenet/ gaaah
<galois> egg|anbo|egg meant to say: Frenet is in 2 months
eigenellies has quit [Ping timeout: 190 seconds]
egg|anbo|egg has quit [Remote host closed the connection]
eigenellies has joined #kspacademia
armed_troop has quit [Quit: Bye]
armed_troop has joined #kspacademia