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: 200 seconds]
e_14159 has joined #principia
icefire has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
NathanKell|AWAY is now known as NathanKell
ferram4_ is now known as ferram4
uj8efdjkfdshf has joined #principia
Majiir is now known as Snoozee
NathanKell is now known as NathanKell|AFK
Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]
acc is now known as aq
aq is now known as acc
NathanKell|AFK is now known as NathanKell
ferram4 has quit [Ping timeout: 204 seconds]
<GH> [Principia] pleroy commented on issue #1497: retest this please https://git.io/v7BNs
NathanKell is now known as NathanKell|AWAY
Hypergolic_Skunk has joined #principia
<GH> [Principia] pleroy pushed 6 new commits to master: https://git.io/v7Reh
<GH> Principia/master 0fbf5b1 Robin Leroy: constructor
<GH> Principia/master ef273d1 Robin Leroy: Merge remote-tracking branch 'la-vache/master' into bounded-array-constructor
<GH> Principia/master 2a6ce98 Robin Leroy: A constructor for BoundedArray
andrewchen has joined #principia
andrewchen has quit [Client Quit]
<GH> [Principia] pleroy commented on issue #1497: Confirmed that the benchmarks are unaffected by this change:... https://git.io/v7Rft
egg|phone|egg has joined #principia
egg|cell|egg has quit [Ping timeout: 204 seconds]
NolanSyKinsley has quit [Ping timeout: 186 seconds]
egg|cell|egg has joined #principia
egg|phone|egg has quit [Ping timeout: 186 seconds]
Jesin has quit [Quit: Leaving]
Jesin has joined #principia
stratochief_ is now known as stratochief
regex has joined #principia
NathanKell|AWAY is now known as NathanKell
egg|zzz|egg is now known as egg|nomz|egg
NolanSyKinsley has joined #principia
ferram4 has joined #principia
NathanKell is now known as NathanKell|AFK
egg|nomz|egg is now known as egg
icefire has joined #principia
uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]
NathanKell|AFK is now known as NathanKell
regex has quit [Remote host closed the connection]
Jesin has quit [Quit: Leaving]
egg is now known as egg|zzz|egg