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|anbo|egg_ has joined #kspacademia
e_14159_ has joined #kspacademia
e_14159 has quit [Ping timeout: 378 seconds]
egg|cell|egg has quit [Ping timeout: 378 seconds]
egg|cell|egg has joined #kspacademia
egg|anbo|egg_ has quit [Remote host closed the connection]
<raptop>
!choose eat|don't eat
<galois>
raptop: Your options: eat, don't eat. My choice: don't eat
<raptop>
;choose eat|don't eat
<kmath>
raptop: eat
egg|anbo|egg has quit [Remote host closed the connection]
<raptop>
!how many cats?
<galois>
raptop: 538 cats
<raptop>
!wpn the smol feline horde
* galois
gives the smol feline horde a bolt
<_whitenotifier-9244>
[Principia] pleroy closed pull request #2696: A trait to represent a Hilbert space - https://git.io/JUIlM
<_whitenotifier-9244>
[Principia] pleroy pushed 7 commits to master [+6/-0/±17] https://git.io/JUIPZ
<_whitenotifier-9244>
[Principia] pleroy ae380d2 - Types and inner product.
<_whitenotifier-9244>
[Principia] pleroy 8d6af62 - Norm for scalars.
<_whitenotifier-9244>
[Principia] pleroy 510ce87 - Norm for vectors.
<_whitenotifier-9244>
[Principia] ... and 4 more commits.
<_whitenotifier-9244>
[Principia] pleroy ea6fc2a - Merge pull request #2697 from pleroy/Hilbert A version of Hilbert that may be more palatable to Clang