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