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
egg|laptop|egg has joined #kspacademia
e_14159 has joined #kspacademia
e_14159_ has quit [Ping timeout: 378 seconds]
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 204 seconds]
egg|laptop|egg has quit [Remote host closed the connection]
egg has quit [Ping timeout: 204 seconds]
egg has joined #kspacademia
egg|laptop|egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
UmbralRaptor has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
egg|laptop|egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia
* egg|laptop|egg meows at smkz, whitequark, et al.
<galois> title: ☆ Dmitri ☭: "" - Mastodon
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
egg|cell|egg has joined #kspacademia
egg|laptop|egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia
<_whitenotifier-8975> [Principia] pleroy opened pull request #2822: New double precision operators - https://git.io/JLyOq
<_whitenotifier-8975> [Principia] eggrobin labeled pull request #2822: New double precision operators - https://git.io/JLyOq
egg|laptop|egg has quit [Remote host closed the connection]
<_whitenotifier-8975> [Principia] Pending. Build queued… - 
<_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4686/
egg|laptop|egg has joined #kspacademia
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 204 seconds]
<egg|laptop|egg> !u Éé
<galois> É: U+00c9 LATIN CAPITAL LETTER E WITH ACUTE
<galois> é: U+00e9 LATIN SMALL LETTER E WITH ACUTE
<_whitenotifier-8975> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4686/
<_whitenotifier-8975> [Principia] pleroy closed pull request #2822: New double precision operators - https://git.io/JLyOq
<_whitenotifier-8975> [Principia] pleroy pushed 3 commits to master [+0/-0/±7] https://git.io/JLy3A
<_whitenotifier-8975> [Principia] pleroy 31b4b42 - More double precision operations.
<_whitenotifier-8975> [Principia] pleroy f6176f4 - A test of the new double precision operators.
<_whitenotifier-8975> [Principia] pleroy c85c131 - Merge pull request #2822 from pleroy/DoublePrecision New double precision operators
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]