egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Чебышёв. We currently target both 1.2.2 and 1.3. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/
Wetmelon has quit [Ping timeout: 183 seconds]
e_14159 has quit [Ping timeout: 204 seconds]
e_14159 has joined #principia
ferram4_ has joined #principia
ferram4 has quit [Ping timeout: 383 seconds]
uj8efdjkfdshf has joined #principia
<UmbralRaptor> egg|zzz|egg: Will there be a release named Conway?
Jesin has quit [Ping timeout: 204 seconds]
Jesin has joined #principia
<egg|zzz|egg> UmbralRaptor: he's not dead, so no
<egg|zzz|egg> UmbralRaptor: there will be a Cohen (as in Paul Cohen)
<egg|zzz|egg> and a Coxeter
<egg|zzz|egg> this year we'll have Cesàro,Chasles,陈景润,Chevalley
egg|phone|egg has joined #principia
egg|zzz|egg is now known as egg|afk|egg
egg|cell|egg has joined #principia
Technicalfool is now known as TechnicallySleeping
egg|phone|egg has quit [Ping timeout: 204 seconds]
egg|phone|egg has joined #principia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #principia
egg|cell|egg has quit [Client Quit]
egg|phone|egg has quit [Read error: Connection reset by peer]
NolanSyKinsley has quit [Remote host closed the connection]
ferram4_ has quit [Ping timeout: 383 seconds]
Rokker has quit [Quit: Connection closed for inactivity]
Wetmelon has joined #principia
<GH> [Principia] warmist opened issue #1549: Seems to crash with KIS https://git.io/v5BOt
Rokker has joined #principia
TechnicallySleeping has quit [Quit: Leaving]
Hypergolic_Skunk has joined #principia
egg|phone|egg has joined #principia
uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]
egg|cell|egg has joined #principia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|afk|egg is now known as egg
<GH> [Principia] pleroy closed pull request #1547: Make the monitor accessible from C# (master...cs-monitor) https://git.io/v5WD2
<GH> [Principia] pleroy pushed 6 new commits to master: https://git.io/v5B5j
<GH> Principia/master 7a03c6b Robin Leroy: Make the monitor accessible from C#
<GH> Principia/master 03a6b47 Robin Leroy: after pleroy's review
<GH> Principia/master 8d7af07 Robin Leroy: after pleroy's 2nd review.
Wetmelon has quit [Ping timeout: 183 seconds]
Technicalfool has joined #principia
NolanSyKinsley has joined #principia
<GH> [Principia] wingertge opened issue #1550: Navball issues with flight plans https://git.io/v5RsA
ferram4_ has joined #principia
ferram4_ is now known as ferram4
icefire has joined #principia
stratochief has quit [Ping timeout: 183 seconds]
stratochief has joined #principia
Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]
egg is now known as egg|zzz|egg