egg changed the topic of #kspacademia to: https://git.io/JqLs2 | 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 | Logs: https://esper.irclog.whitequark.org/kspacademia
raptop has quit [Ping timeout: 183 seconds]
raptop has joined #kspacademia
raptop has quit [Ping timeout: 189 seconds]
raptop has joined #kspacademia
_whitelogger has joined #kspacademia
SilverFox has quit [Read error: Connection reset by peer]
SilverFox has joined #kspacademia
_whitelogger has joined #kspacademia
_whitelogger has joined #kspacademia
_whitelogger has joined #kspacademia
<egg|matrix|egg> Speaking of improving error messages, https://github.com/mockingbirdnest/Principia/pull/3914
<galois> [url] Add an actual quantity concept and use it in class Multivector by eggrobin · Pull Request #3914 · mockingbirdnest/Principia · GitHub | github.com