egg|zzz|egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Coxeter. We currently target 1.2.2, 1.3.1, and 1.4.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/
Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]
armed_troop has quit [Quit: Bye]
armed_troop has joined #principia
uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]
egg|zzz|egg has quit [Quit: webchat.esper.net]
Mike` has quit [Ping timeout: 198 seconds]
Mike` has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
xShadowx has joined #principia
xShadowx|2 has quit [Ping timeout: 198 seconds]
egg|zzz|egg has joined #principia
egg|zzz|egg has quit [Quit: webchat.esper.net]
ferram4_ has joined #principia
ferram4 has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
uj8efdjkfdshf has joined #principia
egg|NaN|egg has joined #principia
egg|NaN|egg has quit [Quit: webchat.esper.net]
Hypergolic_Skunk has joined #principia
egg|laptop|egg has joined #principia
NolanSyKinsley has joined #principia
ferram4_ has quit [Ping timeout: 198 seconds]
awang has quit [Ping timeout: 182 seconds]
egg|laptop|egg is now known as egg|cat|egg
<GH> Principia/master bef7b5d Robin Leroy: a cube root and a test
<GH> [Principia] eggrobin pushed 14 new commits to master: https://git.io/vpz48
<GH> Principia/master 2b87e4d Robin Leroy: lint
<GH> Principia/master 35c1813 Robin Leroy: cbrt
<GH> [Principia] eggrobin closed pull request #1802: A cube root. (master...cbrt) https://git.io/vpBGH
awang has joined #principia
ferram4 has joined #principia
awang has quit [Ping timeout: 198 seconds]
<GH> [Principia] eggrobin opened pull request #1806: Use our cube root. (master...use-the-cbrt) https://git.io/vpzEg
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #principia
<GH> [Principia] pleroy opened pull request #1807: Base32768 encoding (master...Base32768) https://git.io/vpzK8
Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]
UmbralRaptor has joined #principia
UmbralRaptor has quit [Client Quit]
UmbralRaptor has joined #principia
UmbralRaptop has quit [Ping timeout: 186 seconds]
UmbralRaptop has joined #principia
UmbralRaptor has quit [Ping timeout: 182 seconds]
egg|phone|egg has quit [Ping timeout: 182 seconds]
egg|phone|egg has joined #principia
egg|cat|egg has quit [Quit: webchat.esper.net]
egg|cat|egg has joined #principia
Hypergolic_Skunk has joined #principia
egg|cat|egg is now known as egg|zzz|egg
awang has joined #principia
awang has quit [Killed (NickServ (GHOST command used by awang_))]
awang_ has joined #principia
egg|zzz|egg has quit [Quit: webchat.esper.net]
awang_ has quit [Ping timeout: 182 seconds]
awang has joined #principia