egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Cayley. We currently target 1.2.2. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/
e_14159 has quit [Ping timeout: 195 seconds]
e_14159 has joined #principia
NathanKell|WFH is now known as NathanKell|AFK
ferram4 has quit [Read error: Connection reset by peer]
ferram4 has joined #principia
icefire has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
Wetmelon has joined #principia
NathanKell|AFK is now known as NathanKell
Supperlagg has quit [Ping timeout: 183 seconds]
Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]
Wetmelon has quit [Read error: Connection reset by peer]
Supperlagg has joined #principia
NathanKell is now known as NathanKell|AWAY
Technicalfool is now known as TechnicallySleeping
egg|phone|egg has joined #principia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #principia
egg|phone|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
egg|zzz|egg is now known as egg|afk|egg
egg|phone|egg has joined #principia
egg|cell|egg has quit [Ping timeout: 204 seconds]
Rokker is now known as RokkerSleep
egg|cell|egg has joined #principia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #principia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #principia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has quit [Client Quit]
Hypergolic_Skunk has joined #principia
egg|work|egg has quit [Ping timeout: 180 seconds]
egg|work|egg has joined #principia
Supperlagg has quit [Ping timeout: 183 seconds]
ferram4 has quit [Ping timeout: 204 seconds]
NolanSyKinsley has quit [Remote host closed the connection]
saolof has joined #principia
Supperlagg has joined #principia
stratochief_ has joined #principia
stratochief has quit [Ping timeout: 383 seconds]
stratochief_ is now known as stratochief
Novles has joined #principia
egg|phone|egg has joined #principia
RokkerSleep is now known as Rokker
TechnicallySleeping is now known as Technicalfool
egg|cell|egg has joined #principia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #principia
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|afk|egg is now known as egg
Technicalfool has quit [Remote host closed the connection]
<GH>
[Principia] pleroy opened issue #1517: VLOG is deprecated https://git.io/v7Dwy
<GH>
[Principia] pleroy commented on issue #330: Covered by #1359. https://git.io/v7Drn
<GH>
[Principia] pleroy closed issue #330: Log double with the same precision as Quantity https://git.io/NGitew
<GH>
[Principia] pleroy opened issue #1518: Add Norm² and remove InnerProduct(X, X) https://git.io/v7Drw
<GH>
[Principia] pleroy commented on issue #66: That's a lot of code replication, but the code is simple. Factoring would just make things more hairy. https://git.io/v7DoJ
<GH>
[Principia] pleroy commented on issue #216: Let's add macros iff we need them. https://git.io/v7DoW
<GH>
[Principia] pleroy opened pull request #1519: Remove most VLOG and a function and a macro that now have no purpose (master...1517) https://git.io/v7D1v
egg is now known as egg|nomz|egg
egg|nomz|egg is now known as egg
Supperlagg has quit [Ping timeout: 183 seconds]
Wetmelon has joined #principia
<GH>
[Principia] eggrobin opened pull request #1520: More TeX (master...more-tex) https://git.io/v7D5O